81 tmp = 0x4c61cd6800000900,
82 perm = 0x4c61cd6800000901,
107#define MIM_refly_NORMALIZER_IMPL \
108 void register_normalizers(Normalizers& normalizers) {\
109 normalizers[flags_t(Annex::Base<reify>)] = &normalize_reify; \
110 normalizers[flags_t(Annex::Base<reflect>)] = &normalize_reflect; \
111 normalizers[flags_t(Annex::Base<gid>)] = &normalize_gid; \
112 normalizers[flags_t(dbg::tmp)] = &normalize_dbg<dbg::tmp>; \
113 normalizers[flags_t(dbg::perm)] = &normalize_dbg<dbg::perm>; \
114 normalizers[flags_t(Annex::Base<refine>)] = &normalize_refine; \
145template<>
struct Axiom::Match<plug::refly::error> {
using type =
Axiom; };
146template<>
struct Axiom::Match<plug::refly::warn> {
using type =
Axiom; };
147template<>
struct Axiom::Match<plug::refly::info> {
using type =
Axiom; };
148template<>
struct Axiom::Match<plug::refly::verbose> {
using type =
Axiom; };
149template<>
struct Axiom::Match<plug::refly::debug> {
using type =
Axiom; };
150template<>
struct Axiom::Match<plug::refly::remove_dbg_perm_pass> {
using type =
Axiom; };
157template<>
struct fe::is_bit_enum<
mim::plug::refly::dbg> : std::true_type {};
Helper class to retrieve Infer::arg if present.
Ref normalize_gid(Ref, Ref, Ref arg)
Ref normalize_refine(Ref type, Ref callee, Ref arg)
static constexpr plugin_t Plugin_Id
Ref normalize_dbg(Ref type, Ref callee, Ref arg)
Ref normalize_reflect(Ref, Ref, Ref arg)
void register_normalizers(Normalizers &normalizers)
Ref normalize_reify(Ref, Ref, Ref arg)
absl::flat_hash_map< flags_t, NormalizeFn > Normalizers
static constexpr size_t Num
static constexpr flags_t Base