source: src/SynTree/FunctionDecl.cc @ c0b9f5d

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
Last change on this file since c0b9f5d was c0b9f5d, checked in by Rob Schluntz <rschlunt@…>, 6 years ago

Convert VarExprReplacer? to PassVisitor?

  • Property mode set to 100644
File size: 3.4 KB
Line 
1//
2// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
3//
4// The contents of this file are covered under the licence agreement in the
5// file "LICENCE" distributed with Cforall.
6//
7// FunctionDecl.cc --
8//
9// Author           : Richard C. Bilson
10// Created On       : Mon May 18 07:44:20 2015
11// Last Modified By : Peter A. Buhr
12// Last Modified On : Thu Mar 16 08:33:41 2017
13// Update Count     : 74
14//
15
16#include <cassert>               // for assert
17#include <list>                  // for list
18#include <ostream>               // for operator<<, ostream, basic_ostream
19#include <string>                // for operator<<, string, char_traits, ope...
20
21#include "Attribute.h"           // for Attribute
22#include "CodeGen/FixMain.h"     // for FixMain
23#include "Common/utility.h"      // for maybeClone, printAll
24#include "Declaration.h"         // for FunctionDecl, FunctionDecl::Parent
25#include "Parser/LinkageSpec.h"  // for Spec, linkageName, Cforall
26#include "Statement.h"           // for CompoundStmt
27#include "Type.h"                // for Type, FunctionType, Type::FuncSpecif...
28#include "VarExprReplacer.h"
29
30extern bool translation_unit_nomain;
31
32FunctionDecl::FunctionDecl( const std::string &name, Type::StorageClasses scs, LinkageSpec::Spec linkage, FunctionType *type, CompoundStmt *statements, std::list< Attribute * > attributes, Type::FuncSpecifiers fs )
33        : Parent( name, scs, linkage, attributes, fs ), type( type ), statements( statements ) {
34        // hack forcing the function "main" to have Cforall linkage to replace main even if it is inside an extern
35        if ( name == "main" ) {
36                set_linkage( CodeGen::FixMain::mainLinkage() );
37        } // if
38}
39
40FunctionDecl::FunctionDecl( const FunctionDecl &other )
41                : Parent( other ), type( maybeClone( other.type ) ), statements( maybeClone( other.statements ) ) {
42
43        VarExprReplacer::DeclMap declMap;
44        for ( auto p : group_iterate( other.type->parameters, type->parameters ) ) {
45                declMap[ std::get<0>(p) ] = std::get<1>(p);
46        }
47        for ( auto p : group_iterate( other.type->returnVals, type->returnVals ) ) {
48                declMap[ std::get<0>(p) ] = std::get<1>(p);
49        }
50        if ( ! declMap.empty() ) {
51                VarExprReplacer::replace( this, declMap );
52        }
53}
54
55FunctionDecl::~FunctionDecl() {
56        delete type;
57        delete statements;
58}
59
60FunctionDecl * FunctionDecl::newFunction( const std::string & name, FunctionType * type, CompoundStmt * statements ) {
61        return new FunctionDecl( name, Type::StorageClasses(), LinkageSpec::C, type, statements );
62}
63
64void FunctionDecl::print( std::ostream &os, Indenter indent ) const {
65        using std::endl;
66        using std::string;
67
68        if ( name != "" ) {
69                os << name << ": ";
70        } // if
71        if ( linkage != LinkageSpec::Cforall ) {
72                os << LinkageSpec::linkageName( linkage ) << " ";
73        } // if
74
75        printAll( attributes, os, indent );
76
77        get_storageClasses().print( os );
78        get_funcSpec().print( os );
79
80        if ( type ) {
81                type->print( os, indent );
82        } else {
83                os << "untyped entity ";
84        } // if
85
86        if ( statements ) {
87                os << indent << "... with body " << endl << indent+1;
88                statements->print( os, indent+1 );
89        } // if
90}
91
92void FunctionDecl::printShort( std::ostream &os, Indenter indent ) const {
93        using std::endl;
94        using std::string;
95
96        if ( name != "" ) {
97                os << name << ": ";
98        } // if
99
100        get_storageClasses().print( os );
101        get_funcSpec().print( os );
102
103        if ( type ) {
104                type->print( os, indent );
105        } else {
106                os << "untyped entity ";
107        } // if
108}
109
110// Local Variables: //
111// tab-width: 4 //
112// mode: c++ //
113// compile-command: "make install" //
114// End: //
Note: See TracBrowser for help on using the repository browser.