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

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

Many use def info changes; removed dependency on boost system library. More work still needed on CSE.

File size: 4.1 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 StatementList {
55    friend class pablo::PabloAST;
56    friend struct OptimizeAnd;
57    friend struct OptimizeOr;
58    friend struct OptimizeSel;
59    friend struct OptimizeXor;
60    friend struct OptimizeNot;
61public:
62
63    inline static PabloBlock & Create() {
64        return *(new PabloBlock());
65    }
66
67    inline static PabloBlock & Create(PabloBlock & predecessor) {
68        return *(new PabloBlock(&predecessor));
69    }
70
71    PabloAST * createAdvance(PabloAST * expr, const int shiftAmount);
72
73    inline Zeroes * createZeroes() const {
74        return mZeroes;
75    }
76
77    inline Ones * createOnes() const {
78        return mOnes;
79    }
80
81    Call * createCall(const std::string name);
82
83    Call * createCall(String * name);
84
85    Assign * createAssign(const std::string prefix, PabloAST * expr, const int outputIndex = -1);
86
87    Var * createVar(const std::string name);
88
89    Var * createVar(String * name);
90
91    PabloAST * createVar(const PabloAST * const) {
92        throw std::runtime_error("Var objects should only refer to external Vars (i.e., input basis bit streams). Use Assign objects directly.");
93    }
94
95    Next * createNext(Assign * assign, PabloAST * expr);
96
97    PabloAST * createAnd(PabloAST * expr1, PabloAST * expr2);
98
99    PabloAST * createNot(PabloAST * expr);
100
101    PabloAST * createOr(PabloAST * expr1, PabloAST * expr2);
102
103    PabloAST * createXor(PabloAST * expr1, PabloAST * expr2);
104
105    PabloAST * createMatchStar(PabloAST * marker, PabloAST * charclass);
106
107    PabloAST * createScanThru(PabloAST * from, PabloAST * thru);
108
109    PabloAST * createSel(PabloAST * condition, PabloAST * trueExpr, PabloAST * falseExpr);
110
111    And * createAndImm(PabloAST * expr1, PabloAST * expr2);
112
113    Not * createNotImm(PabloAST * expr);
114
115    Or * createOrImm(PabloAST * expr1, PabloAST * expr2);
116
117    Xor * createXorImm(PabloAST * expr1, PabloAST * expr2);
118
119    Sel * createSelImm(PabloAST * condition, PabloAST * trueExpr, PabloAST * falseExpr);
120
121    If * createIf(PabloAST * condition, std::vector<Assign *> && definedVars, PabloBlock & body);
122
123    While * createWhile(PabloAST * cond, PabloBlock & body);
124
125    inline StatementList & statements() {
126        return *this;
127    }
128
129    inline const StatementList & statements() const {
130        return *this;
131    }
132
133    inline String * getName(const std::string name) const {
134        return mSymbolGenerator->get(name);
135    }
136
137    inline String * makeName(const std::string prefix) const {
138        return mSymbolGenerator->make(prefix);
139    }
140
141protected:
142    PabloBlock();
143
144    PabloBlock(PabloBlock * predecessor);
145
146    void * operator new (std::size_t size) noexcept {
147        return PabloAST::mAllocator.allocate(size);
148    }
149
150    template<typename Type>
151    inline Type * insertAtInsertionPoint(Type * expr) {
152        if (isa<Statement>(expr)) {
153            insert(cast<Statement>(expr));
154        }
155        return expr;
156    }
157
158private:       
159    Zeroes * const                                      mZeroes;
160    Ones * const                                        mOnes;
161    SymbolGenerator * const                             mSymbolGenerator;
162};
163
164}
165
166#endif // PS_PABLOS_H
Note: See TracBrowser for help on using the repository browser.