Enum spirt::Value

pub enum Value {
    Const(Const),
    ControlRegionInput {
        region: ControlRegion,
        input_idx: u32,
    },
    ControlNodeOutput {
        control_node: ControlNode,
        output_idx: u32,
    },
    DataInstOutput(DataInst),
}

Variants

Const(Const)

ControlRegionInput

Fields

region: ControlRegion

input_idx: u32

One of the inputs to a ControlRegion:

• declared by region.inputs[input_idx]
• value provided by the parent of the region:
  • when region is the function body: input_idxth function parameter

ControlNodeOutput

Fields

control_node: ControlNode

output_idx: u32

One of the outputs produced by a ControlNode:

• declared by control_node.outputs[output_idx]
• value provided by region.outputs[output_idx], where region is the executed child ControlRegion (of control_node):
  • when control_node is a Select: the case that was chosen

DataInstOutput(DataInst)

The output value of a DataInst.

Implementations

impl Value

fn print_as_def(&self, printer: &Printer<'_>) -> Fragment

Trait Implementations

impl Clone for Value

fn clone(&self) -> Value

Returns a copy of the value.

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

Performs copy-assignment from source.

impl From<Value> for Use

fn from(value: Value) -> Self

Converts to this type from the input type.

impl InnerTransform for Value

fn inner_transform_with( &self, transformer: &mut impl Transformer ) -> Transformed<Self>

impl InnerVisit for Value

fn inner_visit_with<'a>(&'a self, visitor: &mut impl Visitor<'a>)

impl PartialEq for Value

fn eq(&self, other: &Value) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Print for Value

type Output = Fragment

fn print(&self, printer: &Printer<'_>) -> Fragment

impl Visit for Value

fn visit_with<'a>(&'a self, visitor: &mut impl Visitor<'a>)

impl Copy for Value

impl Eq for Value

impl StructuralPartialEq for Value