diff options
Diffstat (limited to 'lib/codegen/include/code_gen')
| -rw-r--r-- | lib/codegen/include/code_gen/CG.h | 8 | ||||
| -rw-r--r-- | lib/codegen/include/code_gen/CG_outputBuilder.h | 500 | ||||
| -rw-r--r-- | lib/codegen/include/code_gen/CG_outputRepr.h | 6 |
3 files changed, 324 insertions, 190 deletions
diff --git a/lib/codegen/include/code_gen/CG.h b/lib/codegen/include/code_gen/CG.h index 4dd629c..3db3a7f 100644 --- a/lib/codegen/include/code_gen/CG.h +++ b/lib/codegen/include/code_gen/CG.h @@ -26,9 +26,6 @@ struct CG_result { CG_outputRepr *printRepr(CG_outputBuilder *ocg, const std::vector<CG_outputRepr *> &stmts, std::vector<std::map<std::string,std::vector<CG_outputRepr *> > >uninterpreted_symbols, bool printString = false) const; std::string printString(std::vector<std::map<std::string, std::vector<CG_outputRepr *> > >uninterpreted_symbols = std::vector<std::map<std::string, std::vector<CG_outputRepr *> > >()) const; - //virtual CG_outputRepr *printRepr(int indent, CG_outputBuilder *ocg, const std::vector<CG_outputRepr *> &stmts, const std::vector<std::pair<CG_outputRepr *, int> > &assigned_on_the_fly) const = 0; - //CG_outputRepr *printRepr(CG_outputBuilder *ocg, const std::vector<CG_outputRepr *> &stmts) const; - //std::string printString() const; int num_level() const; virtual CG_result *clone() const = 0; virtual void dump(int indent) const {} @@ -57,7 +54,6 @@ struct CG_split: public CG_result { Relation hoistGuard(); void removeGuard(const Relation &guard); CG_outputRepr *printRepr(int indent, CG_outputBuilder *ocg, const std::vector<CG_outputRepr *> &stmts, const std::vector<std::pair<CG_outputRepr *, int> > &assigned_on_the_fly, std::vector<std::map<std::string, std::vector<CG_outputRepr *> > > unin, bool printString=false) const; - // CG_outputRepr *printRepr(int indent, CG_outputBuilder *ocg, const std::vector<CG_outputRepr *> &stmts, const std::vector<std::pair<CG_outputRepr *, int> > &assigned_on_the_fly) const; CG_result *clone() const; void dump(int indent) const; @@ -92,9 +88,6 @@ struct CG_loop: public CG_result { void removeGuard(const Relation &guard); CG_outputRepr *printRepr(int indent, CG_outputBuilder *ocg, const std::vector<CG_outputRepr *> &stmts, const std::vector<std::pair<CG_outputRepr *, int> > &assigned_on_the_fly,std::vector<std::map<std::string, std::vector<CG_outputRepr *> > >unin, bool printString = false) const; CG_outputRepr *printRepr(bool do_print_guard, int indent, CG_outputBuilder *ocg, const std::vector<CG_outputRepr *> &stmts, const std::vector<std::pair<CG_outputRepr *, int> > &assigned_on_the_fly, std::vector<std::map<std::string, std::vector<CG_outputRepr *> > > unin, bool printString = false) const; - - // CG_outputRepr *printRepr(int indent, CG_outputBuilder *ocg, const std::vector<CG_outputRepr *> &stmts, const std::vector<std::pair<CG_outputRepr *, int> > &assigned_on_the_fly) const; - //CG_outputRepr *printRepr(bool do_print_guard, int indent, CG_outputBuilder *ocg, const std::vector<CG_outputRepr *> &stmts, const std::vector<std::pair<CG_outputRepr *, int> > &assigned_on_the_fly) const; CG_result *clone() const; void dump(int indent) const; }; @@ -117,7 +110,6 @@ struct CG_leaf: public CG_result { Relation hoistGuard(); void removeGuard(const Relation &guard); CG_outputRepr *printRepr(int indent, CG_outputBuilder *ocg, const std::vector<CG_outputRepr *> &stmts, const std::vector<std::pair<CG_outputRepr *, int> > &assigned_on_the_fly, std::vector<std::map<std::string, std::vector<CG_outputRepr *> > > unin, bool printString = false) const; - // CG_outputRepr *printRepr(int indent, CG_outputBuilder *ocg, const std::vector<CG_outputRepr *> &stmts, const std::vector<std::pair<CG_outputRepr *, int> > &assigned_on_the_fly) const; CG_result *clone() const; void dump(int indent) const; }; diff --git a/lib/codegen/include/code_gen/CG_outputBuilder.h b/lib/codegen/include/code_gen/CG_outputBuilder.h index ce86c91..cb0cd5d 100644 --- a/lib/codegen/include/code_gen/CG_outputBuilder.h +++ b/lib/codegen/include/code_gen/CG_outputBuilder.h @@ -29,187 +29,327 @@ namespace omega { -class CG_outputBuilder { -private: - -public: - - CG_outputBuilder() {} - virtual ~CG_outputBuilder() {} - - - virtual CG_outputRepr *CreateStruct(const std::string class_name, - std::vector<std::string> class_data_members, // why not just vector< CG_outputRepr> subparts; - std::vector<CG_outputRepr *> class_data_types )=0; - virtual CG_outputRepr *CreateClassInstance(std::string name , CG_outputRepr *class_def)=0; - virtual CG_outputRepr *lookup_member_data(CG_outputRepr* scope, std::string varName, CG_outputRepr *instance)=0; - virtual CG_outputRepr* CreatePointer(std::string &name) const = 0; - virtual CG_outputRepr* ObtainInspectorRange(const std::string &_s, const std::string &_name) const=0; - - - - //--------------------------------------------------------------------------- - // substitute variables in stmt - //--------------------------------------------------------------------------- - virtual CG_outputRepr *CreateSubstitutedStmt(int indent, - CG_outputRepr *stmt, - const std::vector<std::string> &vars, - std::vector<CG_outputRepr *> &subs, - bool actuallyPrint =true) const = 0; - - //--------------------------------------------------------------------------- - // assignment stmt generation - //--------------------------------------------------------------------------- - virtual CG_outputRepr *CreateAssignment(int indent, - CG_outputRepr *lhs, - CG_outputRepr *rhs) const = 0; - - virtual CG_outputRepr *CreatePlusAssignment(int indent, - CG_outputRepr *lhs, - CG_outputRepr *rhs) const = 0; - - //--------------------------------------------------------------------------- - // function invocation generation - //--------------------------------------------------------------------------- - virtual CG_outputRepr *CreateInvoke(const std::string &funcName, - std::vector<CG_outputRepr *> &argList, - bool is_array=false) const = 0; - - //--------------------------------------------------------------------------- - // comment generation - //--------------------------------------------------------------------------- - virtual CG_outputRepr *CreateComment(int indent, - const std::string &commentText) const = 0; - - //--------------------------------------------------------------------------- - // Attribute generation - //--------------------------------------------------------------------------- - virtual CG_outputRepr* CreateAttribute(CG_outputRepr *control, + //! abstract base class of compiler IR code builder + class CG_outputBuilder { + private: + + public: + + CG_outputBuilder() {} + + virtual ~CG_outputBuilder() {} + + virtual CG_outputRepr *CreateStruct(const std::string class_name, + std::vector<std::string> class_data_members, // why not just vector< CG_outputRepr> subparts; + std::vector<CG_outputRepr *> class_data_types)=0; + + virtual CG_outputRepr *CreateClassInstance(std::string name, CG_outputRepr *class_def)=0; + + virtual CG_outputRepr *lookup_member_data(CG_outputRepr *scope, std::string varName, CG_outputRepr *instance)=0; + + virtual CG_outputRepr *CreatePointer(std::string &name) const = 0; + + virtual CG_outputRepr *ObtainInspectorRange(const std::string &_s, const std::string &_name) const =0; + + /*! + * \brief substitute variable in stmt + * + * @param indent + * @param stmt + * @param vars + * @param subs + * @param actuallyPrint + * @return + */ + virtual CG_outputRepr *CreateSubstitutedStmt(int indent, + CG_outputRepr *stmt, + const std::vector<std::string> &vars, + std::vector<CG_outputRepr *> &subs, + bool actuallyPrint = true) const = 0; + + /*! + * @brief assignment stmt generation + * @param indent + * @param lhs + * @param rhs + * @return + */ + virtual CG_outputRepr *CreateAssignment(int indent, + CG_outputRepr *lhs, + CG_outputRepr *rhs) const = 0; + /*! + * @brief Plus assignment stmt generation + * @param indent + * @param lhs + * @param rhs + * @return CG_outputRepr + */ + virtual CG_outputRepr *CreatePlusAssignment(int indent, + CG_outputRepr *lhs, + CG_outputRepr *rhs) const = 0; + /*! + * @brief function invoation generation + * @param funcName + * @param argList + * @param is_array + * @return + */ + virtual CG_outputRepr *CreateInvoke(const std::string &funcName, + std::vector<CG_outputRepr *> &argList, + bool is_array = false) const = 0; + /*! + * @brief comment generation + * @param indent + * @param commentText + * @return + */ + virtual CG_outputRepr *CreateComment(int indent, + const std::string &commentText) const = 0; + /*! + * @brief Attribute Generation + * @param control + * @param commentText + * @return + */ + virtual CG_outputRepr *CreateAttribute(CG_outputRepr *control, const std::string &commentText) const = 0; - //--------------------------------------------------------------------------- - // Pragma Attribute - // -------------------------------------------------------------------------- - virtual CG_outputRepr* CreatePragmaAttribute(CG_outputRepr *scopeStmt, int looplevel, const std::string &pragmaText) const = 0; - - //--------------------------------------------------------------------------- - // Prefetch Attribute - //--------------------------------------------------------------------------- - virtual CG_outputRepr* CreatePrefetchAttribute(CG_outputRepr *scopeStmt, int looplevel, const std::string &arrName, int hint) const = 0; - - //--------------------------------------------------------------------------- - // generate if stmt, true/false stmt can be NULL but not the condition - //--------------------------------------------------------------------------- - virtual CG_outputRepr *CreateIf(int indent, CG_outputRepr *guardCondition, - CG_outputRepr *true_stmtList, - CG_outputRepr *false_stmtList) const = 0; - - //--------------------------------------------------------------------------- - // generate loop inductive variable (loop control structure) - //--------------------------------------------------------------------------- - virtual CG_outputRepr *CreateInductive(CG_outputRepr *index, - CG_outputRepr *lower, - CG_outputRepr *upper, - CG_outputRepr *step) const = 0; - - //--------------------------------------------------------------------------- - // generate loop stmt from loop control and loop body, NULL parameter allowed - //--------------------------------------------------------------------------- - virtual CG_outputRepr *CreateLoop(int indent, CG_outputRepr *control, - CG_outputRepr *stmtList) const = 0; - - //--------------------------------------------------------------------------- - // copy operation, NULL parameter allowed. this function makes pointer - // handling uniform regardless NULL status - //--------------------------------------------------------------------------- - virtual CG_outputRepr *CreateCopy(CG_outputRepr *original) const { - if (original == NULL) - return NULL; - else - return original->clone(); - } - - //--------------------------------------------------------------------------- - // basic integer number creation - //--------------------------------------------------------------------------- - virtual CG_outputRepr *CreateInt(int num) const = 0; - virtual CG_outputRepr *CreateFloat(float num) const = 0; - virtual CG_outputRepr *CreateDouble(double num) const = 0; - - virtual bool isInteger(CG_outputRepr *op) const = 0; - virtual bool QueryInspectorType(const std::string &varName) const = 0; - - //--------------------------------------------------------------------------- - // basic identity/variable creation - //--------------------------------------------------------------------------- - virtual CG_outputRepr *CreateIdent(const std::string &varName) const = 0; - virtual CG_outputRepr* CreateDotExpression(CG_outputRepr *lop, - CG_outputRepr *rop) const =0; - virtual CG_outputRepr* CreateArrayRefExpression(const std::string &_s, - CG_outputRepr *rop) const =0; - virtual CG_outputRepr* CreateArrayRefExpression(CG_outputRepr *lop, - CG_outputRepr *rop) const=0; - virtual CG_outputRepr* ObtainInspectorData(const std::string &_s, const std::string &member_name) const=0; - virtual CG_outputRepr* CreateNullStatement() const=0; - - //--------------------------------------------------------------------------- - // binary arithmetic operations, NULL parameter means 0, - // Note: - // integer division truncation method undefined, only use when lop is known - // to be multiple of rop, otherwise use integer floor instead - //--------------------------------------------------------------------------- - virtual CG_outputRepr *CreatePlus(CG_outputRepr *lop, CG_outputRepr *rop) const = 0; - virtual CG_outputRepr *CreateMinus(CG_outputRepr *lop, CG_outputRepr *rop) const = 0; - virtual CG_outputRepr *CreateTimes(CG_outputRepr *lop, CG_outputRepr *rop) const = 0; - virtual CG_outputRepr *CreateDivide(CG_outputRepr *lop, CG_outputRepr *rop) const { - return CreateIntegerFloor(lop, rop); - } - - //--------------------------------------------------------------------------- - // integer arithmetic functions, NULL parameter means 0, second parameter - // must be postive (i.e. b > 0 below), otherwise function undefined - // Note: - // ceil(a, b) = -floor(-a, b) or floor(a+b-1, b) or floor(a-1, b)+1 - // mod(a, b) = a-b*floor(a, b) - // where result must lie in range [0,b) - // floor(a, b) = a/b if a >= 0 - // (a-b+1)/b if a < 0 - // where native '/' operator behaves as 5/2 = 2, (-5)/2 = -2 - //--------------------------------------------------------------------------- - virtual CG_outputRepr *CreateIntegerFloor(CG_outputRepr *lop, CG_outputRepr *rop) const = 0; - virtual CG_outputRepr *CreateIntegerMod(CG_outputRepr *lop, CG_outputRepr *rop) const { - CG_outputRepr *lop2 = CreateCopy(lop); - CG_outputRepr *rop2 = CreateCopy(rop); - return CreateMinus(lop2, CreateTimes(rop2, CreateIntegerFloor(lop, rop))); - } - virtual CG_outputRepr *CreateIntegerCeil(CG_outputRepr *lop, CG_outputRepr *rop) const { - return CreateMinus(NULL, CreateIntegerFloor(CreateMinus(NULL, lop), rop)); - } - - //--------------------------------------------------------------------------- - // binary logical operation, NULL parameter means TRUE - //--------------------------------------------------------------------------- - virtual CG_outputRepr *CreateAnd(CG_outputRepr *lop, CG_outputRepr *rop) const = 0; - - //--------------------------------------------------------------------------- - // binary condition operations - //--------------------------------------------------------------------------- - virtual CG_outputRepr *CreateGE(CG_outputRepr *lop, CG_outputRepr *rop) const { - return CreateLE(rop, lop); - } - virtual CG_outputRepr *CreateLE(CG_outputRepr *lop, CG_outputRepr *rop) const = 0; - virtual CG_outputRepr *CreateEQ(CG_outputRepr *lop, CG_outputRepr *rop) const = 0; - virtual CG_outputRepr *CreateNEQ(CG_outputRepr *lop, CG_outputRepr *rop) const = 0; - virtual CG_outputRepr *CreateAddressOf(CG_outputRepr *op) const = 0; - virtual CG_outputRepr *CreateBreakStatement(void) const = 0; - - //--------------------------------------------------------------------------- - // join stmts together, NULL parameter allowed - //--------------------------------------------------------------------------- - virtual CG_outputRepr *StmtListAppend(CG_outputRepr *list1, CG_outputRepr *list2) const = 0; - virtual CG_outputRepr *CreateStatementFromExpression(CG_outputRepr *exp) const = 0; - - virtual const char *ClassName() { return "UNKNOWN"; } -}; + /*! + * @brief pragma attribute + * @param scopeStmt + * @param looplevel + * @param pragmaText + * @return + */ + virtual CG_outputRepr * + CreatePragmaAttribute(CG_outputRepr *scopeStmt, int looplevel, const std::string &pragmaText) const = 0; + /*! + * @brief Prefetch attribute + * @param scopeStmt + * @param looplevel + * @param arrName + * @param hint + * @return + */ + virtual CG_outputRepr * + CreatePrefetchAttribute(CG_outputRepr *scopeStmt, int looplevel, const std::string &arrName, int hint) const = 0; + /*! + * @brief generate if stmt, true/false stmt can be NULL but not the condition + * @param indent + * @param guardCondition + * @param true_stmtList + * @param false_stmtList + * @return + */ + virtual CG_outputRepr *CreateIf(int indent, CG_outputRepr *guardCondition, + CG_outputRepr *true_stmtList, + CG_outputRepr *false_stmtList) const = 0; + /*! + * @brief generate loop inductive variable (loop control structure) + * @param index + * @param lower + * @param upper + * @param step + * @return + */ + virtual CG_outputRepr *CreateInductive(CG_outputRepr *index, + CG_outputRepr *lower, + CG_outputRepr *upper, + CG_outputRepr *step) const = 0; + /*! + * @brief generate loop stmt from loop control and loop body, NULL parameter allowed + * @param indent + * @param control + * @param stmtList + * @return + */ + virtual CG_outputRepr *CreateLoop(int indent, CG_outputRepr *control, + CG_outputRepr *stmtList) const = 0; + /*! + * @brief copy operation, NULL parameter allowed + * + * this function makes pointer handling uniform regardless NULL status + * + * @param original + * @return + */ + virtual CG_outputRepr *CreateCopy(CG_outputRepr *original) const { + if (original == NULL) + return NULL; + else + return original->clone(); + } + + //! basic interger number creation + virtual CG_outputRepr *CreateInt(int num) const = 0; + + //! basic single precision float number creation + virtual CG_outputRepr *CreateFloat(float num) const = 0; + + //! basic double precision float number creation + virtual CG_outputRepr *CreateDouble(double num) const = 0; + + /*! + * @brief check if op is integer literal + * @param op + * @return + */ + virtual bool isInteger(CG_outputRepr *op) const = 0; + + /*! + * @brief DOC needed + * @param varName + * @return + */ + virtual bool QueryInspectorType(const std::string &varName) const = 0; + /*! + * @brief basic identity/variable creation + * @param varName + * @return + */ + virtual CG_outputRepr *CreateIdent(const std::string &varName) const = 0; + /*! + * @brief member access creation? + * @param lop + * @param rop + * @return + */ + virtual CG_outputRepr *CreateDotExpression(CG_outputRepr *lop, + CG_outputRepr *rop) const =0; + /*! + * @brief Create array reference expression starting with a string + * @param _s + * @param rop + * @return + */ + virtual CG_outputRepr *CreateArrayRefExpression(const std::string &_s, + CG_outputRepr *rop) const =0; + /*! + * @brief Create array reference expression starting with a expresion + * @param lop + * @param rop + * @return + */ + virtual CG_outputRepr *CreateArrayRefExpression(CG_outputRepr *lop, + CG_outputRepr *rop) const =0; + /*! + * @brief TODO DOC NEEDED + * @param _s + * @param member_name + * @return + */ + virtual CG_outputRepr *ObtainInspectorData(const std::string &_s, const std::string &member_name) const =0; + /*! + * @brief TODO USAGE NEEDED + * @return + */ + virtual CG_outputRepr *CreateNullStatement() const =0; + /*! + * @brief Addition operations, NULL parameter means 0 + * @param lop + * @param rop + * @return + */ + virtual CG_outputRepr *CreatePlus(CG_outputRepr *lop, CG_outputRepr *rop) const = 0; + /*! + * @brief Subtraction operations, NULL parameter means 0 + * @param lop + * @param rop + * @return + */ + virtual CG_outputRepr *CreateMinus(CG_outputRepr *lop, CG_outputRepr *rop) const = 0; + /*! + * @brief Multiplication operations, NULL parameter means 0 + * @param lop + * @param rop + * @return + */ + virtual CG_outputRepr *CreateTimes(CG_outputRepr *lop, CG_outputRepr *rop) const = 0; + /*! + * @brief Division operations, NULL parameter means 0 + * + * integer division truncation method undefined, only use when lop is known + * to be multiple of rop, otherwise use integer floor instead + * + * @param lop + * @param rop + * @return + */ + virtual CG_outputRepr *CreateDivide(CG_outputRepr *lop, CG_outputRepr *rop) const { + return CreateIntegerFloor(lop, rop); + } + /*! + * @brief integer floor functions, NULL parameter means 0 + * + * second parameter must be postive (i.e. b > 0 below), otherwise function undefined + * + * floor(a, b) + * * = a/b if a >= 0 + * * = (a-b+1)/b if a < 0 + * + * @param lop + * @param rop + * @return + */ + virtual CG_outputRepr *CreateIntegerFloor(CG_outputRepr *lop, CG_outputRepr *rop) const = 0; + /*! + * @brief integer mod functions, NULL parameter means 0 + * + * second parameter must be postive (i.e. b > 0 below), otherwise function undefined + * + * mod(a, b) = a-b*floor(a, b) where result must lie in range [0,b) + * + * @param lop + * @param rop + * @return + */ + virtual CG_outputRepr *CreateIntegerMod(CG_outputRepr *lop, CG_outputRepr *rop) const { + CG_outputRepr *lop2 = CreateCopy(lop); + CG_outputRepr *rop2 = CreateCopy(rop); + return CreateMinus(lop2, CreateTimes(rop2, CreateIntegerFloor(lop, rop))); + } + /*! + * @brief integer ceil functions, NULL parameter means 0 + * + * second parameter must be postive (i.e. b > 0 below), otherwise function undefined + * + * ceil(a, b) = -floor(-a, b) or floor(a+b-1, b) or floor(a-1, b)+1 + * + * @param lop + * @param rop + * @return + */ + virtual CG_outputRepr *CreateIntegerCeil(CG_outputRepr *lop, CG_outputRepr *rop) const { + return CreateMinus(NULL, CreateIntegerFloor(CreateMinus(NULL, lop), rop)); + } + + //! binary logical operation, NULL parameter means TRUE + virtual CG_outputRepr *CreateAnd(CG_outputRepr *lop, CG_outputRepr *rop) const = 0; + + //! binary conditional greater than or equal to + virtual CG_outputRepr *CreateGE(CG_outputRepr *lop, CG_outputRepr *rop) const { + return CreateLE(rop, lop); + } + + //! binary conditional less than or equal to + virtual CG_outputRepr *CreateLE(CG_outputRepr *lop, CG_outputRepr *rop) const = 0; + + //! binary conditional equal to + virtual CG_outputRepr *CreateEQ(CG_outputRepr *lop, CG_outputRepr *rop) const = 0; + + //! binary conditional not equal to + virtual CG_outputRepr *CreateNEQ(CG_outputRepr *lop, CG_outputRepr *rop) const = 0; + //! address of operator + virtual CG_outputRepr *CreateAddressOf(CG_outputRepr *op) const = 0; + //! create a break statement + virtual CG_outputRepr *CreateBreakStatement(void) const = 0; + + //! join stmts together, NULL parameter allowed + virtual CG_outputRepr *StmtListAppend(CG_outputRepr *list1, CG_outputRepr *list2) const = 0; + //! Wraps a expression into a statement. TODO DOC NEEDED + virtual CG_outputRepr *CreateStatementFromExpression(CG_outputRepr *exp) const = 0; + //! TODO USAGE AND DOC + virtual const char *ClassName() { return "UNKNOWN"; } + }; } diff --git a/lib/codegen/include/code_gen/CG_outputRepr.h b/lib/codegen/include/code_gen/CG_outputRepr.h index d72ae6f..80f8ec5 100644 --- a/lib/codegen/include/code_gen/CG_outputRepr.h +++ b/lib/codegen/include/code_gen/CG_outputRepr.h @@ -23,9 +23,11 @@ class CG_outputRepr { public: CG_outputRepr() {} - virtual ~CG_outputRepr() { /* shallow delete */ } + //! shallow delete + virtual ~CG_outputRepr() { } virtual CG_outputRepr *clone() const = 0; - virtual void clear() { /* delete actual IR code wrapped inside */ } + //! delete actual IR code wrapped inside + virtual void clear() { } virtual void dump() const {} virtual char *type() const = 0; }; |