Aleph::Compiler_SSA_Terminator Struct Reference

Explicit terminator for one SSA basic block. More...

#include <SSA.H>

Collaboration diagram for Aleph::Compiler_SSA_Terminator:

Public Attributes
Compiler_IR_Terminator_Kind	kind = Compiler_IR_Terminator_Kind::None
	Terminator category.
Source_Span	span
	Source region associated with the terminator.
Compiler_SSA_Value_Id	condition_value = 0
	Branch condition, when relevant.
Compiler_SSA_Value_Id	return_value = 0
	Return value, when relevant.
DynArray< Compiler_SSA_Block_Id >	successors
	Successors in deterministic order.

Detailed Description

Explicit terminator for one SSA basic block.

Definition at line 151 of file SSA.H.

Member Data Documentation

condition_value

Compiler_SSA_Value_Id Aleph::Compiler_SSA_Terminator::condition_value = 0

Branch condition, when relevant.

Definition at line 155 of file SSA.H.

Referenced by Aleph::compiler_dump_ir_function(), Aleph::compiler_dump_ssa_function(), Aleph::Compiler_C_Backend::Emitter::emit_terminator(), Aleph::Compiler_Bytecode_Lowering::lower_function(), Aleph::Compiler_Dataflow_Detail::simulate_block(), Aleph::validate_dead_code_elimination(), Aleph::validate_ir_function(), and Aleph::validate_ssa_function().

kind

Compiler_IR_Terminator_Kind Aleph::Compiler_SSA_Terminator::kind = Compiler_IR_Terminator_Kind::None

Terminator category.

Definition at line 153 of file SSA.H.

Referenced by Aleph::compiler_dump_cfg_function(), Aleph::compiler_dump_ir_function(), Aleph::compiler_dump_ssa_function(), Aleph::Compiler_C_Backend::Emitter::emit_terminator(), Aleph::Compiler_SSA_Block::is_terminated(), Aleph::Compiler_Bytecode_Lowering::lower_function(), main(), Aleph::Compiler_Dataflow_Detail::simulate_block(), Aleph::validate_cfg_function(), Aleph::validate_dead_code_elimination(), Aleph::validate_ir_function(), and Aleph::validate_ssa_function().

return_value

Compiler_SSA_Value_Id Aleph::Compiler_SSA_Terminator::return_value = 0

Return value, when relevant.

Definition at line 156 of file SSA.H.

Referenced by Aleph::compiler_dump_ir_function(), Aleph::compiler_dump_ssa_function(), Aleph::Compiler_C_Backend::Emitter::emit_terminator(), Aleph::Compiler_Bytecode_Lowering::lower_function(), Aleph::validate_dead_code_elimination(), Aleph::validate_ir_function(), and Aleph::validate_ssa_function().

span

Source_Span Aleph::Compiler_SSA_Terminator::span

Source region associated with the terminator.

Definition at line 154 of file SSA.H.

Referenced by Aleph::Compiler_Bytecode_Lowering::lower_function().

successors

DynArray<Compiler_SSA_Block_Id> Aleph::Compiler_SSA_Terminator::successors

Successors in deterministic order.

Definition at line 157 of file SSA.H.

Referenced by Aleph::analyze_dataflow_function(), Aleph::compiler_dump_cfg_function(), Aleph::compiler_dump_ir_function(), Aleph::compiler_dump_ssa_function(), Aleph::Compiler_Dataflow_Detail::compute_reachability(), Aleph::Compiler_SSA_Detail::compute_reachable_blocks(), Aleph::eliminate_dead_code(), Aleph::Compiler_C_Backend::Emitter::emit_terminator(), Aleph::Compiler_Bytecode_Lowering::lower_function(), Aleph::Compiler_SSA_Detail::normalize_ir_function(), Aleph::validate_cfg_function(), and Aleph::validate_ir_function().

---

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

• SSA.H