diff options
| author | Cliff Click <cliffc@acm.org> | 2026-10-23 09:33:11 -0700 |
|---|---|---|
| committer | Cliff Click <cliffc@acm.org> | 2026-10-23 09:33:11 -0700 |
| commit | 2a7ed6bda01f028cf13f803d89b10908d7ea7937 (patch) | |
| tree | 24d21b102ec7c92f8c5117e4dbf9695a9a302c49 /chapter-escape/README.ja.md | |
| parent | deafd9a6fa34938c0c8c9589097e8c84e39bfa1b (diff) | |
| download | Simple-2a7ed6bda01f028cf13f803d89b10908d7ea7937.tar.gz Simple-2a7ed6bda01f028cf13f803d89b10908d7ea7937.zip | |
Split out escape analysis chaptermain
Diffstat (limited to 'chapter-escape/README.ja.md')
| -rw-r--r-- | chapter-escape/README.ja.md | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/chapter-escape/README.ja.md b/chapter-escape/README.ja.md new file mode 100644 index 00000000..43bb4411 --- /dev/null +++ b/chapter-escape/README.ja.md @@ -0,0 +1,16 @@ +# エスケープ解析と未知の呼び出し元 + +[English](README.md) | 日本語 + +[前章: オブジェクトの構築と非公開メモリ](../chapter-construction/README.ja.md) + +この章では、オブジェクトや関数のアドレスが、解析できない外部コードに届くかを追跡します。 +関数のアドレスを既知の関数に渡すだけでは、未知の呼び出し元を残す必要はありません。 +戻り値、メモリ内の参照、ネイティブ呼び出しを通じて公開される場合は、保守的な呼び出し元を残します。 + +メモリの型に関数とフィールド別名の集合を加え、Stop から Start への情報の循環を +SCCP のワークリストで解きます。再帰するコールバックの例では、呼び出しを残したまま +引数の定数を推論できます。構築中のフィールドは、前章と同じローカルな SSA 値です。 + +詳しい説明と実行例は [英語版](README.md) を参照してください。 +このディレクトリで `make lib tests CTAGS=` を実行できます。 |
