| [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: //
 | 
|---|