Struct melior::dialect::ods::scf::IndexSwitchOperation

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

An index_switch operation. Switch-case operation on an index argument.

The scf.index_switch is a control-flow operation that branches to one of the given regions based on the values of the argument and the cases. The argument is always of type index.

The operation always has a “default” region and any number of case regions denoted by integer constants. Control-flow transfers to the case region whose constant value equals the value of the argument. If the argument does not equal any of the case values, control-flow transfer to the “default” region.

Example:

%0 = scf.index_switch %arg0 : index -> i32
case 2 {
  %1 = arith.constant 10 : i32
  scf.yield %1 : i32
}
case 5 {
  %2 = arith.constant 20 : i32
  scf.yield %2 : i32
}
default {
  %3 = arith.constant 30 : i32
  scf.yield %3 : i32
}

Implementations

impl<'c> IndexSwitchOperation<'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> ) -> IndexSwitchOperationBuilder<'c, Unset, Unset, Unset, Unset, Unset>

Creates a builder.

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

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

pub fn default_region(&self) -> Result<RegionRef<'c, '_>, Error>

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

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

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

Trait Implementations

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

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

Converts to this type from the input type.

impl<'c> TryFrom<Operation<'c>> for IndexSwitchOperation<'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.