MimIR 0.1
MimIR is my Intermediate Representation
Loading...
Searching...
No Matches
Functions | Variables
mim::plug::compile Namespace Reference

The compile Plugin More...

Enumerations

%compile.Phase
enum class  Phase : flags_t
 
%compile.Pass
enum class  Pass : flags_t
 
%compile.Repl
enum class  Repl : flags_t
 
%compile.phases
enum class  phases : flags_t
 
%compile.passes
enum class  passes : flags_t
 
%compile.repls
enum class  repls : flags_t
 
%compile.beta_red_phase
enum class  beta_red_phase : flags_t
 
%compile.branch_normalize_phase
enum class  branch_normalize_phase : flags_t
 
%compile.cleanup_phase
enum class  cleanup_phase : flags_t
 
%compile.eta_exp_phase
enum class  eta_exp_phase : flags_t
 
%compile.eta_red_phase
enum class  eta_red_phase : flags_t
 
%compile.null_phase
enum class  null_phase : flags_t
 
%compile.ret_wrap_phase
enum class  ret_wrap_phase : flags_t
 
%compile.pass2phase
enum class  pass2phase : flags_t
 
%compile.repl2phase
enum class  repl2phase : flags_t
 
%compile.prefix_cleanup_phase
enum class  prefix_cleanup_phase : flags_t
 
%compile.internal_cleanup_phase
enum class  internal_cleanup_phase : flags_t
 
%compile.null_repl
enum class  null_repl : flags_t
 
%compile.beta_red_pass
enum class  beta_red_pass : flags_t
 
%compile.eta_exp_pass
enum class  eta_exp_pass : flags_t
 
%compile.eta_red_pass
enum class  eta_red_pass : flags_t
 
%compile.lam_spec_pass
enum class  lam_spec_pass : flags_t
 
%compile.null_pass
enum class  null_pass : flags_t
 
%compile.scalarize_pass
enum class  scalarize_pass : flags_t
 
%compile.tail_rec_elim_pass
enum class  tail_rec_elim_pass : flags_t
 

Functions

void register_normalizers (Normalizers &normalizers)
 

Variables

static constexpr plugin_t Plugin_Id = 0x11039128d1800000
 

%compile.is_loaded

enum class  is_loaded : flags_t
 
const Def * normalize_is_loaded (const Def *, const Def *, const Def *arg)
 

Detailed Description

The compile Plugin

Enumeration Type Documentation

◆ beta_red_pass

enum class mim::plug::compile::beta_red_pass : flags_t
strong

Definition at line 148 of file autogen.h.

◆ beta_red_phase

enum class mim::plug::compile::beta_red_phase : flags_t
strong

Definition at line 64 of file autogen.h.

◆ branch_normalize_phase

enum class mim::plug::compile::branch_normalize_phase : flags_t
strong

Definition at line 71 of file autogen.h.

◆ cleanup_phase

enum class mim::plug::compile::cleanup_phase : flags_t
strong

Definition at line 78 of file autogen.h.

◆ eta_exp_pass

enum class mim::plug::compile::eta_exp_pass : flags_t
strong

Definition at line 155 of file autogen.h.

◆ eta_exp_phase

enum class mim::plug::compile::eta_exp_phase : flags_t
strong

Definition at line 85 of file autogen.h.

◆ eta_red_pass

enum class mim::plug::compile::eta_red_pass : flags_t
strong

Definition at line 162 of file autogen.h.

◆ eta_red_phase

enum class mim::plug::compile::eta_red_phase : flags_t
strong

Definition at line 92 of file autogen.h.

◆ internal_cleanup_phase

enum class mim::plug::compile::internal_cleanup_phase : flags_t
strong

Definition at line 134 of file autogen.h.

◆ is_loaded

enum class mim::plug::compile::is_loaded : flags_t
strong

Definition at line 35 of file autogen.h.

◆ lam_spec_pass

enum class mim::plug::compile::lam_spec_pass : flags_t
strong

Definition at line 169 of file autogen.h.

◆ null_pass

enum class mim::plug::compile::null_pass : flags_t
strong

Definition at line 176 of file autogen.h.

◆ null_phase

enum class mim::plug::compile::null_phase : flags_t
strong

Definition at line 99 of file autogen.h.

◆ null_repl

enum class mim::plug::compile::null_repl : flags_t
strong

Definition at line 141 of file autogen.h.

◆ Pass

enum class mim::plug::compile::Pass : flags_t
strong

Definition at line 21 of file autogen.h.

◆ pass2phase

enum class mim::plug::compile::pass2phase : flags_t
strong

Definition at line 113 of file autogen.h.

◆ passes

enum class mim::plug::compile::passes : flags_t
strong

Definition at line 50 of file autogen.h.

◆ Phase

enum class mim::plug::compile::Phase : flags_t
strong

Definition at line 14 of file autogen.h.

◆ phases

enum class mim::plug::compile::phases : flags_t
strong

Definition at line 43 of file autogen.h.

◆ prefix_cleanup_phase

enum class mim::plug::compile::prefix_cleanup_phase : flags_t
strong

Definition at line 127 of file autogen.h.

◆ Repl

enum class mim::plug::compile::Repl : flags_t
strong

Definition at line 28 of file autogen.h.

◆ repl2phase

enum class mim::plug::compile::repl2phase : flags_t
strong

Definition at line 120 of file autogen.h.

◆ repls

enum class mim::plug::compile::repls : flags_t
strong

Definition at line 57 of file autogen.h.

◆ ret_wrap_phase

enum class mim::plug::compile::ret_wrap_phase : flags_t
strong

Definition at line 106 of file autogen.h.

◆ scalarize_pass

enum class mim::plug::compile::scalarize_pass : flags_t
strong

Definition at line 183 of file autogen.h.

◆ tail_rec_elim_pass

enum class mim::plug::compile::tail_rec_elim_pass : flags_t
strong

Definition at line 190 of file autogen.h.

Function Documentation

◆ normalize_is_loaded()

const Def * mim::plug::compile::normalize_is_loaded ( const Def * ,
const Def * ,
const Def * arg )

Definition at line 8 of file normalizers.cpp.

References mim::World::driver(), mim::tuple2str(), and mim::Def::world().

◆ register_normalizers()

void mim::plug::compile::register_normalizers ( Normalizers & normalizers)

Referenced by mim_get_plugin().

Variable Documentation

◆ Plugin_Id

plugin_t mim::plug::compile::Plugin_Id = 0x11039128d1800000
staticconstexpr

Definition at line 10 of file autogen.h.