pub struct InclusiveFProdOp { /* private fields */ }Implementations§
Trait Implementations§
impl AtLeastNOpdsInterface<1> for InclusiveFProdOp
impl AtLeastNResultsInterface<1> for InclusiveFProdOp
impl AtMostNOpdsInterface<1> for InclusiveFProdOp
impl AtMostNResultsInterface<1> for InclusiveFProdOp
Source§impl Clone for InclusiveFProdOp
impl Clone for InclusiveFProdOp
impl Copy for InclusiveFProdOp
impl Eq for InclusiveFProdOp
Source§impl Hash for InclusiveFProdOp
impl Hash for InclusiveFProdOp
Source§impl MaterializableOp for InclusiveFProdOp
impl MaterializableOp for InclusiveFProdOp
Source§impl MemoryEffectsOp for InclusiveFProdOp
impl MemoryEffectsOp for InclusiveFProdOp
Source§impl NOpdsInterface<1> for InclusiveFProdOp
impl NOpdsInterface<1> for InclusiveFProdOp
Source§fn operand_type_i(&self, ctx: &Context, i: LessThanN<N>) -> TypeHandle
fn operand_type_i(&self, ctx: &Context, i: LessThanN<N>) -> TypeHandle
Get the type of the
i’th operand.Source§impl NResultsInterface<1> for InclusiveFProdOp
impl NResultsInterface<1> for InclusiveFProdOp
Source§fn result_type_i(&self, ctx: &Context, i: LessThanN<N>) -> TypeHandle
fn result_type_i(&self, ctx: &Context, i: LessThanN<N>) -> TypeHandle
Get the type of the
i’th result.Source§impl OneOpdInterface for InclusiveFProdOp
impl OneOpdInterface for InclusiveFProdOp
Source§fn operand_type(&self, ctx: &Context) -> TypeHandle
fn operand_type(&self, ctx: &Context) -> TypeHandle
Get the type of the single operand used by this Op.
Source§impl OneResultInterface for InclusiveFProdOp
impl OneResultInterface for InclusiveFProdOp
Source§fn result_type(&self, ctx: &Context) -> TypeHandle
fn result_type(&self, ctx: &Context) -> TypeHandle
Get the type of the single result defined by this Op.
Source§impl Op for InclusiveFProdOp
impl Op for InclusiveFProdOp
Source§fn get_operation(&self) -> Ptr<Operation>
fn get_operation(&self) -> Ptr<Operation>
Get the underlying IR Operation
Source§fn get_opid_static() -> OpId
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,
fn get_concrete_op_info() -> (fn(Ptr<Operation>) -> OpBox, TypeId)where
Self: Sized,
Get details about the concrete Op type.
Source§impl Parsable for InclusiveFProdOp
impl Parsable for InclusiveFProdOp
Source§type Arg = Vec<(Identifier, Location)>
type Arg = Vec<(Identifier, Location)>
Type of the argument that must be passed to the parser.
Source§fn parse<'__pliron_parse>(
state_stream: &mut StateStream<'__pliron_parse>,
arg: Self::Arg,
) -> ParseResult<'__pliron_parse, Self::Parsed>
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>>, PartialState = (), Output = Self::Parsed> + 'a>where
Self::Parsed: 'a,
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.
Source§impl PartialEq for InclusiveFProdOp
impl PartialEq for InclusiveFProdOp
Source§impl Printable for InclusiveFProdOp
impl Printable for InclusiveFProdOp
Source§impl SameResultsType for InclusiveFProdOp
impl SameResultsType for InclusiveFProdOp
Source§fn common_result_type(&self, ctx: &Context) -> Option<TypeHandle>
fn common_result_type(&self, ctx: &Context) -> Option<TypeHandle>
Get the common type of the results.
Source§impl SideEffects for InclusiveFProdOp
impl SideEffects for InclusiveFProdOp
Source§fn has_side_effects(&self, _ctx: &Context) -> bool
fn has_side_effects(&self, _ctx: &Context) -> bool
Returns
true if the operation has side effects, and false otherwise.impl StructuralPartialEq for InclusiveFProdOp
Source§impl Synchronizes for InclusiveFProdOp
impl Synchronizes for InclusiveFProdOp
Source§fn minimum_scope(&self, ctx: &Context) -> SyncScope
fn minimum_scope(&self, ctx: &Context) -> SyncScope
Synchronizes at least at this scope. Should be used for optimizations where smaller scopes
are more conservative (i.e. marking shared memory as unused).
Source§fn maximum_scope(&self, ctx: &Context) -> SyncScope
fn maximum_scope(&self, ctx: &Context) -> SyncScope
Synchronizes at most at this scope. Should be used for optimizations where larger scopes
are more conservative (i.e. making memory writes visible).
fn verify(_op: &dyn Op, _ctx: &Context) -> Result<()>where
Self: Sized,
Source§impl UniformOpInterface for InclusiveFProdOp
impl UniformOpInterface for InclusiveFProdOp
fn uniformity(&self, _ctx: &Context, _operands: &[Uniformity]) -> Uniformity
fn verify(_op: &dyn Op, _ctx: &Context) -> Result<()>where
Self: Sized,
Auto Trait Implementations§
impl !RefUnwindSafe for InclusiveFProdOp
impl !UnwindSafe for InclusiveFProdOp
impl Freeze for InclusiveFProdOp
impl Send for InclusiveFProdOp
impl Sync for InclusiveFProdOp
impl Unpin for InclusiveFProdOp
impl UnsafeUnpin for InclusiveFProdOp
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
Source§fn into_any(self: Box<T>) -> Box<dyn Any>
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>
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)
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)
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
impl<T> DowncastSend for T
Source§impl<T> DowncastSync for T
impl<T> DowncastSync for T
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
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 moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
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