Struct melior::dialect::ods::cf::SwitchOperation

pub struct SwitchOperation<'c> { /* private fields */ }

A switch operation. Switch operation.

The switch terminator operation represents a switch on a signless integer value. If the flag matches one of the specified cases, then the corresponding destination is jumped to. If the flag does not match any of the cases, the default destination is jumped to. The count and types of operands must align with the arguments in the corresponding target blocks.

Example:

switch %flag : i32, [
  default: ^bb1(%a : i32),
  42: ^bb1(%b : i32),
  43: ^bb3(%c : i32)
]

Implementations

impl<'c> SwitchOperation<'c>

pub fn name() -> &'static str

Returns a name.

pub fn as_operation(&self) -> &Operation<'c>

Returns a generic operation.

pub fn builder( context: &'c Context, location: Location<'c> ) -> SwitchOperationBuilder<'c, Unset, Unset, Unset, Unset, Unset, Unset>

Creates a builder.

pub fn flag(&self) -> Result<Value<'c, '_>, Error>

pub fn default_operands( &self ) -> Result<impl Iterator<Item = Value<'c, '_>>, Error>

pub fn case_operands( &self ) -> Result<impl Iterator<Item = Value<'c, '_>>, Error>

pub fn default_destination(&self) -> Result<BlockRef<'c, '_>, Error>

pub fn case_destinations(&self) -> impl Iterator<Item = BlockRef<'c, '_>>

pub fn case_values(&self) -> Result<Attribute<'c>, Error>

pub fn set_case_values(&mut self, value: Attribute<'c>)

pub fn remove_case_values(&mut self) -> Result<(), Error>

pub fn case_operand_segments(&self) -> Result<DenseI32ArrayAttribute<'c>, Error>

pub fn set_case_operand_segments(&mut self, value: DenseI32ArrayAttribute<'c>)

Trait Implementations

impl<'c> From<SwitchOperation<'c>> for Operation<'c>

fn from(operation: SwitchOperation<'c>) -> Self

Converts to this type from the input type.

impl<'c> TryFrom<Operation<'c>> for SwitchOperation<'c>

type Error = Error

The type returned in the event of a conversion error.

fn try_from(operation: Operation<'c>) -> Result<Self, Self::Error>

Performs the conversion.