From c76b62ea13e969a855d868d6241095a52d69516a Mon Sep 17 00:00:00 2001 From: Craig Topper Date: Mon, 22 Jul 2019 02:43:43 +0000 Subject: [PATCH] [InstCombine] Add foldAndOfICmps test cases inspired by PR42691. icmp ne %x, INT_MIN can be treated similarly to icmp sgt %x, INT_MIN. icmp ne %x, INT_MAX can be treated similarly to icmp slt %x, INT_MAX. icmp ne %x, UINT_MAX can be treated similarly to icmp ult %x, UINT_MAX. We already treat icmp ne %x, 0 similarly to icmp ugt %x, 0 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@366662 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Transforms/InstCombine/and-or-icmps.ll | 39 +++++++++++++++++++++ 1 file changed, 39 insertions(+) diff --git a/test/Transforms/InstCombine/and-or-icmps.ll b/test/Transforms/InstCombine/and-or-icmps.ll index 60576d079f2..481e0f2fd20 100644 --- a/test/Transforms/InstCombine/and-or-icmps.ll +++ b/test/Transforms/InstCombine/and-or-icmps.ll @@ -338,3 +338,42 @@ define i1 @PR42691_7(i32 %x) { %c = or i1 %c1, %c2 ret i1 %c } + +define i1 @PR42691_8(i32 %x) { +; CHECK-LABEL: @PR42691_8( +; CHECK-NEXT: [[C1:%.*]] = icmp slt i32 %x, 14 +; CHECK-NEXT: [[C2:%.*]] = icmp ne i32 %x, -2147483648 +; CHECK-NEXT: [[C:%.*]] = and i1 [[C1]], [[C2]] +; CHECK-NEXT: ret i1 [[C]] +; + %c1 = icmp slt i32 %x, 14 + %c2 = icmp ne i32 %x, -2147483648 + %c = and i1 %c1, %c2 + ret i1 %c +} + +define i1 @PR42691_9(i32 %x) { +; CHECK-LABEL: @PR42691_9( +; CHECK-NEXT: [[C1:%.*]] = icmp sgt i32 %x, 13 +; CHECK-NEXT: [[C2:%.*]] = icmp ne i32 %x, 2147483647 +; CHECK-NEXT: [[C:%.*]] = and i1 [[C1]], [[C2]] +; CHECK-NEXT: ret i1 [[C]] +; + %c1 = icmp sgt i32 %x, 13 + %c2 = icmp ne i32 %x, 2147483647 + %c = and i1 %c1, %c2 + ret i1 %c +} + +define i1 @PR42691_10(i32 %x) { +; CHECK-LABEL: @PR42691_10( +; CHECK-NEXT: [[C1:%.*]] = icmp ugt i32 %x, 13 +; CHECK-NEXT: [[C2:%.*]] = icmp ne i32 %x, -1 +; CHECK-NEXT: [[C:%.*]] = and i1 [[C1]], [[C2]] +; CHECK-NEXT: ret i1 [[C]] +; + %c1 = icmp ugt i32 %x, 13 + %c2 = icmp ne i32 %x, 4294967295 + %c = and i1 %c1, %c2 + ret i1 %c +} -- 2.40.0