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

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

First attempt to add arguments to Call objects. Currently non-functioning in Pablo_Compiler.

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