[PATCH] D123337: Possible bug in isKnownPredicateViaConstantRanges

[Nikita Popov via Phabricator via llvm-commits]

nikic requested changes to this revision.
nikic added a comment.
This revision now requires changes to proceed.

No wrap flags in SCEV are required to be valid independent of scope. If you see nowrap flags for which this is not the case, then the calculation of the nowrap flags is at fault.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D123337