[llvm] e56c6f3 - [RISCV] Prevent lowerVectorStrictFSetcc from creatin an ISD::AND with identical operands.
Craig Topper via llvm-commits
llvm-commits at lists.llvm.org
Sat Apr 29 21:45:17 PDT 2023
Author: Craig Topper
Date: 2023-04-29T21:42:45-07:00
New Revision: e56c6f3a8ca8d90ae6c15b4323da390b895f47dc
URL: https://github.com/llvm/llvm-project/commit/e56c6f3a8ca8d90ae6c15b4323da390b895f47dc
DIFF: https://github.com/llvm/llvm-project/commit/e56c6f3a8ca8d90ae6c15b4323da390b895f47dc.diff
LOG: [RISCV] Prevent lowerVectorStrictFSetcc from creatin an ISD::AND with identical operands.
This AND immediately gets legalized to RISCVISD::VMAND_VL and we don't
yet have DAG combine to optimize that away. So this is a quick fix to
improve generated code.
Added:
Modified:
llvm/lib/Target/RISCV/RISCVISelLowering.cpp
llvm/test/CodeGen/RISCV/rvv/fixed-vectors-vfcmps-constrained-sdnode.ll
Removed:
################################################################################
diff --git a/llvm/lib/Target/RISCV/RISCVISelLowering.cpp b/llvm/lib/Target/RISCV/RISCVISelLowering.cpp
index 8f217425084a5..4ce687c0e513e 100644
--- a/llvm/lib/Target/RISCV/RISCVISelLowering.cpp
+++ b/llvm/lib/Target/RISCV/RISCVISelLowering.cpp
@@ -7786,10 +7786,12 @@ SDValue RISCVTargetLowering::lowerVectorStrictFSetcc(SDValue Op,
Op2, OLECCVal);
SDValue Tmp2 = DAG.getNode(ISD::STRICT_FSETCCS, DL, VTList, Chain, Op2,
Op1, OLECCVal);
- SDValue And = DAG.getNode(ISD::AND, DL, VT, Tmp1, Tmp2);
SDValue OutChain = DAG.getNode(ISD::TokenFactor, DL, MVT::Other,
Tmp1.getValue(1), Tmp2.getValue(1));
- return DAG.getMergeValues({And, OutChain}, DL);
+ // Tmp1 and Tmp2 might be the same node.
+ if (Tmp1 != Tmp2)
+ Tmp1 = DAG.getNode(ISD::AND, DL, VT, Tmp1, Tmp2);
+ return DAG.getMergeValues({Tmp1, OutChain}, DL);
}
// Expand (strict_fsetccs x, y, une) to (not (strict_fsetccs x, y, oeq))
diff --git a/llvm/test/CodeGen/RISCV/rvv/fixed-vectors-vfcmps-constrained-sdnode.ll b/llvm/test/CodeGen/RISCV/rvv/fixed-vectors-vfcmps-constrained-sdnode.ll
index d8e5468fedf6c..2046c51967037 100644
--- a/llvm/test/CodeGen/RISCV/rvv/fixed-vectors-vfcmps-constrained-sdnode.ll
+++ b/llvm/test/CodeGen/RISCV/rvv/fixed-vectors-vfcmps-constrained-sdnode.ll
@@ -226,9 +226,7 @@ define <1 x i1> @fcmps_ord_vv_v1f16(<1 x half> %va, <1 x half> %vb) nounwind str
; CHECK: # %bb.0:
; CHECK-NEXT: vsetivli zero, 1, e16, mf4, ta, ma
; CHECK-NEXT: vmfle.vv v9, v9, v9
-; CHECK-NEXT: vmmv.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
-; CHECK-NEXT: vmmv.m v8, v8
; CHECK-NEXT: vmand.mm v0, v8, v9
; CHECK-NEXT: ret
%1 = call <1 x i1> @llvm.experimental.constrained.fcmps.v1f16(<1 x half> %va, <1 x half> %vb, metadata !"ord", metadata !"fpexcept.strict") strictfp
@@ -241,9 +239,7 @@ define <1 x i1> @fcmps_ord_vf_v1f16(<1 x half> %va, half %b) nounwind strictfp {
; CHECK-NEXT: vsetivli zero, 1, e16, mf4, ta, ma
; CHECK-NEXT: vfmv.v.f v9, fa0
; CHECK-NEXT: vmfle.vf v9, v9, fa0
-; CHECK-NEXT: vmmv.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
-; CHECK-NEXT: vmmv.m v8, v8
; CHECK-NEXT: vmand.mm v0, v8, v9
; CHECK-NEXT: ret
%head = insertelement <1 x half> poison, half %b, i32 0
@@ -258,9 +254,7 @@ define <1 x i1> @fcmps_ord_fv_v1f16(<1 x half> %va, half %b) nounwind strictfp {
; CHECK-NEXT: vsetivli zero, 1, e16, mf4, ta, ma
; CHECK-NEXT: vfmv.v.f v9, fa0
; CHECK-NEXT: vmfle.vf v9, v9, fa0
-; CHECK-NEXT: vmmv.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
-; CHECK-NEXT: vmmv.m v8, v8
; CHECK-NEXT: vmand.mm v0, v9, v8
; CHECK-NEXT: ret
%head = insertelement <1 x half> poison, half %b, i32 0
@@ -502,7 +496,6 @@ define <1 x i1> @fcmps_uno_vv_v1f16(<1 x half> %va, <1 x half> %vb) nounwind str
; CHECK: # %bb.0:
; CHECK-NEXT: vsetivli zero, 1, e16, mf4, ta, ma
; CHECK-NEXT: vmfle.vv v9, v9, v9
-; CHECK-NEXT: vmmv.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
; CHECK-NEXT: vmnot.m v8, v8
; CHECK-NEXT: vmorn.mm v0, v8, v9
@@ -517,7 +510,6 @@ define <1 x i1> @fcmps_uno_vf_v1f16(<1 x half> %va, half %b) nounwind strictfp {
; CHECK-NEXT: vsetivli zero, 1, e16, mf4, ta, ma
; CHECK-NEXT: vfmv.v.f v9, fa0
; CHECK-NEXT: vmfle.vf v9, v9, fa0
-; CHECK-NEXT: vmmv.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
; CHECK-NEXT: vmnot.m v8, v8
; CHECK-NEXT: vmorn.mm v0, v8, v9
@@ -536,7 +528,6 @@ define <1 x i1> @fcmps_uno_fv_v1f16(<1 x half> %va, half %b) nounwind strictfp {
; CHECK-NEXT: vmfle.vf v9, v9, fa0
; CHECK-NEXT: vmnot.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
-; CHECK-NEXT: vmmv.m v8, v8
; CHECK-NEXT: vmorn.mm v0, v9, v8
; CHECK-NEXT: ret
%head = insertelement <1 x half> poison, half %b, i32 0
@@ -767,9 +758,7 @@ define <2 x i1> @fcmps_ord_vv_v2f16(<2 x half> %va, <2 x half> %vb) nounwind str
; CHECK: # %bb.0:
; CHECK-NEXT: vsetivli zero, 2, e16, mf4, ta, ma
; CHECK-NEXT: vmfle.vv v9, v9, v9
-; CHECK-NEXT: vmmv.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
-; CHECK-NEXT: vmmv.m v8, v8
; CHECK-NEXT: vmand.mm v0, v8, v9
; CHECK-NEXT: ret
%1 = call <2 x i1> @llvm.experimental.constrained.fcmps.v2f16(<2 x half> %va, <2 x half> %vb, metadata !"ord", metadata !"fpexcept.strict") strictfp
@@ -782,9 +771,7 @@ define <2 x i1> @fcmps_ord_vf_v2f16(<2 x half> %va, half %b) nounwind strictfp {
; CHECK-NEXT: vsetivli zero, 2, e16, mf4, ta, ma
; CHECK-NEXT: vfmv.v.f v9, fa0
; CHECK-NEXT: vmfle.vf v9, v9, fa0
-; CHECK-NEXT: vmmv.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
-; CHECK-NEXT: vmmv.m v8, v8
; CHECK-NEXT: vmand.mm v0, v8, v9
; CHECK-NEXT: ret
%head = insertelement <2 x half> poison, half %b, i32 0
@@ -799,9 +786,7 @@ define <2 x i1> @fcmps_ord_fv_v2f16(<2 x half> %va, half %b) nounwind strictfp {
; CHECK-NEXT: vsetivli zero, 2, e16, mf4, ta, ma
; CHECK-NEXT: vfmv.v.f v9, fa0
; CHECK-NEXT: vmfle.vf v9, v9, fa0
-; CHECK-NEXT: vmmv.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
-; CHECK-NEXT: vmmv.m v8, v8
; CHECK-NEXT: vmand.mm v0, v9, v8
; CHECK-NEXT: ret
%head = insertelement <2 x half> poison, half %b, i32 0
@@ -1043,7 +1028,6 @@ define <2 x i1> @fcmps_uno_vv_v2f16(<2 x half> %va, <2 x half> %vb) nounwind str
; CHECK: # %bb.0:
; CHECK-NEXT: vsetivli zero, 2, e16, mf4, ta, ma
; CHECK-NEXT: vmfle.vv v9, v9, v9
-; CHECK-NEXT: vmmv.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
; CHECK-NEXT: vmnot.m v8, v8
; CHECK-NEXT: vmorn.mm v0, v8, v9
@@ -1058,7 +1042,6 @@ define <2 x i1> @fcmps_uno_vf_v2f16(<2 x half> %va, half %b) nounwind strictfp {
; CHECK-NEXT: vsetivli zero, 2, e16, mf4, ta, ma
; CHECK-NEXT: vfmv.v.f v9, fa0
; CHECK-NEXT: vmfle.vf v9, v9, fa0
-; CHECK-NEXT: vmmv.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
; CHECK-NEXT: vmnot.m v8, v8
; CHECK-NEXT: vmorn.mm v0, v8, v9
@@ -1077,7 +1060,6 @@ define <2 x i1> @fcmps_uno_fv_v2f16(<2 x half> %va, half %b) nounwind strictfp {
; CHECK-NEXT: vmfle.vf v9, v9, fa0
; CHECK-NEXT: vmnot.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
-; CHECK-NEXT: vmmv.m v8, v8
; CHECK-NEXT: vmorn.mm v0, v9, v8
; CHECK-NEXT: ret
%head = insertelement <2 x half> poison, half %b, i32 0
@@ -1308,9 +1290,7 @@ define <4 x i1> @fcmps_ord_vv_v4f16(<4 x half> %va, <4 x half> %vb) nounwind str
; CHECK: # %bb.0:
; CHECK-NEXT: vsetivli zero, 4, e16, mf2, ta, ma
; CHECK-NEXT: vmfle.vv v9, v9, v9
-; CHECK-NEXT: vmmv.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
-; CHECK-NEXT: vmmv.m v8, v8
; CHECK-NEXT: vmand.mm v0, v8, v9
; CHECK-NEXT: ret
%1 = call <4 x i1> @llvm.experimental.constrained.fcmps.v4f16(<4 x half> %va, <4 x half> %vb, metadata !"ord", metadata !"fpexcept.strict") strictfp
@@ -1323,9 +1303,7 @@ define <4 x i1> @fcmps_ord_vf_v4f16(<4 x half> %va, half %b) nounwind strictfp {
; CHECK-NEXT: vsetivli zero, 4, e16, mf2, ta, ma
; CHECK-NEXT: vfmv.v.f v9, fa0
; CHECK-NEXT: vmfle.vf v9, v9, fa0
-; CHECK-NEXT: vmmv.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
-; CHECK-NEXT: vmmv.m v8, v8
; CHECK-NEXT: vmand.mm v0, v8, v9
; CHECK-NEXT: ret
%head = insertelement <4 x half> poison, half %b, i32 0
@@ -1340,9 +1318,7 @@ define <4 x i1> @fcmps_ord_fv_v4f16(<4 x half> %va, half %b) nounwind strictfp {
; CHECK-NEXT: vsetivli zero, 4, e16, mf2, ta, ma
; CHECK-NEXT: vfmv.v.f v9, fa0
; CHECK-NEXT: vmfle.vf v9, v9, fa0
-; CHECK-NEXT: vmmv.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
-; CHECK-NEXT: vmmv.m v8, v8
; CHECK-NEXT: vmand.mm v0, v9, v8
; CHECK-NEXT: ret
%head = insertelement <4 x half> poison, half %b, i32 0
@@ -1584,7 +1560,6 @@ define <4 x i1> @fcmps_uno_vv_v4f16(<4 x half> %va, <4 x half> %vb) nounwind str
; CHECK: # %bb.0:
; CHECK-NEXT: vsetivli zero, 4, e16, mf2, ta, ma
; CHECK-NEXT: vmfle.vv v9, v9, v9
-; CHECK-NEXT: vmmv.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
; CHECK-NEXT: vmnot.m v8, v8
; CHECK-NEXT: vmorn.mm v0, v8, v9
@@ -1599,7 +1574,6 @@ define <4 x i1> @fcmps_uno_vf_v4f16(<4 x half> %va, half %b) nounwind strictfp {
; CHECK-NEXT: vsetivli zero, 4, e16, mf2, ta, ma
; CHECK-NEXT: vfmv.v.f v9, fa0
; CHECK-NEXT: vmfle.vf v9, v9, fa0
-; CHECK-NEXT: vmmv.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
; CHECK-NEXT: vmnot.m v8, v8
; CHECK-NEXT: vmorn.mm v0, v8, v9
@@ -1618,7 +1592,6 @@ define <4 x i1> @fcmps_uno_fv_v4f16(<4 x half> %va, half %b) nounwind strictfp {
; CHECK-NEXT: vmfle.vf v9, v9, fa0
; CHECK-NEXT: vmnot.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
-; CHECK-NEXT: vmmv.m v8, v8
; CHECK-NEXT: vmorn.mm v0, v9, v8
; CHECK-NEXT: ret
%head = insertelement <4 x half> poison, half %b, i32 0
@@ -1849,9 +1822,7 @@ define <8 x i1> @fcmps_ord_vv_v8f16(<8 x half> %va, <8 x half> %vb) nounwind str
; CHECK: # %bb.0:
; CHECK-NEXT: vsetivli zero, 8, e16, m1, ta, ma
; CHECK-NEXT: vmfle.vv v9, v9, v9
-; CHECK-NEXT: vmmv.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
-; CHECK-NEXT: vmmv.m v8, v8
; CHECK-NEXT: vmand.mm v0, v8, v9
; CHECK-NEXT: ret
%1 = call <8 x i1> @llvm.experimental.constrained.fcmps.v8f16(<8 x half> %va, <8 x half> %vb, metadata !"ord", metadata !"fpexcept.strict") strictfp
@@ -1864,9 +1835,7 @@ define <8 x i1> @fcmps_ord_vf_v8f16(<8 x half> %va, half %b) nounwind strictfp {
; CHECK-NEXT: vsetivli zero, 8, e16, m1, ta, ma
; CHECK-NEXT: vfmv.v.f v9, fa0
; CHECK-NEXT: vmfle.vf v9, v9, fa0
-; CHECK-NEXT: vmmv.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
-; CHECK-NEXT: vmmv.m v8, v8
; CHECK-NEXT: vmand.mm v0, v8, v9
; CHECK-NEXT: ret
%head = insertelement <8 x half> poison, half %b, i32 0
@@ -1881,9 +1850,7 @@ define <8 x i1> @fcmps_ord_fv_v8f16(<8 x half> %va, half %b) nounwind strictfp {
; CHECK-NEXT: vsetivli zero, 8, e16, m1, ta, ma
; CHECK-NEXT: vfmv.v.f v9, fa0
; CHECK-NEXT: vmfle.vf v9, v9, fa0
-; CHECK-NEXT: vmmv.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
-; CHECK-NEXT: vmmv.m v8, v8
; CHECK-NEXT: vmand.mm v0, v9, v8
; CHECK-NEXT: ret
%head = insertelement <8 x half> poison, half %b, i32 0
@@ -2125,7 +2092,6 @@ define <8 x i1> @fcmps_uno_vv_v8f16(<8 x half> %va, <8 x half> %vb) nounwind str
; CHECK: # %bb.0:
; CHECK-NEXT: vsetivli zero, 8, e16, m1, ta, ma
; CHECK-NEXT: vmfle.vv v9, v9, v9
-; CHECK-NEXT: vmmv.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
; CHECK-NEXT: vmnot.m v8, v8
; CHECK-NEXT: vmorn.mm v0, v8, v9
@@ -2140,7 +2106,6 @@ define <8 x i1> @fcmps_uno_vf_v8f16(<8 x half> %va, half %b) nounwind strictfp {
; CHECK-NEXT: vsetivli zero, 8, e16, m1, ta, ma
; CHECK-NEXT: vfmv.v.f v9, fa0
; CHECK-NEXT: vmfle.vf v9, v9, fa0
-; CHECK-NEXT: vmmv.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
; CHECK-NEXT: vmnot.m v8, v8
; CHECK-NEXT: vmorn.mm v0, v8, v9
@@ -2159,7 +2124,6 @@ define <8 x i1> @fcmps_uno_fv_v8f16(<8 x half> %va, half %b) nounwind strictfp {
; CHECK-NEXT: vmfle.vf v9, v9, fa0
; CHECK-NEXT: vmnot.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
-; CHECK-NEXT: vmmv.m v8, v8
; CHECK-NEXT: vmorn.mm v0, v9, v8
; CHECK-NEXT: ret
%head = insertelement <8 x half> poison, half %b, i32 0
@@ -2390,10 +2354,8 @@ define <16 x i1> @fcmps_ord_vv_v16f16(<16 x half> %va, <16 x half> %vb) nounwind
; CHECK: # %bb.0:
; CHECK-NEXT: vsetivli zero, 16, e16, m2, ta, ma
; CHECK-NEXT: vmfle.vv v12, v10, v10
-; CHECK-NEXT: vmmv.m v10, v12
-; CHECK-NEXT: vmfle.vv v11, v8, v8
-; CHECK-NEXT: vmmv.m v8, v11
-; CHECK-NEXT: vmand.mm v0, v8, v10
+; CHECK-NEXT: vmfle.vv v10, v8, v8
+; CHECK-NEXT: vmand.mm v0, v10, v12
; CHECK-NEXT: ret
%1 = call <16 x i1> @llvm.experimental.constrained.fcmps.v16f16(<16 x half> %va, <16 x half> %vb, metadata !"ord", metadata !"fpexcept.strict") strictfp
ret <16 x i1> %1
@@ -2405,10 +2367,8 @@ define <16 x i1> @fcmps_ord_vf_v16f16(<16 x half> %va, half %b) nounwind strictf
; CHECK-NEXT: vsetivli zero, 16, e16, m2, ta, ma
; CHECK-NEXT: vfmv.v.f v10, fa0
; CHECK-NEXT: vmfle.vf v12, v10, fa0
-; CHECK-NEXT: vmmv.m v10, v12
-; CHECK-NEXT: vmfle.vv v11, v8, v8
-; CHECK-NEXT: vmmv.m v8, v11
-; CHECK-NEXT: vmand.mm v0, v8, v10
+; CHECK-NEXT: vmfle.vv v10, v8, v8
+; CHECK-NEXT: vmand.mm v0, v10, v12
; CHECK-NEXT: ret
%head = insertelement <16 x half> poison, half %b, i32 0
%splat = shufflevector <16 x half> %head, <16 x half> poison, <16 x i32> zeroinitializer
@@ -2422,10 +2382,8 @@ define <16 x i1> @fcmps_ord_fv_v16f16(<16 x half> %va, half %b) nounwind strictf
; CHECK-NEXT: vsetivli zero, 16, e16, m2, ta, ma
; CHECK-NEXT: vfmv.v.f v10, fa0
; CHECK-NEXT: vmfle.vf v12, v10, fa0
-; CHECK-NEXT: vmmv.m v10, v12
-; CHECK-NEXT: vmfle.vv v11, v8, v8
-; CHECK-NEXT: vmmv.m v8, v11
-; CHECK-NEXT: vmand.mm v0, v10, v8
+; CHECK-NEXT: vmfle.vv v10, v8, v8
+; CHECK-NEXT: vmand.mm v0, v12, v10
; CHECK-NEXT: ret
%head = insertelement <16 x half> poison, half %b, i32 0
%splat = shufflevector <16 x half> %head, <16 x half> poison, <16 x i32> zeroinitializer
@@ -2666,10 +2624,9 @@ define <16 x i1> @fcmps_uno_vv_v16f16(<16 x half> %va, <16 x half> %vb) nounwind
; CHECK: # %bb.0:
; CHECK-NEXT: vsetivli zero, 16, e16, m2, ta, ma
; CHECK-NEXT: vmfle.vv v12, v10, v10
-; CHECK-NEXT: vmmv.m v10, v12
-; CHECK-NEXT: vmfle.vv v11, v8, v8
-; CHECK-NEXT: vmnot.m v8, v11
-; CHECK-NEXT: vmorn.mm v0, v8, v10
+; CHECK-NEXT: vmfle.vv v10, v8, v8
+; CHECK-NEXT: vmnot.m v8, v10
+; CHECK-NEXT: vmorn.mm v0, v8, v12
; CHECK-NEXT: ret
%1 = call <16 x i1> @llvm.experimental.constrained.fcmps.v16f16(<16 x half> %va, <16 x half> %vb, metadata !"uno", metadata !"fpexcept.strict") strictfp
ret <16 x i1> %1
@@ -2681,10 +2638,9 @@ define <16 x i1> @fcmps_uno_vf_v16f16(<16 x half> %va, half %b) nounwind strictf
; CHECK-NEXT: vsetivli zero, 16, e16, m2, ta, ma
; CHECK-NEXT: vfmv.v.f v10, fa0
; CHECK-NEXT: vmfle.vf v12, v10, fa0
-; CHECK-NEXT: vmmv.m v10, v12
-; CHECK-NEXT: vmfle.vv v11, v8, v8
-; CHECK-NEXT: vmnot.m v8, v11
-; CHECK-NEXT: vmorn.mm v0, v8, v10
+; CHECK-NEXT: vmfle.vv v10, v8, v8
+; CHECK-NEXT: vmnot.m v8, v10
+; CHECK-NEXT: vmorn.mm v0, v8, v12
; CHECK-NEXT: ret
%head = insertelement <16 x half> poison, half %b, i32 0
%splat = shufflevector <16 x half> %head, <16 x half> poison, <16 x i32> zeroinitializer
@@ -2700,8 +2656,7 @@ define <16 x i1> @fcmps_uno_fv_v16f16(<16 x half> %va, half %b) nounwind strictf
; CHECK-NEXT: vmfle.vf v12, v10, fa0
; CHECK-NEXT: vmnot.m v10, v12
; CHECK-NEXT: vmfle.vv v11, v8, v8
-; CHECK-NEXT: vmmv.m v8, v11
-; CHECK-NEXT: vmorn.mm v0, v10, v8
+; CHECK-NEXT: vmorn.mm v0, v10, v11
; CHECK-NEXT: ret
%head = insertelement <16 x half> poison, half %b, i32 0
%splat = shufflevector <16 x half> %head, <16 x half> poison, <16 x i32> zeroinitializer
@@ -2950,10 +2905,8 @@ define <32 x i1> @fcmps_ord_vv_v32f16(<32 x half> %va, <32 x half> %vb) nounwind
; CHECK-NEXT: li a0, 32
; CHECK-NEXT: vsetvli zero, a0, e16, m4, ta, ma
; CHECK-NEXT: vmfle.vv v16, v12, v12
-; CHECK-NEXT: vmmv.m v12, v16
-; CHECK-NEXT: vmfle.vv v13, v8, v8
-; CHECK-NEXT: vmmv.m v8, v13
-; CHECK-NEXT: vmand.mm v0, v8, v12
+; CHECK-NEXT: vmfle.vv v12, v8, v8
+; CHECK-NEXT: vmand.mm v0, v12, v16
; CHECK-NEXT: ret
%1 = call <32 x i1> @llvm.experimental.constrained.fcmps.v32f16(<32 x half> %va, <32 x half> %vb, metadata !"ord", metadata !"fpexcept.strict") strictfp
ret <32 x i1> %1
@@ -2966,10 +2919,8 @@ define <32 x i1> @fcmps_ord_vf_v32f16(<32 x half> %va, half %b) nounwind strictf
; CHECK-NEXT: vsetvli zero, a0, e16, m4, ta, ma
; CHECK-NEXT: vfmv.v.f v12, fa0
; CHECK-NEXT: vmfle.vf v16, v12, fa0
-; CHECK-NEXT: vmmv.m v12, v16
-; CHECK-NEXT: vmfle.vv v13, v8, v8
-; CHECK-NEXT: vmmv.m v8, v13
-; CHECK-NEXT: vmand.mm v0, v8, v12
+; CHECK-NEXT: vmfle.vv v12, v8, v8
+; CHECK-NEXT: vmand.mm v0, v12, v16
; CHECK-NEXT: ret
%head = insertelement <32 x half> poison, half %b, i32 0
%splat = shufflevector <32 x half> %head, <32 x half> poison, <32 x i32> zeroinitializer
@@ -2983,11 +2934,9 @@ define <32 x i1> @fcmps_ord_fv_v32f16(<32 x half> %va, half %b) nounwind strictf
; CHECK-NEXT: li a0, 32
; CHECK-NEXT: vsetvli zero, a0, e16, m4, ta, ma
; CHECK-NEXT: vfmv.v.f v12, fa0
-; CHECK-NEXT: vmfle.vv v16, v8, v8
-; CHECK-NEXT: vmmv.m v8, v16
-; CHECK-NEXT: vmfle.vf v9, v12, fa0
-; CHECK-NEXT: vmmv.m v9, v9
-; CHECK-NEXT: vmand.mm v0, v9, v8
+; CHECK-NEXT: vmfle.vf v16, v12, fa0
+; CHECK-NEXT: vmfle.vv v12, v8, v8
+; CHECK-NEXT: vmand.mm v0, v16, v12
; CHECK-NEXT: ret
%head = insertelement <32 x half> poison, half %b, i32 0
%splat = shufflevector <32 x half> %head, <32 x half> poison, <32 x i32> zeroinitializer
@@ -3247,10 +3196,9 @@ define <32 x i1> @fcmps_uno_vv_v32f16(<32 x half> %va, <32 x half> %vb) nounwind
; CHECK-NEXT: li a0, 32
; CHECK-NEXT: vsetvli zero, a0, e16, m4, ta, ma
; CHECK-NEXT: vmfle.vv v16, v12, v12
-; CHECK-NEXT: vmmv.m v12, v16
-; CHECK-NEXT: vmfle.vv v13, v8, v8
-; CHECK-NEXT: vmnot.m v8, v13
-; CHECK-NEXT: vmorn.mm v0, v8, v12
+; CHECK-NEXT: vmfle.vv v12, v8, v8
+; CHECK-NEXT: vmnot.m v8, v12
+; CHECK-NEXT: vmorn.mm v0, v8, v16
; CHECK-NEXT: ret
%1 = call <32 x i1> @llvm.experimental.constrained.fcmps.v32f16(<32 x half> %va, <32 x half> %vb, metadata !"uno", metadata !"fpexcept.strict") strictfp
ret <32 x i1> %1
@@ -3263,10 +3211,9 @@ define <32 x i1> @fcmps_uno_vf_v32f16(<32 x half> %va, half %b) nounwind strictf
; CHECK-NEXT: vsetvli zero, a0, e16, m4, ta, ma
; CHECK-NEXT: vfmv.v.f v12, fa0
; CHECK-NEXT: vmfle.vf v16, v12, fa0
-; CHECK-NEXT: vmmv.m v12, v16
-; CHECK-NEXT: vmfle.vv v13, v8, v8
-; CHECK-NEXT: vmnot.m v8, v13
-; CHECK-NEXT: vmorn.mm v0, v8, v12
+; CHECK-NEXT: vmfle.vv v12, v8, v8
+; CHECK-NEXT: vmnot.m v8, v12
+; CHECK-NEXT: vmorn.mm v0, v8, v16
; CHECK-NEXT: ret
%head = insertelement <32 x half> poison, half %b, i32 0
%splat = shufflevector <32 x half> %head, <32 x half> poison, <32 x i32> zeroinitializer
@@ -3281,10 +3228,9 @@ define <32 x i1> @fcmps_uno_fv_v32f16(<32 x half> %va, half %b) nounwind strictf
; CHECK-NEXT: vsetvli zero, a0, e16, m4, ta, ma
; CHECK-NEXT: vfmv.v.f v12, fa0
; CHECK-NEXT: vmfle.vv v16, v8, v8
-; CHECK-NEXT: vmmv.m v8, v16
-; CHECK-NEXT: vmfle.vf v9, v12, fa0
-; CHECK-NEXT: vmnot.m v9, v9
-; CHECK-NEXT: vmorn.mm v0, v9, v8
+; CHECK-NEXT: vmfle.vf v8, v12, fa0
+; CHECK-NEXT: vmnot.m v8, v8
+; CHECK-NEXT: vmorn.mm v0, v8, v16
; CHECK-NEXT: ret
%head = insertelement <32 x half> poison, half %b, i32 0
%splat = shufflevector <32 x half> %head, <32 x half> poison, <32 x i32> zeroinitializer
@@ -3514,9 +3460,7 @@ define <1 x i1> @fcmps_ord_vv_v1f32(<1 x float> %va, <1 x float> %vb) nounwind s
; CHECK: # %bb.0:
; CHECK-NEXT: vsetivli zero, 1, e32, mf2, ta, ma
; CHECK-NEXT: vmfle.vv v9, v9, v9
-; CHECK-NEXT: vmmv.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
-; CHECK-NEXT: vmmv.m v8, v8
; CHECK-NEXT: vmand.mm v0, v8, v9
; CHECK-NEXT: ret
%1 = call <1 x i1> @llvm.experimental.constrained.fcmps.v1f32(<1 x float> %va, <1 x float> %vb, metadata !"ord", metadata !"fpexcept.strict") strictfp
@@ -3529,9 +3473,7 @@ define <1 x i1> @fcmps_ord_vf_v1f32(<1 x float> %va, float %b) nounwind strictfp
; CHECK-NEXT: vsetivli zero, 1, e32, mf2, ta, ma
; CHECK-NEXT: vfmv.v.f v9, fa0
; CHECK-NEXT: vmfle.vf v9, v9, fa0
-; CHECK-NEXT: vmmv.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
-; CHECK-NEXT: vmmv.m v8, v8
; CHECK-NEXT: vmand.mm v0, v8, v9
; CHECK-NEXT: ret
%head = insertelement <1 x float> poison, float %b, i32 0
@@ -3546,9 +3488,7 @@ define <1 x i1> @fcmps_ord_fv_v1f32(<1 x float> %va, float %b) nounwind strictfp
; CHECK-NEXT: vsetivli zero, 1, e32, mf2, ta, ma
; CHECK-NEXT: vfmv.v.f v9, fa0
; CHECK-NEXT: vmfle.vf v9, v9, fa0
-; CHECK-NEXT: vmmv.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
-; CHECK-NEXT: vmmv.m v8, v8
; CHECK-NEXT: vmand.mm v0, v9, v8
; CHECK-NEXT: ret
%head = insertelement <1 x float> poison, float %b, i32 0
@@ -3790,7 +3730,6 @@ define <1 x i1> @fcmps_uno_vv_v1f32(<1 x float> %va, <1 x float> %vb) nounwind s
; CHECK: # %bb.0:
; CHECK-NEXT: vsetivli zero, 1, e32, mf2, ta, ma
; CHECK-NEXT: vmfle.vv v9, v9, v9
-; CHECK-NEXT: vmmv.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
; CHECK-NEXT: vmnot.m v8, v8
; CHECK-NEXT: vmorn.mm v0, v8, v9
@@ -3805,7 +3744,6 @@ define <1 x i1> @fcmps_uno_vf_v1f32(<1 x float> %va, float %b) nounwind strictfp
; CHECK-NEXT: vsetivli zero, 1, e32, mf2, ta, ma
; CHECK-NEXT: vfmv.v.f v9, fa0
; CHECK-NEXT: vmfle.vf v9, v9, fa0
-; CHECK-NEXT: vmmv.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
; CHECK-NEXT: vmnot.m v8, v8
; CHECK-NEXT: vmorn.mm v0, v8, v9
@@ -3824,7 +3762,6 @@ define <1 x i1> @fcmps_uno_fv_v1f32(<1 x float> %va, float %b) nounwind strictfp
; CHECK-NEXT: vmfle.vf v9, v9, fa0
; CHECK-NEXT: vmnot.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
-; CHECK-NEXT: vmmv.m v8, v8
; CHECK-NEXT: vmorn.mm v0, v9, v8
; CHECK-NEXT: ret
%head = insertelement <1 x float> poison, float %b, i32 0
@@ -4055,9 +3992,7 @@ define <2 x i1> @fcmps_ord_vv_v2f32(<2 x float> %va, <2 x float> %vb) nounwind s
; CHECK: # %bb.0:
; CHECK-NEXT: vsetivli zero, 2, e32, mf2, ta, ma
; CHECK-NEXT: vmfle.vv v9, v9, v9
-; CHECK-NEXT: vmmv.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
-; CHECK-NEXT: vmmv.m v8, v8
; CHECK-NEXT: vmand.mm v0, v8, v9
; CHECK-NEXT: ret
%1 = call <2 x i1> @llvm.experimental.constrained.fcmps.v2f32(<2 x float> %va, <2 x float> %vb, metadata !"ord", metadata !"fpexcept.strict") strictfp
@@ -4070,9 +4005,7 @@ define <2 x i1> @fcmps_ord_vf_v2f32(<2 x float> %va, float %b) nounwind strictfp
; CHECK-NEXT: vsetivli zero, 2, e32, mf2, ta, ma
; CHECK-NEXT: vfmv.v.f v9, fa0
; CHECK-NEXT: vmfle.vf v9, v9, fa0
-; CHECK-NEXT: vmmv.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
-; CHECK-NEXT: vmmv.m v8, v8
; CHECK-NEXT: vmand.mm v0, v8, v9
; CHECK-NEXT: ret
%head = insertelement <2 x float> poison, float %b, i32 0
@@ -4087,9 +4020,7 @@ define <2 x i1> @fcmps_ord_fv_v2f32(<2 x float> %va, float %b) nounwind strictfp
; CHECK-NEXT: vsetivli zero, 2, e32, mf2, ta, ma
; CHECK-NEXT: vfmv.v.f v9, fa0
; CHECK-NEXT: vmfle.vf v9, v9, fa0
-; CHECK-NEXT: vmmv.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
-; CHECK-NEXT: vmmv.m v8, v8
; CHECK-NEXT: vmand.mm v0, v9, v8
; CHECK-NEXT: ret
%head = insertelement <2 x float> poison, float %b, i32 0
@@ -4331,7 +4262,6 @@ define <2 x i1> @fcmps_uno_vv_v2f32(<2 x float> %va, <2 x float> %vb) nounwind s
; CHECK: # %bb.0:
; CHECK-NEXT: vsetivli zero, 2, e32, mf2, ta, ma
; CHECK-NEXT: vmfle.vv v9, v9, v9
-; CHECK-NEXT: vmmv.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
; CHECK-NEXT: vmnot.m v8, v8
; CHECK-NEXT: vmorn.mm v0, v8, v9
@@ -4346,7 +4276,6 @@ define <2 x i1> @fcmps_uno_vf_v2f32(<2 x float> %va, float %b) nounwind strictfp
; CHECK-NEXT: vsetivli zero, 2, e32, mf2, ta, ma
; CHECK-NEXT: vfmv.v.f v9, fa0
; CHECK-NEXT: vmfle.vf v9, v9, fa0
-; CHECK-NEXT: vmmv.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
; CHECK-NEXT: vmnot.m v8, v8
; CHECK-NEXT: vmorn.mm v0, v8, v9
@@ -4365,7 +4294,6 @@ define <2 x i1> @fcmps_uno_fv_v2f32(<2 x float> %va, float %b) nounwind strictfp
; CHECK-NEXT: vmfle.vf v9, v9, fa0
; CHECK-NEXT: vmnot.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
-; CHECK-NEXT: vmmv.m v8, v8
; CHECK-NEXT: vmorn.mm v0, v9, v8
; CHECK-NEXT: ret
%head = insertelement <2 x float> poison, float %b, i32 0
@@ -4596,9 +4524,7 @@ define <4 x i1> @fcmps_ord_vv_v4f32(<4 x float> %va, <4 x float> %vb) nounwind s
; CHECK: # %bb.0:
; CHECK-NEXT: vsetivli zero, 4, e32, m1, ta, ma
; CHECK-NEXT: vmfle.vv v9, v9, v9
-; CHECK-NEXT: vmmv.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
-; CHECK-NEXT: vmmv.m v8, v8
; CHECK-NEXT: vmand.mm v0, v8, v9
; CHECK-NEXT: ret
%1 = call <4 x i1> @llvm.experimental.constrained.fcmps.v4f32(<4 x float> %va, <4 x float> %vb, metadata !"ord", metadata !"fpexcept.strict") strictfp
@@ -4611,9 +4537,7 @@ define <4 x i1> @fcmps_ord_vf_v4f32(<4 x float> %va, float %b) nounwind strictfp
; CHECK-NEXT: vsetivli zero, 4, e32, m1, ta, ma
; CHECK-NEXT: vfmv.v.f v9, fa0
; CHECK-NEXT: vmfle.vf v9, v9, fa0
-; CHECK-NEXT: vmmv.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
-; CHECK-NEXT: vmmv.m v8, v8
; CHECK-NEXT: vmand.mm v0, v8, v9
; CHECK-NEXT: ret
%head = insertelement <4 x float> poison, float %b, i32 0
@@ -4628,9 +4552,7 @@ define <4 x i1> @fcmps_ord_fv_v4f32(<4 x float> %va, float %b) nounwind strictfp
; CHECK-NEXT: vsetivli zero, 4, e32, m1, ta, ma
; CHECK-NEXT: vfmv.v.f v9, fa0
; CHECK-NEXT: vmfle.vf v9, v9, fa0
-; CHECK-NEXT: vmmv.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
-; CHECK-NEXT: vmmv.m v8, v8
; CHECK-NEXT: vmand.mm v0, v9, v8
; CHECK-NEXT: ret
%head = insertelement <4 x float> poison, float %b, i32 0
@@ -4872,7 +4794,6 @@ define <4 x i1> @fcmps_uno_vv_v4f32(<4 x float> %va, <4 x float> %vb) nounwind s
; CHECK: # %bb.0:
; CHECK-NEXT: vsetivli zero, 4, e32, m1, ta, ma
; CHECK-NEXT: vmfle.vv v9, v9, v9
-; CHECK-NEXT: vmmv.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
; CHECK-NEXT: vmnot.m v8, v8
; CHECK-NEXT: vmorn.mm v0, v8, v9
@@ -4887,7 +4808,6 @@ define <4 x i1> @fcmps_uno_vf_v4f32(<4 x float> %va, float %b) nounwind strictfp
; CHECK-NEXT: vsetivli zero, 4, e32, m1, ta, ma
; CHECK-NEXT: vfmv.v.f v9, fa0
; CHECK-NEXT: vmfle.vf v9, v9, fa0
-; CHECK-NEXT: vmmv.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
; CHECK-NEXT: vmnot.m v8, v8
; CHECK-NEXT: vmorn.mm v0, v8, v9
@@ -4906,7 +4826,6 @@ define <4 x i1> @fcmps_uno_fv_v4f32(<4 x float> %va, float %b) nounwind strictfp
; CHECK-NEXT: vmfle.vf v9, v9, fa0
; CHECK-NEXT: vmnot.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
-; CHECK-NEXT: vmmv.m v8, v8
; CHECK-NEXT: vmorn.mm v0, v9, v8
; CHECK-NEXT: ret
%head = insertelement <4 x float> poison, float %b, i32 0
@@ -5137,10 +5056,8 @@ define <8 x i1> @fcmps_ord_vv_v8f32(<8 x float> %va, <8 x float> %vb) nounwind s
; CHECK: # %bb.0:
; CHECK-NEXT: vsetivli zero, 8, e32, m2, ta, ma
; CHECK-NEXT: vmfle.vv v12, v10, v10
-; CHECK-NEXT: vmmv.m v10, v12
-; CHECK-NEXT: vmfle.vv v11, v8, v8
-; CHECK-NEXT: vmmv.m v8, v11
-; CHECK-NEXT: vmand.mm v0, v8, v10
+; CHECK-NEXT: vmfle.vv v10, v8, v8
+; CHECK-NEXT: vmand.mm v0, v10, v12
; CHECK-NEXT: ret
%1 = call <8 x i1> @llvm.experimental.constrained.fcmps.v8f32(<8 x float> %va, <8 x float> %vb, metadata !"ord", metadata !"fpexcept.strict") strictfp
ret <8 x i1> %1
@@ -5152,10 +5069,8 @@ define <8 x i1> @fcmps_ord_vf_v8f32(<8 x float> %va, float %b) nounwind strictfp
; CHECK-NEXT: vsetivli zero, 8, e32, m2, ta, ma
; CHECK-NEXT: vfmv.v.f v10, fa0
; CHECK-NEXT: vmfle.vf v12, v10, fa0
-; CHECK-NEXT: vmmv.m v10, v12
-; CHECK-NEXT: vmfle.vv v11, v8, v8
-; CHECK-NEXT: vmmv.m v8, v11
-; CHECK-NEXT: vmand.mm v0, v8, v10
+; CHECK-NEXT: vmfle.vv v10, v8, v8
+; CHECK-NEXT: vmand.mm v0, v10, v12
; CHECK-NEXT: ret
%head = insertelement <8 x float> poison, float %b, i32 0
%splat = shufflevector <8 x float> %head, <8 x float> poison, <8 x i32> zeroinitializer
@@ -5169,10 +5084,8 @@ define <8 x i1> @fcmps_ord_fv_v8f32(<8 x float> %va, float %b) nounwind strictfp
; CHECK-NEXT: vsetivli zero, 8, e32, m2, ta, ma
; CHECK-NEXT: vfmv.v.f v10, fa0
; CHECK-NEXT: vmfle.vf v12, v10, fa0
-; CHECK-NEXT: vmmv.m v10, v12
-; CHECK-NEXT: vmfle.vv v11, v8, v8
-; CHECK-NEXT: vmmv.m v8, v11
-; CHECK-NEXT: vmand.mm v0, v10, v8
+; CHECK-NEXT: vmfle.vv v10, v8, v8
+; CHECK-NEXT: vmand.mm v0, v12, v10
; CHECK-NEXT: ret
%head = insertelement <8 x float> poison, float %b, i32 0
%splat = shufflevector <8 x float> %head, <8 x float> poison, <8 x i32> zeroinitializer
@@ -5413,10 +5326,9 @@ define <8 x i1> @fcmps_uno_vv_v8f32(<8 x float> %va, <8 x float> %vb) nounwind s
; CHECK: # %bb.0:
; CHECK-NEXT: vsetivli zero, 8, e32, m2, ta, ma
; CHECK-NEXT: vmfle.vv v12, v10, v10
-; CHECK-NEXT: vmmv.m v10, v12
-; CHECK-NEXT: vmfle.vv v11, v8, v8
-; CHECK-NEXT: vmnot.m v8, v11
-; CHECK-NEXT: vmorn.mm v0, v8, v10
+; CHECK-NEXT: vmfle.vv v10, v8, v8
+; CHECK-NEXT: vmnot.m v8, v10
+; CHECK-NEXT: vmorn.mm v0, v8, v12
; CHECK-NEXT: ret
%1 = call <8 x i1> @llvm.experimental.constrained.fcmps.v8f32(<8 x float> %va, <8 x float> %vb, metadata !"uno", metadata !"fpexcept.strict") strictfp
ret <8 x i1> %1
@@ -5428,10 +5340,9 @@ define <8 x i1> @fcmps_uno_vf_v8f32(<8 x float> %va, float %b) nounwind strictfp
; CHECK-NEXT: vsetivli zero, 8, e32, m2, ta, ma
; CHECK-NEXT: vfmv.v.f v10, fa0
; CHECK-NEXT: vmfle.vf v12, v10, fa0
-; CHECK-NEXT: vmmv.m v10, v12
-; CHECK-NEXT: vmfle.vv v11, v8, v8
-; CHECK-NEXT: vmnot.m v8, v11
-; CHECK-NEXT: vmorn.mm v0, v8, v10
+; CHECK-NEXT: vmfle.vv v10, v8, v8
+; CHECK-NEXT: vmnot.m v8, v10
+; CHECK-NEXT: vmorn.mm v0, v8, v12
; CHECK-NEXT: ret
%head = insertelement <8 x float> poison, float %b, i32 0
%splat = shufflevector <8 x float> %head, <8 x float> poison, <8 x i32> zeroinitializer
@@ -5447,8 +5358,7 @@ define <8 x i1> @fcmps_uno_fv_v8f32(<8 x float> %va, float %b) nounwind strictfp
; CHECK-NEXT: vmfle.vf v12, v10, fa0
; CHECK-NEXT: vmnot.m v10, v12
; CHECK-NEXT: vmfle.vv v11, v8, v8
-; CHECK-NEXT: vmmv.m v8, v11
-; CHECK-NEXT: vmorn.mm v0, v10, v8
+; CHECK-NEXT: vmorn.mm v0, v10, v11
; CHECK-NEXT: ret
%head = insertelement <8 x float> poison, float %b, i32 0
%splat = shufflevector <8 x float> %head, <8 x float> poison, <8 x i32> zeroinitializer
@@ -5678,10 +5588,8 @@ define <16 x i1> @fcmps_ord_vv_v16f32(<16 x float> %va, <16 x float> %vb) nounwi
; CHECK: # %bb.0:
; CHECK-NEXT: vsetivli zero, 16, e32, m4, ta, ma
; CHECK-NEXT: vmfle.vv v16, v12, v12
-; CHECK-NEXT: vmmv.m v12, v16
-; CHECK-NEXT: vmfle.vv v13, v8, v8
-; CHECK-NEXT: vmmv.m v8, v13
-; CHECK-NEXT: vmand.mm v0, v8, v12
+; CHECK-NEXT: vmfle.vv v12, v8, v8
+; CHECK-NEXT: vmand.mm v0, v12, v16
; CHECK-NEXT: ret
%1 = call <16 x i1> @llvm.experimental.constrained.fcmps.v16f32(<16 x float> %va, <16 x float> %vb, metadata !"ord", metadata !"fpexcept.strict") strictfp
ret <16 x i1> %1
@@ -5693,10 +5601,8 @@ define <16 x i1> @fcmps_ord_vf_v16f32(<16 x float> %va, float %b) nounwind stric
; CHECK-NEXT: vsetivli zero, 16, e32, m4, ta, ma
; CHECK-NEXT: vfmv.v.f v12, fa0
; CHECK-NEXT: vmfle.vf v16, v12, fa0
-; CHECK-NEXT: vmmv.m v12, v16
-; CHECK-NEXT: vmfle.vv v13, v8, v8
-; CHECK-NEXT: vmmv.m v8, v13
-; CHECK-NEXT: vmand.mm v0, v8, v12
+; CHECK-NEXT: vmfle.vv v12, v8, v8
+; CHECK-NEXT: vmand.mm v0, v12, v16
; CHECK-NEXT: ret
%head = insertelement <16 x float> poison, float %b, i32 0
%splat = shufflevector <16 x float> %head, <16 x float> poison, <16 x i32> zeroinitializer
@@ -5710,10 +5616,8 @@ define <16 x i1> @fcmps_ord_fv_v16f32(<16 x float> %va, float %b) nounwind stric
; CHECK-NEXT: vsetivli zero, 16, e32, m4, ta, ma
; CHECK-NEXT: vfmv.v.f v12, fa0
; CHECK-NEXT: vmfle.vf v16, v12, fa0
-; CHECK-NEXT: vmmv.m v12, v16
-; CHECK-NEXT: vmfle.vv v13, v8, v8
-; CHECK-NEXT: vmmv.m v8, v13
-; CHECK-NEXT: vmand.mm v0, v12, v8
+; CHECK-NEXT: vmfle.vv v12, v8, v8
+; CHECK-NEXT: vmand.mm v0, v16, v12
; CHECK-NEXT: ret
%head = insertelement <16 x float> poison, float %b, i32 0
%splat = shufflevector <16 x float> %head, <16 x float> poison, <16 x i32> zeroinitializer
@@ -5954,10 +5858,9 @@ define <16 x i1> @fcmps_uno_vv_v16f32(<16 x float> %va, <16 x float> %vb) nounwi
; CHECK: # %bb.0:
; CHECK-NEXT: vsetivli zero, 16, e32, m4, ta, ma
; CHECK-NEXT: vmfle.vv v16, v12, v12
-; CHECK-NEXT: vmmv.m v12, v16
-; CHECK-NEXT: vmfle.vv v13, v8, v8
-; CHECK-NEXT: vmnot.m v8, v13
-; CHECK-NEXT: vmorn.mm v0, v8, v12
+; CHECK-NEXT: vmfle.vv v12, v8, v8
+; CHECK-NEXT: vmnot.m v8, v12
+; CHECK-NEXT: vmorn.mm v0, v8, v16
; CHECK-NEXT: ret
%1 = call <16 x i1> @llvm.experimental.constrained.fcmps.v16f32(<16 x float> %va, <16 x float> %vb, metadata !"uno", metadata !"fpexcept.strict") strictfp
ret <16 x i1> %1
@@ -5969,10 +5872,9 @@ define <16 x i1> @fcmps_uno_vf_v16f32(<16 x float> %va, float %b) nounwind stric
; CHECK-NEXT: vsetivli zero, 16, e32, m4, ta, ma
; CHECK-NEXT: vfmv.v.f v12, fa0
; CHECK-NEXT: vmfle.vf v16, v12, fa0
-; CHECK-NEXT: vmmv.m v12, v16
-; CHECK-NEXT: vmfle.vv v13, v8, v8
-; CHECK-NEXT: vmnot.m v8, v13
-; CHECK-NEXT: vmorn.mm v0, v8, v12
+; CHECK-NEXT: vmfle.vv v12, v8, v8
+; CHECK-NEXT: vmnot.m v8, v12
+; CHECK-NEXT: vmorn.mm v0, v8, v16
; CHECK-NEXT: ret
%head = insertelement <16 x float> poison, float %b, i32 0
%splat = shufflevector <16 x float> %head, <16 x float> poison, <16 x i32> zeroinitializer
@@ -5988,8 +5890,7 @@ define <16 x i1> @fcmps_uno_fv_v16f32(<16 x float> %va, float %b) nounwind stric
; CHECK-NEXT: vmfle.vf v16, v12, fa0
; CHECK-NEXT: vmnot.m v12, v16
; CHECK-NEXT: vmfle.vv v13, v8, v8
-; CHECK-NEXT: vmmv.m v8, v13
-; CHECK-NEXT: vmorn.mm v0, v12, v8
+; CHECK-NEXT: vmorn.mm v0, v12, v13
; CHECK-NEXT: ret
%head = insertelement <16 x float> poison, float %b, i32 0
%splat = shufflevector <16 x float> %head, <16 x float> poison, <16 x i32> zeroinitializer
@@ -6219,9 +6120,7 @@ define <1 x i1> @fcmps_ord_vv_v1f64(<1 x double> %va, <1 x double> %vb) nounwind
; CHECK: # %bb.0:
; CHECK-NEXT: vsetivli zero, 1, e64, m1, ta, ma
; CHECK-NEXT: vmfle.vv v9, v9, v9
-; CHECK-NEXT: vmmv.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
-; CHECK-NEXT: vmmv.m v8, v8
; CHECK-NEXT: vmand.mm v0, v8, v9
; CHECK-NEXT: ret
%1 = call <1 x i1> @llvm.experimental.constrained.fcmps.v1f64(<1 x double> %va, <1 x double> %vb, metadata !"ord", metadata !"fpexcept.strict") strictfp
@@ -6234,9 +6133,7 @@ define <1 x i1> @fcmps_ord_vf_v1f64(<1 x double> %va, double %b) nounwind strict
; CHECK-NEXT: vsetivli zero, 1, e64, m1, ta, ma
; CHECK-NEXT: vfmv.v.f v9, fa0
; CHECK-NEXT: vmfle.vf v9, v9, fa0
-; CHECK-NEXT: vmmv.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
-; CHECK-NEXT: vmmv.m v8, v8
; CHECK-NEXT: vmand.mm v0, v8, v9
; CHECK-NEXT: ret
%head = insertelement <1 x double> poison, double %b, i32 0
@@ -6251,9 +6148,7 @@ define <1 x i1> @fcmps_ord_fv_v1f64(<1 x double> %va, double %b) nounwind strict
; CHECK-NEXT: vsetivli zero, 1, e64, m1, ta, ma
; CHECK-NEXT: vfmv.v.f v9, fa0
; CHECK-NEXT: vmfle.vf v9, v9, fa0
-; CHECK-NEXT: vmmv.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
-; CHECK-NEXT: vmmv.m v8, v8
; CHECK-NEXT: vmand.mm v0, v9, v8
; CHECK-NEXT: ret
%head = insertelement <1 x double> poison, double %b, i32 0
@@ -6495,7 +6390,6 @@ define <1 x i1> @fcmps_uno_vv_v1f64(<1 x double> %va, <1 x double> %vb) nounwind
; CHECK: # %bb.0:
; CHECK-NEXT: vsetivli zero, 1, e64, m1, ta, ma
; CHECK-NEXT: vmfle.vv v9, v9, v9
-; CHECK-NEXT: vmmv.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
; CHECK-NEXT: vmnot.m v8, v8
; CHECK-NEXT: vmorn.mm v0, v8, v9
@@ -6510,7 +6404,6 @@ define <1 x i1> @fcmps_uno_vf_v1f64(<1 x double> %va, double %b) nounwind strict
; CHECK-NEXT: vsetivli zero, 1, e64, m1, ta, ma
; CHECK-NEXT: vfmv.v.f v9, fa0
; CHECK-NEXT: vmfle.vf v9, v9, fa0
-; CHECK-NEXT: vmmv.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
; CHECK-NEXT: vmnot.m v8, v8
; CHECK-NEXT: vmorn.mm v0, v8, v9
@@ -6529,7 +6422,6 @@ define <1 x i1> @fcmps_uno_fv_v1f64(<1 x double> %va, double %b) nounwind strict
; CHECK-NEXT: vmfle.vf v9, v9, fa0
; CHECK-NEXT: vmnot.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
-; CHECK-NEXT: vmmv.m v8, v8
; CHECK-NEXT: vmorn.mm v0, v9, v8
; CHECK-NEXT: ret
%head = insertelement <1 x double> poison, double %b, i32 0
@@ -6760,9 +6652,7 @@ define <2 x i1> @fcmps_ord_vv_v2f64(<2 x double> %va, <2 x double> %vb) nounwind
; CHECK: # %bb.0:
; CHECK-NEXT: vsetivli zero, 2, e64, m1, ta, ma
; CHECK-NEXT: vmfle.vv v9, v9, v9
-; CHECK-NEXT: vmmv.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
-; CHECK-NEXT: vmmv.m v8, v8
; CHECK-NEXT: vmand.mm v0, v8, v9
; CHECK-NEXT: ret
%1 = call <2 x i1> @llvm.experimental.constrained.fcmps.v2f64(<2 x double> %va, <2 x double> %vb, metadata !"ord", metadata !"fpexcept.strict") strictfp
@@ -6775,9 +6665,7 @@ define <2 x i1> @fcmps_ord_vf_v2f64(<2 x double> %va, double %b) nounwind strict
; CHECK-NEXT: vsetivli zero, 2, e64, m1, ta, ma
; CHECK-NEXT: vfmv.v.f v9, fa0
; CHECK-NEXT: vmfle.vf v9, v9, fa0
-; CHECK-NEXT: vmmv.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
-; CHECK-NEXT: vmmv.m v8, v8
; CHECK-NEXT: vmand.mm v0, v8, v9
; CHECK-NEXT: ret
%head = insertelement <2 x double> poison, double %b, i32 0
@@ -6792,9 +6680,7 @@ define <2 x i1> @fcmps_ord_fv_v2f64(<2 x double> %va, double %b) nounwind strict
; CHECK-NEXT: vsetivli zero, 2, e64, m1, ta, ma
; CHECK-NEXT: vfmv.v.f v9, fa0
; CHECK-NEXT: vmfle.vf v9, v9, fa0
-; CHECK-NEXT: vmmv.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
-; CHECK-NEXT: vmmv.m v8, v8
; CHECK-NEXT: vmand.mm v0, v9, v8
; CHECK-NEXT: ret
%head = insertelement <2 x double> poison, double %b, i32 0
@@ -7036,7 +6922,6 @@ define <2 x i1> @fcmps_uno_vv_v2f64(<2 x double> %va, <2 x double> %vb) nounwind
; CHECK: # %bb.0:
; CHECK-NEXT: vsetivli zero, 2, e64, m1, ta, ma
; CHECK-NEXT: vmfle.vv v9, v9, v9
-; CHECK-NEXT: vmmv.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
; CHECK-NEXT: vmnot.m v8, v8
; CHECK-NEXT: vmorn.mm v0, v8, v9
@@ -7051,7 +6936,6 @@ define <2 x i1> @fcmps_uno_vf_v2f64(<2 x double> %va, double %b) nounwind strict
; CHECK-NEXT: vsetivli zero, 2, e64, m1, ta, ma
; CHECK-NEXT: vfmv.v.f v9, fa0
; CHECK-NEXT: vmfle.vf v9, v9, fa0
-; CHECK-NEXT: vmmv.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
; CHECK-NEXT: vmnot.m v8, v8
; CHECK-NEXT: vmorn.mm v0, v8, v9
@@ -7070,7 +6954,6 @@ define <2 x i1> @fcmps_uno_fv_v2f64(<2 x double> %va, double %b) nounwind strict
; CHECK-NEXT: vmfle.vf v9, v9, fa0
; CHECK-NEXT: vmnot.m v9, v9
; CHECK-NEXT: vmfle.vv v8, v8, v8
-; CHECK-NEXT: vmmv.m v8, v8
; CHECK-NEXT: vmorn.mm v0, v9, v8
; CHECK-NEXT: ret
%head = insertelement <2 x double> poison, double %b, i32 0
@@ -7301,10 +7184,8 @@ define <4 x i1> @fcmps_ord_vv_v4f64(<4 x double> %va, <4 x double> %vb) nounwind
; CHECK: # %bb.0:
; CHECK-NEXT: vsetivli zero, 4, e64, m2, ta, ma
; CHECK-NEXT: vmfle.vv v12, v10, v10
-; CHECK-NEXT: vmmv.m v10, v12
-; CHECK-NEXT: vmfle.vv v11, v8, v8
-; CHECK-NEXT: vmmv.m v8, v11
-; CHECK-NEXT: vmand.mm v0, v8, v10
+; CHECK-NEXT: vmfle.vv v10, v8, v8
+; CHECK-NEXT: vmand.mm v0, v10, v12
; CHECK-NEXT: ret
%1 = call <4 x i1> @llvm.experimental.constrained.fcmps.v4f64(<4 x double> %va, <4 x double> %vb, metadata !"ord", metadata !"fpexcept.strict") strictfp
ret <4 x i1> %1
@@ -7316,10 +7197,8 @@ define <4 x i1> @fcmps_ord_vf_v4f64(<4 x double> %va, double %b) nounwind strict
; CHECK-NEXT: vsetivli zero, 4, e64, m2, ta, ma
; CHECK-NEXT: vfmv.v.f v10, fa0
; CHECK-NEXT: vmfle.vf v12, v10, fa0
-; CHECK-NEXT: vmmv.m v10, v12
-; CHECK-NEXT: vmfle.vv v11, v8, v8
-; CHECK-NEXT: vmmv.m v8, v11
-; CHECK-NEXT: vmand.mm v0, v8, v10
+; CHECK-NEXT: vmfle.vv v10, v8, v8
+; CHECK-NEXT: vmand.mm v0, v10, v12
; CHECK-NEXT: ret
%head = insertelement <4 x double> poison, double %b, i32 0
%splat = shufflevector <4 x double> %head, <4 x double> poison, <4 x i32> zeroinitializer
@@ -7333,10 +7212,8 @@ define <4 x i1> @fcmps_ord_fv_v4f64(<4 x double> %va, double %b) nounwind strict
; CHECK-NEXT: vsetivli zero, 4, e64, m2, ta, ma
; CHECK-NEXT: vfmv.v.f v10, fa0
; CHECK-NEXT: vmfle.vf v12, v10, fa0
-; CHECK-NEXT: vmmv.m v10, v12
-; CHECK-NEXT: vmfle.vv v11, v8, v8
-; CHECK-NEXT: vmmv.m v8, v11
-; CHECK-NEXT: vmand.mm v0, v10, v8
+; CHECK-NEXT: vmfle.vv v10, v8, v8
+; CHECK-NEXT: vmand.mm v0, v12, v10
; CHECK-NEXT: ret
%head = insertelement <4 x double> poison, double %b, i32 0
%splat = shufflevector <4 x double> %head, <4 x double> poison, <4 x i32> zeroinitializer
@@ -7577,10 +7454,9 @@ define <4 x i1> @fcmps_uno_vv_v4f64(<4 x double> %va, <4 x double> %vb) nounwind
; CHECK: # %bb.0:
; CHECK-NEXT: vsetivli zero, 4, e64, m2, ta, ma
; CHECK-NEXT: vmfle.vv v12, v10, v10
-; CHECK-NEXT: vmmv.m v10, v12
-; CHECK-NEXT: vmfle.vv v11, v8, v8
-; CHECK-NEXT: vmnot.m v8, v11
-; CHECK-NEXT: vmorn.mm v0, v8, v10
+; CHECK-NEXT: vmfle.vv v10, v8, v8
+; CHECK-NEXT: vmnot.m v8, v10
+; CHECK-NEXT: vmorn.mm v0, v8, v12
; CHECK-NEXT: ret
%1 = call <4 x i1> @llvm.experimental.constrained.fcmps.v4f64(<4 x double> %va, <4 x double> %vb, metadata !"uno", metadata !"fpexcept.strict") strictfp
ret <4 x i1> %1
@@ -7592,10 +7468,9 @@ define <4 x i1> @fcmps_uno_vf_v4f64(<4 x double> %va, double %b) nounwind strict
; CHECK-NEXT: vsetivli zero, 4, e64, m2, ta, ma
; CHECK-NEXT: vfmv.v.f v10, fa0
; CHECK-NEXT: vmfle.vf v12, v10, fa0
-; CHECK-NEXT: vmmv.m v10, v12
-; CHECK-NEXT: vmfle.vv v11, v8, v8
-; CHECK-NEXT: vmnot.m v8, v11
-; CHECK-NEXT: vmorn.mm v0, v8, v10
+; CHECK-NEXT: vmfle.vv v10, v8, v8
+; CHECK-NEXT: vmnot.m v8, v10
+; CHECK-NEXT: vmorn.mm v0, v8, v12
; CHECK-NEXT: ret
%head = insertelement <4 x double> poison, double %b, i32 0
%splat = shufflevector <4 x double> %head, <4 x double> poison, <4 x i32> zeroinitializer
@@ -7611,8 +7486,7 @@ define <4 x i1> @fcmps_uno_fv_v4f64(<4 x double> %va, double %b) nounwind strict
; CHECK-NEXT: vmfle.vf v12, v10, fa0
; CHECK-NEXT: vmnot.m v10, v12
; CHECK-NEXT: vmfle.vv v11, v8, v8
-; CHECK-NEXT: vmmv.m v8, v11
-; CHECK-NEXT: vmorn.mm v0, v10, v8
+; CHECK-NEXT: vmorn.mm v0, v10, v11
; CHECK-NEXT: ret
%head = insertelement <4 x double> poison, double %b, i32 0
%splat = shufflevector <4 x double> %head, <4 x double> poison, <4 x i32> zeroinitializer
@@ -7842,10 +7716,8 @@ define <8 x i1> @fcmps_ord_vv_v8f64(<8 x double> %va, <8 x double> %vb) nounwind
; CHECK: # %bb.0:
; CHECK-NEXT: vsetivli zero, 8, e64, m4, ta, ma
; CHECK-NEXT: vmfle.vv v16, v12, v12
-; CHECK-NEXT: vmmv.m v12, v16
-; CHECK-NEXT: vmfle.vv v13, v8, v8
-; CHECK-NEXT: vmmv.m v8, v13
-; CHECK-NEXT: vmand.mm v0, v8, v12
+; CHECK-NEXT: vmfle.vv v12, v8, v8
+; CHECK-NEXT: vmand.mm v0, v12, v16
; CHECK-NEXT: ret
%1 = call <8 x i1> @llvm.experimental.constrained.fcmps.v8f64(<8 x double> %va, <8 x double> %vb, metadata !"ord", metadata !"fpexcept.strict") strictfp
ret <8 x i1> %1
@@ -7857,10 +7729,8 @@ define <8 x i1> @fcmps_ord_vf_v8f64(<8 x double> %va, double %b) nounwind strict
; CHECK-NEXT: vsetivli zero, 8, e64, m4, ta, ma
; CHECK-NEXT: vfmv.v.f v12, fa0
; CHECK-NEXT: vmfle.vf v16, v12, fa0
-; CHECK-NEXT: vmmv.m v12, v16
-; CHECK-NEXT: vmfle.vv v13, v8, v8
-; CHECK-NEXT: vmmv.m v8, v13
-; CHECK-NEXT: vmand.mm v0, v8, v12
+; CHECK-NEXT: vmfle.vv v12, v8, v8
+; CHECK-NEXT: vmand.mm v0, v12, v16
; CHECK-NEXT: ret
%head = insertelement <8 x double> poison, double %b, i32 0
%splat = shufflevector <8 x double> %head, <8 x double> poison, <8 x i32> zeroinitializer
@@ -7874,10 +7744,8 @@ define <8 x i1> @fcmps_ord_fv_v8f64(<8 x double> %va, double %b) nounwind strict
; CHECK-NEXT: vsetivli zero, 8, e64, m4, ta, ma
; CHECK-NEXT: vfmv.v.f v12, fa0
; CHECK-NEXT: vmfle.vf v16, v12, fa0
-; CHECK-NEXT: vmmv.m v12, v16
-; CHECK-NEXT: vmfle.vv v13, v8, v8
-; CHECK-NEXT: vmmv.m v8, v13
-; CHECK-NEXT: vmand.mm v0, v12, v8
+; CHECK-NEXT: vmfle.vv v12, v8, v8
+; CHECK-NEXT: vmand.mm v0, v16, v12
; CHECK-NEXT: ret
%head = insertelement <8 x double> poison, double %b, i32 0
%splat = shufflevector <8 x double> %head, <8 x double> poison, <8 x i32> zeroinitializer
@@ -8118,10 +7986,9 @@ define <8 x i1> @fcmps_uno_vv_v8f64(<8 x double> %va, <8 x double> %vb) nounwind
; CHECK: # %bb.0:
; CHECK-NEXT: vsetivli zero, 8, e64, m4, ta, ma
; CHECK-NEXT: vmfle.vv v16, v12, v12
-; CHECK-NEXT: vmmv.m v12, v16
-; CHECK-NEXT: vmfle.vv v13, v8, v8
-; CHECK-NEXT: vmnot.m v8, v13
-; CHECK-NEXT: vmorn.mm v0, v8, v12
+; CHECK-NEXT: vmfle.vv v12, v8, v8
+; CHECK-NEXT: vmnot.m v8, v12
+; CHECK-NEXT: vmorn.mm v0, v8, v16
; CHECK-NEXT: ret
%1 = call <8 x i1> @llvm.experimental.constrained.fcmps.v8f64(<8 x double> %va, <8 x double> %vb, metadata !"uno", metadata !"fpexcept.strict") strictfp
ret <8 x i1> %1
@@ -8133,10 +8000,9 @@ define <8 x i1> @fcmps_uno_vf_v8f64(<8 x double> %va, double %b) nounwind strict
; CHECK-NEXT: vsetivli zero, 8, e64, m4, ta, ma
; CHECK-NEXT: vfmv.v.f v12, fa0
; CHECK-NEXT: vmfle.vf v16, v12, fa0
-; CHECK-NEXT: vmmv.m v12, v16
-; CHECK-NEXT: vmfle.vv v13, v8, v8
-; CHECK-NEXT: vmnot.m v8, v13
-; CHECK-NEXT: vmorn.mm v0, v8, v12
+; CHECK-NEXT: vmfle.vv v12, v8, v8
+; CHECK-NEXT: vmnot.m v8, v12
+; CHECK-NEXT: vmorn.mm v0, v8, v16
; CHECK-NEXT: ret
%head = insertelement <8 x double> poison, double %b, i32 0
%splat = shufflevector <8 x double> %head, <8 x double> poison, <8 x i32> zeroinitializer
@@ -8152,8 +8018,7 @@ define <8 x i1> @fcmps_uno_fv_v8f64(<8 x double> %va, double %b) nounwind strict
; CHECK-NEXT: vmfle.vf v16, v12, fa0
; CHECK-NEXT: vmnot.m v12, v16
; CHECK-NEXT: vmfle.vv v13, v8, v8
-; CHECK-NEXT: vmmv.m v8, v13
-; CHECK-NEXT: vmorn.mm v0, v12, v8
+; CHECK-NEXT: vmorn.mm v0, v12, v13
; CHECK-NEXT: ret
%head = insertelement <8 x double> poison, double %b, i32 0
%splat = shufflevector <8 x double> %head, <8 x double> poison, <8 x i32> zeroinitializer
More information about the llvm-commits
mailing list