diff options
| author | Cliff Click <cliffc@acm.org> | 2026-09-29 12:41:55 -0700 |
|---|---|---|
| committer | Cliff Click <cliffc@acm.org> | 2026-09-29 12:41:55 -0700 |
| commit | a8558640bd9e3391134577db3c53737273135bf9 (patch) | |
| tree | a99030ae8f4957ccc41a610e947050e6da8e27ea /chapter10b | |
| parent | 6347fa6dc2ee8d3060f2f0db21f03f11d374b0bc (diff) | |
| download | Simple-a8558640bd9e3391134577db3c53737273135bf9.tar.gz Simple-a8558640bd9e3391134577db3c53737273135bf9.zip | |
README updates
Diffstat (limited to 'chapter10b')
| -rw-r--r-- | chapter10b/README.md | 11 |
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.  -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. |
