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
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
11
12} // namespace mim::plug::direct
Helper class to retrieve Infer::arg if present.
Definition def.h:86
#define MIM_direct_NORMALIZER_IMPL
Definition autogen.h:43
The direct style Plugin
Definition direct.h:7
const Def * op_cps2ds_dep(const Def *f)
Definition direct.h:11
Ref normalize_cps2ds(Ref, Ref, Ref fun)
cps2ds is directly converted to op_cps2ds_dep f in its normalizer.