source: src/Parser/TypeData.cc @ 1f44196

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
Last change on this file since 1f44196 was 7756647, checked in by Rob Schluntz <rschlunt@…>, 8 years ago

Merge branch 'master' into tuples

Conflicts:

src/Parser/TypeData.cc
src/Parser/parser.cc
src/Parser/parser.yy
  • 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
387template< typename ForallList >
388void buildForall( const DeclarationNode * firstNode, ForallList &outputList ) {
389        buildList( firstNode, outputList );
390        for ( typename ForallList::iterator i = outputList.begin(); i != outputList.end(); ++i ) {
391                TypeDecl * td = static_cast<TypeDecl*>(*i);
392                if ( td->get_kind() == TypeDecl::Any ) {
393                        // add assertion parameters to `type' tyvars in reverse order
394                        // add dtor:  void ^?{}(T *)
395                        FunctionType * dtorType = new FunctionType( Type::Qualifiers(), false );
396                        dtorType->get_parameters().push_back( new ObjectDecl( "", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, nullptr, new PointerType( Type::Qualifiers(), new TypeInstType( Type::Qualifiers(), td->get_name(), *i ) ), nullptr ) );
397                        td->get_assertions().push_front( new FunctionDecl( "^?{}", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, dtorType, nullptr, false, false ) );
398
399                        // add copy ctor:  void ?{}(T *, T)
400                        FunctionType * copyCtorType = new FunctionType( Type::Qualifiers(), false );
401                        copyCtorType->get_parameters().push_back( new ObjectDecl( "", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, nullptr, new PointerType( Type::Qualifiers(), new TypeInstType( Type::Qualifiers(), td->get_name(), *i ) ), nullptr ) );
402                        copyCtorType->get_parameters().push_back( new ObjectDecl( "", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, nullptr, new TypeInstType( Type::Qualifiers(), td->get_name(), *i ), nullptr ) );
403                        td->get_assertions().push_front( new FunctionDecl( "?{}", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, copyCtorType, nullptr, false, false ) );
404
405                        // add default ctor:  void ?{}(T *)
406                        FunctionType * ctorType = new FunctionType( Type::Qualifiers(), false );
407                        ctorType->get_parameters().push_back( new ObjectDecl( "", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, nullptr, new PointerType( Type::Qualifiers(), new TypeInstType( Type::Qualifiers(), td->get_name(), *i ) ), nullptr ) );
408                        td->get_assertions().push_front( new FunctionDecl( "?{}", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, ctorType, nullptr, false, false ) );
409
410                        // add assignment operator:  T * ?=?(T *, T)
411                        FunctionType * assignType = new FunctionType( Type::Qualifiers(), false );
412                        assignType->get_parameters().push_back( new ObjectDecl( "", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, nullptr, new PointerType( Type::Qualifiers(), new TypeInstType( Type::Qualifiers(), td->get_name(), *i ) ), nullptr ) );
413                        assignType->get_parameters().push_back( new ObjectDecl( "", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, nullptr, new TypeInstType( Type::Qualifiers(), td->get_name(), *i ), nullptr ) );
414                        assignType->get_returnVals().push_back( new ObjectDecl( "", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, nullptr, new TypeInstType( Type::Qualifiers(), td->get_name(), *i ), nullptr ) );
415                        td->get_assertions().push_front( new FunctionDecl( "?=?", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, assignType, nullptr, false, false ) );
416                } // if
417        } // for
418}
419
420Type * typebuild( const TypeData * td ) {
421        assert( td );
422        switch ( td->kind ) {
423          case TypeData::Unknown:
424                // fill in implicit int
425                return new BasicType( buildQualifiers( td ), BasicType::SignedInt );
426          case TypeData::Basic:
427                return buildBasicType( td );
428          case TypeData::Pointer:
429                return buildPointer( td );
430          case TypeData::Array:
431                return buildArray( td );
432          case TypeData::Function:
433                return buildFunction( td );
434          case TypeData::AggregateInst:
435                return buildAggInst( td );
436          case TypeData::EnumConstant:
437                // the name gets filled in later -- by SymTab::Validate
438                return new EnumInstType( buildQualifiers( td ), "" );
439          case TypeData::SymbolicInst:
440                return buildSymbolicInst( td );;
441          case TypeData::Tuple:
442                return buildTuple( td );
443          case TypeData::Typeof:
444                return buildTypeof( td );
445          case TypeData::Builtin:
446                return new VarArgsType( buildQualifiers( td ) );
447          case TypeData::Symbolic:
448          case TypeData::Enum:
449          case TypeData::Aggregate:
450                assert( false );
451        } // switch
452        return nullptr;
453} // typebuild
454
455TypeData * typeextractAggregate( const TypeData * td, bool toplevel ) {
456        TypeData * ret = nullptr;
457
458        switch ( td->kind ) {
459          case TypeData::Aggregate:
460                if ( ! toplevel && td->aggregate.fields ) {
461                        ret = td->clone();
462                } // if
463                break;
464          case TypeData::Enum:
465                if ( ! toplevel && td->enumeration.constants ) {
466                        ret = td->clone();
467                } // if
468                break;
469          case TypeData::AggregateInst:
470                if ( td->aggInst.aggregate ) {
471                        ret = typeextractAggregate( td->aggInst.aggregate, false );
472                } // if
473                break;
474          default:
475                if ( td->base ) {
476                        ret = typeextractAggregate( td->base, false );
477                } // if
478        } // switch
479        return ret;
480} // typeextractAggregate
481
482Type::Qualifiers buildQualifiers( const TypeData * td ) {
483        Type::Qualifiers q;
484        q.isConst = td->qualifiers[ DeclarationNode::Const ];
485        q.isVolatile = td->qualifiers[ DeclarationNode::Volatile ];
486        q.isRestrict = td->qualifiers[ DeclarationNode::Restrict ];
487        q.isLvalue = td->qualifiers[ DeclarationNode::Lvalue ];
488        q.isAtomic = td->qualifiers[ DeclarationNode::Atomic ];;
489        return q;
490} // buildQualifiers
491
492Type * buildBasicType( const TypeData * td ) {
493        BasicType::Kind ret;
494
495        switch ( td->basictype ) {
496          case DeclarationNode::Void:
497                if ( td->signedness != DeclarationNode::NoSignedness && td->length != DeclarationNode::NoLength ) {
498                        throw SemanticError( "invalid type specifier \"void\" in type: ", td );
499                } // if
500
501                return new VoidType( buildQualifiers( td ) );
502                break;
503
504          case DeclarationNode::Bool:
505                if ( td->signedness != DeclarationNode::NoSignedness ) {
506                        throw SemanticError( string( "invalid type specifier " ) + DeclarationNode::signednessName[ td->signedness ] + " in type: ", td );
507                } // if
508                if ( td->length != DeclarationNode::NoLength ) {
509                        throw SemanticError( string( "invalid type specifier " ) + DeclarationNode::lengthName[ td->length ] + " in type: ", td );
510                } // if
511
512                ret = BasicType::Bool;
513                break;
514
515          case DeclarationNode::Char:
516                // C11 Standard 6.2.5.15: The three types char, signed char, and unsigned char are collectively called the
517                // character types. The implementation shall define char to have the same range, representation, and behavior as
518                // either signed char or unsigned char.
519                static BasicType::Kind chartype[] = { BasicType::SignedChar, BasicType::UnsignedChar, BasicType::Char };
520
521                if ( td->length != DeclarationNode::NoLength ) {
522                        throw SemanticError( string( "invalid type specifier " ) + DeclarationNode::lengthName[ td->length ] + " in type: ", td );
523                } // if
524
525                ret = chartype[ td->signedness ];
526                break;
527
528          case DeclarationNode::Int:
529                static BasicType::Kind inttype[2][4] = {
530                        { BasicType::ShortSignedInt, BasicType::LongSignedInt, BasicType::LongLongSignedInt, BasicType::SignedInt },
531                        { BasicType::ShortUnsignedInt, BasicType::LongUnsignedInt, BasicType::LongLongUnsignedInt, BasicType::UnsignedInt },
532                };
533
534          Integral: ;
535                if ( td->signedness == DeclarationNode::NoSignedness ) {
536                        const_cast<TypeData *>(td)->signedness = DeclarationNode::Signed;
537                } // if
538                ret = inttype[ td->signedness ][ td->length ];
539                break;
540
541          case DeclarationNode::Float:
542          case DeclarationNode::Double:
543          case DeclarationNode::LongDouble:                                     // not set until below
544                static BasicType::Kind floattype[3][3] = {
545                        { BasicType::FloatComplex, BasicType::DoubleComplex, BasicType::LongDoubleComplex },
546                        { BasicType::FloatImaginary, BasicType::DoubleImaginary, BasicType::LongDoubleImaginary },
547                        { BasicType::Float, BasicType::Double, BasicType::LongDouble },
548                };
549
550          FloatingPoint: ;
551                if ( td->signedness != DeclarationNode::NoSignedness ) {
552                        throw SemanticError( string( "invalid type specifier " ) + DeclarationNode::signednessName[ td->signedness ] + " in type: ", td );
553                } // if
554                if ( td->length == DeclarationNode::Short || td->length == DeclarationNode::LongLong ) {
555                        throw SemanticError( string( "invalid type specifier " ) + DeclarationNode::lengthName[ td->length ] + " in type: ", td );
556                } // if
557                if ( td->basictype == DeclarationNode::Float && td->length == DeclarationNode::Long ) {
558                        throw SemanticError( "invalid type specifier \"long\" in type: ", td );
559                } // if
560                if ( td->length == DeclarationNode::Long ) {
561                        const_cast<TypeData *>(td)->basictype = DeclarationNode::LongDouble;
562                } // if
563
564                ret = floattype[ td->complextype ][ td->basictype - DeclarationNode::Float ];
565                break;
566
567          case DeclarationNode::NoBasicType:
568                // No basic type in declaration => default double for Complex/Imaginary and int type for integral types
569                if ( td->complextype == DeclarationNode::Complex || td->complextype == DeclarationNode::Imaginary ) {
570                        const_cast<TypeData *>(td)->basictype = DeclarationNode::Double;
571                        goto FloatingPoint;
572                } // if
573
574                const_cast<TypeData *>(td)->basictype = DeclarationNode::Int;
575                goto Integral;
576        } // switch
577
578        BasicType * bt = new BasicType( buildQualifiers( td ), ret );
579        buildForall( td->forall, bt->get_forall() );
580        return bt;
581} // buildBasicType
582
583PointerType * buildPointer( const TypeData * td ) {
584        PointerType * pt;
585        if ( td->base ) {
586                pt = new PointerType( buildQualifiers( td ), typebuild( td->base ) );
587        } else {
588                pt = new PointerType( buildQualifiers( td ), new BasicType( Type::Qualifiers(), BasicType::SignedInt ) );
589        } // if
590        buildForall( td->forall, pt->get_forall() );
591        return pt;
592} // buildPointer
593
594ArrayType * buildArray( const TypeData * td ) {
595        ArrayType * at;
596        if ( td->base ) {
597                at = new ArrayType( buildQualifiers( td ), typebuild( td->base ), maybeBuild< Expression >( td->array.dimension ),
598                                                        td->array.isVarLen, td->array.isStatic );
599        } else {
600                at = new ArrayType( buildQualifiers( td ), new BasicType( Type::Qualifiers(), BasicType::SignedInt ),
601                                                        maybeBuild< Expression >( td->array.dimension ), td->array.isVarLen, td->array.isStatic );
602        } // if
603        buildForall( td->forall, at->get_forall() );
604        return at;
605} // buildPointer
606
607AggregateDecl * buildAggregate( const TypeData * td ) {
608        assert( td->kind == TypeData::Aggregate );
609        AggregateDecl * at;
610        switch ( td->aggregate.kind ) {
611          case DeclarationNode::Struct:
612                at = new StructDecl( *td->aggregate.name );
613                buildForall( td->aggregate.params, at->get_parameters() );
614                break;
615          case DeclarationNode::Union:
616                at = new UnionDecl( *td->aggregate.name );
617                buildForall( td->aggregate.params, at->get_parameters() );
618                break;
619          case DeclarationNode::Trait:
620                at = new TraitDecl( *td->aggregate.name );
621                buildList( td->aggregate.params, at->get_parameters() );
622                break;
623          default:
624                assert( false );
625        } // switch
626
627        buildList( td->aggregate.fields, at->get_members() );
628        at->set_body( td->aggregate.body );
629
630        return at;
631} // buildAggregate
632
633ReferenceToType * buildAggInst( const TypeData * td ) {
634        assert( td->kind == TypeData::AggregateInst );
635
636        ReferenceToType * ret;
637        if ( td->aggInst.aggregate->kind == TypeData::Enum ) {
638                ret = new EnumInstType( buildQualifiers( td ), *td->aggInst.aggregate->enumeration.name );
639        } else {
640                assert( td->aggInst.aggregate->kind == TypeData::Aggregate );
641                switch ( td->aggInst.aggregate->aggregate.kind ) {
642                  case DeclarationNode::Struct:
643                        assert( td->aggInst.aggregate->aggregate.name );
644                        ret = new StructInstType( buildQualifiers( td ), *td->aggInst.aggregate->aggregate.name );
645                        break;
646                  case DeclarationNode::Union:
647                        ret = new UnionInstType( buildQualifiers( td ), *td->aggInst.aggregate->aggregate.name );
648                        break;
649                  case DeclarationNode::Trait:
650                        ret = new TraitInstType( buildQualifiers( td ), *td->aggInst.aggregate->aggregate.name );
651                        break;
652                  default:
653                        assert( false );
654                } // switch
655        } // if
656        buildList( td->aggInst.params, ret->get_parameters() );
657        buildForall( td->forall, ret->get_forall() );
658        return ret;
659} // buildAggInst
660
661NamedTypeDecl * buildSymbolic( const TypeData * td, const string & name, DeclarationNode::StorageClass sc ) {
662        assert( td->kind == TypeData::Symbolic );
663        NamedTypeDecl * ret;
664        assert( td->base );
665        if ( td->symbolic.isTypedef ) {
666                ret = new TypedefDecl( name, sc, typebuild( td->base ) );
667        } else {
668                ret = new TypeDecl( name, sc, typebuild( td->base ), TypeDecl::Any );
669        } // if
670        buildList( td->symbolic.params, ret->get_parameters() );
671        buildList( td->symbolic.assertions, ret->get_assertions() );
672        return ret;
673} // buildSymbolic
674
675EnumDecl * buildEnum( const TypeData * td ) {
676        assert( td->kind == TypeData::Enum );
677        EnumDecl * ret = new EnumDecl( *td->enumeration.name );
678        buildList( td->enumeration.constants, ret->get_members() );
679        list< Declaration * >::iterator members = ret->get_members().begin();
680        for ( const DeclarationNode * cur = td->enumeration. constants; cur != nullptr; cur = dynamic_cast< DeclarationNode * >( cur->get_next() ), ++members ) {
681                if ( cur->has_enumeratorValue() ) {
682                        ObjectDecl * member = dynamic_cast< ObjectDecl * >(* members);
683                        member->set_init( new SingleInit( maybeMoveBuild< Expression >( cur->consume_enumeratorValue() ), list< Expression * >() ) );
684                } // if
685        } // for
686        return ret;
687} // buildEnum
688
689TypeInstType * buildSymbolicInst( const TypeData * td ) {
690        assert( td->kind == TypeData::SymbolicInst );
691        TypeInstType * ret = new TypeInstType( buildQualifiers( td ), *td->symbolic.name, false );
692        buildList( td->symbolic.actuals, ret->get_parameters() );
693        buildForall( td->forall, ret->get_forall() );
694        return ret;
695} // buildSymbolicInst
696
697TupleType * buildTuple( const TypeData * td ) {
698        assert( td->kind == TypeData::Tuple );
699        TupleType * ret = new TupleType( buildQualifiers( td ) );
700        buildTypeList( td->tuple, ret->get_types() );
701        buildForall( td->forall, ret->get_forall() );
702        return ret;
703} // buildTuple
704
705TypeofType * buildTypeof( const TypeData * td ) {
706        assert( td->kind == TypeData::Typeof );
707        assert( td->typeexpr );
708        // assert( td->typeexpr->expr );
709        return new TypeofType( buildQualifiers( td ), td->typeexpr->build() );
710} // buildTypeof
711
712Declaration * buildDecl( const TypeData * td, const string &name, DeclarationNode::StorageClass sc, Expression * bitfieldWidth, bool isInline, bool isNoreturn, LinkageSpec::Spec linkage, Initializer * init ) {
713        if ( td->kind == TypeData::Function ) {
714                FunctionDecl * decl;
715                if ( td->function.hasBody ) {
716                        if ( td->function.body ) {
717                                Statement * stmt = td->function.body->build();
718                                CompoundStmt * body = dynamic_cast< CompoundStmt* >( stmt );
719                                assert( body );
720                                decl = new FunctionDecl( name, sc, linkage, buildFunction( td ), body, isInline, isNoreturn );
721                        } else {
722                                // list< Label > ls;
723                                decl = new FunctionDecl( name, sc, linkage, buildFunction( td ), new CompoundStmt( list< Label >() ), isInline, isNoreturn );
724                        } // if
725                } else {
726                        decl = new FunctionDecl( name, sc, linkage, buildFunction( td ), nullptr, isInline, isNoreturn );
727                } // if
728                for ( DeclarationNode * cur = td->function.idList; cur != nullptr; cur = dynamic_cast< DeclarationNode* >( cur->get_next() ) ) {
729                        if ( cur->name ) {
730                                decl->get_oldIdents().insert( decl->get_oldIdents().end(), *cur->name );
731                        } // if
732                } // for
733                buildList( td->function.oldDeclList, decl->get_oldDecls() );
734                return decl;
735        } else if ( td->kind == TypeData::Aggregate ) {
736                return buildAggregate( td );
737        } else if ( td->kind == TypeData::Enum ) {
738                return buildEnum( td );
739        } else if ( td->kind == TypeData::Symbolic ) {
740                return buildSymbolic( td, name, sc );
741        } else {
742                return new ObjectDecl( name, sc, linkage, bitfieldWidth, typebuild( td ), init, list< Attribute * >(), isInline, isNoreturn );
743        } // if
744        return nullptr;
745} // buildDecl
746
747FunctionType * buildFunction( const TypeData * td ) {
748        assert( td->kind == TypeData::Function );
749        bool hasEllipsis = td->function.params ? td->function.params->get_hasEllipsis() : true;
750        if ( ! td->function.params ) hasEllipsis = ! td->function.newStyle;
751        FunctionType * ft = new FunctionType( buildQualifiers( td ), hasEllipsis );
752        buildList( td->function.params, ft->get_parameters() );
753        buildForall( td->forall, ft->get_forall() );
754        if ( td->base ) {
755                switch ( td->base->kind ) {
756                  case TypeData::Tuple:
757                        buildList( td->base->tuple, ft->get_returnVals() );
758                        break;
759                  default:
760                        ft->get_returnVals().push_back( dynamic_cast< DeclarationWithType* >( buildDecl( td->base,  "", DeclarationNode::NoStorageClass, nullptr, false, false, LinkageSpec::Cforall ) ) );
761                } // switch
762        } else {
763                ft->get_returnVals().push_back( new ObjectDecl( "", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, nullptr, new BasicType( Type::Qualifiers(), BasicType::SignedInt ), nullptr ) );
764        } // if
765        return ft;
766} // buildFunction
767
768// Local Variables: //
769// tab-width: 4 //
770// mode: c++ //
771// compile-command: "make install" //
772// End: //
Note: See TracBrowser for help on using the repository browser.