<div dir="ltr"><div><div>I've seen an example in "Monotone Data Flow Analysis Framework" by Kam and Ullman (available at<br><a href="https://www.cs.indiana.edu/~achauhan/Teaching/B629/2006-Fall/CourseMaterial/1977-acta-kam-monotone.pdf">https://www.cs.indiana.edu/~achauhan/Teaching/B629/2006-Fall/CourseMaterial/1977-acta-kam-monotone.pdf</a>)<br></div>Please see the 5th page.</div></div><div class="gmail_extra"><br><div class="gmail_quote">On 26 April 2016 at 12:22, Rakesh Nair via llvm-dev <span dir="ltr"><<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div><div>For a theoretical study I have implemented Meet over all path for 
constant propagation. Since the lattice of constant propagation is non 
distributive, it is expected that Maximum Fixed Point calculation and 
Meet Over all Path may give different results. Can anyone give such an 
example program<br></div></div><br></div>
<br>_______________________________________________<br>
LLVM Developers mailing list<br>
<a href="mailto:llvm-dev@lists.llvm.org">llvm-dev@lists.llvm.org</a><br>
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a><br>
<br></blockquote></div><br></div>