compiler-construction - すべてのプログラムを単一課題形式に変換できますか?

Question

単一代入形式は、コードの最適化のためにコンパイラで広く使用されています。ただし、すべてのプログラムが単一の割り当て形式に変換されるかどうかについて具体的に書かれている場所を見つけることができません。可能であれば、その資料を参照してください。そうでない場合は、反例を提供してください。

Answer 1

「A Practical Dynamic Single Assignment Transformation」、ACM TODAES 2007 の著者に尋ねたところ、単一割り当て形式の適用には実際に制限があることが確認されました。たとえば、輸送問題の解 (Operations Research -- リンクから) は変換できません。これは、その実行がデータ依存のコスト マトリックスに依存するためです。ただし、著者は、事前定義されたループ境界をアーキテクチャ上の制限などに基づいて適用できるため、単一の割り当て形式に対応できるとも述べています。