MimIR 0.1
MimIR is my Intermediate Representation
Loading...
Searching...
No Matches
autogen.h File Reference
#include <mim/axiom.h>
#include <mim/plugin.h>
Include dependency graph for autogen.h:
This graph shows which files directly or indirectly include this file:

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  mim::plug::refly::Code : flags_t
 
%refly.error
enum  mim::plug::refly::error : flags_t
 
%refly.warn
enum  mim::plug::refly::warn : flags_t
 
%refly.info
enum  mim::plug::refly::info : flags_t
 
%refly.verbose
enum  mim::plug::refly::verbose : flags_t
 
%refly.debug
enum  mim::plug::refly::debug : flags_t
 
%refly.remove_dbg_perm_pass
enum  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  mim::plug::refly::reify : flags_t
 
Ref mim::plug::refly::normalize_reify (Ref, Ref, Ref arg)
 

%refly.reflect

enum  mim::plug::refly::reflect : flags_t
 
Ref mim::plug::refly::normalize_reflect (Ref, Ref, Ref arg)
 

%refly.gid

enum  mim::plug::refly::gid : flags_t
 
Ref mim::plug::refly::normalize_gid (Ref, Ref, Ref arg)
 

%refly.dbg

enum  mim::plug::refly::dbg : flags_t {
  mim::plug::refly::tmp = 0x4c61cd6800000900 ,
  mim::plug::refly::perm = 0x4c61cd6800000901
}
 
template<dbg id>
Ref mim::plug::refly::normalize_dbg (Ref type, Ref callee, Ref arg)
 

%refly.refine

enum  mim::plug::refly::refine : flags_t
 
Ref mim::plug::refly::normalize_refine (Ref type, Ref callee, Ref arg)
 

Macro Definition Documentation

◆ MIM_refly_NORMALIZER_IMPL

#define MIM_refly_NORMALIZER_IMPL
Value:
void register_normalizers(Normalizers& normalizers) {\
normalizers[flags_t(Annex::Base<reify>)] = &normalize_reify; \
normalizers[flags_t(Annex::Base<reflect>)] = &normalize_reflect; \
normalizers[flags_t(Annex::Base<gid>)] = &normalize_gid; \
normalizers[flags_t(dbg::tmp)] = &normalize_dbg<dbg::tmp>; \
normalizers[flags_t(dbg::perm)] = &normalize_dbg<dbg::perm>; \
normalizers[flags_t(Annex::Base<refine>)] = &normalize_refine; \
}

Definition at line 156 of file autogen.h.