From 4544d0218ae67852bec1cb3b73f014a44ed85b48 Mon Sep 17 00:00:00 2001
From: Chris Lattner <sabre@nondot.org>
Date: Sun, 8 May 2005 21:28:33 +0000
Subject: [PATCH] new testcase

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21784 91177308-0d34-0410-b5e6-96231b3b80d8
---
 test/Transforms/Reassociate/negation.ll | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 test/Transforms/Reassociate/negation.ll

diff --git a/test/Transforms/Reassociate/negation.ll b/test/Transforms/Reassociate/negation.ll
new file mode 100644
index 00000000000..ba7fe6fbeb3
--- /dev/null
+++ b/test/Transforms/Reassociate/negation.ll
@@ -0,0 +1,20 @@
+; RUN: llvm-as < %s | opt -reassociate -instcombine | llvm-dis | not grep sub
+
+; Test that we can turn things like X*-(Y*Z) -> X*-1*Y*Z.
+
+int %test1(int %a, int %b, int %z) {
+	%c = sub int 0, %z
+	%d = mul int %a, %b
+	%e = mul int %c, %d
+	%f = mul int %e, 12345
+	%g = sub int 0, %f
+	ret int %g
+}
+
+int %test2(int %a, int %b, int %z) {
+	%d = mul int %z, 40
+	%c = sub int 0, %d
+	%e = mul int %a, %c
+	%f = sub int 0, %e
+	ret int %f
+}