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 --- chapter-sccp/README.md | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) (limited to 'chapter-sccp/README.md') diff --git a/chapter-sccp/README.md b/chapter-sccp/README.md index c27b76e1..3b7599da 100644 --- a/chapter-sccp/README.md +++ b/chapter-sccp/README.md @@ -5,10 +5,9 @@ English | [日本語](README.ja.md) [Previous: Methods and Types](../chapter23/README.md) | [Next: SCCP Across Functions](../chapter-interprocedural-sccp/README.md) -This chapter introduces optimistic type analysis within each function. It -starts with the existing pessimistic peepholes, resets flow types to TOP, -then propagates reachable control and values to a fixed point. Calls keep -their conservative interfaces; discovering calls is the next chapter's topic. +This chapter introduces [SCCP](https://en.wikipedia.org/wiki/Sparse_conditional_constant_propagation) +within each function. Next chapter, we'll go interprocedural with SCCP. + The [chapter split](../docs/chapter-split.md) uses names while the chapter boundaries settle. This is an independent compiler snapshot, extracted from -- cgit v1.2.3