From dbcaebdefff26658debc29cae284ad4aa0da4c65 Mon Sep 17 00:00:00 2001 From: Cliff Click Date: Thu, 22 Oct 2026 10:45:43 -0700 Subject: Split out incomplete type analysis --- docs/chapter-backports.md | 13 ++++++------- docs/chapter-split.md | 5 +++-- 2 files changed, 9 insertions(+), 9 deletions(-) (limited to 'docs') 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. -- cgit v1.2.3