pass.h

Go to the documentation of this file.

#ifndef ILANG_ILA_MNGR_PASS_H__
#define ILANG_ILA_MNGR_PASS_H__

#include <functional>

#include <ilang/ila/instr_lvl_abs.h>

namespace ilang {

namespace pass {

bool InferChildProgCFG(const InstrLvlAbsPtr& m);

bool MapChildProgEntryPoint(const InstrLvlAbsPtr& m);

bool RewriteConditionalStore(const InstrLvlAbsPtr& m);

bool RewriteStoreLoad(const InstrLvlAbsPtr& m);

bool RewriteGeneric(const InstrLvlAbsPtr& m,
                    std::function<ExprPtr(const ExprPtr)> Rewr);

bool SimplifySemantic(const InstrLvlAbsCnstPtr& m, const int& timeout = -1);

bool SimplifySyntactic(const InstrLvlAbsPtr& m);

bool SanityCheckAndFix(const InstrLvlAbsPtr& m);

} // namespace pass

}; // namespace ilang

#endif // ILANG_ILA_MNGR_PASS_H__