diff --git a/llvm/lib/Target/RISCV/RISCVISelLowering.cpp b/llvm/lib/Target/RISCV/RISCVISelLowering.cpp index 10468915de707..096b57af5a373 100644 --- a/llvm/lib/Target/RISCV/RISCVISelLowering.cpp +++ b/llvm/lib/Target/RISCV/RISCVISelLowering.cpp @@ -460,6 +460,7 @@ RISCVTargetLowering::RISCVTargetLowering(const TargetMachine &TM, setOperationAction(ISD::FABS, MVT::bf16, Custom); setOperationAction(ISD::FNEG, MVT::bf16, Custom); setOperationAction(ISD::FCOPYSIGN, MVT::bf16, Custom); + setOperationAction({ISD::FP_TO_SINT, ISD::FP_TO_UINT}, XLenVT, Custom); setOperationAction({ISD::SINT_TO_FP, ISD::UINT_TO_FP}, XLenVT, Custom); } @@ -479,6 +480,7 @@ RISCVTargetLowering::RISCVTargetLowering(const TargetMachine &TM, setOperationAction(ISD::FABS, MVT::f16, Custom); setOperationAction(ISD::FNEG, MVT::f16, Custom); setOperationAction(ISD::FCOPYSIGN, MVT::f16, Custom); + setOperationAction({ISD::FP_TO_SINT, ISD::FP_TO_UINT}, XLenVT, Custom); setOperationAction({ISD::SINT_TO_FP, ISD::UINT_TO_FP}, XLenVT, Custom); } @@ -592,8 +594,9 @@ RISCVTargetLowering::RISCVTargetLowering(const TargetMachine &TM, setOperationAction({ISD::FP_TO_UINT_SAT, ISD::FP_TO_SINT_SAT}, XLenVT, Custom); + // f16/bf16 require custom handling. setOperationAction({ISD::STRICT_FP_TO_UINT, ISD::STRICT_FP_TO_SINT}, XLenVT, - Legal); + Custom); setOperationAction({ISD::STRICT_UINT_TO_FP, ISD::STRICT_SINT_TO_FP}, XLenVT, Custom); @@ -3096,6 +3099,31 @@ static SDValue lowerFP_TO_INT_SAT(SDValue Op, SelectionDAG &DAG, return Res; } +static SDValue lowerFP_TO_INT(SDValue Op, SelectionDAG &DAG, + const RISCVSubtarget &Subtarget) { + bool IsStrict = Op->isStrictFPOpcode(); + SDValue SrcVal = Op.getOperand(IsStrict ? 1 : 0); + + // f16 conversions are promoted to f32 when Zfh/Zhinx is not enabled. + // bf16 conversions are always promoted to f32. + if ((SrcVal.getValueType() == MVT::f16 && !Subtarget.hasStdExtZfhOrZhinx()) || + SrcVal.getValueType() == MVT::bf16) { + SDLoc DL(Op); + if (IsStrict) { + SDValue Ext = + DAG.getNode(ISD::STRICT_FP_EXTEND, DL, {MVT::f32, MVT::Other}, + {Op.getOperand(0), SrcVal}); + return DAG.getNode(Op.getOpcode(), DL, {Op.getValueType(), MVT::Other}, + {Ext.getValue(1), Ext.getValue(0)}); + } + return DAG.getNode(Op.getOpcode(), DL, Op.getValueType(), + DAG.getNode(ISD::FP_EXTEND, DL, MVT::f32, SrcVal)); + } + + // Other operations are legal. + return Op; +} + static RISCVFPRndMode::RoundingMode matchRoundingOp(unsigned Opc) { switch (Opc) { case ISD::FROUNDEVEN: @@ -6661,6 +6689,8 @@ SDValue RISCVTargetLowering::LowerOperation(SDValue Op, // the source. We custom-lower any conversions that do two hops into // sequences. MVT VT = Op.getSimpleValueType(); + if (VT.isScalarInteger()) + return lowerFP_TO_INT(Op, DAG, Subtarget); bool IsStrict = Op->isStrictFPOpcode(); SDValue Src = Op.getOperand(0 + IsStrict); MVT SrcVT = Src.getSimpleValueType(); diff --git a/llvm/lib/Target/RISCV/RISCVInstrInfoZfbfmin.td b/llvm/lib/Target/RISCV/RISCVInstrInfoZfbfmin.td index ee2bb81f4b5e0..6044b125ba48f 100644 --- a/llvm/lib/Target/RISCV/RISCVInstrInfoZfbfmin.td +++ b/llvm/lib/Target/RISCV/RISCVInstrInfoZfbfmin.td @@ -58,20 +58,6 @@ def : Pat<(riscv_fmv_x_anyexth (bf16 FPR16:$src)), (FMV_X_H FPR16:$src)>; def : Pat<(riscv_fmv_x_signexth (bf16 FPR16:$src)), (FMV_X_H FPR16:$src)>; } // Predicates = [HasStdExtZfbfmin] -let Predicates = [HasStdExtZfbfmin] in { -// bf16->[u]int. Round-to-zero must be used for the f32->int step, the -// rounding mode has no effect for bf16->f32. -def : Pat<(i32 (any_fp_to_sint (bf16 FPR16:$rs1))), (FCVT_W_S (FCVT_S_BF16 $rs1, FRM_RNE), FRM_RTZ)>; -def : Pat<(i32 (any_fp_to_uint (bf16 FPR16:$rs1))), (FCVT_WU_S (FCVT_S_BF16 $rs1, FRM_RNE), FRM_RTZ)>; -} - -let Predicates = [HasStdExtZfbfmin, IsRV64] in { -// bf16->[u]int64. Round-to-zero must be used for the f32->int step, the -// rounding mode has no effect for bf16->f32. -def : Pat<(i64 (any_fp_to_sint (bf16 FPR16:$rs1))), (FCVT_L_S (FCVT_S_BF16 $rs1, FRM_RNE), FRM_RTZ)>; -def : Pat<(i64 (any_fp_to_uint (bf16 FPR16:$rs1))), (FCVT_LU_S (FCVT_S_BF16 $rs1, FRM_RNE), FRM_RTZ)>; -} - let Predicates = [HasStdExtZfbfmin, HasStdExtD] in { // bf16 -> f64 def : Pat<(fpextend (bf16 FPR16:$rs1)), diff --git a/llvm/lib/Target/RISCV/RISCVInstrInfoZfh.td b/llvm/lib/Target/RISCV/RISCVInstrInfoZfh.td index 2f047a6dccdf4..3d2bdb1ceddcf 100644 --- a/llvm/lib/Target/RISCV/RISCVInstrInfoZfh.td +++ b/llvm/lib/Target/RISCV/RISCVInstrInfoZfh.td @@ -599,27 +599,3 @@ def : Pat<(fcopysign FPR16INX:$rs1, FPR64INX:$rs2), (FSGNJ_H_INX $rs1, (FCVT_H_D_INX $rs2, 0b111))>; def : Pat<(fcopysign FPR64INX:$rs1, FPR16INX:$rs2), (FSGNJ_D_INX $rs1, (FCVT_D_H_INX $rs2, FRM_RNE))>; } // Predicates = [HasStdExtZhinxmin, HasStdExtZdinx, IsRV64] - -let Predicates = [HasStdExtZfhmin, NoStdExtZfh] in { -// half->[u]int. Round-to-zero must be used. -def : Pat<(i32 (any_fp_to_sint (f16 FPR16:$rs1))), (FCVT_W_S (FCVT_S_H $rs1, FRM_RNE), FRM_RTZ)>; -def : Pat<(i32 (any_fp_to_uint (f16 FPR16:$rs1))), (FCVT_WU_S (FCVT_S_H $rs1, FRM_RNE), FRM_RTZ)>; -} // Predicates = [HasStdExtZfhmin, NoStdExtZfh] - -let Predicates = [HasStdExtZhinxmin, NoStdExtZhinx] in { -// half->[u]int. Round-to-zero must be used. -def : Pat<(i32 (any_fp_to_sint FPR16INX:$rs1)), (FCVT_W_S_INX (FCVT_S_H_INX $rs1, FRM_RNE), FRM_RTZ)>; -def : Pat<(i32 (any_fp_to_uint FPR16INX:$rs1)), (FCVT_WU_S_INX (FCVT_S_H_INX $rs1, FRM_RNE), FRM_RTZ)>; -} // Predicates = [HasStdExtZhinxmin, NoStdExtZhinx] - -let Predicates = [HasStdExtZfhmin, NoStdExtZfh, IsRV64] in { -// half->[u]int64. Round-to-zero must be used. -def : Pat<(i64 (any_fp_to_sint (f16 FPR16:$rs1))), (FCVT_L_S (FCVT_S_H $rs1, FRM_RNE), FRM_RTZ)>; -def : Pat<(i64 (any_fp_to_uint (f16 FPR16:$rs1))), (FCVT_LU_S (FCVT_S_H $rs1, FRM_RNE), FRM_RTZ)>; -} // Predicates = [HasStdExtZfhmin, NoStdExtZfh, IsRV64] - -let Predicates = [HasStdExtZhinxmin, NoStdExtZhinx, IsRV64] in { -// half->[u]int64. Round-to-zero must be used. -def : Pat<(i64 (any_fp_to_sint FPR16INX:$rs1)), (FCVT_L_S_INX (FCVT_S_H_INX $rs1, FRM_RNE), FRM_RTZ)>; -def : Pat<(i64 (any_fp_to_uint FPR16INX:$rs1)), (FCVT_LU_S_INX (FCVT_S_H_INX $rs1, FRM_RNE), FRM_RTZ)>; -} // Predicates = [HasStdExtZhinxmin, NoStdExtZhinx, IsRV64] diff --git a/llvm/test/CodeGen/RISCV/bfloat-convert.ll b/llvm/test/CodeGen/RISCV/bfloat-convert.ll index 0a7f23a6201cc..c2c21a30d4e4c 100644 --- a/llvm/test/CodeGen/RISCV/bfloat-convert.ll +++ b/llvm/test/CodeGen/RISCV/bfloat-convert.ll @@ -121,7 +121,7 @@ define i16 @fcvt_ui_bf16(bfloat %a) nounwind { ; CHECK32ZFBFMIN-LABEL: fcvt_ui_bf16: ; CHECK32ZFBFMIN: # %bb.0: ; CHECK32ZFBFMIN-NEXT: fcvt.s.bf16 fa5, fa0 -; CHECK32ZFBFMIN-NEXT: fcvt.wu.s a0, fa5, rtz +; CHECK32ZFBFMIN-NEXT: fcvt.w.s a0, fa5, rtz ; CHECK32ZFBFMIN-NEXT: ret ; ; RV32ID-LABEL: fcvt_ui_bf16: @@ -135,7 +135,7 @@ define i16 @fcvt_ui_bf16(bfloat %a) nounwind { ; CHECK64ZFBFMIN-LABEL: fcvt_ui_bf16: ; CHECK64ZFBFMIN: # %bb.0: ; CHECK64ZFBFMIN-NEXT: fcvt.s.bf16 fa5, fa0 -; CHECK64ZFBFMIN-NEXT: fcvt.lu.s a0, fa5, rtz +; CHECK64ZFBFMIN-NEXT: fcvt.l.s a0, fa5, rtz ; CHECK64ZFBFMIN-NEXT: ret ; ; RV64ID-LABEL: fcvt_ui_bf16: @@ -1568,7 +1568,7 @@ define zeroext i8 @fcvt_wu_s_i8(bfloat %a) nounwind { ; CHECK32ZFBFMIN-LABEL: fcvt_wu_s_i8: ; CHECK32ZFBFMIN: # %bb.0: ; CHECK32ZFBFMIN-NEXT: fcvt.s.bf16 fa5, fa0 -; CHECK32ZFBFMIN-NEXT: fcvt.wu.s a0, fa5, rtz +; CHECK32ZFBFMIN-NEXT: fcvt.w.s a0, fa5, rtz ; CHECK32ZFBFMIN-NEXT: ret ; ; RV32ID-LABEL: fcvt_wu_s_i8: diff --git a/llvm/test/CodeGen/RISCV/half-convert-strict.ll b/llvm/test/CodeGen/RISCV/half-convert-strict.ll index 164d9a59e645c..6bd3ef775609e 100644 --- a/llvm/test/CodeGen/RISCV/half-convert-strict.ll +++ b/llvm/test/CodeGen/RISCV/half-convert-strict.ll @@ -136,78 +136,78 @@ declare i16 @llvm.experimental.constrained.fptosi.i16.f16(half, metadata) define i16 @fcvt_ui_h(half %a) nounwind strictfp { ; RV32IZFH-LABEL: fcvt_ui_h: ; RV32IZFH: # %bb.0: -; RV32IZFH-NEXT: fcvt.wu.h a0, fa0, rtz +; RV32IZFH-NEXT: fcvt.w.h a0, fa0, rtz ; RV32IZFH-NEXT: ret ; ; RV64IZFH-LABEL: fcvt_ui_h: ; RV64IZFH: # %bb.0: -; RV64IZFH-NEXT: fcvt.lu.h a0, fa0, rtz +; RV64IZFH-NEXT: fcvt.l.h a0, fa0, rtz ; RV64IZFH-NEXT: ret ; ; RV32IZHINX-LABEL: fcvt_ui_h: ; RV32IZHINX: # %bb.0: -; RV32IZHINX-NEXT: fcvt.wu.h a0, a0, rtz +; RV32IZHINX-NEXT: fcvt.w.h a0, a0, rtz ; RV32IZHINX-NEXT: ret ; ; RV64IZHINX-LABEL: fcvt_ui_h: ; RV64IZHINX: # %bb.0: -; RV64IZHINX-NEXT: fcvt.lu.h a0, a0, rtz +; RV64IZHINX-NEXT: fcvt.l.h a0, a0, rtz ; RV64IZHINX-NEXT: ret ; ; RV32IDZFH-LABEL: fcvt_ui_h: ; RV32IDZFH: # %bb.0: -; RV32IDZFH-NEXT: fcvt.wu.h a0, fa0, rtz +; RV32IDZFH-NEXT: fcvt.w.h a0, fa0, rtz ; RV32IDZFH-NEXT: ret ; ; RV64IDZFH-LABEL: fcvt_ui_h: ; RV64IDZFH: # %bb.0: -; RV64IDZFH-NEXT: fcvt.lu.h a0, fa0, rtz +; RV64IDZFH-NEXT: fcvt.l.h a0, fa0, rtz ; RV64IDZFH-NEXT: ret ; ; RV32IZDINXZHINX-LABEL: fcvt_ui_h: ; RV32IZDINXZHINX: # %bb.0: -; RV32IZDINXZHINX-NEXT: fcvt.wu.h a0, a0, rtz +; RV32IZDINXZHINX-NEXT: fcvt.w.h a0, a0, rtz ; RV32IZDINXZHINX-NEXT: ret ; ; RV64IZDINXZHINX-LABEL: fcvt_ui_h: ; RV64IZDINXZHINX: # %bb.0: -; RV64IZDINXZHINX-NEXT: fcvt.lu.h a0, a0, rtz +; RV64IZDINXZHINX-NEXT: fcvt.l.h a0, a0, rtz ; RV64IZDINXZHINX-NEXT: ret ; ; CHECK32-IZFHMIN-LABEL: fcvt_ui_h: ; CHECK32-IZFHMIN: # %bb.0: ; CHECK32-IZFHMIN-NEXT: fcvt.s.h fa5, fa0 -; CHECK32-IZFHMIN-NEXT: fcvt.wu.s a0, fa5, rtz +; CHECK32-IZFHMIN-NEXT: fcvt.w.s a0, fa5, rtz ; CHECK32-IZFHMIN-NEXT: ret ; ; CHECK64-IZFHMIN-LABEL: fcvt_ui_h: ; CHECK64-IZFHMIN: # %bb.0: ; CHECK64-IZFHMIN-NEXT: fcvt.s.h fa5, fa0 -; CHECK64-IZFHMIN-NEXT: fcvt.lu.s a0, fa5, rtz +; CHECK64-IZFHMIN-NEXT: fcvt.l.s a0, fa5, rtz ; CHECK64-IZFHMIN-NEXT: ret ; ; CHECK32-IZHINXMIN-LABEL: fcvt_ui_h: ; CHECK32-IZHINXMIN: # %bb.0: ; CHECK32-IZHINXMIN-NEXT: fcvt.s.h a0, a0 -; CHECK32-IZHINXMIN-NEXT: fcvt.wu.s a0, a0, rtz +; CHECK32-IZHINXMIN-NEXT: fcvt.w.s a0, a0, rtz ; CHECK32-IZHINXMIN-NEXT: ret ; ; CHECK64-IZHINXMIN-LABEL: fcvt_ui_h: ; CHECK64-IZHINXMIN: # %bb.0: ; CHECK64-IZHINXMIN-NEXT: fcvt.s.h a0, a0 -; CHECK64-IZHINXMIN-NEXT: fcvt.lu.s a0, a0, rtz +; CHECK64-IZHINXMIN-NEXT: fcvt.l.s a0, a0, rtz ; CHECK64-IZHINXMIN-NEXT: ret ; ; CHECK32-IZDINXZHINXMIN-LABEL: fcvt_ui_h: ; CHECK32-IZDINXZHINXMIN: # %bb.0: ; CHECK32-IZDINXZHINXMIN-NEXT: fcvt.s.h a0, a0 -; CHECK32-IZDINXZHINXMIN-NEXT: fcvt.wu.s a0, a0, rtz +; CHECK32-IZDINXZHINXMIN-NEXT: fcvt.w.s a0, a0, rtz ; CHECK32-IZDINXZHINXMIN-NEXT: ret ; ; CHECK64-IZDINXZHINXMIN-LABEL: fcvt_ui_h: ; CHECK64-IZDINXZHINXMIN: # %bb.0: ; CHECK64-IZDINXZHINXMIN-NEXT: fcvt.s.h a0, a0 -; CHECK64-IZDINXZHINXMIN-NEXT: fcvt.lu.s a0, a0, rtz +; CHECK64-IZDINXZHINXMIN-NEXT: fcvt.l.s a0, a0, rtz ; CHECK64-IZDINXZHINXMIN-NEXT: ret %1 = call i16 @llvm.experimental.constrained.fptoui.i16.f16(half %a, metadata !"fpexcept.strict") ret i16 %1 diff --git a/llvm/test/CodeGen/RISCV/half-convert.ll b/llvm/test/CodeGen/RISCV/half-convert.ll index d46376339e0e5..bc1a652061020 100644 --- a/llvm/test/CodeGen/RISCV/half-convert.ll +++ b/llvm/test/CodeGen/RISCV/half-convert.ll @@ -672,37 +672,37 @@ define i16 @fcvt_ui_h(half %a) nounwind { ; CHECK32-IZFHMIN-LABEL: fcvt_ui_h: ; CHECK32-IZFHMIN: # %bb.0: ; CHECK32-IZFHMIN-NEXT: fcvt.s.h fa5, fa0 -; CHECK32-IZFHMIN-NEXT: fcvt.wu.s a0, fa5, rtz +; CHECK32-IZFHMIN-NEXT: fcvt.w.s a0, fa5, rtz ; CHECK32-IZFHMIN-NEXT: ret ; ; CHECK64-IZFHMIN-LABEL: fcvt_ui_h: ; CHECK64-IZFHMIN: # %bb.0: ; CHECK64-IZFHMIN-NEXT: fcvt.s.h fa5, fa0 -; CHECK64-IZFHMIN-NEXT: fcvt.lu.s a0, fa5, rtz +; CHECK64-IZFHMIN-NEXT: fcvt.l.s a0, fa5, rtz ; CHECK64-IZFHMIN-NEXT: ret ; ; CHECK32-IZHINXMIN-LABEL: fcvt_ui_h: ; CHECK32-IZHINXMIN: # %bb.0: ; CHECK32-IZHINXMIN-NEXT: fcvt.s.h a0, a0 -; CHECK32-IZHINXMIN-NEXT: fcvt.wu.s a0, a0, rtz +; CHECK32-IZHINXMIN-NEXT: fcvt.w.s a0, a0, rtz ; CHECK32-IZHINXMIN-NEXT: ret ; ; CHECK64-IZHINXMIN-LABEL: fcvt_ui_h: ; CHECK64-IZHINXMIN: # %bb.0: ; CHECK64-IZHINXMIN-NEXT: fcvt.s.h a0, a0 -; CHECK64-IZHINXMIN-NEXT: fcvt.lu.s a0, a0, rtz +; CHECK64-IZHINXMIN-NEXT: fcvt.l.s a0, a0, rtz ; CHECK64-IZHINXMIN-NEXT: ret ; ; CHECK32-IZDINXZHINXMIN-LABEL: fcvt_ui_h: ; CHECK32-IZDINXZHINXMIN: # %bb.0: ; CHECK32-IZDINXZHINXMIN-NEXT: fcvt.s.h a0, a0 -; CHECK32-IZDINXZHINXMIN-NEXT: fcvt.wu.s a0, a0, rtz +; CHECK32-IZDINXZHINXMIN-NEXT: fcvt.w.s a0, a0, rtz ; CHECK32-IZDINXZHINXMIN-NEXT: ret ; ; CHECK64-IZDINXZHINXMIN-LABEL: fcvt_ui_h: ; CHECK64-IZDINXZHINXMIN: # %bb.0: ; CHECK64-IZDINXZHINXMIN-NEXT: fcvt.s.h a0, a0 -; CHECK64-IZDINXZHINXMIN-NEXT: fcvt.lu.s a0, a0, rtz +; CHECK64-IZDINXZHINXMIN-NEXT: fcvt.l.s a0, a0, rtz ; CHECK64-IZDINXZHINXMIN-NEXT: ret %1 = fptoui half %a to i16 ret i16 %1 @@ -6793,7 +6793,7 @@ define zeroext i16 @fcvt_wu_s_i16(half %a) nounwind { ; CHECK32-IZFHMIN-LABEL: fcvt_wu_s_i16: ; CHECK32-IZFHMIN: # %bb.0: ; CHECK32-IZFHMIN-NEXT: fcvt.s.h fa5, fa0 -; CHECK32-IZFHMIN-NEXT: fcvt.wu.s a0, fa5, rtz +; CHECK32-IZFHMIN-NEXT: fcvt.w.s a0, fa5, rtz ; CHECK32-IZFHMIN-NEXT: ret ; ; CHECK64-IZFHMIN-LABEL: fcvt_wu_s_i16: @@ -6805,7 +6805,7 @@ define zeroext i16 @fcvt_wu_s_i16(half %a) nounwind { ; CHECK32-IZHINXMIN-LABEL: fcvt_wu_s_i16: ; CHECK32-IZHINXMIN: # %bb.0: ; CHECK32-IZHINXMIN-NEXT: fcvt.s.h a0, a0 -; CHECK32-IZHINXMIN-NEXT: fcvt.wu.s a0, a0, rtz +; CHECK32-IZHINXMIN-NEXT: fcvt.w.s a0, a0, rtz ; CHECK32-IZHINXMIN-NEXT: ret ; ; CHECK64-IZHINXMIN-LABEL: fcvt_wu_s_i16: @@ -6817,7 +6817,7 @@ define zeroext i16 @fcvt_wu_s_i16(half %a) nounwind { ; CHECK32-IZDINXZHINXMIN-LABEL: fcvt_wu_s_i16: ; CHECK32-IZDINXZHINXMIN: # %bb.0: ; CHECK32-IZDINXZHINXMIN-NEXT: fcvt.s.h a0, a0 -; CHECK32-IZDINXZHINXMIN-NEXT: fcvt.wu.s a0, a0, rtz +; CHECK32-IZDINXZHINXMIN-NEXT: fcvt.w.s a0, a0, rtz ; CHECK32-IZDINXZHINXMIN-NEXT: ret ; ; CHECK64-IZDINXZHINXMIN-LABEL: fcvt_wu_s_i16: @@ -7744,7 +7744,7 @@ define zeroext i8 @fcvt_wu_s_i8(half %a) nounwind { ; CHECK32-IZFHMIN-LABEL: fcvt_wu_s_i8: ; CHECK32-IZFHMIN: # %bb.0: ; CHECK32-IZFHMIN-NEXT: fcvt.s.h fa5, fa0 -; CHECK32-IZFHMIN-NEXT: fcvt.wu.s a0, fa5, rtz +; CHECK32-IZFHMIN-NEXT: fcvt.w.s a0, fa5, rtz ; CHECK32-IZFHMIN-NEXT: ret ; ; CHECK64-IZFHMIN-LABEL: fcvt_wu_s_i8: @@ -7756,7 +7756,7 @@ define zeroext i8 @fcvt_wu_s_i8(half %a) nounwind { ; CHECK32-IZHINXMIN-LABEL: fcvt_wu_s_i8: ; CHECK32-IZHINXMIN: # %bb.0: ; CHECK32-IZHINXMIN-NEXT: fcvt.s.h a0, a0 -; CHECK32-IZHINXMIN-NEXT: fcvt.wu.s a0, a0, rtz +; CHECK32-IZHINXMIN-NEXT: fcvt.w.s a0, a0, rtz ; CHECK32-IZHINXMIN-NEXT: ret ; ; CHECK64-IZHINXMIN-LABEL: fcvt_wu_s_i8: @@ -7768,7 +7768,7 @@ define zeroext i8 @fcvt_wu_s_i8(half %a) nounwind { ; CHECK32-IZDINXZHINXMIN-LABEL: fcvt_wu_s_i8: ; CHECK32-IZDINXZHINXMIN: # %bb.0: ; CHECK32-IZDINXZHINXMIN-NEXT: fcvt.s.h a0, a0 -; CHECK32-IZDINXZHINXMIN-NEXT: fcvt.wu.s a0, a0, rtz +; CHECK32-IZDINXZHINXMIN-NEXT: fcvt.w.s a0, a0, rtz ; CHECK32-IZDINXZHINXMIN-NEXT: ret ; ; CHECK64-IZDINXZHINXMIN-LABEL: fcvt_wu_s_i8: diff --git a/llvm/test/CodeGen/RISCV/half-round-conv.ll b/llvm/test/CodeGen/RISCV/half-round-conv.ll index 173164db5b780..2a1e0cfdda83e 100644 --- a/llvm/test/CodeGen/RISCV/half-round-conv.ll +++ b/llvm/test/CodeGen/RISCV/half-round-conv.ll @@ -509,7 +509,7 @@ define zeroext i8 @test_floor_ui8(half %x) { ; RV32IZFHMIN-NEXT: .LBB4_2: ; RV32IZFHMIN-NEXT: fcvt.h.s fa5, fa5 ; RV32IZFHMIN-NEXT: fcvt.s.h fa5, fa5 -; RV32IZFHMIN-NEXT: fcvt.wu.s a0, fa5, rtz +; RV32IZFHMIN-NEXT: fcvt.w.s a0, fa5, rtz ; RV32IZFHMIN-NEXT: ret ; ; RV64IZFHMIN-LABEL: test_floor_ui8: @@ -544,7 +544,7 @@ define zeroext i8 @test_floor_ui8(half %x) { ; RV32IZHINXMIN-NEXT: .LBB4_2: ; RV32IZHINXMIN-NEXT: fcvt.h.s a0, a0 ; RV32IZHINXMIN-NEXT: fcvt.s.h a0, a0 -; RV32IZHINXMIN-NEXT: fcvt.wu.s a0, a0, rtz +; RV32IZHINXMIN-NEXT: fcvt.w.s a0, a0, rtz ; RV32IZHINXMIN-NEXT: ret ; ; RV64IZHINXMIN-LABEL: test_floor_ui8: @@ -624,7 +624,7 @@ define zeroext i16 @test_floor_ui16(half %x) { ; RV32IZFHMIN-NEXT: .LBB5_2: ; RV32IZFHMIN-NEXT: fcvt.h.s fa5, fa5 ; RV32IZFHMIN-NEXT: fcvt.s.h fa5, fa5 -; RV32IZFHMIN-NEXT: fcvt.wu.s a0, fa5, rtz +; RV32IZFHMIN-NEXT: fcvt.w.s a0, fa5, rtz ; RV32IZFHMIN-NEXT: ret ; ; RV64IZFHMIN-LABEL: test_floor_ui16: @@ -659,7 +659,7 @@ define zeroext i16 @test_floor_ui16(half %x) { ; RV32IZHINXMIN-NEXT: .LBB5_2: ; RV32IZHINXMIN-NEXT: fcvt.h.s a0, a0 ; RV32IZHINXMIN-NEXT: fcvt.s.h a0, a0 -; RV32IZHINXMIN-NEXT: fcvt.wu.s a0, a0, rtz +; RV32IZHINXMIN-NEXT: fcvt.w.s a0, a0, rtz ; RV32IZHINXMIN-NEXT: ret ; ; RV64IZHINXMIN-LABEL: test_floor_ui16: @@ -1383,7 +1383,7 @@ define zeroext i8 @test_ceil_ui8(half %x) { ; RV32IZFHMIN-NEXT: .LBB12_2: ; RV32IZFHMIN-NEXT: fcvt.h.s fa5, fa5 ; RV32IZFHMIN-NEXT: fcvt.s.h fa5, fa5 -; RV32IZFHMIN-NEXT: fcvt.wu.s a0, fa5, rtz +; RV32IZFHMIN-NEXT: fcvt.w.s a0, fa5, rtz ; RV32IZFHMIN-NEXT: ret ; ; RV64IZFHMIN-LABEL: test_ceil_ui8: @@ -1418,7 +1418,7 @@ define zeroext i8 @test_ceil_ui8(half %x) { ; RV32IZHINXMIN-NEXT: .LBB12_2: ; RV32IZHINXMIN-NEXT: fcvt.h.s a0, a0 ; RV32IZHINXMIN-NEXT: fcvt.s.h a0, a0 -; RV32IZHINXMIN-NEXT: fcvt.wu.s a0, a0, rtz +; RV32IZHINXMIN-NEXT: fcvt.w.s a0, a0, rtz ; RV32IZHINXMIN-NEXT: ret ; ; RV64IZHINXMIN-LABEL: test_ceil_ui8: @@ -1498,7 +1498,7 @@ define zeroext i16 @test_ceil_ui16(half %x) { ; RV32IZFHMIN-NEXT: .LBB13_2: ; RV32IZFHMIN-NEXT: fcvt.h.s fa5, fa5 ; RV32IZFHMIN-NEXT: fcvt.s.h fa5, fa5 -; RV32IZFHMIN-NEXT: fcvt.wu.s a0, fa5, rtz +; RV32IZFHMIN-NEXT: fcvt.w.s a0, fa5, rtz ; RV32IZFHMIN-NEXT: ret ; ; RV64IZFHMIN-LABEL: test_ceil_ui16: @@ -1533,7 +1533,7 @@ define zeroext i16 @test_ceil_ui16(half %x) { ; RV32IZHINXMIN-NEXT: .LBB13_2: ; RV32IZHINXMIN-NEXT: fcvt.h.s a0, a0 ; RV32IZHINXMIN-NEXT: fcvt.s.h a0, a0 -; RV32IZHINXMIN-NEXT: fcvt.wu.s a0, a0, rtz +; RV32IZHINXMIN-NEXT: fcvt.w.s a0, a0, rtz ; RV32IZHINXMIN-NEXT: ret ; ; RV64IZHINXMIN-LABEL: test_ceil_ui16: @@ -2257,7 +2257,7 @@ define zeroext i8 @test_trunc_ui8(half %x) { ; RV32IZFHMIN-NEXT: .LBB20_2: ; RV32IZFHMIN-NEXT: fcvt.h.s fa5, fa5 ; RV32IZFHMIN-NEXT: fcvt.s.h fa5, fa5 -; RV32IZFHMIN-NEXT: fcvt.wu.s a0, fa5, rtz +; RV32IZFHMIN-NEXT: fcvt.w.s a0, fa5, rtz ; RV32IZFHMIN-NEXT: ret ; ; RV64IZFHMIN-LABEL: test_trunc_ui8: @@ -2292,7 +2292,7 @@ define zeroext i8 @test_trunc_ui8(half %x) { ; RV32IZHINXMIN-NEXT: .LBB20_2: ; RV32IZHINXMIN-NEXT: fcvt.h.s a0, a0 ; RV32IZHINXMIN-NEXT: fcvt.s.h a0, a0 -; RV32IZHINXMIN-NEXT: fcvt.wu.s a0, a0, rtz +; RV32IZHINXMIN-NEXT: fcvt.w.s a0, a0, rtz ; RV32IZHINXMIN-NEXT: ret ; ; RV64IZHINXMIN-LABEL: test_trunc_ui8: @@ -2372,7 +2372,7 @@ define zeroext i16 @test_trunc_ui16(half %x) { ; RV32IZFHMIN-NEXT: .LBB21_2: ; RV32IZFHMIN-NEXT: fcvt.h.s fa5, fa5 ; RV32IZFHMIN-NEXT: fcvt.s.h fa5, fa5 -; RV32IZFHMIN-NEXT: fcvt.wu.s a0, fa5, rtz +; RV32IZFHMIN-NEXT: fcvt.w.s a0, fa5, rtz ; RV32IZFHMIN-NEXT: ret ; ; RV64IZFHMIN-LABEL: test_trunc_ui16: @@ -2407,7 +2407,7 @@ define zeroext i16 @test_trunc_ui16(half %x) { ; RV32IZHINXMIN-NEXT: .LBB21_2: ; RV32IZHINXMIN-NEXT: fcvt.h.s a0, a0 ; RV32IZHINXMIN-NEXT: fcvt.s.h a0, a0 -; RV32IZHINXMIN-NEXT: fcvt.wu.s a0, a0, rtz +; RV32IZHINXMIN-NEXT: fcvt.w.s a0, a0, rtz ; RV32IZHINXMIN-NEXT: ret ; ; RV64IZHINXMIN-LABEL: test_trunc_ui16: @@ -3131,7 +3131,7 @@ define zeroext i8 @test_round_ui8(half %x) { ; RV32IZFHMIN-NEXT: .LBB28_2: ; RV32IZFHMIN-NEXT: fcvt.h.s fa5, fa5 ; RV32IZFHMIN-NEXT: fcvt.s.h fa5, fa5 -; RV32IZFHMIN-NEXT: fcvt.wu.s a0, fa5, rtz +; RV32IZFHMIN-NEXT: fcvt.w.s a0, fa5, rtz ; RV32IZFHMIN-NEXT: ret ; ; RV64IZFHMIN-LABEL: test_round_ui8: @@ -3166,7 +3166,7 @@ define zeroext i8 @test_round_ui8(half %x) { ; RV32IZHINXMIN-NEXT: .LBB28_2: ; RV32IZHINXMIN-NEXT: fcvt.h.s a0, a0 ; RV32IZHINXMIN-NEXT: fcvt.s.h a0, a0 -; RV32IZHINXMIN-NEXT: fcvt.wu.s a0, a0, rtz +; RV32IZHINXMIN-NEXT: fcvt.w.s a0, a0, rtz ; RV32IZHINXMIN-NEXT: ret ; ; RV64IZHINXMIN-LABEL: test_round_ui8: @@ -3246,7 +3246,7 @@ define zeroext i16 @test_round_ui16(half %x) { ; RV32IZFHMIN-NEXT: .LBB29_2: ; RV32IZFHMIN-NEXT: fcvt.h.s fa5, fa5 ; RV32IZFHMIN-NEXT: fcvt.s.h fa5, fa5 -; RV32IZFHMIN-NEXT: fcvt.wu.s a0, fa5, rtz +; RV32IZFHMIN-NEXT: fcvt.w.s a0, fa5, rtz ; RV32IZFHMIN-NEXT: ret ; ; RV64IZFHMIN-LABEL: test_round_ui16: @@ -3281,7 +3281,7 @@ define zeroext i16 @test_round_ui16(half %x) { ; RV32IZHINXMIN-NEXT: .LBB29_2: ; RV32IZHINXMIN-NEXT: fcvt.h.s a0, a0 ; RV32IZHINXMIN-NEXT: fcvt.s.h a0, a0 -; RV32IZHINXMIN-NEXT: fcvt.wu.s a0, a0, rtz +; RV32IZHINXMIN-NEXT: fcvt.w.s a0, a0, rtz ; RV32IZHINXMIN-NEXT: ret ; ; RV64IZHINXMIN-LABEL: test_round_ui16: @@ -4005,7 +4005,7 @@ define zeroext i8 @test_roundeven_ui8(half %x) { ; RV32IZFHMIN-NEXT: .LBB36_2: ; RV32IZFHMIN-NEXT: fcvt.h.s fa5, fa5 ; RV32IZFHMIN-NEXT: fcvt.s.h fa5, fa5 -; RV32IZFHMIN-NEXT: fcvt.wu.s a0, fa5, rtz +; RV32IZFHMIN-NEXT: fcvt.w.s a0, fa5, rtz ; RV32IZFHMIN-NEXT: ret ; ; RV64IZFHMIN-LABEL: test_roundeven_ui8: @@ -4040,7 +4040,7 @@ define zeroext i8 @test_roundeven_ui8(half %x) { ; RV32IZHINXMIN-NEXT: .LBB36_2: ; RV32IZHINXMIN-NEXT: fcvt.h.s a0, a0 ; RV32IZHINXMIN-NEXT: fcvt.s.h a0, a0 -; RV32IZHINXMIN-NEXT: fcvt.wu.s a0, a0, rtz +; RV32IZHINXMIN-NEXT: fcvt.w.s a0, a0, rtz ; RV32IZHINXMIN-NEXT: ret ; ; RV64IZHINXMIN-LABEL: test_roundeven_ui8: @@ -4120,7 +4120,7 @@ define zeroext i16 @test_roundeven_ui16(half %x) { ; RV32IZFHMIN-NEXT: .LBB37_2: ; RV32IZFHMIN-NEXT: fcvt.h.s fa5, fa5 ; RV32IZFHMIN-NEXT: fcvt.s.h fa5, fa5 -; RV32IZFHMIN-NEXT: fcvt.wu.s a0, fa5, rtz +; RV32IZFHMIN-NEXT: fcvt.w.s a0, fa5, rtz ; RV32IZFHMIN-NEXT: ret ; ; RV64IZFHMIN-LABEL: test_roundeven_ui16: @@ -4155,7 +4155,7 @@ define zeroext i16 @test_roundeven_ui16(half %x) { ; RV32IZHINXMIN-NEXT: .LBB37_2: ; RV32IZHINXMIN-NEXT: fcvt.h.s a0, a0 ; RV32IZHINXMIN-NEXT: fcvt.s.h a0, a0 -; RV32IZHINXMIN-NEXT: fcvt.wu.s a0, a0, rtz +; RV32IZHINXMIN-NEXT: fcvt.w.s a0, a0, rtz ; RV32IZHINXMIN-NEXT: ret ; ; RV64IZHINXMIN-LABEL: test_roundeven_ui16: diff --git a/llvm/test/CodeGen/RISCV/rvv/fixed-vectors-vfptoi-constrained-sdnode.ll b/llvm/test/CodeGen/RISCV/rvv/fixed-vectors-vfptoi-constrained-sdnode.ll index 4334f293d1e85..5ac0d8d120cba 100644 --- a/llvm/test/CodeGen/RISCV/rvv/fixed-vectors-vfptoi-constrained-sdnode.ll +++ b/llvm/test/CodeGen/RISCV/rvv/fixed-vectors-vfptoi-constrained-sdnode.ll @@ -55,14 +55,14 @@ define <1 x i7> @vfptoui_v1f16_v1i7(<1 x half> %va) strictfp { ; RV32: # %bb.0: ; RV32-NEXT: vsetivli zero, 1, e16, m1, ta, ma ; RV32-NEXT: vfmv.f.s fa5, v8 -; RV32-NEXT: fcvt.wu.h a0, fa5, rtz +; RV32-NEXT: fcvt.w.h a0, fa5, rtz ; RV32-NEXT: ret ; ; RV64-LABEL: vfptoui_v1f16_v1i7: ; RV64: # %bb.0: ; RV64-NEXT: vsetivli zero, 1, e16, m1, ta, ma ; RV64-NEXT: vfmv.f.s fa5, v8 -; RV64-NEXT: fcvt.lu.h a0, fa5, rtz +; RV64-NEXT: fcvt.l.h a0, fa5, rtz ; RV64-NEXT: ret %evec = call <1 x i7> @llvm.experimental.constrained.fptoui.v1i7.v1f16(<1 x half> %va, metadata !"fpexcept.strict") ret <1 x i7> %evec