Aleph::Compiler_Dataflow_Detail Namespace Reference

Classes
struct	Block_Simulation
struct	Block_Use_Def

Functions
Compiler_Dataflow_Constant	unknown_constant ()
Compiler_Dataflow_Constant	undefined_constant ()
Compiler_Dataflow_Constant	integer_constant (const long long value)
Compiler_Dataflow_Constant	boolean_constant (const bool value)
Compiler_Dataflow_Constant	unit_constant ()
bool	same_constant (const Compiler_Dataflow_Constant &lhs, const Compiler_Dataflow_Constant &rhs) noexcept
std::string	constant_to_string (const Compiler_Dataflow_Constant &constant)
bool	parse_integer_constant (const std::string &text, long long &value) noexcept
Compiler_Dataflow_Constant	constant_from_instruction (const Compiler_IR_Instruction &inst)
Compiler_Dataflow_Constant	meet_constants (const Compiler_Dataflow_Constant &lhs, const Compiler_Dataflow_Constant &rhs)
Compiler_Dataflow_Bit_Set	make_bit_set (const size_t count, const bool value=false)
DynArray< Compiler_Dataflow_Constant >	make_constant_vector (const size_t count, const Compiler_Dataflow_Constant &fill)
bool	bit_set_equals (const Compiler_Dataflow_Bit_Set &lhs, const Compiler_Dataflow_Bit_Set &rhs) noexcept
bool	constant_vector_equals (const DynArray< Compiler_Dataflow_Constant > &lhs, const DynArray< Compiler_Dataflow_Constant > &rhs) noexcept
Compiler_Dataflow_Bit_Set	bit_set_union (const Compiler_Dataflow_Bit_Set &lhs, const Compiler_Dataflow_Bit_Set &rhs)
Compiler_Dataflow_Bit_Set	bit_set_intersection (const Compiler_Dataflow_Bit_Set &lhs, const Compiler_Dataflow_Bit_Set &rhs)
Compiler_Dataflow_Bit_Set	bit_set_subtract (const Compiler_Dataflow_Bit_Set &lhs, const Compiler_Dataflow_Bit_Set &rhs)
Compiler_Dataflow_Bit_Set	initial_assigned_state (const Compiler_IR_Function &function)
DynArray< Compiler_Dataflow_Constant >	initial_constant_state (const Compiler_IR_Function &function)
Compiler_Dataflow_Constant	value_constant (const DynArray< Compiler_Dataflow_Constant > &values, const Compiler_IR_Value_Id id)
void	mark_value_used (DynArray< unsigned char > &used_values, const Compiler_IR_Value_Id id)
bool	is_value_used (const DynArray< unsigned char > &used_values, const Compiler_IR_Value_Id id) noexcept
bool	is_pure_instruction (const Compiler_IR_Instruction &inst) noexcept
Compiler_Dataflow_Constant	evaluate_unary (const Compiler_Operator_Kind op, const Compiler_Dataflow_Constant &operand)
Compiler_Dataflow_Constant	evaluate_binary (const Compiler_Operator_Kind op, const Compiler_Dataflow_Constant &lhs, const Compiler_Dataflow_Constant &rhs)
Block_Use_Def	compute_block_use_def (const Compiler_IR_Function &function, const Compiler_IR_Block &block)
DynArray< bool >	compute_reachability (const Compiler_IR_Function &function)
Block_Simulation	simulate_block (const Compiler_IR_Function &function, const Compiler_IR_Block &block, const Compiler_Dataflow_Bit_Set &assigned_in, const DynArray< Compiler_Dataflow_Constant > &constants_in, DynArray< Compiler_Dataflow_Uninitialized_Read > *findings=nullptr)
std::string	format_slot_set (const Compiler_IR_Function &function, const Compiler_Dataflow_Bit_Set &set)
std::string	format_slot_constants (const Compiler_IR_Function &function, const DynArray< Compiler_Dataflow_Constant > &constants)
void	rebuild_predecessors (Compiler_IR_Function &function)
DynArray< DynArray< Compiler_IR_Block_Id > >	compute_predecessor_lists (const Compiler_IR_Function &function)
size_t	count_instructions (const Compiler_IR_Function &function)
bool	instruction_is_trivially_dead (const Compiler_IR_Instruction &inst, const Compiler_Dataflow_Bit_Set &live_after, const DynArray< unsigned char > &used_values, const Compiler_IR_Function &function) noexcept

Function Documentation

bit_set_equals()

bool Aleph::Compiler_Dataflow_Detail::bit_set_equals ( const Compiler_Dataflow_Bit_Set &  lhs, const Compiler_Dataflow_Bit_Set &  rhs  )

inlinenoexcept

Definition at line 387 of file Compiler_Dataflow.H.

Referenced by Aleph::analyze_dataflow_function(), and Aleph::Compiler_SSA_Detail::compute_dominance_info().

bit_set_intersection()

Compiler_Dataflow_Bit_Set Aleph::Compiler_Dataflow_Detail::bit_set_intersection ( const Compiler_Dataflow_Bit_Set &  lhs, const Compiler_Dataflow_Bit_Set &  rhs  )

inline

Definition at line 426 of file Compiler_Dataflow.H.

References ah_runtime_error_unless, Aleph::and, make_bit_set(), Aleph::Compiler_Dataflow_Bit_Set::size(), and Aleph::Compiler_Dataflow_Bit_Set::test().

Referenced by Aleph::analyze_dataflow_function(), and Aleph::Compiler_SSA_Detail::compute_dominance_info().

bit_set_subtract()

Compiler_Dataflow_Bit_Set Aleph::Compiler_Dataflow_Detail::bit_set_subtract ( const Compiler_Dataflow_Bit_Set &  lhs, const Compiler_Dataflow_Bit_Set &  rhs  )

inline

Definition at line 439 of file Compiler_Dataflow.H.

References ah_runtime_error_unless, Aleph::and, Aleph::blossom_maximum_cardinality_matching(), make_bit_set(), Aleph::Compiler_Dataflow_Bit_Set::size(), and Aleph::Compiler_Dataflow_Bit_Set::test().

Referenced by Aleph::analyze_dataflow_function().

bit_set_union()

Compiler_Dataflow_Bit_Set Aleph::Compiler_Dataflow_Detail::bit_set_union ( const Compiler_Dataflow_Bit_Set &  lhs, const Compiler_Dataflow_Bit_Set &  rhs  )

inline

Definition at line 413 of file Compiler_Dataflow.H.

References ah_runtime_error_unless, Aleph::blossom_maximum_cardinality_matching(), make_bit_set(), Aleph::Compiler_Dataflow_Bit_Set::size(), and Aleph::Compiler_Dataflow_Bit_Set::test().

Referenced by Aleph::analyze_dataflow_function().

boolean_constant()

Compiler_Dataflow_Constant Aleph::Compiler_Dataflow_Detail::boolean_constant ( const bool  value )

inline

Definition at line 251 of file Compiler_Dataflow.H.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::Boolean, Aleph::Compiler_Dataflow_Constant::kind, and value.

Referenced by constant_from_instruction(), evaluate_binary(), and evaluate_unary().

compute_block_use_def()

Block_Use_Def Aleph::Compiler_Dataflow_Detail::compute_block_use_def ( const Compiler_IR_Function &  function, const Compiler_IR_Block &  block  )

inline

Definition at line 684 of file Compiler_Dataflow.H.

References Aleph::and, Aleph::blossom_maximum_cardinality_matching(), Aleph::compiler_ir_invalid_id(), Aleph::Compiler_SSA_Block::instructions, Aleph::Load, Aleph::Compiler_IR_Function::local_slots, make_bit_set(), Aleph::Store, and Aleph::Compiler_Dataflow_Detail::Block_Use_Def::use.

Referenced by Aleph::analyze_dataflow_function().

compute_predecessor_lists()

DynArray< DynArray< Compiler_IR_Block_Id > > Aleph::Compiler_Dataflow_Detail::compute_predecessor_lists ( const Compiler_IR_Function &  function )

inline

Definition at line 890 of file Compiler_Dataflow.H.

References Aleph::DynArray< T >::access(), Aleph::DynArray< T >::append(), and Aleph::Compiler_IR_Function::blocks.

Referenced by Aleph::analyze_dataflow_function().

compute_reachability()

DynArray< bool > Aleph::Compiler_Dataflow_Detail::compute_reachability ( const Compiler_IR_Function &  function )

inline

Definition at line 710 of file Compiler_Dataflow.H.

References Aleph::DynArray< T >::access(), Aleph::and, Aleph::DynArray< T >::append(), 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 Aleph::analyze_dataflow_function(), Aleph::eliminate_dead_code(), and Aleph::validate_dead_code_elimination().

constant_from_instruction()

Compiler_Dataflow_Constant Aleph::Compiler_Dataflow_Detail::constant_from_instruction ( const Compiler_IR_Instruction &  inst )

inline

Definition at line 331 of file Compiler_Dataflow.H.

References Aleph::blossom_maximum_cardinality_matching(), boolean_constant(), Aleph::Constant, integer_constant(), parse_integer_constant(), unit_constant(), unknown_constant(), and value.

Referenced by simulate_block().

constant_to_string()

std::string Aleph::Compiler_Dataflow_Detail::constant_to_string ( const Compiler_Dataflow_Constant &  constant )

inline

Definition at line 292 of file Compiler_Dataflow.H.

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

Referenced by format_slot_constants().

constant_vector_equals()

bool Aleph::Compiler_Dataflow_Detail::constant_vector_equals ( const DynArray< Compiler_Dataflow_Constant > &  lhs, const DynArray< Compiler_Dataflow_Constant > &  rhs  )

inlinenoexcept

Definition at line 400 of file Compiler_Dataflow.H.

References Aleph::blossom_maximum_cardinality_matching(), and same_constant().

Referenced by Aleph::analyze_dataflow_function().

count_instructions()

size_t Aleph::Compiler_Dataflow_Detail::count_instructions ( const Compiler_IR_Function &  function )

inline

Definition at line 908 of file Compiler_Dataflow.H.

References Aleph::Compiler_IR_Function::blocks, and Aleph::blossom_maximum_cardinality_matching().

Referenced by Aleph::eliminate_dead_code().

evaluate_binary()

Compiler_Dataflow_Constant Aleph::Compiler_Dataflow_Detail::evaluate_binary ( const Compiler_Operator_Kind  op, const Compiler_Dataflow_Constant &  lhs, const Compiler_Dataflow_Constant &  rhs  )

inline

Definition at line 539 of file Compiler_Dataflow.H.

References Aleph::and, Aleph::AndAnd, Aleph::blossom_maximum_cardinality_matching(), Aleph::Compiler_Dataflow_Constant::bool_value, Aleph::Boolean, boolean_constant(), Aleph::EqEq, Aleph::Greater, Aleph::GreaterEq, Aleph::Integer, integer_constant(), Aleph::Compiler_Dataflow_Constant::integer_value, Aleph::Compiler_Dataflow_Constant::kind, Aleph::Less, Aleph::LessEq, Aleph::Minus, Aleph::NotEq, Aleph::OrOr, Aleph::Percent, Aleph::Plus, Aleph::Slash, Aleph::Star, Aleph::Unit, and unknown_constant().

Referenced by simulate_block().

evaluate_unary()

Compiler_Dataflow_Constant Aleph::Compiler_Dataflow_Detail::evaluate_unary ( const Compiler_Operator_Kind  op, const Compiler_Dataflow_Constant &  operand  )

inline

Definition at line 507 of file Compiler_Dataflow.H.

References Aleph::Bang, Aleph::blossom_maximum_cardinality_matching(), Aleph::Compiler_Dataflow_Constant::bool_value, Aleph::Boolean, boolean_constant(), Aleph::Integer, integer_constant(), Aleph::Compiler_Dataflow_Constant::integer_value, Aleph::Compiler_Dataflow_Constant::kind, Aleph::Minus, Aleph::Plus, and unknown_constant().

Referenced by simulate_block().

format_slot_constants()

std::string Aleph::Compiler_Dataflow_Detail::format_slot_constants ( const Compiler_IR_Function &  function, const DynArray< Compiler_Dataflow_Constant > &  constants  )

inline

Definition at line 859 of file Compiler_Dataflow.H.

References Aleph::DynArray< T >::access(), constant_to_string(), Aleph::DynArray< T >::is_empty(), Aleph::Compiler_IR_Detail::local_slot_name(), Aleph::Compiler_IR_Function::local_slots, out, and Aleph::DynArray< T >::size().

Referenced by Aleph::compiler_dump_dataflow_analysis().

format_slot_set()

std::string Aleph::Compiler_Dataflow_Detail::format_slot_set ( const Compiler_IR_Function &  function, const Compiler_Dataflow_Bit_Set &  set  )

inline

Definition at line 841 of file Compiler_Dataflow.H.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::Compiler_IR_Detail::local_slot_name(), Aleph::Compiler_IR_Function::local_slots, out, Aleph::Compiler_Dataflow_Bit_Set::size(), and Aleph::Compiler_Dataflow_Bit_Set::test().

Referenced by Aleph::compiler_dump_dataflow_analysis().

initial_assigned_state()

Compiler_Dataflow_Bit_Set Aleph::Compiler_Dataflow_Detail::initial_assigned_state ( const Compiler_IR_Function &  function )

inline

Definition at line 452 of file Compiler_Dataflow.H.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::Compiler_IR_Function::local_slots, make_bit_set(), and Aleph::Parameter.

Referenced by Aleph::analyze_dataflow_function().

initial_constant_state()

DynArray< Compiler_Dataflow_Constant > Aleph::Compiler_Dataflow_Detail::initial_constant_state ( const Compiler_IR_Function &  function )

inline

Definition at line 462 of file Compiler_Dataflow.H.

References Aleph::Compiler_IR_Function::local_slots, make_constant_vector(), Aleph::Parameter, undefined_constant(), and unknown_constant().

Referenced by Aleph::analyze_dataflow_function().

instruction_is_trivially_dead()

bool Aleph::Compiler_Dataflow_Detail::instruction_is_trivially_dead ( const Compiler_IR_Instruction &  inst, const Compiler_Dataflow_Bit_Set &  live_after, const DynArray< unsigned char > &  used_values, const Compiler_IR_Function &  function  )

inlinenoexcept

Definition at line 917 of file Compiler_Dataflow.H.

References Aleph::and, Aleph::blossom_maximum_cardinality_matching(), Aleph::compiler_ir_invalid_id(), is_pure_instruction(), is_value_used(), and Aleph::Store.

Referenced by Aleph::validate_dead_code_elimination().

integer_constant()

Compiler_Dataflow_Constant Aleph::Compiler_Dataflow_Detail::integer_constant ( const long long  value )

inline

Definition at line 241 of file Compiler_Dataflow.H.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::Integer, Aleph::Compiler_Dataflow_Constant::kind, and value.

Referenced by constant_from_instruction(), evaluate_binary(), and evaluate_unary().

is_pure_instruction()

bool Aleph::Compiler_Dataflow_Detail::is_pure_instruction ( const Compiler_IR_Instruction &  inst )

inlinenoexcept

Definition at line 497 of file Compiler_Dataflow.H.

References Aleph::Binary, Aleph::blossom_maximum_cardinality_matching(), Aleph::Constant, Aleph::Function_Ref, Aleph::Load, and Aleph::Unary.

Referenced by Aleph::eliminate_dead_code(), and instruction_is_trivially_dead().

is_value_used()

bool Aleph::Compiler_Dataflow_Detail::is_value_used ( const DynArray< unsigned char > &  used_values, const Compiler_IR_Value_Id  id  )

inlinenoexcept

Definition at line 490 of file Compiler_Dataflow.H.

References Aleph::and, and Aleph::blossom_maximum_cardinality_matching().

Referenced by Aleph::eliminate_dead_code(), and instruction_is_trivially_dead().

make_bit_set()

Compiler_Dataflow_Bit_Set Aleph::Compiler_Dataflow_Detail::make_bit_set ( const size_t  count, const bool  value = false  )

inline

Definition at line 369 of file Compiler_Dataflow.H.

References Aleph::count(), Aleph::Compiler_Dataflow_Bit_Set::resize(), and value.

Referenced by Aleph::analyze_dataflow_function(), bit_set_intersection(), bit_set_subtract(), bit_set_union(), compute_block_use_def(), Aleph::eliminate_dead_code(), and initial_assigned_state().

make_constant_vector()

DynArray< Compiler_Dataflow_Constant > Aleph::Compiler_Dataflow_Detail::make_constant_vector ( const size_t  count, const Compiler_Dataflow_Constant &  fill  )

inline

Definition at line 377 of file Compiler_Dataflow.H.

References Aleph::DynArray< T >::append(), Aleph::count(), and Aleph::fill().

Referenced by Aleph::analyze_dataflow_function(), initial_constant_state(), and simulate_block().

mark_value_used()

void Aleph::Compiler_Dataflow_Detail::mark_value_used ( DynArray< unsigned char > &  used_values, const Compiler_IR_Value_Id  id  )

inline

Definition at line 482 of file Compiler_Dataflow.H.

References Aleph::and, and Aleph::blossom_maximum_cardinality_matching().

Referenced by Aleph::eliminate_dead_code(), and Aleph::validate_dead_code_elimination().

meet_constants()

Compiler_Dataflow_Constant Aleph::Compiler_Dataflow_Detail::meet_constants ( const Compiler_Dataflow_Constant &  lhs, const Compiler_Dataflow_Constant &  rhs  )

inline

Definition at line 351 of file Compiler_Dataflow.H.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::Compiler_Dataflow_Constant::kind, same_constant(), Aleph::Undefined, Aleph::Unknown, and unknown_constant().

Referenced by Aleph::analyze_dataflow_function().

parse_integer_constant()

bool Aleph::Compiler_Dataflow_Detail::parse_integer_constant ( const std::string &  text, long long &  value  )

inlinenoexcept

Definition at line 313 of file Compiler_Dataflow.H.

References Aleph::blossom_maximum_cardinality_matching(), and value.

Referenced by constant_from_instruction().

rebuild_predecessors()

void Aleph::Compiler_Dataflow_Detail::rebuild_predecessors ( Compiler_IR_Function &  function )

inline

Definition at line 875 of file Compiler_Dataflow.H.

References Aleph::Compiler_IR_Function::blocks.

Referenced by Aleph::eliminate_dead_code().

same_constant()

bool Aleph::Compiler_Dataflow_Detail::same_constant ( const Compiler_Dataflow_Constant &  lhs, const Compiler_Dataflow_Constant &  rhs  )

inlinenoexcept

Definition at line 270 of file Compiler_Dataflow.H.

References Aleph::Boolean, Aleph::Integer, Aleph::Undefined, Aleph::Unit, and Aleph::Unknown.

Referenced by constant_vector_equals(), and meet_constants().

simulate_block()

Block_Simulation Aleph::Compiler_Dataflow_Detail::simulate_block ( const Compiler_IR_Function &  function, const Compiler_IR_Block &  block, const Compiler_Dataflow_Bit_Set &  assigned_in, const DynArray< Compiler_Dataflow_Constant > &  constants_in, DynArray< Compiler_Dataflow_Uninitialized_Read > *  findings = nullptr  )

inline

Definition at line 749 of file Compiler_Dataflow.H.

References Aleph::and, Aleph::Compiler_Dataflow_Detail::Block_Simulation::assigned_out, Aleph::Binary, Aleph::blossom_maximum_cardinality_matching(), Aleph::Branch, Aleph::Call, Aleph::compiler_ir_invalid_id(), Aleph::Compiler_SSA_Terminator::condition_value, Aleph::Constant, constant_from_instruction(), evaluate_binary(), evaluate_unary(), Aleph::Function_Ref, Aleph::Compiler_SSA_Block::id, Aleph::Compiler_SSA_Block::instructions, Aleph::Compiler_SSA_Terminator::kind, Aleph::Load, make_constant_vector(), Aleph::Compiler_IR_Function::next_value_id, Aleph::Store, Aleph::Compiler_SSA_Block::terminator, Aleph::Unary, unknown_constant(), and value_constant().

Referenced by Aleph::analyze_dataflow_function(), and Aleph::eliminate_dead_code().

undefined_constant()

Compiler_Dataflow_Constant Aleph::Compiler_Dataflow_Detail::undefined_constant ( )

inline

Definition at line 232 of file Compiler_Dataflow.H.

References Aleph::Compiler_Dataflow_Constant::kind, Aleph::Undefined, and value.

Referenced by initial_constant_state().

unit_constant()

Compiler_Dataflow_Constant Aleph::Compiler_Dataflow_Detail::unit_constant ( )

inline

Definition at line 261 of file Compiler_Dataflow.H.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::Compiler_Dataflow_Constant::kind, and Aleph::Unit.

Referenced by constant_from_instruction().

unknown_constant()

Compiler_Dataflow_Constant Aleph::Compiler_Dataflow_Detail::unknown_constant ( )

inline

Definition at line 226 of file Compiler_Dataflow.H.

Referenced by Aleph::analyze_dataflow_function(), constant_from_instruction(), evaluate_binary(), evaluate_unary(), initial_constant_state(), meet_constants(), simulate_block(), and value_constant().

value_constant()

Compiler_Dataflow_Constant Aleph::Compiler_Dataflow_Detail::value_constant ( const DynArray< Compiler_Dataflow_Constant > &  values, const Compiler_IR_Value_Id  id  )

inline

Definition at line 473 of file Compiler_Dataflow.H.

References Aleph::DynArray< T >::access(), Aleph::blossom_maximum_cardinality_matching(), Aleph::DynArray< T >::size(), and unknown_constant().

Referenced by simulate_block().