VT.getVectorElementType() == MVT::i1 &&
(DCI.isBeforeLegalize() || (VT != MVT::v64i1 || Subtarget.is64Bit()))) {
EVT IntVT = EVT::getIntegerVT(*DAG.getContext(), VT.getVectorNumElements());
- bool LHSIsConst = ISD::isBuildVectorOfConstantSDNodes(LHS.getNode());
- bool RHSIsConst = ISD::isBuildVectorOfConstantSDNodes(RHS.getNode());
-
- if ((LHSIsConst ||
- (LHS.getOpcode() == ISD::BITCAST &&
- LHS.getOperand(0).getValueType() == IntVT)) &&
- (RHSIsConst ||
- (RHS.getOpcode() == ISD::BITCAST &&
- RHS.getOperand(0).getValueType() == IntVT))) {
- if (LHSIsConst)
- LHS = combinevXi1ConstantToInteger(LHS, DAG);
- else
- LHS = LHS.getOperand(0);
+ if (DCI.isBeforeLegalize() || TLI.isTypeLegal(IntVT)) {
+ bool LHSIsConst = ISD::isBuildVectorOfConstantSDNodes(LHS.getNode());
+ bool RHSIsConst = ISD::isBuildVectorOfConstantSDNodes(RHS.getNode());
+
+ if ((LHSIsConst || (LHS.getOpcode() == ISD::BITCAST &&
+ LHS.getOperand(0).getValueType() == IntVT)) &&
+ (RHSIsConst || (RHS.getOpcode() == ISD::BITCAST &&
+ RHS.getOperand(0).getValueType() == IntVT))) {
+ if (LHSIsConst)
+ LHS = combinevXi1ConstantToInteger(LHS, DAG);
+ else
+ LHS = LHS.getOperand(0);
- if (RHSIsConst)
- RHS = combinevXi1ConstantToInteger(RHS, DAG);
- else
- RHS = RHS.getOperand(0);
+ if (RHSIsConst)
+ RHS = combinevXi1ConstantToInteger(RHS, DAG);
+ else
+ RHS = RHS.getOperand(0);
- SDValue Select = DAG.getSelect(DL, IntVT, Cond, LHS, RHS);
- return DAG.getBitcast(VT, Select);
+ SDValue Select = DAG.getSelect(DL, IntVT, Cond, LHS, RHS);
+ return DAG.getBitcast(VT, Select);
+ }
}
}
--- /dev/null
+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
+; RUN: llc < %s --mtriple=x86_64-- -mcpu=cascadelake | FileCheck %s
+
+define <3 x i1> @repro(i1 %cond) {
+; CHECK-LABEL: repro:
+; CHECK: # %bb.0:
+; CHECK-NEXT: testb $1, %dil
+; CHECK-NEXT: jne .LBB0_1
+; CHECK-NEXT: # %bb.2:
+; CHECK-NEXT: kxorw %k0, %k0, %k0
+; CHECK-NEXT: jmp .LBB0_3
+; CHECK-NEXT: .LBB0_1:
+; CHECK-NEXT: kxnorw %k0, %k0, %k0
+; CHECK-NEXT: .LBB0_3:
+; CHECK-NEXT: kshiftrb $1, %k0, %k1
+; CHECK-NEXT: kmovd %k1, %edx
+; CHECK-NEXT: kshiftrb $2, %k0, %k1
+; CHECK-NEXT: kmovd %k1, %ecx
+; CHECK-NEXT: kmovd %k0, %eax
+; CHECK-NEXT: # kill: def $al killed $al killed $eax
+; CHECK-NEXT: # kill: def $dl killed $dl killed $edx
+; CHECK-NEXT: # kill: def $cl killed $cl killed $ecx
+; CHECK-NEXT: retq
+ %select = select i1 %cond, <3 x i1> <i1 true, i1 true, i1 true>, <3 x i1> zeroinitializer
+ ret <3 x i1> %select
+}