Struct rustc_mir::transform::const_prop::ConstPropagator

struct ConstPropagator<'mir, 'tcx> {
    ecx: InterpCx<'mir, 'tcx, ConstPropMachine<'mir, 'tcx>>,
    tcx: TyCtxt<'tcx>,
    param_env: ParamEnv<'tcx>,
    source_scopes: IndexVec<SourceScope, SourceScopeData<'tcx>>,
    local_decls: IndexVec<Local, LocalDecl<'tcx>>,
    source_info: Option<SourceInfo>,
}

Finds optimization opportunities on the MIR.

Fields

ecx: InterpCx<'mir, 'tcx, ConstPropMachine<'mir, 'tcx>>

tcx: TyCtxt<'tcx>

param_env: ParamEnv<'tcx>

source_scopes: IndexVec<SourceScope, SourceScopeData<'tcx>>

local_decls: IndexVec<Local, LocalDecl<'tcx>>

source_info: Option<SourceInfo>

Implementations

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>>

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, f: F) -> Option<T> where
    F: FnOnce(&mut Self) -> InterpResult<'tcx, T>, 

fn eval_constant(
    &mut self,
    c: &Constant<'tcx>,
    source_info: SourceInfo
) -> Option<OpTy<'tcx>>

Returns the value, if any, of evaluating c.

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

Returns the value, if any, of evaluating place.

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>
) -> Option<()>

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 propagate_operand(&mut self, operand: &mut Operand<'tcx>)

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

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

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
)

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

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

fn data_layout(&self) -> &TargetDataLayout

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

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

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

type Ty = Ty<'tcx>

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

fn layout_of(&self, ty: Ty<'tcx>) -> Self::TyAndLayout

pub fn spanned_layout_of(&self, ty: Self::Ty, _span: Span) -> Self::TyAndLayout

impl<'mir, 'tcx> MutVisitor<'tcx> for ConstPropagator<'mir, '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
)

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

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

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

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

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

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

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

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

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

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

pub fn process_projection(
    &mut self,
    projection: &'a [ProjectionElem<Local, &'tcx TyS<'tcx>>],
    location: Location
) -> Option<Vec<ProjectionElem<Local, &'tcx TyS<'tcx>>, Global>>

pub fn process_projection_elem(
    &mut self,
    elem: ProjectionElem<Local, &'tcx TyS<'tcx>>,
    location: Location
) -> Option<ProjectionElem<Local, &'tcx TyS<'tcx>>>

pub fn visit_span(&mut self, span: &mut Span)

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

pub fn visit_ty(&mut self, ty: &mut &'tcx TyS<'tcx>, TyContext)

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

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

pub fn visit_region(&mut self, region: &mut &'tcx RegionKind, Location)

pub fn visit_const(&mut self, constant: &mut &'tcx Const<'tcx>, Location)

pub fn visit_substs(
    &mut self,
    substs: &mut &'tcx List<GenericArg<'tcx>>,
    Location
)

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

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

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

pub fn visit_source_scope(&mut self, scope: &mut SourceScope)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

pub fn super_source_scope(&mut self, _scope: &mut SourceScope)

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

pub fn super_span(&mut self, _span: &mut Span)

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

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

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

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

pub fn super_region(&mut self, _region: &mut &'tcx RegionKind)

pub fn super_const(&mut self, _const: &mut &'tcx Const<'tcx>)

pub fn super_substs(&mut self, _substs: &mut &'tcx List<GenericArg<'tcx>>)

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