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 6516a9f0a28f0c912ef283556102ad790ab899d0..172da6062fd3a25dd38e53e38271b1d4f705ff66 100644 (file)
--- 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
+}