[PATCH] D86363: InstCombine transform pattern "(A ^ B) | ~(A | B) -> ~(A & B)" added

[Dávid Bolvanský via Phabricator via llvm-commits]

xbolva00 added inline comments.


================
Comment at: llvm/test/Transforms/InstCombine/or-and.ll:13
+  %6 = or i32 %3, %5
+  ret i32 %6
+}
----------------
Jac1494 wrote:
> xbolva00 wrote:
> > Add vector tests
> Could you please clarify , what you meant by "vector tests"..?
instead of i32, try use vector type, eg. <4 x i32>

define  <4 x i32> @vec( <4 x i32> %0,  <4 x i32> %1) {
  %3 = xor  <4 x i32> %0, %1
  %4 = or  <4 x i32> %0, %1
  %5 = xor  <4 x i32> %4, <i32 -1, i32 -1, i32 -1, i32 -1>
  %6 = or  <4 x i32> %3, %5
  ret  <4 x i32> %6
}


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D86363/new/

https://reviews.llvm.org/D86363