Struct melior::dialect::ods::shape::ConstWitnessOperation

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

A const_witness operation. An operation that returns a statically known witness value.

This operation represents a statically known witness result. This can be often used to canonicalize/fold constraint and assuming code that will always pass.

%0 = shape.const_shape [1,2,3]
%1 = shape.const_shape [1,2,3]
%w0 = shape.cstr_eq(%0, %1) // Can be folded to "const_witness true"
%w1 = shape.const_witness true
%w2 = shape.assuming_all(%w0, %w2) // Can be folded to "const_witness true"

Implementations

impl<'c> ConstWitnessOperation<'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> ) -> ConstWitnessOperationBuilder<'c, Unset, Unset>

Creates a builder.

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

pub fn passing(&self) -> Result<Attribute<'c>, Error>

pub fn set_passing(&mut self, value: Attribute<'c>)

Trait Implementations

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

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

Converts to this type from the input type.

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