struct OptimizationInfo<'tcx> {
    bb_idx: BasicBlock,
    bin_op_stmt_idx: usize,
    can_remove_bin_op_stmt: bool,
    to_switch_on: Place<'tcx>,
    branch_value_scalar: Scalar,
    branch_value_ty: Ty<'tcx>,
    op: BinOp,
    targets: SwitchTargets,
}

Fields§

§bb_idx: BasicBlock

Basic block to apply the optimization

§bin_op_stmt_idx: usize

Statement index of Eq/Ne assignment that can be removed. None if the assignment can not be removed - i.e the statement is used later on

§can_remove_bin_op_stmt: bool

Can remove Eq/Ne assignment

§to_switch_on: Place<'tcx>

Place that needs to be switched on. This place is of type integral

§branch_value_scalar: Scalar

Constant to use in switch target value

§branch_value_ty: Ty<'tcx>

Type of the constant value

§op: BinOp

Either Eq or Ne

§targets: SwitchTargets

Current targets used in the switch

Trait Implementations§

source§

impl<'tcx> Debug for OptimizationInfo<'tcx>

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more

Auto Trait Implementations§

§

impl<'tcx> !RefUnwindSafe for OptimizationInfo<'tcx>

§

impl<'tcx> Send for OptimizationInfo<'tcx>

§

impl<'tcx> Sync for OptimizationInfo<'tcx>

§

impl<'tcx> Unpin for OptimizationInfo<'tcx>

§

impl<'tcx> !UnwindSafe for OptimizationInfo<'tcx>

Blanket Implementations§

source§

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

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

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

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

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

source§

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

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for Twhere 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, U> TryFrom<U> for Twhere U: Into<T>,

§

type Error = Infallible

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 Twhere U: TryFrom<T>,

§

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.

Layout§

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 128 bytes