Aleph::Compiler_HIR_Lowering Class Reference

Lowers the MVP typed AST into HIR. More...

#include <Compiler_HIR_Lowering_MVP.H>

Collaboration diagram for Aleph::Compiler_HIR_Lowering:

Public Member Functions
	Compiler_HIR_Lowering (Compiler_HIR_Context &context, const Compiler_Typed_Semantic_Analyzer &analysis) noexcept
	Constructs a lowering helper.
Compiler_HIR_Function *	lower_function (const Compiler_Function_Decl *function)
	Lowers one function declaration into HIR.
Compiler_HIR_Module *	lower_module (const Compiler_Module *module)
	Lowers one module into HIR.

Private Member Functions
Compiler_Type_Id	invalid_type () const noexcept
Compiler_Type_Id	expr_type (const Compiler_Expr *expr) const noexcept
Compiler_Type_Id	function_type (const Compiler_Function_Decl *function) const noexcept
Compiler_HIR_Expr *	lower_expr (const Compiler_Expr *expr)
Compiler_HIR_Stmt *	lower_stmt (const Compiler_Stmt *stmt)

Private Attributes
Compiler_HIR_Context *	hir = nullptr
const Compiler_Typed_Semantic_Analyzer *	typed = nullptr

Detailed Description

Lowers the MVP typed AST into HIR.

Definition at line 49 of file Compiler_HIR_Lowering_MVP.H.

Constructor & Destructor Documentation

Compiler_HIR_Lowering()

Aleph::Compiler_HIR_Lowering::Compiler_HIR_Lowering ( Compiler_HIR_Context &  context, const Compiler_Typed_Semantic_Analyzer &  analysis  )

inlinenoexcept

Constructs a lowering helper.

Parameters

context	HIR allocation context.
analysis	Typed semantic analysis results.

Definition at line 252 of file Compiler_HIR_Lowering_MVP.H.

Member Function Documentation

expr_type()

Compiler_Type_Id Aleph::Compiler_HIR_Lowering::expr_type ( const Compiler_Expr *  expr ) const

inlineprivatenoexcept

Definition at line 59 of file Compiler_HIR_Lowering_MVP.H.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::Compiler_Typed_Semantic_Analyzer::inferred_type(), invalid_type(), and typed.

Referenced by lower_expr().

function_type()

Compiler_Type_Id Aleph::Compiler_HIR_Lowering::function_type ( const Compiler_Function_Decl *  function ) const

inlineprivatenoexcept

Definition at line 68 of file Compiler_HIR_Lowering_MVP.H.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::Compiler_Typed_Semantic_Analyzer::function_type(), invalid_type(), and typed.

Referenced by lower_function().

invalid_type()

Compiler_Type_Id Aleph::Compiler_HIR_Lowering::invalid_type ( ) const

inlineprivatenoexcept

Definition at line 54 of file Compiler_HIR_Lowering_MVP.H.

References Aleph::Compiler_Type_Context::invalid_type(), Aleph::Compiler_Typed_Semantic_Analyzer::type_context(), and typed.

Referenced by expr_type(), function_type(), lower_expr(), lower_function(), and lower_stmt().

lower_expr()

Compiler_HIR_Expr * Aleph::Compiler_HIR_Lowering::lower_expr ( const Compiler_Expr *  expr )

inlineprivate

Definition at line 77 of file Compiler_HIR_Lowering_MVP.H.

References Aleph::Compiler_HIR_Call_Expr::arguments, Aleph::Binary, Aleph::Bool, Aleph::Bool_Literal, Aleph::Call, Aleph::Char_Literal, Aleph::Character, Aleph::compiler_operator_from_token_kind(), expr_type(), Aleph::Grouping, hir, Aleph::Identifier, Aleph::Integer, Aleph::Integer_Literal, Aleph::Invalid, invalid_type(), Aleph::Compiler_Expr::kind, lower_expr(), Aleph::Compiler_HIR_Context::make(), Aleph::Compiler_Ast_Node::span, Aleph::String, Aleph::String_Literal, and Aleph::Unary.

Referenced by lower_expr(), and lower_stmt().

lower_function()

Compiler_HIR_Function * Aleph::Compiler_HIR_Lowering::lower_function ( const Compiler_Function_Decl *  function )

inline

Lowers one function declaration into HIR.

Definition at line 258 of file Compiler_HIR_Lowering_MVP.H.

References Aleph::and, Aleph::Block, Aleph::blossom_maximum_cardinality_matching(), Aleph::Compiler_Function_Decl::body, function_type(), hir, invalid_type(), lower_stmt(), Aleph::Compiler_HIR_Context::make(), Aleph::Compiler_Function_Decl::name, Aleph::Compiler_Function_Decl::name_span, Aleph::Compiler_Typed_Semantic_Analyzer::parameter_type(), Aleph::Compiler_Function_Decl::parameters, Aleph::Compiler_Ast_Node::span, Aleph::Compiler_HIR_Node::span, and typed.

Referenced by lower_module().

lower_module()

Compiler_HIR_Module * Aleph::Compiler_HIR_Lowering::lower_module ( const Compiler_Module *  module )

inline

Lowers one module into HIR.

Definition at line 287 of file Compiler_HIR_Lowering_MVP.H.

References Aleph::Compiler_Module::functions, hir, lower_function(), lower_stmt(), Aleph::Compiler_HIR_Context::make(), and Aleph::Compiler_Module::statements.

lower_stmt()

Compiler_HIR_Stmt * Aleph::Compiler_HIR_Lowering::lower_stmt ( const Compiler_Stmt *  stmt )

inlineprivate

Definition at line 168 of file Compiler_HIR_Lowering_MVP.H.

References Aleph::Block, Aleph::blossom_maximum_cardinality_matching(), Aleph::Break, Aleph::Continue, Aleph::Expr, hir, Aleph::If, Aleph::Invalid, invalid_type(), Aleph::Compiler_Stmt::kind, Aleph::Let, Aleph::Compiler_Typed_Semantic_Analyzer::let_type(), lower_expr(), lower_stmt(), Aleph::Compiler_HIR_Context::make(), Aleph::Return, Aleph::Compiler_Ast_Node::span, Aleph::Compiler_SSA_Block::span, typed, and Aleph::While.

Referenced by lower_function(), lower_module(), and lower_stmt().

Member Data Documentation

hir

Compiler_HIR_Context* Aleph::Compiler_HIR_Lowering::hir = nullptr

private

Definition at line 51 of file Compiler_HIR_Lowering_MVP.H.

Referenced by lower_expr(), lower_function(), lower_module(), and lower_stmt().

typed

const Compiler_Typed_Semantic_Analyzer* Aleph::Compiler_HIR_Lowering::typed = nullptr

private

Definition at line 52 of file Compiler_HIR_Lowering_MVP.H.

Referenced by expr_type(), function_type(), invalid_type(), lower_function(), and lower_stmt().

---

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

• Compiler_HIR_Lowering_MVP.H