pass.h File Reference

#include <functional>
#include <ilang/ila/instr_lvl_abs.h>

Go to the source code of this file.

Namespaces
	ilang

Functions
bool	ilang::pass::InferChildProgCFG (const InstrLvlAbsPtr &m)
	Infer the control flow graph among the child-instructions (instr. seq.)
bool	ilang::pass::MapChildProgEntryPoint (const InstrLvlAbsPtr &m)
	Map the child program (and its entry point) to the parent instruction.
bool	ilang::pass::RewriteConditionalStore (const InstrLvlAbsPtr &m)
	Rewrite the conditional STORE in the AST.
bool	ilang::pass::RewriteStoreLoad (const InstrLvlAbsPtr &m)
	Rewrite the STORE-LOAD pattern in the AST.
bool	ilang::pass::RewriteGeneric (const InstrLvlAbsPtr &m, std::function< ExprPtr(const ExprPtr)> Rewr)
bool	ilang::pass::SimplifySemantic (const InstrLvlAbsCnstPtr &m, const int &timeout=-1)
	Simplify instructions (across the hierarchy) semantically (z3). More...
bool	ilang::pass::SimplifySyntactic (const InstrLvlAbsPtr &m)
	Simplify instructions (across the hierarchy) syntactically. (Light-weight simplification, no SMT query.) More...
bool	ilang::pass::SanityCheckAndFix (const InstrLvlAbsPtr &m)
	Sanity check instruction completness and determinism and fix if possible. More...

Detailed Description

ILA passes