Пример программы, где MOP и MFP различны

Question

Я изучаю сравнение между Meet all all path (MOP) и Maximum Fixed Point (MFP) в оптимизации компилятора. Было сказано, что MFP является подмножеством СС. Но я не мог найти пример, в котором MFP и MOP отличаются. Может ли кто-нибудь помочь мне с какой-либо примерной программой, в которой MFP и MOP дают разные результаты.

Answer 1

Существует такой пример в «Структуре анализа потока монотонных данных» Кам и Ульмана refer this.

Программа образец

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

Если рассматривать постоянный анализ распространения вышеуказанной программы переменной С является константой в каждом случае. Значение будет 5, если условие if statement оценивается как true или false. Но если мы проведем анализ с фиксированной точкой по вышеуказанной программе, то C никогда не будет считаться константой, тогда как анализ СС будет содержать информацию о том, что C является константой.