Add a test for PR1499.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37473 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/test/Transforms/InstCombine/2007-06-06-AshrSignBit.ll b/test/Transforms/InstCombine/2007-06-06-AshrSignBit.ll
new file mode 100644 (file)
index 0000000..482c608
--- /dev/null
+++ b/test/Transforms/InstCombine/2007-06-06-AshrSignBit.ll
@@ -0,0 +1,22 @@
+; RUN: llvm-as < %s | opt -instcombine | llvm-dis | grep {ashr}
+; PR1499
+
+define void @av_cmp_q_cond_true(i32* %retval, i32* %tmp9, i64* %tmp10) {
+newFuncRoot:
+       br label %cond_true
+
+return.exitStub:               ; preds = %cond_true
+       ret void
+
+cond_true:             ; preds = %newFuncRoot
+       %tmp30 = load i64* %tmp10               ; <i64> [#uses=1]
+       %.cast = zext i32 63 to i64             ; <i64> [#uses=1]
+       %tmp31 = ashr i64 %tmp30, %.cast                ; <i64> [#uses=1]
+       %tmp3132 = trunc i64 %tmp31 to i32              ; <i32> [#uses=1]
+       %tmp33 = or i32 %tmp3132, 1             ; <i32> [#uses=1]
+       store i32 %tmp33, i32* %tmp9
+       %tmp34 = load i32* %tmp9                ; <i32> [#uses=1]
+       store i32 %tmp34, i32* %retval
+       br label %return.exitStub
+}
+