struct ConstPropagator<'mir, 'tcx> {
    ecx: InterpCx<'mir, 'tcx, ConstPropMachine<'mir, 'tcx>>,
    tcx: TyCtxt<'tcx>,
    param_env: ParamEnv<'tcx>,
    local_decls: &'mir IndexSlice<Local, LocalDecl<'tcx>>,
    patch: Patch<'tcx>,
}
Expand description

Finds optimization opportunities on the MIR.

Fields§

§ecx: InterpCx<'mir, 'tcx, ConstPropMachine<'mir, 'tcx>>§tcx: TyCtxt<'tcx>§param_env: ParamEnv<'tcx>§local_decls: &'mir IndexSlice<Local, LocalDecl<'tcx>>§patch: Patch<'tcx>

Implementations§

source§

impl<'mir, 'tcx> ConstPropagator<'mir, 'tcx>

source

fn new(body: &'mir Body<'tcx>, tcx: TyCtxt<'tcx>) -> ConstPropagator<'mir, 'tcx>

source

fn get_const(&self, place: Place<'tcx>) -> Option<OpTy<'tcx>>

source

fn remove_const( ecx: &mut InterpCx<'mir, 'tcx, ConstPropMachine<'mir, 'tcx>>, local: Local )

Remove local from the pool of Locals. Allows writing to them, but not reading from them anymore.

source

fn check_rvalue(&mut self, rvalue: &Rvalue<'tcx>) -> Option<()>

source

fn eval_rvalue_with_identities( &mut self, rvalue: &Rvalue<'tcx>, place: Place<'tcx> ) -> Option<()>

source

fn replace_with_const(&mut self, place: Place<'tcx>) -> Option<Const<'tcx>>

source

fn ensure_not_propagated(&self, local: Local)

Trait Implementations§

source§

impl HasDataLayout for ConstPropagator<'_, '_>

source§

impl<'tcx> HasParamEnv<'tcx> for ConstPropagator<'_, 'tcx>

source§

fn param_env(&self) -> ParamEnv<'tcx>

source§

impl<'tcx> HasTyCtxt<'tcx> for ConstPropagator<'_, 'tcx>

source§

fn tcx(&self) -> TyCtxt<'tcx>

source§

impl<'tcx> LayoutOfHelpers<'tcx> for ConstPropagator<'_, 'tcx>

§

type LayoutOfResult = Result<TyAndLayout<'tcx, Ty<'tcx>>, LayoutError<'tcx>>

The TyAndLayout-wrapping type (or TyAndLayout itself), which will be returned from layout_of (see also handle_layout_err).
source§

fn handle_layout_err( &self, err: LayoutError<'tcx>, _: Span, _: Ty<'tcx> ) -> LayoutError<'tcx>

Helper used for layout_of, to adapt tcx.layout_of(...) into a Self::LayoutOfResult (which does not need to be a Result<...>). Read more
source§

fn layout_tcx_at_span(&self) -> Span

Span to use for tcx.at(span), from layout_of.
source§

impl<'tcx> Visitor<'tcx> for ConstPropagator<'_, 'tcx>

source§

fn visit_operand(&mut self, operand: &Operand<'tcx>, location: Location)

source§

fn visit_projection_elem( &mut self, _: PlaceRef<'tcx>, elem: PlaceElem<'tcx>, _: PlaceContext, location: Location )

source§

fn visit_assign( &mut self, place: &Place<'tcx>, rvalue: &Rvalue<'tcx>, location: Location )

source§

fn visit_statement(&mut self, statement: &Statement<'tcx>, location: Location)

source§

fn visit_basic_block_data( &mut self, block: BasicBlock, data: &BasicBlockData<'tcx> )

source§

fn visit_body(&mut self, body: &Body<'tcx>)

source§

fn visit_source_scope_data(&mut self, scope_data: &SourceScopeData<'tcx>)

source§

fn visit_terminator( &mut self, terminator: &Terminator<'tcx>, location: Location )

source§

fn visit_assert_message( &mut self, msg: &AssertKind<Operand<'tcx>>, location: Location )

source§

fn visit_rvalue(&mut self, rvalue: &Rvalue<'tcx>, location: Location)

source§

fn visit_ascribe_user_ty( &mut self, place: &Place<'tcx>, variance: Variance, user_ty: &UserTypeProjection, location: Location )

source§

fn visit_coverage(&mut self, coverage: &Coverage, location: Location)

source§

fn visit_retag( &mut self, kind: RetagKind, place: &Place<'tcx>, location: Location )

source§

fn visit_place( &mut self, place: &Place<'tcx>, context: PlaceContext, location: Location )

source§

fn visit_projection( &mut self, place_ref: PlaceRef<'tcx>, context: PlaceContext, location: Location )

source§

fn super_place( &mut self, place: &Place<'tcx>, context: PlaceContext, location: Location )

source§

fn super_projection( &mut self, place_ref: PlaceRef<'tcx>, context: PlaceContext, location: Location )

source§

fn super_projection_elem( &mut self, _place_ref: PlaceRef<'tcx>, elem: ProjectionElem<Local, Ty<'tcx>>, _context: PlaceContext, location: Location )

source§

fn visit_constant(&mut self, constant: &ConstOperand<'tcx>, location: Location)

source§

fn visit_ty_const(&mut self, ct: Const<'tcx>, location: Location)

source§

fn visit_span(&mut self, span: Span)

source§

fn visit_source_info(&mut self, source_info: &SourceInfo)

source§

fn visit_ty(&mut self, ty: Ty<'tcx>, _: TyContext)

source§

fn visit_user_type_projection(&mut self, ty: &UserTypeProjection)

source§

fn visit_user_type_annotation( &mut self, index: UserTypeAnnotationIndex, ty: &CanonicalUserTypeAnnotation<'tcx> )

source§

fn visit_region(&mut self, region: Region<'tcx>, _: Location)

source§

fn visit_args(&mut self, args: &&'tcx List<GenericArg<'tcx>>, _: Location)

source§

fn visit_local_decl(&mut self, local: Local, local_decl: &LocalDecl<'tcx>)

source§

fn visit_var_debug_info(&mut self, var_debug_info: &VarDebugInfo<'tcx>)

source§

fn visit_local( &mut self, _local: Local, _context: PlaceContext, _location: Location )

source§

fn visit_source_scope(&mut self, scope: SourceScope)

source§

fn super_body(&mut self, body: &Body<'tcx>)

source§

fn super_basic_block_data( &mut self, block: BasicBlock, data: &BasicBlockData<'tcx> )

source§

fn super_source_scope_data(&mut self, scope_data: &SourceScopeData<'tcx>)

source§

fn super_statement(&mut self, statement: &Statement<'tcx>, location: Location)

source§

fn super_assign( &mut self, place: &Place<'tcx>, rvalue: &Rvalue<'tcx>, location: Location )

source§

fn super_terminator( &mut self, terminator: &Terminator<'tcx>, location: Location )

source§

fn super_assert_message( &mut self, msg: &AssertKind<Operand<'tcx>>, location: Location )

source§

fn super_rvalue(&mut self, rvalue: &Rvalue<'tcx>, location: Location)

source§

fn super_operand(&mut self, operand: &Operand<'tcx>, location: Location)

source§

fn super_ascribe_user_ty( &mut self, place: &Place<'tcx>, variance: Variance, user_ty: &UserTypeProjection, location: Location )

source§

fn super_coverage(&mut self, _coverage: &Coverage, _location: Location)

source§

fn super_retag( &mut self, _kind: RetagKind, place: &Place<'tcx>, location: Location )

source§

fn super_local_decl(&mut self, local: Local, local_decl: &LocalDecl<'tcx>)

source§

fn super_var_debug_info(&mut self, var_debug_info: &VarDebugInfo<'tcx>)

source§

fn super_source_scope(&mut self, _scope: SourceScope)

source§

fn super_constant(&mut self, constant: &ConstOperand<'tcx>, location: Location)

source§

fn super_ty_const(&mut self, _ct: Const<'tcx>, _location: Location)

source§

fn super_span(&mut self, _span: Span)

source§

fn super_source_info(&mut self, source_info: &SourceInfo)

source§

fn super_user_type_projection(&mut self, _ty: &UserTypeProjection)

source§

fn super_user_type_annotation( &mut self, _index: UserTypeAnnotationIndex, ty: &CanonicalUserTypeAnnotation<'tcx> )

source§

fn super_ty(&mut self, _ty: Ty<'tcx>)

source§

fn super_region(&mut self, _region: Region<'tcx>)

source§

fn super_args(&mut self, _args: &&'tcx List<GenericArg<'tcx>>)

source§

fn visit_location(&mut self, body: &Body<'tcx>, location: Location)

Auto Trait Implementations§

§

impl<'mir, 'tcx> !RefUnwindSafe for ConstPropagator<'mir, 'tcx>

§

impl<'mir, 'tcx> !Send for ConstPropagator<'mir, 'tcx>

§

impl<'mir, 'tcx> !Sync for ConstPropagator<'mir, 'tcx>

§

impl<'mir, 'tcx> Unpin for ConstPropagator<'mir, 'tcx>

§

impl<'mir, 'tcx> !UnwindSafe for ConstPropagator<'mir, '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: 336 bytes