Value *C;
// (C && A) || (!C && B) --> sel C, A, B
+ // (A && C) || (!C && B) --> sel C, A, B
if (match(FalseVal, m_LogicalAnd(m_Not(m_Value(C)), m_Value(B))) &&
match(CondVal, m_c_LogicalAnd(m_Specific(C), m_Value(A))))
return SelectInst::Create(C, A, B);
+ // (C && A) || (B && !C) --> sel C, A, B
+ // TODO: (A && C) || (B && !C) is safe to transform with real 'and' ops.
+ if (match(FalseVal, m_LogicalAnd(m_Value(B), m_Not(m_Value(C)))) &&
+ match(CondVal, m_LogicalAnd(m_Specific(C), m_Value(A))))
+ return SelectInst::Create(C, A, B);
+
// (!C && A) || (C && B) --> sel C, B, A
+ // (!C && A) || (B && C) --> sel C, B, A
if (match(CondVal, m_LogicalAnd(m_Not(m_Value(C)), m_Value(A))) &&
match(FalseVal, m_c_LogicalAnd(m_Specific(C), m_Value(B))))
return SelectInst::Create(C, B, A);
define i1 @bools2_logical_commute2(i1 %a, i1 %b, i1 %c) {
; CHECK-LABEL: @bools2_logical_commute2(
-; CHECK-NEXT: [[NOT:%.*]] = xor i1 [[C:%.*]], true
-; CHECK-NEXT: [[AND1:%.*]] = select i1 [[C]], i1 [[A:%.*]], i1 false
-; CHECK-NEXT: [[AND2:%.*]] = select i1 [[B:%.*]], i1 [[NOT]], i1 false
-; CHECK-NEXT: [[OR:%.*]] = select i1 [[AND1]], i1 true, i1 [[AND2]]
+; CHECK-NEXT: [[OR:%.*]] = select i1 [[C:%.*]], i1 [[A:%.*]], i1 [[B:%.*]]
; CHECK-NEXT: ret i1 [[OR]]
;
%not = xor i1 %c, -1
define i1 @bools2_logical_commute2_and1(i1 %a, i1 %b, i1 %c) {
; CHECK-LABEL: @bools2_logical_commute2_and1(
-; CHECK-NEXT: [[NOT:%.*]] = xor i1 [[C:%.*]], true
-; CHECK-NEXT: [[AND1:%.*]] = and i1 [[C]], [[A:%.*]]
-; CHECK-NEXT: [[AND2:%.*]] = select i1 [[B:%.*]], i1 [[NOT]], i1 false
-; CHECK-NEXT: [[OR:%.*]] = select i1 [[AND1]], i1 true, i1 [[AND2]]
+; CHECK-NEXT: [[OR:%.*]] = select i1 [[C:%.*]], i1 [[A:%.*]], i1 [[B:%.*]]
; CHECK-NEXT: ret i1 [[OR]]
;
%not = xor i1 %c, -1
define i1 @bools2_logical_commute2_and2(i1 %a, i1 %c) {
; CHECK-LABEL: @bools2_logical_commute2_and2(
; CHECK-NEXT: [[B:%.*]] = call i1 @gen1()
-; CHECK-NEXT: [[NOT:%.*]] = xor i1 [[C:%.*]], true
-; CHECK-NEXT: [[AND1:%.*]] = select i1 [[C]], i1 [[A:%.*]], i1 false
-; CHECK-NEXT: [[AND2:%.*]] = and i1 [[B]], [[NOT]]
-; CHECK-NEXT: [[OR:%.*]] = select i1 [[AND1]], i1 true, i1 [[AND2]]
+; CHECK-NEXT: [[OR:%.*]] = select i1 [[C:%.*]], i1 [[A:%.*]], i1 [[B]]
; CHECK-NEXT: ret i1 [[OR]]
;
%b = call i1 @gen1()
define i1 @bools2_logical_commute2_and1_and2(i1 %a, i1 %c) {
; CHECK-LABEL: @bools2_logical_commute2_and1_and2(
; CHECK-NEXT: [[B:%.*]] = call i1 @gen1()
-; CHECK-NEXT: [[NOT:%.*]] = xor i1 [[C:%.*]], true
-; CHECK-NEXT: [[AND1:%.*]] = and i1 [[C]], [[A:%.*]]
-; CHECK-NEXT: [[AND2:%.*]] = and i1 [[B]], [[NOT]]
-; CHECK-NEXT: [[OR:%.*]] = select i1 [[AND1]], i1 true, i1 [[AND2]]
+; CHECK-NEXT: [[OR:%.*]] = select i1 [[C:%.*]], i1 [[A:%.*]], i1 [[B]]
; CHECK-NEXT: ret i1 [[OR]]
;
%b = call i1 @gen1()