From 8532f4bdd93dedfeb67817db34ac1a63e46b21b5 Mon Sep 17 00:00:00 2001 From: Cliff Click Date: Sat, 24 Oct 2026 15:24:56 -0700 Subject: Rename incomplete types chapter to 25 --- chapter25/README.ja.md | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 chapter25/README.ja.md (limited to 'chapter25/README.ja.md') 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=` を実行できます。 -- cgit v1.2.3