MimIR
MimIR is my Intermediate Representation
Loading...
Searching...
No Matches
refly.cpp
Go to the documentation of this file.
2
3#include <mim/config.h>
4#include <mim/phase.h>
5
6using namespace mim;
7using namespace mim::plug;
8
9void reg_phases(Flags2Phases& phases) {
11 if (auto dbg_perm = Axm::isa(refly::dbg::perm, def)) {
12 auto [lvl, x] = dbg_perm->args<2>();
13 DLOG("dbg_perm: {}", x);
14 return x;
15 }
16
17 return {};
18 });
19}
20
void reg_phases(Flags2Phases &phases)
Definition affine.cpp:12
static auto isa(const Def *def)
Definition axm.h:107
#define MIM_EXPORT
Definition config.h:19
#define DLOG(...)
Vaporizes to nothingness in Debug build.
Definition log.h:94
void register_normalizers(Normalizers &normalizers)
Definition ast.h:14
absl::flat_hash_map< flags_t, std::function< std::unique_ptr< Phase >(World &)> > Flags2Phases
Maps an axiom of a Phase to a function that creates one.
Definition plugin.h:25
mim::Plugin mim_get_plugin()
#define MIM_REPL(__phases, __annex,...)
Definition phase.h:406
#define MIM_VERSION
Definition plugin.h:54
void reg_phases(Flags2Phases &phases)
Definition refly.cpp:9
Basic info and registration function pointer to be returned from a specific plugin.
Definition plugin.h:59