diff options
| -rw-r--r-- | llvm/lib/CodeGen/SelectionDAG/LegalizeVectorTypes.cpp | 4 | ||||
| -rw-r--r-- | llvm/test/CodeGen/X86/pr33715.ll | 16 |
2 files changed, 20 insertions, 0 deletions
diff --git a/llvm/lib/CodeGen/SelectionDAG/LegalizeVectorTypes.cpp b/llvm/lib/CodeGen/SelectionDAG/LegalizeVectorTypes.cpp index ff0e609803d..d41054b15bb 100644 --- a/llvm/lib/CodeGen/SelectionDAG/LegalizeVectorTypes.cpp +++ b/llvm/lib/CodeGen/SelectionDAG/LegalizeVectorTypes.cpp @@ -2977,7 +2977,11 @@ SDValue DAGTypeLegalizer::convertMask(SDValue InMask, EVT MaskVT, // Currently a SETCC or a AND/OR/XOR with two SETCCs are handled. unsigned InMaskOpc = InMask->getOpcode(); + + // FIXME: This code seems to be too restrictive, we might consider + // generalizing it or dropping it. assert((InMaskOpc == ISD::SETCC || + ISD::isBuildVectorOfConstantSDNodes(InMask.getNode()) || (isLogicalMaskOp(InMaskOpc) && isSETCCorConvertedSETCC(InMask->getOperand(0)) && isSETCCorConvertedSETCC(InMask->getOperand(1)))) && diff --git a/llvm/test/CodeGen/X86/pr33715.ll b/llvm/test/CodeGen/X86/pr33715.ll new file mode 100644 index 00000000000..15432cfdb51 --- /dev/null +++ b/llvm/test/CodeGen/X86/pr33715.ll @@ -0,0 +1,16 @@ +; Make sure we don't crash with a build vector of integer constants. +; RUN: llc %s -o /dev/null + +target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" +target triple = "x86_64-unknown-linux-gnu" + +define i32 @patatino() { + %tmp = insertelement <4 x i32> <i32 1, i32 1, i32 undef, i32 undef>, i32 1, i32 2 + %tmp1 = insertelement <4 x i32> %tmp, i32 1, i32 3 + %tmp2 = icmp ne <4 x i32> %tmp1, zeroinitializer + %tmp3 = icmp slt <4 x i32> %tmp1, <i32 4, i32 4, i32 4, i32 4> + %tmp4 = or <4 x i1> %tmp2, %tmp3 + %tmp5 = select <4 x i1> %tmp4, <4 x i32> zeroinitializer, <4 x i32> <i32 4, i32 4, i32 4, i32 4> + %tmp6 = extractelement <4 x i32> %tmp5, i32 0 + ret i32 %tmp6 +} |
