Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
36 commits
Select commit Hold shift + click to select a range
aec8d88
Forward repeated storage reads
Kuhai9801 Jun 20, 2026
5f6a383
Clean storage read snapshots EOF
Kuhai9801 Jun 20, 2026
d143643
Add external mapping read expectation
Kuhai9801 Jun 20, 2026
4717e16
Cover branch-local storage read forwarding
Kuhai9801 Jun 20, 2026
d527354
Treat finalize assertions as storage read barriers
Kuhai9801 Jun 20, 2026
c3410a6
Limit storage read forwarding to finalize contexts
Kuhai9801 Jun 20, 2026
2e965bb
Align storage read forwarding branch snapshot
Kuhai9801 Jun 20, 2026
170809f
Restore storage forwarding snapshot EOFs
Kuhai9801 Jun 20, 2026
94524ba
Clean storage forwarding snapshots
Kuhai9801 Jun 20, 2026
ff2deab
Update AST snapshot pass list
Kuhai9801 Jun 20, 2026
7b95860
Restore storage pass snapshot endings
Kuhai9801 Jun 20, 2026
a80b26c
Clean storage read forwarding expectations
Kuhai9801 Jun 21, 2026
d7f652c
Match storage forwarding snapshots
Kuhai9801 Jun 21, 2026
d2f1909
Normalize storage forwarding expectation EOFs
Kuhai9801 Jun 22, 2026
83076aa
Revert "Normalize storage forwarding expectation EOFs"
Kuhai9801 Jun 22, 2026
35ce271
Fix storage read forwarding expectation EOFs
Kuhai9801 Jun 25, 2026
fa3c327
Restore storage forwarding expectation EOFs
Kuhai9801 Jun 25, 2026
54d4ab3
Preserve storage read aliases across conditionals
Kuhai9801 Jun 26, 2026
5b664d4
Fix storage forwarding regression style
Kuhai9801 Jun 26, 2026
27242e7
Use valid Leo syntax in storage forwarding test
Kuhai9801 Jun 26, 2026
57b3354
Focus storage forwarding regression runner
Kuhai9801 Jun 26, 2026
85c75ba
Use direct SSA shape in storage forwarding test
Kuhai9801 Jun 26, 2026
b6d93ae
Format storage forwarding regression runner
Kuhai9801 Jun 26, 2026
cdc39cb
Use definitions in storage forwarding regression
Kuhai9801 Jun 26, 2026
4dea567
Test storage forwarding aliases at AST level
Kuhai9801 Jun 26, 2026
8684c6f
Satisfy clippy in storage forwarding test
Kuhai9801 Jun 26, 2026
41a8266
Wrap storage forwarding unit test in session
Kuhai9801 Jun 26, 2026
a58112d
Limit branch storage read aliases to SSA joins
Kuhai9801 Jun 26, 2026
3776839
Retry CI
Kuhai9801 Jun 26, 2026
3331039
Preserve forwarded storage read definitions
Kuhai9801 Jun 26, 2026
c301bf4
Fix storage read forwarding expectation
Kuhai9801 Jun 26, 2026
4370965
Match storage forwarding fixture output
Kuhai9801 Jun 26, 2026
9677d9f
Merge remote-tracking branch 'origin/master' into fix/29343-storage-r…
Kuhai9801 Jun 26, 2026
43cea5c
Clean storage forwarding expectation EOFs
Kuhai9801 Jun 26, 2026
76f162b
Revert "Clean storage forwarding expectation EOFs"
Kuhai9801 Jun 26, 2026
3997cf3
Tighten storage read join alias lifetime
Kuhai9801 Jun 27, 2026
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions crates/compiler/src/compiler.rs
Original file line number Diff line number Diff line change
Expand Up @@ -456,6 +456,8 @@ impl Compiler {

self.do_pass::<CommonSubexpressionEliminating>(())?;

self.do_pass::<StorageReadForwarding>(())?;

self.do_pass::<DeadCodeEliminating>(())?;

Ok(abis)
Expand Down
3 changes: 3 additions & 0 deletions crates/passes/src/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -94,6 +94,9 @@ pub use static_single_assignment::*;
mod ssa_const_propagation;
pub use ssa_const_propagation::*;

mod storage_read_forwarding;
pub use storage_read_forwarding::*;

mod storage_lowering;
pub use storage_lowering::*;

Expand Down
Loading