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

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

analyze(const Var *) overridemim::EtaRedprivatevirtual
mim::FPPass< EtaRed, Def >::analyze(Ref)mim::Passinlinevirtual
mim::FPPass< EtaRed, Def >::analyze(const Proxy *)mim::Passinlinevirtual
as_proxy(Ref def, u32 tag=0)mim::Passinline
Bot enum valuemim::EtaRed
curr_mut() constmim::RWPass< EtaRed, Def >inline
curr_undo() constmim::FPPass< EtaRed, Def >inlineprotected
Data typedefmim::EtaRed
data()mim::FPPass< EtaRed, Def >inlineprotected
data()mim::FPPass< EtaRed, Def >inlineprotected
data(const K &key)mim::FPPass< EtaRed, Def >inlineprotected
data(const K &key)mim::FPPass< EtaRed, Def >inlineprotected
enter()mim::Passinlinevirtual
EtaRed(PassMan &man, bool callee_only=false)mim::EtaRedinline
fixed_point() const overridemim::FPPass< EtaRed, Def >inlinevirtual
FPPass(PassMan &man, std::string_view name)mim::FPPass< EtaRed, Def >inline
index() constmim::Passinline
inspect() const overridemim::RWPass< EtaRed, Def >inlinevirtual
Irreducible enum valuemim::EtaRed
isa_proxy(Ref def, u32 tag=0)mim::Passinline
Lattice enum namemim::EtaRed
man()mim::Passinline
man() constmim::Passinline
mark_irreducible(Lam *lam)mim::EtaRedinline
name() constmim::Passinline
Pass(PassMan &, std::string_view name)mim::Pass
prepare()mim::Passinlinevirtual
proxy(Ref type, Defs ops, u32 tag=0)mim::Passinline
Reduce enum valuemim::EtaRed
rewrite(Ref) overridemim::EtaRedprivatevirtual
mim::FPPass< EtaRed, Def >::rewrite(const Var *var)mim::Passinlinevirtual
mim::FPPass< EtaRed, Def >::rewrite(const Proxy *proxy)mim::Passinlinevirtual
RWPass(PassMan &man, std::string_view name)mim::RWPass< EtaRed, Def >inline
states() constmim::FPPass< EtaRed, Def >inlineprotected
states()mim::FPPass< EtaRed, Def >inlineprotected
Super typedefmim::FPPass< EtaRed, Def >
undo_enter(Def *mut) constmim::FPPass< EtaRed, Def >inlineprotected
undo_visit(Def *mut) constmim::FPPass< EtaRed, Def >inlineprotected
world()mim::Passinline
~Pass()=defaultmim::Passvirtual