Skip to content

Commit

Permalink
Fix a typo on aliasing
Browse files Browse the repository at this point in the history
  • Loading branch information
JohnTitor committed May 30, 2022
1 parent 5eb69fa commit 22c47dd
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/aliasing.md
Original file line number Diff line number Diff line change
Expand Up @@ -88,7 +88,7 @@ These optimizations also tend to prove the soundness of bigger optimizations
such as loop vectorization, constant propagation, and dead code elimination.

In the previous example, we used the fact that `&mut u32` can't be aliased to prove
that writes to `*output` can't possibly affect `*input`. This let us cache `*input`
that writes to `*output` can't possibly affect `*input`. This lets us cache `*input`
in a register, eliminating a read.

By caching this read, we knew that the write in the `> 10` branch couldn't
Expand Down

0 comments on commit 22c47dd

Please sign in to comment.