source: src/SymTab/Autogen.h@ 6fa409e

new-env
Last change on this file since 6fa409e was 68f9c43, checked in by Aaron Moss <a3moss@…>, 8 years ago

First pass at delete removal

  • Property mode set to 100644
File size: 9.5 KB
RevLine 
[972e6f7]1//
2// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
3//
4// The contents of this file are covered under the licence agreement in the
5// file "LICENCE" distributed with Cforall.
6//
7// Autogen.h --
8//
9// Author : Rob Schluntz
10// Created On : Sun May 17 21:53:34 2015
[c0aa336]11// Last Modified By : Peter A. Buhr
[6b0b624]12// Last Modified On : Sat Jul 22 09:50:25 2017
13// Update Count : 15
[972e6f7]14//
15
[6b0b624]16#pragma once
[972e6f7]17
[30f9072]18#include <cassert> // for assert
[d180746]19#include <string> // for string
[30f9072]20
[1a5ad8c]21#include "CodeGen/OperatorTable.h"
[30f9072]22#include "Common/UniqueName.h" // for UniqueName
23#include "InitTweak/InitTweak.h" // for InitExpander
24#include "SynTree/Constant.h" // for Constant
[d180746]25#include "SynTree/Declaration.h" // for DeclarationWithType, ObjectDecl
26#include "SynTree/Expression.h" // for NameExpr, ConstantExpr, UntypedExpr...
[30f9072]27#include "SynTree/Type.h" // for Type, ArrayType, Type::Qualifiers
[972e6f7]28
[d180746]29class CompoundStmt;
30class Statement;
31
[972e6f7]32namespace SymTab {
[2be1023]33 /// Generates assignment operators, constructors, and destructor for aggregate types as required
34 void autogenerateRoutines( std::list< Declaration * > &translationUnit );
35
36 /// returns true if obj's name is the empty string and it has a bitfield width
37 bool isUnnamedBitfield( ObjectDecl * obj );
38
[5f98ce5]39 /// size_t type - set when size_t typedef is seen. Useful in a few places,
40 /// such as in determining array dimension type
41 extern Type * SizeType;
42
[4fbdfae0]43 /// intrinsic dereference operator for unqualified types - set when *? function is seen in FindSpecialDeclarations.
44 /// Useful for creating dereference ApplicationExprs without a full resolver pass.
45 extern FunctionDecl * dereferenceOperator;
46
[8404321]47 // generate the type of an assignment function for paramType
[8a6cf7e]48 FunctionType * genAssignType( Type * paramType );
49
[8404321]50 // generate the type of a default constructor or destructor for paramType
51 FunctionType * genDefaultType( Type * paramType );
52
53 // generate the type of a copy constructor for paramType
54 FunctionType * genCopyType( Type * paramType );
55
[2be1023]56 /// inserts into out a generated call expression to function fname with arguments dstParam and srcParam. Intended to be used with generated ?=?, ?{}, and ^?{} calls.
57 template< typename OutputIterator >
[b95fe40]58 Statement * genCall( InitTweak::InitExpander & srcParam, Expression * dstParam, const std::string & fname, OutputIterator out, Type * type, Type * addCast = nullptr, bool forward = true );
[2be1023]59
60 /// inserts into out a generated call expression to function fname with arguments dstParam and srcParam. Should only be called with non-array types.
[f9cebb5]61 /// optionally returns a statement which must be inserted prior to the containing loop, if there is one
[2be1023]62 template< typename OutputIterator >
[b95fe40]63 Statement * genScalarCall( InitTweak::InitExpander & srcParam, Expression * dstParam, std::string fname, OutputIterator out, Type * type, Type * addCast = nullptr ) {
[1a5ad8c]64 bool isReferenceCtorDtor = false;
65 if ( dynamic_cast< ReferenceType * >( type ) && CodeGen::isCtorDtor( fname ) ) {
66 // reference constructors are essentially application of the rebind operator.
67 // apply & to both arguments, do not need a cast
68 fname = "?=?";
69 dstParam = new AddressExpr( dstParam );
[b95fe40]70 addCast = nullptr;
[1a5ad8c]71 isReferenceCtorDtor = true;
72 }
73
[49148d5]74 // want to be able to generate assignment, ctor, and dtor generically,
75 // so fname is either ?=?, ?{}, or ^?{}
[1a5ad8c]76 UntypedExpr * fExpr = new UntypedExpr( new NameExpr( fname ) );
[49148d5]77
78 if ( addCast ) {
79 // cast to T& with qualifiers removed, so that qualified objects can be constructed
80 // and destructed with the same functions as non-qualified objects.
81 // unfortunately, lvalue is considered a qualifier. For AddressExpr to resolve, its argument
82 // must have an lvalue qualified type, so remove all qualifiers except lvalue. If we ever
83 // remove lvalue as a qualifier, this can change to
84 // type->get_qualifiers() = Type::Qualifiers();
[b95fe40]85 Type * castType = addCast->clone();
[49148d5]86 castType->get_qualifiers() -= Type::Qualifiers( Type::Lvalue | Type::Const | Type::Volatile | Type::Restrict | Type::Atomic );
87 // castType->set_lvalue( true ); // xxx - might not need this
88 dstParam = new CastExpr( dstParam, new ReferenceType( Type::Qualifiers(), castType ) );
89 }
[1a5ad8c]90 fExpr->args.push_back( dstParam );
[2be1023]91
[49148d5]92 Statement * listInit = srcParam.buildListInit( fExpr );
[39f84a4]93
[1a5ad8c]94 // fetch next set of arguments
95 ++srcParam;
96
97 // return if adding reference fails - will happen on default constructor and destructor
98 if ( isReferenceCtorDtor && ! srcParam.addReference() ) {
99 return listInit;
100 }
101
102 std::list< Expression * > args = *srcParam;
103 fExpr->args.splice( fExpr->args.end(), args );
[4d2434a]104
[ba3706f]105 *out++ = new ExprStmt( fExpr );
[4d2434a]106
[49148d5]107 srcParam.clearArrayIndices();
[f9cebb5]108
[49148d5]109 return listInit;
[2be1023]110 }
111
112 /// Store in out a loop which calls fname on each element of the array with srcParam and dstParam as arguments.
113 /// If forward is true, loop goes from 0 to N-1, else N-1 to 0
114 template< typename OutputIterator >
[b95fe40]115 void genArrayCall( InitTweak::InitExpander & srcParam, Expression *dstParam, const std::string & fname, OutputIterator out, ArrayType *array, Type * addCast = nullptr, bool forward = true ) {
[2be1023]116 static UniqueName indexName( "_index" );
117
118 // for a flexible array member nothing is done -- user must define own assignment
[b95fe40]119 if ( ! array->get_dimension() ) return;
120
121 if ( addCast ) {
122 // peel off array layer from cast
123 ArrayType * at = strict_dynamic_cast< ArrayType * >( addCast );
124 addCast = at->base;
125 }
[2be1023]126
127 Expression * begin, * end, * update, * cmp;
128 if ( forward ) {
[579263a]129 // generate: for ( int i = 0; i < N; ++i )
130 begin = new ConstantExpr( Constant::from_int( 0 ) );
[1a5ad8c]131 end = array->dimension->clone();
[2be1023]132 cmp = new NameExpr( "?<?" );
133 update = new NameExpr( "++?" );
134 } else {
135 // generate: for ( int i = N-1; i >= 0; --i )
136 begin = new UntypedExpr( new NameExpr( "?-?" ) );
[1a5ad8c]137 ((UntypedExpr*)begin)->args.push_back( array->dimension->clone() );
138 ((UntypedExpr*)begin)->args.push_back( new ConstantExpr( Constant::from_int( 1 ) ) );
[579263a]139 end = new ConstantExpr( Constant::from_int( 0 ) );
[2be1023]140 cmp = new NameExpr( "?>=?" );
141 update = new NameExpr( "--?" );
142 }
143
[e4d829b]144 ObjectDecl *index = new ObjectDecl( indexName.newName(), Type::StorageClasses(), LinkageSpec::C, 0, new BasicType( Type::Qualifiers(), BasicType::SignedInt ), new SingleInit( begin ) );
[2be1023]145
146 UntypedExpr *cond = new UntypedExpr( cmp );
[1a5ad8c]147 cond->args.push_back( new VariableExpr( index ) );
148 cond->args.push_back( end );
[2be1023]149
150 UntypedExpr *inc = new UntypedExpr( update );
[1a5ad8c]151 inc->args.push_back( new VariableExpr( index ) );
[2be1023]152
153 UntypedExpr *dstIndex = new UntypedExpr( new NameExpr( "?[?]" ) );
[1a5ad8c]154 dstIndex->args.push_back( dstParam );
155 dstIndex->args.push_back( new VariableExpr( index ) );
[2be1023]156 dstParam = dstIndex;
157
[39f84a4]158 // srcParam must keep track of the array indices to build the
159 // source parameter and/or array list initializer
[1a5ad8c]160 srcParam.addArrayIndex( new VariableExpr( index ), array->dimension->clone() );
[39f84a4]161
[2be1023]162 // for stmt's body, eventually containing call
[ba3706f]163 CompoundStmt * body = new CompoundStmt();
[1a5ad8c]164 Statement * listInit = genCall( srcParam, dstParam, fname, back_inserter( body->kids ), array->base, addCast, forward );
[2be1023]165
166 // block containing for stmt and index variable
167 std::list<Statement *> initList;
[ba3706f]168 CompoundStmt * block = new CompoundStmt();
169 block->push_back( new DeclStmt( index ) );
[f9cebb5]170 if ( listInit ) block->get_kids().push_back( listInit );
[ba3706f]171 block->push_back( new ForStmt( initList, cond, inc, body ) );
[2be1023]172
173 *out++ = block;
174 }
175
176 template< typename OutputIterator >
[b95fe40]177 Statement * genCall( InitTweak::InitExpander & srcParam, Expression * dstParam, const std::string & fname, OutputIterator out, Type * type, Type * addCast, bool forward ) {
[2be1023]178 if ( ArrayType * at = dynamic_cast< ArrayType * >( type ) ) {
[4d2434a]179 genArrayCall( srcParam, dstParam, fname, out, at, addCast, forward );
[f9cebb5]180 return 0;
[2be1023]181 } else {
[f9cebb5]182 return genScalarCall( srcParam, dstParam, fname, out, type, addCast );
[2be1023]183 }
184 }
185
186 /// inserts into out a generated call expression to function fname with arguments dstParam
187 /// and srcParam. Intended to be used with generated ?=?, ?{}, and ^?{} calls. decl is the
188 /// object being constructed. The function wraps constructor and destructor calls in an
189 /// ImplicitCtorDtorStmt node.
190 template< typename OutputIterator >
[1a5ad8c]191 void genImplicitCall( InitTweak::InitExpander & srcParam, Expression * dstParam, const std::string & fname, OutputIterator out, DeclarationWithType * decl, bool forward = true ) {
[2be1023]192 ObjectDecl *obj = dynamic_cast<ObjectDecl *>( decl );
193 assert( obj );
194 // unnamed bit fields are not copied as they cannot be accessed
195 if ( isUnnamedBitfield( obj ) ) return;
196
[b95fe40]197 Type * addCast = nullptr;
198 if ( (fname == "?{}" || fname == "^?{}") && ( !obj || ( obj && ! obj->get_bitfieldWidth() ) ) ) {
199 assert( dstParam->result );
200 addCast = dstParam->result;
201 }
[2be1023]202 std::list< Statement * > stmts;
[1a5ad8c]203 genCall( srcParam, dstParam, fname, back_inserter( stmts ), obj->type, addCast, forward );
[2be1023]204
[6cf27a07]205 // 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
206 assert( stmts.size() <= 1 );
[f9cebb5]207 if ( stmts.size() == 1 ) {
208 Statement * callStmt = stmts.front();
209 if ( addCast ) {
210 // implicitly generated ctor/dtor calls should be wrapped
211 // so that later passes are aware they were generated.
212 // xxx - don't mark as an implicit ctor/dtor if obj is a bitfield,
213 // because this causes the address to be taken at codegen, which is illegal in C.
214 callStmt = new ImplicitCtorDtorStmt( callStmt );
215 }
216 *out++ = callStmt;
217 }
[2be1023]218 }
[972e6f7]219} // namespace SymTab
[6b0b624]220
221// Local Variables: //
222// tab-width: 4 //
223// mode: c++ //
224// compile-command: "make install" //
225// End: //
226
Note: See TracBrowser for help on using the repository browser.