自動コード最適化テクニック

Question

私はカスタム言語を自動的にJavaに変換するプロジェクトに取り組んでおり、変換処理中にコードの基本的な最適化を行うよう求められています。たとえば、カスタムコードのようなものがあり：このインスタンスで

if someFunction(a, b) > x: 
    do something 
else: 
    return someFunction(a, b) + y 

を、someFunctionは、同じ入力で複数回呼び出されるので、追加のパフォーマンスはsomeFunction（の値をキャッシュすることにより得られる）とのみ、それを呼び出すことができます一度。

var1 = someFunction(a, b) 

if var1 > x: 
    do something 
else: 
    return var1 + y 

現在、これは変換処理中に手作業で行われます。したがって、上記のコードの「最適化」バージョンは次のように見えるかもしれません。私は、カスタム言語のコードをJavaに変換し、変換されたコードを手動で調べて最適化できるものを確認するプログラムを実行します。私はこれらの問題が何度も繰り返されるので、最適化プロセスを自動化したい。カスタム言語でコードを書いている人々は、そのようなことを心配したくないので、私に与えるコードが既に最適化されていることを確認するように彼らに頼むことはできません。

現代のコンパイラでどのように行われているかを詳しく説明するチュートリアルや論文などは何ですか？私はホイールをあまりにも再発明する必要はありません。前もって感謝します。

編集1：

この関数は純粋であると見なすことができます。

Answer 1

これは、Common subexpression eliminationとして知られています。

通常、データフロー分析を行うには、完全にコンパイラを実装する必要があります。アルゴリズムはDragon Book、「6.1.2 DAGを構築するためのバリューナンバーメソッド」（少なくともローカルCSEの場合）に示されています。