[PATCH] D61934: [SCEV] Use wrap flags in InsertBinop

Mon Jun 10 02:02:40 PDT 2019

nikic added a comment.

In D61934#1534106 <https://reviews.llvm.org/D61934#1534106>, @samparker wrote:

> Thanks Philip. This has been reverted, so something is wrong. I'm finding it difficult to wrap, pun intended, my head around how adding users affects the semantics of a given expression. Are they any reviews/threads that you could point me to?

It would be nice to find out what went wrong here. The issue Philip refers to is discussed in D60935 <https://reviews.llvm.org/D60935>, but I don't think it applies in this context. I would expect that the nowrap flags in SCEV are just wrong ... somewhere.

Repository:
  rL LLVM

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D61934/new/

https://reviews.llvm.org/D61934