source: src/Parser/TypeData.cc @ 28f8f15

ADT
Last change on this file since 28f8f15 was 28f8f15, checked in by JiadaL <j82liang@…>, 13 months ago

Save progress
  • Property mode set to 100644
File size: 43.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 : Andrew Beach
12// Last Modified On : Tue Apr  4 13:39:00 2023
13// Update Count     : 680
14//
15
16#include "TypeData.h"
17
18#include <cassert>                 // for assert
19#include <ostream>                 // for operator<<, ostream, basic_ostream
20
21#include "AST/Decl.hpp"            // for AggregateDecl, ObjectDecl, TypeDe...
22#include "AST/Init.hpp"            // for SingleInit, ListInit
23#include "AST/Print.hpp"           // for print
24#include "Common/SemanticError.h"  // for SemanticError
25#include "Common/utility.h"        // for splice, spliceBegin
26#include "Parser/ExpressionNode.h" // for ExpressionNode
27#include "Parser/StatementNode.h"  // for StatementNode
28
29class Attribute;
30
31using namespace std;
32
33TypeData::TypeData( Kind k ) : location( yylloc ), kind( k ), base( nullptr ), forall( nullptr ) /*, PTR1( (void*)(0xdeadbeefdeadbeef)), PTR2( (void*)(0xdeadbeefdeadbeef) ) */ {
34        switch ( kind ) {
35        case Unknown:
36        case Pointer:
37        case Reference:
38        case EnumConstant:
39        case GlobalScope:
40        case Basic:
41                // No unique data to initialize.
42                break;
43        case Array:
44                array.dimension = nullptr;
45                array.isVarLen = false;
46                array.isStatic = false;
47                break;
48        case Function:
49                function.params = nullptr;
50                function.idList = nullptr;
51                function.oldDeclList = nullptr;
52                function.body = nullptr;
53                function.withExprs = nullptr;
54                break;
55        case Enum:
56                enumeration.name = nullptr;
57                enumeration.constants = nullptr;
58                enumeration.body = false;
59                enumeration.anon = false;
60                break;
61        case Aggregate:
62                aggregate.kind = ast::AggregateDecl::NoAggregate;
63                aggregate.name = nullptr;
64                aggregate.params = nullptr;
65                aggregate.actuals = nullptr;
66                aggregate.fields = nullptr;
67                aggregate.body = false;
68                aggregate.tagged = false;
69                aggregate.parent = nullptr;
70                aggregate.anon = false;
71                break;
72        case AggregateInst:
73                aggInst.aggregate = nullptr;
74                aggInst.params = nullptr;
75                aggInst.hoistType = false;
76                break;
77        case Symbolic:
78        case SymbolicInst:
79                symbolic.name = nullptr;
80                symbolic.params = nullptr;
81                symbolic.actuals = nullptr;
82                symbolic.assertions = nullptr;
83                break;
84        case Tuple:
85                tuple = nullptr;
86                break;
87        case Typeof:
88        case Basetypeof:
89                typeexpr = nullptr;
90                break;
91        case Vtable:
92        case Builtin:
93                // No unique data to initialize.
94                break;
95        case Qualified:
96                qualified.parent = nullptr;
97                qualified.child = nullptr;
98                break;
99        } // switch
100} // TypeData::TypeData
101
102
103TypeData::~TypeData() {
104        delete base;
105        delete forall;
106
107        switch ( kind ) {
108        case Unknown:
109        case Pointer:
110        case Reference:
111        case EnumConstant:
112        case GlobalScope:
113        case Basic:
114                // No unique data to deconstruct.
115                break;
116        case Array:
117                delete array.dimension;
118                break;
119        case Function:
120                delete function.params;
121                delete function.idList;
122                delete function.oldDeclList;
123                delete function.body;
124                delete function.withExprs;
125                break;
126        case Aggregate:
127                delete aggregate.name;
128                delete aggregate.params;
129                delete aggregate.actuals;
130                delete aggregate.fields;
131                break;
132        case AggregateInst:
133                delete aggInst.aggregate;
134                delete aggInst.params;
135                break;
136        case Enum:
137                delete enumeration.name;
138                delete enumeration.constants;
139                break;
140        case Symbolic:
141        case SymbolicInst:
142                delete symbolic.name;
143                delete symbolic.params;
144                delete symbolic.actuals;
145                delete symbolic.assertions;
146                break;
147        case Tuple:
148                delete tuple;
149                break;
150        case Typeof:
151        case Basetypeof:
152                delete typeexpr;
153                break;
154        case Vtable:
155        case Builtin:
156                // No unique data to deconstruct.
157                break;
158        case Qualified:
159                delete qualified.parent;
160                delete qualified.child;
161                break;
162        } // switch
163} // TypeData::~TypeData
164
165
166TypeData * TypeData::clone() const {
167        TypeData * newtype = new TypeData( kind );
168        newtype->qualifiers = qualifiers;
169        newtype->base = maybeClone( base );
170        newtype->forall = maybeClone( forall );
171
172        switch ( kind ) {
173        case Unknown:
174        case EnumConstant:
175        case Pointer:
176        case Reference:
177        case GlobalScope:
178                // nothing else to copy
179                break;
180        case Basic:
181                newtype->basictype = basictype;
182                newtype->complextype = complextype;
183                newtype->signedness = signedness;
184                newtype->length = length;
185                break;
186        case Array:
187                newtype->array.dimension = maybeClone( array.dimension );
188                newtype->array.isVarLen = array.isVarLen;
189                newtype->array.isStatic = array.isStatic;
190                break;
191        case Function:
192                newtype->function.params = maybeClone( function.params );
193                newtype->function.idList = maybeClone( function.idList );
194                newtype->function.oldDeclList = maybeClone( function.oldDeclList );
195                newtype->function.body = maybeClone( function.body );
196                newtype->function.withExprs = maybeClone( function.withExprs );
197                break;
198        case Aggregate:
199                newtype->aggregate.kind = aggregate.kind;
200                newtype->aggregate.name = aggregate.name ? new string( *aggregate.name ) : nullptr;
201                newtype->aggregate.params = maybeClone( aggregate.params );
202                newtype->aggregate.actuals = maybeClone( aggregate.actuals );
203                newtype->aggregate.fields = maybeClone( aggregate.fields );
204                newtype->aggregate.body = aggregate.body;
205                newtype->aggregate.anon = aggregate.anon;
206                newtype->aggregate.tagged = aggregate.tagged;
207                newtype->aggregate.parent = aggregate.parent ? new string( *aggregate.parent ) : nullptr;
208                break;
209        case AggregateInst:
210                newtype->aggInst.aggregate = maybeClone( aggInst.aggregate );
211                newtype->aggInst.params = maybeClone( aggInst.params );
212                newtype->aggInst.hoistType = aggInst.hoistType;
213                break;
214        case Enum:
215                newtype->enumeration.name = enumeration.name ? new string( *enumeration.name ) : nullptr;
216                newtype->enumeration.constants = maybeClone( enumeration.constants );
217                newtype->enumeration.body = enumeration.body;
218                newtype->enumeration.anon = enumeration.anon;
219                break;
220        case Symbolic:
221        case SymbolicInst:
222                newtype->symbolic.name = symbolic.name ? new string( *symbolic.name ) : nullptr;
223                newtype->symbolic.params = maybeClone( symbolic.params );
224                newtype->symbolic.actuals = maybeClone( symbolic.actuals );
225                newtype->symbolic.assertions = maybeClone( symbolic.assertions );
226                newtype->symbolic.isTypedef = symbolic.isTypedef;
227                break;
228        case Tuple:
229                newtype->tuple = maybeClone( tuple );
230                break;
231        case Typeof:
232        case Basetypeof:
233                newtype->typeexpr = maybeClone( typeexpr );
234                break;
235        case Vtable:
236                break;
237        case Builtin:
238                assert( builtintype == DeclarationNode::Zero || builtintype == DeclarationNode::One );
239                newtype->builtintype = builtintype;
240                break;
241        case Qualified:
242                newtype->qualified.parent = maybeClone( qualified.parent );
243                newtype->qualified.child = maybeClone( qualified.child );
244                break;
245        } // switch
246        return newtype;
247} // TypeData::clone
248
249
250void TypeData::print( ostream &os, int indent ) const {
251        ast::print( os, qualifiers );
252
253        if ( forall ) {
254                os << "forall " << endl;
255                forall->printList( os, indent + 4 );
256        } // if
257
258        switch ( kind ) {
259        case Basic:
260                if ( signedness != DeclarationNode::NoSignedness ) os << DeclarationNode::signednessNames[ signedness ] << " ";
261                if ( length != DeclarationNode::NoLength ) os << DeclarationNode::lengthNames[ length ] << " ";
262                if ( complextype != DeclarationNode::NoComplexType ) os << DeclarationNode::complexTypeNames[ complextype ] << " ";
263                if ( basictype != DeclarationNode::NoBasicType ) os << DeclarationNode::basicTypeNames[ basictype ] << " ";
264                break;
265        case Pointer:
266                os << "pointer ";
267                if ( base ) {
268                        os << "to ";
269                        base->print( os, indent );
270                } // if
271                break;
272        case Reference:
273                os << "reference ";
274                if ( base ) {
275                        os << "to ";
276                        base->print( os, indent );
277                } // if
278                break;
279        case Array:
280                if ( array.isStatic ) {
281                        os << "static ";
282                } // if
283                if ( array.dimension ) {
284                        os << "array of ";
285                        array.dimension->printOneLine( os, indent );
286                } else if ( array.isVarLen ) {
287                        os << "variable-length array of ";
288                } else {
289                        os << "open array of ";
290                } // if
291                if ( base ) {
292                        base->print( os, indent );
293                } // if
294                break;
295        case Function:
296                os << "function" << endl;
297                if ( function.params ) {
298                        os << string( indent + 2, ' ' ) << "with parameters " << endl;
299                        function.params->printList( os, indent + 4 );
300                } else {
301                        os << string( indent + 2, ' ' ) << "with no parameters" << endl;
302                } // if
303                if ( function.idList ) {
304                        os << string( indent + 2, ' ' ) << "with old-style identifier list " << endl;
305                        function.idList->printList( os, indent + 4 );
306                } // if
307                if ( function.oldDeclList ) {
308                        os << string( indent + 2, ' ' ) << "with old-style declaration list " << endl;
309                        function.oldDeclList->printList( os, indent + 4 );
310                } // if
311                os << string( indent + 2, ' ' ) << "returning ";
312                if ( base ) {
313                        base->print( os, indent + 4 );
314                } else {
315                        os << "nothing ";
316                } // if
317                os << endl;
318                if ( function.body ) {
319                        os << string( indent + 2, ' ' ) << "with body " << endl;
320                        function.body->printList( os, indent + 2 );
321                } // if
322                break;
323        case Aggregate:
324                os << ast::AggregateDecl::aggrString( aggregate.kind ) << ' ' << *aggregate.name << endl;
325                if ( aggregate.params ) {
326                        os << string( indent + 2, ' ' ) << "with type parameters" << endl;
327                        aggregate.params->printList( os, indent + 4 );
328                } // if
329                if ( aggregate.actuals ) {
330                        os << string( indent + 2, ' ' ) << "instantiated with actual parameters" << endl;
331                        aggregate.actuals->printList( os, indent + 4 );
332                } // if
333                if ( aggregate.fields ) {
334                        os << string( indent + 2, ' ' ) << "with members" << endl;
335                        aggregate.fields->printList( os, indent + 4 );
336                } // if
337                if ( aggregate.body ) {
338                        os << string( indent + 2, ' ' ) << " with body" << endl;
339                } // if
340                break;
341        case AggregateInst:
342                if ( aggInst.aggregate ) {
343                        os << "instance of " ;
344                        aggInst.aggregate->print( os, indent );
345                } else {
346                        os << "instance of an unspecified aggregate ";
347                } // if
348                if ( aggInst.params ) {
349                        os << string( indent + 2, ' ' ) << "with parameters" << endl;
350                        aggInst.params->printList( os, indent + 2 );
351                } // if
352                break;
353        case Enum:
354                os << "enumeration " << *enumeration.name << endl;;
355                if ( enumeration.constants ) {
356                        os << "with constants" << endl;
357                        enumeration.constants->printList( os, indent + 2 );
358                } // if
359                if ( enumeration.body ) {
360                        os << string( indent + 2, ' ' ) << " with body" << endl;
361                } // if
362                if ( base ) {
363                        os << "for ";
364                        base->print( os, indent + 2 );
365                } // if
366                break;
367        case EnumConstant:
368                os << "enumeration constant ";
369                break;
370        case Symbolic:
371                if ( symbolic.isTypedef ) {
372                        os << "typedef definition ";
373                } else {
374                        os << "type definition ";
375                } // if
376                if ( symbolic.params ) {
377                        os << endl << string( indent + 2, ' ' ) << "with parameters" << endl;
378                        symbolic.params->printList( os, indent + 2 );
379                } // if
380                if ( symbolic.assertions ) {
381                        os << endl << string( indent + 2, ' ' ) << "with assertions" << endl;
382                        symbolic.assertions->printList( os, indent + 4 );
383                        os << string( indent + 2, ' ' );
384                } // if
385                if ( base ) {
386                        os << "for ";
387                        base->print( os, indent + 2 );
388                } // if
389                break;
390        case SymbolicInst:
391                os << *symbolic.name;
392                if ( symbolic.actuals ) {
393                        os << "(";
394                        symbolic.actuals->printList( os, indent + 2 );
395                        os << ")";
396                } // if
397                break;
398        case Tuple:
399                os << "tuple ";
400                if ( tuple ) {
401                        os << "with members" << endl;
402                        tuple->printList( os, indent + 2 );
403                } // if
404                break;
405        case Basetypeof:
406                os << "base-";
407                #if defined(__GNUC__) && __GNUC__ >= 7
408                        __attribute__((fallthrough));
409                #endif
410                // FALL THROUGH
411        case Typeof:
412                os << "type-of expression ";
413                if ( typeexpr ) {
414                        typeexpr->print( os, indent + 2 );
415                } // if
416                break;
417        case Vtable:
418                os << "vtable";
419                break;
420        case Builtin:
421                os << DeclarationNode::builtinTypeNames[builtintype];
422                break;
423        case GlobalScope:
424                break;
425        case Qualified:
426                qualified.parent->print( os );
427                os << ".";
428                qualified.child->print( os );
429                break;
430        case Unknown:
431                os << "entity of unknown type ";
432                break;
433        default:
434                os << "internal error: TypeData::print " << kind << endl;
435                assert( false );
436        } // switch
437} // TypeData::print
438
439const std::string * TypeData::leafName() const {
440        switch ( kind ) {
441        case Unknown:
442        case Pointer:
443        case Reference:
444        case EnumConstant:
445        case GlobalScope:
446        case Array:
447        case Basic:
448        case Function:
449        case AggregateInst:
450        case Tuple:
451        case Typeof:
452        case Basetypeof:
453        case Builtin:
454        case Vtable:
455                assertf(false, "Tried to get leaf name from kind without a name: %d", kind);
456                break;
457        case Aggregate:
458                return aggregate.name;
459        case Enum:
460                return enumeration.name;
461        case Symbolic:
462        case SymbolicInst:
463                return symbolic.name;
464        case Qualified:
465                return qualified.child->leafName();
466        } // switch
467        assert(false);
468}
469
470
471void buildForall(
472                const DeclarationNode * firstNode,
473                std::vector<ast::ptr<ast::TypeInstType>> &outputList ) {
474        {
475                std::vector<ast::ptr<ast::Type>> tmpList;
476                buildTypeList( firstNode, tmpList );
477                for ( auto tmp : tmpList ) {
478                        outputList.emplace_back(
479                                strict_dynamic_cast<const ast::TypeInstType *>(
480                                        tmp.release() ) );
481                }
482        }
483        auto n = firstNode;
484        for ( auto i = outputList.begin() ;
485                        i != outputList.end() ;
486                        ++i, n = (DeclarationNode*)n->get_next() ) {
487                // Only the object type class adds additional assertions.
488                if ( n->variable.tyClass != ast::TypeDecl::Otype ) {
489                        continue;
490                }
491
492                ast::TypeDecl const * td = i->strict_as<ast::TypeDecl>();
493                std::vector<ast::ptr<ast::DeclWithType>> newAssertions;
494                auto mutTypeDecl = ast::mutate( td );
495                const CodeLocation & location = mutTypeDecl->location;
496                *i = mutTypeDecl;
497
498                // add assertion parameters to `type' tyvars in reverse order
499                // add assignment operator:  T * ?=?(T *, T)
500                newAssertions.push_back( new ast::FunctionDecl(
501                        location,
502                        "?=?",
503                        {}, // forall
504                        {}, // assertions
505                        {
506                                new ast::ObjectDecl(
507                                        location,
508                                        "",
509                                        new ast::ReferenceType( i->get() ),
510                                        (ast::Init *)nullptr,
511                                        ast::Storage::Classes(),
512                                        ast::Linkage::Cforall,
513                                        (ast::Expr *)nullptr
514                                ),
515                                new ast::ObjectDecl(
516                                        location,
517                                        "",
518                                        i->get(),
519                                        (ast::Init *)nullptr,
520                                        ast::Storage::Classes(),
521                                        ast::Linkage::Cforall,
522                                        (ast::Expr *)nullptr
523                                ),
524                        }, // params
525                        {
526                                new ast::ObjectDecl(
527                                        location,
528                                        "",
529                                        i->get(),
530                                        (ast::Init *)nullptr,
531                                        ast::Storage::Classes(),
532                                        ast::Linkage::Cforall,
533                                        (ast::Expr *)nullptr
534                                ),
535                        }, // returns
536                        (ast::CompoundStmt *)nullptr,
537                        ast::Storage::Classes(),
538                        ast::Linkage::Cforall
539                ) );
540
541                // add default ctor:  void ?{}(T *)
542                newAssertions.push_back( new ast::FunctionDecl(
543                        location,
544                        "?{}",
545                        {}, // forall
546                        {}, // assertions
547                        {
548                                new ast::ObjectDecl(
549                                        location,
550                                        "",
551                                        new ast::ReferenceType( i->get() ),
552                                        (ast::Init *)nullptr,
553                                        ast::Storage::Classes(),
554                                        ast::Linkage::Cforall,
555                                        (ast::Expr *)nullptr
556                                ),
557                        }, // params
558                        {}, // returns
559                        (ast::CompoundStmt *)nullptr,
560                        ast::Storage::Classes(),
561                        ast::Linkage::Cforall
562                ) );
563
564                // add copy ctor:  void ?{}(T *, T)
565                newAssertions.push_back( new ast::FunctionDecl(
566                        location,
567                        "?{}",
568                        {}, // forall
569                        {}, // assertions
570                        {
571                                new ast::ObjectDecl(
572                                        location,
573                                        "",
574                                        new ast::ReferenceType( i->get() ),
575                                        (ast::Init *)nullptr,
576                                        ast::Storage::Classes(),
577                                        ast::Linkage::Cforall,
578                                        (ast::Expr *)nullptr
579                                ),
580                                new ast::ObjectDecl(
581                                        location,
582                                        "",
583                                        i->get(),
584                                        (ast::Init *)nullptr,
585                                        ast::Storage::Classes(),
586                                        ast::Linkage::Cforall,
587                                        (ast::Expr *)nullptr
588                                ),
589                        }, // params
590                        {}, // returns
591                        (ast::CompoundStmt *)nullptr,
592                        ast::Storage::Classes(),
593                        ast::Linkage::Cforall
594                ) );
595
596                // add dtor:  void ^?{}(T *)
597                newAssertions.push_back( new ast::FunctionDecl(
598                        location,
599                        "^?{}",
600                        {}, // forall
601                        {}, // assertions
602                        {
603                                new ast::ObjectDecl(
604                                        location,
605                                        "",
606                                        new ast::ReferenceType( i->get() ),
607                                        (ast::Init *)nullptr,
608                                        ast::Storage::Classes(),
609                                        ast::Linkage::Cforall,
610                                        (ast::Expr *)nullptr
611                                ),
612                        }, // params
613                        {}, // returns
614                        (ast::CompoundStmt *)nullptr,
615                        ast::Storage::Classes(),
616                        ast::Linkage::Cforall
617                ) );
618
619                spliceBegin( mutTypeDecl->assertions, newAssertions );
620        } // for
621}
622
623
624void buildForall(
625                const DeclarationNode * firstNode,
626                std::vector<ast::ptr<ast::TypeDecl>> &outputForall ) {
627        buildList( firstNode, outputForall );
628        auto n = firstNode;
629        for ( auto i = outputForall.begin() ;
630                        i != outputForall.end() ;
631                        ++i, n = (DeclarationNode*)n->get_next() ) {
632                // Only the object type class adds additional assertions.
633                if ( n->variable.tyClass != ast::TypeDecl::Otype ) {
634                        continue;
635                }
636
637                ast::TypeDecl const * td = i->strict_as<ast::TypeDecl>();
638                std::vector<ast::ptr<ast::DeclWithType>> newAssertions;
639                auto mutTypeDecl = ast::mutate( td );
640                const CodeLocation & location = mutTypeDecl->location;
641                *i = mutTypeDecl;
642
643                // add assertion parameters to `type' tyvars in reverse order
644                // add assignment operator:  T * ?=?(T *, T)
645                newAssertions.push_back( new ast::FunctionDecl(
646                        location,
647                        "?=?",
648                        {}, // forall
649                        {}, // assertions
650                        {
651                                new ast::ObjectDecl(
652                                        location,
653                                        "",
654                                        new ast::ReferenceType( new ast::TypeInstType( td->name, *i ) ),
655                                        (ast::Init *)nullptr,
656                                        ast::Storage::Classes(),
657                                        ast::Linkage::Cforall,
658                                        (ast::Expr *)nullptr
659                                ),
660                                new ast::ObjectDecl(
661                                        location,
662                                        "",
663                                        new ast::TypeInstType( td->name, *i ),
664                                        (ast::Init *)nullptr,
665                                        ast::Storage::Classes(),
666                                        ast::Linkage::Cforall,
667                                        (ast::Expr *)nullptr
668                                ),
669                        }, // params
670                        {
671                                new ast::ObjectDecl(
672                                        location,
673                                        "",
674                                        new ast::TypeInstType( td->name, *i ),
675                                        (ast::Init *)nullptr,
676                                        ast::Storage::Classes(),
677                                        ast::Linkage::Cforall,
678                                        (ast::Expr *)nullptr
679                                ),
680                        }, // returns
681                        (ast::CompoundStmt *)nullptr,
682                        ast::Storage::Classes(),
683                        ast::Linkage::Cforall
684                ) );
685
686                // add default ctor:  void ?{}(T *)
687                newAssertions.push_back( new ast::FunctionDecl(
688                        location,
689                        "?{}",
690                        {}, // forall
691                        {}, // assertions
692                        {
693                                new ast::ObjectDecl(
694                                        location,
695                                        "",
696                                        new ast::ReferenceType(
697                                                new ast::TypeInstType( td->name, i->get() ) ),
698                                        (ast::Init *)nullptr,
699                                        ast::Storage::Classes(),
700                                        ast::Linkage::Cforall,
701                                        (ast::Expr *)nullptr
702                                ),
703                        }, // params
704                        {}, // returns
705                        (ast::CompoundStmt *)nullptr,
706                        ast::Storage::Classes(),
707                        ast::Linkage::Cforall
708                ) );
709
710                // add copy ctor:  void ?{}(T *, T)
711                newAssertions.push_back( new ast::FunctionDecl(
712                        location,
713                        "?{}",
714                        {}, // forall
715                        {}, // assertions
716                        {
717                                new ast::ObjectDecl(
718                                        location,
719                                        "",
720                                        new ast::ReferenceType(
721                                                new ast::TypeInstType( td->name, *i ) ),
722                                        (ast::Init *)nullptr,
723                                        ast::Storage::Classes(),
724                                        ast::Linkage::Cforall,
725                                        (ast::Expr *)nullptr
726                                ),
727                                new ast::ObjectDecl(
728                                        location,
729                                        "",
730                                        new ast::TypeInstType( td->name, *i ),
731                                        (ast::Init *)nullptr,
732                                        ast::Storage::Classes(),
733                                        ast::Linkage::Cforall,
734                                        (ast::Expr *)nullptr
735                                ),
736                        }, // params
737                        {}, // returns
738                        (ast::CompoundStmt *)nullptr,
739                        ast::Storage::Classes(),
740                        ast::Linkage::Cforall
741                ) );
742
743                // add dtor:  void ^?{}(T *)
744                newAssertions.push_back( new ast::FunctionDecl(
745                        location,
746                        "^?{}",
747                        {}, // forall
748                        {}, // assertions
749                        {
750                                new ast::ObjectDecl(
751                                        location,
752                                        "",
753                                        new ast::ReferenceType(
754                                                new ast::TypeInstType( i->get() )
755                                        ),
756                                        (ast::Init *)nullptr,
757                                        ast::Storage::Classes(),
758                                        ast::Linkage::Cforall,
759                                        (ast::Expr *)nullptr
760                                ),
761                        }, // params
762                        {}, // returns
763                        (ast::CompoundStmt *)nullptr,
764                        ast::Storage::Classes(),
765                        ast::Linkage::Cforall
766                ) );
767
768                spliceBegin( mutTypeDecl->assertions, newAssertions );
769        } // for
770} // buildForall
771
772
773ast::Type * typebuild( const TypeData * td ) {
774        assert( td );
775        switch ( td->kind ) {
776        case TypeData::Unknown:
777                // fill in implicit int
778                return new ast::BasicType(
779                        ast::BasicType::SignedInt,
780                        buildQualifiers( td )
781                );
782        case TypeData::Basic:
783                return buildBasicType( td );
784        case TypeData::Pointer:
785                return buildPointer( td );
786        case TypeData::Array:
787                return buildArray( td );
788        case TypeData::Reference:
789                return buildReference( td );
790        case TypeData::Function:
791                return buildFunctionType( td );
792        case TypeData::AggregateInst:
793                return buildAggInst( td );
794        case TypeData::EnumConstant:
795                return new ast::EnumInstType( "", buildQualifiers( td ) );
796        case TypeData::SymbolicInst:
797                return buildSymbolicInst( td );
798        case TypeData::Tuple:
799                return buildTuple( td );
800        case TypeData::Typeof:
801        case TypeData::Basetypeof:
802                return buildTypeof( td );
803        case TypeData::Vtable:
804                return buildVtable( td );
805        case TypeData::Builtin:
806                switch ( td->builtintype ) {
807                case DeclarationNode::Zero:
808                        return new ast::ZeroType();
809                case DeclarationNode::One:
810                        return new ast::OneType();
811                default:
812                        return new ast::VarArgsType( buildQualifiers( td ) );
813                } // switch
814        case TypeData::GlobalScope:
815                return new ast::GlobalScopeType();
816        case TypeData::Qualified:
817                return new ast::QualifiedType(
818                        typebuild( td->qualified.parent ),
819                        typebuild( td->qualified.child ),
820                        buildQualifiers( td )
821                );
822        case TypeData::Symbolic:
823        case TypeData::Enum:
824        case TypeData::Aggregate:
825                assert( false );
826        } // switch
827
828        return nullptr;
829} // typebuild
830
831
832TypeData * typeextractAggregate( const TypeData * td, bool toplevel ) {
833        TypeData * ret = nullptr;
834
835        switch ( td->kind ) {
836        case TypeData::Aggregate:
837                if ( ! toplevel && td->aggregate.body ) {
838                        ret = td->clone();
839                } // if
840                break;
841        case TypeData::Enum:
842                if ( ! toplevel && td->enumeration.body ) {
843                        ret = td->clone();
844                } // if
845                break;
846        case TypeData::AggregateInst:
847                if ( td->aggInst.aggregate ) {
848                        ret = typeextractAggregate( td->aggInst.aggregate, false );
849                } // if
850                break;
851        default:
852                if ( td->base ) {
853                        ret = typeextractAggregate( td->base, false );
854                } // if
855        } // switch
856        return ret;
857} // typeextractAggregate
858
859
860ast::CV::Qualifiers buildQualifiers( const TypeData * td ) {
861        return td->qualifiers;
862} // buildQualifiers
863
864
865static string genTSError( string msg, DeclarationNode::BasicType basictype ) {
866        SemanticError( yylloc, string( "invalid type specifier \"" ) + msg + "\" for type \"" + DeclarationNode::basicTypeNames[basictype] + "\"." );
867} // genTSError
868
869ast::Type * buildBasicType( const TypeData * td ) {
870        ast::BasicType::Kind ret;
871
872        switch ( td->basictype ) {
873        case DeclarationNode::Void:
874                if ( td->signedness != DeclarationNode::NoSignedness ) {
875                        genTSError( DeclarationNode::signednessNames[ td->signedness ], td->basictype );
876                } // if
877                if ( td->length != DeclarationNode::NoLength ) {
878                        genTSError( DeclarationNode::lengthNames[ td->length ], td->basictype );
879                } // if
880                return new ast::VoidType( buildQualifiers( td ) );
881                break;
882
883        case DeclarationNode::Bool:
884                if ( td->signedness != DeclarationNode::NoSignedness ) {
885                        genTSError( DeclarationNode::signednessNames[ td->signedness ], td->basictype );
886                } // if
887                if ( td->length != DeclarationNode::NoLength ) {
888                        genTSError( DeclarationNode::lengthNames[ td->length ], td->basictype );
889                } // if
890
891                ret = ast::BasicType::Bool;
892                break;
893
894        case DeclarationNode::Char:
895                // C11 Standard 6.2.5.15: The three types char, signed char, and unsigned char are collectively called the
896                // character types. The implementation shall define char to have the same range, representation, and behavior as
897                // either signed char or unsigned char.
898                static ast::BasicType::Kind chartype[] = { ast::BasicType::SignedChar, ast::BasicType::UnsignedChar, ast::BasicType::Char };
899
900                if ( td->length != DeclarationNode::NoLength ) {
901                        genTSError( DeclarationNode::lengthNames[ td->length ], td->basictype );
902                } // if
903
904                ret = chartype[ td->signedness ];
905                break;
906
907        case DeclarationNode::Int:
908                static ast::BasicType::Kind inttype[2][4] = {
909                        { ast::BasicType::ShortSignedInt, ast::BasicType::LongSignedInt, ast::BasicType::LongLongSignedInt, ast::BasicType::SignedInt },
910                        { ast::BasicType::ShortUnsignedInt, ast::BasicType::LongUnsignedInt, ast::BasicType::LongLongUnsignedInt, ast::BasicType::UnsignedInt },
911                };
912
913        Integral: ;
914                if ( td->signedness == DeclarationNode::NoSignedness ) {
915                        const_cast<TypeData *>(td)->signedness = DeclarationNode::Signed;
916                } // if
917                ret = inttype[ td->signedness ][ td->length ];
918                break;
919
920        case DeclarationNode::Int128:
921                ret = td->signedness == DeclarationNode::Unsigned ? ast::BasicType::UnsignedInt128 : ast::BasicType::SignedInt128;
922                if ( td->length != DeclarationNode::NoLength ) {
923                        genTSError( DeclarationNode::lengthNames[ td->length ], td->basictype );
924                } // if
925                break;
926
927        case DeclarationNode::Float:
928        case DeclarationNode::Double:
929        case DeclarationNode::LongDouble:                                       // not set until below
930        case DeclarationNode::uuFloat80:
931        case DeclarationNode::uuFloat128:
932        case DeclarationNode::uFloat16:
933        case DeclarationNode::uFloat32:
934        case DeclarationNode::uFloat32x:
935        case DeclarationNode::uFloat64:
936        case DeclarationNode::uFloat64x:
937        case DeclarationNode::uFloat128:
938        case DeclarationNode::uFloat128x:
939                static ast::BasicType::Kind floattype[2][12] = {
940                        { ast::BasicType::FloatComplex, ast::BasicType::DoubleComplex, ast::BasicType::LongDoubleComplex, (ast::BasicType::Kind)-1, (ast::BasicType::Kind)-1, ast::BasicType::uFloat16Complex, ast::BasicType::uFloat32Complex, ast::BasicType::uFloat32xComplex, ast::BasicType::uFloat64Complex, ast::BasicType::uFloat64xComplex, ast::BasicType::uFloat128Complex, ast::BasicType::uFloat128xComplex, },
941                        { ast::BasicType::Float, ast::BasicType::Double, ast::BasicType::LongDouble, ast::BasicType::uuFloat80, ast::BasicType::uuFloat128, ast::BasicType::uFloat16, ast::BasicType::uFloat32, ast::BasicType::uFloat32x, ast::BasicType::uFloat64, ast::BasicType::uFloat64x, ast::BasicType::uFloat128, ast::BasicType::uFloat128x, },
942                };
943
944        FloatingPoint: ;
945                if ( td->signedness != DeclarationNode::NoSignedness ) {
946                        genTSError( DeclarationNode::signednessNames[ td->signedness ], td->basictype );
947                } // if
948                if ( td->length == DeclarationNode::Short || td->length == DeclarationNode::LongLong ) {
949                        genTSError( DeclarationNode::lengthNames[ td->length ], td->basictype );
950                } // if
951                if ( td->basictype != DeclarationNode::Double && td->length == DeclarationNode::Long ) {
952                        genTSError( DeclarationNode::lengthNames[ td->length ], td->basictype );
953                } // if
954                if ( td->complextype == DeclarationNode::Imaginary ) {
955                        genTSError( DeclarationNode::complexTypeNames[ td->complextype ], td->basictype );
956                } // if
957                if ( (td->basictype == DeclarationNode::uuFloat80 || td->basictype == DeclarationNode::uuFloat128) && td->complextype == DeclarationNode::Complex ) { // gcc unsupported
958                        genTSError( DeclarationNode::complexTypeNames[ td->complextype ], td->basictype );
959                } // if
960                if ( td->length == DeclarationNode::Long ) {
961                        const_cast<TypeData *>(td)->basictype = DeclarationNode::LongDouble;
962                } // if
963
964                ret = floattype[ td->complextype ][ td->basictype - DeclarationNode::Float ];
965                //printf( "XXXX %d %d %d %d\n", td->complextype, td->basictype, DeclarationNode::Float, ret );
966                break;
967
968        case DeclarationNode::NoBasicType:
969                // No basic type in declaration => default double for Complex/Imaginary and int type for integral types
970                if ( td->complextype == DeclarationNode::Complex || td->complextype == DeclarationNode::Imaginary ) {
971                        const_cast<TypeData *>(td)->basictype = DeclarationNode::Double;
972                        goto FloatingPoint;
973                } // if
974
975                const_cast<TypeData *>(td)->basictype = DeclarationNode::Int;
976                goto Integral;
977        default:
978                assertf( false, "unknown basic type" );
979                return nullptr;
980        } // switch
981
982        ast::BasicType * bt = new ast::BasicType( ret, buildQualifiers( td ) );
983        return bt;
984} // buildBasicType
985
986
987ast::PointerType * buildPointer( const TypeData * td ) {
988        ast::PointerType * pt;
989        if ( td->base ) {
990                pt = new ast::PointerType(
991                        typebuild( td->base ),
992                        buildQualifiers( td )
993                );
994        } else {
995                pt = new ast::PointerType(
996                        new ast::BasicType( ast::BasicType::SignedInt ),
997                        buildQualifiers( td )
998                );
999        } // if
1000        return pt;
1001} // buildPointer
1002
1003
1004ast::ArrayType * buildArray( const TypeData * td ) {
1005        ast::ArrayType * at;
1006        if ( td->base ) {
1007                at = new ast::ArrayType(
1008                        typebuild( td->base ),
1009                        maybeBuild( td->array.dimension ),
1010                        td->array.isVarLen ? ast::VariableLen : ast::FixedLen,
1011                        td->array.isStatic ? ast::StaticDim : ast::DynamicDim,
1012                        buildQualifiers( td )
1013                );
1014        } else {
1015                at = new ast::ArrayType(
1016                        new ast::BasicType( ast::BasicType::SignedInt ),
1017                        maybeBuild( td->array.dimension ),
1018                        td->array.isVarLen ? ast::VariableLen : ast::FixedLen,
1019                        td->array.isStatic ? ast::StaticDim : ast::DynamicDim,
1020                        buildQualifiers( td )
1021                );
1022        } // if
1023        return at;
1024} // buildArray
1025
1026
1027ast::ReferenceType * buildReference( const TypeData * td ) {
1028        ast::ReferenceType * rt;
1029        if ( td->base ) {
1030                rt = new ast::ReferenceType(
1031                        typebuild( td->base ),
1032                        buildQualifiers( td )
1033                );
1034        } else {
1035                rt = new ast::ReferenceType(
1036                        new ast::BasicType( ast::BasicType::SignedInt ),
1037                        buildQualifiers( td )
1038                );
1039        } // if
1040        return rt;
1041} // buildReference
1042
1043
1044ast::AggregateDecl * buildAggregate( const TypeData * td, std::vector<ast::ptr<ast::Attribute>> attributes, ast::Linkage::Spec linkage ) {
1045        assert( td->kind == TypeData::Aggregate );
1046        ast::AggregateDecl * at;
1047        switch ( td->aggregate.kind ) {
1048        case ast::AggregateDecl::Struct:
1049        case ast::AggregateDecl::Coroutine:
1050        case ast::AggregateDecl::Exception:
1051        case ast::AggregateDecl::Generator:
1052        case ast::AggregateDecl::Monitor:
1053        case ast::AggregateDecl::Thread:
1054                at = new ast::StructDecl( td->location,
1055                        *td->aggregate.name,
1056                        td->aggregate.kind,
1057                        std::move( attributes ),
1058                        linkage
1059                );
1060                buildForall( td->aggregate.params, at->params );
1061                break;
1062        case ast::AggregateDecl::Union:
1063                at = new ast::UnionDecl( td->location,
1064                        *td->aggregate.name,
1065                        std::move( attributes ),
1066                        linkage
1067                );
1068                buildForall( td->aggregate.params, at->params );
1069                break;
1070        case ast::AggregateDecl::Trait:
1071                at = new ast::TraitDecl( td->location,
1072                        *td->aggregate.name,
1073                        std::move( attributes ),
1074                        linkage
1075                );
1076                buildList( td->aggregate.params, at->params );
1077                break;
1078        default:
1079                assert( false );
1080        } // switch
1081
1082        buildList( td->aggregate.fields, at->members );
1083        at->set_body( td->aggregate.body );
1084
1085        return at;
1086} // buildAggregate
1087
1088
1089ast::BaseInstType * buildComAggInst(
1090                const TypeData * type,
1091                std::vector<ast::ptr<ast::Attribute>> && attributes,
1092                ast::Linkage::Spec linkage ) {
1093        switch ( type->kind ) {
1094        case TypeData::Enum:
1095                if ( type->enumeration.body ) {
1096                        ast::EnumDecl * typedecl =
1097                                buildEnum( type, std::move( attributes ), linkage );
1098                        return new ast::EnumInstType(
1099                                typedecl,
1100                                buildQualifiers( type )
1101                        );
1102                } else {
1103                        return new ast::EnumInstType(
1104                                *type->enumeration.name,
1105                                buildQualifiers( type )
1106                        );
1107                } // if
1108                break;
1109        case TypeData::Aggregate:
1110                if ( type->aggregate.body ) {
1111                        ast::AggregateDecl * typedecl =
1112                                buildAggregate( type, std::move( attributes ), linkage );
1113                        switch ( type->aggregate.kind ) {
1114                        case ast::AggregateDecl::Struct:
1115                        case ast::AggregateDecl::Coroutine:
1116                        case ast::AggregateDecl::Monitor:
1117                        case ast::AggregateDecl::Thread:
1118                                return new ast::StructInstType(
1119                                        strict_dynamic_cast<ast::StructDecl *>( typedecl ),
1120                                        buildQualifiers( type )
1121                                );
1122                        case ast::AggregateDecl::Union:
1123                                return new ast::UnionInstType(
1124                                        strict_dynamic_cast<ast::UnionDecl *>( typedecl ),
1125                                        buildQualifiers( type )
1126                                );
1127                        case ast::AggregateDecl::Trait:
1128                                assert( false );
1129                                break;
1130                        default:
1131                                assert( false );
1132                        } // switch
1133                } else {
1134                        switch ( type->aggregate.kind ) {
1135                        case ast::AggregateDecl::Struct:
1136                        case ast::AggregateDecl::Coroutine:
1137                        case ast::AggregateDecl::Monitor:
1138                        case ast::AggregateDecl::Thread:
1139                                return new ast::StructInstType(
1140                                        *type->aggregate.name,
1141                                        buildQualifiers( type )
1142                                );
1143                        case ast::AggregateDecl::Union:
1144                                return new ast::UnionInstType(
1145                                        *type->aggregate.name,
1146                                        buildQualifiers( type )
1147                                );
1148                        case ast::AggregateDecl::Trait:
1149                                return new ast::TraitInstType(
1150                                        *type->aggregate.name,
1151                                        buildQualifiers( type )
1152                                );
1153                        default:
1154                                assert( false );
1155                        } // switch
1156                        break;
1157                } // if
1158                break;
1159        default:
1160                assert( false );
1161        } // switch
1162        assert( false );
1163} // buildAggInst
1164
1165
1166ast::BaseInstType * buildAggInst( const TypeData * td ) {
1167        assert( td->kind == TypeData::AggregateInst );
1168
1169        ast::BaseInstType * ret = nullptr;
1170        TypeData * type = td->aggInst.aggregate;
1171        switch ( type->kind ) {
1172        case TypeData::Enum:
1173                return new ast::EnumInstType(
1174                        *type->enumeration.name,
1175                        buildQualifiers( type )
1176                );
1177        case TypeData::Aggregate:
1178                switch ( type->aggregate.kind ) {
1179                case ast::AggregateDecl::Struct:
1180                case ast::AggregateDecl::Coroutine:
1181                case ast::AggregateDecl::Monitor:
1182                case ast::AggregateDecl::Thread:
1183                        ret = new ast::StructInstType(
1184                                *type->aggregate.name,
1185                                buildQualifiers( type )
1186                        );
1187                        break;
1188                case ast::AggregateDecl::Union:
1189                        ret = new ast::UnionInstType(
1190                                *type->aggregate.name,
1191                                buildQualifiers( type )
1192                        );
1193                        break;
1194                case ast::AggregateDecl::Trait:
1195                        ret = new ast::TraitInstType(
1196                                *type->aggregate.name,
1197                                buildQualifiers( type )
1198                        );
1199                        break;
1200                default:
1201                        assert( false );
1202                } // switch
1203                break;
1204        default:
1205                assert( false );
1206        } // switch
1207
1208        ret->hoistType = td->aggInst.hoistType;
1209        buildList( td->aggInst.params, ret->params );
1210        return ret;
1211} // buildAggInst
1212
1213
1214ast::NamedTypeDecl * buildSymbolic(
1215                const TypeData * td,
1216                std::vector<ast::ptr<ast::Attribute>> attributes,
1217                const std::string & name,
1218                ast::Storage::Classes scs,
1219                ast::Linkage::Spec linkage ) {
1220        assert( td->kind == TypeData::Symbolic );
1221        ast::NamedTypeDecl * ret;
1222        assert( td->base );
1223        if ( td->symbolic.isTypedef ) {
1224                ret = new ast::TypedefDecl(
1225                        td->location,
1226                        name,
1227                        scs,
1228                        typebuild( td->base ),
1229                        linkage
1230                );
1231        } else {
1232                ret = new ast::TypeDecl(
1233                        td->location,
1234                        name,
1235                        scs,
1236                        typebuild( td->base ),
1237                        ast::TypeDecl::Dtype,
1238                        true
1239                );
1240        } // if
1241        buildList( td->symbolic.assertions, ret->assertions );
1242        splice( ret->base.get_and_mutate()->attributes, attributes );
1243        return ret;
1244} // buildSymbolic
1245
1246
1247ast::EnumDecl * buildEnum(
1248                const TypeData * td,
1249                std::vector<ast::ptr<ast::Attribute>> && attributes,
1250                ast::Linkage::Spec linkage ) {
1251        assert( td->kind == TypeData::Enum );
1252        ast::Type * baseType = td->base ? typebuild(td->base) : nullptr;
1253        ast::EnumDecl * ret = new ast::EnumDecl(
1254                td->location,
1255                *td->enumeration.name,
1256                td->enumeration.typed,
1257                std::move( attributes ),
1258                linkage,
1259                baseType
1260        );
1261        buildList( td->enumeration.constants, ret->members );
1262        if ( td->enumeration.data_constructors != nullptr ) {
1263                buildDataConstructors( td->enumeration.data_constructors, ret->data_constructors );
1264                ret->data_union = buildDataUnion( ret, ret->data_constructors );
1265                ret->tag = buildTag( ret, ret->data_constructors );
1266                ret->tag_union = buildTaggedUnions( ret, ret->tag.get(), ret->data_union.get() );
1267        }
1268
1269        if ( ret->data_constructors.size() > 0 ) ret->isData = true;
1270        auto members = ret->members.begin();
1271        ret->hide = td->enumeration.hiding == EnumHiding::Hide ? ast::EnumDecl::EnumHiding::Hide : ast::EnumDecl::EnumHiding::Visible;
1272        for ( const DeclarationNode * cur = td->enumeration.constants; cur != nullptr; cur = dynamic_cast< DeclarationNode * >( cur->get_next() ), ++members ) {
1273                if ( cur->enumInLine ) {
1274                        // Do Nothing
1275                } else if ( ret->isTyped && !ret->base && cur->has_enumeratorValue() ) {
1276                        SemanticError( td->location, "Enumerator of enum(void) cannot have an explicit initializer value." );
1277                } else if ( cur->has_enumeratorValue() ) {
1278                        ast::Decl * member = members->get_and_mutate();
1279                        ast::ObjectDecl * object = strict_dynamic_cast<ast::ObjectDecl *>( member );
1280                        object->init = new ast::SingleInit(
1281                                td->location,
1282                                maybeMoveBuild( cur->consume_enumeratorValue() ),
1283                                ast::NoConstruct
1284                        );
1285                } else if ( !cur->initializer ) {
1286                        if ( baseType && (!dynamic_cast<ast::BasicType *>(baseType) || !dynamic_cast<ast::BasicType *>(baseType)->isInteger())) {
1287                                SemanticError( td->location, "Enumerators of an non-integer typed enum must be explicitly initialized." );
1288                        }
1289                }
1290                // else cur is a List Initializer and has been set as init in buildList()
1291                // if
1292        } // for
1293        ret->body = td->enumeration.body;
1294        return ret;
1295} // buildEnum
1296
1297
1298ast::TypeInstType * buildSymbolicInst( const TypeData * td ) {
1299        assert( td->kind == TypeData::SymbolicInst );
1300        ast::TypeInstType * ret = new ast::TypeInstType(
1301                *td->symbolic.name,
1302                ast::TypeDecl::Dtype,
1303                buildQualifiers( td )
1304        );
1305        buildList( td->symbolic.actuals, ret->params );
1306        return ret;
1307} // buildSymbolicInst
1308
1309
1310ast::TupleType * buildTuple( const TypeData * td ) {
1311        assert( td->kind == TypeData::Tuple );
1312        std::vector<ast::ptr<ast::Type>> types;
1313        buildTypeList( td->tuple, types );
1314        ast::TupleType * ret = new ast::TupleType(
1315                std::move( types ),
1316                buildQualifiers( td )
1317        );
1318        return ret;
1319} // buildTuple
1320
1321
1322ast::TypeofType * buildTypeof( const TypeData * td ) {
1323        assert( td->kind == TypeData::Typeof || td->kind == TypeData::Basetypeof );
1324        assert( td->typeexpr );
1325        return new ast::TypeofType(
1326                td->typeexpr->build(),
1327                td->kind == TypeData::Typeof
1328                        ? ast::TypeofType::Typeof : ast::TypeofType::Basetypeof,
1329                buildQualifiers( td )
1330        );
1331} // buildTypeof
1332
1333
1334ast::VTableType * buildVtable( const TypeData * td ) {
1335        assert( td->base );
1336        return new ast::VTableType(
1337                typebuild( td->base ),
1338                buildQualifiers( td )
1339        );
1340} // buildVtable
1341
1342
1343ast::FunctionDecl * buildFunctionDecl(
1344                const TypeData * td,
1345                const string &name,
1346                ast::Storage::Classes scs,
1347                ast::Function::Specs funcSpec,
1348                ast::Linkage::Spec linkage,
1349                ast::Expr * asmName,
1350                std::vector<ast::ptr<ast::Attribute>> && attributes ) {
1351        assert( td->kind == TypeData::Function );
1352        // For some reason FunctionDecl takes a bool instead of an ArgumentFlag.
1353        bool isVarArgs = !td->function.params || td->function.params->hasEllipsis;
1354        ast::CV::Qualifiers cvq = buildQualifiers( td );
1355        std::vector<ast::ptr<ast::TypeDecl>> forall;
1356        std::vector<ast::ptr<ast::DeclWithType>> assertions;
1357        std::vector<ast::ptr<ast::DeclWithType>> params;
1358        std::vector<ast::ptr<ast::DeclWithType>> returns;
1359        buildList( td->function.params, params );
1360        buildForall( td->forall, forall );
1361        // Functions do not store their assertions there anymore.
1362        for ( ast::ptr<ast::TypeDecl> & type_param : forall ) {
1363                auto mut = type_param.get_and_mutate();
1364                splice( assertions, mut->assertions );
1365        }
1366        if ( td->base ) {
1367                switch ( td->base->kind ) {
1368                case TypeData::Tuple:
1369                        buildList( td->base->tuple, returns );
1370                        break;
1371                default:
1372                        returns.push_back( dynamic_cast<ast::DeclWithType *>(
1373                                buildDecl(
1374                                        td->base,
1375                                        "",
1376                                        ast::Storage::Classes(),
1377                                        (ast::Expr *)nullptr, // bitfieldWidth
1378                                        ast::Function::Specs(),
1379                                        ast::Linkage::Cforall,
1380                                        (ast::Expr *)nullptr // asmName
1381                                )
1382                        ) );
1383                } // switch
1384        } else {
1385                returns.push_back( new ast::ObjectDecl(
1386                        td->location,
1387                        "",
1388                        new ast::BasicType( ast::BasicType::SignedInt ),
1389                        (ast::Init *)nullptr,
1390                        ast::Storage::Classes(),
1391                        ast::Linkage::Cforall
1392                ) );
1393        } // if
1394        ast::Stmt * stmt = maybeBuild( td->function.body );
1395        ast::CompoundStmt * body = dynamic_cast<ast::CompoundStmt *>( stmt );
1396        ast::FunctionDecl * decl = new ast::FunctionDecl( td->location,
1397                name,
1398                std::move( forall ),
1399                std::move( assertions ),
1400                std::move( params ),
1401                std::move( returns ),
1402                body,
1403                scs,
1404                linkage,
1405                std::move( attributes ),
1406                funcSpec,
1407                (isVarArgs) ? ast::VariableArgs : ast::FixedArgs
1408        );
1409        buildList( td->function.withExprs, decl->withExprs );
1410        decl->asmName = asmName;
1411        // This may be redundant on a declaration.
1412        decl->type.get_and_mutate()->qualifiers = cvq;
1413        return decl;
1414} // buildFunctionDecl
1415
1416
1417ast::Decl * buildDecl(
1418                const TypeData * td,
1419                const string &name,
1420                ast::Storage::Classes scs,
1421                ast::Expr * bitfieldWidth,
1422                ast::Function::Specs funcSpec,
1423                ast::Linkage::Spec linkage,
1424                ast::Expr * asmName,
1425                ast::Init * init,
1426                std::vector<ast::ptr<ast::Attribute>> && attributes ) {
1427        if ( td->kind == TypeData::Function ) {
1428                if ( td->function.idList ) {                                    // KR function ?
1429                        buildKRFunction( td->function );                        // transform into C11 function
1430                } // if
1431
1432                return buildFunctionDecl(
1433                        td, name, scs, funcSpec, linkage,
1434                        asmName, std::move( attributes ) );
1435        } else if ( td->kind == TypeData::Aggregate ) {
1436                return buildAggregate( td, std::move( attributes ), linkage );
1437        } else if ( td->kind == TypeData::Enum ) {
1438                return buildEnum( td, std::move( attributes ), linkage );
1439        } else if ( td->kind == TypeData::Symbolic ) {
1440                return buildSymbolic( td, std::move( attributes ), name, scs, linkage );
1441        } else {
1442                auto ret = new ast::ObjectDecl( td->location,
1443                        name,
1444                        typebuild( td ),
1445                        init,
1446                        scs,
1447                        linkage,
1448                        bitfieldWidth,
1449                        std::move( attributes )
1450                );
1451                ret->asmName = asmName;
1452                return ret;
1453        } // if
1454        return nullptr;
1455} // buildDecl
1456
1457
1458ast::FunctionType * buildFunctionType( const TypeData * td ) {
1459        assert( td->kind == TypeData::Function );
1460        ast::FunctionType * ft = new ast::FunctionType(
1461                ( !td->function.params || td->function.params->hasEllipsis )
1462                        ? ast::VariableArgs : ast::FixedArgs,
1463                buildQualifiers( td )
1464        );
1465        buildTypeList( td->function.params, ft->params );
1466        buildForall( td->forall, ft->forall );
1467        if ( td->base ) {
1468                switch ( td->base->kind ) {
1469                case TypeData::Tuple:
1470                        buildTypeList( td->base->tuple, ft->returns );
1471                        break;
1472                default:
1473                        ft->returns.push_back( typebuild( td->base ) );
1474                        break;
1475                } // switch
1476        } else {
1477                ft->returns.push_back(
1478                        new ast::BasicType( ast::BasicType::SignedInt ) );
1479        } // if
1480        return ft;
1481} // buildFunctionType
1482
1483
1484// Transform KR routine declarations into C99 routine declarations:
1485//
1486//    rtn( a, b, c ) int a, c; double b {}  =>  int rtn( int a, double c, int b ) {}
1487//
1488// The type information for each post-declaration is moved to the corresponding pre-parameter and the post-declaration
1489// is deleted. Note, the order of the parameter names may not be the same as the declaration names. Duplicate names and
1490// extra names are disallowed.
1491//
1492// Note, there is no KR routine-prototype syntax:
1493//
1494//    rtn( a, b, c ) int a, c; double b; // invalid KR prototype
1495//    rtn(); // valid KR prototype
1496
1497void buildKRFunction( const TypeData::Function_t & function ) {
1498        assert( ! function.params );
1499        // loop over declaration first as it is easier to spot errors
1500        for ( DeclarationNode * decl = function.oldDeclList; decl != nullptr; decl = dynamic_cast< DeclarationNode * >( decl->get_next() ) ) {
1501                // scan ALL parameter names for each declaration name to check for duplicates
1502                for ( DeclarationNode * param = function.idList; param != nullptr; param = dynamic_cast< DeclarationNode * >( param->get_next() ) ) {
1503                        if ( *decl->name == *param->name ) {
1504                                // type set => parameter name already transformed by a declaration names so there is a duplicate
1505                                // declaration name attempting a second transformation
1506                                if ( param->type ) SemanticError( param->location, string( "duplicate declaration name " ) + *param->name );
1507                                // declaration type reset => declaration already transformed by a parameter name so there is a duplicate
1508                                // parameter name attempting a second transformation
1509                                if ( ! decl->type ) SemanticError( param->location, string( "duplicate parameter name " ) + *param->name );
1510                                param->type = decl->type;                               // set copy declaration type to parameter type
1511                                decl->type = nullptr;                                   // reset declaration type
1512                                // Copy and reset attributes from declaration to parameter:
1513                                splice( param->attributes, decl->attributes );
1514                        } // if
1515                } // for
1516                // declaration type still set => type not moved to a matching parameter so there is a missing parameter name
1517                if ( decl->type ) SemanticError( decl->location, string( "missing name in parameter list " ) + *decl->name );
1518        } // for
1519
1520        // Parameter names without a declaration default to type int:
1521        //
1522        //    rtb( a, b, c ) const char * b; {} => int rtn( int a, const char * b, int c ) {}
1523
1524        for ( DeclarationNode * param = function.idList; param != nullptr; param = dynamic_cast< DeclarationNode * >( param->get_next() ) ) {
1525                if ( ! param->type ) {                                                  // generate type int for empty parameter type
1526                        param->type = new TypeData( TypeData::Basic );
1527                        param->type->basictype = DeclarationNode::Int;
1528                } // if
1529        } // for
1530
1531        function.params = function.idList;                                      // newly modified idList becomes parameters
1532        function.idList = nullptr;                                                      // idList now empty
1533        delete function.oldDeclList;                                            // deletes entire list
1534        function.oldDeclList = nullptr;                                         // reset
1535} // buildKRFunction
1536
1537// Local Variables: //
1538// tab-width: 4 //
1539// mode: c++ //
1540// compile-command: "make install" //
1541// End: //
Note: See TracBrowser for help on using the repository browser.