Struct IndexSwitch

Source

pub struct IndexSwitch { /* private fields */ }

Expand description

The hir.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 u32.

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 = hir.index_switch %arg0 : u32 -> i32
case 2 {
  %1 = hir.constant 10 : i32
  scf.yield %1 : i32
}
case 5 {
  %2 = hir.constant 20 : i32
  scf.yield %2 : i32
}
default {
  %3 = hir.constant 30 : i32
  scf.yield %3 : i32
}

Struct IndexSwitchCopy item path

§Example

Implementations§

impl IndexSwitch

pub fn create<B: ?Sized + Builder>( builder: &mut B, span: SourceSpan, selector: ValueRef, cases: ArrayAttr<u32>, ) -> Result<UnsafeIntrusiveEntityRef<Self>, Report>

impl IndexSwitch

impl IndexSwitch

pub fn cases_symbol() -> Symbol

pub fn cases(&self) -> &ArrayAttr<u32>

pub fn cases_mut(&mut self) -> &mut ArrayAttr<u32>

pub fn set_cases(&mut self, value: impl Into<ArrayAttr<u32>>)

impl IndexSwitch

impl IndexSwitch

pub fn selector(&self) -> EntityRef<'_, OpOperandImpl>

pub fn selector_mut(&mut self) -> EntityMut<'_, OpOperandImpl>

impl IndexSwitch

impl IndexSwitch

pub fn default_region(&self) -> EntityRef<'_, Region>

pub fn default_region_mut(&mut self) -> EntityMut<'_, Region>

impl IndexSwitch

impl IndexSwitch

pub fn num_cases(&self) -> usize

pub fn get_default_block(&self) -> BlockRef

pub fn get_case_index_for_selector(&self, selector: u32) -> Option<usize>

pub fn get_case_block(&self, index: usize) -> BlockRef

pub fn get_case_region(&self, index: usize) -> RegionRef

Trait Implementations§

impl AsMut<Operation> for IndexSwitch

fn as_mut(&mut self) -> &mut Operation

impl AsRef<Operation> for IndexSwitch

fn as_ref(&self) -> &Operation

impl BuildableOp<(RawEntityRef<dyn Value<Use = OpOperandImpl, Id = ValueId>>, ArrayAttr<u32>)> for IndexSwitch

type Builder<'a, T: ?Sized + Builder + 'a> = IndexSwitchBuilder<'a, T>

fn builder<'b, B>(builder: &'b mut B, span: SourceSpan) -> Self::Builder<'b, B>where B: ?Sized + Builder + 'b,

impl Canonicalizable for IndexSwitch

fn get_canonicalization_patterns( rewrites: &mut RewritePatternSet, context: Rc<Context>, )

impl Op for IndexSwitch

fn name(&self) -> OperationName

fn as_operation(&self) -> &Operation

fn as_operation_mut(&mut self) -> &mut Operation

fn print(&self, flags: &OpPrintingFlags) -> Document

fn as_operation_ref(&self) -> RawEntityRef<Operation, IntrusiveLink>

fn set_span(&mut self, span: SourceSpan)

fn parent(&self) -> Option<RawEntityRef<Block, IntrusiveLink>>

fn parent_region(&self) -> Option<RawEntityRef<Region, IntrusiveLink>>

fn parent_op(&self) -> Option<RawEntityRef<Operation, IntrusiveLink>>

fn num_regions(&self) -> usize

fn regions(&self) -> &EntityList<Region>

fn regions_mut(&mut self) -> &mut EntityList<Region>

fn region(&self, index: usize) -> EntityRef<'_, Region>

fn region_mut(&mut self, index: usize) -> EntityMut<'_, Region>

fn has_successors(&self) -> bool

fn num_successors(&self) -> usize

fn has_operands(&self) -> bool

fn num_operands(&self) -> usize

fn operands(&self) -> &EntityStorage<RawEntityRef<OpOperandImpl, IntrusiveLink>>

fn operands_mut( &mut self, ) -> &mut EntityStorage<RawEntityRef<OpOperandImpl, IntrusiveLink>>

fn has_results(&self) -> bool

fn num_results(&self) -> usize

fn results(&self) -> &EntityStorage<RawEntityRef<OpResult>>

fn results_mut(&mut self) -> &mut EntityStorage<RawEntityRef<OpResult>>

fn successors(&self) -> &EntityStorage<SuccessorInfo, 0>

fn successors_mut(&mut self) -> &mut EntityStorage<SuccessorInfo, 0>

impl OpPrinter for IndexSwitch

fn print(&self, flags: &OpPrintingFlags, _context: &Context) -> Document

impl OpRegistration for IndexSwitch

fn dialect_name() -> Symbol

fn name() -> Symbol

fn traits() -> Box<[TraitInfo]>

fn full_name() -> Symbol

impl OpVerifier for IndexSwitch

fn verify(&self, context: &Context) -> Result<(), Report>

impl RegionBranchOpInterface for IndexSwitch

fn get_entry_successor_regions( &self, operands: &[Option<Box<dyn AttributeValue>>], ) -> RegionSuccessorIter<'_>

fn get_successor_regions( &self, point: RegionBranchPoint, ) -> RegionSuccessorIter<'_>

fn get_region_invocation_bounds( &self, operands: &[Option<Box<dyn AttributeValue>>], ) -> SmallVec<[InvocationBounds; 1]>

fn is_repetitive_region(&self, _index: usize) -> bool

fn has_loop(&self) -> bool

fn get_entry_successor_operands( &self, point: RegionBranchPoint, ) -> SuccessorOperandRange<'_>

fn are_types_compatible(&self, lhs: &Type, rhs: &Type) -> bool

Struct IndexSwitch

fn builder<'b, B>(builder: &'b mut B, span: SourceSpan) -> Self::Builder<'b, B>
where B: ?Sized + Builder + 'b,

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T> Canonicalizable for T
where T: Op,

fn conv<T>(self) -> T
where Self: Into<T>,

fn fmt_binary(self) -> FmtBinary<Self>
where Self: Binary,

fn fmt_display(self) -> FmtDisplay<Self>
where Self: Display,

fn fmt_lower_exp(self) -> FmtLowerExp<Self>
where Self: LowerExp,

fn fmt_lower_hex(self) -> FmtLowerHex<Self>
where Self: LowerHex,

fn fmt_octal(self) -> FmtOctal<Self>
where Self: Octal,

fn fmt_pointer(self) -> FmtPointer<Self>
where Self: Pointer,

fn fmt_upper_exp(self) -> FmtUpperExp<Self>
where Self: UpperExp,

fn fmt_upper_hex(self) -> FmtUpperHex<Self>
where Self: UpperHex,

fn fmt_list(self) -> FmtList<Self>
where &'a Self: for<'a> IntoIterator,

impl<T, U> Into<U> for T
where U: From<T>,

impl<T> OpExt for T
where T: Op + ?Sized,

fn nearest_parent_op<U>(&self) -> Option<RawEntityRef<U, IntrusiveLink>>
where U: Op,

fn fg<C>(&self) -> FgColorDisplay<'_, C, Self>
where C: Color,

fn bg<C>(&self) -> BgColorDisplay<'_, C, Self>
where C: Color,