Struct rustc_mir_transform::const_prop::ConstPropagator
source · struct ConstPropagator<'mir, 'tcx> {
ecx: InterpCx<'mir, 'tcx, ConstPropMachine<'mir, 'tcx>>,
tcx: TyCtxt<'tcx>,
param_env: ParamEnv<'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>
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 use_ecx<F, T>(&mut self, f: F) -> Option<T>where
F: FnOnce(&mut Self) -> InterpResult<'tcx, T>,
sourcefn eval_constant(&mut self, c: &Constant<'tcx>) -> Option<OpTy<'tcx>>
fn eval_constant(&mut self, c: &Constant<'tcx>) -> Option<OpTy<'tcx>>
Returns the value, if any, of evaluating c
.
sourcefn eval_place(&mut self, place: Place<'tcx>) -> Option<OpTy<'tcx>>
fn eval_place(&mut self, place: Place<'tcx>) -> Option<OpTy<'tcx>>
Returns the value, if any, of evaluating place
.
sourcefn eval_operand(&mut self, op: &Operand<'tcx>) -> Option<OpTy<'tcx>>
fn eval_operand(&mut self, op: &Operand<'tcx>) -> 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 check_unary_op(&mut self, op: UnOp, arg: &Operand<'tcx>) -> Option<()>
fn check_binary_op(
&mut self,
op: BinOp,
left: &Operand<'tcx>,
right: &Operand<'tcx>
) -> Option<()>
fn propagate_operand(&mut self, operand: &mut Operand<'tcx>)
fn const_prop(&mut self, rvalue: &Rvalue<'tcx>, place: Place<'tcx>) -> Option<()>
fn eval_rvalue_with_identities(
&mut self,
rvalue: &Rvalue<'tcx>,
place: Place<'tcx>
) -> Option<()>
sourcefn operand_from_scalar(
&self,
scalar: Scalar,
ty: Ty<'tcx>,
span: Span
) -> Operand<'tcx>
fn operand_from_scalar(
&self,
scalar: Scalar,
ty: Ty<'tcx>,
span: Span
) -> Operand<'tcx>
Creates a new Operand::Constant
from a Scalar
value
fn replace_with_const(
&mut self,
rval: &mut Rvalue<'tcx>,
value: &OpTy<'tcx>,
source_info: SourceInfo
)
sourcefn should_const_prop(&mut self, op: &OpTy<'tcx>) -> bool
fn should_const_prop(&mut self, op: &OpTy<'tcx>) -> bool
Returns true
if and only if this op
should be const-propagated into.
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> MutVisitor<'tcx> for ConstPropagator<'_, 'tcx>
impl<'tcx> MutVisitor<'tcx> for ConstPropagator<'_, 'tcx>
fn tcx(&self) -> TyCtxt<'tcx>
fn visit_body(&mut self, body: &mut Body<'tcx>)
fn visit_operand(&mut self, operand: &mut Operand<'tcx>, location: Location)
fn visit_constant(&mut self, constant: &mut Constant<'tcx>, location: Location)
fn visit_statement(&mut self, statement: &mut Statement<'tcx>, location: Location)
fn visit_terminator(
&mut self,
terminator: &mut Terminator<'tcx>,
location: Location
)
fn visit_body_preserves_cfg(&mut self, body: &mut Body<'tcx>)
fn super_body_preserves_cfg(&mut self, body: &mut Body<'tcx>)
fn visit_basic_block_data(
&mut self,
block: BasicBlock,
data: &mut BasicBlockData<'tcx>
)
fn visit_source_scope_data(&mut self, scope_data: &mut SourceScopeData<'tcx>)
fn visit_assign(
&mut self,
place: &mut Place<'tcx>,
rvalue: &mut Rvalue<'tcx>,
location: Location
)
fn visit_assert_message(
&mut self,
msg: &mut AssertKind<Operand<'tcx>>,
location: Location
)
fn visit_rvalue(&mut self, rvalue: &mut Rvalue<'tcx>, location: Location)
fn visit_ascribe_user_ty(
&mut self,
place: &mut Place<'tcx>,
variance: &mut Variance,
user_ty: &mut UserTypeProjection,
location: Location
)
fn visit_coverage(&mut self, coverage: &mut Coverage, location: Location)
fn visit_retag(
&mut self,
kind: &mut RetagKind,
place: &mut Place<'tcx>,
location: Location
)
fn visit_place(
&mut self,
place: &mut Place<'tcx>,
context: PlaceContext,
location: Location
)
fn super_place(
&mut self,
place: &mut Place<'tcx>,
context: PlaceContext,
location: Location
)
fn process_projection(
&mut self,
projection: &'a [ProjectionElem<Local, Ty<'tcx>>],
location: Location
) -> Option<Vec<ProjectionElem<Local, Ty<'tcx>>, Global>>
fn process_projection_elem(
&mut self,
elem: ProjectionElem<Local, Ty<'tcx>>,
location: Location
) -> Option<ProjectionElem<Local, Ty<'tcx>>>
fn visit_span(&mut self, span: &mut Span)
fn visit_source_info(&mut self, source_info: &mut SourceInfo)
fn visit_ty(&mut self, ty: &mut Ty<'tcx>, TyContext)
fn visit_user_type_projection(&mut self, ty: &mut UserTypeProjection)
fn visit_user_type_annotation(
&mut self,
index: UserTypeAnnotationIndex,
ty: &mut CanonicalUserTypeAnnotation<'tcx>
)
fn visit_region(&mut self, region: &mut Region<'tcx>, Location)
fn visit_substs(&mut self, substs: &mut &'tcx List<GenericArg<'tcx>>, Location)
fn visit_local_decl(&mut self, local: Local, local_decl: &mut LocalDecl<'tcx>)
fn visit_var_debug_info(&mut self, var_debug_info: &mut VarDebugInfo<'tcx>)
fn visit_local(
&mut self,
_local: &mut Local,
_context: PlaceContext,
_location: Location
)
fn visit_source_scope(&mut self, scope: &mut SourceScope)
fn super_body(&mut self, body: &mut Body<'tcx>)
fn super_basic_block_data(
&mut self,
block: BasicBlock,
data: &mut BasicBlockData<'tcx>
)
fn super_source_scope_data(&mut self, scope_data: &mut SourceScopeData<'tcx>)
fn super_statement(&mut self, statement: &mut Statement<'tcx>, location: Location)
fn super_assign(
&mut self,
place: &mut Place<'tcx>,
rvalue: &mut Rvalue<'tcx>,
location: Location
)
fn super_terminator(
&mut self,
terminator: &mut Terminator<'tcx>,
location: Location
)
fn super_assert_message(
&mut self,
msg: &mut AssertKind<Operand<'tcx>>,
location: Location
)
fn super_rvalue(&mut self, rvalue: &mut Rvalue<'tcx>, location: Location)
fn super_operand(&mut self, operand: &mut Operand<'tcx>, location: Location)
fn super_ascribe_user_ty(
&mut self,
place: &mut Place<'tcx>,
_variance: &mut Variance,
user_ty: &mut UserTypeProjection,
location: Location
)
fn super_coverage(&mut self, _coverage: &mut Coverage, _location: Location)
fn super_retag(
&mut self,
_kind: &mut RetagKind,
place: &mut Place<'tcx>,
location: Location
)
fn super_local_decl(&mut self, local: Local, local_decl: &mut LocalDecl<'tcx>)
fn super_var_debug_info(&mut self, var_debug_info: &mut VarDebugInfo<'tcx>)
fn super_source_scope(&mut self, _scope: &mut SourceScope)
fn super_constant(&mut self, constant: &mut Constant<'tcx>, location: Location)
fn super_span(&mut self, _span: &mut Span)
fn super_source_info(&mut self, source_info: &mut SourceInfo)
fn super_user_type_projection(&mut self, _ty: &mut UserTypeProjection)
fn super_user_type_annotation(
&mut self,
_index: UserTypeAnnotationIndex,
ty: &mut CanonicalUserTypeAnnotation<'tcx>
)
fn super_ty(&mut self, _ty: &mut Ty<'tcx>)
fn super_region(&mut self, _region: &mut Region<'tcx>)
fn super_substs(&mut self, _substs: &mut &'tcx List<GenericArg<'tcx>>)
fn visit_location(&mut self, body: &mut 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: 280 bytes