New testcase pointed out by Casey Carter

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

diff --git a/test/Transforms/InstCombine/2002-12-05-MissedConstProp.ll b/test/Transforms/InstCombine/2002-12-05-MissedConstProp.ll
new file mode 100644 (file)
index 0000000..c8e2aca
--- /dev/null
+++ b/test/Transforms/InstCombine/2002-12-05-MissedConstProp.ll
@@ -0,0 +1,13 @@
+; RUN: if as < %s | opt -instcombine | dis | grep add
+; RUN: then exit 1
+; RUN: else exit 0
+; RUN: fi
+
+int %test(int %A) {
+  %A.neg = sub int 0, %A
+  %.neg = sub int 0, 1
+  %X = add int %.neg, 1
+  %Y.neg.ra = add int %A, %X
+  %r = add int %A.neg, %Y.neg.ra
+  ret int %r
+}