MimIR 0.1
MimIR is my Intermediate Representation
|
Enumerations | |
%ord.Set | |
enum class | Set : flags_t |
%ord.Map | |
enum class | Map : flags_t |
%ord.create_set | |
enum class | create_set : flags_t |
%ord.create_map | |
enum class | create_map : flags_t |
%ord.is_empty_set | |
enum class | is_empty_set : flags_t |
%ord.is_empty_map | |
enum class | is_empty_map : flags_t |
Functions | |
void | register_normalizers (Normalizers &normalizers) |
Variables | |
static constexpr plugin_t | Plugin_Id = 0x4131400000000000 |
%ord.init | |
enum class | init : flags_t { set = 0x4131400000000200 , map = 0x4131400000000201 } |
template<init id> | |
const Def * | normalize_init (const Def *type, const Def *callee, const Def *arg) |
%ord.size | |
enum class | size : flags_t { set = 0x4131400000000500 , map = 0x4131400000000501 } |
template<size> | |
const Def * | normalize_size (const Def *, const Def *, const Def *arg) |
%ord.get | |
enum class | get : flags_t |
const Def * | normalize_get (const Def *, const Def *, const Def *arg) |
%ord.mem | |
enum class | mem : flags_t { set = 0x4131400000000900 , map = 0x4131400000000901 } |
template<mem id> | |
const Def * | normalize_mem (const Def *, const Def *, const Def *arg) |
%ord.insert | |
enum class | insert : flags_t { set = 0x4131400000000a00 , map = 0x4131400000000a01 } |
template<insert id> | |
const Def * | normalize_insert (const Def *, const Def *, const Def *) |
|
strong |
|
strong |
|
strong |
|
strong |
|
strong |
|
strong |
|
strong |
|
strong |
|
strong |
|
strong |
|
strong |
Definition at line 19 of file normalizers.cpp.
References mim::Axm::isa(), and mim::Def::projs().
const Def * mim::plug::ord::normalize_init | ( | const Def * | type, |
const Def * | callee, | ||
const Def * | arg ) |
Definition at line 9 of file normalizers.cpp.
const Def * mim::plug::ord::normalize_insert | ( | const Def * | , |
const Def * | , | ||
const Def * | ) |
Definition at line 51 of file normalizers.cpp.
References mim::Axm::isa(), mim::Lit::isa(), and map.
const Def * mim::plug::ord::normalize_mem | ( | const Def * | , |
const Def * | , | ||
const Def * | arg ) |
Definition at line 32 of file normalizers.cpp.
References mim::Axm::isa(), map, mim::Def::projs(), and mim::Def::world().
const Def * mim::plug::ord::normalize_size | ( | const Def * | , |
const Def * | , | ||
const Def * | arg ) |
Definition at line 14 of file normalizers.cpp.
References mim::Axm::isa().
void mim::plug::ord::register_normalizers | ( | Normalizers & | normalizers | ) |
Referenced by mim_get_plugin().