summaryrefslogtreecommitdiff
path: root/chapter10b/README.md
diff options
context:
space:
mode:
authorCliff Click <cliffc@acm.org>2026-09-29 12:41:55 -0700
committerCliff Click <cliffc@acm.org>2026-09-29 12:41:55 -0700
commita8558640bd9e3391134577db3c53737273135bf9 (patch)
treea99030ae8f4957ccc41a610e947050e6da8e27ea /chapter10b/README.md
parent6347fa6dc2ee8d3060f2f0db21f03f11d374b0bc (diff)
downloadSimple-a8558640bd9e3391134577db3c53737273135bf9.tar.gz
Simple-a8558640bd9e3391134577db3c53737273135bf9.zip
README updates
Diffstat (limited to 'chapter10b/README.md')
-rw-r--r--chapter10b/README.md11
1 files changed, 3 insertions, 8 deletions
diff --git a/chapter10b/README.md b/chapter10b/README.md
index 795d2233..599705f2 100644
--- a/chapter10b/README.md
+++ b/chapter10b/README.md
@@ -27,17 +27,12 @@ load-after-store forwarding turn the return value into 42.
![Independent field dependencies](docs/example1.svg)
-These are schematic dependency graphs, with arrows from uses to their definitions.
-In horizontal diagrams, definitions appear on the left and uses on the right;
-in vertical diagrams, definitions appear above uses.
-Control, pointer, and value edges are omitted when they do not explain memory.
-
## Equivalence-class aliasing
-Each struct field has an integer alias identity. Two different fields receive
+Each struct field has an integer alias identity. Two different fields receive
different identities, even if they have the same spelling in different structs.
-Two instances of the same struct share their field aliases. Thus different
-classes never alias; accesses in the same class **may alias**. Same-class does
+Two instances of the same struct share their field aliases. Thus different
+classes never alias; accesses in the same class **may alias**. Same-class does
not mean same-address: forwarding still checks pointer identity.
The parser assigns field identities at struct declarations, beginning at 2.