| [0dd3a2f] | 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 | // | 
|---|
| [9243a501] | 7 | // FunctionDecl.cc -- | 
|---|
| [0dd3a2f] | 8 | // | 
|---|
|  | 9 | // Author           : Richard C. Bilson | 
|---|
|  | 10 | // Created On       : Mon May 18 07:44:20 2015 | 
|---|
| [8b7ee09] | 11 | // Last Modified By : Peter A. Buhr | 
|---|
| [ddfd945] | 12 | // Last Modified On : Thu Mar 16 08:33:41 2017 | 
|---|
|  | 13 | // Update Count     : 74 | 
|---|
| [0dd3a2f] | 14 | // | 
|---|
|  | 15 |  | 
|---|
| [51b73452] | 16 | #include <cassert> | 
|---|
|  | 17 |  | 
|---|
|  | 18 | #include "Declaration.h" | 
|---|
|  | 19 | #include "Statement.h" | 
|---|
|  | 20 | #include "Type.h" | 
|---|
| [7baed7d] | 21 | #include "Attribute.h" | 
|---|
| [d3b7937] | 22 | #include "Common/utility.h" | 
|---|
| [4d4882a] | 23 | #include "InitTweak/InitTweak.h" | 
|---|
| [13de47bc] | 24 | #include "CodeGen/FixMain.h" | 
|---|
| [51b73452] | 25 |  | 
|---|
| [3fe34ae] | 26 | extern bool translation_unit_nomain; | 
|---|
|  | 27 |  | 
|---|
| [ddfd945] | 28 | FunctionDecl::FunctionDecl( const std::string &name, Type::StorageClasses scs, LinkageSpec::Spec linkage, FunctionType *type, CompoundStmt *statements, std::list< Attribute * > attributes, Type::FuncSpecifiers fs ) | 
|---|
| [a7c90d4] | 29 | : Parent( name, scs, linkage, attributes, fs ), type( type ), statements( statements ) { | 
|---|
| [dd020c0] | 30 | // hack forcing the function "main" to have Cforall linkage to replace main even if it is inside an extern | 
|---|
| [0dd3a2f] | 31 | if ( name == "main" ) { | 
|---|
| [13de47bc] | 32 | set_linkage( CodeGen::FixMain::mainLinkage() ); | 
|---|
| [0dd3a2f] | 33 | } // if | 
|---|
| [51b73452] | 34 | } | 
|---|
|  | 35 |  | 
|---|
|  | 36 | FunctionDecl::FunctionDecl( const FunctionDecl &other ) | 
|---|
| [a7c90d4] | 37 | : Parent( other ), type( maybeClone( other.type ) ), statements( maybeClone( other.statements ) ) { | 
|---|
| [51b73452] | 38 | } | 
|---|
|  | 39 |  | 
|---|
| [c11e31c] | 40 | FunctionDecl::~FunctionDecl() { | 
|---|
| [0dd3a2f] | 41 | delete type; | 
|---|
|  | 42 | delete statements; | 
|---|
| [51b73452] | 43 | } | 
|---|
|  | 44 |  | 
|---|
| [c11e31c] | 45 | Type * FunctionDecl::get_type() const { | 
|---|
| [0dd3a2f] | 46 | return type; | 
|---|
| [51b73452] | 47 | } | 
|---|
|  | 48 |  | 
|---|
| [c11e31c] | 49 | void FunctionDecl::set_type( Type *t ) { | 
|---|
| [0dd3a2f] | 50 | type = dynamic_cast< FunctionType* >( t ); | 
|---|
|  | 51 | assert( type ); | 
|---|
| [51b73452] | 52 | } | 
|---|
|  | 53 |  | 
|---|
| [c11e31c] | 54 | void FunctionDecl::print( std::ostream &os, int indent ) const { | 
|---|
| [0dd3a2f] | 55 | using std::endl; | 
|---|
|  | 56 | using std::string; | 
|---|
| [9243a501] | 57 |  | 
|---|
| [0dd3a2f] | 58 | if ( get_name() != "" ) { | 
|---|
| [5f2f2d7] | 59 | os << get_name() << ": "; | 
|---|
| [0dd3a2f] | 60 | } // if | 
|---|
|  | 61 | if ( get_linkage() != LinkageSpec::Cforall ) { | 
|---|
| [faddbd8] | 62 | os << LinkageSpec::linkageName( get_linkage() ) << " "; | 
|---|
| [0dd3a2f] | 63 | } // if | 
|---|
| [7baed7d] | 64 |  | 
|---|
| [f9cebb5] | 65 | printAll( get_attributes(), os, indent ); | 
|---|
| [7baed7d] | 66 |  | 
|---|
| [6e8bd43] | 67 | get_storageClasses().print( os ); | 
|---|
|  | 68 | get_funcSpec().print( os ); | 
|---|
| [dd020c0] | 69 |  | 
|---|
| [0dd3a2f] | 70 | if ( get_type() ) { | 
|---|
|  | 71 | get_type()->print( os, indent ); | 
|---|
|  | 72 | } else { | 
|---|
|  | 73 | os << "untyped entity "; | 
|---|
|  | 74 | } // if | 
|---|
| [843054c2] | 75 |  | 
|---|
| [0dd3a2f] | 76 | if ( statements ) { | 
|---|
| [de62360d] | 77 | os << string( indent + 2, ' ' ) << "with body " << endl; | 
|---|
| [9243a501] | 78 | os << string( indent + 4, ' ' ); | 
|---|
| [de62360d] | 79 | statements->print( os, indent + 4 ); | 
|---|
| [0dd3a2f] | 80 | } // if | 
|---|
| [51b73452] | 81 | } | 
|---|
|  | 82 |  | 
|---|
| [c11e31c] | 83 | void FunctionDecl::printShort( std::ostream &os, int indent ) const { | 
|---|
| [0dd3a2f] | 84 | using std::endl; | 
|---|
|  | 85 | using std::string; | 
|---|
| [9243a501] | 86 |  | 
|---|
| [0dd3a2f] | 87 | if ( get_name() != "" ) { | 
|---|
| [5f2f2d7] | 88 | os << get_name() << ": "; | 
|---|
| [0dd3a2f] | 89 | } // if | 
|---|
| [7baed7d] | 90 |  | 
|---|
|  | 91 | // xxx - should printShort print attributes? | 
|---|
|  | 92 |  | 
|---|
| [6e8bd43] | 93 | get_storageClasses().print( os ); | 
|---|
|  | 94 | get_funcSpec().print( os ); | 
|---|
| [dd020c0] | 95 |  | 
|---|
| [0dd3a2f] | 96 | if ( get_type() ) { | 
|---|
|  | 97 | get_type()->print( os, indent ); | 
|---|
|  | 98 | } else { | 
|---|
|  | 99 | os << "untyped entity "; | 
|---|
|  | 100 | } // if | 
|---|
| [51b73452] | 101 | } | 
|---|
| [0dd3a2f] | 102 |  | 
|---|
|  | 103 | // Local Variables: // | 
|---|
|  | 104 | // tab-width: 4 // | 
|---|
|  | 105 | // mode: c++ // | 
|---|
|  | 106 | // compile-command: "make install" // | 
|---|
|  | 107 | // End: // | 
|---|