source: src/InitTweak/InitModel.h @ a2a8d2a6

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
Last change on this file since a2a8d2a6 was afc1045, checked in by Aaron Moss <a3moss@…>, 9 years ago

Hoist OffsetPackExpr? to top level expression

  • Property mode set to 100644
File size: 4.0 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// InitModel.h --
8//
9// Author           : Rodolfo G. Esteves
10// Created On       : Mon May 18 07:44:20 2015
11// Last Modified By : Peter A. Buhr
12// Last Modified On : Tue May 19 16:37:52 2015
13// Update Count     : 2
14//
15
16#ifndef _INITTWEAK_MODEL_H_
17#define _INITTWEAK_MODEL_H_
18
19#include "Association.h"
20#include "Common/SemanticError.h"
21#include "SynTree/Visitor.h"
22
23#include "SynTree/Initializer.h"
24#include "SynTree/Declaration.h"
25#include "SynTree/Expression.h"
26#include "SynTree/Type.h"
27
28namespace InitTweak {
29        class InitModelBuilder : public AssociationBuilder, public Visitor {
30          public:
31                InitModelBuilder( Declaration * );
32                ~InitModelBuilder();
33
34                virtual Association *grab_assoc() { taken = true; return building; }
35                virtual Association *get_assoc() { return building; }
36                void set_assoc( Association *newAssoc ) { building = newAssoc; }
37
38                void init();
39                static int interpretDimension( Expression *exp ) {
40                        ConstantFolder folder( exp );
41                        try {
42                                return folder.get_constant();
43                        } catch (...) {
44                                throw SemanticError("Invalid array dimension");
45                        }
46                }
47
48                // types
49                virtual void visit( ArrayType * );
50                virtual void visit( StructInstType * );
51                virtual void visit( UnionInstType * );
52                virtual void visit( EnumInstType * );
53                virtual void visit( ContextInstType * ) { throw 0; }
54                virtual void visit( TypeInstType * )    { throw 0; }
55                // virtual void visit( TupleType *tupleType );
56                // declarations
57                virtual void visit( StructDecl *);
58                virtual void visit( UnionDecl *);
59                virtual void visit( EnumDecl *);
60          private:
61                class ConstantFolder : public Visitor {
62                  public:
63                        ConstantFolder( Expression *_expr = 0 ): expr(_expr) {}
64                        int get_constant() throw() { expr->accept( *this ); return value; }
65                        void set_constant( Expression *newExp ) { expr = newExp; }
66                        // Visitor interface
67                        void visit( Expression * ) { throw 0; }
68                        void visit( NameExpr * ) { throw 0; }
69                        void visit( CastExpr * ) { throw 0; }
70                        void visit( UntypedMemberExpr * ) { throw 0; }
71                        void visit( VariableExpr * ) { throw 0; }
72                        void visit( ConstantExpr * );
73                        void visit( SizeofExpr * ) { throw 0; }
74                        void visit( AlignofExpr * ) { throw 0; }
75                        void visit( UntypedOffsetofExpr * ) { throw 0; }
76                        void visit( OffsetofExpr * ) { throw 0; }
77                        void visit( OffsetPackExpr * ) { throw 0; }
78                        void visit( AttrExpr * ) { throw 0; }
79                        void visit( LogicalExpr * ) { throw 0; }
80                        void visit( ConditionalExpr * ) { throw 0; }
81                        void visit( CommaExpr * ) { throw 0; }
82                  private:
83                        Expression *expr;
84                        int value;
85                };
86
87                bool taken;
88                Declaration *decl;  // ?
89                Association *building;
90        };
91
92        class InitModelFiller : public AssociationFiller, public Visitor {
93          public:
94                InitModelFiller( Association *, Initializer *, bool _topLevel = false );
95                ~InitModelFiller() { /* pointers in here are not owned by object (never created by object either) */ }
96                virtual Association *get_assoc() { return model; }
97                virtual void set_assoc( Association *newAssoc ) { model = newAssoc; }
98
99                void init();
100                // Visitor interface
101                virtual void visit( SingleInit *singleInit );
102                virtual void visit( ListInit *listInit );
103          private:
104                Association *model;
105                Initializer *orgInit;
106                bool topLevel;
107                long int next;
108        };
109
110        class InitUnspooler : public AssociationVisitor {
111          public:
112                InitUnspooler() : init(0), taken( false ) {}
113                virtual ~InitUnspooler() { if ( ! taken && (init != 0)) { delete init; init = 0; } }
114                Initializer *get_initializer() { return init; }
115                Initializer *grab_initializer() { taken = true; return init; }
116
117                virtual void visit( SingleName * );
118                virtual void visit( PointAssociation * );
119                virtual void visit( RangeAssociation * ) { std::cerr << "InitUnspooler - In a range assoc" << std::endl; return; }
120          private:
121                Initializer *init;
122                bool taken;
123        };
124} // namespace InitTweak
125
126#endif // _INITTWEAK_MODEL_H_
127
128// Local Variables: //
129// tab-width: 4 //
130// mode: c++ //
131// compile-command: "make install" //
132// End: //
Note: See TracBrowser for help on using the repository browser.