Index: translator/ArgTweak/FunctionFixer.cc =================================================================== --- translator/ArgTweak/FunctionFixer.cc (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/ArgTweak/FunctionFixer.cc (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -10,6 +10,6 @@ // Created On : Sat May 16 08:12:38 2015 // Last Modified By : Peter A. Buhr -// Last Modified On : Sat May 16 08:17:07 2015 -// Update Count : 5 +// Last Modified On : Mon May 18 23:30:39 2015 +// Update Count : 6 // Index: translator/ArgTweak/FunctionFixer.h =================================================================== --- translator/ArgTweak/FunctionFixer.h (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/ArgTweak/FunctionFixer.h (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,4 +1,19 @@ -#ifndef _DEFS_FUNCTION_FIXER_H_ -#define _DEFS_FUNCTION_FIXER_H_ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// FunctionFixer.h -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : Peter A. Buhr +// Last Modified On : Mon May 18 23:31:58 2015 +// Update Count : 3 +// + +#ifndef _FUNCTION_FIXER_H_ +#define _FUNCTION_FIXER_H_ #include "SynTree/Mutator.h" @@ -8,43 +23,38 @@ namespace ArgTweak { - class FunctionFixer : public Mutator - { - typedef Mutator Parent; + class FunctionFixer : public Mutator { + typedef Mutator Parent; + public: + FunctionFixer(SymTab::Indexer *ind = 0); + ~FunctionFixer(); - public: - FunctionFixer(SymTab::Indexer *ind = 0); - ~FunctionFixer(); + virtual DeclarationWithType *mutate( FunctionDecl *functionDecl ); + virtual Expression *mutate( UntypedExpr *untypedExpr ) throw ( SemanticError ); + private: + class Matcher { + typedef std::string key; + typedef DeclarationWithType * pattern_type; + typedef Expression * permutation_type; + public: + static key null_key; + static permutation_type null_value; - virtual DeclarationWithType *mutate( FunctionDecl *functionDecl ); - virtual Expression *mutate( UntypedExpr *untypedExpr ) throw ( SemanticError ); + std::string extract_key( DeclarationWithType * ); + std::string extract_key( Expression * ); - private: - class Matcher { - typedef std::string key; - typedef DeclarationWithType * pattern_type; - typedef Expression * permutation_type; - public: - static key null_key; - static permutation_type null_value; + bool operator()( DeclarationWithType *, Expression * ) { return true; } + }; - std::string extract_key( DeclarationWithType * ); - std::string extract_key( Expression * ); + SymTab::Indexer *index; + }; - bool operator()( DeclarationWithType *, Expression * ) { return true; } - }; - - SymTab::Indexer *index; - }; - - template < class L1, class L2, class Predicate > bool align( L1 &pattern, L2 &possible_permutation, Predicate pred ); - + template < class L1, class L2, class Predicate > bool align( L1 &pattern, L2 &possible_permutation, Predicate pred ); } // namespace ArgTweak +#endif // _FUNCTION_FIXER_H_ -#endif // #ifndef _DEFS_FUNCTION_FIXER_H_ - -/* - Local Variables: - mode: c++ - End: -*/ +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/ArgTweak/Mutate.cc =================================================================== --- translator/ArgTweak/Mutate.cc (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/ArgTweak/Mutate.cc (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,17 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// Mutate.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : Peter A. Buhr +// Last Modified On : Mon May 18 23:32:23 2015 +// Update Count : 1 +// + #include "SynTree/Mutator.h" @@ -5,13 +20,14 @@ namespace ArgTweak { + void mutate( std::list< Declaration * > translationUnit ) { + FunctionFixer ff; - void mutate( std::list< Declaration * > translationUnit ) - { - FunctionFixer ff; - - mutateAll( translationUnit, ff ); - } - + mutateAll( translationUnit, ff ); + } } // namespace ArgTweak - +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/ArgTweak/Mutate.h =================================================================== --- translator/ArgTweak/Mutate.h (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/ArgTweak/Mutate.h (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,4 +1,19 @@ -#ifndef ARGTWEAK_MUTATE_H -#define ARGTWEAK_MUTATE_H +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// Mutate.h -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : Peter A. Buhr +// Last Modified On : Mon May 18 23:33:04 2015 +// Update Count : 2 +// + +#ifndef _MUTATE_H +#define _MUTATE_H #include @@ -8,14 +23,12 @@ namespace ArgTweak { - - void mutate( std::list< Declaration* > translationUnit ); - + void mutate( std::list< Declaration* > translationUnit ); } // namespace ArgTweak -#endif // #ifndef ARGTWEAK_MUTATE_H +#endif // _MUTATE_H -/* - Local Variables: - mode: c++ - End: -*/ +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/CodeGen/CodeGenerator2.cc =================================================================== --- translator/CodeGen/CodeGenerator2.cc (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/CodeGen/CodeGenerator2.cc (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,17 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// CodeGenerator2.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : Peter A. Buhr +// Last Modified On : Mon May 18 23:34:27 2015 +// Update Count : 1 +// + #include #include @@ -20,634 +35,638 @@ namespace CodeGen { - int CodeGenerator2::tabsize = 4; - - CodeGenerator2::CodeGenerator2( std::ostream &os ) : cur_indent( 0 ), insideFunction( false ), before( os ), after() { } - - CodeGenerator2::CodeGenerator2( std::ostream &os, std::string init, int indent, bool infunp ) - : cur_indent( indent ), insideFunction( infunp ), before( os ) - { - //before << std::string( init ); - } - - CodeGenerator2::CodeGenerator2( std::ostream &os, char *init, int indent, bool infunp ) - : cur_indent( indent ), insideFunction( infunp ), before( os ) - { - //before << std::string( init ); - } - - string mangleName( DeclarationWithType *decl ) { - if ( decl->get_mangleName() != "" ) { - return decl->get_mangleName(); - } else { - return decl->get_name(); - } // if - } - - //*** Declarations - void CodeGenerator2::visit( FunctionDecl *functionDecl ) { - handleStorageClass( functionDecl ); - before << genType( functionDecl->get_functionType(), mangleName( functionDecl ) ); - - // how to get this to the Functype? - std::list< Declaration * > olds = functionDecl->get_oldDecls(); - if ( ! olds.empty() ) { - before << " /* function has old declaration */"; - } // if - - // acceptAll( functionDecl->get_oldDecls(), *this ); - if ( functionDecl->get_statements() ) { - functionDecl->get_statements()->accept(*this ); - } // if - } - - void CodeGenerator2::visit( ObjectDecl *objectDecl ) { - handleStorageClass( objectDecl ); - before << genType( objectDecl->get_type(), mangleName( objectDecl ) ); - - if ( objectDecl->get_init() ) { - before << " = "; - objectDecl->get_init()->accept( *this ); - } // if - if ( objectDecl->get_bitfieldWidth() ) { - before << ":"; - objectDecl->get_bitfieldWidth()->accept( *this ); - } // if - } - - void CodeGenerator2::handleAggregate( AggregateDecl *aggDecl ) { - if ( aggDecl->get_name() != "" ) - before << aggDecl->get_name(); - - std::list< Declaration * > &memb = aggDecl->get_members(); - - if ( ! memb.empty() ) { - before << endl << string( cur_indent, ' ' ) << "{" << endl; - - cur_indent += CodeGenerator2::tabsize; - for ( std::list< Declaration* >::iterator i = memb.begin(); i != memb.end(); i++) { - before << string( cur_indent, ' ' ); - (*i)->accept(*this ); - before << ";" << endl; - } - - cur_indent -= CodeGenerator2::tabsize; - - before << string( cur_indent, ' ' ) << "}"; - } // if - } - - void CodeGenerator2::visit( StructDecl *structDecl ) { - before << "struct "; - handleAggregate( structDecl ); - } - - void CodeGenerator2::visit( UnionDecl *aggregateDecl ) { - before << "union "; - handleAggregate( aggregateDecl ); - } - - void CodeGenerator2::visit( EnumDecl *aggDecl ) { - before << "enum "; - - if ( aggDecl->get_name() != "" ) - before << aggDecl->get_name(); - - std::list< Declaration* > &memb = aggDecl->get_members(); - - if ( ! memb.empty() ) { - before << endl << "{" << endl; - - cur_indent += CodeGenerator2::tabsize; - for ( std::list< Declaration* >::iterator i = memb.begin(); i != memb.end(); i++) { - ObjectDecl *obj = dynamic_cast< ObjectDecl* >( *i ); - assert( obj ); - before << string( cur_indent, ' ' ) << mangleName( obj ); - if ( obj->get_init() ) { - before << " = "; - obj->get_init()->accept(*this ); - } // if - before << "," << endl; - } - - cur_indent -= CodeGenerator2::tabsize; - - before << "}" << endl; - } // if - } - - void CodeGenerator2::visit( ContextDecl *aggregateDecl ) {} - - void CodeGenerator2::visit( TypedefDecl *typeDecl ) { - before << "typedef "; - before << genType( typeDecl->get_base(), typeDecl->get_name() ); - } - - void CodeGenerator2::visit( TypeDecl *typeDecl ) { - // really, we should mutate this into something that isn't a TypeDecl but that requires large-scale changes, - // still to be done - before << "extern unsigned long " << typeDecl->get_name(); - if ( typeDecl->get_base() ) { - before << " = sizeof( " << genType( typeDecl->get_base(), "" ) << " )"; - } // if - } - - void CodeGenerator2::visit( SingleInit *init ) { - init->get_value()->accept( *this ); - } - - void CodeGenerator2::visit( ListInit *init ) { - before << "{ "; - genCommaList( init->begin_initializers(), init->end_initializers() ); - before << " }"; - } - - void CodeGenerator2::visit( Constant *constant ) { - before << constant->get_value() ; - } - - //*** Expressions - void CodeGenerator2::visit( ApplicationExpr *applicationExpr ) { - if ( VariableExpr *varExpr = dynamic_cast< VariableExpr* >( applicationExpr->get_function() ) ) { - OperatorInfo opInfo; - if ( varExpr->get_var()->get_linkage() == LinkageSpec::Intrinsic && operatorLookup( varExpr->get_var()->get_name(), opInfo ) ) { - std::list< Expression* >::iterator arg = applicationExpr->get_args().begin(); - switch ( opInfo.type ) { - case OT_PREFIXASSIGN: - case OT_POSTFIXASSIGN: - case OT_INFIXASSIGN: - { - assert( arg != applicationExpr->get_args().end() ); - if ( AddressExpr *addrExpr = dynamic_cast< AddressExpr * >( *arg ) ) { - - *arg = addrExpr->get_arg(); + int CodeGenerator2::tabsize = 4; + + CodeGenerator2::CodeGenerator2( std::ostream &os ) : cur_indent( 0 ), insideFunction( false ), before( os ), after() { } + + CodeGenerator2::CodeGenerator2( std::ostream &os, std::string init, int indent, bool infunp ) + : cur_indent( indent ), insideFunction( infunp ), before( os ) { + //before << std::string( init ); + } + + CodeGenerator2::CodeGenerator2( std::ostream &os, char *init, int indent, bool infunp ) + : cur_indent( indent ), insideFunction( infunp ), before( os ) { + //before << std::string( init ); + } + + string mangleName( DeclarationWithType *decl ) { + if ( decl->get_mangleName() != "" ) { + return decl->get_mangleName(); + } else { + return decl->get_name(); + } // if + } + + //*** Declarations + void CodeGenerator2::visit( FunctionDecl *functionDecl ) { + handleStorageClass( functionDecl ); + before << genType( functionDecl->get_functionType(), mangleName( functionDecl ) ); + + // how to get this to the Functype? + std::list< Declaration * > olds = functionDecl->get_oldDecls(); + if ( ! olds.empty() ) { + before << " /* function has old declaration */"; + } // if + + // acceptAll( functionDecl->get_oldDecls(), *this ); + if ( functionDecl->get_statements() ) { + functionDecl->get_statements()->accept(*this ); + } // if + } + + void CodeGenerator2::visit( ObjectDecl *objectDecl ) { + handleStorageClass( objectDecl ); + before << genType( objectDecl->get_type(), mangleName( objectDecl ) ); + + if ( objectDecl->get_init() ) { + before << " = "; + objectDecl->get_init()->accept( *this ); + } // if + if ( objectDecl->get_bitfieldWidth() ) { + before << ":"; + objectDecl->get_bitfieldWidth()->accept( *this ); + } // if + } + + void CodeGenerator2::handleAggregate( AggregateDecl *aggDecl ) { + if ( aggDecl->get_name() != "" ) + before << aggDecl->get_name(); + + std::list< Declaration * > &memb = aggDecl->get_members(); + + if ( ! memb.empty() ) { + before << endl << string( cur_indent, ' ' ) << "{" << endl; + + cur_indent += CodeGenerator2::tabsize; + for ( std::list< Declaration* >::iterator i = memb.begin(); i != memb.end(); i++) { + before << string( cur_indent, ' ' ); + (*i)->accept(*this ); + before << ";" << endl; + } + + cur_indent -= CodeGenerator2::tabsize; + + before << string( cur_indent, ' ' ) << "}"; + } // if + } + + void CodeGenerator2::visit( StructDecl *structDecl ) { + before << "struct "; + handleAggregate( structDecl ); + } + + void CodeGenerator2::visit( UnionDecl *aggregateDecl ) { + before << "union "; + handleAggregate( aggregateDecl ); + } + + void CodeGenerator2::visit( EnumDecl *aggDecl ) { + before << "enum "; + + if ( aggDecl->get_name() != "" ) + before << aggDecl->get_name(); + + std::list< Declaration* > &memb = aggDecl->get_members(); + + if ( ! memb.empty() ) { + before << endl << "{" << endl; + + cur_indent += CodeGenerator2::tabsize; + for ( std::list< Declaration* >::iterator i = memb.begin(); i != memb.end(); i++) { + ObjectDecl *obj = dynamic_cast< ObjectDecl* >( *i ); + assert( obj ); + before << string( cur_indent, ' ' ) << mangleName( obj ); + if ( obj->get_init() ) { + before << " = "; + obj->get_init()->accept(*this ); + } // if + before << "," << endl; + } // for + + cur_indent -= CodeGenerator2::tabsize; + + before << "}" << endl; + } // if + } + + void CodeGenerator2::visit( ContextDecl *aggregateDecl ) {} + + void CodeGenerator2::visit( TypedefDecl *typeDecl ) { + before << "typedef "; + before << genType( typeDecl->get_base(), typeDecl->get_name() ); + } + + void CodeGenerator2::visit( TypeDecl *typeDecl ) { + // really, we should mutate this into something that isn't a TypeDecl but that requires large-scale changes, + // still to be done + before << "extern unsigned long " << typeDecl->get_name(); + if ( typeDecl->get_base() ) { + before << " = sizeof( " << genType( typeDecl->get_base(), "" ) << " )"; + } // if + } + + void CodeGenerator2::visit( SingleInit *init ) { + init->get_value()->accept( *this ); + } + + void CodeGenerator2::visit( ListInit *init ) { + before << "{ "; + genCommaList( init->begin_initializers(), init->end_initializers() ); + before << " }"; + } + + void CodeGenerator2::visit( Constant *constant ) { + before << constant->get_value() ; + } + + //*** Expressions + void CodeGenerator2::visit( ApplicationExpr *applicationExpr ) { + if ( VariableExpr *varExpr = dynamic_cast< VariableExpr* >( applicationExpr->get_function() ) ) { + OperatorInfo opInfo; + if ( varExpr->get_var()->get_linkage() == LinkageSpec::Intrinsic && operatorLookup( varExpr->get_var()->get_name(), opInfo ) ) { + std::list< Expression* >::iterator arg = applicationExpr->get_args().begin(); + switch ( opInfo.type ) { + case OT_PREFIXASSIGN: + case OT_POSTFIXASSIGN: + case OT_INFIXASSIGN: + { + assert( arg != applicationExpr->get_args().end() ); + if ( AddressExpr *addrExpr = dynamic_cast< AddressExpr * >( *arg ) ) { + + *arg = addrExpr->get_arg(); + } else { + UntypedExpr *newExpr = new UntypedExpr( new NameExpr( "*?" ) ); + newExpr->get_args().push_back( *arg ); + *arg = newExpr; + } // if + break; + } + + default: + // do nothing + ; + } + + switch ( opInfo.type ) { + case OT_INDEX: + assert( applicationExpr->get_args().size() == 2 ); + (*arg++)->accept( *this ); + before << "["; + (*arg)->accept( *this ); + before << "]"; + break; + + case OT_CALL: + // there are no intrinsic definitions of the function call operator + assert( false ); + break; + + case OT_PREFIX: + case OT_PREFIXASSIGN: + assert( applicationExpr->get_args().size() == 1 ); + before << "("; + before << opInfo.symbol; + (*arg)->accept( *this ); + before << ")"; + break; + + case OT_POSTFIX: + case OT_POSTFIXASSIGN: + assert( applicationExpr->get_args().size() == 1 ); + (*arg)->accept( *this ); + before << opInfo.symbol; + break; + + case OT_INFIX: + case OT_INFIXASSIGN: + assert( applicationExpr->get_args().size() == 2 ); + before << "("; + (*arg++)->accept( *this ); + before << opInfo.symbol; + (*arg)->accept( *this ); + before << ")"; + break; + + case OT_CONSTANT: + // there are no intrinsic definitions of 0 or 1 as functions + assert( false ); + } } else { - UntypedExpr *newExpr = new UntypedExpr( new NameExpr( "*?" ) ); - newExpr->get_args().push_back( *arg ); - *arg = newExpr; + varExpr->accept( *this ); + before << "("; + genCommaList( applicationExpr->get_args().begin(), applicationExpr->get_args().end() ); + before << ")"; } // if - break; - } - - default: - // do nothing - ; + } else { + applicationExpr->get_function()->accept( *this ); + before << "("; + genCommaList( applicationExpr->get_args().begin(), applicationExpr->get_args().end() ); + before << ")"; + } // if + } + + void CodeGenerator2::visit( UntypedExpr *untypedExpr ) { + if ( NameExpr *nameExpr = dynamic_cast< NameExpr* >( untypedExpr->get_function() ) ) { + OperatorInfo opInfo; + if ( operatorLookup( nameExpr->get_name(), opInfo ) ) { + std::list< Expression* >::iterator arg = untypedExpr->get_args().begin(); + switch ( opInfo.type ) { + case OT_INDEX: + assert( untypedExpr->get_args().size() == 2 ); + (*arg++)->accept( *this ); + before << "["; + (*arg)->accept( *this ); + before << "]"; + break; + + case OT_CALL: + assert( false ); + break; + + case OT_PREFIX: + case OT_PREFIXASSIGN: + assert( untypedExpr->get_args().size() == 1 ); + before << "("; + before << opInfo.symbol; + (*arg)->accept( *this ); + before << ")"; + break; + + case OT_POSTFIX: + case OT_POSTFIXASSIGN: + assert( untypedExpr->get_args().size() == 1 ); + (*arg)->accept( *this ); + before << opInfo.symbol; + break; + + case OT_INFIX: + case OT_INFIXASSIGN: + assert( untypedExpr->get_args().size() == 2 ); + before << "("; + (*arg++)->accept( *this ); + before << opInfo.symbol; + (*arg)->accept( *this ); + before << ")"; + break; + + case OT_CONSTANT: + // there are no intrinsic definitions of 0 or 1 as functions + assert( false ); + } + } else { + nameExpr->accept( *this ); + before << "("; + genCommaList( untypedExpr->get_args().begin(), untypedExpr->get_args().end() ); + before << ")"; + } // if + } else { + untypedExpr->get_function()->accept( *this ); + before << "("; + genCommaList( untypedExpr->get_args().begin(), untypedExpr->get_args().end() ); + before << ")"; + } // if + } + + void CodeGenerator2::visit( NameExpr *nameExpr ) { + OperatorInfo opInfo; + if ( operatorLookup( nameExpr->get_name(), opInfo ) ) { + assert( opInfo.type == OT_CONSTANT ); + before << opInfo.symbol; + } else { + before << nameExpr->get_name(); + } // if + } + + void CodeGenerator2::visit( AddressExpr *addressExpr ) { + before << "(&"; + // this hack makes sure that we don't convert "constant_zero" to "0" if we're taking its address + if ( VariableExpr *variableExpr = dynamic_cast< VariableExpr* >( addressExpr->get_arg() ) ) { + before << mangleName( variableExpr->get_var() ); + } else { + addressExpr->get_arg()->accept( *this ); + } // if + before << ")"; + } + + void CodeGenerator2::visit( CastExpr *castExpr ) { + before << "(("; + if ( castExpr->get_results().empty() ) { + before << "void" ; + } else { + before << genType( castExpr->get_results().front(), "" ); + } // if + before << ")"; + castExpr->get_arg()->accept( *this ); + before << ")"; + } + + void CodeGenerator2::visit( UntypedMemberExpr *memberExpr ) { + assert( false ); + } + + void CodeGenerator2::visit( MemberExpr *memberExpr ) { + memberExpr->get_aggregate()->accept( *this ); + before << "." << mangleName( memberExpr->get_member() ); + } + + void CodeGenerator2::visit( VariableExpr *variableExpr ) { + OperatorInfo opInfo; + if ( variableExpr->get_var()->get_linkage() == LinkageSpec::Intrinsic && operatorLookup( variableExpr->get_var()->get_name(), opInfo ) && opInfo.type == OT_CONSTANT ) { + before << opInfo.symbol; + } else { + before << mangleName( variableExpr->get_var() ); + } // if + } + + void CodeGenerator2::visit( ConstantExpr *constantExpr ) { + assert( constantExpr->get_constant() ); + constantExpr->get_constant()->accept( *this ); + } + + void CodeGenerator2::visit( SizeofExpr *sizeofExpr ) { + before << "sizeof("; + if ( sizeofExpr->get_isType() ) { + before << genType( sizeofExpr->get_type(), "" ); + } else { + sizeofExpr->get_expr()->accept( *this ); + } // if + before << ")"; + } + + void CodeGenerator2::visit( LogicalExpr *logicalExpr ) { + before << "("; + logicalExpr->get_arg1()->accept( *this ); + if ( logicalExpr->get_isAnd() ) { + before << " && "; + } else { + before << " || "; + } // if + logicalExpr->get_arg2()->accept( *this ); + before << ")"; + } + + void CodeGenerator2::visit( ConditionalExpr *conditionalExpr ) { + before << "("; + conditionalExpr->get_arg1()->accept( *this ); + before << " ? "; + conditionalExpr->get_arg2()->accept( *this ); + before << " : "; + conditionalExpr->get_arg3()->accept( *this ); + before << ")"; + } + + void CodeGenerator2::visit( CommaExpr *commaExpr ) { + before << "("; + commaExpr->get_arg1()->accept( *this ); + before << " , "; + commaExpr->get_arg2()->accept( *this ); + before << ")"; + } + + void CodeGenerator2::visit( TupleExpr *tupleExpr ) {} + + void CodeGenerator2::visit( TypeExpr *typeExpr ) {} + + + //*** Statements + void CodeGenerator2::visit( CompoundStmt *compoundStmt ) { + std::list ks = compoundStmt->get_kids(); + + before << endl << string( cur_indent, ' ' ) << "{" << endl; + + cur_indent += CodeGenerator2::tabsize; + + for ( std::list::iterator i = ks.begin(); i != ks.end(); i++) { + before << string( cur_indent, ' ' ) << printLabels( (*i)->get_labels() ) ; + (*i)->accept(*this ); + shift_left(); + before << endl; } - - switch ( opInfo.type ) { - case OT_INDEX: - assert( applicationExpr->get_args().size() == 2 ); - (*arg++)->accept( *this ); - before << "["; - (*arg)->accept( *this ); - before << "]"; - break; - - case OT_CALL: - // there are no intrinsic definitions of the function call operator - assert( false ); - break; - - case OT_PREFIX: - case OT_PREFIXASSIGN: - assert( applicationExpr->get_args().size() == 1 ); - before << "("; - before << opInfo.symbol; - (*arg)->accept( *this ); - before << ")"; - break; - - case OT_POSTFIX: - case OT_POSTFIXASSIGN: - assert( applicationExpr->get_args().size() == 1 ); - (*arg)->accept( *this ); - before << opInfo.symbol; - break; - - case OT_INFIX: - case OT_INFIXASSIGN: - assert( applicationExpr->get_args().size() == 2 ); - before << "("; - (*arg++)->accept( *this ); - before << opInfo.symbol; - (*arg)->accept( *this ); - before << ")"; - break; - - case OT_CONSTANT: - // there are no intrinsic definitions of 0 or 1 as functions - assert( false ); + cur_indent -= CodeGenerator2::tabsize; + + before << string( cur_indent, ' ' ) << "}" << endl; + } + + void CodeGenerator2::visit( ExprStmt *exprStmt ) { + if ( exprStmt != 0 ) { + exprStmt->get_expr()->accept( *this ); + shift_left(); + before << ";" ; + } // if + } + + void CodeGenerator2::visit( IfStmt *ifStmt ) { + before << "if ("; + ifStmt->get_condition()->accept(*this ); + after += ")\n"; + shift_left(); + + cur_indent += CodeGenerator2::tabsize; + before << string( cur_indent, ' ' ); + ifStmt->get_thenPart()->accept(*this ); + cur_indent -= CodeGenerator2::tabsize; + shift_left(); before << endl; + + if ( ifStmt->get_elsePart() != 0) { + before << string( cur_indent, ' ' ) << " else " << endl ; + + cur_indent += CodeGenerator2::tabsize; + ifStmt->get_elsePart()->accept(*this ); + cur_indent -= CodeGenerator2::tabsize; + } // if + } + + void CodeGenerator2::visit( SwitchStmt *switchStmt ) { + //before << /* "\r" << */ string( cur_indent, ' ' ) << CodeGenerator2::printLabels( switchStmt->get_labels() ) + before << "switch (" ; + switchStmt->get_condition()->accept(*this ); + after += ")\n"; + shift_left(); + + before << string( cur_indent, ' ' ) << "{" << std::endl; + cur_indent += CodeGenerator2::tabsize; + + std::list< Statement * > stmts = switchStmt->get_branches(); + bool lastBreak = false; + + // horrible, horrible hack + if ( dynamic_cast( stmts.back() ) != 0 ) { + lastBreak = true; + stmts.pop_back(); + } // if + acceptAll( stmts, *this ); + if ( lastBreak ) { + Statement *st = switchStmt->get_branches().back(); + before << CodeGenerator2::printLabels( st->get_labels()); + st->accept( *this ); + } // if + + cur_indent -= CodeGenerator2::tabsize; + + before << /* "\r" << */ string( cur_indent, ' ' ) << "}" << endl ; + } + + void CodeGenerator2::visit( CaseStmt *caseStmt ) { + before << string( cur_indent, ' ' ); + if ( caseStmt->isDefault()) + before << "default " ; + else { + before << "case " ; + caseStmt->get_condition()->accept(*this ); + } // if + after += ":\n"; + shift_left(); + + std::list sts = caseStmt->get_statements(); + + cur_indent += CodeGenerator2::tabsize; + for ( std::list::iterator i = sts.begin(); i != sts.end(); i++) { + before << /* "\r" << */ string( cur_indent, ' ' ) << printLabels( (*i)->get_labels() ) ; + (*i)->accept(*this ); + shift_left(); + before << ";" << endl; } - } else { - varExpr->accept( *this ); - before << "("; - genCommaList( applicationExpr->get_args().begin(), applicationExpr->get_args().end() ); - before << ")"; - } // if - } else { - applicationExpr->get_function()->accept( *this ); - before << "("; - genCommaList( applicationExpr->get_args().begin(), applicationExpr->get_args().end() ); - before << ")"; - } // if - } - - void CodeGenerator2::visit( UntypedExpr *untypedExpr ) { - if ( NameExpr *nameExpr = dynamic_cast< NameExpr* >( untypedExpr->get_function() ) ) { - OperatorInfo opInfo; - if ( operatorLookup( nameExpr->get_name(), opInfo ) ) { - std::list< Expression* >::iterator arg = untypedExpr->get_args().begin(); - switch ( opInfo.type ) { - case OT_INDEX: - assert( untypedExpr->get_args().size() == 2 ); - (*arg++)->accept( *this ); - before << "["; - (*arg)->accept( *this ); - before << "]"; - break; - - case OT_CALL: - assert( false ); - break; - - case OT_PREFIX: - case OT_PREFIXASSIGN: - assert( untypedExpr->get_args().size() == 1 ); - before << "("; - before << opInfo.symbol; - (*arg)->accept( *this ); - before << ")"; - break; - - case OT_POSTFIX: - case OT_POSTFIXASSIGN: - assert( untypedExpr->get_args().size() == 1 ); - (*arg)->accept( *this ); - before << opInfo.symbol; - break; - - case OT_INFIX: - case OT_INFIXASSIGN: - assert( untypedExpr->get_args().size() == 2 ); - before << "("; - (*arg++)->accept( *this ); - before << opInfo.symbol; - (*arg)->accept( *this ); - before << ")"; - break; - - case OT_CONSTANT: - // there are no intrinsic definitions of 0 or 1 as functions - assert( false ); + cur_indent -= CodeGenerator2::tabsize; + } + + void CodeGenerator2::visit( BranchStmt *branchStmt ) { + switch ( branchStmt->get_type()) { + case BranchStmt::Goto: + if ( ! branchStmt->get_target().empty() ) + before << "goto " << branchStmt->get_target(); + else { + if ( branchStmt->get_computedTarget() != 0 ) { + before << "goto *"; + branchStmt->get_computedTarget()->accept( *this ); + } // if + } // if + break; + case BranchStmt::Break: + before << "break"; + break; + case BranchStmt::Continue: + before << "continue"; + break; } - } else { - nameExpr->accept( *this ); - before << "("; - genCommaList( untypedExpr->get_args().begin(), untypedExpr->get_args().end() ); - before << ")"; - } // if - } else { - untypedExpr->get_function()->accept( *this ); - before << "("; - genCommaList( untypedExpr->get_args().begin(), untypedExpr->get_args().end() ); - before << ")"; - } // if - } - - void CodeGenerator2::visit( NameExpr *nameExpr ) { - OperatorInfo opInfo; - if ( operatorLookup( nameExpr->get_name(), opInfo ) ) { - assert( opInfo.type == OT_CONSTANT ); - before << opInfo.symbol; - } else { - before << nameExpr->get_name(); - } // if - } - - void CodeGenerator2::visit( AddressExpr *addressExpr ) { - before << "(&"; - // this hack makes sure that we don't convert "constant_zero" to "0" if we're taking its address - if ( VariableExpr *variableExpr = dynamic_cast< VariableExpr* >( addressExpr->get_arg() ) ) { - before << mangleName( variableExpr->get_var() ); - } else { - addressExpr->get_arg()->accept( *this ); - } // if - before << ")"; - } - - void CodeGenerator2::visit( CastExpr *castExpr ) { - before << "(("; - if ( castExpr->get_results().empty() ) { - before << "void" ; - } else { - before << genType( castExpr->get_results().front(), "" ); - } // if - before << ")"; - castExpr->get_arg()->accept( *this ); - before << ")"; - } - - void CodeGenerator2::visit( UntypedMemberExpr *memberExpr ) { - assert( false ); - } - - void CodeGenerator2::visit( MemberExpr *memberExpr ) { - memberExpr->get_aggregate()->accept( *this ); - before << "." << mangleName( memberExpr->get_member() ); - } - - void CodeGenerator2::visit( VariableExpr *variableExpr ) { - OperatorInfo opInfo; - if ( variableExpr->get_var()->get_linkage() == LinkageSpec::Intrinsic && operatorLookup( variableExpr->get_var()->get_name(), opInfo ) && opInfo.type == OT_CONSTANT ) { - before << opInfo.symbol; - } else { - before << mangleName( variableExpr->get_var() ); - } // if - } - - void CodeGenerator2::visit( ConstantExpr *constantExpr ) { - assert( constantExpr->get_constant() ); - constantExpr->get_constant()->accept( *this ); - } - - void CodeGenerator2::visit( SizeofExpr *sizeofExpr ) { - before << "sizeof("; - if ( sizeofExpr->get_isType() ) { - before << genType( sizeofExpr->get_type(), "" ); - } else { - sizeofExpr->get_expr()->accept( *this ); - } // if - before << ")"; - } - - void CodeGenerator2::visit( LogicalExpr *logicalExpr ) { - before << "("; - logicalExpr->get_arg1()->accept( *this ); - if ( logicalExpr->get_isAnd() ) { - before << " && "; - } else { - before << " || "; - } // if - logicalExpr->get_arg2()->accept( *this ); - before << ")"; - } - - void CodeGenerator2::visit( ConditionalExpr *conditionalExpr ) { - before << "("; - conditionalExpr->get_arg1()->accept( *this ); - before << " ? "; - conditionalExpr->get_arg2()->accept( *this ); - before << " : "; - conditionalExpr->get_arg3()->accept( *this ); - before << ")"; - } - - void CodeGenerator2::visit( CommaExpr *commaExpr ) { - before << "("; - commaExpr->get_arg1()->accept( *this ); - before << " , "; - commaExpr->get_arg2()->accept( *this ); - before << ")"; - } - - void CodeGenerator2::visit( TupleExpr *tupleExpr ) {} - - void CodeGenerator2::visit( TypeExpr *typeExpr ) {} - - - //*** Statements - void CodeGenerator2::visit( CompoundStmt *compoundStmt ) { - std::list ks = compoundStmt->get_kids(); - - before << endl << string( cur_indent, ' ' ) << "{" << endl; - - cur_indent += CodeGenerator2::tabsize; - - for ( std::list::iterator i = ks.begin(); i != ks.end(); i++) { - before << string( cur_indent, ' ' ) << printLabels( (*i)->get_labels() ) ; - (*i)->accept(*this ); - shift_left(); - before << endl; - } - cur_indent -= CodeGenerator2::tabsize; - - before << string( cur_indent, ' ' ) << "}" << endl; - } - - void CodeGenerator2::visit( ExprStmt *exprStmt ) { - if ( exprStmt != 0 ) { - exprStmt->get_expr()->accept( *this ); - shift_left(); - before << ";" ; - } // if - } - - void CodeGenerator2::visit( IfStmt *ifStmt ) { - before << "if ("; - ifStmt->get_condition()->accept(*this ); - after += ")\n"; - shift_left(); - - cur_indent += CodeGenerator2::tabsize; - before << string( cur_indent, ' ' ); - ifStmt->get_thenPart()->accept(*this ); - cur_indent -= CodeGenerator2::tabsize; - shift_left(); before << endl; - - if ( ifStmt->get_elsePart() != 0) { - before << string( cur_indent, ' ' ) << " else " << endl ; - - cur_indent += CodeGenerator2::tabsize; - ifStmt->get_elsePart()->accept(*this ); - cur_indent -= CodeGenerator2::tabsize; - } // if - } - - void CodeGenerator2::visit( SwitchStmt *switchStmt ) { - //before << /* "\r" << */ string( cur_indent, ' ' ) << CodeGenerator2::printLabels( switchStmt->get_labels() ) - before << "switch (" ; - switchStmt->get_condition()->accept(*this ); - after += ")\n"; - shift_left(); - - before << string( cur_indent, ' ' ) << "{" << std::endl; - cur_indent += CodeGenerator2::tabsize; - - std::list< Statement * > stmts = switchStmt->get_branches(); - bool lastBreak = false; - - // horrible, horrible hack - if ( dynamic_cast( stmts.back() ) != 0 ) { - lastBreak = true; - stmts.pop_back(); - } // if - acceptAll( stmts, *this ); - if ( lastBreak ) { - Statement *st = switchStmt->get_branches().back(); - before << CodeGenerator2::printLabels( st->get_labels()); - st->accept( *this ); - } // if - - cur_indent -= CodeGenerator2::tabsize; - - before << /* "\r" << */ string( cur_indent, ' ' ) << "}" << endl ; - } - - void CodeGenerator2::visit( CaseStmt *caseStmt ) { - before << string( cur_indent, ' ' ); - if ( caseStmt->isDefault()) - before << "default " ; - else { - before << "case " ; - caseStmt->get_condition()->accept(*this ); - } // if - after += ":\n"; - shift_left(); - - std::list sts = caseStmt->get_statements(); - - cur_indent += CodeGenerator2::tabsize; - for ( std::list::iterator i = sts.begin(); i != sts.end(); i++) { - before << /* "\r" << */ string( cur_indent, ' ' ) << printLabels( (*i)->get_labels() ) ; - (*i)->accept(*this ); - shift_left(); - before << ";" << endl; - } - cur_indent -= CodeGenerator2::tabsize; - } - - void CodeGenerator2::visit( BranchStmt *branchStmt ) { - switch ( branchStmt->get_type()) { - case BranchStmt::Goto: - if ( ! branchStmt->get_target().empty() ) - before << "goto " << branchStmt->get_target(); - else { - if ( branchStmt->get_computedTarget() != 0 ) { - before << "goto *"; - branchStmt->get_computedTarget()->accept( *this ); - } // if - } // if - break; - case BranchStmt::Break: - before << "break"; - break; - case BranchStmt::Continue: - before << "continue"; - break; - } - before << ";"; - } - - - void CodeGenerator2::visit( ReturnStmt *returnStmt ) { - before << "return "; - - // xxx -- check for null expression; - if ( returnStmt->get_expr() ) { - returnStmt->get_expr()->accept( *this ); - } // if - after += ";"; - } - - void CodeGenerator2::visit( WhileStmt *whileStmt ) { - if ( whileStmt->get_isDoWhile() ) - before << "do" ; - else { - before << "while (" ; - whileStmt->get_condition()->accept(*this ); - after += ")"; - } // if - after += "{\n"; - shift_left(); - - whileStmt->get_body()->accept( *this ); - - before << /* "\r" << */ string( cur_indent, ' ' ) << "}" ; - - if ( whileStmt->get_isDoWhile() ) { - before << " while (" ; - whileStmt->get_condition()->accept(*this ); - after += ");"; - } // if - - after += "\n"; - } - - void CodeGenerator2::visit( ForStmt *forStmt ) { - before << "for ("; - - if ( forStmt->get_initialization() != 0 ) - forStmt->get_initialization()->accept( *this ); - else - before << ";"; - shift_left(); - - if ( forStmt->get_condition() != 0 ) - forStmt->get_condition()->accept( *this ); - shift_left(); before << ";"; - - if ( forStmt->get_increment() != 0 ) - forStmt->get_increment()->accept( *this ); - shift_left(); before << ")" << endl; - - if ( forStmt->get_body() != 0 ) { - cur_indent += CodeGenerator2::tabsize; - before << string( cur_indent, ' ' ) << CodeGenerator2::printLabels( forStmt->get_body()->get_labels() ); - forStmt->get_body()->accept( *this ); - cur_indent -= CodeGenerator2::tabsize; - } // if - } - - void CodeGenerator2::visit( NullStmt *nullStmt ) { - //before << /* "\r" << */ string( cur_indent, ' ' ) << CodeGenerator2::printLabels( nullStmt->get_labels() ); - before << "/* null statement */ ;"; - } - - void CodeGenerator2::visit( DeclStmt *declStmt ) { - declStmt->get_decl()->accept( *this ); - - if ( doSemicolon( declStmt->get_decl() ) ) { - after += ";"; - } // if - shift_left(); - } - - std::string CodeGenerator2::printLabels( std::list< Label > &l ) { - std::string str( "" ); - l.unique(); - - for ( std::list< Label >::iterator i = l.begin(); i != l.end(); i++ ) - str += *i + ": "; - - return str; - } - - void CodeGenerator2::shift_left() { - before << after; - after = ""; - } - - void CodeGenerator2::handleStorageClass( Declaration *decl ) { - switch ( decl->get_storageClass() ) { - case Declaration::NoStorageClass: - break; - case Declaration::Extern: - before << "extern "; - break; - case Declaration::Static: - before << "static "; - break; - case Declaration::Auto: - // silently drop storage class - break; - case Declaration::Register: - before << "register "; - break; - case Declaration::Inline: - before << "inline "; - break; - case Declaration::Fortran: - before << "fortran "; - break; - } - } + before << ";"; + } + + + void CodeGenerator2::visit( ReturnStmt *returnStmt ) { + before << "return "; + + // xxx -- check for null expression; + if ( returnStmt->get_expr() ) { + returnStmt->get_expr()->accept( *this ); + } // if + after += ";"; + } + + void CodeGenerator2::visit( WhileStmt *whileStmt ) { + if ( whileStmt->get_isDoWhile() ) + before << "do" ; + else { + before << "while (" ; + whileStmt->get_condition()->accept(*this ); + after += ")"; + } // if + after += "{\n"; + shift_left(); + + whileStmt->get_body()->accept( *this ); + + before << /* "\r" << */ string( cur_indent, ' ' ) << "}" ; + + if ( whileStmt->get_isDoWhile() ) { + before << " while (" ; + whileStmt->get_condition()->accept(*this ); + after += ");"; + } // if + + after += "\n"; + } + + void CodeGenerator2::visit( ForStmt *forStmt ) { + before << "for ("; + + if ( forStmt->get_initialization() != 0 ) + forStmt->get_initialization()->accept( *this ); + else + before << ";"; + shift_left(); + + if ( forStmt->get_condition() != 0 ) + forStmt->get_condition()->accept( *this ); + shift_left(); before << ";"; + + if ( forStmt->get_increment() != 0 ) + forStmt->get_increment()->accept( *this ); + shift_left(); before << ")" << endl; + + if ( forStmt->get_body() != 0 ) { + cur_indent += CodeGenerator2::tabsize; + before << string( cur_indent, ' ' ) << CodeGenerator2::printLabels( forStmt->get_body()->get_labels() ); + forStmt->get_body()->accept( *this ); + cur_indent -= CodeGenerator2::tabsize; + } // if + } + + void CodeGenerator2::visit( NullStmt *nullStmt ) { + //before << /* "\r" << */ string( cur_indent, ' ' ) << CodeGenerator2::printLabels( nullStmt->get_labels() ); + before << "/* null statement */ ;"; + } + + void CodeGenerator2::visit( DeclStmt *declStmt ) { + declStmt->get_decl()->accept( *this ); + + if ( doSemicolon( declStmt->get_decl() ) ) { + after += ";"; + } // if + shift_left(); + } + + std::string CodeGenerator2::printLabels( std::list< Label > &l ) { + std::string str( "" ); + l.unique(); + + for ( std::list< Label >::iterator i = l.begin(); i != l.end(); i++ ) + str += *i + ": "; + + return str; + } + + void CodeGenerator2::shift_left() { + before << after; + after = ""; + } + + void CodeGenerator2::handleStorageClass( Declaration *decl ) { + switch ( decl->get_storageClass() ) { + case Declaration::NoStorageClass: + break; + case Declaration::Extern: + before << "extern "; + break; + case Declaration::Static: + before << "static "; + break; + case Declaration::Auto: + // silently drop storage class + break; + case Declaration::Register: + before << "register "; + break; + case Declaration::Inline: + before << "inline "; + break; + case Declaration::Fortran: + before << "fortran "; + break; + } + } } // namespace CodeGen + +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/CodeGen/CodeGenerator2.h =================================================================== --- translator/CodeGen/CodeGenerator2.h (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/CodeGen/CodeGenerator2.h (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,17 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// CodeGenerator2.h -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : Peter A. Buhr +// Last Modified On : Mon May 18 23:35:37 2015 +// Update Count : 2 +// + #ifndef CODEGENV_H #define CODEGENV_H @@ -10,102 +25,102 @@ namespace CodeGen { - class CodeGenerator2 : public Visitor { - public: - static int tabsize; + class CodeGenerator2 : public Visitor { + public: + static int tabsize; - CodeGenerator2( std::ostream &os ); - CodeGenerator2( std::ostream &os, std::string, int indent = 0, bool infun = false ); - CodeGenerator2( std::ostream &os, char *, int indent = 0, bool infun = false ); + CodeGenerator2( std::ostream &os ); + CodeGenerator2( std::ostream &os, std::string, int indent = 0, bool infun = false ); + CodeGenerator2( std::ostream &os, char *, int indent = 0, bool infun = false ); - CodeGenerator2( CodeGenerator2 & ); + CodeGenerator2( CodeGenerator2 & ); - //*** Declaration - virtual void visit( StructDecl * ); - virtual void visit( FunctionDecl * ); - virtual void visit( ObjectDecl * ); - virtual void visit( UnionDecl *aggregateDecl ); - virtual void visit( EnumDecl *aggregateDecl ); - virtual void visit( ContextDecl *aggregateDecl ); - virtual void visit( TypedefDecl *typeDecl ); - virtual void visit( TypeDecl *typeDecl ); + //*** Declaration + virtual void visit( StructDecl * ); + virtual void visit( FunctionDecl * ); + virtual void visit( ObjectDecl * ); + virtual void visit( UnionDecl *aggregateDecl ); + virtual void visit( EnumDecl *aggregateDecl ); + virtual void visit( ContextDecl *aggregateDecl ); + virtual void visit( TypedefDecl *typeDecl ); + virtual void visit( TypeDecl *typeDecl ); - //*** Initializer - virtual void visit( SingleInit * ); - virtual void visit( ListInit * ); + //*** Initializer + virtual void visit( SingleInit * ); + virtual void visit( ListInit * ); - //*** Constant - virtual void visit( Constant * ); + //*** Constant + virtual void visit( Constant * ); - //*** Expression - virtual void visit( ApplicationExpr *applicationExpr ); - virtual void visit( UntypedExpr *untypedExpr ); - virtual void visit( NameExpr *nameExpr ); - virtual void visit( AddressExpr *addressExpr ); - virtual void visit( CastExpr *castExpr ); - virtual void visit( UntypedMemberExpr *memberExpr ); - virtual void visit( MemberExpr *memberExpr ); - virtual void visit( VariableExpr *variableExpr ); - virtual void visit( ConstantExpr *constantExpr ); - virtual void visit( SizeofExpr *sizeofExpr ); - virtual void visit( LogicalExpr *logicalExpr ); - virtual void visit( ConditionalExpr *conditionalExpr ); - virtual void visit( CommaExpr *commaExpr ); - virtual void visit( TupleExpr *tupleExpr ); - virtual void visit( TypeExpr *typeExpr ); + //*** Expression + virtual void visit( ApplicationExpr *applicationExpr ); + virtual void visit( UntypedExpr *untypedExpr ); + virtual void visit( NameExpr *nameExpr ); + virtual void visit( AddressExpr *addressExpr ); + virtual void visit( CastExpr *castExpr ); + virtual void visit( UntypedMemberExpr *memberExpr ); + virtual void visit( MemberExpr *memberExpr ); + virtual void visit( VariableExpr *variableExpr ); + virtual void visit( ConstantExpr *constantExpr ); + virtual void visit( SizeofExpr *sizeofExpr ); + virtual void visit( LogicalExpr *logicalExpr ); + virtual void visit( ConditionalExpr *conditionalExpr ); + virtual void visit( CommaExpr *commaExpr ); + virtual void visit( TupleExpr *tupleExpr ); + virtual void visit( TypeExpr *typeExpr ); - //*** Statements - virtual void visit( CompoundStmt * ); - virtual void visit( ExprStmt * ); - virtual void visit( IfStmt * ); - virtual void visit( SwitchStmt * ); - virtual void visit( CaseStmt * ); - virtual void visit( BranchStmt * ); - virtual void visit( ReturnStmt * ); - virtual void visit( WhileStmt * ); - virtual void visit( ForStmt * ); - virtual void visit( NullStmt * ); - virtual void visit( DeclStmt * ); + //*** Statements + virtual void visit( CompoundStmt * ); + virtual void visit( ExprStmt * ); + virtual void visit( IfStmt * ); + virtual void visit( SwitchStmt * ); + virtual void visit( CaseStmt * ); + virtual void visit( BranchStmt * ); + virtual void visit( ReturnStmt * ); + virtual void visit( WhileStmt * ); + virtual void visit( ForStmt * ); + virtual void visit( NullStmt * ); + virtual void visit( DeclStmt * ); - std::string get_string( void ); - void add_string_left( std::string s ) { before << s; } - void shift_left(); - template< class Iterator > void genCommaList( Iterator begin, Iterator end ); - private: - int cur_indent; - bool insideFunction; - std::ostream &before; - std::string after; + std::string get_string( void ); + void add_string_left( std::string s ) { before << s; } + void shift_left(); + template< class Iterator > void genCommaList( Iterator begin, Iterator end ); + private: + int cur_indent; + bool insideFunction; + std::ostream &before; + std::string after; - static std::string printLabels ( std::list < Label > & ); - void handleStorageClass( Declaration *decl ); - void handleAggregate( AggregateDecl *aggDecl ); - void handleTypedef( NamedTypeDecl *namedType ); + static std::string printLabels ( std::list < Label > & ); + void handleStorageClass( Declaration *decl ); + void handleAggregate( AggregateDecl *aggDecl ); + void handleTypedef( NamedTypeDecl *namedType ); - }; - - template< class Iterator > - void CodeGenerator2::genCommaList( Iterator begin, Iterator end ) { - if ( begin == end ) return; + }; + + template< class Iterator > + void CodeGenerator2::genCommaList( Iterator begin, Iterator end ) { + if ( begin == end ) return; - for ( ;; ) { - (*begin++)->accept( *this ); - if ( begin == end ) return; - before << ", "; + for ( ;; ) { + (*begin++)->accept( *this ); + if ( begin == end ) return; + before << ", "; + } // for } - } - inline bool doSemicolon( Declaration* decl ) { - if ( FunctionDecl* func = dynamic_cast< FunctionDecl* >( decl ) ) { - return ! func->get_statements(); + inline bool doSemicolon( Declaration* decl ) { + if ( FunctionDecl* func = dynamic_cast< FunctionDecl* >( decl ) ) { + return ! func->get_statements(); + } // if + return true; } - return true; - } } // namespace CodeGen -#endif /* #ifndef CODEGENV_H */ +#endif // CODEGENV_H -/* - Local Variables: - mode: "c++" - End: -*/ +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/CodeGen/FixNames.cc =================================================================== --- translator/CodeGen/FixNames.cc (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/CodeGen/FixNames.cc (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,8 +1,16 @@ -/* - * This file is part of the Cforall project - * - * $Id: FixNames.cc,v 1.8 2005/08/29 20:14:12 rcbilson Exp $ - * - */ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// FixNames.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : Peter A. Buhr +// Last Modified On : Mon May 18 23:36:42 2015 +// Update Count : 1 +// #include "FixNames.h" @@ -14,42 +22,37 @@ namespace CodeGen { + class FixNames : public Visitor { + public: + virtual void visit( ObjectDecl *objectDecl ); + virtual void visit( FunctionDecl *functionDecl ); + }; -class FixNames : public Visitor -{ -public: - virtual void visit( ObjectDecl *objectDecl ); - virtual void visit( FunctionDecl *functionDecl ); -}; + void fixNames( std::list< Declaration* > translationUnit ) { + FixNames fixer; + acceptAll( translationUnit, fixer ); + } -void -fixNames( std::list< Declaration* > translationUnit ) -{ - FixNames fixer; - acceptAll( translationUnit, fixer ); -} + void fixDWT( DeclarationWithType *dwt ) { + if ( dwt->get_name() != "" ) { + if ( LinkageSpec::isDecoratable( dwt->get_linkage() ) ) { + dwt->set_mangleName( SymTab::Mangler::mangle( dwt ) ); + } // if + } // if + } -void -fixDWT( DeclarationWithType *dwt ) -{ - if ( dwt->get_name() != "" ) { - if ( LinkageSpec::isDecoratable( dwt->get_linkage() ) ) { - dwt->set_mangleName( SymTab::Mangler::mangle( dwt ) ); - } - } -} + void FixNames::visit( ObjectDecl *objectDecl ) { + Visitor::visit( objectDecl ); + fixDWT( objectDecl ); + } -void -FixNames::visit( ObjectDecl *objectDecl ) -{ - Visitor::visit( objectDecl ); - fixDWT( objectDecl ); -} + void FixNames::visit( FunctionDecl *functionDecl ) { + Visitor::visit( functionDecl ); + fixDWT( functionDecl ); + } +} // namespace CodeGen -void -FixNames::visit( FunctionDecl *functionDecl ) -{ - Visitor::visit( functionDecl ); - fixDWT( functionDecl ); -} - -} // namespace CodeGen +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/CodeGen/FixNames.h =================================================================== --- translator/CodeGen/FixNames.h (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/CodeGen/FixNames.h (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,8 +1,16 @@ -/* - * This file is part of the Cforall project - * - * $Id: FixNames.h,v 1.2 2005/08/29 20:14:12 rcbilson Exp $ - * - */ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// FixNames.h -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : Peter A. Buhr +// Last Modified On : Mon May 18 23:37:32 2015 +// Update Count : 2 +// #ifndef FIXNAMES_H @@ -12,8 +20,12 @@ namespace CodeGen { - -void fixNames( std::list< Declaration* > translationUnit ); - + void fixNames( std::list< Declaration* > translationUnit ); } // namespace CodeGen -#endif /* #ifndef FIXNAMES_H */ +#endif // FIXNAMES_H + +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/CodeGen/GenType.cc =================================================================== --- translator/CodeGen/GenType.cc (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/CodeGen/GenType.cc (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,17 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// GenType.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : Peter A. Buhr +// Last Modified On : Mon May 18 23:38:22 2015 +// Update Count : 2 +// + #include #include @@ -9,181 +24,187 @@ namespace CodeGen { - class GenType : public Visitor { - public: - GenType( const std::string &typeString ); - std::string get_typeString() const { return typeString; } - void set_typeString( const std::string &newValue ) { typeString = newValue; } - - virtual void visit( FunctionType *funcType ); - virtual void visit( VoidType *voidType ); - virtual void visit( BasicType *basicType ); - virtual void visit( PointerType *pointerType ); - virtual void visit( ArrayType *arrayType ); - virtual void visit( StructInstType *structInst ); - virtual void visit( UnionInstType *unionInst ); - virtual void visit( EnumInstType *enumInst ); - virtual void visit( TypeInstType *typeInst ); - - private: - void handleQualifiers( Type *type ); - void genArray( const Type::Qualifiers &qualifiers, Type *base, Expression *dimension, bool isVarLen, bool isStatic ); - - std::string typeString; - }; - - std::string genType( Type *type, const std::string &baseString ) { - GenType gt( baseString ); - type->accept( gt ); - return gt.get_typeString(); - } - - GenType::GenType( const std::string &typeString ) : typeString( typeString ) {} - - void GenType::visit( VoidType *voidType ) { - typeString = "void " + typeString; - handleQualifiers( voidType ); - } - - void GenType::visit( BasicType *basicType ) { - BasicType::Kind kind = basicType->get_kind(); - assert( 0 <= kind && kind < BasicType::NUMBER_OF_BASIC_TYPES ); - typeString = std::string( BasicType::typeNames[kind] ) + " " + typeString; - handleQualifiers( basicType ); - } - - void GenType::genArray( const Type::Qualifiers &qualifiers, Type *base, Expression *dimension, bool isVarLen, bool isStatic ) { - std::ostrstream os; - if ( typeString != "" ) { - if ( typeString[ 0 ] == '*' ) { - os << "(" << typeString << ")"; - } else { - os << typeString; - } // if - } // if - os << "["; - - if ( isStatic ) { - os << "static "; - } // if - if ( qualifiers.isConst ) { - os << "const "; - } // if - if ( qualifiers.isVolatile ) { - os << "volatile "; - } // if - if ( qualifiers.isRestrict ) { - os << "__restrict "; - } // if - if ( qualifiers.isAtomic ) { - os << "_Atomic "; - } // if - if ( isVarLen ) { - os << "*"; - } // if - if ( dimension != 0 ) { - CodeGenerator2 cg( os ); - dimension->accept( cg ); - } // if - os << "]"; - - typeString = std::string( os.str(), os.pcount() ); - - base->accept( *this ); - } - - void GenType::visit( PointerType *pointerType ) { - assert( pointerType->get_base() != 0); - if ( pointerType->get_isStatic() || pointerType->get_isVarLen() || pointerType->get_dimension() ) { - genArray( pointerType->get_qualifiers(), pointerType->get_base(), pointerType->get_dimension(), pointerType->get_isVarLen(), pointerType->get_isStatic() ); - } else { - handleQualifiers( pointerType ); - if ( typeString[ 0 ] == '?' ) { - typeString = "* " + typeString; - } else { - typeString = "*" + typeString; - } // if - pointerType->get_base()->accept( *this ); - } // if - } - - void GenType::visit( ArrayType *arrayType ){ - genArray( arrayType->get_qualifiers(), arrayType->get_base(), arrayType->get_dimension(), arrayType->get_isVarLen(), arrayType->get_isStatic() ); - } - - void GenType::visit( FunctionType *funcType ) { - std::ostrstream os; - - if ( typeString != "" ) { - if ( typeString[ 0 ] == '*' ) { - os << "(" << typeString << ")"; - } else { - os << typeString; - } // if - } // if - - /************* parameters ***************/ - - const std::list &pars = funcType->get_parameters(); - - if ( pars.empty() ) { - if ( funcType->get_isVarArgs() ) { - os << "()"; - } else { - os << "(void)"; - } // if - } else { - CodeGenerator2 cg( os ); - os << "(" ; - - cg.genCommaList( pars.begin(), pars.end() ); - - if ( funcType->get_isVarArgs() ){ - os << ", ..."; - } // if - os << ")"; - } // if - - typeString = std::string( os.str(), os.pcount() ); - - if ( funcType->get_returnVals().size() == 0 ) { - typeString = "void " + typeString; - } else { - funcType->get_returnVals().front()->get_type()->accept( *this ); - } // if - } - - void GenType::visit( StructInstType *structInst ) { - typeString = "struct " + structInst->get_name() + " " + typeString; - handleQualifiers( structInst ); - } - - void GenType::visit( UnionInstType *unionInst ) { - typeString = "union " + unionInst->get_name() + " " + typeString; - handleQualifiers( unionInst ); - } - - void GenType::visit( EnumInstType *enumInst ) { - typeString = "enum " + enumInst->get_name() + " " + typeString; - handleQualifiers( enumInst ); - } - - void GenType::visit( TypeInstType *typeInst ) { - typeString = typeInst->get_name() + " " + typeString; - handleQualifiers( typeInst ); - } - - void GenType::handleQualifiers( Type *type ) { - if ( type->get_isConst() ) { - typeString = "const " + typeString; - } // if - if ( type->get_isVolatile() ) { - typeString = "volatile " + typeString; - } // if - if ( type->get_isRestrict() ) { - typeString = "__restrict " + typeString; - } // if - if ( type->get_isAtomic() ) { - typeString = "_Atomic " + typeString; - } // if - } + class GenType : public Visitor { + public: + GenType( const std::string &typeString ); + std::string get_typeString() const { return typeString; } + void set_typeString( const std::string &newValue ) { typeString = newValue; } + + virtual void visit( FunctionType *funcType ); + virtual void visit( VoidType *voidType ); + virtual void visit( BasicType *basicType ); + virtual void visit( PointerType *pointerType ); + virtual void visit( ArrayType *arrayType ); + virtual void visit( StructInstType *structInst ); + virtual void visit( UnionInstType *unionInst ); + virtual void visit( EnumInstType *enumInst ); + virtual void visit( TypeInstType *typeInst ); + + private: + void handleQualifiers( Type *type ); + void genArray( const Type::Qualifiers &qualifiers, Type *base, Expression *dimension, bool isVarLen, bool isStatic ); + + std::string typeString; + }; + + std::string genType( Type *type, const std::string &baseString ) { + GenType gt( baseString ); + type->accept( gt ); + return gt.get_typeString(); + } + + GenType::GenType( const std::string &typeString ) : typeString( typeString ) {} + + void GenType::visit( VoidType *voidType ) { + typeString = "void " + typeString; + handleQualifiers( voidType ); + } + + void GenType::visit( BasicType *basicType ) { + BasicType::Kind kind = basicType->get_kind(); + assert( 0 <= kind && kind < BasicType::NUMBER_OF_BASIC_TYPES ); + typeString = std::string( BasicType::typeNames[kind] ) + " " + typeString; + handleQualifiers( basicType ); + } + + void GenType::genArray( const Type::Qualifiers &qualifiers, Type *base, Expression *dimension, bool isVarLen, bool isStatic ) { + std::ostrstream os; + if ( typeString != "" ) { + if ( typeString[ 0 ] == '*' ) { + os << "(" << typeString << ")"; + } else { + os << typeString; + } // if + } // if + os << "["; + + if ( isStatic ) { + os << "static "; + } // if + if ( qualifiers.isConst ) { + os << "const "; + } // if + if ( qualifiers.isVolatile ) { + os << "volatile "; + } // if + if ( qualifiers.isRestrict ) { + os << "__restrict "; + } // if + if ( qualifiers.isAtomic ) { + os << "_Atomic "; + } // if + if ( isVarLen ) { + os << "*"; + } // if + if ( dimension != 0 ) { + CodeGenerator2 cg( os ); + dimension->accept( cg ); + } // if + os << "]"; + + typeString = std::string( os.str(), os.pcount() ); + + base->accept( *this ); + } + + void GenType::visit( PointerType *pointerType ) { + assert( pointerType->get_base() != 0); + if ( pointerType->get_isStatic() || pointerType->get_isVarLen() || pointerType->get_dimension() ) { + genArray( pointerType->get_qualifiers(), pointerType->get_base(), pointerType->get_dimension(), pointerType->get_isVarLen(), pointerType->get_isStatic() ); + } else { + handleQualifiers( pointerType ); + if ( typeString[ 0 ] == '?' ) { + typeString = "* " + typeString; + } else { + typeString = "*" + typeString; + } // if + pointerType->get_base()->accept( *this ); + } // if + } + + void GenType::visit( ArrayType *arrayType ){ + genArray( arrayType->get_qualifiers(), arrayType->get_base(), arrayType->get_dimension(), arrayType->get_isVarLen(), arrayType->get_isStatic() ); + } + + void GenType::visit( FunctionType *funcType ) { + std::ostrstream os; + + if ( typeString != "" ) { + if ( typeString[ 0 ] == '*' ) { + os << "(" << typeString << ")"; + } else { + os << typeString; + } // if + } // if + + /************* parameters ***************/ + + const std::list &pars = funcType->get_parameters(); + + if ( pars.empty() ) { + if ( funcType->get_isVarArgs() ) { + os << "()"; + } else { + os << "(void)"; + } // if + } else { + CodeGenerator2 cg( os ); + os << "(" ; + + cg.genCommaList( pars.begin(), pars.end() ); + + if ( funcType->get_isVarArgs() ){ + os << ", ..."; + } // if + os << ")"; + } // if + + typeString = std::string( os.str(), os.pcount() ); + + if ( funcType->get_returnVals().size() == 0 ) { + typeString = "void " + typeString; + } else { + funcType->get_returnVals().front()->get_type()->accept( *this ); + } // if + } + + void GenType::visit( StructInstType *structInst ) { + typeString = "struct " + structInst->get_name() + " " + typeString; + handleQualifiers( structInst ); + } + + void GenType::visit( UnionInstType *unionInst ) { + typeString = "union " + unionInst->get_name() + " " + typeString; + handleQualifiers( unionInst ); + } + + void GenType::visit( EnumInstType *enumInst ) { + typeString = "enum " + enumInst->get_name() + " " + typeString; + handleQualifiers( enumInst ); + } + + void GenType::visit( TypeInstType *typeInst ) { + typeString = typeInst->get_name() + " " + typeString; + handleQualifiers( typeInst ); + } + + void GenType::handleQualifiers( Type *type ) { + if ( type->get_isConst() ) { + typeString = "const " + typeString; + } // if + if ( type->get_isVolatile() ) { + typeString = "volatile " + typeString; + } // if + if ( type->get_isRestrict() ) { + typeString = "__restrict " + typeString; + } // if + if ( type->get_isAtomic() ) { + typeString = "_Atomic " + typeString; + } // if + } } // namespace CodeGen + +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/CodeGen/GenType.h =================================================================== --- translator/CodeGen/GenType.h (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/CodeGen/GenType.h (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,4 +1,19 @@ -#ifndef CODEGEN_GENTYPE_H -#define CODEGEN_GENTYPE_H +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// GenType.h -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : Peter A. Buhr +// Last Modified On : Mon May 18 23:38:53 2015 +// Update Count : 1 +// + +#ifndef _GENTYPE_H +#define _GENTYPE_H #include @@ -6,6 +21,12 @@ namespace CodeGen { - std::string genType( Type *type, const std::string &baseString ); + std::string genType( Type *type, const std::string &baseString ); } // namespace CodeGen -#endif // CODEGEN_GENTYPE_H +#endif // _GENTYPE_H + +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/CodeGen/Generate.cc =================================================================== --- translator/CodeGen/Generate.cc (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/CodeGen/Generate.cc (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,17 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// Generate.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : Peter A. Buhr +// Last Modified On : Mon May 18 23:39:24 2015 +// Update Count : 1 +// + #include #include @@ -12,17 +27,23 @@ namespace CodeGen { - void generate( std::list< Declaration* > translationUnit, std::ostream &os, bool doIntrinsics ) { - CodeGen::CodeGenerator2 cgv( os ); + void generate( std::list< Declaration* > translationUnit, std::ostream &os, bool doIntrinsics ) { + CodeGen::CodeGenerator2 cgv( os ); - for ( std::list::iterator i = translationUnit.begin(); i != translationUnit.end(); i++ ) { - if ( LinkageSpec::isGeneratable( (*i)->get_linkage() ) && (doIntrinsics || ! LinkageSpec::isBuiltin( (*i)->get_linkage() ) ) ) { - (*i)->accept(cgv); - cgv.shift_left(); - if ( doSemicolon( *i ) ) { - os << ";"; - } // if - os << std::endl; - } // if - } // for - } + for ( std::list::iterator i = translationUnit.begin(); i != translationUnit.end(); i++ ) { + if ( LinkageSpec::isGeneratable( (*i)->get_linkage() ) && (doIntrinsics || ! LinkageSpec::isBuiltin( (*i)->get_linkage() ) ) ) { + (*i)->accept(cgv); + cgv.shift_left(); + if ( doSemicolon( *i ) ) { + os << ";"; + } // if + os << std::endl; + } // if + } // for + } } // namespace CodeGen + +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/CodeGen/Generate.h =================================================================== --- translator/CodeGen/Generate.h (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/CodeGen/Generate.h (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,17 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// Generate.h -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : Peter A. Buhr +// Last Modified On : Mon May 18 23:39:51 2015 +// Update Count : 1 +// + #ifndef GENERATE_H #define GENERATE_H @@ -8,8 +23,12 @@ namespace CodeGen { - - void generate( std::list< Declaration* > translationUnit, std::ostream &os, bool doIntrinsics ); - + void generate( std::list< Declaration* > translationUnit, std::ostream &os, bool doIntrinsics ); } // namespace CodeGen -#endif /* #ifndef GENERATE_H */ +#endif // GENERATE_H + +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/CodeGen/OperatorTable.cc =================================================================== --- translator/CodeGen/OperatorTable.cc (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/CodeGen/OperatorTable.cc (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,89 +1,94 @@ -/* - * This file is part of the Cforall project - * - * $Id: OperatorTable.cc,v 1.6 2003/01/19 04:19:31 rcbilson Exp $ - * - */ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// OperatorTable.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : Peter A. Buhr +// Last Modified On : Mon May 18 23:42:07 2015 +// Update Count : 2 +// #include - #include "OperatorTable.h" namespace CodeGen { + namespace { + const OperatorInfo tableValues[] = { + { "?[?]", "", "_operator_index", OT_INDEX }, + { "?()", "", "_operator_call", OT_CALL }, + { "?++", "++", "_operator_postincr", OT_POSTFIXASSIGN }, + { "?--", "--", "_operator_postdecr", OT_POSTFIXASSIGN }, + { "*?", "*", "_operator_deref", OT_PREFIX }, + { "+?", "+", "_operator_unaryplus", OT_PREFIX }, + { "-?", "-", "_operator_unaryminus", OT_PREFIX }, + { "~?", "~", "_operator_bitnot", OT_PREFIX }, + { "!?", "!", "_operator_lognot", OT_PREFIX }, + { "++?", "++", "_operator_preincr", OT_PREFIXASSIGN }, + { "--?", "--", "_operator_predecr", OT_PREFIXASSIGN }, + { "?*?", "*", "_operator_multiply", OT_INFIX }, + { "?/?", "/", "_operator_divide", OT_INFIX }, + { "?%?", "%", "_operator_modulus", OT_INFIX }, + { "?+?", "+", "_operator_add", OT_INFIX }, + { "?-?", "-", "_operator_subtract", OT_INFIX }, + { "?<>?", ">>", "_operator_shiftright", OT_INFIX }, + { "??", ">", "_operator_greater", OT_INFIX }, + { "?<=?", "<=", "_operator_lessequal", OT_INFIX }, + { "?>=?", ">=", "_operator_greaterequal", OT_INFIX }, + { "?==?", "==", "_operator_equal", OT_INFIX }, + { "?!=?", "!=", "_operator_notequal", OT_INFIX }, + { "?&?", "&", "_operator_bitand", OT_INFIX }, + { "?^?", "^", "_operator_bitxor", OT_INFIX }, + { "?|?", "|", "_operator_bitor", OT_INFIX }, + { "?=?", "=", "_operator_assign", OT_INFIXASSIGN }, + { "?*=?", "*=", "_operator_multassign", OT_INFIXASSIGN }, + { "?/=?", "/=", "_operator_divassign", OT_INFIXASSIGN }, + { "?%=?", "%=", "_operator_modassign", OT_INFIXASSIGN }, + { "?+=?", "+=", "_operator_addassign", OT_INFIXASSIGN }, + { "?-=?", "-=", "_operator_subassign", OT_INFIXASSIGN }, + { "?<<=?", "<<=", "_operator_shiftleftassign", OT_INFIXASSIGN }, + { "?>>=?", ">>=", "_operator_shiftrightassign", OT_INFIXASSIGN }, + { "?&=?", "&=", "_operator_bitandassign", OT_INFIXASSIGN }, + { "?^=?", "^=", "_operator_bitxorassign", OT_INFIXASSIGN }, + { "?|=?", "|=", "_operator_bitorassign", OT_INFIXASSIGN }, + { "0", "0", "_constant_zero", OT_CONSTANT }, + { "1", "1", "_constant_one", OT_CONSTANT } + }; -namespace { + const int numOps = sizeof( tableValues ) / sizeof( OperatorInfo ); -const OperatorInfo tableValues[] = { -{ "?[?]", "", "_operator_index", OT_INDEX }, -{ "?()", "", "_operator_call", OT_CALL }, -{ "?++", "++", "_operator_postincr", OT_POSTFIXASSIGN }, -{ "?--", "--", "_operator_postdecr", OT_POSTFIXASSIGN }, -{ "*?", "*", "_operator_deref", OT_PREFIX }, -{ "+?", "+", "_operator_unaryplus", OT_PREFIX }, -{ "-?", "-", "_operator_unaryminus", OT_PREFIX }, -{ "~?", "~", "_operator_bitnot", OT_PREFIX }, -{ "!?", "!", "_operator_lognot", OT_PREFIX }, -{ "++?", "++", "_operator_preincr", OT_PREFIXASSIGN }, -{ "--?", "--", "_operator_predecr", OT_PREFIXASSIGN }, -{ "?*?", "*", "_operator_multiply", OT_INFIX }, -{ "?/?", "/", "_operator_divide", OT_INFIX }, -{ "?%?", "%", "_operator_modulus", OT_INFIX }, -{ "?+?", "+", "_operator_add", OT_INFIX }, -{ "?-?", "-", "_operator_subtract", OT_INFIX }, -{ "?<>?", ">>", "_operator_shiftright", OT_INFIX }, -{ "??", ">", "_operator_greater", OT_INFIX }, -{ "?<=?", "<=", "_operator_lessequal", OT_INFIX }, -{ "?>=?", ">=", "_operator_greaterequal", OT_INFIX }, -{ "?==?", "==", "_operator_equal", OT_INFIX }, -{ "?!=?", "!=", "_operator_notequal", OT_INFIX }, -{ "?&?", "&", "_operator_bitand", OT_INFIX }, -{ "?^?", "^", "_operator_bitxor", OT_INFIX }, -{ "?|?", "|", "_operator_bitor", OT_INFIX }, -{ "?=?", "=", "_operator_assign", OT_INFIXASSIGN }, -{ "?*=?", "*=", "_operator_multassign", OT_INFIXASSIGN }, -{ "?/=?", "/=", "_operator_divassign", OT_INFIXASSIGN }, -{ "?%=?", "%=", "_operator_modassign", OT_INFIXASSIGN }, -{ "?+=?", "+=", "_operator_addassign", OT_INFIXASSIGN }, -{ "?-=?", "-=", "_operator_subassign", OT_INFIXASSIGN }, -{ "?<<=?", "<<=", "_operator_shiftleftassign", OT_INFIXASSIGN }, -{ "?>>=?", ">>=", "_operator_shiftrightassign", OT_INFIXASSIGN }, -{ "?&=?", "&=", "_operator_bitandassign", OT_INFIXASSIGN }, -{ "?^=?", "^=", "_operator_bitxorassign", OT_INFIXASSIGN }, -{ "?|=?", "|=", "_operator_bitorassign", OT_INFIXASSIGN }, -{ "0", "0", "_constant_zero", OT_CONSTANT }, -{ "1", "1", "_constant_one", OT_CONSTANT } -}; + std::map< std::string, OperatorInfo > table; -const int numOps = sizeof( tableValues ) / sizeof( OperatorInfo ); + void initialize() { + for ( int i = 0; i < numOps; ++i ) { + table[ tableValues[i].inputName ] = tableValues[i]; + } // for + } + } // namespace -std::map< std::string, OperatorInfo > table; + bool operatorLookup( std::string funcName, OperatorInfo &info ) { + static bool init = false; + if ( ! init ) { + initialize(); + } // if + std::map< std::string, OperatorInfo >::const_iterator i = table.find( funcName ); + if ( i == table.end() ) { + return false; + } else { + info = i->second; + return true; + } // if + } +} // namespace CodeGen -void -initialize() -{ - for ( int i = 0; i < numOps; ++i ) { - table[ tableValues[i].inputName ] = tableValues[i]; - } -} - -} // namespace - -bool -operatorLookup( std::string funcName, OperatorInfo &info ) -{ - static bool init = false; - if ( ! init ) { - initialize(); - } - std::map< std::string, OperatorInfo >::const_iterator i = table.find( funcName ); - if ( i == table.end() ) { - return false; - } else { - info = i->second; - return true; - } -} - -} // namespace CodeGen +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/CodeGen/OperatorTable.h =================================================================== --- translator/CodeGen/OperatorTable.h (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/CodeGen/OperatorTable.h (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,40 +1,50 @@ -/* - * This file is part of the Cforall project - * - * $Id: OperatorTable.h,v 1.4 2003/01/19 04:19:31 rcbilson Exp $ - * - */ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// OperatorTable.h -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : Peter A. Buhr +// Last Modified On : Mon May 18 23:43:07 2015 +// Update Count : 2 +// -#ifndef CODEGEN_OPERATORTABLE_H -#define CODEGEN_OPERATORTABLE_H +#ifndef _OPERATORTABLE_H +#define _OPERATORTABLE_H #include namespace CodeGen { + enum OperatorType { + OT_INDEX, + OT_CALL, + OT_PREFIX, + OT_POSTFIX, + OT_INFIX, + OT_PREFIXASSIGN, + OT_POSTFIXASSIGN, + OT_INFIXASSIGN, + OT_CONSTANT + }; -enum OperatorType -{ - OT_INDEX, - OT_CALL, - OT_PREFIX, - OT_POSTFIX, - OT_INFIX, - OT_PREFIXASSIGN, - OT_POSTFIXASSIGN, - OT_INFIXASSIGN, - OT_CONSTANT -}; + struct OperatorInfo { + std::string inputName; + std::string symbol; + std::string outputName; + OperatorType type; + }; -struct OperatorInfo -{ - std::string inputName; - std::string symbol; - std::string outputName; - OperatorType type; -}; - -bool operatorLookup( std::string funcName, OperatorInfo &info ); - + bool operatorLookup( std::string funcName, OperatorInfo &info ); } // namespace CodeGen -#endif /* #ifndef CODEGEN_OPERATORTABLE_H */ +#endif // _OPERATORTABLE_H + +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/Common/CompilerError.h =================================================================== --- translator/Common/CompilerError.h (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/Common/CompilerError.h (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// #ifndef COMPILER_ERROR_H #define COMPILER_ERROR_H @@ -26,2 +40,7 @@ End: */ +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/Common/SemanticError.cc =================================================================== --- translator/Common/SemanticError.cc (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/Common/SemanticError.cc (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// /* * This file is part of the Cforall project @@ -40,2 +54,7 @@ std::copy( errors.begin(), errors.end(), std::ostream_iterator< std::string >( os, "\n" ) ); } +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/Common/SemanticError.h =================================================================== --- translator/Common/SemanticError.h (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/Common/SemanticError.h (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// /* * This file is part of the Cforall project @@ -44,2 +58,7 @@ #endif /* SEMANTICERROR_H */ +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/Common/UnimplementedError.h =================================================================== --- translator/Common/UnimplementedError.h (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/Common/UnimplementedError.h (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// /* * This file is part of the Cforall project @@ -26,2 +40,7 @@ #endif /* #ifndef COMMON_UNIMPLEMENTEDERROR_H */ +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/Common/UniqueName.cc =================================================================== --- translator/Common/UniqueName.cc (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/Common/UniqueName.cc (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// /* * This file is part of the Cforall project @@ -24,2 +38,7 @@ } +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/Common/UniqueName.h =================================================================== --- translator/Common/UniqueName.h (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/Common/UniqueName.h (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// /* * This file is part of the Cforall project @@ -24,2 +38,7 @@ #endif /* #ifndef UNIQUENAME_H */ +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/Common/utility.h =================================================================== --- translator/Common/utility.h (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/Common/utility.h (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// /* * This file is part of the Cforall project @@ -217,2 +231,7 @@ End: */ +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/ControlStruct/CaseRangeMutator.cc =================================================================== --- translator/ControlStruct/CaseRangeMutator.cc (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/ControlStruct/CaseRangeMutator.cc (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// #include #include @@ -180,2 +194,7 @@ } } // namespace ControlStruct +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/ControlStruct/CaseRangeMutator.h =================================================================== --- translator/ControlStruct/CaseRangeMutator.h (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/ControlStruct/CaseRangeMutator.h (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// #ifndef CASERNG_MUTATOR_H #define CASERNG_MUTATOR_H @@ -31,2 +45,7 @@ End: */ +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/ControlStruct/ChooseMutator.cc =================================================================== --- translator/ControlStruct/ChooseMutator.cc (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/ControlStruct/ChooseMutator.cc (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// #include @@ -44,2 +58,7 @@ } } // namespace ControlStruct +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/ControlStruct/ChooseMutator.h =================================================================== --- translator/ControlStruct/ChooseMutator.h (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/ControlStruct/ChooseMutator.h (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// #ifndef CHOOSE_MUTATOR_H #define CHOOSE_MUTATOR_H @@ -28,2 +42,7 @@ End: */ +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/ControlStruct/ForExprMutator.cc =================================================================== --- translator/ControlStruct/ForExprMutator.cc (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/ControlStruct/ForExprMutator.cc (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// #include "SynTree/Mutator.h" #include "SynTree/Statement.h" @@ -22,2 +36,7 @@ } } // namespace ControlStruct +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/ControlStruct/ForExprMutator.h =================================================================== --- translator/ControlStruct/ForExprMutator.h (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/ControlStruct/ForExprMutator.h (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// #ifndef FOR_MUTATOR_H #define FOR_MUTATOR_H @@ -20,2 +34,7 @@ End: */ +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/ControlStruct/LabelFixer.cc =================================================================== --- translator/ControlStruct/LabelFixer.cc (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/ControlStruct/LabelFixer.cc (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// #include #include @@ -127,2 +141,7 @@ } } // namespace ControlStruct +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/ControlStruct/LabelFixer.h =================================================================== --- translator/ControlStruct/LabelFixer.h (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/ControlStruct/LabelFixer.h (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// #ifndef LABEL_FIXER_H #define LABEL_FIXER_H @@ -80,2 +94,7 @@ End: */ +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/ControlStruct/LabelGenerator.cc =================================================================== --- translator/ControlStruct/LabelGenerator.cc (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/ControlStruct/LabelGenerator.cc (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// #include #include @@ -22,2 +36,7 @@ } } // namespace ControlStruct +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/ControlStruct/LabelGenerator.h =================================================================== --- translator/ControlStruct/LabelGenerator.h (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/ControlStruct/LabelGenerator.h (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// #ifndef LABEL_GENERATOR_H #define LABEL_GENERATOR_H @@ -26,2 +40,7 @@ End: */ +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/ControlStruct/LabelTypeChecker.cc =================================================================== --- translator/ControlStruct/LabelTypeChecker.cc (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/ControlStruct/LabelTypeChecker.cc (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// #include #include @@ -65,2 +79,7 @@ } } // namespace ControlStruct +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/ControlStruct/LabelTypeChecker.h =================================================================== --- translator/ControlStruct/LabelTypeChecker.h (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/ControlStruct/LabelTypeChecker.h (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// #ifndef LABEL_TYPE_H #define LABEL_TYPE_H @@ -32,2 +46,7 @@ +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/ControlStruct/MLEMutator.cc =================================================================== --- translator/ControlStruct/MLEMutator.cc (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/ControlStruct/MLEMutator.cc (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// #include #include @@ -192,2 +206,7 @@ } } // namespace ControlStruct +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/ControlStruct/MLEMutator.h =================================================================== --- translator/ControlStruct/MLEMutator.h (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/ControlStruct/MLEMutator.h (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// #ifndef MLE_MUTATOR_H #define MLE_MUTATOR_H @@ -71,2 +85,7 @@ End: */ +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/ControlStruct/Mutate.cc =================================================================== --- translator/ControlStruct/Mutate.cc (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/ControlStruct/Mutate.cc (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// #include #include @@ -36,2 +50,7 @@ } } // namespace CodeGen +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/ControlStruct/Mutate.h =================================================================== --- translator/ControlStruct/Mutate.h (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/ControlStruct/Mutate.h (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// #ifndef CTRLS_MUTATE_H #define CTRLS_MUTATE_H @@ -18,2 +32,7 @@ End: */ +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/Designators/Processor.cc =================================================================== --- translator/Designators/Processor.cc (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/Designators/Processor.cc (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// #include #include @@ -146,2 +160,7 @@ #endif // 0 } // namespaces Designators +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/Designators/Processor.h =================================================================== --- translator/Designators/Processor.h (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/Designators/Processor.h (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// #include "SynTree/Declaration.h" #include "SynTree/Expression.h" @@ -63,2 +77,7 @@ End: */ +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/GenPoly/Box.cc =================================================================== --- translator/GenPoly/Box.cc (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/GenPoly/Box.cc (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// /* * This file is part of the Cforall project @@ -1073,2 +1087,7 @@ } // namespace GenPoly +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/GenPoly/Box.h =================================================================== --- translator/GenPoly/Box.h (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/GenPoly/Box.h (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// /* * This file is part of the Cforall project @@ -20,2 +34,7 @@ #endif /* #ifndef GENPOLY_BOX_H */ +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/GenPoly/CopyParams.cc =================================================================== --- translator/GenPoly/CopyParams.cc (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/GenPoly/CopyParams.cc (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// #include #include @@ -83,2 +97,7 @@ } } // namespace GenPoly +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/GenPoly/CopyParams.h =================================================================== --- translator/GenPoly/CopyParams.h (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/GenPoly/CopyParams.h (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// /* * This file is part of the Cforall project @@ -18,2 +32,7 @@ #endif /* #ifndef GENPOLY_COPYPARAMS_H */ +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/GenPoly/FindFunction.cc =================================================================== --- translator/GenPoly/FindFunction.cc (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/GenPoly/FindFunction.cc (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// /* * This file is part of the Cforall project @@ -88,2 +102,7 @@ } // namespace GenPoly +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/GenPoly/FindFunction.h =================================================================== --- translator/GenPoly/FindFunction.h (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/GenPoly/FindFunction.h (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// /* * This file is part of the Cforall project @@ -22,2 +36,7 @@ #endif /* #ifndef FINDFUNCTION_H */ +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/GenPoly/GenPoly.cc =================================================================== --- translator/GenPoly/GenPoly.cc (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/GenPoly/GenPoly.cc (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// /* * This file is part of the Cforall project @@ -63,2 +77,7 @@ } // namespace GenPoly +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/GenPoly/GenPoly.h =================================================================== --- translator/GenPoly/GenPoly.h (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/GenPoly/GenPoly.h (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// /* * This file is part of the Cforall project @@ -31,2 +45,7 @@ #endif +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/GenPoly/Lvalue.cc =================================================================== --- translator/GenPoly/Lvalue.cc (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/GenPoly/Lvalue.cc (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// /* * This file is part of the Cforall project @@ -167,2 +181,7 @@ } // namespace GenPoly +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/GenPoly/Lvalue.h =================================================================== --- translator/GenPoly/Lvalue.h (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/GenPoly/Lvalue.h (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// /* * This file is part of the Cforall project @@ -20,2 +34,7 @@ #endif /* #ifndef GENPOLY_LVALUE_H */ +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/GenPoly/PolyMutator.cc =================================================================== --- translator/GenPoly/PolyMutator.cc (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/GenPoly/PolyMutator.cc (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// /* * This file is part of the Cforall project @@ -188,2 +202,7 @@ /* static class method */ } // namespace GenPoly +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/GenPoly/PolyMutator.h =================================================================== --- translator/GenPoly/PolyMutator.h (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/GenPoly/PolyMutator.h (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// /* * This file is part of the Cforall project @@ -59,2 +73,7 @@ #endif /* #ifndef GENPOLY_POLYMUTATOR_H */ +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/GenPoly/ScrubTyVars.cc =================================================================== --- translator/GenPoly/ScrubTyVars.cc (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/GenPoly/ScrubTyVars.cc (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// #include "GenPoly.h" #include "ScrubTyVars.h" @@ -50,2 +64,7 @@ } } // namespace GenPoly +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/GenPoly/ScrubTyVars.h =================================================================== --- translator/GenPoly/ScrubTyVars.h (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/GenPoly/ScrubTyVars.h (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// #ifndef GENPOLY_SCRUBTYVARS_H #define GENPOLY_SCRUBTYVARS_H @@ -42,2 +56,7 @@ #endif // GENPOLY_SCRUBTYVARS_H +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/GenPoly/Specialize.cc =================================================================== --- translator/GenPoly/Specialize.cc (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/GenPoly/Specialize.cc (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// /* * This file is part of the Cforall project @@ -205,2 +219,7 @@ } // namespace GenPoly +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/GenPoly/Specialize.h =================================================================== --- translator/GenPoly/Specialize.h (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/GenPoly/Specialize.h (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// /* * This file is part of the Cforall project @@ -20,2 +34,7 @@ #endif /* #ifndef GENPOLY_SPECIALIZE_H */ +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/InitTweak/Association.cc =================================================================== --- translator/InitTweak/Association.cc (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/InitTweak/Association.cc (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// #include "Association.h" @@ -8,2 +22,7 @@ const int RangeAssociation::RangeAssociation::UNDEF = -1; RangeAssociation::~RangeAssociation() {} +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/InitTweak/Association.h =================================================================== --- translator/InitTweak/Association.h (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/InitTweak/Association.h (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// #ifndef _ASSOCIATE_H_ #define _ASSOCIATE_H_ @@ -276,2 +290,7 @@ End: */ +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/InitTweak/BasicInit.cc =================================================================== --- translator/InitTweak/BasicInit.cc (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/InitTweak/BasicInit.cc (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// #include #include @@ -262,2 +276,7 @@ } // namespace InitTweak +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/InitTweak/BasicInit.h =================================================================== --- translator/InitTweak/BasicInit.h (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/InitTweak/BasicInit.h (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// #ifndef _BASINIT_H_ #define _BASINIT_H_ @@ -215,2 +229,7 @@ End: */ +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/InitTweak/DeclarationHoister.cc =================================================================== --- translator/InitTweak/DeclarationHoister.cc (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/InitTweak/DeclarationHoister.cc (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// #include #include @@ -48,2 +62,7 @@ +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/InitTweak/DeclarationHoister.h =================================================================== --- translator/InitTweak/DeclarationHoister.h (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/InitTweak/DeclarationHoister.h (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// #include "SynTree/Visitor.h" #include "SymTab/Indexer.h" @@ -18,2 +32,7 @@ End: */ +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/InitTweak/InitExpander.cc =================================================================== --- translator/InitTweak/InitExpander.cc (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/InitTweak/InitExpander.cc (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// #include #include @@ -34,2 +48,7 @@ } // namespace InitTweak +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/InitTweak/InitExpander.h =================================================================== --- translator/InitTweak/InitExpander.h (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/InitTweak/InitExpander.h (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// #ifndef _INIT_EXPANDER_H_ #define _INIT_EXPANDER_H_ @@ -65,2 +79,7 @@ End: */ +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/InitTweak/InitModel.cc =================================================================== --- translator/InitTweak/InitModel.cc (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/InitTweak/InitModel.cc (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// #include "SynTree/Constant.h" #include "InitModel.h" @@ -208,2 +222,7 @@ } // namespace InitTweak +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/InitTweak/InitModel.h =================================================================== --- translator/InitTweak/InitModel.h (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/InitTweak/InitModel.h (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// #ifndef _INITTWEAK_MODEL_H_ #define _INITTWEAK_MODEL_H_ @@ -113,2 +127,7 @@ End: */ +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/InitTweak/Mutate.cc =================================================================== --- translator/InitTweak/Mutate.cc (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/InitTweak/Mutate.cc (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// #include "SynTree/Mutator.h" @@ -23,2 +37,7 @@ +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/InitTweak/Mutate.h =================================================================== --- translator/InitTweak/Mutate.h (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/InitTweak/Mutate.h (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// #ifndef INIT_MUTATE_H #define INIT_MUTATE_H @@ -19,2 +33,7 @@ End: */ +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/InitTweak/RemoveInit.cc =================================================================== --- translator/InitTweak/RemoveInit.cc (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/InitTweak/RemoveInit.cc (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// #include "RemoveInit.h" #include "SynTree/Declaration.h" @@ -51,2 +65,7 @@ } // namespace InitTweak +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/InitTweak/RemoveInit.h =================================================================== --- translator/InitTweak/RemoveInit.h (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/InitTweak/RemoveInit.h (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// /* * This file is part of the Cforall project @@ -33,2 +47,7 @@ #endif /* #ifndef GENPOLY_POLYMUTATOR_H */ +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/InitTweak/diet_map.h =================================================================== --- translator/InitTweak/diet_map.h (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/InitTweak/diet_map.h (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,16 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// XXX.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : +// Last Modified On : +// Update Count : 0 +// #include #include @@ -206,2 +220,7 @@ End: */ +// Local Variables: // +// tab-width: 4 // +// mode: c++ // +// compile-command: "make install" // +// End: // Index: translator/Tuples/AssignExpand.cc =================================================================== --- translator/Tuples/AssignExpand.cc (revision 0dd3a2faa6372da8704ff969a8bb37b5d340f350) +++ translator/Tuples/AssignExpand.cc (revision 51587aa493cba4720a447024fed1e9d94b78524a) @@ -1,2 +1,17 @@ +// +// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo +// +// The contents of this file are covered under the licence agreement in the +// file "LICENCE" distributed with Cforall. +// +// AssignExpand.cc -- +// +// Author : Richard C. Bilson +// Created On : Mon May 18 07:44:20 2015 +// Last Modified By : Peter A. Buhr +// Last Modified On : Mon May 18 11:24:47 2015 +// Update Count : 2 +// + #include #include @@ -14,118 +29,118 @@ namespace Tuples { - AssignExpander::AssignExpander() : temporaryNamer("__tpl") {} + AssignExpander::AssignExpander() : temporaryNamer("__tpl") {} - Statement *AssignExpander::mutate( ExprStmt *exprStmt ) { - replace.clear(); - extra.clear(); - extra2.clear(); - exprStmt->set_expr( maybeMutate( exprStmt->get_expr(), *this ) ); + Statement *AssignExpander::mutate( ExprStmt *exprStmt ) { + replace.clear(); + extra.clear(); + extra2.clear(); + exprStmt->set_expr( maybeMutate( exprStmt->get_expr(), *this ) ); - CompoundStmt *newSt = 0; - if (! extra.empty() ) { - if ( ! newSt ) - newSt= new CompoundStmt(std::list