From 11d13fbfba030486d9e2a1338093b5f474dd10f8 Mon Sep 17 00:00:00 2001
From: Chris Lattner <sabre@nondot.org>
Date: Wed, 15 May 2002 20:30:48 +0000
Subject: [PATCH] Test to ensure sub -> neg promotion is working and why.

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

diff --git a/test/Transforms/Reassociate/subtest.ll b/test/Transforms/Reassociate/subtest.ll
new file mode 100644
index 00000000000..9b649665536
--- /dev/null
+++ b/test/Transforms/Reassociate/subtest.ll
@@ -0,0 +1,13 @@
+; With sub reassociation, constant folding can eliminate the 12 and -12 constants.
+;
+; RUN: if as < %s | opt -reassociate -constprop -instcombine -die | dis | grep add
+; RUN: then exit 1
+; RUN: else exit 0
+; RUN: fi
+
+int "test"(int %A, int %B) {
+	%X = add int -12, %A
+	%Y = sub int %X, %B
+	%Z = add int %Y, 12
+	ret int %Z
+}