MOPとMFPが異なるサンプルプログラム

Question

コンパイラの最適化で全パス（MOP）と最大固定小数点（MFP）の比較を検討しています。 MFPはMOPのサブセットであると言われています。しかし、私はMFPとMOPが異なる例を見つけることができませんでした。 MFPとMOPが異なる結果を出すサンプルプログラムで誰も助けてくれますか？

Answer 1

Kam and Ullmanの「Monotone Data Flow Analysis Framework」refer thisにそのような例があります。

サンプルプログラムは、我々は、上記のプログラムの一定の伝搬解析を考慮した場合、変数Cは、すべての場合に一定である

if(<some codition>) { 
    A = 2; 
    B = 3; 
} 
else { 
    A = 3; 
    B = 2; 
} 
C=A+B; 

あります。 if statement条件がtrueまたはfalseと評価された場合、値は5になります。しかし、上記のプログラムで固定小数点解析を実行すると、Cは決して定数と見なされるのに対して、MOP解析はCが定数であるという情報を提供します。