From f7fcac0ac9ebfc11549272fa8c166c26e5418e3f Mon Sep 17 00:00:00 2001 From: Cliff Click Date: Wed, 28 Oct 2026 22:57:30 -0700 Subject: A more incremental StopCU Incremental summary of escape data in a single node, instead of repeated in StopCU over and over --- docs/roadmap.ja.md | 2 +- docs/roadmap.md | 7 ++++--- 2 files changed, 5 insertions(+), 4 deletions(-) (limited to 'docs') diff --git a/docs/roadmap.ja.md b/docs/roadmap.ja.md index fdaaff91..ab791dc8 100644 --- a/docs/roadmap.ja.md +++ b/docs/roadmap.ja.md @@ -7,7 +7,7 @@ ## 正確性とコンパイル -- Eval2 の追加ロード時のスケジューリング用領域、`StopCUNode` の全呼び出し・関数要約の反復走査、Export 内に残るエンコード処理を整理する。 +- Eval2 の追加ロード時のスケジューリング用領域、`GlobalEscapeNode` が共有する呼び出し・関数要約の走査の増分化、Export 内に残るエンコード処理を整理する。 - 依存関係全体を調べ、変更を伝播してから保存 IR を再利用する、正しい増分ビルドを実装する。 - 型の読み込みからネイティブリンクまでのライブラリ変更を検出する。SHA-256 を含むシンボルの照合は将来案であり、Eval2 は整合したビルドを前提とする。 - コンパイル単位ごとの選択的ロードを、オブジェクト内の関数単位へ細分化する。 diff --git a/docs/roadmap.md b/docs/roadmap.md index 88f35654..cb2636b8 100644 --- a/docs/roadmap.md +++ b/docs/roadmap.md @@ -17,9 +17,10 @@ Remaining work: arrays now retain capacity and reset only touched entries, but bitsets still span previously allocated node IDs. Scheduling a newly loaded object should cost only for that graph and any affected existing nodes. -- Reduce repeated scans of all calls and unloaded function summaries in - `StopCUNode.compute()`. Review its phase-dependent escape normalization and - reliance on the previous result before changing propagation. +- Make `GlobalEscapeNode`'s shared call/summary scan incremental. Compilation + unit Stops now reuse its result, but updating that result still scans all + calls and unloaded summaries. Review the phase-dependent escape normalization + and reliance on the previous result before changing propagation further. - Move the remaining encoding fallback out of Export so Encoding prepares all objects that Export will write. -- cgit v1.2.3