Случай, в котором сбой максимальной фиксированной точки

Question

Для теоретического исследования я применил Meet по всему пути для постоянного распространения. Поскольку решетка постоянного распространения не является дистрибутивной, ожидается, что вычисление максимальной фиксированной точки и встретить по всему пути могут дать разные результаты. Может ли кто-нибудь дать такую ​​примерную программу.

Q2: Также есть программа, в которой разреженный переход условного постоянного распространения (-sccp) в llvm не сможет обнаружить константу.

Answer 1

Пример из here:

if (...) 
    x = 1; 
else 
    x = -1; 
y = x * x; 

С постоянным методом распространения, значение x не является постоянной величиной после условного оператора. Таким образом, значение y не является константой. Формально, если F является функцией для последнего оператора, мы имеем F(1 ⨆ -1) = F(⊤) = ⊤.

С СС, значение y является объединением двух возможных путей и, как известно, является 1. Формально F(1) ⨆ F(-1) = 1 ⨆ 1 = 1.