Struct melior::dialect::ods::shape::CstrRequireOperation

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

A cstr_require operation. Represents a runtime assertion that an i1 is true.

Represents a runtime assertion that an i1 is true. It returns a !shape.witness to order this assertion.

For simplicity, prefer using other cstr_* ops if they are available for a given constraint.

Example:

%bool = ...
%w0 = shape.cstr_require %bool, "msg" // Passing if `%bool` is true.

Since this op can be used to express many different possible assertions (depending on whatever computation calculated pred), the msg should clarify the nature of the assertion for users.

Implementations

impl<'c> CstrRequireOperation<'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> ) -> CstrRequireOperationBuilder<'c, Unset, Unset, Unset>

Creates a builder.

pub fn result(&self) -> Result<OperationResult<'c, '_>, Error>

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

pub fn msg(&self) -> Result<StringAttribute<'c>, Error>

pub fn set_msg(&mut self, value: StringAttribute<'c>)

Trait Implementations

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

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

Converts to this type from the input type.

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