source: src/Parser/TypeData.cc @ 2298f728

aaron-thesisarm-ehcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerresolv-newwith_gc
Last change on this file since 2298f728 was 2298f728, checked in by Peter A. Buhr <pabuhr@…>, 6 years ago

more refactoring of parser code

  • Property mode set to 100644
File size: 26.5 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// TypeData.cc --
8//
9// Author           : Rodolfo G. Esteves
10// Created On       : Sat May 16 15:12:51 2015
11// Last Modified By : Peter A. Buhr
12// Last Modified On : Sat Sep 24 11:14:26 2016
13// Update Count     : 415
14//
15
16#include <cassert>
17#include <algorithm>
18#include <iterator>
19#include "Common/utility.h"
20#include "TypeData.h"
21#include "SynTree/Type.h"
22#include "SynTree/Declaration.h"
23#include "SynTree/Expression.h"
24#include "SynTree/Statement.h"
25#include "SynTree/Initializer.h"
26using namespace std;
27
28TypeData::TypeData( Kind k ) : kind( k ), base( nullptr ), forall( nullptr ) {
29        switch ( kind ) {
30          case Unknown:
31          case Pointer:
32          case EnumConstant:
33                // nothing else to initialize
34                break;
35          case Basic:
36                // basic = new Basic_t;
37                break;
38          case Array:
39                // array = new Array_t;
40                array.dimension = nullptr;
41                array.isVarLen = false;
42                array.isStatic = false;
43                break;
44          case Function:
45                // function = new Function_t;
46                function.params = nullptr;
47                function.idList = nullptr;
48                function.oldDeclList = nullptr;
49                function.body = nullptr;
50                function.hasBody = false;
51                function.newStyle = false;
52                break;
53          case Aggregate:
54                // aggregate = new Aggregate_t;
55                aggregate.name = nullptr;
56                aggregate.params = nullptr;
57                aggregate.actuals = nullptr;
58                aggregate.fields = nullptr;
59                break;
60          case AggregateInst:
61                // aggInst = new AggInst_t;
62                aggInst.aggregate = nullptr;
63                aggInst.params = nullptr;
64                break;
65          case Enum:
66                // enumeration = new Enumeration_t;
67                enumeration.name = nullptr;
68                enumeration.constants = nullptr;
69                break;
70          case Symbolic:
71          case SymbolicInst:
72                // symbolic = new Symbolic_t;
73                symbolic.name = nullptr;
74                symbolic.params = nullptr;
75                symbolic.actuals = nullptr;
76                symbolic.assertions = nullptr;
77                break;
78          case Tuple:
79                // tuple = new Tuple_t;
80                tuple = nullptr;
81                break;
82          case Typeof:
83                // typeexpr = new Typeof_t;
84                typeexpr = nullptr;
85                break;
86          case Builtin:
87                // builtin = new Builtin_t;
88                break;
89        } // switch
90} // TypeData::TypeData
91
92TypeData::~TypeData() {
93        delete base;
94        delete forall;
95
96        switch ( kind ) {
97          case Unknown:
98          case Pointer:
99          case EnumConstant:
100                // nothing to destroy
101                break;
102          case Basic:
103                // delete basic;
104                break;
105          case Array:
106                delete array.dimension;
107                // delete array;
108                break;
109          case Function:
110                delete function.params;
111                delete function.idList;
112                delete function.oldDeclList;
113                delete function.body;
114                // delete function;
115                break;
116          case Aggregate:
117                delete aggregate.name;
118                delete aggregate.params;
119                delete aggregate.actuals;
120                delete aggregate.fields;
121                // delete aggregate;
122                break;
123          case AggregateInst:
124                delete aggInst.aggregate;
125                delete aggInst.params;
126                // delete aggInst;
127                break;
128          case Enum:
129                delete enumeration.name;
130                delete enumeration.constants;
131                // delete enumeration;
132                break;
133          case Symbolic:
134          case SymbolicInst:
135                delete symbolic.name;
136                delete symbolic.params;
137                delete symbolic.actuals;
138                delete symbolic.assertions;
139                // delete symbolic;
140                break;
141          case Tuple:
142                // delete tuple->members;
143                delete tuple;
144                break;
145          case Typeof:
146                // delete typeexpr->expr;
147                delete typeexpr;
148                break;
149          case Builtin:
150                // delete builtin;
151                break;
152        } // switch
153} // TypeData::~TypeData
154
155TypeData * TypeData::clone() const {
156        TypeData * newtype = new TypeData( kind );
157        newtype->qualifiers = qualifiers;
158        newtype->base = maybeClone( base );
159        newtype->forall = maybeClone( forall );
160
161        switch ( kind ) {
162          case Unknown:
163          case EnumConstant:
164          case Pointer:
165                // nothing else to copy
166                break;
167          case Basic:
168                newtype->basictype = basictype;
169                newtype->complextype = complextype;
170                newtype->signedness = signedness;
171                newtype->length = length;
172                break;
173          case Array:
174                newtype->array.dimension = maybeClone( array.dimension );
175                newtype->array.isVarLen = array.isVarLen;
176                newtype->array.isStatic = array.isStatic;
177                break;
178          case Function:
179                newtype->function.params = maybeClone( function.params );
180                newtype->function.idList = maybeClone( function.idList );
181                newtype->function.oldDeclList = maybeClone( function.oldDeclList );
182                newtype->function.body = maybeClone( function.body );
183                newtype->function.hasBody = function.hasBody;
184                newtype->function.newStyle = function.newStyle;
185                break;
186          case Aggregate:
187                newtype->aggregate.name = aggregate.name ? new string( *aggregate.name ) : nullptr;
188                newtype->aggregate.params = maybeClone( aggregate.params );
189                newtype->aggregate.actuals = maybeClone( aggregate.actuals );
190                newtype->aggregate.fields = maybeClone( aggregate.fields );
191                newtype->aggregate.kind = aggregate.kind;
192                newtype->aggregate.body = aggregate.body;
193                break;
194          case AggregateInst:
195                newtype->aggInst.aggregate = maybeClone( aggInst.aggregate );
196                newtype->aggInst.params = maybeClone( aggInst.params );
197                break;
198          case Enum:
199                newtype->enumeration.name = enumeration.name ? new string( *enumeration.name ) : nullptr;
200                newtype->enumeration.constants = maybeClone( enumeration.constants );
201                break;
202          case Symbolic:
203          case SymbolicInst:
204                newtype->symbolic.name = symbolic.name ? new string( *symbolic.name ) : nullptr;
205                newtype->symbolic.params = maybeClone( symbolic.params );
206                newtype->symbolic.actuals = maybeClone( symbolic.actuals );
207                newtype->symbolic.assertions = maybeClone( symbolic.assertions );
208                newtype->symbolic.isTypedef = symbolic.isTypedef;
209                break;
210          case Tuple:
211                newtype->tuple = maybeClone( tuple );
212                break;
213          case Typeof:
214                newtype->typeexpr = maybeClone( typeexpr );
215                break;
216          case Builtin:
217                assert( false );
218                // newtype->builtin = builtin;
219                break;
220        } // switch
221        return newtype;
222} // TypeData::clone
223
224void TypeData::print( ostream &os, int indent ) const {
225        for ( int i = 0; i < DeclarationNode::NoQualifier; i += 1 ) {
226                if ( qualifiers[i] ) os << DeclarationNode::qualifierName[ i ] << ' ';
227        } // for
228
229        if ( forall ) {
230                os << "forall " << endl;
231                forall->printList( os, indent + 4 );
232        } // if
233
234        switch ( kind ) {
235          case Unknown:
236                os << "entity of unknown type ";
237                break;
238          case Pointer:
239                os << "pointer ";
240                if ( base ) {
241                        os << "to ";
242                        base->print( os, indent );
243                } // if
244                break;
245          case EnumConstant:
246                os << "enumeration constant ";
247                break;
248          case Basic:
249                if ( signedness != DeclarationNode::NoSignedness ) os << DeclarationNode::signednessName[ signedness ] << " ";
250                if ( length != DeclarationNode::NoLength ) os << DeclarationNode::lengthName[ length ] << " ";
251                assert( basictype != DeclarationNode::NoBasicType );
252                os << DeclarationNode::basicTypeName[ basictype ] << " ";
253                if ( complextype != DeclarationNode::NoComplexType ) os << DeclarationNode::complexTypeName[ complextype ] << " ";
254                break;
255          case Array:
256                if ( array.isStatic ) {
257                        os << "static ";
258                } // if
259                if ( array.dimension ) {
260                        os << "array of ";
261                        array.dimension->printOneLine( os, indent );
262                } else if ( array.isVarLen ) {
263                        os << "variable-length array of ";
264                } else {
265                        os << "open array of ";
266                } // if
267                if ( base ) {
268                        base->print( os, indent );
269                } // if
270                break;
271          case Function:
272                os << "function" << endl;
273                if ( function.params ) {
274                        os << string( indent + 2, ' ' ) << "with parameters " << endl;
275                        function.params->printList( os, indent + 4 );
276                } else {
277                        os << string( indent + 2, ' ' ) << "with no parameters " << endl;
278                } // if
279                if ( function.idList ) {
280                        os << string( indent + 2, ' ' ) << "with old-style identifier list " << endl;
281                        function.idList->printList( os, indent + 4 );
282                } // if
283                if ( function.oldDeclList ) {
284                        os << string( indent + 2, ' ' ) << "with old-style declaration list " << endl;
285                        function.oldDeclList->printList( os, indent + 4 );
286                } // if
287                os << string( indent + 2, ' ' ) << "returning ";
288                if ( base ) {
289                        base->print( os, indent + 4 );
290                } else {
291                        os << "nothing ";
292                } // if
293                os << endl;
294                if ( function.hasBody ) {
295                        os << string( indent + 2, ' ' ) << "with body " << endl;
296                } // if
297                if ( function.body ) {
298                        function.body->printList( os, indent + 2 );
299                } // if
300                break;
301          case Aggregate:
302                os << DeclarationNode::aggregateName[ aggregate.kind ] << ' ' << *aggregate.name << endl;
303                if ( aggregate.params ) {
304                        os << string( indent + 2, ' ' ) << "with type parameters " << endl;
305                        aggregate.params->printList( os, indent + 4 );
306                } // if
307                if ( aggregate.actuals ) {
308                        os << string( indent + 2, ' ' ) << "instantiated with actual parameters " << endl;
309                        aggregate.actuals->printList( os, indent + 4 );
310                } // if
311                if ( aggregate.fields ) {
312                        os << string( indent + 2, ' ' ) << "with members " << endl;
313                        aggregate.fields->printList( os, indent + 4 );
314                } // if
315                if ( aggregate.body ) {
316                        os << string( indent + 2, ' ' ) << " with body " << endl;
317                } // if
318                break;
319          case AggregateInst:
320                if ( aggInst.aggregate ) {
321                        os << "instance of " ;
322                        aggInst.aggregate->print( os, indent );
323                } else {
324                        os << "instance of an unspecified aggregate ";
325                } // if
326                if ( aggInst.params ) {
327                        os << string( indent + 2, ' ' ) << "with parameters " << endl;
328                        aggInst.params->printList( os, indent + 2 );
329                } // if
330                break;
331          case Enum:
332                os << "enumeration ";
333                if ( enumeration.constants ) {
334                        os << "with constants" << endl;
335                        enumeration.constants->printList( os, indent + 2 );
336                } // if
337                break;
338          case SymbolicInst:
339                os << "instance of type " << *symbolic.name;
340                if ( symbolic.actuals ) {
341                        os << " with parameters" << endl;
342                        symbolic.actuals->printList( os, indent + 2 );
343                } // if
344                break;
345          case Symbolic:
346                if ( symbolic.isTypedef ) {
347                        os << "typedef definition ";
348                } else {
349                        os << "type definition ";
350                } // if
351                if ( symbolic.params ) {
352                        os << endl << string( indent + 2, ' ' ) << "with parameters" << endl;
353                        symbolic.params->printList( os, indent + 2 );
354                } // if
355                if ( symbolic.assertions ) {
356                        os << endl << string( indent + 2, ' ' ) << "with assertions" << endl;
357                        symbolic.assertions->printList( os, indent + 4 );
358                        os << string( indent + 2, ' ' );
359                } // if
360                if ( base ) {
361                        os << "for ";
362                        base->print( os, indent + 2 );
363                } // if
364                break;
365          case Tuple:
366                os << "tuple ";
367                if ( tuple ) {
368                        os << "with members " << endl;
369                        tuple->printList( os, indent + 2 );
370                } // if
371                break;
372          case Typeof:
373                os << "type-of expression ";
374                if ( typeexpr ) {
375                        typeexpr->print( os, indent + 2 );
376                } // if
377                break;
378          case Builtin:
379                os << "gcc builtin type";
380                break;
381          default:
382                os << "internal error: TypeData::print " << kind << endl;
383                assert( false );
384        } // switch
385} // TypeData::print
386
387void buildForall( const DeclarationNode * firstNode, list< TypeDecl* > &outputList ) {
388        buildList( firstNode, outputList );
389        for ( list< TypeDecl* >::iterator i = outputList.begin(); i != outputList.end(); ++i ) {
390                if ( (*i)->get_kind() == TypeDecl::Any ) {
391                        // add assertion parameters to `type' tyvars in reverse order
392                        // add dtor:  void ^?{}(T *)
393                        FunctionType * dtorType = new FunctionType( Type::Qualifiers(), false );
394                        dtorType->get_parameters().push_back( new ObjectDecl( "", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, nullptr, new PointerType( Type::Qualifiers(), new TypeInstType( Type::Qualifiers(), (*i)->get_name(), *i ) ), nullptr ) );
395                        (*i)->get_assertions().push_front( new FunctionDecl( "^?{}", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, dtorType, nullptr, false, false ) );
396
397                        // add copy ctor:  void ?{}(T *, T)
398                        FunctionType * copyCtorType = new FunctionType( Type::Qualifiers(), false );
399                        copyCtorType->get_parameters().push_back( new ObjectDecl( "", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, nullptr, new PointerType( Type::Qualifiers(), new TypeInstType( Type::Qualifiers(), (*i)->get_name(), *i ) ), nullptr ) );
400                        copyCtorType->get_parameters().push_back( new ObjectDecl( "", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, nullptr, new TypeInstType( Type::Qualifiers(), (*i)->get_name(), *i ), nullptr ) );
401                        (*i)->get_assertions().push_front( new FunctionDecl( "?{}", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, copyCtorType, nullptr, false, false ) );
402
403                        // add default ctor:  void ?{}(T *)
404                        FunctionType * ctorType = new FunctionType( Type::Qualifiers(), false );
405                        ctorType->get_parameters().push_back( new ObjectDecl( "", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, nullptr, new PointerType( Type::Qualifiers(), new TypeInstType( Type::Qualifiers(), (*i)->get_name(), *i ) ), nullptr ) );
406                        (*i)->get_assertions().push_front( new FunctionDecl( "?{}", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, ctorType, nullptr, false, false ) );
407
408                        // add assignment operator:  T * ?=?(T *, T)
409                        FunctionType * assignType = new FunctionType( Type::Qualifiers(), false );
410                        assignType->get_parameters().push_back( new ObjectDecl( "", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, nullptr, new PointerType( Type::Qualifiers(), new TypeInstType( Type::Qualifiers(), (*i)->get_name(), *i ) ), nullptr ) );
411                        assignType->get_parameters().push_back( new ObjectDecl( "", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, nullptr, new TypeInstType( Type::Qualifiers(), (*i)->get_name(), *i ), nullptr ) );
412                        assignType->get_returnVals().push_back( new ObjectDecl( "", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, nullptr, new TypeInstType( Type::Qualifiers(), (*i)->get_name(), *i ), nullptr ) );
413                        (*i)->get_assertions().push_front( new FunctionDecl( "?=?", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, assignType, nullptr, false, false ) );
414                } // if
415        } // for
416}
417
418Type * typebuild( const TypeData * td ) {
419        assert( td );
420        switch ( td->kind ) {
421          case TypeData::Unknown:
422                // fill in implicit int
423                return new BasicType( buildQualifiers( td ), BasicType::SignedInt );
424          case TypeData::Basic:
425                return buildBasicType( td );
426          case TypeData::Pointer:
427                return buildPointer( td );
428          case TypeData::Array:
429                return buildArray( td );
430          case TypeData::Function:
431                return buildFunction( td );
432          case TypeData::AggregateInst:
433                return buildAggInst( td );
434          case TypeData::EnumConstant:
435                // the name gets filled in later -- by SymTab::Validate
436                return new EnumInstType( buildQualifiers( td ), "" );
437          case TypeData::SymbolicInst:
438                return buildSymbolicInst( td );;
439          case TypeData::Tuple:
440                return buildTuple( td );
441          case TypeData::Typeof:
442                return buildTypeof( td );
443          case TypeData::Builtin:
444                return new VarArgsType( buildQualifiers( td ) );
445          case TypeData::Symbolic:
446          case TypeData::Enum:
447          case TypeData::Aggregate:
448                assert( false );
449        } // switch
450        return nullptr;
451} // typebuild
452
453TypeData * typeextractAggregate( const TypeData * td, bool toplevel ) {
454        TypeData * ret = nullptr;
455
456        switch ( td->kind ) {
457          case TypeData::Aggregate:
458                if ( ! toplevel && td->aggregate.fields ) {
459                        ret = td->clone();
460                } // if
461                break;
462          case TypeData::Enum:
463                if ( ! toplevel && td->enumeration.constants ) {
464                        ret = td->clone();
465                } // if
466                break;
467          case TypeData::AggregateInst:
468                if ( td->aggInst.aggregate ) {
469                        ret = typeextractAggregate( td->aggInst.aggregate, false );
470                } // if
471                break;
472          default:
473                if ( td->base ) {
474                        ret = typeextractAggregate( td->base, false );
475                } // if
476        } // switch
477        return ret;
478} // typeextractAggregate
479
480Type::Qualifiers buildQualifiers( const TypeData * td ) {
481        Type::Qualifiers q;
482        q.isConst = td->qualifiers[ DeclarationNode::Const ];
483        q.isVolatile = td->qualifiers[ DeclarationNode::Volatile ];
484        q.isRestrict = td->qualifiers[ DeclarationNode::Restrict ];
485        q.isLvalue = td->qualifiers[ DeclarationNode::Lvalue ];
486        q.isAtomic = td->qualifiers[ DeclarationNode::Atomic ];;
487        return q;
488} // buildQualifiers
489
490Type * buildBasicType( const TypeData * td ) {
491        BasicType::Kind ret;
492
493        switch ( td->basictype ) {
494          case DeclarationNode::Void:
495                if ( td->signedness != DeclarationNode::NoSignedness && td->length != DeclarationNode::NoLength ) {
496                        throw SemanticError( "invalid type specifier \"void\" in type: ", td );
497                } // if
498
499                return new VoidType( buildQualifiers( td ) );
500                break;
501
502          case DeclarationNode::Bool:
503                if ( td->signedness != DeclarationNode::NoSignedness ) {
504                        throw SemanticError( string( "invalid type specifier " ) + DeclarationNode::signednessName[ td->signedness ] + " in type: ", td );
505                } // if
506                if ( td->length != DeclarationNode::NoLength ) {
507                        throw SemanticError( string( "invalid type specifier " ) + DeclarationNode::lengthName[ td->length ] + " in type: ", td );
508                } // if
509
510                ret = BasicType::Bool;
511                break;
512
513          case DeclarationNode::Char:
514                // C11 Standard 6.2.5.15: The three types char, signed char, and unsigned char are collectively called the
515                // character types. The implementation shall define char to have the same range, representation, and behavior as
516                // either signed char or unsigned char.
517                static BasicType::Kind chartype[] = { BasicType::SignedChar, BasicType::UnsignedChar, BasicType::Char }; 
518
519                if ( td->length != DeclarationNode::NoLength ) {
520                        throw SemanticError( string( "invalid type specifier " ) + DeclarationNode::lengthName[ td->length ] + " in type: ", td );
521                } // if
522
523                ret = chartype[ td->signedness ];
524                break;
525
526          case DeclarationNode::Int:
527                static BasicType::Kind inttype[2][4] = {
528                        { BasicType::ShortSignedInt, BasicType::LongSignedInt, BasicType::LongLongSignedInt, BasicType::SignedInt },
529                        { BasicType::ShortUnsignedInt, BasicType::LongUnsignedInt, BasicType::LongLongUnsignedInt, BasicType::UnsignedInt },
530                };
531
532          Integral: ;
533                if ( td->signedness == DeclarationNode::NoSignedness ) {
534                        const_cast<TypeData *>(td)->signedness = DeclarationNode::Signed;
535                } // if
536                ret = inttype[ td->signedness ][ td->length ];
537                break;
538
539          case DeclarationNode::Float:
540          case DeclarationNode::Double:
541          case DeclarationNode::LongDouble:                                     // not set until below
542                static BasicType::Kind floattype[3][3] = {
543                        { BasicType::FloatComplex, BasicType::DoubleComplex, BasicType::LongDoubleComplex },
544                        { BasicType::FloatImaginary, BasicType::DoubleImaginary, BasicType::LongDoubleImaginary },
545                        { BasicType::Float, BasicType::Double, BasicType::LongDouble },
546                };
547
548          FloatingPoint: ;
549                if ( td->signedness != DeclarationNode::NoSignedness ) {
550                        throw SemanticError( string( "invalid type specifier " ) + DeclarationNode::signednessName[ td->signedness ] + " in type: ", td );
551                } // if
552                if ( td->length == DeclarationNode::Short || td->length == DeclarationNode::LongLong ) {
553                        throw SemanticError( string( "invalid type specifier " ) + DeclarationNode::lengthName[ td->length ] + " in type: ", td );
554                } // if
555                if ( td->basictype == DeclarationNode::Float && td->length == DeclarationNode::Long ) {
556                        throw SemanticError( "invalid type specifier \"long\" in type: ", td );
557                } // if
558                if ( td->length == DeclarationNode::Long ) {
559                        const_cast<TypeData *>(td)->basictype = DeclarationNode::LongDouble;
560                } // if
561
562                ret = floattype[ td->complextype ][ td->basictype - DeclarationNode::Float ];
563                break;
564
565          case DeclarationNode::NoBasicType:
566                // No basic type in declaration => default double for Complex/Imaginary and int type for integral types
567                if ( td->complextype == DeclarationNode::Complex || td->complextype == DeclarationNode::Imaginary ) {
568                        const_cast<TypeData *>(td)->basictype = DeclarationNode::Double;
569                        goto FloatingPoint;
570                } // if
571
572                const_cast<TypeData *>(td)->basictype = DeclarationNode::Int;
573                goto Integral;
574        } // switch
575
576        BasicType * bt = new BasicType( buildQualifiers( td ), ret );
577        buildForall( td->forall, bt->get_forall() );
578        return bt;
579} // buildBasicType
580
581PointerType * buildPointer( const TypeData * td ) {
582        PointerType * pt;
583        if ( td->base ) {
584                pt = new PointerType( buildQualifiers( td ), typebuild( td->base ) );
585        } else {
586                pt = new PointerType( buildQualifiers( td ), new BasicType( Type::Qualifiers(), BasicType::SignedInt ) );
587        } // if
588        buildForall( td->forall, pt->get_forall() );
589        return pt;
590} // buildPointer
591
592ArrayType * buildArray( const TypeData * td ) {
593        ArrayType * at;
594        if ( td->base ) {
595                at = new ArrayType( buildQualifiers( td ), typebuild( td->base ), maybeBuild< Expression >( td->array.dimension ),
596                                                        td->array.isVarLen, td->array.isStatic );
597        } else {
598                at = new ArrayType( buildQualifiers( td ), new BasicType( Type::Qualifiers(), BasicType::SignedInt ),
599                                                        maybeBuild< Expression >( td->array.dimension ), td->array.isVarLen, td->array.isStatic );
600        } // if
601        buildForall( td->forall, at->get_forall() );
602        return at;
603} // buildPointer
604
605AggregateDecl * buildAggregate( const TypeData * td ) {
606        assert( td->kind == TypeData::Aggregate );
607        AggregateDecl * at;
608        switch ( td->aggregate.kind ) {
609          case DeclarationNode::Struct:
610                at = new StructDecl( *td->aggregate.name );
611                buildForall( td->aggregate.params, at->get_parameters() );
612                break;
613          case DeclarationNode::Union:
614                at = new UnionDecl( *td->aggregate.name );
615                buildForall( td->aggregate.params, at->get_parameters() );
616                break;
617          case DeclarationNode::Trait:
618                at = new TraitDecl( *td->aggregate.name );
619                buildList( td->aggregate.params, at->get_parameters() );
620                break;
621          default:
622                assert( false );
623        } // switch
624
625        buildList( td->aggregate.fields, at->get_members() );
626        at->set_body( td->aggregate.body );
627
628        return at;
629} // buildAggregate
630
631ReferenceToType * buildAggInst( const TypeData * td ) {
632        assert( td->kind == TypeData::AggregateInst );
633
634        ReferenceToType * ret;
635        if ( td->aggInst.aggregate->kind == TypeData::Enum ) {
636                ret = new EnumInstType( buildQualifiers( td ), *td->aggInst.aggregate->enumeration.name );
637        } else {
638                assert( td->aggInst.aggregate->kind == TypeData::Aggregate );
639                switch ( td->aggInst.aggregate->aggregate.kind ) {
640                  case DeclarationNode::Struct:
641                        assert( td->aggInst.aggregate->aggregate.name );
642                        ret = new StructInstType( buildQualifiers( td ), *td->aggInst.aggregate->aggregate.name );
643                        break;
644                  case DeclarationNode::Union:
645                        ret = new UnionInstType( buildQualifiers( td ), *td->aggInst.aggregate->aggregate.name );
646                        break;
647                  case DeclarationNode::Trait:
648                        ret = new TraitInstType( buildQualifiers( td ), *td->aggInst.aggregate->aggregate.name );
649                        break;
650                  default:
651                        assert( false );
652                } // switch
653        } // if
654        buildList( td->aggInst.params, ret->get_parameters() );
655        buildForall( td->forall, ret->get_forall() );
656        return ret;
657} // buildAggInst
658
659NamedTypeDecl * buildSymbolic( const TypeData * td, const string & name, DeclarationNode::StorageClass sc ) {
660        assert( td->kind == TypeData::Symbolic );
661        NamedTypeDecl * ret;
662        assert( td->base );
663        if ( td->symbolic.isTypedef ) {
664                ret = new TypedefDecl( name, sc, typebuild( td->base ) );
665        } else {
666                ret = new TypeDecl( name, sc, typebuild( td->base ), TypeDecl::Any );
667        } // if
668        buildList( td->symbolic.params, ret->get_parameters() );
669        buildList( td->symbolic.assertions, ret->get_assertions() );
670        return ret;
671} // buildSymbolic
672
673EnumDecl * buildEnum( const TypeData * td ) {
674        assert( td->kind == TypeData::Enum );
675        EnumDecl * ret = new EnumDecl( *td->enumeration.name );
676        buildList( td->enumeration.constants, ret->get_members() );
677        list< Declaration * >::iterator members = ret->get_members().begin();
678        for ( const DeclarationNode * cur = td->enumeration. constants; cur != nullptr; cur = dynamic_cast< DeclarationNode * >( cur->get_next() ), ++members ) {
679                if ( cur->has_enumeratorValue() ) {
680                        ObjectDecl * member = dynamic_cast< ObjectDecl * >(* members);
681                        member->set_init( new SingleInit( maybeMoveBuild< Expression >( cur->consume_enumeratorValue() ), list< Expression * >() ) );
682                } // if
683        } // for
684        return ret;
685} // buildEnum
686
687TypeInstType * buildSymbolicInst( const TypeData * td ) {
688        assert( td->kind == TypeData::SymbolicInst );
689        TypeInstType * ret = new TypeInstType( buildQualifiers( td ), *td->symbolic.name, false );
690        buildList( td->symbolic.actuals, ret->get_parameters() );
691        buildForall( td->forall, ret->get_forall() );
692        return ret;
693} // buildSymbolicInst
694
695TupleType * buildTuple( const TypeData * td ) {
696        assert( td->kind == TypeData::Tuple );
697        TupleType * ret = new TupleType( buildQualifiers( td ) );
698        buildTypeList( td->tuple, ret->get_types() );
699        buildForall( td->forall, ret->get_forall() );
700        return ret;
701} // buildTuple
702
703TypeofType * buildTypeof( const TypeData * td ) {
704        assert( td->kind == TypeData::Typeof );
705        assert( td->typeexpr );
706        // assert( td->typeexpr->expr );
707        return new TypeofType( buildQualifiers( td ), td->typeexpr->build() );
708} // buildTypeof
709
710Declaration * buildDecl( const TypeData * td, const string &name, DeclarationNode::StorageClass sc, Expression * bitfieldWidth, bool isInline, bool isNoreturn, LinkageSpec::Spec linkage, Initializer * init ) {
711        if ( td->kind == TypeData::Function ) {
712                FunctionDecl * decl;
713                if ( td->function.hasBody ) {
714                        if ( td->function.body ) {
715                                Statement * stmt = td->function.body->build();
716                                CompoundStmt * body = dynamic_cast< CompoundStmt* >( stmt );
717                                assert( body );
718                                decl = new FunctionDecl( name, sc, linkage, buildFunction( td ), body, isInline, isNoreturn );
719                        } else {
720                                // list< Label > ls;
721                                decl = new FunctionDecl( name, sc, linkage, buildFunction( td ), new CompoundStmt( list< Label >() ), isInline, isNoreturn );
722                        } // if
723                } else {
724                        decl = new FunctionDecl( name, sc, linkage, buildFunction( td ), nullptr, isInline, isNoreturn );
725                } // if
726                for ( DeclarationNode * cur = td->function.idList; cur != nullptr; cur = dynamic_cast< DeclarationNode* >( cur->get_next() ) ) {
727                        if ( cur->name ) {
728                                decl->get_oldIdents().insert( decl->get_oldIdents().end(), *cur->name );
729                        } // if
730                } // for
731                buildList( td->function.oldDeclList, decl->get_oldDecls() );
732                return decl;
733        } else if ( td->kind == TypeData::Aggregate ) {
734                return buildAggregate( td );
735        } else if ( td->kind == TypeData::Enum ) {
736                return buildEnum( td );
737        } else if ( td->kind == TypeData::Symbolic ) {
738                return buildSymbolic( td, name, sc );
739        } else {
740                return new ObjectDecl( name, sc, linkage, bitfieldWidth, typebuild( td ), init, list< Attribute * >(), isInline, isNoreturn );
741        } // if
742        return nullptr;
743} // buildDecl
744
745FunctionType * buildFunction( const TypeData * td ) {
746        assert( td->kind == TypeData::Function );
747        bool hasEllipsis = td->function.params ? td->function.params->get_hasEllipsis() : true;
748        if ( ! td->function.params ) hasEllipsis = ! td->function.newStyle;
749        FunctionType * ft = new FunctionType( buildQualifiers( td ), hasEllipsis );
750        buildList( td->function.params, ft->get_parameters() );
751        buildForall( td->forall, ft->get_forall() );
752        if ( td->base ) {
753                switch ( td->base->kind ) {
754                  case TypeData::Tuple:
755                        buildList( td->base->tuple, ft->get_returnVals() );
756                        break;
757                  default:
758                        ft->get_returnVals().push_back( dynamic_cast< DeclarationWithType* >( buildDecl( td->base,  "", DeclarationNode::NoStorageClass, nullptr, false, false, LinkageSpec::Cforall ) ) );
759                } // switch
760        } else {
761                ft->get_returnVals().push_back( new ObjectDecl( "", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, nullptr, new BasicType( Type::Qualifiers(), BasicType::SignedInt ), nullptr ) );
762        } // if
763        return ft;
764} // buildFunction
765
766// Local Variables: //
767// tab-width: 4 //
768// mode: c++ //
769// compile-command: "make install" //
770// End: //
Note: See TracBrowser for help on using the repository browser.