From 260be88da270bceaba4e292dbf849f6e9f18abb0 Mon Sep 17 00:00:00 2001
From: Sanjay Patel <spatel@rotateright.com>
Date: Sun, 24 Feb 2019 17:31:15 +0000
Subject: [PATCH] [InstCombine] add test for icmp+add fold; NFC

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@354750 91177308-0d34-0410-b5e6-96231b3b80d8
---
 test/Transforms/InstCombine/uaddo.ll | 29 ++++++++++++++++++++++++++++
 1 file changed, 29 insertions(+)

diff --git a/test/Transforms/InstCombine/uaddo.ll b/test/Transforms/InstCombine/uaddo.ll
index e815bbad0fe..be8e0e67588 100644
--- a/test/Transforms/InstCombine/uaddo.ll
+++ b/test/Transforms/InstCombine/uaddo.ll
@@ -151,3 +151,32 @@ define i32 @uaddo_wrong_pred2(i32 %x, i32 %y, i32 %z) {
   ret i32 %r
 }
 
+; icmp canonicalization should be consistent for these cases.
+; Either the compare depends on the sum or not.
+
+define i1 @uaddo_1(i8 %x, i8* %p) {
+; CHECK-LABEL: @uaddo_1(
+; CHECK-NEXT:    [[A:%.*]] = add i8 [[X:%.*]], 1
+; CHECK-NEXT:    store i8 [[A]], i8* [[P:%.*]], align 1
+; CHECK-NEXT:    [[C:%.*]] = icmp eq i8 [[A]], 0
+; CHECK-NEXT:    ret i1 [[C]]
+;
+  %a = add i8 %x, 1
+  store i8 %a, i8* %p
+  %c = icmp ult i8 %a, 1
+  ret i1 %c
+}
+
+define i1 @uaddo_neg1(i8 %x, i8* %p) {
+; CHECK-LABEL: @uaddo_neg1(
+; CHECK-NEXT:    [[A:%.*]] = add i8 [[X:%.*]], -1
+; CHECK-NEXT:    store i8 [[A]], i8* [[P:%.*]], align 1
+; CHECK-NEXT:    [[C:%.*]] = icmp ne i8 [[X]], 0
+; CHECK-NEXT:    ret i1 [[C]]
+;
+  %a = add i8 %x, -1
+  store i8 %a, i8* %p
+  %c = icmp ne i8 %a, -1
+  ret i1 %c
+}
+
-- 
2.50.1