From c00cab878aa523e20a5dbd618e9852e191504cfe Mon Sep 17 00:00:00 2001
From: Sanjay Patel <spatel@rotateright.com>
Date: Sun, 10 Oct 2021 10:41:28 -0400
Subject: [PATCH] [InstCombine] add test for or-of-icmps; NFC

---
 llvm/test/Transforms/InstCombine/or.ll | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/llvm/test/Transforms/InstCombine/or.ll b/llvm/test/Transforms/InstCombine/or.ll
index b4c5719..90f4f45 100644
--- a/llvm/test/Transforms/InstCombine/or.ll
+++ b/llvm/test/Transforms/InstCombine/or.ll
@@ -1444,3 +1444,18 @@ define i8 @lshr_bitwidth_mask(i8 %x, i8 %y) {
   %r = or i8 %sign, %y
   ret i8 %r
 }
+
+define i1 @cmp_overlap(i32 %x) {
+; CHECK-LABEL: @cmp_overlap(
+; CHECK-NEXT:    [[ISNEG:%.*]] = icmp slt i32 [[X:%.*]], 0
+; CHECK-NEXT:    [[NEGX:%.*]] = sub i32 0, [[X]]
+; CHECK-NEXT:    [[ISNOTNEG:%.*]] = icmp sgt i32 [[NEGX]], -1
+; CHECK-NEXT:    [[R:%.*]] = or i1 [[ISNEG]], [[ISNOTNEG]]
+; CHECK-NEXT:    ret i1 [[R]]
+;
+  %isneg = icmp slt i32 %x, 0
+  %negx = sub i32 0, %x
+  %isnotneg = icmp sgt i32 %negx, -1
+  %r = or i1 %isneg, %isnotneg
+  ret i1 %r
+}
-- 
2.7.4