Changes in src/SymTab/Autogen.h [d56e5bc:6b0b624]
- File:
-
- 1 edited
-
src/SymTab/Autogen.h (modified) (4 diffs)
Legend:
- Unmodified
- Added
- Removed
-
src/SymTab/Autogen.h
rd56e5bc r6b0b624 10 10 // Created On : Sun May 17 21:53:34 2015 11 11 // Last Modified By : Peter A. Buhr 12 // Last Modified On : Wed Jun 21 17:25:26201713 // Update Count : 1 412 // Last Modified On : Sat Jul 22 09:50:25 2017 13 // Update Count : 15 14 14 // 15 15 16 #ifndef AUTOGEN_H 17 #define AUTOGEN_H 16 #pragma once 18 17 19 18 #include <string> … … 25 24 26 25 namespace SymTab { 27 /// Generates assignment operators, constructors, and destructor for aggregate types as required28 void autogenerateRoutines( std::list< Declaration * > &translationUnit );26 /// Generates assignment operators, constructors, and destructor for aggregate types as required 27 void autogenerateRoutines( std::list< Declaration * > &translationUnit ); 29 28 30 /// returns true if obj's name is the empty string and it has a bitfield width31 bool isUnnamedBitfield( ObjectDecl * obj );29 /// returns true if obj's name is the empty string and it has a bitfield width 30 bool isUnnamedBitfield( ObjectDecl * obj ); 32 31 33 /// size_t type - set when size_t typedef is seen. Useful in a few places,34 /// such as in determining array dimension type35 extern Type * SizeType;32 /// size_t type - set when size_t typedef is seen. Useful in a few places, 33 /// such as in determining array dimension type 34 extern Type * SizeType; 36 35 37 /// inserts into out a generated call expression to function fname with arguments dstParam and srcParam. Intended to be used with generated ?=?, ?{}, and ^?{} calls.38 template< typename OutputIterator >36 /// inserts into out a generated call expression to function fname with arguments dstParam and srcParam. Intended to be used with generated ?=?, ?{}, and ^?{} calls. 37 template< typename OutputIterator > 39 38 Statement * genCall( InitTweak::InitExpander & srcParam, Expression * dstParam, const std::string & fname, OutputIterator out, Type * type, bool addCast = false, bool forward = true ); 40 39 41 /// inserts into out a generated call expression to function fname with arguments dstParam and srcParam. Should only be called with non-array types.42 /// optionally returns a statement which must be inserted prior to the containing loop, if there is one43 template< typename OutputIterator >40 /// inserts into out a generated call expression to function fname with arguments dstParam and srcParam. Should only be called with non-array types. 41 /// optionally returns a statement which must be inserted prior to the containing loop, if there is one 42 template< typename OutputIterator > 44 43 Statement * genScalarCall( InitTweak::InitExpander & srcParam, Expression *dstParam, const std::string & fname, OutputIterator out, Type * type, bool addCast = false ) { 45 44 // want to be able to generate assignment, ctor, and dtor generically, … … 50 49 dstParam = new AddressExpr( dstParam ); 51 50 if ( addCast ) { 52 // cast to T* with qualifiers removed, so that qualified objects can be constructed 53 // and destructed with the same functions as non-qualified objects. 54 // unfortunately, lvalue is considered a qualifier. For AddressExpr to resolve, its argument 55 // must have an lvalue qualified type, so remove all qualifiers except lvalue. If we ever 56 // remove lvalue as a qualifier, this can change to 57 // type->get_qualifiers() = Type::Qualifiers(); 58 assert( type ); 59 Type * castType = type->clone(); 60 // castType->get_qualifiers() -= Type::Qualifiers(true, true, true, false, true, false); 61 castType->get_qualifiers() -= Type::Qualifiers( Type::Const | Type::Volatile | Type::Restrict | Type::Atomic ); 62 castType->set_lvalue( true ); // xxx - might not need this 63 dstParam = new CastExpr( dstParam, new PointerType( Type::Qualifiers(), castType ) ); 51 // cast to T* with qualifiers removed, so that qualified objects can be constructed 52 // and destructed with the same functions as non-qualified objects. 53 // unfortunately, lvalue is considered a qualifier. For AddressExpr to resolve, its argument 54 // must have an lvalue qualified type, so remove all qualifiers except lvalue. If we ever 55 // remove lvalue as a qualifier, this can change to 56 // type->get_qualifiers() = Type::Qualifiers(); 57 assert( type ); 58 Type * castType = type->clone(); 59 castType->get_qualifiers() -= Type::Qualifiers( Type::Const | Type::Volatile | Type::Restrict | Type::Atomic ); 60 castType->set_lvalue( true ); // xxx - might not need this 61 dstParam = new CastExpr( dstParam, new PointerType( Type::Qualifiers(), castType ) ); 64 62 } 65 63 fExpr->get_args().push_back( dstParam ); … … 75 73 76 74 return listInit; 77 }78 79 /// Store in out a loop which calls fname on each element of the array with srcParam and dstParam as arguments.80 /// If forward is true, loop goes from 0 to N-1, else N-1 to 081 template< typename OutputIterator >82 void genArrayCall( InitTweak::InitExpander & srcParam, Expression *dstParam, const std::string & fname, OutputIterator out, ArrayType *array, bool addCast = false, bool forward = true ) {83 static UniqueName indexName( "_index" );84 85 // for a flexible array member nothing is done -- user must define own assignment86 if ( ! array->get_dimension() ) return ;87 88 Expression * begin, * end, * update, * cmp;89 if ( forward ) {90 // generate: for ( int i = 0; i < N; ++i )91 begin = new ConstantExpr( Constant::from_int( 0 ) );92 end = array->get_dimension()->clone();93 cmp = new NameExpr( "?<?" );94 update = new NameExpr( "++?" );95 } else {96 // generate: for ( int i = N-1; i >= 0; --i )97 begin = new UntypedExpr( new NameExpr( "?-?" ) );98 ((UntypedExpr*)begin)->get_args().push_back( array->get_dimension()->clone() );99 ((UntypedExpr*)begin)->get_args().push_back( new ConstantExpr( Constant::from_int( 1 ) ) );100 end = new ConstantExpr( Constant::from_int( 0 ) );101 cmp = new NameExpr( "?>=?" );102 update = new NameExpr( "--?" );103 75 } 104 76 105 ObjectDecl *index = new ObjectDecl( indexName.newName(), Type::StorageClasses(), LinkageSpec::C, 0, new BasicType( Type::Qualifiers(), BasicType::SignedInt ), new SingleInit( begin, std::list<Expression*>() ) ); 77 /// Store in out a loop which calls fname on each element of the array with srcParam and dstParam as arguments. 78 /// If forward is true, loop goes from 0 to N-1, else N-1 to 0 79 template< typename OutputIterator > 80 void genArrayCall( InitTweak::InitExpander & srcParam, Expression *dstParam, const std::string & fname, OutputIterator out, ArrayType *array, bool addCast = false, bool forward = true ) { 81 static UniqueName indexName( "_index" ); 106 82 107 UntypedExpr *cond = new UntypedExpr( cmp ); 108 cond->get_args().push_back( new VariableExpr( index ) ); 109 cond->get_args().push_back( end ); 83 // for a flexible array member nothing is done -- user must define own assignment 84 if ( ! array->get_dimension() ) return ; 110 85 111 UntypedExpr *inc = new UntypedExpr( update ); 112 inc->get_args().push_back( new AddressExpr( new VariableExpr( index ) ) ); 86 Expression * begin, * end, * update, * cmp; 87 if ( forward ) { 88 // generate: for ( int i = 0; i < N; ++i ) 89 begin = new ConstantExpr( Constant::from_int( 0 ) ); 90 end = array->get_dimension()->clone(); 91 cmp = new NameExpr( "?<?" ); 92 update = new NameExpr( "++?" ); 93 } else { 94 // generate: for ( int i = N-1; i >= 0; --i ) 95 begin = new UntypedExpr( new NameExpr( "?-?" ) ); 96 ((UntypedExpr*)begin)->get_args().push_back( array->get_dimension()->clone() ); 97 ((UntypedExpr*)begin)->get_args().push_back( new ConstantExpr( Constant::from_int( 1 ) ) ); 98 end = new ConstantExpr( Constant::from_int( 0 ) ); 99 cmp = new NameExpr( "?>=?" ); 100 update = new NameExpr( "--?" ); 101 } 113 102 114 UntypedExpr *dstIndex = new UntypedExpr( new NameExpr( "?[?]" ) ); 115 dstIndex->get_args().push_back( dstParam ); 116 dstIndex->get_args().push_back( new VariableExpr( index ) ); 117 dstParam = dstIndex; 103 ObjectDecl *index = new ObjectDecl( indexName.newName(), Type::StorageClasses(), LinkageSpec::C, 0, new BasicType( Type::Qualifiers(), BasicType::SignedInt ), new SingleInit( begin ) ); 118 104 119 // srcParam must keep track of the array indices to build the120 // source parameter and/or array list initializer121 srcParam.addArrayIndex( new VariableExpr( index ), array->get_dimension()->clone());105 UntypedExpr *cond = new UntypedExpr( cmp ); 106 cond->get_args().push_back( new VariableExpr( index ) ); 107 cond->get_args().push_back( end ); 122 108 123 // for stmt's body, eventually containing call 124 CompoundStmt * body = new CompoundStmt( noLabels ); 125 Statement * listInit = genCall( srcParam, dstParam, fname, back_inserter( body->get_kids() ), array->get_base(), addCast, forward ); 109 UntypedExpr *inc = new UntypedExpr( update ); 110 inc->get_args().push_back( new AddressExpr( new VariableExpr( index ) ) ); 126 111 127 // block containing for stmt and index variable 128 std::list<Statement *> initList; 129 CompoundStmt * block = new CompoundStmt( noLabels ); 130 block->get_kids().push_back( new DeclStmt( noLabels, index ) ); 131 if ( listInit ) block->get_kids().push_back( listInit ); 132 block->get_kids().push_back( new ForStmt( noLabels, initList, cond, inc, body ) ); 112 UntypedExpr *dstIndex = new UntypedExpr( new NameExpr( "?[?]" ) ); 113 dstIndex->get_args().push_back( dstParam ); 114 dstIndex->get_args().push_back( new VariableExpr( index ) ); 115 dstParam = dstIndex; 133 116 134 *out++ = block; 135 } 117 // srcParam must keep track of the array indices to build the 118 // source parameter and/or array list initializer 119 srcParam.addArrayIndex( new VariableExpr( index ), array->get_dimension()->clone() ); 136 120 137 template< typename OutputIterator > 121 // for stmt's body, eventually containing call 122 CompoundStmt * body = new CompoundStmt( noLabels ); 123 Statement * listInit = genCall( srcParam, dstParam, fname, back_inserter( body->get_kids() ), array->get_base(), addCast, forward ); 124 125 // block containing for stmt and index variable 126 std::list<Statement *> initList; 127 CompoundStmt * block = new CompoundStmt( noLabels ); 128 block->get_kids().push_back( new DeclStmt( noLabels, index ) ); 129 if ( listInit ) block->get_kids().push_back( listInit ); 130 block->get_kids().push_back( new ForStmt( noLabels, initList, cond, inc, body ) ); 131 132 *out++ = block; 133 } 134 135 template< typename OutputIterator > 138 136 Statement * genCall( InitTweak::InitExpander & srcParam, Expression * dstParam, const std::string & fname, OutputIterator out, Type * type, bool addCast, bool forward ) { 139 if ( ArrayType * at = dynamic_cast< ArrayType * >( type ) ) { 140 genArrayCall( srcParam, dstParam, fname, out, at, addCast, forward ); 141 return 0; 142 } else { 143 return genScalarCall( srcParam, dstParam, fname, out, type, addCast ); 137 if ( ArrayType * at = dynamic_cast< ArrayType * >( type ) ) { 138 genArrayCall( srcParam, dstParam, fname, out, at, addCast, forward ); 139 return 0; 140 } else { 141 return genScalarCall( srcParam, dstParam, fname, out, type, addCast ); 142 } 144 143 } 145 }146 144 147 /// inserts into out a generated call expression to function fname with arguments dstParam148 /// and srcParam. Intended to be used with generated ?=?, ?{}, and ^?{} calls. decl is the149 /// object being constructed. The function wraps constructor and destructor calls in an150 /// ImplicitCtorDtorStmt node.151 template< typename OutputIterator >145 /// inserts into out a generated call expression to function fname with arguments dstParam 146 /// and srcParam. Intended to be used with generated ?=?, ?{}, and ^?{} calls. decl is the 147 /// object being constructed. The function wraps constructor and destructor calls in an 148 /// ImplicitCtorDtorStmt node. 149 template< typename OutputIterator > 152 150 void genImplicitCall( InitTweak::InitExpander & srcParam, Expression * dstParam, const std::string & fname, OutputIterator out, DeclarationWithType * decl, bool forward = true ) { 153 ObjectDecl *obj = dynamic_cast<ObjectDecl *>( decl );154 assert( obj );155 // unnamed bit fields are not copied as they cannot be accessed156 if ( isUnnamedBitfield( obj ) ) return;151 ObjectDecl *obj = dynamic_cast<ObjectDecl *>( decl ); 152 assert( obj ); 153 // unnamed bit fields are not copied as they cannot be accessed 154 if ( isUnnamedBitfield( obj ) ) return; 157 155 158 bool addCast = (fname == "?{}" || fname == "^?{}") && ( !obj || ( obj && obj->get_bitfieldWidth() == NULL ) );159 std::list< Statement * > stmts;160 genCall( srcParam, dstParam, fname, back_inserter( stmts ), obj->get_type(), addCast, forward );156 bool addCast = (fname == "?{}" || fname == "^?{}") && ( !obj || ( obj && obj->get_bitfieldWidth() == NULL ) ); 157 std::list< Statement * > stmts; 158 genCall( srcParam, dstParam, fname, back_inserter( stmts ), obj->get_type(), addCast, forward ); 161 159 162 // currently genCall should produce at most one element, but if that changes then the next line needs to be updated to grab the statement which contains the call 163 assert( stmts.size() <= 1 ); 164 if ( stmts.size() == 1 ) { 165 Statement * callStmt = stmts.front(); 166 if ( addCast ) { 167 // implicitly generated ctor/dtor calls should be wrapped 168 // so that later passes are aware they were generated. 169 // xxx - don't mark as an implicit ctor/dtor if obj is a bitfield, 170 // because this causes the address to be taken at codegen, which is illegal in C. 171 callStmt = new ImplicitCtorDtorStmt( callStmt ); 172 } 173 *out++ = callStmt; 160 // currently genCall should produce at most one element, but if that changes then the next line needs to be updated to grab the statement which contains the call 161 assert( stmts.size() <= 1 ); 162 if ( stmts.size() == 1 ) { 163 Statement * callStmt = stmts.front(); 164 if ( addCast ) { 165 // implicitly generated ctor/dtor calls should be wrapped 166 // so that later passes are aware they were generated. 167 // xxx - don't mark as an implicit ctor/dtor if obj is a bitfield, 168 // because this causes the address to be taken at codegen, which is illegal in C. 169 callStmt = new ImplicitCtorDtorStmt( callStmt ); 170 } 171 *out++ = callStmt; 172 } 174 173 } 175 }176 174 } // namespace SymTab 177 #endif // AUTOGEN_H 175 176 // Local Variables: // 177 // tab-width: 4 // 178 // mode: c++ // 179 // compile-command: "make install" // 180 // End: // 181
Note:
See TracChangeset
for help on using the changeset viewer.