Aleph::Compiler_SSA_Detail Namespace Reference

Classes
struct	Definition_Location
struct	Normalized_IR_Function
struct	Phi_Spec

Functions
std::string	block_name (const Compiler_SSA_Block_Id id)
std::string	value_name (const Compiler_SSA_Value_Id id)
std::string	local_slot_name (const Compiler_IR_Local_Slot_Id id)
std::string	global_slot_name (const Compiler_IR_Global_Slot_Id id)
std::string	function_name (const Compiler_IR_Function_Id id)
const char *	token_name (const Compiler_Operator_Kind kind) noexcept
void	append_indented_text (std::ostream &out, const std::string &text, const size_t indent)
bool	contains_block_id (const DynArray< Compiler_SSA_Block_Id > &ids, const Compiler_SSA_Block_Id id) noexcept
DynArray< bool >	compute_reachable_blocks (const Compiler_IR_Function &function)
Normalized_IR_Function	normalize_ir_function (const Compiler_IR_Function &source)
Compiler_SSA_Dominance_Info	compute_dominance_info (const Compiler_IR_Function &function)
size_t	next_value (Compiler_SSA_Function &function) noexcept
Compiler_SSA_Block &	block (Compiler_SSA_Function &function, const Compiler_SSA_Block_Id id)
const Compiler_SSA_Block &	block (const Compiler_SSA_Function &function, const Compiler_SSA_Block_Id id)
Compiler_SSA_Value_Id	current_slot_value (const DynArray< DynArray< Compiler_SSA_Value_Id > > &stacks, const Compiler_IR_Local_Slot_Id slot_id) noexcept
size_t	predecessor_index (const Compiler_SSA_Block &block, const Compiler_SSA_Block_Id predecessor)
void	rename_recursive (Compiler_SSA_Function &output, const Compiler_IR_Function &normalized, const Compiler_SSA_Dominance_Info &dominance, const DynArray< DynArray< Phi_Spec > > &phi_specs, Compiler_SSA_Block_Id block_id, DynArray< DynArray< Compiler_SSA_Value_Id > > &slot_stacks, DynArray< Compiler_SSA_Value_Id > &renamed_values)

Function Documentation

append_indented_text()

void Aleph::Compiler_SSA_Detail::append_indented_text ( std::ostream &  out, const std::string &  text, const size_t  indent  )

inline

Definition at line 355 of file SSA.H.

References Aleph::blossom_maximum_cardinality_matching(), and out.

Referenced by Aleph::compiler_dump_ssa_module().

block() [1/2]

Compiler_SSA_Block & Aleph::Compiler_SSA_Detail::block ( Compiler_SSA_Function &  function, const Compiler_SSA_Block_Id  id  )

inline

Definition at line 636 of file SSA.H.

References Aleph::Compiler_SSA_Function::blocks.

Referenced by compute_dominance_info(), compute_reachable_blocks(), normalize_ir_function(), and predecessor_index().

block() [2/2]

const Compiler_SSA_Block & Aleph::Compiler_SSA_Detail::block ( const Compiler_SSA_Function &  function, const Compiler_SSA_Block_Id  id  )

inline

Definition at line 643 of file SSA.H.

References Aleph::Compiler_SSA_Function::blocks.

block_name()

std::string Aleph::Compiler_SSA_Detail::block_name ( const Compiler_SSA_Block_Id  id )

inline

Definition at line 319 of file SSA.H.

Referenced by Aleph::compiler_dump_ssa_function(), and Aleph::validate_ssa_function().

compute_dominance_info()

Compiler_SSA_Dominance_Info Aleph::Compiler_SSA_Detail::compute_dominance_info ( const Compiler_IR_Function &  function )

inline

Definition at line 484 of file SSA.H.

References Aleph::DynArray< T >::access(), Aleph::and, Aleph::Compiler_Dataflow_Detail::bit_set_equals(), Aleph::Compiler_Dataflow_Detail::bit_set_intersection(), block(), Aleph::Compiler_IR_Function::blocks, Aleph::blossom_maximum_cardinality_matching(), Aleph::compiler_ssa_invalid_id(), compute_reachable_blocks(), contains_block_id(), Aleph::Compiler_IR_Function::entry_block, pred, Aleph::Compiler_SSA_Block::predecessors, Aleph::Compiler_Dataflow_Bit_Set::resize(), and Aleph::DynArray< T >::size().

Referenced by Aleph::Compiler_SSA_Lowering::lower_function_internal().

compute_reachable_blocks()

DynArray< bool > Aleph::Compiler_SSA_Detail::compute_reachable_blocks ( const Compiler_IR_Function &  function )

inline

Definition at line 389 of file SSA.H.

References Aleph::DynArray< T >::access(), Aleph::and, Aleph::DynArray< T >::append(), block(), Aleph::Compiler_IR_Function::blocks, Aleph::blossom_maximum_cardinality_matching(), Aleph::Compiler_IR_Function::entry_block, Aleph::DynArray< T >::size(), Aleph::Compiler_SSA_Terminator::successors, and Aleph::Compiler_SSA_Block::terminator.

Referenced by compute_dominance_info(), and normalize_ir_function().

contains_block_id()

bool Aleph::Compiler_SSA_Detail::contains_block_id ( const DynArray< Compiler_SSA_Block_Id > &  ids, const Compiler_SSA_Block_Id  id  )

inlinenoexcept

Definition at line 379 of file SSA.H.

References Aleph::blossom_maximum_cardinality_matching().

Referenced by compute_dominance_info(), and normalize_ir_function().

current_slot_value()

Compiler_SSA_Value_Id Aleph::Compiler_SSA_Detail::current_slot_value ( const DynArray< DynArray< Compiler_SSA_Value_Id > > &  stacks, const Compiler_IR_Local_Slot_Id  slot_id  )

inlinenoexcept

Definition at line 650 of file SSA.H.

References Aleph::blossom_maximum_cardinality_matching().

Referenced by rename_recursive().

function_name()

std::string Aleph::Compiler_SSA_Detail::function_name ( const Compiler_IR_Function_Id  id )

inline

Definition at line 343 of file SSA.H.

Referenced by Aleph::compiler_dump_ssa_function().

global_slot_name()

std::string Aleph::Compiler_SSA_Detail::global_slot_name ( const Compiler_IR_Global_Slot_Id  id )

inline

Definition at line 337 of file SSA.H.

Referenced by Aleph::compiler_dump_ssa_function(), and Aleph::compiler_dump_ssa_module().

local_slot_name()

std::string Aleph::Compiler_SSA_Detail::local_slot_name ( const Compiler_IR_Local_Slot_Id  id )

inline

Definition at line 331 of file SSA.H.

Referenced by Aleph::compiler_dump_ssa_function().

next_value()

size_t Aleph::Compiler_SSA_Detail::next_value ( Compiler_SSA_Function &  function )

inlinenoexcept

Definition at line 629 of file SSA.H.

Referenced by rename_recursive().

normalize_ir_function()

Normalized_IR_Function Aleph::Compiler_SSA_Detail::normalize_ir_function ( const Compiler_IR_Function &  source )

inline

Definition at line 420 of file SSA.H.

References Aleph::DynArray< T >::access(), Aleph::and, Aleph::DynArray< T >::append(), block(), Aleph::Compiler_IR_Function::blocks, Aleph::blossom_maximum_cardinality_matching(), Aleph::DynArray< T >::clear(), Aleph::compiler_ir_invalid_id(), compute_reachable_blocks(), contains_block_id(), Aleph::Compiler_IR_Function::entry_block, Aleph::Compiler_IR_Function::exit_block, Aleph::Compiler_SSA_Detail::Normalized_IR_Function::function, Aleph::Compiler_IR_Function::id, Aleph::Compiler_SSA_Block::id, Aleph::Compiler_IR_Function::local_slots, Aleph::Compiler_IR_Function::name, Aleph::Compiler_IR_Function::next_value_id, Aleph::Compiler_SSA_Block::predecessors, Aleph::Compiler_IR_Function::source_function, Aleph::Compiler_IR_Function::span, Aleph::Compiler_SSA_Terminator::successors, Aleph::Compiler_SSA_Block::terminator, and Aleph::Compiler_IR_Function::type_id.

Referenced by Aleph::Compiler_SSA_Lowering::lower_function_internal().

predecessor_index()

size_t Aleph::Compiler_SSA_Detail::predecessor_index ( const Compiler_SSA_Block &  block, const Compiler_SSA_Block_Id  predecessor  )

inline

Definition at line 659 of file SSA.H.

References Aleph::DynArray< T >::access(), block(), Aleph::compiler_ssa_invalid_id(), Aleph::Compiler_SSA_Block::predecessors, and Aleph::DynArray< T >::size().

Referenced by rename_recursive().

rename_recursive()

void Aleph::Compiler_SSA_Detail::rename_recursive ( Compiler_SSA_Function &  output, const Compiler_IR_Function &  normalized, const Compiler_SSA_Dominance_Info &  dominance, const DynArray< DynArray< Phi_Spec > > &  phi_specs, Compiler_SSA_Block_Id  block_id, DynArray< DynArray< Compiler_SSA_Value_Id > > &  slot_stacks, DynArray< Compiler_SSA_Value_Id > &  renamed_values  )

inline

Definition at line 670 of file SSA.H.

References Aleph::DynArray< T >::append(), Aleph::Binary, Aleph::blossom_maximum_cardinality_matching(), Aleph::Branch, Aleph::Call, Aleph::compiler_ir_invalid_id(), Aleph::compiler_ssa_invalid_id(), Aleph::Constant, current_slot_value(), Aleph::Compiler_SSA_Dominance_Info::dominator_tree_children, Aleph::Function_Ref, Aleph::Compiler_SSA_Instruction::kind, Aleph::Load, Aleph::Load_Global, next_value(), output, predecessor_index(), rename_recursive(), Aleph::Return, Aleph::size(), Aleph::Store, Aleph::Store_Global, and Aleph::Unary.

Referenced by rename_recursive().

token_name()

const char * Aleph::Compiler_SSA_Detail::token_name ( const Compiler_Operator_Kind  kind )

inlinenoexcept

Definition at line 349 of file SSA.H.

References Aleph::compiler_operator_name().

Referenced by Aleph::compiler_dump_ssa_function().

value_name()

std::string Aleph::Compiler_SSA_Detail::value_name ( const Compiler_SSA_Value_Id  id )

inline

Definition at line 325 of file SSA.H.

Referenced by Aleph::compiler_dump_ssa_function(), and Aleph::validate_ssa_function().