MimIR 0.1
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
5#include <mim/pass/pass.h>
7
9
10using namespace mim;
11
13 return {
14 "refly", [](Normalizers& normalizers) { plug::refly::register_normalizers(normalizers); },
16 nullptr};
17}
#define MIM_EXPORT
Definition config.h:16
void register_normalizers(Normalizers &normalizers)
Definition cfg.h:11
absl::flat_hash_map< flags_t, std::function< void(World &, PipelineBuilder &, const Def *)> > Passes
axiom ↦ (pipeline part) × (axiom application) → () The function should inspect Application to const...
Definition plugin.h:22
void register_pass(Passes &passes, CArgs &&... args)
MIM_EXPORT mim::Plugin mim_get_plugin()
absl::flat_hash_map< flags_t, NormalizeFn > Normalizers
Definition plugin.h:19
Basic info and registration function pointer to be returned from a specific plugin.
Definition plugin.h:29