[PATCH] D154593: [IRCE][Tests] Add more tests with range checks in the form of 'iv + offset vs limit'

[Aleksandr Popov via Phabricator via llvm-commits]

aleksandr.popov created this revision.
Herald added a project: All.
aleksandr.popov requested review of this revision.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.

Added tests on range checks with non-strick predicate:

- N - IV > limit
- IV - N < limit
- IV + N < limit

Also added tests with known to be non-negative N


https://reviews.llvm.org/D154593

Files:
  llvm/test/Transforms/IRCE/iv-plus-offset-range-check.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D154593.537657.patch
Type: text/x-patch
Size: 27915 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230706/1eb0d65e/attachment-0001.bin>