pub struct SltuOp { /* private fields */ }Implementations§
Trait Implementations§
source§impl ControlFlow for SltuOp
impl ControlFlow for SltuOp
source§fn num_successors(&self) -> usize
fn num_successors(&self) -> usize
Get the number of successors.
source§fn get_successor(&self, index: usize) -> Option<&Successor>
fn get_successor(&self, index: usize) -> Option<&Successor>
Get the successor at the given index.
source§fn set_successor(
&mut self,
index: usize,
successor: Successor
) -> Option<Successor>
fn set_successor( &mut self, index: usize, successor: Successor ) -> Option<Successor>
Set the successor at the given index and return the old successor (if
any).
source§fn successors(&self) -> Vec<&Successor>
fn successors(&self) -> Vec<&Successor>
Get all successors.
source§impl DataFlow for SltuOp
impl DataFlow for SltuOp
source§fn num_operands(&self) -> usize
fn num_operands(&self) -> usize
Get the number of operands. Read more
source§fn get_operand(&self, index: usize) -> Option<ArenaPtr<Value>>
fn get_operand(&self, index: usize) -> Option<ArenaPtr<Value>>
Get the operand at the given index.
source§fn set_operand(
&mut self,
index: usize,
value: ArenaPtr<Value>
) -> Option<ArenaPtr<Value>>
fn set_operand( &mut self, index: usize, value: ArenaPtr<Value> ) -> Option<ArenaPtr<Value>>
Set the operand at the given index and return the old operand (if any).
source§fn num_results(&self) -> usize
fn num_results(&self) -> usize
Get the number of results. Read more
source§fn get_result(&self, index: usize) -> Option<ArenaPtr<Value>>
fn get_result(&self, index: usize) -> Option<ArenaPtr<Value>>
Get the result at the given index.
source§impl IntegerLikeOperands for SltuOp
impl IntegerLikeOperands for SltuOp
source§impl NumOperands<2> for SltuOp
impl NumOperands<2> for SltuOp
source§impl NumRegions<0> for SltuOp
impl NumRegions<0> for SltuOp
source§impl NumResults<1> for SltuOp
impl NumResults<1> for SltuOp
source§impl Op for SltuOp
impl Op for SltuOp
source§fn mnemonic_static() -> Mnemonic
fn mnemonic_static() -> Mnemonic
Get the mnemonic of the type statically.
source§fn register(ctx: &mut Context, parse_fn: OpParseFn)where
Self: Sized,
fn register(ctx: &mut Context, parse_fn: OpParseFn)where
Self: Sized,
Register the operation to the context. Read more
fn metadata(&self) -> &OpMetadata
fn metadata_mut(&mut self) -> &mut OpMetadata
source§impl OperandTysAre<IReg> for SltuOp
impl OperandTysAre<IReg> for SltuOp
source§impl Print for SltuOp
impl Print for SltuOp
fn print(&self, __ctx: &Context, __state: &mut PrintState) -> PrintResult<()>
source§impl RegionInterface for SltuOp
impl RegionInterface for SltuOp
source§fn num_regions(&self) -> usize
fn num_regions(&self) -> usize
Get the number of regions.
source§fn get_region(&self, index: usize) -> Option<ArenaPtr<Region>>
fn get_region(&self, index: usize) -> Option<ArenaPtr<Region>>
Get the region at the given index.
source§fn set_region(
&mut self,
index: usize,
region: ArenaPtr<Region>
) -> Option<ArenaPtr<Region>>
fn set_region( &mut self, index: usize, region: ArenaPtr<Region> ) -> Option<ArenaPtr<Region>>
Set the region at the given index and return the old region (if any).
source§fn get_region_kind(&self, ctx: &Context, index: usize) -> RegionKind
fn get_region_kind(&self, ctx: &Context, index: usize) -> RegionKind
Get the region kind at the given index.
source§impl RunVerifiers for SltuOp
impl RunVerifiers for SltuOp
fn run_verifiers(&self, ctx: &Context) -> VerifyResult<()>
source§impl SameOperandAndResultTys for SltuOp
impl SameOperandAndResultTys for SltuOp
source§impl SameOperandTys for SltuOp
impl SameOperandTys for SltuOp
source§impl SameResultTys for SltuOp
impl SameResultTys for SltuOp
Auto Trait Implementations§
impl Freeze for SltuOp
impl !RefUnwindSafe for SltuOp
impl !Send for SltuOp
impl !Sync for SltuOp
impl Unpin for SltuOp
impl !UnwindSafe for SltuOp
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<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>
Convert
Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can
then be further downcast into Box<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>
Convert
Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> 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)
Convert
&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)
Convert
&mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &mut Any’s vtable from &mut Trait’s.