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 /chapter-sccp/README.md | |
| parent | 7edca9823ec8ef0aed10c88fa07ef969792aab77 (diff) | |
| download | Simple-dbcaebdefff26658debc29cae284ad4aa0da4c65.tar.gz Simple-dbcaebdefff26658debc29cae284ad4aa0da4c65.zip | |
Split out incomplete type analysis
Diffstat (limited to 'chapter-sccp/README.md')
| -rw-r--r-- | chapter-sccp/README.md | 7 |
1 files changed, 3 insertions, 4 deletions
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 |