diff options
| author | Cliff Click <cliffc@acm.org> | 2026-09-29 16:16:13 -0700 |
|---|---|---|
| committer | Cliff Click <cliffc@acm.org> | 2026-09-29 16:16:13 -0700 |
| commit | 684c23f1c5257886a219d540ac4ec0e574b7e49b (patch) | |
| tree | c0b590dfa40967b9cbd316f6fe68162e7912dc60 /chapter12/README.md | |
| parent | b475b072b38db7f46406ed6128fffe3e15a6e7ac (diff) | |
| download | Simple-684c23f1c5257886a219d540ac4ec0e574b7e49b.tar.gz Simple-684c23f1c5257886a219d540ac4ec0e574b7e49b.zip | |
Bring forward the lazy mem alias
Integrate with ch15 NewNode creating aliases
Diffstat (limited to 'chapter12/README.md')
| -rw-r--r-- | chapter12/README.md | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/chapter12/README.md b/chapter12/README.md index 38a6eed8..28fbb6dc 100644 --- a/chapter12/README.md +++ b/chapter12/README.md @@ -1,5 +1,10 @@ # Chapter 12: Floats +Memory keeps Chapter 11's single `$mem` binding and lazy `MemMerge`, `MemPhi`, +and `BulkMemPhi` partitions. Start produces `{ctrl, $mem, arg}` and Return +consumes `{ctrl, $mem, result}`; floating-point arithmetic needs no new memory +representation. + # Table of Contents 1. [Float](#floats) @@ -55,4 +60,3 @@ Within the Type Lattice, we now add the following domain: with a TOP, BOT and constants  - |