summaryrefslogtreecommitdiff
path: root/test/Transforms/InstCombine/icmp.ll
diff options
context:
space:
mode:
Diffstat (limited to 'test/Transforms/InstCombine/icmp.ll')
-rw-r--r--test/Transforms/InstCombine/icmp.ll63
1 files changed, 0 insertions, 63 deletions
diff --git a/test/Transforms/InstCombine/icmp.ll b/test/Transforms/InstCombine/icmp.ll
index 099aaca5f7d6..32fe050bf83f 100644
--- a/test/Transforms/InstCombine/icmp.ll
+++ b/test/Transforms/InstCombine/icmp.ll
@@ -1243,69 +1243,6 @@ define i1 @icmp_shl24(i32 %x) {
ret i1 %cmp
}
-; If the (shl x, C) preserved the sign and this is a sign test,
-; compare the LHS operand instead
-define i1 @icmp_shl_nsw_sgt(i32 %x) {
-; CHECK-LABEL: @icmp_shl_nsw_sgt(
-; CHECK-NEXT: [[CMP:%.*]] = icmp sgt i32 %x, 0
-; CHECK-NEXT: ret i1 [[CMP]]
-;
- %shl = shl nsw i32 %x, 21
- %cmp = icmp sgt i32 %shl, 0
- ret i1 %cmp
-}
-
-define i1 @icmp_shl_nsw_sge0(i32 %x) {
-; CHECK-LABEL: @icmp_shl_nsw_sge0(
-; CHECK-NEXT: [[CMP:%.*]] = icmp sgt i32 %x, -1
-; CHECK-NEXT: ret i1 [[CMP]]
-;
- %shl = shl nsw i32 %x, 21
- %cmp = icmp sge i32 %shl, 0
- ret i1 %cmp
-}
-
-define i1 @icmp_shl_nsw_sge1(i32 %x) {
-; CHECK-LABEL: @icmp_shl_nsw_sge1(
-; CHECK-NEXT: [[CMP:%.*]] = icmp sgt i32 %x, 0
-; CHECK-NEXT: ret i1 [[CMP]]
-;
- %shl = shl nsw i32 %x, 21
- %cmp = icmp sge i32 %shl, 1
- ret i1 %cmp
-}
-
-define <2 x i1> @icmp_shl_nsw_sge1_vec(<2 x i32> %x) {
-; CHECK-LABEL: @icmp_shl_nsw_sge1_vec(
-; CHECK-NEXT: [[CMP:%.*]] = icmp sgt <2 x i32> %x, zeroinitializer
-; CHECK-NEXT: ret <2 x i1> [[CMP]]
-;
- %shl = shl nsw <2 x i32> %x, <i32 21, i32 21>
- %cmp = icmp sge <2 x i32> %shl, <i32 1, i32 1>
- ret <2 x i1> %cmp
-}
-
-; Checks for icmp (eq|ne) (shl x, C), 0
-define i1 @icmp_shl_nsw_eq(i32 %x) {
-; CHECK-LABEL: @icmp_shl_nsw_eq(
-; CHECK-NEXT: [[CMP:%.*]] = icmp eq i32 %x, 0
-; CHECK-NEXT: ret i1 [[CMP]]
-;
- %mul = shl nsw i32 %x, 5
- %cmp = icmp eq i32 %mul, 0
- ret i1 %cmp
-}
-
-define <2 x i1> @icmp_shl_nsw_eq_vec(<2 x i32> %x) {
-; CHECK-LABEL: @icmp_shl_nsw_eq_vec(
-; CHECK-NEXT: [[CMP:%.*]] = icmp eq <2 x i32> %x, zeroinitializer
-; CHECK-NEXT: ret <2 x i1> [[CMP]]
-;
- %mul = shl nsw <2 x i32> %x, <i32 5, i32 5>
- %cmp = icmp eq <2 x i32> %mul, zeroinitializer
- ret <2 x i1> %cmp
-}
-
define i1 @icmp_shl_eq(i32 %x) {
; CHECK-LABEL: @icmp_shl_eq(
; CHECK-NEXT: [[MUL_MASK:%.*]] = and i32 %x, 134217727