summaryrefslogtreecommitdiff
path: root/chapter25/README.ja.md
diff options
context:
space:
mode:
authorCliff Click <cliffc@acm.org>2026-10-24 15:24:56 -0700
committerCliff Click <cliffc@acm.org>2026-10-24 15:24:56 -0700
commit8532f4bdd93dedfeb67817db34ac1a63e46b21b5 (patch)
tree41703d95d4a08e54f5b70f8b1ac3750b565ef09a /chapter25/README.ja.md
parentf49b184a093ab5f653ac36ccc4939c45515a2f4b (diff)
downloadSimple-8532f4bdd93dedfeb67817db34ac1a63e46b21b5.tar.gz
Simple-8532f4bdd93dedfeb67817db34ac1a63e46b21b5.zip
Rename incomplete types chapter to 25
Diffstat (limited to 'chapter25/README.ja.md')
-rw-r--r--chapter25/README.ja.md17
1 files changed, 17 insertions, 0 deletions
diff --git a/chapter25/README.ja.md b/chapter25/README.ja.md
new file mode 100644
index 00000000..a8b77e1c
--- /dev/null
+++ b/chapter25/README.ja.md
@@ -0,0 +1,17 @@
+# 型が確定する前の SSA 構築
+
+[English](README.md) | 日本語
+
+[前章: 関数間の SCCP](../chapter-interprocedural-sccp/README.ja.md) |
+[次章: オブジェクトの構築と非公開メモリ](../chapter-construction/README.ja.md)
+
+この章では、前方参照やループのために型がまだ分からない場合でも、演算と
+フィールド参照をグラフに記録します。数値演算のモード、Convert、Guard、
+シンボルによるフィールド位置を使い、型と配置が確定した後に解決します。
+値の Phi と Load は、パーサが与える仮の型の下限を使いません。
+
+コンストラクタは前章の方式を維持します。初期化用の呼び出し、非公開の
+メモリ、オブジェクトの公開は次の章で扱います。詳しい説明と例は
+[英語版](README.md)を参照してください。
+
+このディレクトリで `make lib tests CTAGS=` を実行できます。