From 2a7ed6bda01f028cf13f803d89b10908d7ea7937 Mon Sep 17 00:00:00 2001 From: Cliff Click Date: Fri, 23 Oct 2026 09:33:11 -0700 Subject: Split out escape analysis chapter --- docs/chapter-backports.md | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) (limited to 'docs/chapter-backports.md') diff --git a/docs/chapter-backports.md b/docs/chapter-backports.md index 01147134..d44a66d3 100644 --- a/docs/chapter-backports.md +++ b/docs/chapter-backports.md @@ -11,16 +11,19 @@ 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`, `chapter-interprocedural-sccp`, -`chapter-incomplete-types`, and `chapter-construction`. Local SCCP keeps unknown callers and the call -result summaries from pessimistic analysis; the next chapter discovers calls +`chapter-incomplete-types`, `chapter-construction`, and `chapter-escape`. +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. The incomplete-type snapshot groups numeric modes, conversions, guards, symbolic fields, and unbounded Load/Phi nodes. Construction now has hidden initializer/allocator calls, local field values and Phis, exit Stores, and -explicit publication. Private memory carries fields between helpers. Next -extract escape analysis and review the limits on early exposure of `self`. Chained comparisons still need their move to Chapter 23; +explicit publication. Private memory carries fields between helpers. Escape +now discovers exposed aliases/functions through the Start/Stop cycle. Review +the construction/escape border before extracting modules and lazy class +initialization. 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 -- cgit v1.2.3