グローバルコードモーション/グローバル値番号付け

私たちは、最適化コンパイラが機械非依存の最適化（例：条件付き定数伝播、グローバル値番号付け）とコードモーションの問題を別々に扱うべきだと信じています。機械非依存の最適化からコードモーションの要件を取り除くことで、より単純なアルゴリズムを用いた強力な最適化が可能になります。合法的なスケジュールを保持することは、PRE 18、13やグローバル同値探索2、20のようなアルゴリズムの複雑さの主要な原因の一つです。