Aleph::Compiler_Dataflow_Constant Struct Reference

One propagated constant value in the local-slot lattice. More...

#include <Compiler_Dataflow.H>

Collaboration diagram for Aleph::Compiler_Dataflow_Constant:

Public Member Functions
bool	is_known () const noexcept
	Returns whether the lattice state represents a known constant.

Public Attributes
Compiler_Dataflow_Constant_Kind	kind = Compiler_Dataflow_Constant_Kind::Unknown
	Lattice kind.
long long	integer_value = 0
	Integer payload when kind == Integer.
bool	bool_value = false
	Boolean payload when kind == Boolean.
std::string	text
	Stable textual spelling for deterministic dumps.

Detailed Description

One propagated constant value in the local-slot lattice.

Definition at line 166 of file Compiler_Dataflow.H.

Member Function Documentation

is_known()

bool Aleph::Compiler_Dataflow_Constant::is_known ( ) const

inlinenoexcept

Returns whether the lattice state represents a known constant.

Definition at line 174 of file Compiler_Dataflow.H.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::Boolean, Aleph::Integer, kind, and Aleph::Unit.

Member Data Documentation

bool_value

bool Aleph::Compiler_Dataflow_Constant::bool_value = false

Boolean payload when kind == Boolean.

Definition at line 170 of file Compiler_Dataflow.H.

Referenced by Aleph::Compiler_Dataflow_Detail::evaluate_binary(), and Aleph::Compiler_Dataflow_Detail::evaluate_unary().

integer_value

long long Aleph::Compiler_Dataflow_Constant::integer_value = 0

Integer payload when kind == Integer.

Definition at line 169 of file Compiler_Dataflow.H.

Referenced by Aleph::Compiler_Dataflow_Detail::evaluate_binary(), and Aleph::Compiler_Dataflow_Detail::evaluate_unary().

kind

Compiler_Dataflow_Constant_Kind Aleph::Compiler_Dataflow_Constant::kind = Compiler_Dataflow_Constant_Kind::Unknown

Lattice kind.

Definition at line 168 of file Compiler_Dataflow.H.

Referenced by Aleph::Compiler_Dataflow_Detail::boolean_constant(), Aleph::Compiler_Dataflow_Detail::evaluate_binary(), Aleph::Compiler_Dataflow_Detail::evaluate_unary(), Aleph::Compiler_Dataflow_Detail::integer_constant(), is_known(), Aleph::Compiler_Dataflow_Detail::meet_constants(), Aleph::Compiler_Dataflow_Detail::undefined_constant(), and Aleph::Compiler_Dataflow_Detail::unit_constant().

text

std::string Aleph::Compiler_Dataflow_Constant::text

Stable textual spelling for deterministic dumps.

Definition at line 171 of file Compiler_Dataflow.H.

---

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

• Compiler_Dataflow.H