struct ConstPropagator<'mir, 'tcx> {
ecx: InterpCx<'mir, 'tcx, ConstPropMachine<'mir, 'tcx>>,
tcx: TyCtxt<'tcx>,
param_env: ParamEnv<'tcx>,
source_scopes: &'mir IndexVec<SourceScope, SourceScopeData<'tcx>>,
local_decls: &'mir IndexVec<Local, LocalDecl<'tcx>>,
source_info: Option<SourceInfo>,
}
Expand description
Finds optimization opportunities on the MIR.
Fields
ecx: InterpCx<'mir, 'tcx, ConstPropMachine<'mir, 'tcx>>
tcx: TyCtxt<'tcx>
param_env: ParamEnv<'tcx>
source_scopes: &'mir IndexVec<SourceScope, SourceScopeData<'tcx>>
local_decls: &'mir IndexVec<Local, LocalDecl<'tcx>>
source_info: Option<SourceInfo>
Implementations
sourceimpl<'mir, 'tcx> ConstPropagator<'mir, 'tcx>
impl<'mir, 'tcx> ConstPropagator<'mir, 'tcx>
fn new(
body: &Body<'tcx>,
dummy_body: &'mir Body<'tcx>,
tcx: TyCtxt<'tcx>
) -> ConstPropagator<'mir, 'tcx>
fn get_const(&self, place: Place<'tcx>) -> Option<OpTy<'tcx>>
sourcefn remove_const(
ecx: &mut InterpCx<'mir, 'tcx, ConstPropMachine<'mir, 'tcx>>,
local: Local
)
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.
fn lint_root(&self, source_info: SourceInfo) -> Option<HirId>
fn use_ecx<F, T>(&mut self, source_info: SourceInfo, f: F) -> Option<T>where
F: FnOnce(&mut Self) -> InterpResult<'tcx, T>,
sourcefn eval_constant(
&mut self,
c: &Constant<'tcx>,
source_info: SourceInfo
) -> Option<OpTy<'tcx>>
fn eval_constant(
&mut self,
c: &Constant<'tcx>,
source_info: SourceInfo
) -> Option<OpTy<'tcx>>
Returns the value, if any, of evaluating c
.
sourcefn eval_place(
&mut self,
place: Place<'tcx>,
source_info: SourceInfo
) -> Option<OpTy<'tcx>>
fn eval_place(
&mut self,
place: Place<'tcx>,
source_info: SourceInfo
) -> Option<OpTy<'tcx>>
Returns the value, if any, of evaluating place
.
sourcefn eval_operand(
&mut self,
op: &Operand<'tcx>,
source_info: SourceInfo
) -> Option<OpTy<'tcx>>
fn eval_operand(
&mut self,
op: &Operand<'tcx>,
source_info: SourceInfo
) -> Option<OpTy<'tcx>>
Returns the value, if any, of evaluating op
. Calls upon eval_constant
or eval_place
, depending on the variant of Operand
used.
fn report_assert_as_lint(
&self,
lint: &'static Lint,
source_info: SourceInfo,
message: &'static str,
panic: AssertKind<impl Debug>
)
fn check_unary_op(
&mut self,
op: UnOp,
arg: &Operand<'tcx>,
source_info: SourceInfo
) -> Option<()>
fn check_binary_op(
&mut self,
op: BinOp,
left: &Operand<'tcx>,
right: &Operand<'tcx>,
source_info: SourceInfo
) -> Option<()>
fn const_prop(
&mut self,
rvalue: &Rvalue<'tcx>,
source_info: SourceInfo,
place: Place<'tcx>
) -> Option<()>
Trait Implementations
sourceimpl HasDataLayout for ConstPropagator<'_, '_>
impl HasDataLayout for ConstPropagator<'_, '_>
fn data_layout(&self) -> &TargetDataLayout
sourceimpl<'tcx> HasParamEnv<'tcx> for ConstPropagator<'_, 'tcx>
impl<'tcx> HasParamEnv<'tcx> for ConstPropagator<'_, 'tcx>
sourceimpl<'tcx> LayoutOfHelpers<'tcx> for ConstPropagator<'_, 'tcx>
impl<'tcx> LayoutOfHelpers<'tcx> for ConstPropagator<'_, 'tcx>
type LayoutOfResult = Result<TyAndLayout<'tcx, Ty<'tcx>>, LayoutError<'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
). Read moresourcefn handle_layout_err(
&self,
err: LayoutError<'tcx>,
_: Span,
_: Ty<'tcx>
) -> LayoutError<'tcx>
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 moresourcefn layout_tcx_at_span(&self) -> Span
fn layout_tcx_at_span(&self) -> Span
Span
to use for tcx.at(span)
, from layout_of
.sourceimpl<'tcx> Visitor<'tcx> for ConstPropagator<'_, 'tcx>
impl<'tcx> Visitor<'tcx> for ConstPropagator<'_, 'tcx>
fn visit_body(&mut self, body: &Body<'tcx>)
fn visit_operand(&mut self, operand: &Operand<'tcx>, location: Location)
fn visit_constant(&mut self, constant: &Constant<'tcx>, location: Location)
fn visit_statement(&mut self, statement: &Statement<'tcx>, location: Location)
fn visit_terminator(&mut self, terminator: &Terminator<'tcx>, location: Location)
fn visit_basic_block_data(
&mut self,
block: BasicBlock,
data: &BasicBlockData<'tcx>
)
fn visit_source_scope_data(&mut self, scope_data: &SourceScopeData<'tcx>)
fn visit_assign(
&mut self,
place: &Place<'tcx>,
rvalue: &Rvalue<'tcx>,
location: Location
)
fn visit_assert_message(
&mut self,
msg: &AssertKind<Operand<'tcx>>,
location: Location
)
fn visit_rvalue(&mut self, rvalue: &Rvalue<'tcx>, location: Location)
fn visit_ascribe_user_ty(
&mut self,
place: &Place<'tcx>,
variance: Variance,
user_ty: &UserTypeProjection,
location: Location
)
fn visit_coverage(&mut self, coverage: &Coverage, location: Location)
fn visit_retag(&mut self, kind: RetagKind, place: &Place<'tcx>, location: Location)
fn visit_place(
&mut self,
place: &Place<'tcx>,
context: PlaceContext,
location: Location
)
fn visit_projection(
&mut self,
place_ref: PlaceRef<'tcx>,
context: PlaceContext,
location: Location
)
fn visit_projection_elem(
&mut self,
local: Local,
proj_base: &[ProjectionElem<Local, Ty<'tcx>>],
elem: ProjectionElem<Local, Ty<'tcx>>,
context: PlaceContext,
location: Location
)
fn super_place(
&mut self,
place: &Place<'tcx>,
context: PlaceContext,
location: Location
)
fn super_projection(
&mut self,
place_ref: PlaceRef<'tcx>,
context: PlaceContext,
location: Location
)
fn super_projection_elem(
&mut self,
_local: Local,
_proj_base: &[ProjectionElem<Local, Ty<'tcx>>],
elem: ProjectionElem<Local, Ty<'tcx>>,
_context: PlaceContext,
location: Location
)
fn visit_span(&mut self, span: Span)
fn visit_source_info(&mut self, source_info: &SourceInfo)
fn visit_ty(&mut self, ty: Ty<'tcx>, TyContext)
fn visit_user_type_projection(&mut self, ty: &UserTypeProjection)
fn visit_user_type_annotation(
&mut self,
index: UserTypeAnnotationIndex,
ty: &CanonicalUserTypeAnnotation<'tcx>
)
fn visit_region(&mut self, region: Region<'tcx>, Location)
fn visit_substs(&mut self, substs: &&'tcx List<GenericArg<'tcx>>, Location)
fn visit_local_decl(&mut self, local: Local, local_decl: &LocalDecl<'tcx>)
fn visit_var_debug_info(&mut self, var_debug_info: &VarDebugInfo<'tcx>)
fn visit_local(
&mut self,
_local: Local,
_context: PlaceContext,
_location: Location
)
fn visit_source_scope(&mut self, scope: SourceScope)
fn super_body(&mut self, body: &Body<'tcx>)
fn super_basic_block_data(
&mut self,
block: BasicBlock,
data: &BasicBlockData<'tcx>
)
fn super_source_scope_data(&mut self, scope_data: &SourceScopeData<'tcx>)
fn super_statement(&mut self, statement: &Statement<'tcx>, location: Location)
fn super_assign(
&mut self,
place: &Place<'tcx>,
rvalue: &Rvalue<'tcx>,
location: Location
)
fn super_terminator(&mut self, terminator: &Terminator<'tcx>, location: Location)
fn super_assert_message(
&mut self,
msg: &AssertKind<Operand<'tcx>>,
location: Location
)
fn super_rvalue(&mut self, rvalue: &Rvalue<'tcx>, location: Location)
fn super_operand(&mut self, operand: &Operand<'tcx>, location: Location)
fn super_ascribe_user_ty(
&mut self,
place: &Place<'tcx>,
_variance: Variance,
user_ty: &UserTypeProjection,
location: Location
)
fn super_coverage(&mut self, _coverage: &Coverage, _location: Location)
fn super_retag(
&mut self,
_kind: RetagKind,
place: &Place<'tcx>,
location: Location
)
fn super_local_decl(&mut self, local: Local, local_decl: &LocalDecl<'tcx>)
fn super_var_debug_info(&mut self, var_debug_info: &VarDebugInfo<'tcx>)
fn super_source_scope(&mut self, _scope: SourceScope)
fn super_constant(&mut self, constant: &Constant<'tcx>, location: Location)
fn super_span(&mut self, _span: Span)
fn super_source_info(&mut self, source_info: &SourceInfo)
fn super_user_type_projection(&mut self, _ty: &UserTypeProjection)
fn super_user_type_annotation(
&mut self,
_index: UserTypeAnnotationIndex,
ty: &CanonicalUserTypeAnnotation<'tcx>
)
fn super_ty(&mut self, _ty: Ty<'tcx>)
fn super_region(&mut self, _region: Region<'tcx>)
fn super_substs(&mut self, _substs: &&'tcx List<GenericArg<'tcx>>)
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>where
'tcx: 'mir,
impl<'mir, 'tcx> !UnwindSafe for ConstPropagator<'mir, 'tcx>
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<'tcx, C> LayoutOf<'tcx> for Cwhere
C: LayoutOfHelpers<'tcx>,
impl<'tcx, C> LayoutOf<'tcx> for Cwhere
C: LayoutOfHelpers<'tcx>,
sourcefn layout_of(&self, ty: Ty<'tcx>) -> Self::LayoutOfResult
fn layout_of(&self, ty: Ty<'tcx>) -> Self::LayoutOfResult
Computes the layout of a type. Note that this implicitly
executes in “reveal all” mode, and will normalize the input type. Read more
sourcefn spanned_layout_of(&self, ty: Ty<'tcx>, span: Span) -> Self::LayoutOfResult
fn spanned_layout_of(&self, ty: Ty<'tcx>, span: Span) -> Self::LayoutOfResult
Computes the layout of a type, at
span
. Note that this implicitly
executes in “reveal all” mode, and will normalize the input type. Read moreLayout
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: 288 bytes