MimIR/demo_2normalizers_8cpp_source.html

#include "mim/world.h"


#include "mim/plug/demo/demo.h"


namespace mim::plug::demo {


const Def* normalize_const(const Def* type, const Def*, const Def* arg) {

    auto& world = type->world();

    return world.lit(world.type_idx(arg), 42);

}


MIM_demo_NORMALIZER_IMPL


} // namespace mim::plug::demo


mim::Def
Base class for all Defs.
Definition def.h:198

mim::Def::world
World & world() const noexcept
Definition def.cpp:413

mim::World::lit
const Lit * lit(const Def *type, u64 val)
Definition world.cpp:464

MIM_demo_NORMALIZER_IMPL
#define MIM_demo_NORMALIZER_IMPL
Definition autogen.h:22

demo.h

mim::plug::demo
The demo Plugin
Definition normalizers.cpp:5

mim::plug::demo::normalize_const
const Def * normalize_const(const Def *type, const Def *, const Def *arg)
Definition normalizers.cpp:7

world.h