Remove fewer Storage calls in CopyProp and GVN#142531

Open

ohadravid wants to merge 22 commits intorust-lang:masterfrom

ohadravid:better-storage-calls-copy-prop

Commits on Jul 18, 2025

Added a mir-opt test for generating storage statements for scoped locals
ohadravid
committed
Implement `MaybeUninitializedLocals` analysis for `copy_prop` mir-opt to remove fewer storage statements
ohadravid
committed
Added gvn test for removed local storage annotations
ohadravid
committed
Use `MaybeUninitializedLocals` analysis in GVN mir-opt to remove fewer storage statements
ohadravid
committed
Use a single bitset to check the storage in copy_prop, only check reachable blocks
ohadravid
committed
Added test for preserving head storage
ohadravid
committed
Move `MaybeUninitializedLocals` to the ssa module
ohadravid
committed
Added FileCheck to copy prop storage tests
ohadravid
committed
Simplify GVN storage checker to use a single bitset
ohadravid
committed
Improve GVN storage tests
ohadravid
committed
GVN unnit analysis shouldn't check unreachable blocks
ohadravid
committed
Add more FileCheck statements in gvn storage tests
ohadravid
committed
Added a GVN storage test for borrowed value
ohadravid
committed
Improved wording in comments and logs
ohadravid
committed
Added a storage usage inverse order test
ohadravid
committed
Move borrowed_locals filtering out of StorageChecker
ohadravid
committed
in copy_prop, we should only ignore storage statement
ohadravid
committed
Remove `MaybeUninitializedLocals`'s new
ohadravid
committed
Added another small test to gvn storage
ohadravid
committed
fix comment in copy_prop_storage_preserve_head.rs
ohadravid
committed
rerun and bless again after rebase (reordered storage statements)
ohadravid
committed
Update the tests after the change to copy_prop
ohadravid
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Remove fewer Storage calls in CopyProp and GVN#142531

Remove fewer Storage calls in CopyProp and GVN#142531
ohadravid wants to merge 22 commits intorust-lang:masterfrom
ohadravid:better-storage-calls-copy-prop

Commits on Jul 18, 2025

Added a mir-opt test for generating storage statements for scoped locals

Implement `MaybeUninitializedLocals` analysis for `copy_prop` mir-opt to remove fewer storage statements

Added gvn test for removed local storage annotations

Use `MaybeUninitializedLocals` analysis in GVN mir-opt to remove fewer storage statements

Use a single bitset to check the storage in copy_prop, only check reachable blocks

Added test for preserving head storage

Move `MaybeUninitializedLocals` to the ssa module

Added FileCheck to copy prop storage tests

Simplify GVN storage checker to use a single bitset

Improve GVN storage tests

GVN unnit analysis shouldn't check unreachable blocks

Add more FileCheck statements in gvn storage tests

Added a GVN storage test for borrowed value

Improved wording in comments and logs

Added a storage usage inverse order test

Move borrowed_locals filtering out of StorageChecker

in copy_prop, we should only ignore storage statement

Remove `MaybeUninitializedLocals`'s new

Added another small test to gvn storage

fix comment in copy_prop_storage_preserve_head.rs

rerun and bless again after rebase (reordered storage statements)

Update the tests after the change to copy_prop

Remove fewer Storage calls in CopyProp and GVN#142531ohadravid wants to merge 22 commits intorust-lang:masterrust-lang/rust:masterfrom ohadravid:better-storage-calls-copy-propohadravid/rust:better-storage-calls-copy-propCopy head branch name to clipboard

Commits

Commits on Jul 18, 2025

Remove fewer Storage calls in CopyProp and GVN#142531
ohadravid wants to merge 22 commits intorust-lang:masterfrom
ohadravid:better-storage-calls-copy-prop