pub struct CosOp { /* private fields */ }Implementations§
Trait Implementations§
impl AtLeastNOpdsInterface<1> for CosOp
impl AtLeastNResultsInterface<1> for CosOp
impl AtMostNOpdsInterface<1> for CosOp
impl AtMostNResultsInterface<1> for CosOp
Source§impl ConstFoldInterface for CosOp
impl ConstFoldInterface for CosOp
Source§fn check_fold(
&self,
ctx: &Context,
operand_attrs: &[Option<AttrObj>],
) -> Vec<Option<AttrObj>>
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
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 moreSource§fn fold_with_materialization(
&self,
ctx: &mut Context,
operand_attrs: &[Option<Box<dyn Attribute>>],
rewriter: &mut dyn Rewriter,
) -> IRStatus
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
impl Copy for CosOp
impl Eq for CosOp
Source§impl MaterializableOp for CosOp
impl MaterializableOp for CosOp
Source§impl MemoryEffects for CosOp
impl MemoryEffects for CosOp
Source§impl NOpdsInterface<1> for CosOp
impl NOpdsInterface<1> for CosOp
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 CosOp
impl NResultsInterface<1> for CosOp
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 CosOp
impl OneOpdInterface for CosOp
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 CosOp
impl OneResultInterface for CosOp
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 CosOp
impl Op for CosOp
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 CosOp
impl Parsable for CosOp
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>>, Output = Self::Parsed, PartialState = ()> + 'a>where
Self::Parsed: 'a,
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 Printable for CosOp
impl Printable for CosOp
Source§impl SameOperandsAndResultType for CosOp
impl SameOperandsAndResultType for CosOp
Source§fn common_type(&self, ctx: &Context) -> Option<TypeHandle>
fn common_type(&self, ctx: &Context) -> Option<TypeHandle>
Get the common type of results / operands.
Source§impl SameOperandsType for CosOp
impl SameOperandsType for CosOp
Source§fn common_operand_type(&self, ctx: &Context) -> Option<TypeHandle>
fn common_operand_type(&self, ctx: &Context) -> Option<TypeHandle>
Get the common type of the operands.
Source§impl SameResultsType for CosOp
impl SameResultsType for CosOp
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 CosOp
impl SideEffects for CosOp
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 CosOp
Source§impl TriviallyUnrollable for CosOp
impl TriviallyUnrollable for CosOp
Auto Trait Implementations§
impl !RefUnwindSafe for CosOp
impl !UnwindSafe for CosOp
impl Freeze for CosOp
impl Send for CosOp
impl Sync for CosOp
impl Unpin for CosOp
impl UnsafeUnpin for CosOp
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