[llvm] [SDAG][X86] From pseudo fmin/fmax from select_cc (PR #208717)
Nikita Popov via llvm-commits
llvm-commits at lists.llvm.org
Fri Jul 10 06:05:38 PDT 2026
https://github.com/nikic created https://github.com/llvm/llvm-project/pull/208717
Create PSEUDO_FMIN/PSEUDO_FMAX from SELECT_CC in addition to SELECT/VSELECT.
Unfortunately we can't just do this in the common SimplifySelectCC() helper because of the StrictFP handling and need to handle all three cases explicitly.
I ran into this trying to use the ops on s390x, but there are also some avx512 cases that benefit, so I split out this generalization.
>From a667f4c60a83ab81896e4c633e72deb30d936f9f Mon Sep 17 00:00:00 2001
From: Nikita Popov <npopov at redhat.com>
Date: Thu, 9 Jul 2026 17:29:10 +0200
Subject: [PATCH] [SDAG][X86] From pseudo fmin/fmax from select_cc
Create PSEUDO_FMIN/PSEUDO_FMAX from SELECT_CC in addition to
SELECT/VSELECT.
Unfortunately we can't just do this in the common SimplifySelectCC()
helper because of the StrictFP handling and need to handle all
three cases explicitly.
I ran into this trying to use the ops on s390x, but there are also
some avx512 cases that benefit, so I split out this generalization.
---
llvm/lib/CodeGen/SelectionDAG/DAGCombiner.cpp | 73 ++++++++++------
llvm/test/CodeGen/X86/avx512fp16-fmaxnum.ll | 86 +++++++++----------
llvm/test/CodeGen/X86/avx512fp16-fminnum.ll | 32 +++----
3 files changed, 99 insertions(+), 92 deletions(-)
diff --git a/llvm/lib/CodeGen/SelectionDAG/DAGCombiner.cpp b/llvm/lib/CodeGen/SelectionDAG/DAGCombiner.cpp
index c81c43c94b0f0..d4e037f3c4d8d 100644
--- a/llvm/lib/CodeGen/SelectionDAG/DAGCombiner.cpp
+++ b/llvm/lib/CodeGen/SelectionDAG/DAGCombiner.cpp
@@ -13119,28 +13119,22 @@ SDValue DAGCombiner::foldSelectToUMin(SDValue LHS, SDValue RHS, SDValue True,
}
// Combine x olt y ? x : y to pseudo_fmin and x ogt y ? x : y to pseudo_fmax.
-static SDValue combineSelectToPseudoMinMax(SelectionDAG &DAG, SDNode *N) {
- SDLoc DL(N);
- SDValue Cond = N->getOperand(0);
- SDValue LHS = N->getOperand(1);
- SDValue RHS = N->getOperand(2);
- EVT VT = LHS.getValueType();
+// Op0/Op1 are the setcc operands, LHS/RHS are the select operands, Flags are
+// from the select.
+// The return value is the opcode and its operands.
+static std::tuple<unsigned, SDValue, SDValue> combineSelectCCToPseudoMinMax(
+ SelectionDAG &DAG, const SDLoc &DL, ISD::CondCode CC, SDValue Op0,
+ SDValue Op1, SDValue LHS, SDValue RHS, SDNodeFlags Flags, bool IsStrict) {
+ std::tuple<unsigned, SDValue, SDValue> Invalid(0, {}, {});
const TargetLowering &TLI = DAG.getTargetLoweringInfo();
- if ((Cond.getOpcode() != ISD::SETCC &&
- Cond.getOpcode() != ISD::STRICT_FSETCCS) ||
- !VT.isFloatingPoint())
- return SDValue();
-
- bool IsStrict = Cond->isStrictFPOpcode();
- ISD::CondCode CC =
- cast<CondCodeSDNode>(Cond.getOperand(IsStrict ? 3 : 2))->get();
- SDValue Op0 = Cond.getOperand(IsStrict ? 1 : 0);
- SDValue Op1 = Cond.getOperand(IsStrict ? 2 : 1);
+ EVT VT = LHS.getValueType();
+ if (!VT.isFloatingPoint())
+ return Invalid;
// Check for x CC y ? x : y.
if (!DAG.isEqualTo(LHS, Op0) || !DAG.isEqualTo(RHS, Op1)) {
if (!DAG.isEqualTo(LHS, Op1) || !DAG.isEqualTo(RHS, Op0))
- return SDValue();
+ return Invalid;
// Convert x CC y ? y : x to x inv(CC) y ? x : y.
CC = ISD::getSetCCInverse(CC, VT);
@@ -13161,8 +13155,8 @@ static SDValue combineSelectToPseudoMinMax(SelectionDAG &DAG, SDNode *N) {
case ISD::SETOLE:
// Converting this to a min would handle comparisons between positive
// and negative zero incorrectly.
- if (!N->getFlags().hasNoSignedZeros() &&
- !DAG.isKnownNeverLogicalZero(LHS) && !DAG.isKnownNeverLogicalZero(RHS))
+ if (!Flags.hasNoSignedZeros() && !DAG.isKnownNeverLogicalZero(LHS) &&
+ !DAG.isKnownNeverLogicalZero(RHS))
break;
Opcode = ISD::PSEUDO_FMIN;
break;
@@ -13178,8 +13172,8 @@ static SDValue combineSelectToPseudoMinMax(SelectionDAG &DAG, SDNode *N) {
case ISD::SETOGE:
// Converting this to a max would handle comparisons between positive
// and negative zero incorrectly.
- if (!N->getFlags().hasNoSignedZeros() &&
- !DAG.isKnownNeverLogicalZero(LHS) && !DAG.isKnownNeverLogicalZero(RHS))
+ if (!Flags.hasNoSignedZeros() && !DAG.isKnownNeverLogicalZero(LHS) &&
+ !DAG.isKnownNeverLogicalZero(RHS))
break;
Opcode = ISD::PSEUDO_FMAX;
break;
@@ -13194,23 +13188,46 @@ static SDValue combineSelectToPseudoMinMax(SelectionDAG &DAG, SDNode *N) {
}
if (!Opcode)
- return SDValue();
+ return Invalid;
if (IsStrict)
Opcode = Opcode == ISD::PSEUDO_FMIN ? ISD::STRICT_PSEUDO_FMIN
: ISD::STRICT_PSEUDO_FMAX;
if (!TLI.isOperationLegalOrCustom(Opcode, VT))
+ return Invalid;
+
+ return {Opcode, LHS, RHS};
+}
+
+static SDValue combineSelectToPseudoMinMax(SelectionDAG &DAG, SDNode *N) {
+ SDLoc DL(N);
+ SDValue Cond = N->getOperand(0);
+ SDValue LHS = N->getOperand(1);
+ SDValue RHS = N->getOperand(2);
+ EVT VT = LHS.getValueType();
+ if ((Cond.getOpcode() != ISD::SETCC &&
+ Cond.getOpcode() != ISD::STRICT_FSETCCS))
+ return SDValue();
+
+ bool IsStrict = Cond->isStrictFPOpcode();
+ ISD::CondCode CC =
+ cast<CondCodeSDNode>(Cond.getOperand(IsStrict ? 3 : 2))->get();
+ SDValue Op0 = Cond.getOperand(IsStrict ? 1 : 0);
+ SDValue Op1 = Cond.getOperand(IsStrict ? 2 : 1);
+ auto [Opcode, NewLHS, NewRHS] = combineSelectCCToPseudoMinMax(
+ DAG, DL, CC, Op0, Op1, LHS, RHS, N->getFlags(), IsStrict);
+ if (!Opcode)
return SDValue();
// Propagate fast-math-flags.
SelectionDAG::FlagInserter FlagsInserter(DAG, N->getFlags());
if (IsStrict) {
- SDValue Ret = DAG.getNode(Opcode, DL, {N->getValueType(0), MVT::Other},
- {Cond.getOperand(0), LHS, RHS});
+ SDValue Ret = DAG.getNode(Opcode, DL, {VT, MVT::Other},
+ {Cond.getOperand(0), NewLHS, NewRHS});
DAG.ReplaceAllUsesOfValueWith(Cond.getValue(1), Ret.getValue(1));
return Ret;
}
- return DAG.getNode(Opcode, DL, N->getValueType(0), LHS, RHS);
+ return DAG.getNode(Opcode, DL, VT, NewLHS, NewRHS);
}
SDValue DAGCombiner::visitSELECT(SDNode *N) {
@@ -14656,6 +14673,12 @@ SDValue DAGCombiner::visitSELECT_CC(SDNode *N) {
if (SimplifySelectOps(N, N2, N3))
return SDValue(N, 0); // Don't revisit N.
+ auto [Opcode, NewLHS, NewRHS] = combineSelectCCToPseudoMinMax(
+ DAG, DL, CC, N0, N1, N2, N3, N->getFlags(), /*IsStrict=*/false);
+ if (Opcode)
+ return DAG.getNode(Opcode, DL, N->getValueType(0), NewLHS, NewRHS,
+ N->getFlags());
+
// fold select_cc into other things, such as min/max/abs
return SimplifySelectCC(DL, N0, N1, N2, N3, CC);
}
diff --git a/llvm/test/CodeGen/X86/avx512fp16-fmaxnum.ll b/llvm/test/CodeGen/X86/avx512fp16-fmaxnum.ll
index d2507b32446b6..d941930e4dadf 100644
--- a/llvm/test/CodeGen/X86/avx512fp16-fmaxnum.ll
+++ b/llvm/test/CodeGen/X86/avx512fp16-fmaxnum.ll
@@ -425,56 +425,48 @@ define <4 x half> @maxnum_intrinsic_nnan_fmf_f432(<4 x half> %a, <4 x half> %b)
;
; NOVL-LABEL: maxnum_intrinsic_nnan_fmf_f432:
; NOVL: # %bb.0:
-; NOVL-NEXT: vpsrldq $14, %xmm0, %xmm2 # encoding: [0xc5,0xe9,0x73,0xd8,0x0e]
-; NOVL-NEXT: # xmm2 = xmm0[14,15],zero,zero,zero,zero,zero,zero,zero,zero,zero,zero,zero,zero,zero,zero
-; NOVL-NEXT: vpsrldq $14, %xmm1, %xmm3 # encoding: [0xc5,0xe1,0x73,0xd9,0x0e]
-; NOVL-NEXT: # xmm3 = xmm1[14,15],zero,zero,zero,zero,zero,zero,zero,zero,zero,zero,zero,zero,zero,zero
-; NOVL-NEXT: vcmpltsh %xmm2, %xmm3, %k1 # encoding: [0x62,0xf3,0x66,0x08,0xc2,0xca,0x01]
-; NOVL-NEXT: vmovsh %xmm2, %xmm0, %xmm3 {%k1} # encoding: [0x62,0xf5,0x7e,0x09,0x10,0xda]
-; NOVL-NEXT: vshufps $255, %xmm0, %xmm0, %xmm2 # encoding: [0xc5,0xf8,0xc6,0xd0,0xff]
-; NOVL-NEXT: # xmm2 = xmm0[3,3,3,3]
-; NOVL-NEXT: vpshufd $255, %xmm1, %xmm4 # encoding: [0xc5,0xf9,0x70,0xe1,0xff]
-; NOVL-NEXT: # xmm4 = xmm1[3,3,3,3]
-; NOVL-NEXT: vcmpltsh %xmm2, %xmm4, %k1 # encoding: [0x62,0xf3,0x5e,0x08,0xc2,0xca,0x01]
-; NOVL-NEXT: vmovsh %xmm2, %xmm0, %xmm4 {%k1} # encoding: [0x62,0xf5,0x7e,0x09,0x10,0xe2]
-; NOVL-NEXT: vpunpcklwd %xmm3, %xmm4, %xmm2 # encoding: [0xc5,0xd9,0x61,0xd3]
-; NOVL-NEXT: # xmm2 = xmm4[0],xmm3[0],xmm4[1],xmm3[1],xmm4[2],xmm3[2],xmm4[3],xmm3[3]
-; NOVL-NEXT: vpsrldq $10, %xmm0, %xmm3 # encoding: [0xc5,0xe1,0x73,0xd8,0x0a]
-; NOVL-NEXT: # xmm3 = xmm0[10,11,12,13,14,15],zero,zero,zero,zero,zero,zero,zero,zero,zero,zero
-; NOVL-NEXT: vpsrldq $10, %xmm1, %xmm4 # encoding: [0xc5,0xd9,0x73,0xd9,0x0a]
-; NOVL-NEXT: # xmm4 = xmm1[10,11,12,13,14,15],zero,zero,zero,zero,zero,zero,zero,zero,zero,zero
-; NOVL-NEXT: vcmpltsh %xmm3, %xmm4, %k1 # encoding: [0x62,0xf3,0x5e,0x08,0xc2,0xcb,0x01]
-; NOVL-NEXT: vmovsh %xmm3, %xmm0, %xmm4 {%k1} # encoding: [0x62,0xf5,0x7e,0x09,0x10,0xe3]
-; NOVL-NEXT: vshufpd $1, %xmm0, %xmm0, %xmm3 # encoding: [0xc5,0xf9,0xc6,0xd8,0x01]
-; NOVL-NEXT: # xmm3 = xmm0[1,0]
-; NOVL-NEXT: vshufpd $1, %xmm1, %xmm1, %xmm5 # encoding: [0xc5,0xf1,0xc6,0xe9,0x01]
-; NOVL-NEXT: # xmm5 = xmm1[1,0]
-; NOVL-NEXT: vcmpltsh %xmm3, %xmm5, %k1 # encoding: [0x62,0xf3,0x56,0x08,0xc2,0xcb,0x01]
-; NOVL-NEXT: vmovsh %xmm3, %xmm0, %xmm5 {%k1} # encoding: [0x62,0xf5,0x7e,0x09,0x10,0xeb]
-; NOVL-NEXT: vpunpcklwd %xmm4, %xmm5, %xmm3 # encoding: [0xc5,0xd1,0x61,0xdc]
-; NOVL-NEXT: # xmm3 = xmm5[0],xmm4[0],xmm5[1],xmm4[1],xmm5[2],xmm4[2],xmm5[3],xmm4[3]
+; NOVL-NEXT: vpsrldq $14, %xmm1, %xmm2 # encoding: [0xc5,0xe9,0x73,0xd9,0x0e]
+; NOVL-NEXT: # xmm2 = xmm1[14,15],zero,zero,zero,zero,zero,zero,zero,zero,zero,zero,zero,zero,zero,zero
+; NOVL-NEXT: vpsrldq $14, %xmm0, %xmm3 # encoding: [0xc5,0xe1,0x73,0xd8,0x0e]
+; NOVL-NEXT: # xmm3 = xmm0[14,15],zero,zero,zero,zero,zero,zero,zero,zero,zero,zero,zero,zero,zero,zero
+; NOVL-NEXT: vmaxsh %xmm2, %xmm3, %xmm2 # encoding: [0x62,0xf5,0x66,0x08,0x5f,0xd2]
+; NOVL-NEXT: vpshufd $255, %xmm1, %xmm3 # encoding: [0xc5,0xf9,0x70,0xd9,0xff]
+; NOVL-NEXT: # xmm3 = xmm1[3,3,3,3]
+; NOVL-NEXT: vpshufd $255, %xmm0, %xmm4 # encoding: [0xc5,0xf9,0x70,0xe0,0xff]
+; NOVL-NEXT: # xmm4 = xmm0[3,3,3,3]
+; NOVL-NEXT: vmaxsh %xmm3, %xmm4, %xmm3 # encoding: [0x62,0xf5,0x5e,0x08,0x5f,0xdb]
+; NOVL-NEXT: vpunpcklwd %xmm2, %xmm3, %xmm2 # encoding: [0xc5,0xe1,0x61,0xd2]
+; NOVL-NEXT: # xmm2 = xmm3[0],xmm2[0],xmm3[1],xmm2[1],xmm3[2],xmm2[2],xmm3[3],xmm2[3]
+; NOVL-NEXT: vpsrldq $10, %xmm1, %xmm3 # encoding: [0xc5,0xe1,0x73,0xd9,0x0a]
+; NOVL-NEXT: # xmm3 = xmm1[10,11,12,13,14,15],zero,zero,zero,zero,zero,zero,zero,zero,zero,zero
+; NOVL-NEXT: vpsrldq $10, %xmm0, %xmm4 # encoding: [0xc5,0xd9,0x73,0xd8,0x0a]
+; NOVL-NEXT: # xmm4 = xmm0[10,11,12,13,14,15],zero,zero,zero,zero,zero,zero,zero,zero,zero,zero
+; NOVL-NEXT: vmaxsh %xmm3, %xmm4, %xmm3 # encoding: [0x62,0xf5,0x5e,0x08,0x5f,0xdb]
+; NOVL-NEXT: vshufpd $1, %xmm1, %xmm1, %xmm4 # encoding: [0xc5,0xf1,0xc6,0xe1,0x01]
+; NOVL-NEXT: # xmm4 = xmm1[1,0]
+; NOVL-NEXT: vshufpd $1, %xmm0, %xmm0, %xmm5 # encoding: [0xc5,0xf9,0xc6,0xe8,0x01]
+; NOVL-NEXT: # xmm5 = xmm0[1,0]
+; NOVL-NEXT: vmaxsh %xmm4, %xmm5, %xmm4 # encoding: [0x62,0xf5,0x56,0x08,0x5f,0xe4]
+; NOVL-NEXT: vpunpcklwd %xmm3, %xmm4, %xmm3 # encoding: [0xc5,0xd9,0x61,0xdb]
+; NOVL-NEXT: # xmm3 = xmm4[0],xmm3[0],xmm4[1],xmm3[1],xmm4[2],xmm3[2],xmm4[3],xmm3[3]
; NOVL-NEXT: vpunpckldq %xmm2, %xmm3, %xmm2 # encoding: [0xc5,0xe1,0x62,0xd2]
; NOVL-NEXT: # xmm2 = xmm3[0],xmm2[0],xmm3[1],xmm2[1]
-; NOVL-NEXT: vpsrlq $48, %xmm0, %xmm3 # encoding: [0xc5,0xe1,0x73,0xd0,0x30]
-; NOVL-NEXT: vpsrlq $48, %xmm1, %xmm4 # encoding: [0xc5,0xd9,0x73,0xd1,0x30]
-; NOVL-NEXT: vcmpltsh %xmm3, %xmm4, %k1 # encoding: [0x62,0xf3,0x5e,0x08,0xc2,0xcb,0x01]
-; NOVL-NEXT: vmovsh %xmm3, %xmm0, %xmm4 {%k1} # encoding: [0x62,0xf5,0x7e,0x09,0x10,0xe3]
-; NOVL-NEXT: vmovshdup %xmm0, %xmm3 # encoding: [0xc5,0xfa,0x16,0xd8]
-; NOVL-NEXT: # xmm3 = xmm0[1,1,3,3]
-; NOVL-NEXT: vmovshdup %xmm1, %xmm5 # encoding: [0xc5,0xfa,0x16,0xe9]
-; NOVL-NEXT: # xmm5 = xmm1[1,1,3,3]
-; NOVL-NEXT: vcmpltsh %xmm3, %xmm5, %k1 # encoding: [0x62,0xf3,0x56,0x08,0xc2,0xcb,0x01]
-; NOVL-NEXT: vmovsh %xmm3, %xmm0, %xmm5 {%k1} # encoding: [0x62,0xf5,0x7e,0x09,0x10,0xeb]
-; NOVL-NEXT: vpunpcklwd %xmm4, %xmm5, %xmm3 # encoding: [0xc5,0xd1,0x61,0xdc]
-; NOVL-NEXT: # xmm3 = xmm5[0],xmm4[0],xmm5[1],xmm4[1],xmm5[2],xmm4[2],xmm5[3],xmm4[3]
-; NOVL-NEXT: vcmpltsh %xmm0, %xmm1, %k1 # encoding: [0x62,0xf3,0x76,0x08,0xc2,0xc8,0x01]
-; NOVL-NEXT: vpsrld $16, %xmm1, %xmm4 # encoding: [0xc5,0xd9,0x72,0xd1,0x10]
-; NOVL-NEXT: vmovsh %xmm0, %xmm0, %xmm1 {%k1} # encoding: [0x62,0xf5,0x7e,0x09,0x10,0xc8]
+; NOVL-NEXT: vpsrlq $48, %xmm1, %xmm3 # encoding: [0xc5,0xe1,0x73,0xd1,0x30]
+; NOVL-NEXT: vpsrlq $48, %xmm0, %xmm4 # encoding: [0xc5,0xd9,0x73,0xd0,0x30]
+; NOVL-NEXT: vmaxsh %xmm3, %xmm4, %xmm3 # encoding: [0x62,0xf5,0x5e,0x08,0x5f,0xdb]
+; NOVL-NEXT: vmovshdup %xmm1, %xmm4 # encoding: [0xc5,0xfa,0x16,0xe1]
+; NOVL-NEXT: # xmm4 = xmm1[1,1,3,3]
+; NOVL-NEXT: vmovshdup %xmm0, %xmm5 # encoding: [0xc5,0xfa,0x16,0xe8]
+; NOVL-NEXT: # xmm5 = xmm0[1,1,3,3]
+; NOVL-NEXT: vmaxsh %xmm4, %xmm5, %xmm4 # encoding: [0x62,0xf5,0x56,0x08,0x5f,0xe4]
+; NOVL-NEXT: vpunpcklwd %xmm3, %xmm4, %xmm3 # encoding: [0xc5,0xd9,0x61,0xdb]
+; NOVL-NEXT: # xmm3 = xmm4[0],xmm3[0],xmm4[1],xmm3[1],xmm4[2],xmm3[2],xmm4[3],xmm3[3]
+; NOVL-NEXT: vmaxsh %xmm1, %xmm0, %xmm4 # encoding: [0x62,0xf5,0x7e,0x08,0x5f,0xe1]
+; NOVL-NEXT: vpsrld $16, %xmm1, %xmm1 # encoding: [0xc5,0xf1,0x72,0xd1,0x10]
; NOVL-NEXT: vpsrld $16, %xmm0, %xmm0 # encoding: [0xc5,0xf9,0x72,0xd0,0x10]
-; NOVL-NEXT: vcmpltsh %xmm0, %xmm4, %k1 # encoding: [0x62,0xf3,0x5e,0x08,0xc2,0xc8,0x01]
-; NOVL-NEXT: vmovsh %xmm0, %xmm0, %xmm4 {%k1} # encoding: [0x62,0xf5,0x7e,0x09,0x10,0xe0]
-; NOVL-NEXT: vpunpcklwd %xmm4, %xmm1, %xmm0 # encoding: [0xc5,0xf1,0x61,0xc4]
-; NOVL-NEXT: # xmm0 = xmm1[0],xmm4[0],xmm1[1],xmm4[1],xmm1[2],xmm4[2],xmm1[3],xmm4[3]
+; NOVL-NEXT: vmaxsh %xmm1, %xmm0, %xmm0 # encoding: [0x62,0xf5,0x7e,0x08,0x5f,0xc1]
+; NOVL-NEXT: vpunpcklwd %xmm0, %xmm4, %xmm0 # encoding: [0xc5,0xd9,0x61,0xc0]
+; NOVL-NEXT: # xmm0 = xmm4[0],xmm0[0],xmm4[1],xmm0[1],xmm4[2],xmm0[2],xmm4[3],xmm0[3]
; NOVL-NEXT: vpunpckldq %xmm3, %xmm0, %xmm0 # encoding: [0xc5,0xf9,0x62,0xc3]
; NOVL-NEXT: # xmm0 = xmm0[0],xmm3[0],xmm0[1],xmm3[1]
; NOVL-NEXT: vpunpcklqdq %xmm2, %xmm0, %xmm0 # encoding: [0xc5,0xf9,0x6c,0xc2]
diff --git a/llvm/test/CodeGen/X86/avx512fp16-fminnum.ll b/llvm/test/CodeGen/X86/avx512fp16-fminnum.ll
index 06ba4b4b85d51..3df6ee4e85f01 100644
--- a/llvm/test/CodeGen/X86/avx512fp16-fminnum.ll
+++ b/llvm/test/CodeGen/X86/avx512fp16-fminnum.ll
@@ -429,52 +429,44 @@ define <4 x half> @minnum_intrinsic_nnan_fmf_f432(<4 x half> %a, <4 x half> %b)
; NOVL-NEXT: # xmm2 = xmm1[14,15],zero,zero,zero,zero,zero,zero,zero,zero,zero,zero,zero,zero,zero,zero
; NOVL-NEXT: vpsrldq $14, %xmm0, %xmm3 # encoding: [0xc5,0xe1,0x73,0xd8,0x0e]
; NOVL-NEXT: # xmm3 = xmm0[14,15],zero,zero,zero,zero,zero,zero,zero,zero,zero,zero,zero,zero,zero,zero
-; NOVL-NEXT: vcmpltsh %xmm2, %xmm3, %k1 # encoding: [0x62,0xf3,0x66,0x08,0xc2,0xca,0x01]
-; NOVL-NEXT: vmovsh %xmm3, %xmm0, %xmm2 {%k1} # encoding: [0x62,0xf5,0x7e,0x09,0x10,0xd3]
+; NOVL-NEXT: vminsh %xmm2, %xmm3, %xmm2 # encoding: [0x62,0xf5,0x66,0x08,0x5d,0xd2]
; NOVL-NEXT: vpshufd $255, %xmm1, %xmm3 # encoding: [0xc5,0xf9,0x70,0xd9,0xff]
; NOVL-NEXT: # xmm3 = xmm1[3,3,3,3]
-; NOVL-NEXT: vshufps $255, %xmm0, %xmm0, %xmm4 # encoding: [0xc5,0xf8,0xc6,0xe0,0xff]
+; NOVL-NEXT: vpshufd $255, %xmm0, %xmm4 # encoding: [0xc5,0xf9,0x70,0xe0,0xff]
; NOVL-NEXT: # xmm4 = xmm0[3,3,3,3]
-; NOVL-NEXT: vcmpltsh %xmm3, %xmm4, %k1 # encoding: [0x62,0xf3,0x5e,0x08,0xc2,0xcb,0x01]
-; NOVL-NEXT: vmovsh %xmm4, %xmm0, %xmm3 {%k1} # encoding: [0x62,0xf5,0x7e,0x09,0x10,0xdc]
+; NOVL-NEXT: vminsh %xmm3, %xmm4, %xmm3 # encoding: [0x62,0xf5,0x5e,0x08,0x5d,0xdb]
; NOVL-NEXT: vpunpcklwd %xmm2, %xmm3, %xmm2 # encoding: [0xc5,0xe1,0x61,0xd2]
; NOVL-NEXT: # xmm2 = xmm3[0],xmm2[0],xmm3[1],xmm2[1],xmm3[2],xmm2[2],xmm3[3],xmm2[3]
; NOVL-NEXT: vpsrldq $10, %xmm1, %xmm3 # encoding: [0xc5,0xe1,0x73,0xd9,0x0a]
; NOVL-NEXT: # xmm3 = xmm1[10,11,12,13,14,15],zero,zero,zero,zero,zero,zero,zero,zero,zero,zero
; NOVL-NEXT: vpsrldq $10, %xmm0, %xmm4 # encoding: [0xc5,0xd9,0x73,0xd8,0x0a]
; NOVL-NEXT: # xmm4 = xmm0[10,11,12,13,14,15],zero,zero,zero,zero,zero,zero,zero,zero,zero,zero
-; NOVL-NEXT: vcmpltsh %xmm3, %xmm4, %k1 # encoding: [0x62,0xf3,0x5e,0x08,0xc2,0xcb,0x01]
-; NOVL-NEXT: vmovsh %xmm4, %xmm0, %xmm3 {%k1} # encoding: [0x62,0xf5,0x7e,0x09,0x10,0xdc]
+; NOVL-NEXT: vminsh %xmm3, %xmm4, %xmm3 # encoding: [0x62,0xf5,0x5e,0x08,0x5d,0xdb]
; NOVL-NEXT: vshufpd $1, %xmm1, %xmm1, %xmm4 # encoding: [0xc5,0xf1,0xc6,0xe1,0x01]
; NOVL-NEXT: # xmm4 = xmm1[1,0]
; NOVL-NEXT: vshufpd $1, %xmm0, %xmm0, %xmm5 # encoding: [0xc5,0xf9,0xc6,0xe8,0x01]
; NOVL-NEXT: # xmm5 = xmm0[1,0]
-; NOVL-NEXT: vcmpltsh %xmm4, %xmm5, %k1 # encoding: [0x62,0xf3,0x56,0x08,0xc2,0xcc,0x01]
-; NOVL-NEXT: vmovsh %xmm5, %xmm0, %xmm4 {%k1} # encoding: [0x62,0xf5,0x7e,0x09,0x10,0xe5]
+; NOVL-NEXT: vminsh %xmm4, %xmm5, %xmm4 # encoding: [0x62,0xf5,0x56,0x08,0x5d,0xe4]
; NOVL-NEXT: vpunpcklwd %xmm3, %xmm4, %xmm3 # encoding: [0xc5,0xd9,0x61,0xdb]
; NOVL-NEXT: # xmm3 = xmm4[0],xmm3[0],xmm4[1],xmm3[1],xmm4[2],xmm3[2],xmm4[3],xmm3[3]
; NOVL-NEXT: vpunpckldq %xmm2, %xmm3, %xmm2 # encoding: [0xc5,0xe1,0x62,0xd2]
; NOVL-NEXT: # xmm2 = xmm3[0],xmm2[0],xmm3[1],xmm2[1]
; NOVL-NEXT: vpsrlq $48, %xmm1, %xmm3 # encoding: [0xc5,0xe1,0x73,0xd1,0x30]
; NOVL-NEXT: vpsrlq $48, %xmm0, %xmm4 # encoding: [0xc5,0xd9,0x73,0xd0,0x30]
-; NOVL-NEXT: vcmpltsh %xmm3, %xmm4, %k1 # encoding: [0x62,0xf3,0x5e,0x08,0xc2,0xcb,0x01]
-; NOVL-NEXT: vmovsh %xmm4, %xmm0, %xmm3 {%k1} # encoding: [0x62,0xf5,0x7e,0x09,0x10,0xdc]
+; NOVL-NEXT: vminsh %xmm3, %xmm4, %xmm3 # encoding: [0x62,0xf5,0x5e,0x08,0x5d,0xdb]
; NOVL-NEXT: vmovshdup %xmm1, %xmm4 # encoding: [0xc5,0xfa,0x16,0xe1]
; NOVL-NEXT: # xmm4 = xmm1[1,1,3,3]
; NOVL-NEXT: vmovshdup %xmm0, %xmm5 # encoding: [0xc5,0xfa,0x16,0xe8]
; NOVL-NEXT: # xmm5 = xmm0[1,1,3,3]
-; NOVL-NEXT: vcmpltsh %xmm4, %xmm5, %k1 # encoding: [0x62,0xf3,0x56,0x08,0xc2,0xcc,0x01]
-; NOVL-NEXT: vmovsh %xmm5, %xmm0, %xmm4 {%k1} # encoding: [0x62,0xf5,0x7e,0x09,0x10,0xe5]
+; NOVL-NEXT: vminsh %xmm4, %xmm5, %xmm4 # encoding: [0x62,0xf5,0x56,0x08,0x5d,0xe4]
; NOVL-NEXT: vpunpcklwd %xmm3, %xmm4, %xmm3 # encoding: [0xc5,0xd9,0x61,0xdb]
; NOVL-NEXT: # xmm3 = xmm4[0],xmm3[0],xmm4[1],xmm3[1],xmm4[2],xmm3[2],xmm4[3],xmm3[3]
-; NOVL-NEXT: vcmpltsh %xmm1, %xmm0, %k1 # encoding: [0x62,0xf3,0x7e,0x08,0xc2,0xc9,0x01]
-; NOVL-NEXT: vpsrld $16, %xmm1, %xmm4 # encoding: [0xc5,0xd9,0x72,0xd1,0x10]
-; NOVL-NEXT: vmovsh %xmm0, %xmm0, %xmm1 {%k1} # encoding: [0x62,0xf5,0x7e,0x09,0x10,0xc8]
+; NOVL-NEXT: vminsh %xmm1, %xmm0, %xmm4 # encoding: [0x62,0xf5,0x7e,0x08,0x5d,0xe1]
+; NOVL-NEXT: vpsrld $16, %xmm1, %xmm1 # encoding: [0xc5,0xf1,0x72,0xd1,0x10]
; NOVL-NEXT: vpsrld $16, %xmm0, %xmm0 # encoding: [0xc5,0xf9,0x72,0xd0,0x10]
-; NOVL-NEXT: vcmpltsh %xmm4, %xmm0, %k1 # encoding: [0x62,0xf3,0x7e,0x08,0xc2,0xcc,0x01]
-; NOVL-NEXT: vmovsh %xmm0, %xmm0, %xmm4 {%k1} # encoding: [0x62,0xf5,0x7e,0x09,0x10,0xe0]
-; NOVL-NEXT: vpunpcklwd %xmm4, %xmm1, %xmm0 # encoding: [0xc5,0xf1,0x61,0xc4]
-; NOVL-NEXT: # xmm0 = xmm1[0],xmm4[0],xmm1[1],xmm4[1],xmm1[2],xmm4[2],xmm1[3],xmm4[3]
+; NOVL-NEXT: vminsh %xmm1, %xmm0, %xmm0 # encoding: [0x62,0xf5,0x7e,0x08,0x5d,0xc1]
+; NOVL-NEXT: vpunpcklwd %xmm0, %xmm4, %xmm0 # encoding: [0xc5,0xd9,0x61,0xc0]
+; NOVL-NEXT: # xmm0 = xmm4[0],xmm0[0],xmm4[1],xmm0[1],xmm4[2],xmm0[2],xmm4[3],xmm0[3]
; NOVL-NEXT: vpunpckldq %xmm3, %xmm0, %xmm0 # encoding: [0xc5,0xf9,0x62,0xc3]
; NOVL-NEXT: # xmm0 = xmm0[0],xmm3[0],xmm0[1],xmm3[1]
; NOVL-NEXT: vpunpcklqdq %xmm2, %xmm0, %xmm0 # encoding: [0xc5,0xf9,0x6c,0xc2]
More information about the llvm-commits
mailing list