u_abs_knob.h

Go to the documentation of this file.

#ifndef ILANG_ILA_MNGR_U_ABS_KNOB_H__
#define ILANG_ILA_MNGR_U_ABS_KNOB_H__

#include <ilang/ila/instr_lvl_abs.h>

namespace ilang {

namespace absknob {
/****************************************************************************/
void InsertVar(const ExprPtr& e, ExprSet& vars);
ExprSet GetVar(const ExprPtr& e);

/****************************************************************************/
void InsertStt(const InstrCnstPtr instrs, ExprSet& stts);
void InsertSttTree(const InstrCnstPtr instrs, ExprSet& stts);

/****************************************************************************/
void InsertVar(const InstrLvlAbsCnstPtr& m, ExprSet& vars);
void InsertStt(const InstrLvlAbsCnstPtr& m, ExprSet& stts);
void InsertInp(const InstrLvlAbsCnstPtr& m, ExprSet& inps);
void InsertVarTree(const InstrLvlAbsCnstPtr& top, ExprSet& vars);
void InsertSttTree(const InstrLvlAbsCnstPtr& top, ExprSet& stts);
void InsertInpTree(const InstrLvlAbsCnstPtr& top, ExprSet& inps);

ExprSet GetVar(const InstrLvlAbsCnstPtr& m);
ExprSet GetStt(const InstrLvlAbsCnstPtr& m);
ExprSet GetInp(const InstrLvlAbsCnstPtr& m);
ExprSet GetVarTree(const InstrLvlAbsCnstPtr& top);
ExprSet GetSttTree(const InstrLvlAbsCnstPtr& top);
ExprSet GetInpTree(const InstrLvlAbsCnstPtr& top);

void InsertInstr(const InstrLvlAbsCnstPtr& m, InstrVec& instrs);
void InsertInstrTree(const InstrLvlAbsCnstPtr& top, InstrVec& instrs);

InstrVec GetInstr(const InstrLvlAbsCnstPtr& m);
InstrVec GetInstrTree(const InstrLvlAbsCnstPtr& top);

/****************************************************************************/
ExprPtr Rewrite(const ExprPtr& e, const ExprMap& rule);

void RewriteInstr(const InstrCnstPtr instr_src, const InstrPtr& instr_dst,
                  const ExprMap& expr_map);

void FlattenIla(const InstrLvlAbsPtr& ila_ptr_);

InstrLvlAbsPtr ExtrDeptModl(const InstrPtr& instr, const std::string& name);

InstrLvlAbsPtr CopyIlaTree(const InstrLvlAbsCnstPtr& src,
                           const std::string& dst_name);

/****************************************************************************/
void DuplInp(const InstrLvlAbsCnstPtr& src, const InstrLvlAbsPtr& dst,
             ExprMap& expr_map);
void DuplStt(const InstrLvlAbsCnstPtr& src, const InstrLvlAbsPtr& dst,
             ExprMap& expr_map);
ExprPtr DuplFetch(const InstrLvlAbsCnstPtr& src, const InstrLvlAbsPtr& dst,
                  const ExprMap& expr_map);
ExprPtr DuplValid(const InstrLvlAbsCnstPtr& src, const InstrLvlAbsPtr& dst,
                  const ExprMap& expr_map);
void DuplInit(const InstrLvlAbsCnstPtr& src, const InstrLvlAbsPtr& dst,
              const ExprMap& expr_map);
InstrPtr DuplInstr(const InstrCnstPtr instr_src, const InstrLvlAbsPtr& dst,
                   const ExprMap& expr_map, const CnstIlaMap& ila_map);
void DuplInstrSeq(const InstrLvlAbsCnstPtr& src, const InstrLvlAbsPtr& dst);

}; // namespace absknob

} // namespace ilang

#endif // ILANG_ILA_MNGR_U_ABS_KNOB_H__