1 files changed, 34 insertions, 0 deletions
diff --git a/docs/chapter24b/README.ja.md b/docs/chapter24b/README.ja.md
new file mode 100644
index 00000000..db7bc91e
--- /dev/null
+++ b/docs/chapter24b/README.ja.md
@@ -0,0 +1,34 @@
+# 第24b章: 関数間の SCCP
+
+[English](README.md) | 日本語
+
+[Previous: Chapter 24a](../chapter24a/README.ja.md) |
+[Next: Chapter 25](../chapter25/README.ja.md)
+[章の分割案](../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=chapter24b` を使えます。