autogen.h

Go to the documentation of this file.

#pragma once
 
#include <mim/axm.h>
#include <mim/plugin.h>
 
/// @namespace mim::plug::compile @ref compile 
namespace mim {
namespace plug::compile {
 
static constexpr plugin_t Plugin_Id = 0x11039128d1800000;
 
/// @name %%compile.Phase
///@{
enum class Phase : flags_t {
};
 
///@}
 
/// @name %%compile.Pass
///@{
enum class Pass : flags_t {
};
 
///@}
 
/// @name %%compile.Repl
///@{
enum class Repl : flags_t {
};
 
///@}
 
/// @name %%compile.is_loaded
///@{
enum class is_loaded : flags_t {
};
 
const Def* normalize_is_loaded(const Def*, const Def*, const Def*);
///@}
 
/// @name %%compile.phases
///@{
enum class phases : flags_t {
};
 
///@}
 
/// @name %%compile.passes
///@{
enum class passes : flags_t {
};
 
///@}
 
/// @name %%compile.repls
///@{
enum class repls : flags_t {
};
 
///@}
 
/// @name %%compile.beta_red_phase
///@{
enum class beta_red_phase : flags_t {
};
 
///@}
 
/// @name %%compile.branch_normalize_phase
///@{
enum class branch_normalize_phase : flags_t {
};
 
///@}
 
/// @name %%compile.cleanup_phase
///@{
enum class cleanup_phase : flags_t {
};
 
///@}
 
/// @name %%compile.eta_exp_phase
///@{
enum class eta_exp_phase : flags_t {
};
 
///@}
 
/// @name %%compile.eta_red_phase
///@{
enum class eta_red_phase : flags_t {
};
 
///@}
 
/// @name %%compile.null_phase
///@{
enum class null_phase : flags_t {
};
 
///@}
 
/// @name %%compile.ret_wrap_phase
///@{
enum class ret_wrap_phase : flags_t {
};
 
///@}
 
/// @name %%compile.sccp
///@{
enum class sccp : flags_t {
};
 
///@}
 
/// @name %%compile.pass2phase
///@{
enum class pass2phase : flags_t {
};
 
///@}
 
/// @name %%compile.repl2phase
///@{
enum class repl2phase : flags_t {
};
 
///@}
 
/// @name %%compile.prefix_cleanup_phase
///@{
enum class prefix_cleanup_phase : flags_t {
};
 
///@}
 
/// @name %%compile.internal_cleanup_phase
///@{
enum class internal_cleanup_phase : flags_t {
};
 
///@}
 
/// @name %%compile.null_repl
///@{
enum class null_repl : flags_t {
};
 
///@}
 
/// @name %%compile.beta_red_pass
///@{
enum class beta_red_pass : flags_t {
};
 
///@}
 
/// @name %%compile.eta_exp_pass
///@{
enum class eta_exp_pass : flags_t {
};
 
///@}
 
/// @name %%compile.eta_red_pass
///@{
enum class eta_red_pass : flags_t {
};
 
///@}
 
/// @name %%compile.lam_spec_pass
///@{
enum class lam_spec_pass : flags_t {
};
 
///@}
 
/// @name %%compile.null_pass
///@{
enum class null_pass : flags_t {
};
 
///@}
 
/// @name %%compile.scalarize_pass
///@{
enum class scalarize_pass : flags_t {
};
 
///@}
 
/// @name %%compile.tail_rec_elim_pass
///@{
enum class tail_rec_elim_pass : flags_t {
};
 
///@}
 
void register_normalizers(Normalizers& normalizers);
 
#define MIM_compile_NORMALIZER_IMPL \
    void register_normalizers(Normalizers& normalizers) {\
        normalizers[flags_t(Annex::Base<is_loaded>)] = &normalize_is_loaded; \
    }
} // namespace plug::compile
 
#ifndef DOXYGEN // don't include in Doxygen documentation
 
template<> constexpr flags_t Annex::Base<plug::compile::Phase> = 0x11039128d1800000;
template<> constexpr size_t Annex::Num<plug::compile::Phase> = 0;
template<> constexpr flags_t Annex::Base<plug::compile::Pass> = 0x11039128d1800100;
template<> constexpr size_t Annex::Num<plug::compile::Pass> = 0;
template<> constexpr flags_t Annex::Base<plug::compile::Repl> = 0x11039128d1800200;
template<> constexpr size_t Annex::Num<plug::compile::Repl> = 0;
template<> constexpr flags_t Annex::Base<plug::compile::is_loaded> = 0x11039128d1800300;
template<> constexpr size_t Annex::Num<plug::compile::is_loaded> = 0;
template<> constexpr flags_t Annex::Base<plug::compile::phases> = 0x11039128d1800400;
template<> constexpr size_t Annex::Num<plug::compile::phases> = 0;
template<> constexpr flags_t Annex::Base<plug::compile::passes> = 0x11039128d1800500;
template<> constexpr size_t Annex::Num<plug::compile::passes> = 0;
template<> constexpr flags_t Annex::Base<plug::compile::repls> = 0x11039128d1800600;
template<> constexpr size_t Annex::Num<plug::compile::repls> = 0;
template<> constexpr flags_t Annex::Base<plug::compile::beta_red_phase> = 0x11039128d1800700;
template<> constexpr size_t Annex::Num<plug::compile::beta_red_phase> = 0;
template<> constexpr flags_t Annex::Base<plug::compile::branch_normalize_phase> = 0x11039128d1800800;
template<> constexpr size_t Annex::Num<plug::compile::branch_normalize_phase> = 0;
template<> constexpr flags_t Annex::Base<plug::compile::cleanup_phase> = 0x11039128d1800900;
template<> constexpr size_t Annex::Num<plug::compile::cleanup_phase> = 0;
template<> constexpr flags_t Annex::Base<plug::compile::eta_exp_phase> = 0x11039128d1800a00;
template<> constexpr size_t Annex::Num<plug::compile::eta_exp_phase> = 0;
template<> constexpr flags_t Annex::Base<plug::compile::eta_red_phase> = 0x11039128d1800b00;
template<> constexpr size_t Annex::Num<plug::compile::eta_red_phase> = 0;
template<> constexpr flags_t Annex::Base<plug::compile::null_phase> = 0x11039128d1800c00;
template<> constexpr size_t Annex::Num<plug::compile::null_phase> = 0;
template<> constexpr flags_t Annex::Base<plug::compile::ret_wrap_phase> = 0x11039128d1800d00;
template<> constexpr size_t Annex::Num<plug::compile::ret_wrap_phase> = 0;
template<> constexpr flags_t Annex::Base<plug::compile::sccp> = 0x11039128d1800e00;
template<> constexpr size_t Annex::Num<plug::compile::sccp> = 0;
template<> constexpr flags_t Annex::Base<plug::compile::pass2phase> = 0x11039128d1800f00;
template<> constexpr size_t Annex::Num<plug::compile::pass2phase> = 0;
template<> constexpr flags_t Annex::Base<plug::compile::repl2phase> = 0x11039128d1801000;
template<> constexpr size_t Annex::Num<plug::compile::repl2phase> = 0;
template<> constexpr flags_t Annex::Base<plug::compile::prefix_cleanup_phase> = 0x11039128d1801100;
template<> constexpr size_t Annex::Num<plug::compile::prefix_cleanup_phase> = 0;
template<> constexpr flags_t Annex::Base<plug::compile::internal_cleanup_phase> = 0x11039128d1801200;
template<> constexpr size_t Annex::Num<plug::compile::internal_cleanup_phase> = 0;
template<> constexpr flags_t Annex::Base<plug::compile::null_repl> = 0x11039128d1801300;
template<> constexpr size_t Annex::Num<plug::compile::null_repl> = 0;
template<> constexpr flags_t Annex::Base<plug::compile::beta_red_pass> = 0x11039128d1801400;
template<> constexpr size_t Annex::Num<plug::compile::beta_red_pass> = 0;
template<> constexpr flags_t Annex::Base<plug::compile::eta_exp_pass> = 0x11039128d1801500;
template<> constexpr size_t Annex::Num<plug::compile::eta_exp_pass> = 0;
template<> constexpr flags_t Annex::Base<plug::compile::eta_red_pass> = 0x11039128d1801600;
template<> constexpr size_t Annex::Num<plug::compile::eta_red_pass> = 0;
template<> constexpr flags_t Annex::Base<plug::compile::lam_spec_pass> = 0x11039128d1801700;
template<> constexpr size_t Annex::Num<plug::compile::lam_spec_pass> = 0;
template<> constexpr flags_t Annex::Base<plug::compile::null_pass> = 0x11039128d1801800;
template<> constexpr size_t Annex::Num<plug::compile::null_pass> = 0;
template<> constexpr flags_t Annex::Base<plug::compile::scalarize_pass> = 0x11039128d1801900;
template<> constexpr size_t Annex::Num<plug::compile::scalarize_pass> = 0;
template<> constexpr flags_t Annex::Base<plug::compile::tail_rec_elim_pass> = 0x11039128d1801a00;
template<> constexpr size_t Annex::Num<plug::compile::tail_rec_elim_pass> = 0;
 
template<> struct Axm::IsANode<plug::compile::Phase> { using type = Axm; };
template<> struct Axm::IsANode<plug::compile::Pass> { using type = Axm; };
template<> struct Axm::IsANode<plug::compile::Repl> { using type = Axm; };
template<> struct Axm::IsANode<plug::compile::beta_red_phase> { using type = Axm; };
template<> struct Axm::IsANode<plug::compile::branch_normalize_phase> { using type = Axm; };
template<> struct Axm::IsANode<plug::compile::cleanup_phase> { using type = Axm; };
template<> struct Axm::IsANode<plug::compile::eta_exp_phase> { using type = Axm; };
template<> struct Axm::IsANode<plug::compile::eta_red_phase> { using type = Axm; };
template<> struct Axm::IsANode<plug::compile::null_phase> { using type = Axm; };
template<> struct Axm::IsANode<plug::compile::ret_wrap_phase> { using type = Axm; };
template<> struct Axm::IsANode<plug::compile::sccp> { using type = Axm; };
template<> struct Axm::IsANode<plug::compile::internal_cleanup_phase> { using type = Axm; };
template<> struct Axm::IsANode<plug::compile::null_repl> { using type = Axm; };
template<> struct Axm::IsANode<plug::compile::beta_red_pass> { using type = Axm; };
template<> struct Axm::IsANode<plug::compile::eta_exp_pass> { using type = Axm; };
template<> struct Axm::IsANode<plug::compile::lam_spec_pass> { using type = Axm; };
template<> struct Axm::IsANode<plug::compile::null_pass> { using type = Axm; };
template<> struct Axm::IsANode<plug::compile::scalarize_pass> { using type = Axm; };
template<> struct Axm::IsANode<plug::compile::tail_rec_elim_pass> { using type = Axm; };
 
#endif
} // namespace mim
 
#ifndef DOXYGEN // don't include in Doxygen documentation
 
 
#endif