Module control_flow_graph

Re-exports

pub use basic_block::BasicBlock;

Modules

basic_block

errors

parameters

Structs

Cfg

Enums

DefinitionType

Traits

IntoCfg

This is a high level trait which simply wraps the implementation provided by TryLift. We need to pass the prime to the CFG here, to be able to do value propagation when converting to SSA.

Type Aliases

Index

Basic block index type.