Aleph::Compiler_IR_Lowering Class Reference

Lowers typed HIR into explicit-value IR. More...

#include <Compiler_IR_Lowering_MVP.H>

Collaboration diagram for Aleph::Compiler_IR_Lowering:

Classes
struct	Module_Builder

Public Member Functions
	Compiler_IR_Lowering (Compiler_IR_Context &ctx, const Compiler_Type_Context *type_ctx=nullptr) noexcept
	Builds an IR lowerer over ctx.
const Compiler_Type_Context *	type_context () const noexcept
	Returns the optional type context used by this lowerer.
Compiler_IR_Module *	lower_module (const Compiler_HIR_Module *module) const
	Lowers one HIR module into explicit-value IR.

Private Attributes
Compiler_IR_Context *	ir = nullptr
const Compiler_Type_Context *	types = nullptr

Detailed Description

Lowers typed HIR into explicit-value IR.

Definition at line 72 of file Compiler_IR_Lowering_MVP.H.

Constructor & Destructor Documentation

Compiler_IR_Lowering()

Aleph::Compiler_IR_Lowering::Compiler_IR_Lowering ( Compiler_IR_Context &  ctx, const Compiler_Type_Context *  type_ctx = nullptr  )

inlineexplicitnoexcept

Builds an IR lowerer over ctx.

Definition at line 743 of file Compiler_IR_Lowering_MVP.H.

Member Function Documentation

lower_module()

Compiler_IR_Module * Aleph::Compiler_IR_Lowering::lower_module ( const Compiler_HIR_Module *  module ) const

inline

Lowers one HIR module into explicit-value IR.

Definition at line 755 of file Compiler_IR_Lowering_MVP.H.

References ah_runtime_error_unless, Aleph::blossom_maximum_cardinality_matching(), Aleph::Compiler_HIR_Function::body, Aleph::compiler_ir_invalid_id(), Aleph::Compiler_HIR_Module::functions, Aleph::Compiler_IR_Function::id, ir, Aleph::Let, Aleph::Compiler_IR_Context::make(), Aleph::Compiler_IR_Function::source_function, Aleph::Compiler_HIR_Block_Stmt::statements, Aleph::Compiler_HIR_Module::statements, and types.

type_context()

const Compiler_Type_Context * Aleph::Compiler_IR_Lowering::type_context ( ) const

inlinenoexcept

Returns the optional type context used by this lowerer.

Definition at line 749 of file Compiler_IR_Lowering_MVP.H.

References types.

Member Data Documentation

ir

Compiler_IR_Context* Aleph::Compiler_IR_Lowering::ir = nullptr

private

Definition at line 738 of file Compiler_IR_Lowering_MVP.H.

Referenced by lower_module().

types

const Compiler_Type_Context* Aleph::Compiler_IR_Lowering::types = nullptr

private

Definition at line 739 of file Compiler_IR_Lowering_MVP.H.

Referenced by lower_module(), and type_context().

---

The documentation for this class was generated from the following file:

• Compiler_IR_Lowering_MVP.H