Struct Condition

pub struct Condition { /* private fields */ }

The Condition op is used in conjunction with While as the terminator of its before region.

This op represents a choice between continuing the loop, or exiting the While loop and continuing execution after the loop.

NOTE: Attempting to use this op in any other context than the one described above is invalid, and the implementation of various interfaces by this op will panic if that assumption is violated.

Implementations

impl Condition

Construction

pub fn create<B: ?Sized + Builder, TForwarded: IntoIterator<Item = ValueRef>>( builder: &mut B, span: SourceSpan, condition: ValueRef, forwarded: TForwarded, ) -> Result<UnsafeIntrusiveEntityRef<Self>, Report>

Manually construct a new [#op_ident]

It is generally preferable to use [::midenc_hir::Builder::create] instead.

impl Condition

This impl block contains no items.

User-defined Fields

impl Condition

This impl block contains no items.

Attributes

impl Condition

This impl block contains no items.

Symbols

impl Condition

Operands

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

Get a reference to the condition operand.

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

Get a mutable reference to the condition operand.

pub fn forwarded(&self) -> OpOperandRange<'_>

Get a reference to the forwarded operand group.

pub fn forwarded_mut(&mut self) -> OpOperandRangeMut<'_>

Get a mutable reference to the forwarded operand group.

impl Condition

This impl block contains no items.

Results

impl Condition

This impl block contains no items.

Regions

impl Condition

This impl block contains no items.

Successors

Trait Implementations

impl AsMut<Operation> for Condition

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

Converts this type into a mutable reference of the (usually inferred) input type.

impl AsRef<Operation> for Condition

fn as_ref(&self) -> &Operation

Converts this type into a shared reference of the (usually inferred) input type.

impl<TForwarded: IntoIterator<Item = ValueRef>> BuildableOp<(RawEntityRef<dyn Value<Use = OpOperandImpl, Id = ValueId>>, TForwarded)> for Condition

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

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

where B: ?Sized + Builder + 'b,

impl Op for Condition

fn name(&self) -> OperationName

The name of this operation’s opcode

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 OpRegistration for Condition

fn dialect_name() -> Symbol

The name of the dialect this op is declared part of

fn name() -> Symbol

The name of the operation (i.e. its opcode)

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

The set of statically known traits for this op

fn full_name() -> Symbol

The fully-qualified name of the operation (i.e. <dialect>.<opcode>)

impl OpVerifier for Condition

Generated verifier implementation via #[operation] attribute

Traits verified by this implementation:

• Terminator
• ReturnLike
• RegionBranchTerminatorOpInterface

Use cargo-expand to view the generated code if you suspect verification is broken.

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

impl RegionBranchTerminatorOpInterface for Condition

fn get_successor_operands( &self, _point: RegionBranchPoint, ) -> SuccessorOperandRange<'_>

Get a range of operands corresponding to values that are semantically “returned” by passing them to the region successor indicated by point.

fn get_mutable_successor_operands( &mut self, _point: RegionBranchPoint, ) -> SuccessorOperandRangeMut<'_>

Get a mutable range of operands corresponding to values that are semantically “returned” by passing them to the region successor indicated by point.

fn get_successor_regions( &self, operands: &[Option<Box<dyn AttributeValue>>], ) -> SmallVec<[RegionSuccessorInfo; 2]>

Returns the potential region successors that are branched to after this terminator based on the given constant operands.

impl Spanned for Condition

fn span(&self) -> SourceSpan

impl ReturnLike for Condition

impl Terminator for Condition