Skip to main content

FNotEqualOp

Struct FNotEqualOp 

Source
pub struct FNotEqualOp { /* private fields */ }

Implementations§

Source§

impl FNotEqualOp

Source

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

Source

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

Source

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

Source

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

Source

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

Trait Implementations§

Source§

impl AtLeastNOpdsInterface<1> for FNotEqualOp

Source§

impl AtLeastNOpdsInterface<2> for FNotEqualOp

Source§

impl AtLeastNResultsInterface<1> for FNotEqualOp

Source§

impl AtMostNOpdsInterface<2> for FNotEqualOp

Source§

impl AtMostNResultsInterface<1> for FNotEqualOp

Source§

impl Clone for FNotEqualOp

Source§

fn clone(&self) -> FNotEqualOp

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more
Source§

impl ConstFoldInterface for FNotEqualOp

Source§

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.
Source§

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. Read more
Source§

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. Read more
Source§

impl Copy for FNotEqualOp

Source§

impl Eq for FNotEqualOp

Source§

impl Hash for FNotEqualOp

Source§

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

Feeds this value into the given Hasher. Read more
1.3.0 · Source§

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

Feeds a slice of this type into the given Hasher. Read more
Source§

impl MaterializableOp for FNotEqualOp

Source§

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

Source§

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

Source§

impl MemoryEffects for FNotEqualOp

Source§

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

Source§

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

Source§

impl NOpdsInterface<2> for FNotEqualOp

Source§

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

Get the i’th operand.
Source§

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

Get the type of the i’th operand.
Source§

impl NResultsInterface<1> for FNotEqualOp

Source§

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

Get the i’th result.
Source§

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

Get the type of the i’th result.
Source§

impl OneResultInterface for FNotEqualOp

Source§

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

Get the single result defined by this Op.
Source§

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

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

impl Op for FNotEqualOp

Source§

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

Get the underlying IR Operation
Source§

fn get_opid(&self) -> OpId

Get this Op’s OpId
Source§

fn get_opid_static() -> OpId

Get this Op’s OpId, without self reference.
Source§

fn get_concrete_op_info() -> (fn(Ptr<Operation>) -> OpBox, TypeId)
where Self: Sized,

Get details about the concrete Op type.
Source§

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.
Source§

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

Get Op’s location
Source§

impl Parsable for FNotEqualOp

Source§

type Arg = Vec<(Identifier, Location)>

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

type Parsed = OpBox

The type of the parsed entity.
Source§

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.
Source§

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

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

impl PartialEq for FNotEqualOp

Source§

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

Equality operator ==. Read more
1.0.0 (const: unstable) · Source§

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

Inequality operator !=. Read more
Source§

impl Printable for FNotEqualOp

Source§

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

Source§

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.
Source§

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.
Source§

impl SameOperandsType for FNotEqualOp

Source§

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

Get the common type of the operands.
Source§

impl SameResultsType for FNotEqualOp

Source§

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

Get the common type of the results.
Source§

impl SideEffects for FNotEqualOp

Source§

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

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

impl StructuralPartialEq for FNotEqualOp

Source§

impl TriviallyUnrollable for FNotEqualOp

Source§

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

Source§

impl Verify for FNotEqualOp

Source§

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

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> Downcast for T
where T: Any,

Source§

fn into_any(self: Box<T>) -> Box<dyn Any>

Converts Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>, which can then be downcast into Box<dyn ConcreteType> where ConcreteType implements Trait.
Source§

fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>

Converts Rc<Trait> (where Trait: Downcast) to Rc<Any>, which can then be further downcast into Rc<ConcreteType> where ConcreteType implements Trait.
Source§

fn as_any(&self) -> &(dyn Any + 'static)

Converts &Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &Any’s vtable from &Trait’s.
Source§

fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)

Converts &mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &mut Any’s vtable from &mut Trait’s.
Source§

impl<T> DowncastSend for T
where T: Any + Send,

Source§

fn into_any_send(self: Box<T>) -> Box<dyn Any + Send>

Converts Box<Trait> (where Trait: DowncastSend) to Box<dyn Any + Send>, which can then be downcast into Box<ConcreteType> where ConcreteType implements Trait.
Source§

impl<T> DowncastSync for T
where T: Any + Send + Sync,

Source§

fn into_any_sync(self: Box<T>) -> Box<dyn Any + Sync + Send>

Converts Box<Trait> (where Trait: DowncastSync) to Box<dyn Any + Send + Sync>, which can then be downcast into Box<ConcreteType> where ConcreteType implements Trait.
Source§

fn into_any_arc(self: Arc<T>) -> Arc<dyn Any + Sync + Send>

Converts Arc<Trait> (where Trait: DowncastSync) to Arc<Any>, which can then be downcast into Arc<ConcreteType> where ConcreteType implements Trait.
Source§

impl<T> DynClone for T
where T: Clone,

Source§

fn __clone_box(&self, _: Private) -> *mut ()

Source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

Source§

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = !

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.