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

[Rakesh Nair via llvm-dev]

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>