MimIR 0.1
MimIR is my Intermediate Representation
Loading...
Searching...
No Matches
mim::BetaRed Member List

This is the complete list of members for mim::BetaRed, including all inherited members.

analyze(const Proxy *) overridemim::BetaRedprivatevirtual
analyze(const Def *) overridemim::BetaRedprivatevirtual
mim::FPPass< BetaRed, Def >::analyze(const Var *)mim::Passinlinevirtual
annex() constmim::Stageinline
apply(const App *)mim::Stageinlinevirtual
apply(Stage &)mim::Stageinlinevirtual
as_proxy(const Def *def, u32 tag=0)mim::Passinline
BetaRed(World &world, flags_t annex)mim::BetaRedinline
create(const Flags2Stages &stages, const Def *def)mim::Stageinlinestatic
curr_mut() constmim::RWPass< BetaRed, Def >inline
curr_undo() constmim::FPPass< BetaRed, Def >inlineprotected
Data typedefmim::BetaRed
data()mim::FPPass< BetaRed, Def >inlineprotected
data()mim::FPPass< BetaRed, Def >inlineprotected
data(const K &key)mim::FPPass< BetaRed, Def >inlineprotected
data(const K &key)mim::FPPass< BetaRed, Def >inlineprotected
driver()mim::Stageinline
enter()mim::Passinlinevirtual
fixed_point() const overridemim::FPPass< BetaRed, Def >inlinevirtual
FPPass(World &world, std::string name)mim::FPPass< BetaRed, Def >inline
FPPass(World &world, flags_t annex)mim::FPPass< BetaRed, Def >inline
hook(Flags2Stages &stages)mim::Stageinlinestatic
index() constmim::Passinline
init(PassMan *)mim::Passvirtual
inspect() const overridemim::RWPass< BetaRed, Def >inlinevirtual
isa_proxy(const Def *def, u32 tag=0)mim::Passinline
keep(Lam *lam)mim::BetaRedinline
log() constmim::Stageinline
man()mim::Passinline
man() constmim::Passinline
name() constmim::Stageinline
name_mim::Stageprotected
Pass(World &world, std::string name)mim::Passinline
Pass(World &world, flags_t annex)mim::Passinline
prepare()mim::Passinlinevirtual
proxy(const Def *type, Defs ops, u32 tag=0)mim::Passinline
recreate()mim::Stagevirtual
rewrite(const Def *) overridemim::BetaRedprivatevirtual
mim::FPPass< BetaRed, Def >::rewrite(const Var *var)mim::Passinlinevirtual
mim::FPPass< BetaRed, Def >::rewrite(const Proxy *proxy)mim::Passinlinevirtual
RWPass(World &world, std::string name)mim::RWPass< BetaRed, Def >inline
RWPass(World &world, flags_t annex)mim::RWPass< BetaRed, Def >inline
Stage(World &world, std::string name)mim::Stageinline
Stage(World &world, flags_t annex)mim::Stage
states() constmim::FPPass< BetaRed, Def >inlineprotected
states()mim::FPPass< BetaRed, Def >inlineprotected
Super typedefmim::FPPass< BetaRed, Def >
undo_enter(Def *mut) constmim::FPPass< BetaRed, Def >inlineprotected
undo_visit(Def *mut) constmim::FPPass< BetaRed, Def >inlineprotected
world()mim::Stageinline
~Stage()=defaultmim::Stagevirtual