diff options
| author | Cliff Click <cliffc@acm.org> | 2026-09-17 19:18:46 -0700 |
|---|---|---|
| committer | Cliff Click <cliffc@acm.org> | 2026-09-17 19:18:46 -0700 |
| commit | 9b3ad43f7aa2ec6d5f61fb9ff3c432101a5fba52 (patch) | |
| tree | 27888e3742b3ec50a586090d64f7784f84e36c22 /docs | |
| parent | 200162345900136663027b6deae21d72cf30818c (diff) | |
| download | Simple-9b3ad43f7aa2ec6d5f61fb9ff3c432101a5fba52.tar.gz Simple-9b3ad43f7aa2ec6d5f61fb9ff3c432101a5fba52.zip | |
Major overhaul debug printing
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/chapter-backports.md | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/docs/chapter-backports.md b/docs/chapter-backports.md index 190e5351..f0137422 100644 --- a/docs/chapter-backports.md +++ b/docs/chapter-backports.md @@ -19,7 +19,6 @@ the correction into the chapter's representation, not the entire modern file. | ID | Change | Proposed destination | Scope and acceptance evidence | |---|---|---|---| -| B09 | Make diagnostic function lookup read-only | 18 onward; **audit** first mutating printer lookup | Separate `lookupFun` from cleanup-performing `link`. Verify printing preserves graph/linker state. Do not import FunPtrNode or compilation units for this fix. | | B10 | Preserve widening state in integer nonzero refinement | **Audit** first chapter with both widening and `nonZero`; no later than 24 | Chapter 25 `TypeInteger.nonZero` preserves `_widen`. Check lattice laws and loop refinement. Exclude TypeScalar, storage-type, and serialization changes. | | B11 | Diagnose return types using the optimized return expression | 18; 19 already has the correction | `ReturnNode.err()` uses `expr()._type` instead of the parse-time `mt` aggregate. Chapter 18 rejects `struct S { u8 x; }; return new S; return 0;` with a mixed integer/reference error; Chapter 19 accepts it. Also test genuinely reachable incompatible returns. This is a candidate, not yet an applied or isolated-patch-verified fix. | | B12 | Encode the actual destination register for two-address immediate multiply | 21 | `MulIX86` inherits `ImmX86.encoding`, whose ModRM.reg is fixed to zero and whose REX.R is clear. With source/destination both `rcx`, multiplying by 11 emits `48 6b c1 0b` (destination `rax`) instead of `48 6b c9 0b`. With both `r9`, it emits `49 6b c1 0b` instead of `4d 6b c9 0b`. Give multiply its proper register fields while preserving Chapter 21's two-address allocation contract; do not change the opcode-extension fields used by other `ImmX86` subclasses. Later chapters use a separate multiply encoder. | |