mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Only check storage liveness for direct projections.

Browse Source
This commit is contained in:
Camille GILLOT 2023-05-07 12:09:06 +00:00
parent 3b4e1fe104
commit a67bf08ed7
1 changed files with 3 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
compiler/rustc_mir_transform/src/ref_prop.rs
View File

@ -163,18 +163,15 @@ fn compute_replacement<'tcx>(
}; };
let mut can_perform_opt = |target: Place<'tcx>, loc: Location| { let mut can_perform_opt = |target: Place<'tcx>, loc: Location| {
maybe_dead.seek_after_primary_effect(loc);
let maybe_dead = maybe_dead.contains(target.local);
if target.projection.first() == Some(&PlaceElem::Deref) { if target.projection.first() == Some(&PlaceElem::Deref) {
// We are creating a reborrow. As `place.local` is a reference, removing the storage // We are creating a reborrow. As `place.local` is a reference, removing the storage
// statements should not make it much harder for LLVM to optimize. // statements should not make it much harder for LLVM to optimize.
if maybe_dead {
storage_to_remove.insert(target.local); storage_to_remove.insert(target.local);
}
true true
} else { } else {
// This is a proper dereference. We can only allow it if `target` is live. // This is a proper dereference. We can only allow it if `target` is live.
maybe_dead.seek_after_primary_effect(loc);
let maybe_dead = maybe_dead.contains(target.local);
!maybe_dead !maybe_dead
} }
}; };