MimIR 0.1
MimIR is my Intermediate Representation
Loading...
Searching...
No Matches
normalizers.cpp
Go to the documentation of this file.
1#include "mim/world.h"
2
3#include "mim/plug/direct/direct.h"
4
5namespace mim::plug::direct {
6
7/// `cps2ds` is directly converted to `op_cps2ds_dep f` in its normalizer.
8Ref normalize_cps2ds(Ref, Ref, Ref fun) { return op_cps2ds_dep(fun); }
9
10MIM_direct_NORMALIZER_IMPL
11
12} // namespace mim::plug::direct
mim::Ref
Helper class to retrieve Infer::arg if present.
Definition def.h:86
MIM_direct_NORMALIZER_IMPL
#define MIM_direct_NORMALIZER_IMPL
Definition autogen.h:43
mim::plug::direct
The direct style Plugin
Definition direct.h:7
mim::plug::direct::op_cps2ds_dep
Ref op_cps2ds_dep(Ref k)
Definition direct.h:15
mim::plug::direct::normalize_cps2ds
Ref normalize_cps2ds(Ref, Ref, Ref fun)
cps2ds is directly converted to op_cps2ds_dep f in its normalizer.
Definition normalizers.cpp:8