analyze(const Var *) override | mim::EtaRed | privatevirtual |
mim::FPPass< EtaRed, Def >::analyze(Ref) | mim::Pass | inlinevirtual |
mim::FPPass< EtaRed, Def >::analyze(const Proxy *) | mim::Pass | inlinevirtual |
as_proxy(Ref def, u32 tag=0) | mim::Pass | inline |
Bot enum value | mim::EtaRed | |
curr_mut() const | mim::RWPass< EtaRed, Def > | inline |
curr_undo() const | mim::FPPass< EtaRed, Def > | inlineprotected |
Data typedef | mim::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::Pass | inlinevirtual |
EtaRed(PassMan &man, bool callee_only=false) | mim::EtaRed | inline |
fixed_point() const override | mim::FPPass< EtaRed, Def > | inlinevirtual |
FPPass(PassMan &man, std::string_view name) | mim::FPPass< EtaRed, Def > | inline |
index() const | mim::Pass | inline |
inspect() const override | mim::RWPass< EtaRed, Def > | inlinevirtual |
Irreducible enum value | mim::EtaRed | |
isa_proxy(Ref def, u32 tag=0) | mim::Pass | inline |
Lattice enum name | mim::EtaRed | |
man() | mim::Pass | inline |
man() const | mim::Pass | inline |
mark_irreducible(Lam *lam) | mim::EtaRed | inline |
name() const | mim::Pass | inline |
Pass(PassMan &, std::string_view name) | mim::Pass | |
prepare() | mim::Pass | inlinevirtual |
proxy(Ref type, Defs ops, u32 tag=0) | mim::Pass | inline |
Reduce enum value | mim::EtaRed | |
rewrite(Ref) override | mim::EtaRed | privatevirtual |
mim::FPPass< EtaRed, Def >::rewrite(const Var *var) | mim::Pass | inlinevirtual |
mim::FPPass< EtaRed, Def >::rewrite(const Proxy *proxy) | mim::Pass | inlinevirtual |
RWPass(PassMan &man, std::string_view name) | mim::RWPass< EtaRed, Def > | inline |
states() const | mim::FPPass< EtaRed, Def > | inlineprotected |
states() | mim::FPPass< EtaRed, Def > | inlineprotected |
Super typedef | mim::FPPass< EtaRed, Def > | |
undo_enter(Def *mut) const | mim::FPPass< EtaRed, Def > | inlineprotected |
undo_visit(Def *mut) const | mim::FPPass< EtaRed, Def > | inlineprotected |
world() | mim::Pass | inline |
~Pass()=default | mim::Pass | virtual |