From a216a23bbd4d6e05a40d86ec8e76c038e945f3ba Mon Sep 17 00:00:00 2001 From: Cliff Click Date: Sat, 24 Oct 2026 15:22:07 -0700 Subject: Rename interprocedural SCCP chapter to 24b --- chapter-interprocedural-sccp/README.ja.md | 34 ------------------------------- 1 file changed, 34 deletions(-) delete mode 100644 chapter-interprocedural-sccp/README.ja.md (limited to 'chapter-interprocedural-sccp/README.ja.md') diff --git a/chapter-interprocedural-sccp/README.ja.md b/chapter-interprocedural-sccp/README.ja.md deleted file mode 100644 index e9e57c6d..00000000 --- a/chapter-interprocedural-sccp/README.ja.md +++ /dev/null @@ -1,34 +0,0 @@ -# 関数間の SCCP - -[English](README.md) | 日本語 - -[前: 関数内の SCCP](../chapter-sccp/README.ja.md) | -[次: 型が確定する前の SSA 構築](../chapter-incomplete-types/README.ja.md) | -[章の分割案](../docs/chapter-split.md) - -前の章では関数ごとに保守的な呼び出し境界で解析しました。この章では -呼び出し辺を発見しながら、同じワークリストで関数間の値を伝播します。 -最新の説明と検証方法は [英語版](README.md) を参照してください。 - -## 呼び出しグラフの発見 - -**Simple** では、ここでもほぼ何もせず、SCCP を手続き間で実行します。`CallNode` は `FunNode` を呼び、`ReturnNode` は `CallEndNode` に戻り、まったく通常の方法で型情報を渡します。ただし問題が1つあります。`Call` と `Fun`、および `Return` と `CallEnd` の間に辺がありません。そのような辺が [呼び出しグラフ](https://en.wikipedia.org/wiki/Call_graph) を構成します。 - -通常の SCCP を拡張し、`Call` の関数ポインタ入力が変わり、新しい関数対象を得る時点を監視します。対象の数は有限なので、前の章で説明した *関数インデックス* で表します。未知の対象には保守的な要約が必要です。後の分割コンパイルでは、オブジェクトファイルをまたいで関数の同一性も保ちます。 - -`Call` で新しい *fidx* を見つけたら、`Call` と `Fun`、`Return` と `CallEnd` を *リンク* します。このリンクは、`Call` から `Fun` へ制御辺を、`Call` の引数から `Fun` の `ParmNode` へデータ辺を追加したかのように動きます。`FunNode` は `RegionNode` を、`ParmNode` は `PhiNode` を拡張するため、同じ意味規則を使います。`Fun` は呼ばれると到達可能になり、`Parm` はすべての呼び出し引数をマージ（*meet*）します。同様に `CallEnd` は、すべての `Return` の *meet* を計算して、呼ばれたすべての関数の結果をマージします。 - -この *リンク* 段階はアルゴリズムの内部ループにいくつかの検査を加え、型伝播で発見した対象から保守的な呼び出しグラフを構築します。進行中に新しい辺を少し発見する以外は、中核アルゴリズムは変わりません。不動点解で停止することが保証され、たとえば特定の呼び出しパラメータが、すべての呼び出し経路で定数、あるいは非 null と発見できることがあります。 - -## 再帰もループ - -再帰には、Parm を通る引数の循環と、Return → CallEnd → 演算 → Phi → Return -という戻り値の循環があります。後者は Parm を通りません。ループの Phi に -加えて Parm と CallEnd にも整数範囲の拡大が必要です。 - -関数アドレスが直接呼び出し以外で使われる場合は、未知の呼び出し元を残します。 -メモリを通した公開範囲の解析は後の章で導入します。 - -このディレクトリで最初に `make lib`、続いて `make tests` を実行してください。 -リポジトリのルートでは -`make tests CHAPTERS=chapter-interprocedural-sccp` を使えます。 -- cgit v1.2.3