search for: cbjy51__wo

...). > > The code I wrote to handle this could be made more powerful, e.g. by introducing an analysis pass for strong post-dominance (as opposed to the usual kind of post-dominance). There was a brief amount of discussion on this a while back: https://groups.google.com/forum/#!topic/llvm-dev/CBJY51__wOE I don't know if there's been any developments on that since then. Bjarke -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20160412/7ed21a02/attachment.html>

Hey Sanjoy, Thanks for the quick repsonse. On 04/10, Sanjoy Das wrote: > [+CC Bjarke who wrote getNoWrapFlagsFromUB + related bits] Also thanks. > One fundamental reason why we cannot reason about NoWrap flags in SCEV > for arithmetic outside of loops is to avoid issues like this: > > if (cond) { > val[x +nsw y] = 42; > } else { > val[x + y] = 42; > } > >