| 
    MimIR 0.1
    
   MimIR is my Intermediate Representation 
   | 
 
Go to the source code of this file.
Namespaces | |
| namespace | mim::plug::compile | 
| The compile Plugin  | |
| namespace | mim | 
| namespace | mim::plug | 
Macros | |
| #define | MIM_compile_NORMALIZER_IMPL | 
Enumerations | |
%compile.Phase  | |
| enum class | mim::plug::compile::Phase : flags_t | 
%compile.Pass  | |
| enum class | mim::plug::compile::Pass : flags_t | 
%compile.Repl  | |
| enum class | mim::plug::compile::Repl : flags_t | 
%compile.phases  | |
| enum class | mim::plug::compile::phases : flags_t | 
%compile.passes  | |
| enum class | mim::plug::compile::passes : flags_t | 
%compile.repls  | |
| enum class | mim::plug::compile::repls : flags_t | 
%compile.beta_red_phase  | |
| enum class | mim::plug::compile::beta_red_phase : flags_t | 
%compile.branch_normalize_phase  | |
| enum class | mim::plug::compile::branch_normalize_phase : flags_t | 
%compile.cleanup_phase  | |
| enum class | mim::plug::compile::cleanup_phase : flags_t | 
%compile.eta_exp_phase  | |
| enum class | mim::plug::compile::eta_exp_phase : flags_t | 
%compile.eta_red_phase  | |
| enum class | mim::plug::compile::eta_red_phase : flags_t | 
%compile.null_phase  | |
| enum class | mim::plug::compile::null_phase : flags_t | 
%compile.ret_wrap_phase  | |
| enum class | mim::plug::compile::ret_wrap_phase : flags_t | 
%compile.pass2phase  | |
| enum class | mim::plug::compile::pass2phase : flags_t | 
%compile.repl2phase  | |
| enum class | mim::plug::compile::repl2phase : flags_t | 
%compile.prefix_cleanup_phase  | |
| enum class | mim::plug::compile::prefix_cleanup_phase : flags_t | 
%compile.internal_cleanup_phase  | |
| enum class | mim::plug::compile::internal_cleanup_phase : flags_t | 
%compile.null_repl  | |
| enum class | mim::plug::compile::null_repl : flags_t | 
%compile.beta_red_pass  | |
| enum class | mim::plug::compile::beta_red_pass : flags_t | 
%compile.eta_exp_pass  | |
| enum class | mim::plug::compile::eta_exp_pass : flags_t | 
%compile.eta_red_pass  | |
| enum class | mim::plug::compile::eta_red_pass : flags_t | 
%compile.lam_spec_pass  | |
| enum class | mim::plug::compile::lam_spec_pass : flags_t | 
%compile.null_pass  | |
| enum class | mim::plug::compile::null_pass : flags_t | 
%compile.scalarize_pass  | |
| enum class | mim::plug::compile::scalarize_pass : flags_t | 
%compile.tail_rec_elim_pass  | |
| enum class | mim::plug::compile::tail_rec_elim_pass : flags_t | 
Functions | |
| void | mim::plug::compile::register_normalizers (Normalizers &normalizers) | 
Variables | |
| static constexpr plugin_t | mim::plug::compile::Plugin_Id = 0x11039128d1800000 | 
%compile.is_loaded | |
| enum class | mim::plug::compile::is_loaded : flags_t | 
| const Def * | mim::plug::compile::normalize_is_loaded (const Def *, const Def *, const Def *arg) |