MimIR
0.1
MimIR is my Intermediate Representation
Loading...
Searching...
No Matches
refly.cpp
Go to the documentation of this file.
1
#include "
mim/plug/refly/refly.h
"
2
3
#include <
mim/config.h
>
4
5
#include <
mim/pass/pass.h
>
6
#include <
mim/pass/pipelinebuilder.h
>
7
8
#include "
mim/plug/refly/pass/remove_perm.h
"
9
10
using namespace
mim
;
11
12
extern
"C"
MIM_EXPORT
Plugin
mim_get_plugin
() {
13
return
{
14
"refly"
, [](
Normalizers
& normalizers) {
plug::refly::register_normalizers
(normalizers); },
15
[](
Passes
& passes) {
register_pass<plug::refly::remove_dbg_perm_pass, plug::refly::RemoveDbgPerm>
(passes); },
16
nullptr
};
17
}
config.h
MIM_EXPORT
#define MIM_EXPORT
Definition
config.h:16
mim::plug::refly::register_normalizers
void register_normalizers(Normalizers &normalizers)
mim
Definition
cfg.h:11
mim::Passes
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
mim::register_pass
void register_pass(Passes &passes, CArgs &&... args)
Definition
pipelinebuilder.h:47
mim::mim_get_plugin
MIM_EXPORT mim::Plugin mim_get_plugin()
mim::Normalizers
absl::flat_hash_map< flags_t, NormalizeFn > Normalizers
Definition
plugin.h:19
pass.h
pipelinebuilder.h
refly.h
remove_perm.h
mim::Plugin
Basic info and registration function pointer to be returned from a specific plugin.
Definition
plugin.h:29
src
mim
plug
refly
refly.cpp
Generated by
1.12.0