source: src/AST/Decl.cpp @ f520c4c

ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
Last change on this file since f520c4c was a4a6802, checked in by Fangren Yu <f37yu@…>, 3 years ago

fill in FunctionType? assertions early

  • Property mode set to 100644
File size: 4.8 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// Decl.cpp --
8//
9// Author           : Aaron B. Moss
10// Created On       : Thu May 9 10:00:00 2019
11// Last Modified By : Peter A. Buhr
12// Last Modified On : Tue Jan 12 16:54:55 2021
13// Update Count     : 23
14//
15
16#include "Decl.hpp"
17
18#include <cassert>             // for assert, strict_dynamic_cast
19#include <iostream>
20#include <unordered_map>
21
22#include "Common/utility.h"
23
24#include "Fwd.hpp"             // for UniqueId
25#include "Init.hpp"
26#include "Node.hpp"            // for readonly
27#include "Type.hpp"            // for readonly
28#include "Expr.hpp"
29
30namespace ast {
31
32// To canonicalize declarations
33static UniqueId lastUniqueId = 0;
34
35using IdMapType = std::unordered_map< UniqueId, readonly<Decl> >;
36static IdMapType idMap;
37
38void Decl::fixUniqueId() {
39        if ( uniqueId ) return;  // ensure only set once
40        uniqueId = ++lastUniqueId;
41        idMap[ uniqueId ] = this;
42}
43
44readonly<Decl> Decl::fromId( UniqueId id ) {
45        IdMapType::const_iterator i = idMap.find( id );
46        if ( i != idMap.end() ) return i->second;
47        return {};
48}
49
50// --- FunctionDecl
51
52FunctionDecl::FunctionDecl( const CodeLocation & loc, const std::string & name, 
53        std::vector<ptr<TypeDecl>>&& forall,
54        std::vector<ptr<DeclWithType>>&& params, std::vector<ptr<DeclWithType>>&& returns,
55        CompoundStmt * stmts, Storage::Classes storage, Linkage::Spec linkage,
56        std::vector<ptr<Attribute>>&& attrs, Function::Specs fs, bool isVarArgs)
57: DeclWithType( loc, name, storage, linkage, std::move(attrs), fs ), params(std::move(params)), returns(std::move(returns)),
58        type_params(std::move(forall)), stmts( stmts ) {
59        FunctionType * ftype = new FunctionType(static_cast<ArgumentFlag>(isVarArgs));
60        for (auto & param : this->params) {
61                ftype->params.emplace_back(param->get_type());
62        }
63        for (auto & ret : this->returns) {
64                ftype->returns.emplace_back(ret->get_type());
65        }
66        for (auto & tp : this->type_params) {
67                ftype->forall.emplace_back(new TypeInstType(tp->name, tp));
68                for (auto & ap: tp->assertions) {
69                        ftype->assertions.emplace_back(new VariableExpr(loc, ap));
70                }
71        }
72        this->type = ftype;
73}
74
75
76const Type * FunctionDecl::get_type() const { return type.get(); }
77void FunctionDecl::set_type( const Type * t ) {
78        type = strict_dynamic_cast< const FunctionType * >( t );
79}
80
81// --- TypeDecl
82
83const char * TypeDecl::typeString() const {
84        static const char * kindNames[] = { "sized data type", "sized data type", "sized object type", "sized function type", "sized tuple type", "sized length value" };
85        static_assert( sizeof(kindNames) / sizeof(kindNames[0]) == TypeDecl::NUMBER_OF_KINDS, "typeString: kindNames is out of sync." );
86        assertf( kind < TypeDecl::NUMBER_OF_KINDS, "TypeDecl kind is out of bounds." );
87        return sized ? kindNames[ kind ] : &kindNames[ kind ][ sizeof("sized") ]; // sizeof includes '\0'
88}
89
90const char * TypeDecl::genTypeString() const {
91        static const char * kindNames[] = { "T &", "T *", "T", "(*)", "T ...", "[T]" };
92        static_assert( sizeof(kindNames) / sizeof(kindNames[0]) == TypeDecl::NUMBER_OF_KINDS, "genTypeString: kindNames is out of sync." );
93        assertf( kind < TypeDecl::NUMBER_OF_KINDS, "TypeDecl kind is out of bounds." );
94        return kindNames[ kind ];
95}
96
97std::ostream & operator<< ( std::ostream & out, const TypeDecl::Data & data ) {
98        return out << data.kind << ", " << data.isComplete;
99}
100
101// --- AggregateDecl
102
103// These must harmonize with the corresponding AggregateDecl::Aggregate enumerations.
104static const char * aggregateNames[] = { "struct", "union", "enum", "exception", "trait", "generator", "coroutine", "monitor", "thread", "NoAggregateName" };
105
106const char * AggregateDecl::aggrString( AggregateDecl::Aggregate aggr ) {
107        return aggregateNames[aggr];
108}
109
110// --- EnumDecl
111
112bool EnumDecl::valueOf( const Decl * enumerator, long long& value ) const {
113        if ( enumValues.empty() ) {
114                long long crntVal = 0;
115                for ( const Decl * member : members ) {
116                        const ObjectDecl* field = strict_dynamic_cast< const ObjectDecl* >( member );
117                        if ( field->init ) {
118                                const SingleInit * init = strict_dynamic_cast< const SingleInit* >( field->init.get() );
119                                auto result = eval( init->value );
120                                if ( ! result.second ) {
121                                        SemanticError( init->location, ::toString( "Non-constexpr in initialization of "
122                                                "enumerator: ", field ) );
123                                }
124                                crntVal = result.first;
125                        }
126                        if ( enumValues.count( field->name ) != 0 ) {
127                                SemanticError( location, ::toString( "Enum ", name, " has multiple members with the "   "name ", field->name ) );
128                        }
129                        enumValues[ field->name ] = crntVal;
130                        ++crntVal;
131                }
132        }
133
134        auto it = enumValues.find( enumerator->name );
135        if ( it != enumValues.end() ) {
136                value = it->second;
137                return true;
138        }
139        return false;
140}
141
142}
143
144// Local Variables: //
145// tab-width: 4 //
146// mode: c++ //
147// compile-command: "make install" //
148// End: //
Note: See TracBrowser for help on using the repository browser.