Index: llvm/lib/Transforms/InstCombine/InstCombineAndOrXor.cpp =================================================================== --- llvm/lib/Transforms/InstCombine/InstCombineAndOrXor.cpp +++ llvm/lib/Transforms/InstCombine/InstCombineAndOrXor.cpp @@ -2694,6 +2694,11 @@ } } + // (A ^ B) | ~(A | B) -> ~(A & B) + if (match(&I, m_c_Or(m_Xor(m_Value(A), m_Value(B)), + m_Not(m_c_Or(m_Deferred(A), m_Deferred(B)))))) + return BinaryOperator::CreateNot(Builder.CreateAnd(A, B)); + // (A ^ B) | ((B ^ C) ^ A) -> (A ^ B) | C if (match(Op0, m_Xor(m_Value(A), m_Value(B)))) if (match(Op1, m_Xor(m_Xor(m_Specific(B), m_Value(C)), m_Specific(A)))) Index: llvm/test/Transforms/InstCombine/or-and.ll =================================================================== --- /dev/null +++ llvm/test/Transforms/InstCombine/or-and.ll @@ -0,0 +1,105 @@ +; RUN: opt -S -instcombine < %s | FileCheck %s + +; (A ^ B) | ~(A | B) --> ~(A & B) +define i32 @test1(i32 %0, i32 %1) { +; CHECK-LABEL: @test1( +; CHECK-NEXT: %3 = and i32 %1, %0 +; CHECK-NEXT: %4 = xor i32 %3, -1 +; CHECK-NEXT: ret i32 %4 + %3 = xor i32 %1, %0 + %4 = or i32 %1, %0 + %5 = xor i32 %4, -1 + %6 = or i32 %3, %5 + ret i32 %6 +} + +; (A ^ B) | ~(A | B) --> ~(A & B) +define <4 x i32> @test1_vec(<4 x i32> %0, <4 x i32> %1) { +; CHECK-LABEL: @test1_vec( +; CHECK-NEXT: %3 = and <4 x i32> %1, %0 +; CHECK-NEXT: %4 = xor <4 x i32> %3, +; CHECK-NEXT: ret <4 x i32> %4 + %3 = xor <4 x i32> %1, %0 + %4 = or <4 x i32> %1, %0 + %5 = xor <4 x i32> %4, + %6 = or <4 x i32> %3, %5 + ret <4 x i32> %6 +} + +; ~(A | B) | (A ^ B) --> ~(A & B) +define i32 @test2(i32 %0, i32 %1) { +; CHECK-LABEL: @test2( +; CHECK-NEXT: %3 = and i32 %1, %0 +; CHECK-NEXT: %4 = xor i32 %3, -1 +; CHECK-NEXT: ret i32 %4 + %3 = or i32 %1, %0 + %4 = xor i32 %3, -1 + %5 = xor i32 %1, %0 + %6 = or i32 %5, %4 + ret i32 %6 +} + +; ~(A | B) | (A ^ B) --> ~(A & B) +define <4 x i32> @test2_vec(<4 x i32> %0, <4 x i32> %1) { +; CHECK-LABEL: @test2_vec( +; CHECK-NEXT: %3 = and <4 x i32> %1, %0 +; CHECK-NEXT: %4 = xor <4 x i32> %3, +; CHECK-NEXT: ret <4 x i32> %4 + %3 = or <4 x i32> %1, %0 + %4 = xor <4 x i32> %3, + %5 = xor <4 x i32> %1, %0 + %6 = or <4 x i32> %5, %4 + ret <4 x i32> %6 +} + +; (B ^ A) | ~(B | A) --> ~(A & B) +define i32 @test3(i32 %0, i32 %1) { +; CHECK-LABEL: @test3( +; CHECK-NEXT: %3 = and i32 %1, %0 +; CHECK-NEXT: %4 = xor i32 %3, -1 +; CHECK-NEXT: ret i32 %4 + %3 = xor i32 %1, %0 + %4 = or i32 %1, %0 + %5 = xor i32 %4, -1 + %6 = or i32 %3, %5 + ret i32 %6 +} + +; (B ^ A) | ~(B | A) --> ~(A & B) +define <4 x i32> @test3_vec(<4 x i32> %0, <4 x i32> %1) { +; CHECK-LABEL: @test3_vec( +; CHECK-NEXT: %3 = and <4 x i32> %1, %0 +; CHECK-NEXT: %4 = xor <4 x i32> %3, +; CHECK-NEXT: ret <4 x i32> %4 + %3 = xor <4 x i32> %1, %0 + %4 = or <4 x i32> %1, %0 + %5 = xor <4 x i32> %4, + %6 = or <4 x i32> %3, %5 + ret <4 x i32> %6 +} + +; ~(B | A) | (B ^ A) --> ~(A & B) +define i32 @test4(i32 %0, i32 %1) { +; CHECK-LABEL: @test4( +; CHECK-NEXT: %3 = and i32 %1, %0 +; CHECK-NEXT: %4 = xor i32 %3, -1 +; CHECK-NEXT: ret i32 %4 + %3 = or i32 %1, %0 + %4 = xor i32 %3, -1 + %5 = xor i32 %1, %0 + %6 = or i32 %5, %4 + ret i32 %6 +} + +; ~(B | A) | (B ^ A) --> ~(A & B) +define <4 x i32> @test4_vec(<4 x i32> %0, <4 x i32> %1) { +; CHECK-LABEL: @test4_vec( +; CHECK-NEXT: %3 = and <4 x i32> %1, %0 +; CHECK-NEXT: %4 = xor <4 x i32> %3, +; CHECK-NEXT: ret <4 x i32> %4 + %3 = or <4 x i32> %1, %0 + %4 = xor <4 x i32> %3, + %5 = xor <4 x i32> %1, %0 + %6 = or <4 x i32> %5, %4 + ret <4 x i32> %6 +}