From 22c47ddd2a3193f4191905faf1aa669ff7f9572f Mon Sep 17 00:00:00 2001 From: Yuki Okushi Date: Sun, 29 May 2022 20:43:01 +0900 Subject: [PATCH] Fix a typo on aliasing --- src/aliasing.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/aliasing.md b/src/aliasing.md index 3c2df8d3..23fe4005 100644 --- a/src/aliasing.md +++ b/src/aliasing.md @@ -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