blob: 28ae8c41069c63b8fe80205b3a72e510e8cec82f [file] [log] [blame]
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instsimplify -S | FileCheck %s
define i1 @logical_and_of_or_commute0(i1 %x, i1 %y) {
; CHECK-LABEL: @logical_and_of_or_commute0(
; CHECK-NEXT: ret i1 [[X:%.*]]
;
%ynot = xor i1 %y, -1
%xory = select i1 %x, i1 true, i1 %y
%xorynot = select i1 %x, i1 true, i1 %ynot
%and = select i1 %xory, i1 %xorynot, i1 false
ret i1 %and
}
define <2 x i1> @logical_and_of_or_commute1(<2 x i1> %x, <2 x i1> %y) {
; CHECK-LABEL: @logical_and_of_or_commute1(
; CHECK-NEXT: ret <2 x i1> [[X:%.*]]
;
%ynot = xor <2 x i1> %y, <i1 -1, i1 poison>
%xory = select <2 x i1> %y, <2 x i1> <i1 true, i1 true>, <2 x i1> %x
%xorynot = select <2 x i1> %x, <2 x i1> <i1 true, i1 true>, <2 x i1> %ynot
%and = select <2 x i1> %xory, <2 x i1> %xorynot, <2 x i1> zeroinitializer
ret <2 x i1> %and
}
define i1 @logical_and_of_or_commute2(i1 %x, i1 %y) {
; CHECK-LABEL: @logical_and_of_or_commute2(
; CHECK-NEXT: ret i1 [[X:%.*]]
;
%ynot = xor i1 %y, -1
%xory = select i1 %x, i1 true, i1 %y
%xorynot = select i1 %ynot, i1 true, i1 %x
%and = select i1 %xory, i1 %xorynot, i1 false
ret i1 %and
}
define i1 @logical_and_of_or_commute3(i1 %x, i1 %y) {
; CHECK-LABEL: @logical_and_of_or_commute3(
; CHECK-NEXT: ret i1 [[X:%.*]]
;
%ynot = xor i1 %y, -1
%xory = select i1 %y, i1 true, i1 %x
%xorynot = select i1 %ynot, i1 true, i1 %x
%and = select i1 %xory, i1 %xorynot, i1 false
ret i1 %and
}
define i1 @logical_and_of_or_commute4(i1 %x, i1 %y) {
; CHECK-LABEL: @logical_and_of_or_commute4(
; CHECK-NEXT: ret i1 [[X:%.*]]
;
%ynot = xor i1 %y, -1
%xory = select i1 %x, i1 true, i1 %y
%xorynot = select i1 %x, i1 true, i1 %ynot
%and = select i1 %xorynot, i1 %xory, i1 false
ret i1 %and
}
define i1 @logical_and_of_or_commute5(i1 %x, i1 %y) {
; CHECK-LABEL: @logical_and_of_or_commute5(
; CHECK-NEXT: ret i1 [[X:%.*]]
;
%ynot = xor i1 %y, -1
%xory = select i1 %y, i1 true, i1 %x
%xorynot = select i1 %x, i1 true, i1 %ynot
%and = select i1 %xorynot, i1 %xory, i1 false
ret i1 %and
}
define i1 @logical_and_of_or_commute6(i1 %x, i1 %y) {
; CHECK-LABEL: @logical_and_of_or_commute6(
; CHECK-NEXT: ret i1 [[X:%.*]]
;
%ynot = xor i1 %y, -1
%xory = select i1 %x, i1 true, i1 %y
%xorynot = select i1 %ynot, i1 true, i1 %x
%and = select i1 %xorynot, i1 %xory, i1 false
ret i1 %and
}
define i1 @logical_and_of_or_commute7(i1 %x, i1 %y) {
; CHECK-LABEL: @logical_and_of_or_commute7(
; CHECK-NEXT: ret i1 [[X:%.*]]
;
%ynot = xor i1 %y, -1
%xory = select i1 %y, i1 true, i1 %x
%xorynot = select i1 %ynot, i1 true, i1 %x
%and = select i1 %xorynot, i1 %xory, i1 false
ret i1 %and
}
; negative test - wrong logic op
define i1 @logical_and_of_or_and(i1 %x, i1 %y) {
; CHECK-LABEL: @logical_and_of_or_and(
; CHECK-NEXT: [[XANDY:%.*]] = select i1 [[Y:%.*]], i1 [[X:%.*]], i1 false
; CHECK-NEXT: [[YNOT:%.*]] = xor i1 [[Y]], true
; CHECK-NEXT: [[XORYNOT:%.*]] = select i1 [[YNOT]], i1 true, i1 [[X]]
; CHECK-NEXT: [[AND:%.*]] = select i1 [[XORYNOT]], i1 [[XANDY]], i1 false
; CHECK-NEXT: ret i1 [[AND]]
;
%xandy = select i1 %y, i1 %x, i1 false
%ynot = xor i1 %y, -1
%xorynot = select i1 %ynot, i1 true, i1 %x
%and = select i1 %xorynot, i1 %xandy, i1 false
ret i1 %and
}
; negative test - must have common operands
define i1 @logical_and_of_or_no_common_op(i1 %x, i1 %y, i1 %z) {
; CHECK-LABEL: @logical_and_of_or_no_common_op(
; CHECK-NEXT: [[XORZ:%.*]] = select i1 [[X:%.*]], i1 true, i1 [[Z:%.*]]
; CHECK-NEXT: [[YNOT:%.*]] = xor i1 [[Y:%.*]], true
; CHECK-NEXT: [[XORYNOT:%.*]] = select i1 [[X]], i1 true, i1 [[YNOT]]
; CHECK-NEXT: [[AND:%.*]] = select i1 [[XORYNOT]], i1 [[XORZ]], i1 false
; CHECK-NEXT: ret i1 [[AND]]
;
%xorz = select i1 %x, i1 true, i1 %z
%ynot = xor i1 %y, -1
%xorynot = select i1 %x, i1 true, i1 %ynot
%and = select i1 %xorynot, i1 %xorz, i1 false
ret i1 %and
}