Aleph::Compiler_CFG_Terminator Struct Reference

Detailed information about a block's termination. More...

#include <Compiler_CFG.H>

Collaboration diagram for Aleph::Compiler_CFG_Terminator:

Public Attributes
Compiler_CFG_Terminator_Kind	kind = Compiler_CFG_Terminator_Kind::None
	Category of terminator.
const Compiler_HIR_Expr *	condition = nullptr
	Branch condition (valid if kind is Branch).
const Compiler_HIR_Expr *	value = nullptr
	Return value (valid if kind is Return).
Source_Span	span
	Source location of the terminator.
DynArray< Compiler_CFG_Block_Id >	successors
	List of successor block IDs.

Detailed Description

Detailed information about a block's termination.

Encapsulates the logic of how a block ends.

Definition at line 127 of file Compiler_CFG.H.

Member Data Documentation

condition

const Compiler_HIR_Expr* Aleph::Compiler_CFG_Terminator::condition = nullptr

Branch condition (valid if kind is Branch).

Definition at line 130 of file Compiler_CFG.H.

kind

Compiler_CFG_Terminator_Kind Aleph::Compiler_CFG_Terminator::kind = Compiler_CFG_Terminator_Kind::None

Category of terminator.

Definition at line 129 of file Compiler_CFG.H.

Referenced by Aleph::Compiler_CFG_Block::is_terminated(), and TEST().

span

Source_Span Aleph::Compiler_CFG_Terminator::span

Source location of the terminator.

Definition at line 132 of file Compiler_CFG.H.

successors

DynArray<Compiler_CFG_Block_Id> Aleph::Compiler_CFG_Terminator::successors

List of successor block IDs.

Definition at line 133 of file Compiler_CFG.H.

Referenced by TEST().

value

const Compiler_HIR_Expr* Aleph::Compiler_CFG_Terminator::value = nullptr

Return value (valid if kind is Return).

Definition at line 131 of file Compiler_CFG.H.

---

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

• Compiler_CFG.H