From 1a82ca80dda5b6dbd7b8de9fc390ae9f205be1bf Mon Sep 17 00:00:00 2001
From: Chris Lattner <sabre@nondot.org>
Date: Sun, 8 May 2005 18:54:40 +0000
Subject: [PATCH] new testcase

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

diff --git a/test/Transforms/Reassociate/inverses.ll b/test/Transforms/Reassociate/inverses.ll
new file mode 100644
index 00000000000..0ce704698a2
--- /dev/null
+++ b/test/Transforms/Reassociate/inverses.ll
@@ -0,0 +1,24 @@
+; RUN: llvm-as < %s | opt -reassociate -dce | llvm-dis | not grep '\(and\|sub\)'
+
+int %test1(int %a, int %b) {
+        %tmp.2 = and int %b, %a
+        %tmp.4 = xor int %a, -1
+        %tmp.5 = and int %tmp.2, %tmp.4 ; (A&B)&~A == 0
+        ret int %tmp.5
+}
+
+int %test2(int %a, int %b) {
+	%tmp.1 = and int %a, 1234
+        %tmp.2 = and int %b, %tmp.1
+        %tmp.4 = xor int %a, -1
+        %tmp.5 = and int %tmp.2, %tmp.4 ; A&~A == 0
+        ret int %tmp.5
+}
+
+int %test3(int %b, int %a) {
+	%tmp.1 = add int %a, 1234
+        %tmp.2 = add int %b, %tmp.1
+        %tmp.4 = sub int 0, %a
+        %tmp.5 = add int %tmp.2, %tmp.4   ; (b+(a+1234))+-a -> b+1234
+        ret int %tmp.5
+}
-- 
2.34.1