Mirrors/rust
1
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2026-04-29 03:37:26 +03:00
Code Issues Packages Projects Releases Wiki Activity

Auto merge of #142870 - tmiasko:copy-prop-early-exit, r=cjgillot

Browse Source 
Leave from CopyProp early when there are no replacements

r? cjgillot
This commit is contained in:
bors
2025-06-25 14:34:08 +00:00
parent 2801f9aaf9 c353539109
commit 8cf5fad73d
1 changed files with 10 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/rustc_mir_transform/src/copy_prop.rs
+10 -8
View File
@@ -33,24 +33,26 @@ fn run_pass(&self, tcx: TyCtxt<'tcx>, body: &mut Body<'tcx>) {
debug!(borrowed_locals = ?ssa.borrowed_locals());
debug!(copy_classes = ?ssa.copy_classes());
let fully_moved = fully_moved_locals(&ssa, body);
debug!(?fully_moved);
let mut storage_to_remove = DenseBitSet::new_empty(fully_moved.domain_size());
let mut any_replacement = false;
let mut storage_to_remove = DenseBitSet::new_empty(body.local_decls.len());
for (local, &head) in ssa.copy_classes().iter_enumerated() {
if local != head {
any_replacement = true;
storage_to_remove.insert(head);
}
}
let any_replacement = ssa.copy_classes().iter_enumerated().any(|(l, &h)| l != h);
if !any_replacement {
return;
}
let fully_moved = fully_moved_locals(&ssa, body);
debug!(?fully_moved);
Replacer { tcx, copy_classes: ssa.copy_classes(), fully_moved, storage_to_remove }
.visit_body_preserves_cfg(body);
if any_replacement {
crate::simplify::remove_unused_definitions(body);
}
crate::simplify::remove_unused_definitions(body);
}
fn is_required(&self) -> bool {