source: src/Parser/TypeData.h @ 148f7290

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 148f7290 was 148f7290, checked in by Thierry Delisle <tdelisle@…>, 7 years ago

Propagate zero_t one_t from parser to backend

  • Property mode set to 100644
File size: 3.6 KB
RevLine 
[b87a5ed]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//
[148f7290]7// TypeData.h --
[b87a5ed]8//
9// Author           : Rodolfo G. Esteves
10// Created On       : Sat May 16 15:18:36 2015
11// Last Modified By : Peter A. Buhr
[faddbd8]12// Last Modified On : Mon Oct  3 12:34:08 2016
13// Update Count     : 142
[b87a5ed]14//
15
[51b7345]16#ifndef TYPEDATA_H
17#define TYPEDATA_H
18
[c1c1112]19#include <bitset>
[bdd516a]20
[51b7345]21#include "ParseNode.h"
22#include "SynTree/Type.h"
23
[c8ffe20b]24struct TypeData {
[faddbd8]25        enum Kind { Basic, Pointer, Array, Function, Aggregate, AggregateInst, Enum, EnumConstant, Symbolic,
26                                SymbolicInst, Tuple, Typeof, Builtin, Unknown };
[b87a5ed]27
28        struct Aggregate_t {
[68cd1ce]29                DeclarationNode::Aggregate kind;
[2298f728]30                const std::string * name;
[7ee14bb7]31                DeclarationNode * params;
[2298f728]32                ExpressionNode * actuals;                                               // holds actual parameters later applied to AggInst
[7ee14bb7]33                DeclarationNode * fields;
[5d125e4]34                bool body;
[b87a5ed]35        };
36
37        struct AggInst_t {
[7ee14bb7]38                TypeData * aggregate;
39                ExpressionNode * params;
[b87a5ed]40        };
41
42        struct Array_t {
[7ee14bb7]43                ExpressionNode * dimension;
[b87a5ed]44                bool isVarLen;
45                bool isStatic;
46        };
47
48        struct Enumeration_t {
[2298f728]49                const std::string * name;
[7ee14bb7]50                DeclarationNode * constants;
[b87a5ed]51        };
52
53        struct Function_t {
[7ee14bb7]54                DeclarationNode * params;
55                DeclarationNode * idList;                                               // old-style
56                DeclarationNode * oldDeclList;
57                StatementNode * body;
[b87a5ed]58                bool hasBody;
59                bool newStyle;
60        };
61
62        struct Symbolic_t {
[2298f728]63                const std::string * name;
[721f17a]64                bool isTypedef;                                                                 // false => TYPEGENname, true => TYPEDEFname
[7ee14bb7]65                DeclarationNode * params;
66                ExpressionNode * actuals;
67                DeclarationNode * assertions;
[b87a5ed]68        };
69
[28307be]70        Kind kind;
[413ad05]71        TypeData * base;
[5b639ee]72        DeclarationNode::BasicType basictype = DeclarationNode::NoBasicType;
73        DeclarationNode::ComplexType complextype = DeclarationNode::NoComplexType;
74        DeclarationNode::Signedness signedness = DeclarationNode::NoSignedness;
75        DeclarationNode::Length length = DeclarationNode::NoLength;
[148f7290]76        DeclarationNode::BuiltinType builtintype = DeclarationNode::NoBuiltinType;
[5b639ee]77        typedef std::bitset< DeclarationNode::NoQualifier > Qualifiers;
[413ad05]78        Qualifiers qualifiers;
79        DeclarationNode * forall;
80
[5b639ee]81                // Basic_t basic;
[8f6f47d7]82                Aggregate_t aggregate;
83                AggInst_t aggInst;
84                Array_t array;
85                Enumeration_t enumeration;
[7d05e7e]86                // Variable_t variable;
[8f6f47d7]87                Function_t function;
88                Symbolic_t symbolic;
89                DeclarationNode * tuple;
90                ExpressionNode * typeexpr;
91                // DeclarationNode::BuiltinType builtin;
[b87a5ed]92
[413ad05]93        TypeData( Kind k = Unknown );
94        ~TypeData();
95        void print( std::ostream &, int indent = 0 ) const;
96        TypeData * clone() const;
[51b7345]97};
98
[413ad05]99Type * typebuild( const TypeData * );
100TypeData * typeextractAggregate( const TypeData * td, bool toplevel = true );
101Type::Qualifiers buildQualifiers( const TypeData * td );
102Type * buildBasicType( const TypeData * );
103PointerType * buildPointer( const TypeData * );
104ArrayType * buildArray( const TypeData * );
105AggregateDecl * buildAggregate( const TypeData * );
106ReferenceToType * buildAggInst( const TypeData * );
107NamedTypeDecl * buildSymbolic( const TypeData *, const std::string &name, DeclarationNode::StorageClass sc );
108TypeDecl * buildVariable( const TypeData * );
109EnumDecl * buildEnum( const TypeData * );
110TypeInstType * buildSymbolicInst( const TypeData * );
111TupleType * buildTuple( const TypeData * );
112TypeofType * buildTypeof( const TypeData * );
[2298f728]113Declaration * buildDecl( const TypeData *, const std::string &, DeclarationNode::StorageClass, Expression *, bool isInline, bool isNoreturn, LinkageSpec::Spec, Initializer * init = nullptr );
[413ad05]114FunctionType * buildFunction( const TypeData * );
115
[c8ffe20b]116#endif // TYPEDATA_H
[b87a5ed]117
118// Local Variables: //
119// tab-width: 4 //
120// mode: c++ //
121// compile-command: "make install" //
122// End: //
Note: See TracBrowser for help on using the repository browser.