[PATCH] D38581: [IRCE] Fix intersection between signed and unsigned ranges

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev updated this revision to Diff 119556.
mkazantsev marked 3 inline comments as done.
mkazantsev added a comment.

Added corner tests to unsigned_comparisons_ult.ll, rebased on the patch that improves work with empty ranges.


https://reviews.llvm.org/D38581

Files:
  lib/Transforms/Scalar/InductiveRangeCheckElimination.cpp
  test/Transforms/IRCE/clamp.ll
  test/Transforms/IRCE/correct-loop-info.ll
  test/Transforms/IRCE/empty_ranges.ll
  test/Transforms/IRCE/eq_ne.ll
  test/Transforms/IRCE/range_intersect_miscompile.ll
  test/Transforms/IRCE/stride_more_than_1.ll
  test/Transforms/IRCE/unsigned_comparisons_ugt.ll
  test/Transforms/IRCE/unsigned_comparisons_ult.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D38581.119556.patch
Type: text/x-patch
Size: 30796 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20171019/bd9eff30/attachment.bin>