source: src/SymTab/Autogen.h@ 1b0184b

Last change on this file since 1b0184b was 8913de4, checked in by Andrew Beach <ajbeach@…>, 2 years ago

Update in autogen that should help with some resolver issues and invariant checks. Some related headers were cleaned up to reduce new code files including old ones.

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