Struct melior::dialect::ods::shape::AssumingOperation

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

An assuming operation. Execute the region.

Executes the region assuming all witnesses are true.

“assuming” operations represent an execution order restriction to the compiler, information for dependent code to rely on (by assuming), and nothing else. They should not exist after a program is fully lowered and ready to execute.

Implementations

impl<'c> AssumingOperation<'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> ) -> AssumingOperationBuilder<'c, Unset, Unset, Unset>

Creates a builder.

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

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

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

Trait Implementations

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

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

Converts to this type from the input type.

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