Enum spirt::spv::lift::Merge

enum Merge<L> {
    Selection(L),
    Loop {
        loop_merge: L,
        loop_continue: L,
    },
}

Variants

Selection(L)

Loop

Fields

loop_merge: L

The label just after the whole loop, i.e. the break target.

loop_continue: L

A label that the back-edge block post-dominates, i.e. some point in the loop body where looping around is inevitable (modulo breaking out of the loop through a do-while-style conditional back-edge).

SPIR-V calls this “the continue target”, but unlike other aspects of SPIR-V “structured control-flow”, there can be multiple valid choices (any that fit the post-dominator/“inevitability” definition).

Trait Implementations

impl<L: Clone> Clone for Merge<L>

fn clone(&self) -> Merge<L>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<L: Copy> Copy for Merge<L>