MimIR 0.1
MimIR is my Intermediate Representation
Loading...
Searching...
No Matches
remove_perm.cpp
Go to the documentation of this file.
2
4
5namespace mim::plug::refly {
6
7const Def* RemoveDbgPerm::rewrite(const Def* def) {
8 if (auto dbg_perm = match(dbg::perm, def)) {
9 auto [lvl, x] = dbg_perm->args<2>();
10 world().DLOG("dbg_perm: {}", x);
11 return x;
12 }
13
14 return def;
15}
16
17} // namespace mim::plug::refly
Base class for all Defs.
Definition def.h:198
World & world()
Definition pass.h:296
const Def * rewrite(const Def *) override
The refly Plugin
Definition remove_perm.h:7
auto match(const Def *def)
Definition axiom.h:112