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

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

Next nodes for While statements must be declared similar to how Defined Vars are for Ifs. (Temporarily breaks multiplexing correctness.)

File size: 6.5 KB
RevLine 
[3850]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
[4566]10#include <pablo/carry_data.h>
[4244]11#include <pablo/pabloAST.h>
[4416]12#include <pablo/symbol_generator.h>
[4207]13#include <pablo/pe_advance.h>
14#include <pablo/pe_and.h>
15#include <pablo/pe_call.h>
16#include <pablo/pe_matchstar.h>
[4252]17#include <pablo/pe_next.h>
[4207]18#include <pablo/pe_not.h>
[4252]19#include <pablo/pe_ones.h>
[4207]20#include <pablo/pe_or.h>
21#include <pablo/pe_scanthru.h>
22#include <pablo/pe_sel.h>
[4415]23#include <pablo/pe_integer.h>
[4252]24#include <pablo/pe_string.h>
[4207]25#include <pablo/pe_var.h>
26#include <pablo/pe_xor.h>
[4252]27#include <pablo/pe_zeroes.h>
[4207]28#include <pablo/ps_assign.h>
29#include <pablo/ps_if.h>
30#include <pablo/ps_while.h>
[4416]31#include <stdexcept>
[3850]32
[4206]33namespace pablo {
34
[4432]35class PabloBlock : public PabloAST, public StatementList {
[4602]36    friend class PabloAST;
37    friend class PabloBuilder;
[4227]38public:
[4206]39
[4432]40    static inline bool classof(const PabloBlock *) {
41        return true;
42    }
43    static inline bool classof(const Statement *) {
44        return false;
45    }
46    static inline bool classof(const PabloAST * e) {
47        return e->getClassTypeId() == ClassTypeId::Block;
48    }
49    static inline bool classof(const void *) {
50        return false;
51    }
52
[4510]53    inline static PabloBlock & Create(SymbolGenerator & symbolGenerator) {
54        return *(new PabloBlock(symbolGenerator));
[4210]55    }
56
[4521]57    inline static PabloBlock & Create(PabloBlock & parent) {
58        return *(new PabloBlock(&parent));
[4210]59    }
60
[4511]61    PabloAST * createAdvance(PabloAST * expr, const Integer::integer_t shiftAmount);
[4214]62
[4432]63    PabloAST * createAdvance(PabloAST * expr, PabloAST * shiftAmount);
64
[4511]65    PabloAST * createAdvance(PabloAST * expr, const Integer::integer_t shiftAmount, const std::string prefix);
[4438]66
67    PabloAST * createAdvance(PabloAST * expr, PabloAST * shiftAmount, const std::string prefix);
68
[4247]69    inline Zeroes * createZeroes() const {
70        return mZeroes;
[4211]71    }
[4210]72
[4247]73    inline Ones * createOnes() const {
74        return mOnes;
75    }
76
[4432]77    inline Call * createCall(const std::string name) {
[4433]78        return createCall(getName(name, false));
[4432]79    }
[4213]80
[4602]81    inline Call * createCall(String * name) {
82        return createCall(cast<PabloAST>(name));
83    }
[4415]84
[4612]85    Assign * createAssign(const std::string && prefix, PabloAST * expr, const int outputIndex = -1);
[4252]86
[4432]87    inline Var * createVar(const std::string name) {
[4433]88        return createVar(getName(name, false));
[4432]89    }
[4254]90
[4602]91    inline Var * createVar(String * name) {
92        return createVar(cast<PabloAST>(name));
[4252]93    }
94
95    Next * createNext(Assign * assign, PabloAST * expr);
96
[4244]97    PabloAST * createAnd(PabloAST * expr1, PabloAST * expr2);
[4209]98
[4438]99    PabloAST * createAnd(PabloAST * expr1, PabloAST * expr2, const std::string prefix);
100
[4244]101    PabloAST * createNot(PabloAST * expr);
[4209]102
[4438]103    PabloAST * createNot(PabloAST * expr, const std::string prefix);
104
[4244]105    PabloAST * createOr(PabloAST * expr1, PabloAST * expr2);
[4209]106
[4438]107    PabloAST * createOr(PabloAST * expr1, PabloAST * expr2, const std::string prefix);
108
[4244]109    PabloAST * createXor(PabloAST * expr1, PabloAST * expr2);
[4209]110
[4438]111    PabloAST * createXor(PabloAST * expr1, PabloAST * expr2, const std::string prefix);
112
[4255]113    PabloAST * createMatchStar(PabloAST * marker, PabloAST * charclass);
[4207]114
[4438]115    PabloAST * createMatchStar(PabloAST * marker, PabloAST * charclass, const std::string prefix);
116
[4255]117    PabloAST * createScanThru(PabloAST * from, PabloAST * thru);
[4209]118
[4438]119    PabloAST * createScanThru(PabloAST * from, PabloAST * thru, const std::string prefix);
120
[4244]121    PabloAST * createSel(PabloAST * condition, PabloAST * trueExpr, PabloAST * falseExpr);
[4207]122
[4438]123    PabloAST * createSel(PabloAST * condition, PabloAST * trueExpr, PabloAST * falseExpr, const std::string prefix);
124
[4524]125    If * createIf(PabloAST * condition, const std::initializer_list<Assign *> definedVars, PabloBlock & body);
[4215]126
[4511]127    If * createIf(PabloAST * condition, const std::vector<Assign *> & definedVars, PabloBlock & body);
128
129    If * createIf(PabloAST * condition, std::vector<Assign *> && definedVars, PabloBlock & body);
130
[4641]131    While * createWhile(PabloAST * condition, const std::initializer_list<Next *> nextVars, PabloBlock & body);
[4215]132
[4641]133    While * createWhile(PabloAST * condition, const std::vector<Next *> & nextVars, PabloBlock & body);
134
135    While * createWhile(PabloAST * condition, std::vector<Next *> && nextVars, PabloBlock & body);
136
137
[4276]138    inline StatementList & statements() {
[4404]139        return *this;
[4276]140    }
141
[4268]142    inline const StatementList & statements() const {
[4404]143        return *this;
[4210]144    }
[4416]145
[4433]146    inline String * getName(const std::string name, const bool generated = true) const {
[4510]147        return mSymbolGenerator.get(name, generated);
[4410]148    }
[4416]149
[4433]150    inline String * makeName(const std::string prefix, const bool generated = true) const {
[4510]151        return mSymbolGenerator.make(prefix, generated);
[4410]152    }
[4416]153
[4443]154    inline Integer * getInteger(Integer::integer_t value) {
[4510]155        return mSymbolGenerator.getInteger(value);
[4443]156    }
157
[4521]158    inline PabloBlock * getParent() const {
159        return mParent;
160    }
[4540]161   
[4566]162    PabloBlockCarryData carryData;
[4540]163   
[4432]164    virtual ~PabloBlock();
165
[4566]166   
[4404]167protected:
[4510]168    PabloBlock(SymbolGenerator & symbolGenerator);
[4276]169
[4416]170    PabloBlock(PabloBlock * predecessor);
[4404]171
[4438]172    PabloAST * renameNonNamedNode(PabloAST * expr, const std::string && prefix);
173
[4410]174    template<typename Type>
[4416]175    inline Type * insertAtInsertionPoint(Type * expr) {
176        if (isa<Statement>(expr)) {
[4611]177            if (LLVM_UNLIKELY(isa<If>(expr) || isa<While>(expr))) {
178                PabloBlock & body = isa<If>(expr) ? cast<If>(expr)->getBody() : cast<While>(expr)->getBody();
179                this->addUser(&body);
180            }
[4416]181            insert(cast<Statement>(expr));
[4410]182        }
[4416]183        return expr;
[4410]184    }
[4602]185private:
[4410]186
[4602]187    Call * createCall(PabloAST * name);
188
189    Var * createVar(PabloAST * name);
190
[4258]191private:       
192    Zeroes * const                                      mZeroes;
193    Ones * const                                        mOnes;
[4510]194    SymbolGenerator &                                   mSymbolGenerator;
[4521]195    PabloBlock *                                        mParent;
[4566]196    unsigned                                            mCarryVectorIndex;
197    unsigned                                            mPackedCarryDataIndex;
[4540]198    unsigned                                            mLocalCarryCount;
199    unsigned                                            mLocalAdvanceCount;
[4566]200    unsigned                                            mTotalCarryVectorSize;
[4540]201    unsigned                                            mTotalCarryDataSize;
[4197]202};
203
[4206]204}
205
[3850]206#endif // PS_PABLOS_H
Note: See TracBrowser for help on using the repository browser.