diff options
| author | Cliff Click <cliffc@acm.org> | 2026-10-22 10:45:43 -0700 |
|---|---|---|
| committer | Cliff Click <cliffc@acm.org> | 2026-10-22 10:45:43 -0700 |
| commit | dbcaebdefff26658debc29cae284ad4aa0da4c65 (patch) | |
| tree | 27821f9692d7e59bdb22aba855ff577b59fc6fd0 /docs | |
| parent | 7edca9823ec8ef0aed10c88fa07ef969792aab77 (diff) | |
| download | Simple-dbcaebdefff26658debc29cae284ad4aa0da4c65.tar.gz Simple-dbcaebdefff26658debc29cae284ad4aa0da4c65.zip | |
Split out incomplete type analysis
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/chapter-backports.md | 13 | ||||
| -rw-r--r-- | docs/chapter-split.md | 5 |
2 files changed, 9 insertions, 9 deletions
diff --git a/docs/chapter-backports.md b/docs/chapter-backports.md index 5602638f..ace029b7 100644 --- a/docs/chapter-backports.md +++ b/docs/chapter-backports.md @@ -10,17 +10,16 @@ changes. Cliff approved starting with the proposed SCCP and construction/escape boundaries; revisit construction/escape after he can run both snapshots. Library construction and optimizer tuning move to appendices. -The first named snapshots are `chapter-sccp` and -`chapter-interprocedural-sccp`. Local SCCP keeps unknown callers and the call +The first named snapshots are `chapter-sccp`, `chapter-interprocedural-sccp`, +and `chapter-incomplete-types`. Local SCCP keeps unknown callers and the call result summaries from pessimistic analysis; the next chapter discovers calls and widens recursive arguments and returns. Numbered Chapters 24 and 25 remain comparison baselines during extraction. -Next extract SSA construction with incomplete types, then private construction -and escape analysis. Keep the incomplete-type changes together, including -numeric modes, conversions, guards, symbolic fields, and unbounded Load/Phi -nodes. Chained comparisons still need their move to Chapter 23; allocator -tuning and native library material still need their appendices. +The incomplete-type snapshot groups numeric modes, conversions, guards, +symbolic fields, and unbounded Load/Phi nodes. Next extract private construction, +then escape analysis. Chained comparisons still need their move to Chapter 23; +allocator tuning and native library material still need their appendices. Root Make includes named snapshots in checks. Linear-history publication keeps the numbered sequence until the complete replacement sequence is ready; switch its ordering and index links when retiring the comparison baselines. diff --git a/docs/chapter-split.md b/docs/chapter-split.md index d2727e11..959966db 100644 --- a/docs/chapter-split.md +++ b/docs/chapter-split.md @@ -94,8 +94,9 @@ constant instance-field storage remain future work. See the The first runnable extractions are [SCCP Within a Function](../chapter-sccp/README.md) and -[SCCP Across Functions](../chapter-interprocedural-sccp/README.md). -The other five snapshots remain to be extracted. Numbered Chapters 24 and 25 +[SCCP Across Functions](../chapter-interprocedural-sccp/README.md), followed by +[SSA Before Types Are Known](../chapter-incomplete-types/README.md). +The other four snapshots remain to be extracted. Numbered Chapters 24 and 25 remain comparison baselines during this work. Choose final numbers after trying the implementation boundaries above. |