From 7ad324b3965699cd52fb4b133f3ab7eb39c656e5 Mon Sep 17 00:00:00 2001
From: Sanjay Patel <spatel@rotateright.com>
Date: Tue, 16 Aug 2016 23:18:42 +0000
Subject: [InstCombine] add tests for fold with no coverage and missing vector
 fold

llvm-svn: 278867
---
 .../Transforms/InstCombine/2008-01-29-AddICmp.ll    | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)

(limited to 'llvm')

diff --git a/llvm/test/Transforms/InstCombine/2008-01-29-AddICmp.ll b/llvm/test/Transforms/InstCombine/2008-01-29-AddICmp.ll
index 0f0b5c3f968..9aa65557476 100644
--- a/llvm/test/Transforms/InstCombine/2008-01-29-AddICmp.ll
+++ b/llvm/test/Transforms/InstCombine/2008-01-29-AddICmp.ll
@@ -67,3 +67,24 @@ define <2 x i1> @test3vec(<2 x i32> %a) {
   ret <2 x i1> %c
 }
 
+define i1 @test4(i32 %a) {
+; CHECK-LABEL: @test4(
+; CHECK-NEXT:    [[C:%.*]] = icmp slt i32 %a, -4
+; CHECK-NEXT:    ret i1 [[C]]
+;
+  %b = add i32 %a, 2147483652
+  %c = icmp sge i32 %b, 4
+  ret i1 %c
+}
+
+define <2 x i1> @test4vec(<2 x i32> %a) {
+; CHECK-LABEL: @test4vec(
+; CHECK-NEXT:    [[B:%.*]] = add <2 x i32> %a, <i32 -2147483644, i32 -2147483644>
+; CHECK-NEXT:    [[C:%.*]] = icmp sgt <2 x i32> [[B]], <i32 3, i32 3>
+; CHECK-NEXT:    ret <2 x i1> [[C]]
+;
+  %b = add <2 x i32> %a, <i32 2147483652, i32 2147483652>
+  %c = icmp sge <2 x i32> %b, <i32 4, i32 4>
+  ret <2 x i1> %c
+}
+
-- 
cgit v1.2.3