diff options
| author | Cliff Click <cliffc@acm.org> | 2025-06-13 15:42:08 -0700 |
|---|---|---|
| committer | Cliff Click <cliffc@acm.org> | 2026-10-25 10:24:58 -0700 |
| commit | 4d89ad19e0d660aa1c4ff076e0ca44807d989077 (patch) | |
| tree | 6e4d3ed7e173fca9397ad21021e61d8f85f1f180 /docs/chapter25/README.ja.md | |
| parent | 56e2d5299b436705bc34a44a73687565cbe8e10c (diff) | |
| download | Simple-4d89ad19e0d660aa1c4ff076e0ca44807d989077.tar.gz Simple-4d89ad19e0d660aa1c4ff076e0ca44807d989077.zip | |
Chapter 25: SSA Before Types Are Known
Co-authored-by: Hsiang-Ying Fu <66062782+fuhsnn@users.noreply.github.com>
Co-authored-by: Tamás Hadházy <85063808+Hels15@users.noreply.github.com>
Co-authored-by: fuhsnn <66062782+fuhsnn@users.noreply.github.com>
Co-authored-by: Symious <14933944+symious@users.noreply.github.com>
Co-authored-by: Jun Kawasaki <jun784@gmail.com>
Co-authored-by: Hadházy Tamás <helsgithub15@gmail.com>
Co-authored-by: Claude Opus 5 <noreply@anthropic.com>
Diffstat (limited to 'docs/chapter25/README.ja.md')
| -rw-r--r-- | docs/chapter25/README.ja.md | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/docs/chapter25/README.ja.md b/docs/chapter25/README.ja.md new file mode 100644 index 00000000..8eaef623 --- /dev/null +++ b/docs/chapter25/README.ja.md @@ -0,0 +1,17 @@ +# 第25章: 型が確定する前の SSA 構築 + +[English](README.md) | 日本語 + +[Previous: Chapter 24b](../chapter24b/README.ja.md) | +[Next: Chapter 26](../chapter26/README.ja.md) + +この章では、前方参照やループのために型がまだ分からない場合でも、演算と +フィールド参照をグラフに記録します。数値演算のモード、Convert、Guard、 +シンボルによるフィールド位置を使い、型と配置が確定した後に解決します。 +値の Phi と Load は、パーサが与える仮の型の下限を使いません。 + +コンストラクタは前章の方式を維持します。初期化用の呼び出し、非公開の +メモリ、オブジェクトの公開は次の章で扱います。詳しい説明と例は +[英語版](README.md)を参照してください。 + +このディレクトリで `make lib tests CTAGS=` を実行できます。 |