From: Chris Lattner <sabre@nondot.org>
Date: Wed, 5 Nov 2003 01:05:22 +0000 (+0000)
Subject: New testcase for the other side
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=9716eb7676503d35e0542310f270ce954284b320;p=oota-llvm.git

New testcase for the other side


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

diff --git a/test/Transforms/InstCombine/xor.ll b/test/Transforms/InstCombine/xor.ll
index 6516a9f0a28..172da6062fd 100644
--- a/test/Transforms/InstCombine/xor.ll
+++ b/test/Transforms/InstCombine/xor.ll
@@ -116,3 +116,9 @@ uint %test17(uint %A) {             ; ~(c-X) == X-(c-1) == X+(-c+1)
 	%C = xor uint %B, 4294967295
 	ret uint %C
 }
+
+uint %test18(uint %A) {             ; C - ~X == X + (1+C)
+	%B = xor uint %A, 4294967295; -~X == 0 - ~X == X+1
+	%C = sub uint 123, %B
+	ret uint %C
+}