source: icGREP/icgrep-devel/icgrep-1.00/pablo/codegenstate.h @ 4529

Last change on this file since 4529 was 4524, checked in by nmedfort, 4 years ago

Safer use of initializer_list

File size: 5.7 KB
Line 
1/*
2 *  Copyright (c) 2014 International Characters.
3 *  This software is licensed to the public under the Open Software License 3.0.
4 *  icgrep is a trademark of International Characters.
5 */
6
7#ifndef PS_PABLOS_H
8#define PS_PABLOS_H
9
10#include <pablo/pabloAST.h>
11#include <pablo/symbol_generator.h>
12#include <pablo/pe_advance.h>
13#include <pablo/pe_and.h>
14#include <pablo/pe_call.h>
15#include <pablo/pe_matchstar.h>
16#include <pablo/pe_next.h>
17#include <pablo/pe_not.h>
18#include <pablo/pe_ones.h>
19#include <pablo/pe_or.h>
20#include <pablo/pe_scanthru.h>
21#include <pablo/pe_sel.h>
22#include <pablo/pe_integer.h>
23#include <pablo/pe_string.h>
24#include <pablo/pe_var.h>
25#include <pablo/pe_xor.h>
26#include <pablo/pe_zeroes.h>
27#include <pablo/ps_assign.h>
28#include <pablo/ps_if.h>
29#include <pablo/ps_while.h>
30#include <stdexcept>
31
32namespace pablo {
33
34class Assign;
35class Advance;
36class And;
37class Call;
38class MatchStar;
39class Next;
40class Not;
41class Or;
42class Ones;
43class ScanThru;
44class Sel;
45class String;
46class Integer;
47class Var;
48class Xor;
49class Zeroes;
50class If;
51class While;
52
53
54class PabloBlock : public PabloAST, public StatementList {
55    friend class pablo::PabloAST;
56    friend class Builder;
57public:
58
59    static inline bool classof(const PabloBlock *) {
60        return true;
61    }
62    static inline bool classof(const Statement *) {
63        return false;
64    }
65    static inline bool classof(const PabloAST * e) {
66        return e->getClassTypeId() == ClassTypeId::Block;
67    }
68    static inline bool classof(const void *) {
69        return false;
70    }
71
72    inline static PabloBlock & Create(SymbolGenerator & symbolGenerator) {
73        return *(new PabloBlock(symbolGenerator));
74    }
75
76    inline static PabloBlock & Create(PabloBlock & parent) {
77        return *(new PabloBlock(&parent));
78    }
79
80    PabloAST * createAdvance(PabloAST * expr, const Integer::integer_t shiftAmount);
81
82    PabloAST * createAdvance(PabloAST * expr, PabloAST * shiftAmount);
83
84    PabloAST * createAdvance(PabloAST * expr, const Integer::integer_t shiftAmount, const std::string prefix);
85
86    PabloAST * createAdvance(PabloAST * expr, PabloAST * shiftAmount, const std::string prefix);
87
88    inline Zeroes * createZeroes() const {
89        return mZeroes;
90    }
91
92    inline Ones * createOnes() const {
93        return mOnes;
94    }
95
96    inline Call * createCall(const std::string name) {
97        return createCall(getName(name, false));
98    }
99
100    Call * createCall(String * name);
101
102    Assign * createAssign(const std::string prefix, PabloAST * expr, const int outputIndex = -1);
103
104    inline Var * createVar(const std::string name) {
105        return createVar(getName(name, false));
106    }
107
108    Var * createVar(String * name);
109
110    PabloAST * createVar(const PabloAST * const) {
111        throw std::runtime_error("Var objects should only refer to external Vars (i.e., input basis bit streams). Use Assign objects directly.");
112    }
113
114    Next * createNext(Assign * assign, PabloAST * expr);
115
116    PabloAST * createAnd(PabloAST * expr1, PabloAST * expr2);
117
118    PabloAST * createAnd(PabloAST * expr1, PabloAST * expr2, const std::string prefix);
119
120    PabloAST * createNot(PabloAST * expr);
121
122    PabloAST * createNot(PabloAST * expr, const std::string prefix);
123
124    PabloAST * createOr(PabloAST * expr1, PabloAST * expr2);
125
126    PabloAST * createOr(PabloAST * expr1, PabloAST * expr2, const std::string prefix);
127
128    PabloAST * createXor(PabloAST * expr1, PabloAST * expr2);
129
130    PabloAST * createXor(PabloAST * expr1, PabloAST * expr2, const std::string prefix);
131
132    PabloAST * createMatchStar(PabloAST * marker, PabloAST * charclass);
133
134    PabloAST * createMatchStar(PabloAST * marker, PabloAST * charclass, const std::string prefix);
135
136    PabloAST * createScanThru(PabloAST * from, PabloAST * thru);
137
138    PabloAST * createScanThru(PabloAST * from, PabloAST * thru, const std::string prefix);
139
140    PabloAST * createSel(PabloAST * condition, PabloAST * trueExpr, PabloAST * falseExpr);
141
142    PabloAST * createSel(PabloAST * condition, PabloAST * trueExpr, PabloAST * falseExpr, const std::string prefix);
143
144    If * createIf(PabloAST * condition, const std::initializer_list<Assign *> definedVars, PabloBlock & body);
145
146    If * createIf(PabloAST * condition, const std::vector<Assign *> & definedVars, PabloBlock & body);
147
148    If * createIf(PabloAST * condition, std::vector<Assign *> && definedVars, PabloBlock & body);
149
150    While * createWhile(PabloAST * condition, PabloBlock & body);
151
152    inline StatementList & statements() {
153        return *this;
154    }
155
156    inline const StatementList & statements() const {
157        return *this;
158    }
159
160    inline String * getName(const std::string name, const bool generated = true) const {
161        return mSymbolGenerator.get(name, generated);
162    }
163
164    inline String * makeName(const std::string prefix, const bool generated = true) const {
165        return mSymbolGenerator.make(prefix, generated);
166    }
167
168    inline Integer * getInteger(Integer::integer_t value) {
169        return mSymbolGenerator.getInteger(value);
170    }
171
172    inline PabloBlock * getParent() const {
173        return mParent;
174    }
175
176    virtual ~PabloBlock();
177
178protected:
179    PabloBlock(SymbolGenerator & symbolGenerator);
180
181    PabloBlock(PabloBlock * predecessor);
182
183    PabloAST * renameNonNamedNode(PabloAST * expr, const std::string && prefix);
184
185    template<typename Type>
186    inline Type * insertAtInsertionPoint(Type * expr) {
187        if (isa<Statement>(expr)) {
188            insert(cast<Statement>(expr));
189        }
190        return expr;
191    }
192
193private:       
194    Zeroes * const                                      mZeroes;
195    Ones * const                                        mOnes;
196    SymbolGenerator &                                   mSymbolGenerator;
197    PabloBlock *                                        mParent;
198};
199
200}
201
202#endif // PS_PABLOS_H
Note: See TracBrowser for help on using the repository browser.