bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Reuse allocation for Vec<Candidate>

Browse source
This commit is contained in:
Lzu Tao 2024-06-16 10:00:23 +00:00
parent c03659443a
commit 62a287528a
1 changed files with 3 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

9
compiler/rustc_mir_transform/src/promote_consts.rs
View file

@ -60,7 +60,7 @@ impl<'tcx> MirPass<'tcx> for PromoteTemps<'tcx> {
let ccx = ConstCx::new(tcx, body); let ccx = ConstCx::new(tcx, body);
let (mut temps, all_candidates) = collect_temps_and_candidates(&ccx); let (mut temps, all_candidates) = collect_temps_and_candidates(&ccx);
let promotable_candidates = validate_candidates(&ccx, &mut temps, &all_candidates); let promotable_candidates = validate_candidates(&ccx, &mut temps, all_candidates);
let promoted = promote_candidates(body, tcx, temps, promotable_candidates); let promoted = promote_candidates(body, tcx, temps, promotable_candidates);
self.promoted_fragments.set(promoted); self.promoted_fragments.set(promoted);
@ -691,15 +691,12 @@ impl<'tcx> Validator<'_, 'tcx> {
fn validate_candidates( fn validate_candidates(
ccx: &ConstCx<'_, '_>, ccx: &ConstCx<'_, '_>,
temps: &mut IndexSlice<Local, TempState>, temps: &mut IndexSlice<Local, TempState>,
candidates: &[Candidate], mut candidates: Vec<Candidate>,
) -> Vec<Candidate> { ) -> Vec<Candidate> {
let mut validator = Validator { ccx, temps, promotion_safe_blocks: None }; let mut validator = Validator { ccx, temps, promotion_safe_blocks: None };
candidates.retain(|&candidate| validator.validate_candidate(candidate).is_ok());
candidates candidates
.iter()
.copied()
.filter(|&candidate| validator.validate_candidate(candidate).is_ok())
.collect()
} }
struct Promoter<'a, 'tcx> { struct Promoter<'a, 'tcx> {