Struct rustc_mir::transform::promote_consts::Promoter[−][src]

struct Promoter<'a, 'tcx> {
    tcx: TyCtxt<'tcx>,
    source: &'a mut Body<'tcx>,
    promoted: Body<'tcx>,
    temps: &'a mut IndexVec<Local, TempState>,
    extra_statements: &'a mut Vec<(Location, Statement<'tcx>)>,
    keep_original: bool,
}

Fields

tcx: TyCtxt<'tcx>source: &'a mut Body<'tcx>promoted: Body<'tcx>temps: &'a mut IndexVec<Local, TempState>extra_statements: &'a mut Vec<(Location, Statement<'tcx>)>keep_original: bool

If true, all nested temps are also kept in the source MIR, not moved to the promoted MIR.

Implementations

`impl<'a, 'tcx> Promoter<'a, 'tcx>`[src]

`fn new_block(&mut self) -> BasicBlock`[src]

`fn assign(&mut self, dest: Local, rvalue: Rvalue<'tcx>, span: Span)`[src]

`fn is_temp_kind(&self, local: Local) -> bool`[src]

`fn promote_temp(&mut self, temp: Local) -> Local`[src]

Copies the initialization of this temp to the promoted MIR, recursing through temps.

`fn promote_candidate( self, candidate: Candidate, next_promoted_id: usize ) -> Option<Body<'tcx>>`[src]

Trait Implementations

`impl<'a, 'tcx> MutVisitor<'tcx> for Promoter<'a, 'tcx>`[src]

Replaces all temporaries with their promoted counterparts.

`fn tcx(&self) -> TyCtxt<'tcx>`[src]

`fn visit_local(&mut self, local: &mut Local, _: PlaceContext, _: Location)`[src]

`pub fn visit_body(&mut self, body: &mut Body<'tcx>)`[src]

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

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

`pub fn visit_statement( &mut self, statement: &mut Statement<'tcx>, location: Location )`[src]

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

`pub fn visit_terminator( &mut self, terminator: &mut Terminator<'tcx>, location: Location )`[src]

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

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

`pub fn visit_operand(&mut self, operand: &mut Operand<'tcx>, location: Location)`[src]

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

`pub fn visit_coverage(&mut self, coverage: &mut Coverage, location: Location)`[src]

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

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

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

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

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

`pub fn visit_constant( &mut self, constant: &mut Constant<'tcx>, location: Location )`[src]

`pub fn visit_span(&mut self, span: &mut Span)`[src]

`pub fn visit_source_info(&mut self, source_info: &mut SourceInfo)`[src]

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

`pub fn visit_user_type_projection(&mut self, ty: &mut UserTypeProjection)`[src]

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

`pub fn visit_region(&mut self, region: &mut &'tcx RegionKind, Location)`[src]

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

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

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

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

`pub fn visit_source_scope(&mut self, scope: &mut SourceScope)`[src]

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

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

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

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

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

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

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

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

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

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

`pub fn super_coverage(&mut self, _coverage: &mut Coverage, _location: Location)`[src]

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

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

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

`pub fn super_source_scope(&mut self, _scope: &mut SourceScope)`[src]

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

`pub fn super_span(&mut self, _span: &mut Span)`[src]

`pub fn super_source_info(&mut self, source_info: &mut SourceInfo)`[src]

`pub fn super_user_type_projection(&mut self, _ty: &mut UserTypeProjection)`[src]

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

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

`pub fn super_region(&mut self, _region: &mut &'tcx RegionKind)`[src]

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

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

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

Auto Trait Implementations

`impl<'a, 'tcx> !RefUnwindSafe for Promoter<'a, 'tcx>`

`impl<'a, 'tcx> !Send for Promoter<'a, 'tcx>`

`impl<'a, 'tcx> !Sync for Promoter<'a, 'tcx>`

`impl<'a, 'tcx> Unpin for Promoter<'a, 'tcx> where 'tcx: 'a,`

`impl<'a, 'tcx> !UnwindSafe for Promoter<'a, 'tcx>`

Blanket Implementations

`impl<T> Any for T where T: 'static + ?Sized,` [src]

`pub fn type_id(&self) -> TypeId`[src]

`impl<T> Borrow<T> for T where T: ?Sized,` [src]

`pub fn borrow(&self) -> &T`[src]

`impl<T> BorrowMut<T> for T where T: ?Sized,` [src]

`pub fn borrow_mut(&mut self) -> &mut T`[src]

`impl<T> From<T> for T`[src]

`pub fn from(t: T) -> T`[src]

`impl<T, U> Into for T where U: From<T>,` [src]

`pub fn into(self) -> U`[src]

`impl<T, U> TryFrom for T where U: Into<T>,` [src]

`type Error = Infallible`

The type returned in the event of a conversion error.

`pub fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>`[src]

`impl<T, U> TryInto for T where U: TryFrom<T>,` [src]

`type Error = >::Error`

The type returned in the event of a conversion error.

`pub fn try_into(self) -> Result<U, >::Error>`[src]

`impl<T> WithConstness for T`[src]

`pub fn with_constness(self, constness: Constness) -> ConstnessAnd<Self>`[src]

`pub fn with_const(self) -> ConstnessAnd<Self>`[src]

`pub fn without_const(self) -> ConstnessAnd<Self>`[src]

Struct rustc_mir::transform::promote_consts::Promoter[−][src]

Fields

Implementations

impl<'a, 'tcx> Promoter<'a, 'tcx>[src]

fn new_block(&mut self) -> BasicBlock[src]

fn assign(&mut self, dest: Local, rvalue: Rvalue<'tcx>, span: Span)[src]

fn is_temp_kind(&self, local: Local) -> bool[src]

fn promote_temp(&mut self, temp: Local) -> Local[src]

fn promote_candidate( self, candidate: Candidate, next_promoted_id: usize) -> Option<Body<'tcx>>[src]

Trait Implementations

impl<'a, 'tcx> MutVisitor<'tcx> for Promoter<'a, 'tcx>[src]

fn tcx(&self) -> TyCtxt<'tcx>[src]

fn visit_local(&mut self, local: &mut Local, _: PlaceContext, _: Location)[src]

pub fn visit_body(&mut self, body: &mut Body<'tcx>)[src]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

pub fn visit_constant( &mut self, constant: &mut Constant<'tcx>, location: Location)[src]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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