MimIR 0.1
MimIR is my Intermediate Representation
|
Replaces remaining zeros (not resolvable) with ⊥. More...
#include <mim/plug/autodiff/pass/autodiff_zero_cleanup.h>
Public Member Functions | |
AutoDiffZeroCleanup (PassMan &man) | |
const Def * | rewrite (const Def *) override |
![]() | |
RWPass (PassMan &man, std::string_view name) | |
bool | inspect () const override |
Should the PassMan even consider this pass? | |
Lam * | curr_mut () const |
![]() | |
Pass (PassMan &, std::string_view name) | |
virtual | ~Pass ()=default |
World & | world () |
PassMan & | man () |
const PassMan & | man () const |
std::string_view | name () const |
size_t | index () const |
virtual const Def * | rewrite (const Var *var) |
virtual const Def * | rewrite (const Proxy *proxy) |
virtual undo_t | analyze (const Def *) |
virtual undo_t | analyze (const Var *) |
virtual undo_t | analyze (const Proxy *) |
virtual bool | fixed_point () const |
virtual void | enter () |
Invoked just before Pass::rewriteing PassMan::curr_mut's body. | |
virtual void | prepare () |
Invoked once before entering the main rewrite loop. | |
const Proxy * | proxy (const Def *type, Defs ops, u32 tag=0) |
const Proxy * | isa_proxy (const Def *def, u32 tag=0) |
Check whether given def is a Proxy whose Proxy::pass matches this Pass's IPass::index . | |
const Proxy * | as_proxy (const Def *def, u32 tag=0) |
Replaces remaining zeros (not resolvable) with ⊥.
Definition at line 10 of file autodiff_zero_cleanup.h.
|
inline |
Definition at line 12 of file autodiff_zero_cleanup.h.
References mim::Pass::man(), mim::Pass::PassMan, and mim::RWPass< AutoDiffZeroCleanup, Lam >::RWPass().
Reimplemented from mim::Pass.
Definition at line 14 of file autodiff_zero_cleanup.cpp.
References mim::World::bot(), mim::match(), and mim::Pass::world().