[PATCH] InstCombine ((A | ~B) ^ (~A | B)) to A ^ B

[David Majnemer]

================
Comment at: test/Transforms/InstCombine/or-xor.ll:153-161
@@ +152,11 @@
+define i32 @test16(i32 %x, i32 %y) {
+  %1 = xor i32 %y, -1
+  %2 = xor i32 %x, -1
+  %3 = or i32 %x, %1
+  %4 = or i32 %2, %y
+  %5 = xor i32 %3, %4
+  ret i32 %5
+; CHECK-LABEL: @test16(
+; CHECK-NEXT: %1 = xor i32 %x, %y
+; CHECK-NEXT: ret i32 %1
+}
----------------
Please give these better names.

http://reviews.llvm.org/D4883