From 2b060c77000dcfd350a75537dab84f5fba90ea27 Mon Sep 17 00:00:00 2001
From: Sanjay Patel <spatel@rotateright.com>
Date: Mon, 12 Dec 2016 15:28:44 +0000
Subject: [PATCH] [InstCombine] add test to show PR31260 miscompile; NFC

llvm-svn: 289437
---
 .../Transforms/InstCombine/narrow-switch.ll   | 34 +++++++++++++++++++
 1 file changed, 34 insertions(+)

diff --git a/llvm/test/Transforms/InstCombine/narrow-switch.ll b/llvm/test/Transforms/InstCombine/narrow-switch.ll
index 7cbc5e9f60b8..e58b49565689 100644
--- a/llvm/test/Transforms/InstCombine/narrow-switch.ll
+++ b/llvm/test/Transforms/InstCombine/narrow-switch.ll
@@ -129,3 +129,37 @@ sw.bb2:
 sw.default:
   ret void
 }
+
+; FIXME: https://llvm.org/bugs/show_bug.cgi?id=31260
+
+define i8 @PR31260(i8 %x) {
+; ALL-LABEL: @PR31260(
+; ALL-NEXT:  entry:
+; ALL-NEXT:    [[T4:%.*]] = and i8 %x, 2
+; ALL-NEXT:    switch i8 [[T4]], label %exit [
+; ALL-NEXT:    i8 -128, label %case126
+; ALL-NEXT:    i8 -126, label %case124
+; ALL-NEXT:    ]
+; ALL:       exit:
+; ALL-NEXT:    ret i8 1
+; ALL:       case126:
+; ALL-NEXT:    ret i8 3
+; ALL:       case124:
+; ALL-NEXT:    ret i8 5
+;
+entry:
+  %t4 = and i8 %x, 2
+  %t5 = add nsw i8 %t4, -126
+  switch i8 %t5, label %exit [
+  i8 -126, label %case126
+  i8 -124, label %case124
+  ]
+
+exit:
+  ret i8 1
+case126:
+  ret i8 3
+case124:
+  ret i8 5
+}
+