pub struct ShlOp { /* private fields */ }Expand description
Equivalent to LLVM’s Shl opcode.
§Attributes:
| key | value | via Interface |
|---|---|---|
| ATTR_KEY_INTEGER_OVERFLOW_FLAGS | IntegerOverflowFlagsAttr | IntBinArithOpWithOverflowFlag |
§Operands:
| operand | description |
|---|---|
lhs | Signless integer |
rhs | Signless integer |
§Result(s):
| result | description |
|---|---|
res | Signless integer |
Trait Implementations§
Source§impl BinArithOp for ShlOp
impl BinArithOp for ShlOp
Source§impl ConstFoldInterface for ShlOp
impl ConstFoldInterface for ShlOp
Source§fn check_fold(
&self,
ctx: &Context,
ops: &[Option<AttrObj>],
) -> Vec<Option<AttrObj>>
fn check_fold( &self, ctx: &Context, ops: &[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,
ops: &[Option<AttrObj>],
rw: &mut dyn Rewriter,
) -> IRStatus
fn fold_in_place( &self, ctx: &mut Context, ops: &[Option<AttrObj>], rw: &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
Source§impl IntBinArithOpWithOverflowFlag for ShlOp
impl IntBinArithOpWithOverflowFlag for ShlOp
Source§fn new_with_overflow_flag(
ctx: &mut Context,
lhs: Value,
rhs: Value,
flag: IntegerOverflowFlagsAttr,
) -> Selfwhere
Self: Sized,
fn new_with_overflow_flag(
ctx: &mut Context,
lhs: Value,
rhs: Value,
flag: IntegerOverflowFlagsAttr,
) -> Selfwhere
Self: Sized,
Create a new integer binary op with overflow flags set.
Source§fn integer_overflow_flag(&self, ctx: &Context) -> IntegerOverflowFlagsAttrwhere
Self: Sized,
fn integer_overflow_flag(&self, ctx: &Context) -> IntegerOverflowFlagsAttrwhere
Self: Sized,
Get the integer overflow flag on this Op.
Source§fn set_integer_overflow_flag(
&self,
ctx: &Context,
flag: IntegerOverflowFlagsAttr,
)where
Self: Sized,
fn set_integer_overflow_flag(
&self,
ctx: &Context,
flag: IntegerOverflowFlagsAttr,
)where
Self: Sized,
Set the integer overflow flag for this Op.
Source§impl NOpdsInterface<2> for ShlOp
impl NOpdsInterface<2> for ShlOp
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 OneResultInterface for ShlOp
impl OneResultInterface for ShlOp
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 ShlOp
impl Op for ShlOp
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 ShlOp
impl Parsable for ShlOp
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§impl Printable for ShlOp
impl Printable for ShlOp
Source§impl SameOperandsAndResultType for ShlOp
impl SameOperandsAndResultType for ShlOp
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 ShlOp
impl SameOperandsType for ShlOp
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 ShlOp
impl SameResultsType for ShlOp
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 ShlOp
impl SideEffects for ShlOp
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 Copy for ShlOp
impl Eq for ShlOp
impl IntBinArithOp for ShlOp
impl StructuralPartialEq for ShlOp
Auto Trait Implementations§
impl Freeze for ShlOp
impl !RefUnwindSafe for ShlOp
impl Send for ShlOp
impl Sync for ShlOp
impl Unpin for ShlOp
impl UnsafeUnpin for ShlOp
impl !UnwindSafe for ShlOp
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
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
§impl<T> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
§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.§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.§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.§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.