 |
MimIR 0.1
MimIR is my Intermediate Representation
|
|
MimIR 0.1
MimIR is my Intermediate Representation
|
This is the complete list of members for mim::EtaRed, including all inherited members.
| analyze(const Var *) override | mim::EtaRed | privatevirtual |
| mim::FPPass< EtaRed, Def >::analyze(const Def *) | mim::Pass | inlinevirtual |
| mim::FPPass< EtaRed, Def >::analyze(const Proxy *) | mim::Pass | inlinevirtual |
| annex() const | mim::Stage | inline |
| apply(bool callee_only) | mim::EtaRed | |
| apply(const App *app) final | mim::EtaRed | inlinevirtual |
| apply(Stage &s) final | mim::EtaRed | inlinevirtual |
| as_proxy(const Def *def, u32 tag=0) | mim::Pass | inline |
| Bot enum value | mim::EtaRed | |
| callee_only() const | mim::EtaRed | inline |
| create(const Flags2Stages &stages, const Def *def) | mim::Stage | inlinestatic |
| 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 |
| driver() | mim::Stage | inline |
| enter() | mim::Pass | inlinevirtual |
| EtaRed(World &world, flags_t annex) | mim::EtaRed | inline |
| fixed_point() const override | mim::FPPass< EtaRed, Def > | inlinevirtual |
| FPPass(World &world, std::string name) | mim::FPPass< EtaRed, Def > | inline |
| FPPass(World &world, flags_t annex) | mim::FPPass< EtaRed, Def > | inline |
| hook(Flags2Stages &stages) | mim::Stage | inlinestatic |
| index() const | mim::Pass | inline |
| init(PassMan *) | mim::Pass | virtual |
| inspect() const override | mim::RWPass< EtaRed, Def > | inlinevirtual |
| Irreducible enum value | mim::EtaRed | |
| isa_proxy(const Def *def, u32 tag=0) | mim::Pass | inline |
| Lattice enum name | mim::EtaRed | |
| log() const | mim::Stage | inline |
| man() | mim::Pass | inline |
| man() const | mim::Pass | inline |
| mark_irreducible(Lam *lam) | mim::EtaRed | inline |
| name() const | mim::Stage | inline |
| name_ | mim::Stage | protected |
| Pass(World &world, std::string name) | mim::Pass | inline |
| Pass(World &world, flags_t annex) | mim::Pass | inline |
| prepare() | mim::Pass | inlinevirtual |
| proxy(const Def *type, Defs ops, u32 tag=0) | mim::Pass | inline |
| recreate() | mim::Stage | virtual |
| Reduce enum value | mim::EtaRed | |
| rewrite(const Def *) 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(World &world, std::string name) | mim::RWPass< EtaRed, Def > | inline |
| RWPass(World &world, flags_t annex) | mim::RWPass< EtaRed, Def > | inline |
| Stage(World &world, std::string name) | mim::Stage | inline |
| Stage(World &world, flags_t annex) | mim::Stage | |
| 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::Stage | inline |
| ~Stage()=default | mim::Stage | virtual |
1.13.2