[PATCH] D148107: [SCEV] Set nowrap for finite non-strict predicates for addrecs

[Nikita Popov via Phabricator via llvm-commits]

nikic abandoned this revision.
nikic added a comment.

In D148107#4262287 <https://reviews.llvm.org/D148107#4262287>, @efriedma wrote:

> I don't understand why this is safe.  You're checking that the LHS is an AddRec (which is bound to the loop in question), but then you're adding the flags to math on the RHS (which is not).

Uh yeah, I have honestly no idea what I was thinking here.


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

https://reviews.llvm.org/D148107