Thorin 1.9.0
The Higher ORder INtermediate representation
Loading...
Searching...
No Matches
autogen.h File Reference
#include <thorin/axiom.h>
#include <thorin/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  thorin::plug::compile
 The compile Plugin
 
namespace  thorin
 
namespace  thorin::plug
 

Macros

#define THORIN_compile_NORMALIZER_IMPL
 

Enumerations

%compile.Pass
enum  thorin::plug::compile::Pass : flags_t
 
%compile.Phase
enum  thorin::plug::compile::Phase : flags_t
 
%compile.Pipeline
enum  thorin::plug::compile::Pipeline : flags_t
 
%compile.PassList
enum  thorin::plug::compile::PassList : flags_t
 
%compile.CombinedPhase
enum  thorin::plug::compile::CombinedPhase : flags_t
 
%compile.Plugin
enum  thorin::plug::compile::Plugin : flags_t
 
%compile.core_plugin
enum  thorin::plug::compile::core_plugin : flags_t
 
%compile.mem_plugin
enum  thorin::plug::compile::mem_plugin : flags_t
 
%compile.demo_plugin
enum  thorin::plug::compile::demo_plugin : flags_t
 
%compile.affine_plugin
enum  thorin::plug::compile::affine_plugin : flags_t
 
%compile.autodiff_plugin
enum  thorin::plug::compile::autodiff_plugin : flags_t
 
%compile.clos_plugin
enum  thorin::plug::compile::clos_plugin : flags_t
 
%compile.direct_plugin
enum  thorin::plug::compile::direct_plugin : flags_t
 
%compile.refly_plugin
enum  thorin::plug::compile::refly_plugin : flags_t
 
%compile.regex_plugin
enum  thorin::plug::compile::regex_plugin : flags_t
 
%compile.matrix_plugin
enum  thorin::plug::compile::matrix_plugin : flags_t
 
%compile.pipe
enum  thorin::plug::compile::pipe : flags_t
 
%compile.debug_phase
enum  thorin::plug::compile::debug_phase : flags_t
 
%compile.pass_list
enum  thorin::plug::compile::pass_list : flags_t
 
%compile.passes_to_phase
enum  thorin::plug::compile::passes_to_phase : flags_t
 
%compile.phase_list
enum  thorin::plug::compile::phase_list : flags_t
 
%compile.phases_to_phase
enum  thorin::plug::compile::phases_to_phase : flags_t
 
%compile.beta_red_pass
enum  thorin::plug::compile::beta_red_pass : flags_t
 
%compile.eta_red_pass
enum  thorin::plug::compile::eta_red_pass : flags_t
 
%compile.eta_exp_pass
enum  thorin::plug::compile::eta_exp_pass : flags_t
 
%compile.scalerize_pass
enum  thorin::plug::compile::scalerize_pass : flags_t
 
%compile.tail_rec_elim_pass
enum  thorin::plug::compile::tail_rec_elim_pass : flags_t
 
%compile.lam_spec_pass
enum  thorin::plug::compile::lam_spec_pass : flags_t
 
%compile.ret_wrap_pass
enum  thorin::plug::compile::ret_wrap_pass : flags_t
 
%compile.nullptr_pass
enum  thorin::plug::compile::nullptr_pass : flags_t
 
%compile.internal_cleanup_pass
enum  thorin::plug::compile::internal_cleanup_pass : flags_t
 
%compile.plugin_select
enum  thorin::plug::compile::plugin_select : flags_t
 

Functions

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

Variables

static constexpr plugin_t thorin::plug::compile::Plugin_Id = 0x11039128d1800000
 

%compile.pass_phase

enum  thorin::plug::compile::pass_phase : flags_t
 
Ref thorin::plug::compile::normalize_pass_phase (Ref type, Ref, Ref arg)
 

%compile.combine_pass_list

enum  thorin::plug::compile::combine_pass_list : flags_t
 
Ref thorin::plug::compile::normalize_combine_pass_list (Ref type, Ref, Ref arg)
 combine_pass_list K (pass_list pass11 ... pass1N) ... (pass_list passK1 ... passKM) = pass_list pass11 ... p1N ... passK1 ... passKM
 

%compile.single_pass_phase

enum  thorin::plug::compile::single_pass_phase : flags_t
 
Ref thorin::plug::compile::normalize_single_pass_phase (Ref type, Ref, Ref arg)
 single_pass_phase pass -> passes_to_phase 1 pass
 

%compile.combined_phase

enum  thorin::plug::compile::combined_phase : flags_t
 
Ref thorin::plug::compile::normalize_combined_phase (Ref type, Ref, Ref arg)
 combined_phase (phase_list phase1 ... phasen) -> phases_to_phase n (phase1, ..., phasen)
 

Macro Definition Documentation

◆ THORIN_compile_NORMALIZER_IMPL

#define THORIN_compile_NORMALIZER_IMPL
Value:
void register_normalizers(Normalizers& normalizers) {\
normalizers[flags_t(Annex::Base<pass_phase>)] = &normalize_pass_phase; \
normalizers[flags_t(Annex::Base<combine_pass_list>)] = &normalize_combine_pass_list; \
normalizers[flags_t(Annex::Base<single_pass_phase>)] = &normalize_single_pass_phase; \
normalizers[flags_t(Annex::Base<combined_phase>)] = &normalize_combined_phase; \
}

Definition at line 414 of file autogen.h.