From a8558640bd9e3391134577db3c53737273135bf9 Mon Sep 17 00:00:00 2001 From: Cliff Click Date: Tue, 29 Sep 2026 12:41:55 -0700 Subject: README updates --- chapter10b/README.md | 11 +++-------- 1 file changed, 3 insertions(+), 8 deletions(-) (limited to 'chapter10b') 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. -- cgit v1.2.3