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

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

Added pablo Prototype to compiler. All Calls must be given one instead of a Name.

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