過去数年間のコンパイラ最適化技術の新機能は何ですか？

データフローと制御フローグラフの最適化に興味があり、特に計算が複雑です。しかし、のぞき穴の最適化の分野における最新の発明について知ることも興味深いでしょう。

それがどれほど斬新であるか、またはあなたの興味のためにそれが適用側に多すぎるかどうかはわかりませんが、Hooplは、制御グラフの頂点に関する事実の伝播を制御/データフロー最適化がモジュール化できる方法を示しています言語および特定の最適化。

彼らは、Lerner、Grove、Chambersの2002アルゴリズムを参照しており、単純な最適化を「超最適化」にまとめています。

最適化パスの順序付けの問題に対する別のアプローチとして、Equality Saturationテクニックが関連すると思われます。しかし、私の知る限りでは、本格的なコンパイラーでの具体的な実装によってまだ実用的であるとは証明されていません。以下のProofsからのコンパイラー最適化の生成も興味深い場合があります。

検証済みの最適化コンパイラには、少しのリバイバルがありました。Lernerの論文（前のコメントで言及）に加えて、Xavier Leroyが率いるCompCertプロジェクトを見ることができます。彼らは、最適化をマシンチェック可能なプルーフとして指定することで（Coqを使用して）いくつかのクールなことをしました。私はまだ論文を読んでいませんが、プリンストンのVerified Software Toolchainプロジェクトもこの分野で興味深い結果を生み出しているようです。

ダブルFORループのbaz [i] + = force（foo [i]、foo [j]）が（i、j）に対して独立した結果を持つことを認識し、（i、j）上のスペース充填曲線に呼び出しを並べ替えますキャッシュミスを削減します。

完全に「のぞき穴」ではありませんが、「無料」でキャッシュを無視する動作を取得するのは良いことです。