[llvm-dev] Case in which Maximum Fixed Point fails

Rakesh Nair via llvm-dev llvm-dev at lists.llvm.org
Mon Apr 25 23:52:10 PDT 2016

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20160426/e23f3789/attachment.html>

More information about the llvm-dev mailing list