Struct melior::dialect::ods::cf::CondBranchOperation

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

A cond_br operation. Conditional branch operation.

The cond_br terminator operation represents a conditional branch on a boolean (1-bit integer) value. If the bit is set, then the first destination is jumped to; if it is false, the second destination is chosen. The count and types of operands must align with the arguments in the corresponding target blocks.

The MLIR conditional branch operation is not allowed to target the entry block for a region. The two destinations of the conditional branch operation are allowed to be the same.

The following example illustrates a function with a conditional branch operation that targets the same block.

Example:

func.func @select(%a: i32, %b: i32, %flag: i1) -> i32 {
  // Both targets are the same, operands differ
  cond_br %flag, ^bb1(%a : i32), ^bb1(%b : i32)

^bb1(%x : i32) :
  return %x : i32
}

Implementations

impl<'c> CondBranchOperation<'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> ) -> CondBranchOperationBuilder<'c, Unset, Unset, Unset, Unset, Unset>

Creates a builder.

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

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

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

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

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

Trait Implementations

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

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

Converts to this type from the input type.

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