Skip to main content

Module control_flow

Module control_flow 

Source

Structs§

InvocationBounds

Enums§

RegionPredecessor
RegionSuccessor
SymbolVisibility

Traits§

CallOpInterface
CallableOpInterface
RegionBranchOpInterface
This interface provides information for region-holding operations that exhibit branching behavior between held regions. It models the control flow edges between regions (and between the op and its regions), as well as the data flow (value propagation) that occurs along those control flow edges.
RegionBranchTerminatorOpInterface
This interface provides information for branching terminator operations in the presence of a parent RegionBranchOpInterface implementation. It acts as a marker for valid region branch points and specifies which operands are passed to which region successor.
SymbolOpInterface

Functions§

all_region_predecessors