Struct SaturatingUAddOp 

pub struct SaturatingUAddOp { /* private fields */ }

Implementations

impl SaturatingUAddOp

pub fn new(ctx: &mut Context, lhs: Value, rhs: Value) -> Self

pub fn lhs(&self, ctx: &Context) -> Value

pub fn lhs_as_use(&self, ctx: &Context) -> Use<Value>

pub fn rhs(&self, ctx: &Context) -> Value

pub fn rhs_as_use(&self, ctx: &Context) -> Use<Value>

Trait Implementations

impl AtLeastNOpdsInterface<1> for SaturatingUAddOp

impl AtLeastNOpdsInterface<2> for SaturatingUAddOp

impl AtLeastNResultsInterface<1> for SaturatingUAddOp

impl AtMostNOpdsInterface<2> for SaturatingUAddOp

impl AtMostNResultsInterface<1> for SaturatingUAddOp

impl Clone for SaturatingUAddOp

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl ConditionallySpeculatable for SaturatingUAddOp

fn speculatability(&self, _ctx: &Context) -> Speculatability

fn verify(_op: &dyn Op, _ctx: &Context) -> Result<()>

where Self: Sized,

impl ConstFoldInterface for SaturatingUAddOp

fn check_fold( &self, ctx: &Context, operand_attrs: &[Option<AttrObj>], ) -> Vec<Option<AttrObj>>

Given a slice operand_attrs corresponding to each operand, indicating a known compile time constant value for that operand (if any), returns a vector corresponding to each result, indicating the folded (inferred constant) value, if any.

fn fold_in_place( &self, ctx: &mut Context, operand_attrs: &[Option<AttrObj>], rewriter: &mut dyn Rewriter, ) -> IRStatus

Given a slice operand_attrs corresponding to each operand, indicating a known compile time constant value for that operand (if any), attempts to fold the op in place using the provided rewriter. Assumes that rewriter is positioned just before the op to be folded.

fn fold_with_materialization( &self, ctx: &mut Context, operand_attrs: &[Option<Box<dyn Attribute>>], rewriter: &mut dyn Rewriter, ) -> IRStatus

A helper for implementing fold_in_place by materializing the constants inferred by check_fold.

impl Copy for SaturatingUAddOp

impl Eq for SaturatingUAddOp

impl ExpressionCanonicalize for SaturatingUAddOp

fn canonical_expression( &self, ctx: &Context, operands: Vec<ExpressionValue>, ) -> Expression

fn verify(_op: &dyn Op, _ctx: &Context) -> Result<()>

where Self: Sized,

impl Hash for SaturatingUAddOp

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl MaterializableOp for SaturatingUAddOp

fn materialize( &self, ctx: &mut Context, result_ty: Vec<TypeHandle>, operands: Vec<Value>, attributes: AttributeDict, ) -> Ptr<Operation>

fn verify(_op: &dyn Op, _ctx: &Context) -> Result<()>

where Self: Sized,

impl MemoryEffectsOp for SaturatingUAddOp

fn memory_effects(&self, _ctx: &Context) -> Vec<MemoryEffect>

fn verify(_op: &dyn Op, _ctx: &Context) -> Result<()>

where Self: Sized,

fn has_effects(&self, ctx: &Context) -> bool

impl NOpdsInterface<2> for SaturatingUAddOp

fn get_operand_i(&self, ctx: &Context, i: LessThanN<N>) -> Value

Get the i’th operand.

fn operand_type_i(&self, ctx: &Context, i: LessThanN<N>) -> TypeHandle

Get the type of the i’th operand.

impl NResultsInterface<1> for SaturatingUAddOp

fn get_result_i(&self, ctx: &Context, i: LessThanN<N>) -> Value

Get the i’th result.

fn result_type_i(&self, ctx: &Context, i: LessThanN<N>) -> TypeHandle

Get the type of the i’th result.

impl OneResultInterface for SaturatingUAddOp

fn get_result(&self, ctx: &Context) -> Value

Get the single result defined by this Op.

fn result_type(&self, ctx: &Context) -> TypeHandle

Get the type of the single result defined by this Op.

impl Op for SaturatingUAddOp

fn get_operation(&self) -> Ptr<Operation>

Get the underlying IR Operation

fn get_opid(&self) -> OpId

Get this Op’s OpId

fn get_opid_static() -> OpId

Get this Op’s OpId, without self reference.

fn get_concrete_op_info() -> (fn(Ptr<Operation>) -> OpBox, TypeId)

where Self: Sized,

Get details about the concrete Op type.

fn register(ctx: &mut Context)

where Self: Sized + Parsable<Arg = Vec<(Identifier, Location)>, Parsed = OpBox>,

Register Op in Context and add it to its dialect.

fn loc(&self, ctx: &Context) -> Location

Get Op’s location

impl Parsable for SaturatingUAddOp

type Arg = Vec<(Identifier, Location)>

Type of the argument that must be passed to the parser.

type Parsed = OpBox

The type of the parsed entity.

fn parse<'__pliron_parse>( state_stream: &mut StateStream<'__pliron_parse>, arg: Self::Arg, ) -> ParseResult<'__pliron_parse, Self::Parsed>

Define a parser using existing combinators and call into on Parser::parse_stream to get the final ParseResult. Use state_stream.state as necessary.

fn parser<'a>( arg: Self::Arg, ) -> Box<dyn Parser<Stream<Stream<Stream<Stream<IteratorStream<CharIterator<'a>>, SourcePosition>>>, State<'a>>, PartialState = (), Output = Self::Parsed> + 'a>

where Self::Parsed: 'a,

Get a parser combinator that can work on StateStream as its input.

impl PartialEq for SaturatingUAddOp

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Printable for SaturatingUAddOp

fn fmt(&self, ctx: &Context, state: &State, fmt: &mut Formatter<'_>) -> Result

fn disp<'t, 'c>(&'t self, ctx: &'c Context) -> Box<dyn Display + 'c>

where 't: 'c,

Get a Display’able object from the given Context and default State.

fn print<'t, 'c>( &'t self, ctx: &'c Context, state: &State, ) -> Box<dyn Display + 'c>

where 't: 'c,

Get a Display’able object from the given Context and State.

impl SameOperandsAndResultType for SaturatingUAddOp

fn common_type(&self, ctx: &Context) -> Option<TypeHandle>

Get the common type of results / operands.

impl SameOperandsType for SaturatingUAddOp

fn common_operand_type(&self, ctx: &Context) -> Option<TypeHandle>

Get the common type of the operands.

impl SameResultsType for SaturatingUAddOp

fn common_result_type(&self, ctx: &Context) -> Option<TypeHandle>

Get the common type of the results.

impl SideEffects for SaturatingUAddOp

fn has_side_effects(&self, _ctx: &Context) -> bool

Returns true if the operation has side effects, and false otherwise.

impl SimplifyInterface for SaturatingUAddOp

fn check_fold( &self, ctx: &Context, operand_attrs: &[Option<AttrObj>], ) -> Option<Value>

fn verify(_op: &dyn Op, _ctx: &Context) -> Result<()>

where Self: Sized,

impl StructuralPartialEq for SaturatingUAddOp

impl TriviallyUnrollable for SaturatingUAddOp

fn verify(_op: &dyn Op, _ctx: &Context) -> Result<()>

where Self: Sized,

impl UniformOpInterface for SaturatingUAddOp

fn uniformity(&self, _ctx: &Context, operands: &[Uniformity]) -> Uniformity

fn verify(_op: &dyn Op, _ctx: &Context) -> Result<()>

where Self: Sized,

impl Verify for SaturatingUAddOp

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