[PATCH] D60035: [SCEV] Use unsigned/signed intersection type in SCEV

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

@lebedev.ri I don't really have any particular goal or previously failing case in mind here. The test changes show that this allows us to infer a few more nowrap flags and makes some signed/unsigned ranges non-wrapping. The changes seem like improvements to me, though I'm a bit unsure about increasing-or-decreasing-iv.ll.


Repository:
  rL LLVM

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

https://reviews.llvm.org/D60035