MimIR 0.1
MimIR is my Intermediate Representation
|
Go to the source code of this file.
Namespaces | |
namespace | mim::plug::refly |
The refly Plugin | |
namespace | mim |
namespace | mim::plug |
Macros | |
#define | MIM_refly_NORMALIZER_IMPL |
Enumerations | |
%refly.Code | |
enum class | mim::plug::refly::Code : flags_t |
%refly.error | |
enum class | mim::plug::refly::error : flags_t |
%refly.warn | |
enum class | mim::plug::refly::warn : flags_t |
%refly.info | |
enum class | mim::plug::refly::info : flags_t |
%refly.verbose | |
enum class | mim::plug::refly::verbose : flags_t |
%refly.debug | |
enum class | mim::plug::refly::debug : flags_t |
%refly.remove_dbg_perm_pass | |
enum class | mim::plug::refly::remove_dbg_perm_pass : flags_t |
Functions | |
void | mim::plug::refly::register_normalizers (Normalizers &normalizers) |
Variables | |
static constexpr plugin_t | mim::plug::refly::Plugin_Id = 0x4c61cd6800000000 |
%refly.reify | |
enum class | mim::plug::refly::reify : flags_t |
const Def * | mim::plug::refly::normalize_reify (const Def *, const Def *, const Def *arg) |
%refly.reflect | |
enum class | mim::plug::refly::reflect : flags_t |
const Def * | mim::plug::refly::normalize_reflect (const Def *, const Def *, const Def *arg) |
%refly.type | |
enum class | mim::plug::refly::type : flags_t |
const Def * | mim::plug::refly::normalize_type (const Def *, const Def *, const Def *arg) |
%refly.gid | |
enum class | mim::plug::refly::gid : flags_t |
const Def * | mim::plug::refly::normalize_gid (const Def *, const Def *, const Def *arg) |
%refly.dbg | |
enum class | mim::plug::refly::dbg : flags_t { mim::plug::refly::tmp = 0x4c61cd6800000a00 , mim::plug::refly::perm = 0x4c61cd6800000a01 } |
template<dbg id> | |
const Def * | mim::plug::refly::normalize_dbg (const Def *, const Def *, const Def *arg) |
%refly.equiv | |
enum class | mim::plug::refly::equiv : flags_t { mim::plug::refly::ae = 0x4c61cd6800000b00 , mim::plug::refly::struc_ne = ae , mim::plug::refly::aE = 0x4c61cd6800000b01 , mim::plug::refly::struc_eq = aE , mim::plug::refly::Ae = 0x4c61cd6800000b02 , mim::plug::refly::alpha_ne = Ae , mim::plug::refly::AE = 0x4c61cd6800000b03 , mim::plug::refly::alpha_eq = AE } |
template<equiv id> | |
const Def * | mim::plug::refly::normalize_equiv (const Def *, const Def *, const Def *arg) |
%refly.check | |
enum class | mim::plug::refly::check : flags_t |
const Def * | mim::plug::refly::normalize_check (const Def *type, const Def *, const Def *arg) |
%refly.refine | |
enum class | mim::plug::refly::refine : flags_t |
const Def * | mim::plug::refly::normalize_refine (const Def *, const Def *, const Def *arg) |
#define MIM_refly_NORMALIZER_IMPL |