Struct spirt::spv::lift::Terminator

struct Terminator<'a> {
    attrs: AttrSet,
    kind: Cow<'a, ControlInstKind>,
    inputs: SmallVec<[Value; 2]>,
    targets: SmallVec<[CfgPoint; 4]>,
    target_phi_values: IndexMap<CfgPoint, &'a [Value], BuildHasherDefault<FxHasher>>,
    merge: Option<Merge<CfgPoint>>,
}

Similar to cfg::ControlInst, except:

• targets use CfgPoints instead of ControlRegions, to be able to reach any of the SPIR-V blocks being created during lifting
• φ (“phi”) values can be provided for targets regardless of “which side” of the structured control-flow they are for (“region input” vs “node output”)
• optional merge (for OpSelectionMerge/OpLoopMerge)
• existing data is borrowed (from the FuncDefBody), wherever possible

Fields

attrs: AttrSet

kind: Cow<'a, ControlInstKind>

inputs: SmallVec<[Value; 2]>

targets: SmallVec<[CfgPoint; 4]>

target_phi_values: IndexMap<CfgPoint, &'a [Value], BuildHasherDefault<FxHasher>>

merge: Option<Merge<CfgPoint>>