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
5
namespace
mim::plug::direct
{
6
7
/// `cps2ds` is directly converted to `op_cps2ds_dep f` in its normalizer.
8
Ref
normalize_cps2ds
(
Ref
,
Ref
,
Ref
fun) {
return
op_cps2ds_dep
(fun); }
9
10
MIM_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
direct.h
mim::plug::direct
The direct style Plugin
Definition
direct.h:7
mim::plug::direct::op_cps2ds_dep
const Def * op_cps2ds_dep(const Def *f)
Definition
direct.h:11
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
world.h
src
mim
plug
direct
normalizers.cpp
Generated by
1.12.0