From 74faa41117038b6eb66b24b422f59d8bb5b65ddd 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 cad83d8..ec32da2 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