[RISCV] Add DAG combine to fold (fp_to_int (ffloor X)) -> (fcvt X, rdn)

[craig.topper]

Summary

Similar for ceil, trunc, round, and roundeven. This allows us to use
static rounding modes to avoid a libcall.

This optimization is done for AArch64 as isel patterns.
RISCV doesn't have instructions for ceil/floor/trunc/round/roundeven
so the operations don't stick around until isel to enable a pattern
match. Thus I've implemented a DAG combine.

We only handle XLen types except i32 on RV64. i32 will be type
legalized to a RISCVISD node. All other types will be type legalized
to XLen and maintain the FP_TO_SINT/UINT ISD opcode.

[craig.topper]

Remove a change that was only needed due to an earlier implementation.
clang-format

[craig.topper]

Rename check-prefixes

[asb]

LGTM, modulo one comment.

llvm/lib/Target/RISCV/RISCVISelLowering.cpp

7058

Is it possible to add some test coverage for this?

[craig.topper]

llvm/lib/Target/RISCV/RISCVISelLowering.cpp

7058

No because we don't have f16 as a legal type with Zfhmin yet. I was coding defensively assuming that would change in the future and I didn't want someone to have to audit for it.

[asb]

llvm/lib/Target/RISCV/RISCVISelLowering.cpp

7058

Thanks for clarifying - I'd forgotten f16 wasn't yet legal for zfhmin. As you suggest coding defensively is obviously the right thing to do even if we can't test it currently.

llvm/lib/Target/RISCV/RISCVISelLowering.cpp

 //===-- RISCVISelLowering.cpp - RISCV DAG Lowering Implementation  --------===//
 //
 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
 // See https://llvm.org/LICENSE.txt for license information.
 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
 //
 //===----------------------------------------------------------------------===//
 //
RISCVTargetLowering::RISCVTargetLowering(const TargetMachine &TM,
   setJumpIsExpensive();
 
   setTargetDAGCombine(ISD::ADD);
   setTargetDAGCombine(ISD::SUB);
   setTargetDAGCombine(ISD::AND);
   setTargetDAGCombine(ISD::OR);
   setTargetDAGCombine(ISD::XOR);
   setTargetDAGCombine(ISD::ANY_EXTEND);
+  if (Subtarget.hasStdExtF()) {
     setTargetDAGCombine(ISD::ZERO_EXTEND);
+    setTargetDAGCombine(ISD::FP_TO_SINT);
+    setTargetDAGCombine(ISD::FP_TO_UINT);
+  }
   if (Subtarget.hasVInstructions()) {
     setTargetDAGCombine(ISD::FCOPYSIGN);
     setTargetDAGCombine(ISD::MGATHER);
     setTargetDAGCombine(ISD::MSCATTER);
     setTargetDAGCombine(ISD::VP_GATHER);
     setTargetDAGCombine(ISD::VP_SCATTER);
     setTargetDAGCombine(ISD::SRA);
     setTargetDAGCombine(ISD::SRL);
if (Op0.getValueType() != NarrowVT)
     Op0 = DAG.getNode(ExtOpc, DL, NarrowVT, Op0, Mask, VL);
   if (Op1.getValueType() != NarrowVT)
     Op1 = DAG.getNode(ExtOpc, DL, NarrowVT, Op1, Mask, VL);
 
   unsigned WMulOpc = IsSignExt ? RISCVISD::VWMUL_VL : RISCVISD::VWMULU_VL;
   return DAG.getNode(WMulOpc, DL, VT, Op0, Op1, Mask, VL);
 }
 
+// Fold
+//   (fp_to_int (froundeven X)) -> fcvt X, rne
+//   (fp_to_int (ftrunc X))     -> fcvt X, rtz
+//   (fp_to_int (ffloor X))     -> fcvt X, rdn
+//   (fp_to_int (fceil X))      -> fcvt X, rup
+//   (fp_to_int (fround X))     -> fcvt X, rmm
+// FIXME: We should also do this for fp_to_int_sat.
+static SDValue performFP_TO_INTCombine(SDNode *N, TargetLowering::DAGCombinerInfo &DCI,
+                                       const RISCVSubtarget &Subtarget) {
+  SelectionDAG &DAG = DCI.DAG;
+  const TargetLowering &TLI = DAG.getTargetLoweringInfo();
+  MVT XLenVT = Subtarget.getXLenVT();
+
+  // Only handle XLen or i32 types. Other types narrower than XLen will
+  // eventually be legalized to XLenVT.
+  EVT VT = N->getValueType(0);
+  if (VT != MVT::i32 && VT != XLenVT)
+    return SDValue();
+
+  SDValue Src = N->getOperand(0);
+
+  // Ensure the FP type is also legal.
+  if (!TLI.isTypeLegal(Src.getValueType()))
+    return SDValue();
+
+  // Don't do this for f16 with Zfhmin and not Zfh.
+  if (Src.getValueType() == MVT::f16 && !Subtarget.hasStdExtZfh())
+    return SDValue();
+
+  RISCVFPRndMode::RoundingMode FRM;
+  switch (Src->getOpcode()) {
+  default:
+    return SDValue();
+  case ISD::FROUNDEVEN: FRM = RISCVFPRndMode::RNE; break;
+  case ISD::FTRUNC:     FRM = RISCVFPRndMode::RTZ; break;
+  case ISD::FFLOOR:     FRM = RISCVFPRndMode::RDN; break;
+  case ISD::FCEIL:      FRM = RISCVFPRndMode::RUP; break;
+  case ISD::FROUND:     FRM = RISCVFPRndMode::RMM; break;
+  }
+
+  bool IsSigned = N->getOpcode() == ISD::FP_TO_SINT;
+
+  unsigned Opc;
+  if (VT == XLenVT)
+    Opc = IsSigned ? RISCVISD::FCVT_X : RISCVISD::FCVT_XU;
+  else
+    Opc = IsSigned ? RISCVISD::FCVT_W_RV64 : RISCVISD::FCVT_WU_RV64;
+
+  SDLoc DL(N);
+  SDValue FpToInt = DAG.getNode(Opc, DL, XLenVT, Src.getOperand(0),
+                                DAG.getTargetConstant(FRM, DL, XLenVT));
+  return DAG.getNode(ISD::TRUNCATE, DL, VT, FpToInt);
+}
+
 SDValue RISCVTargetLowering::PerformDAGCombine(SDNode *N,
                                                DAGCombinerInfo &DCI) const {
   SelectionDAG &DAG = DCI.DAG;
 
   // Helper to call SimplifyDemandedBits on an operand of N where only some low
   // bits are demanded. N will be added to the Worklist if it was not deleted.
   // Caller should return SDValue(N, 0) if this returns true.
   auto SimplifyDemandedLowBitsHelper = [&](unsigned OpNo, unsigned LowBits) {
SDValue RISCVTargetLowering::PerformDAGCombine(SDNode *N,
   case ISD::XOR:
     return performXORCombine(N, DAG);
   case ISD::ANY_EXTEND:
     return performANY_EXTENDCombine(N, DCI, Subtarget);
   case ISD::ZERO_EXTEND:
     // Fold (zero_extend (fp_to_uint X)) to prevent forming fcvt+zexti32 during
     // type legalization. This is safe because fp_to_uint produces poison if
     // it overflows.
-    if (N->getValueType(0) == MVT::i64 && Subtarget.is64Bit()) {
+    if (N->getValueType(0) == MVT::i64 && Subtarget.is64Bit() &&
+        N->getOperand(0).getValueType() == MVT::i32) {
       SDValue Src = N->getOperand(0);
       if (Src.getOpcode() == ISD::FP_TO_UINT &&
           isTypeLegal(Src.getOperand(0).getValueType()))
         return DAG.getNode(ISD::FP_TO_UINT, SDLoc(N), MVT::i64,
                            Src.getOperand(0));
       if (Src.getOpcode() == ISD::STRICT_FP_TO_UINT && Src.hasOneUse() &&
           isTypeLegal(Src.getOperand(1).getValueType())) {
         SDVTList VTs = DAG.getVTList(MVT::i64, MVT::Other);
if (isOneConstant(RHS) && DAG.MaskedValueIsZero(LHS, Mask)) {
       SDValue TargetCC = DAG.getCondCode(CCVal);
       RHS = DAG.getConstant(0, DL, LHS.getValueType());
       return DAG.getNode(RISCVISD::BR_CC, DL, N->getValueType(0),
                          N->getOperand(0), LHS, RHS, TargetCC,
                          N->getOperand(4));
     }
     break;
   }
+  case ISD::FP_TO_SINT:
+  case ISD::FP_TO_UINT:
+    return performFP_TO_INTCombine(N, DCI, Subtarget);
   case ISD::FCOPYSIGN: {
     EVT VT = N->getValueType(0);
     if (!VT.isVector())
       break;
     // There is a form of VFSGNJ which injects the negated sign of its second
     // operand. Try and bubble any FNEG up after the extend/round to produce
     // this optimized pattern. Avoid modifying cases where FP_ROUND and
     // TRUNC=1.

llvm/test/CodeGen/RISCV/double-round-conv.ll

+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
+; RUN: llc -mtriple=riscv32 -mattr=+d -verify-machineinstrs < %s \
+; RUN:   -target-abi=ilp32d | FileCheck -check-prefix=RV32IF %s
+; RUN: llc -mtriple=riscv64 -mattr=+d -verify-machineinstrs < %s \
+; RUN:   -target-abi=lp64d | FileCheck -check-prefix=RV64IF %s
+
+define signext i8 @test_floor_si8(double %x) {
+; RV32IF-LABEL: test_floor_si8:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.w.d a0, fa0, rdn
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_floor_si8:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.l.d a0, fa0, rdn
+; RV64IF-NEXT:    ret
+  %a = call double @llvm.floor.f64(double %x)
+  %b = fptosi double %a to i8
+  ret i8 %b
+}
+
+define signext i16 @test_floor_si16(double %x) {
+; RV32IF-LABEL: test_floor_si16:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.w.d a0, fa0, rdn
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_floor_si16:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.l.d a0, fa0, rdn
+; RV64IF-NEXT:    ret
+  %a = call double @llvm.floor.f64(double %x)
+  %b = fptosi double %a to i16
+  ret i16 %b
+}
+
+define signext i32 @test_floor_si32(double %x) {
+; RV32IF-LABEL: test_floor_si32:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.w.d a0, fa0, rdn
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_floor_si32:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.w.d a0, fa0, rdn
+; RV64IF-NEXT:    ret
+  %a = call double @llvm.floor.f64(double %x)
+  %b = fptosi double %a to i32
+  ret i32 %b
+}
+
+define i64 @test_floor_si64(double %x) {
+; RV32IF-LABEL: test_floor_si64:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    addi sp, sp, -16
+; RV32IF-NEXT:    .cfi_def_cfa_offset 16
+; RV32IF-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
+; RV32IF-NEXT:    .cfi_offset ra, -4
+; RV32IF-NEXT:    call floor@plt
+; RV32IF-NEXT:    call __fixdfdi@plt
+; RV32IF-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
+; RV32IF-NEXT:    addi sp, sp, 16
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_floor_si64:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.l.d a0, fa0, rdn
+; RV64IF-NEXT:    ret
+  %a = call double @llvm.floor.f64(double %x)
+  %b = fptosi double %a to i64
+  ret i64 %b
+}
+
+define zeroext i8 @test_floor_ui8(double %x) {
+; RV32IF-LABEL: test_floor_ui8:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.wu.d a0, fa0, rdn
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_floor_ui8:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.lu.d a0, fa0, rdn
+; RV64IF-NEXT:    ret
+  %a = call double @llvm.floor.f64(double %x)
+  %b = fptoui double %a to i8
+  ret i8 %b
+}
+
+define zeroext i16 @test_floor_ui16(double %x) {
+; RV32IF-LABEL: test_floor_ui16:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.wu.d a0, fa0, rdn
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_floor_ui16:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.lu.d a0, fa0, rdn
+; RV64IF-NEXT:    ret
+  %a = call double @llvm.floor.f64(double %x)
+  %b = fptoui double %a to i16
+  ret i16 %b
+}
+
+define signext i32 @test_floor_ui32(double %x) {
+; RV32IF-LABEL: test_floor_ui32:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.wu.d a0, fa0, rdn
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_floor_ui32:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.wu.d a0, fa0, rdn
+; RV64IF-NEXT:    ret
+  %a = call double @llvm.floor.f64(double %x)
+  %b = fptoui double %a to i32
+  ret i32 %b
+}
+
+define i64 @test_floor_ui64(double %x) {
+; RV32IF-LABEL: test_floor_ui64:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    addi sp, sp, -16
+; RV32IF-NEXT:    .cfi_def_cfa_offset 16
+; RV32IF-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
+; RV32IF-NEXT:    .cfi_offset ra, -4
+; RV32IF-NEXT:    call floor@plt
+; RV32IF-NEXT:    call __fixunsdfdi@plt
+; RV32IF-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
+; RV32IF-NEXT:    addi sp, sp, 16
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_floor_ui64:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.lu.d a0, fa0, rdn
+; RV64IF-NEXT:    ret
+  %a = call double @llvm.floor.f64(double %x)
+  %b = fptoui double %a to i64
+  ret i64 %b
+}
+
+define signext i8 @test_ceil_si8(double %x) {
+; RV32IF-LABEL: test_ceil_si8:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.w.d a0, fa0, rup
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_ceil_si8:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.l.d a0, fa0, rup
+; RV64IF-NEXT:    ret
+  %a = call double @llvm.ceil.f64(double %x)
+  %b = fptosi double %a to i8
+  ret i8 %b
+}
+
+define signext i16 @test_ceil_si16(double %x) {
+; RV32IF-LABEL: test_ceil_si16:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.w.d a0, fa0, rup
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_ceil_si16:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.l.d a0, fa0, rup
+; RV64IF-NEXT:    ret
+  %a = call double @llvm.ceil.f64(double %x)
+  %b = fptosi double %a to i16
+  ret i16 %b
+}
+
+define signext i32 @test_ceil_si32(double %x) {
+; RV32IF-LABEL: test_ceil_si32:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.w.d a0, fa0, rup
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_ceil_si32:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.w.d a0, fa0, rup
+; RV64IF-NEXT:    ret
+  %a = call double @llvm.ceil.f64(double %x)
+  %b = fptosi double %a to i32
+  ret i32 %b
+}
+
+define i64 @test_ceil_si64(double %x) {
+; RV32IF-LABEL: test_ceil_si64:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    addi sp, sp, -16
+; RV32IF-NEXT:    .cfi_def_cfa_offset 16
+; RV32IF-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
+; RV32IF-NEXT:    .cfi_offset ra, -4
+; RV32IF-NEXT:    call ceil@plt
+; RV32IF-NEXT:    call __fixdfdi@plt
+; RV32IF-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
+; RV32IF-NEXT:    addi sp, sp, 16
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_ceil_si64:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.l.d a0, fa0, rup
+; RV64IF-NEXT:    ret
+  %a = call double @llvm.ceil.f64(double %x)
+  %b = fptosi double %a to i64
+  ret i64 %b
+}
+
+define zeroext i8 @test_ceil_ui8(double %x) {
+; RV32IF-LABEL: test_ceil_ui8:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.wu.d a0, fa0, rup
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_ceil_ui8:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.lu.d a0, fa0, rup
+; RV64IF-NEXT:    ret
+  %a = call double @llvm.ceil.f64(double %x)
+  %b = fptoui double %a to i8
+  ret i8 %b
+}
+
+define zeroext i16 @test_ceil_ui16(double %x) {
+; RV32IF-LABEL: test_ceil_ui16:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.wu.d a0, fa0, rup
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_ceil_ui16:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.lu.d a0, fa0, rup
+; RV64IF-NEXT:    ret
+  %a = call double @llvm.ceil.f64(double %x)
+  %b = fptoui double %a to i16
+  ret i16 %b
+}
+
+define signext i32 @test_ceil_ui32(double %x) {
+; RV32IF-LABEL: test_ceil_ui32:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.wu.d a0, fa0, rup
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_ceil_ui32:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.wu.d a0, fa0, rup
+; RV64IF-NEXT:    ret
+  %a = call double @llvm.ceil.f64(double %x)
+  %b = fptoui double %a to i32
+  ret i32 %b
+}
+
+define i64 @test_ceil_ui64(double %x) {
+; RV32IF-LABEL: test_ceil_ui64:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    addi sp, sp, -16
+; RV32IF-NEXT:    .cfi_def_cfa_offset 16
+; RV32IF-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
+; RV32IF-NEXT:    .cfi_offset ra, -4
+; RV32IF-NEXT:    call ceil@plt
+; RV32IF-NEXT:    call __fixunsdfdi@plt
+; RV32IF-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
+; RV32IF-NEXT:    addi sp, sp, 16
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_ceil_ui64:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.lu.d a0, fa0, rup
+; RV64IF-NEXT:    ret
+  %a = call double @llvm.ceil.f64(double %x)
+  %b = fptoui double %a to i64
+  ret i64 %b
+}
+
+define signext i8 @test_trunc_si8(double %x) {
+; RV32IF-LABEL: test_trunc_si8:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.w.d a0, fa0, rtz
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_trunc_si8:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.l.d a0, fa0, rtz
+; RV64IF-NEXT:    ret
+  %a = call double @llvm.trunc.f64(double %x)
+  %b = fptosi double %a to i8
+  ret i8 %b
+}
+
+define signext i16 @test_trunc_si16(double %x) {
+; RV32IF-LABEL: test_trunc_si16:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.w.d a0, fa0, rtz
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_trunc_si16:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.l.d a0, fa0, rtz
+; RV64IF-NEXT:    ret
+  %a = call double @llvm.trunc.f64(double %x)
+  %b = fptosi double %a to i16
+  ret i16 %b
+}
+
+define signext i32 @test_trunc_si32(double %x) {
+; RV32IF-LABEL: test_trunc_si32:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.w.d a0, fa0, rtz
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_trunc_si32:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.w.d a0, fa0, rtz
+; RV64IF-NEXT:    ret
+  %a = call double @llvm.trunc.f64(double %x)
+  %b = fptosi double %a to i32
+  ret i32 %b
+}
+
+define i64 @test_trunc_si64(double %x) {
+; RV32IF-LABEL: test_trunc_si64:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    addi sp, sp, -16
+; RV32IF-NEXT:    .cfi_def_cfa_offset 16
+; RV32IF-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
+; RV32IF-NEXT:    .cfi_offset ra, -4
+; RV32IF-NEXT:    call trunc@plt
+; RV32IF-NEXT:    call __fixdfdi@plt
+; RV32IF-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
+; RV32IF-NEXT:    addi sp, sp, 16
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_trunc_si64:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.l.d a0, fa0, rtz
+; RV64IF-NEXT:    ret
+  %a = call double @llvm.trunc.f64(double %x)
+  %b = fptosi double %a to i64
+  ret i64 %b
+}
+
+define zeroext i8 @test_trunc_ui8(double %x) {
+; RV32IF-LABEL: test_trunc_ui8:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.wu.d a0, fa0, rtz
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_trunc_ui8:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.lu.d a0, fa0, rtz
+; RV64IF-NEXT:    ret
+  %a = call double @llvm.trunc.f64(double %x)
+  %b = fptoui double %a to i8
+  ret i8 %b
+}
+
+define zeroext i16 @test_trunc_ui16(double %x) {
+; RV32IF-LABEL: test_trunc_ui16:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.wu.d a0, fa0, rtz
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_trunc_ui16:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.lu.d a0, fa0, rtz
+; RV64IF-NEXT:    ret
+  %a = call double @llvm.trunc.f64(double %x)
+  %b = fptoui double %a to i16
+  ret i16 %b
+}
+
+define signext i32 @test_trunc_ui32(double %x) {
+; RV32IF-LABEL: test_trunc_ui32:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.wu.d a0, fa0, rtz
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_trunc_ui32:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.wu.d a0, fa0, rtz
+; RV64IF-NEXT:    ret
+  %a = call double @llvm.trunc.f64(double %x)
+  %b = fptoui double %a to i32
+  ret i32 %b
+}
+
+define i64 @test_trunc_ui64(double %x) {
+; RV32IF-LABEL: test_trunc_ui64:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    addi sp, sp, -16
+; RV32IF-NEXT:    .cfi_def_cfa_offset 16
+; RV32IF-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
+; RV32IF-NEXT:    .cfi_offset ra, -4
+; RV32IF-NEXT:    call trunc@plt
+; RV32IF-NEXT:    call __fixunsdfdi@plt
+; RV32IF-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
+; RV32IF-NEXT:    addi sp, sp, 16
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_trunc_ui64:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.lu.d a0, fa0, rtz
+; RV64IF-NEXT:    ret
+  %a = call double @llvm.trunc.f64(double %x)
+  %b = fptoui double %a to i64
+  ret i64 %b
+}
+
+define signext i8 @test_round_si8(double %x) {
+; RV32IF-LABEL: test_round_si8:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.w.d a0, fa0, rmm
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_round_si8:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.l.d a0, fa0, rmm
+; RV64IF-NEXT:    ret
+  %a = call double @llvm.round.f64(double %x)
+  %b = fptosi double %a to i8
+  ret i8 %b
+}
+
+define signext i16 @test_round_si16(double %x) {
+; RV32IF-LABEL: test_round_si16:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.w.d a0, fa0, rmm
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_round_si16:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.l.d a0, fa0, rmm
+; RV64IF-NEXT:    ret
+  %a = call double @llvm.round.f64(double %x)
+  %b = fptosi double %a to i16
+  ret i16 %b
+}
+
+define signext i32 @test_round_si32(double %x) {
+; RV32IF-LABEL: test_round_si32:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.w.d a0, fa0, rmm
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_round_si32:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.w.d a0, fa0, rmm
+; RV64IF-NEXT:    ret
+  %a = call double @llvm.round.f64(double %x)
+  %b = fptosi double %a to i32
+  ret i32 %b
+}
+
+define i64 @test_round_si64(double %x) {
+; RV32IF-LABEL: test_round_si64:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    addi sp, sp, -16
+; RV32IF-NEXT:    .cfi_def_cfa_offset 16
+; RV32IF-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
+; RV32IF-NEXT:    .cfi_offset ra, -4
+; RV32IF-NEXT:    call round@plt
+; RV32IF-NEXT:    call __fixdfdi@plt
+; RV32IF-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
+; RV32IF-NEXT:    addi sp, sp, 16
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_round_si64:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.l.d a0, fa0, rmm
+; RV64IF-NEXT:    ret
+  %a = call double @llvm.round.f64(double %x)
+  %b = fptosi double %a to i64
+  ret i64 %b
+}
+
+define zeroext i8 @test_round_ui8(double %x) {
+; RV32IF-LABEL: test_round_ui8:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.wu.d a0, fa0, rmm
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_round_ui8:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.lu.d a0, fa0, rmm
+; RV64IF-NEXT:    ret
+  %a = call double @llvm.round.f64(double %x)
+  %b = fptoui double %a to i8
+  ret i8 %b
+}
+
+define zeroext i16 @test_round_ui16(double %x) {
+; RV32IF-LABEL: test_round_ui16:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.wu.d a0, fa0, rmm
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_round_ui16:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.lu.d a0, fa0, rmm
+; RV64IF-NEXT:    ret
+  %a = call double @llvm.round.f64(double %x)
+  %b = fptoui double %a to i16
+  ret i16 %b
+}
+
+define signext i32 @test_round_ui32(double %x) {
+; RV32IF-LABEL: test_round_ui32:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.wu.d a0, fa0, rmm
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_round_ui32:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.wu.d a0, fa0, rmm
+; RV64IF-NEXT:    ret
+  %a = call double @llvm.round.f64(double %x)
+  %b = fptoui double %a to i32
+  ret i32 %b
+}
+
+define i64 @test_round_ui64(double %x) {
+; RV32IF-LABEL: test_round_ui64:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    addi sp, sp, -16
+; RV32IF-NEXT:    .cfi_def_cfa_offset 16
+; RV32IF-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
+; RV32IF-NEXT:    .cfi_offset ra, -4
+; RV32IF-NEXT:    call round@plt
+; RV32IF-NEXT:    call __fixunsdfdi@plt
+; RV32IF-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
+; RV32IF-NEXT:    addi sp, sp, 16
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_round_ui64:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.lu.d a0, fa0, rmm
+; RV64IF-NEXT:    ret
+  %a = call double @llvm.round.f64(double %x)
+  %b = fptoui double %a to i64
+  ret i64 %b
+}
+
+define signext i8 @test_roundeven_si8(double %x) {
+; RV32IF-LABEL: test_roundeven_si8:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.w.d a0, fa0, rne
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_roundeven_si8:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.l.d a0, fa0, rne
+; RV64IF-NEXT:    ret
+  %a = call double @llvm.roundeven.f64(double %x)
+  %b = fptosi double %a to i8
+  ret i8 %b
+}
+
+define signext i16 @test_roundeven_si16(double %x) {
+; RV32IF-LABEL: test_roundeven_si16:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.w.d a0, fa0, rne
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_roundeven_si16:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.l.d a0, fa0, rne
+; RV64IF-NEXT:    ret
+  %a = call double @llvm.roundeven.f64(double %x)
+  %b = fptosi double %a to i16
+  ret i16 %b
+}
+
+define signext i32 @test_roundeven_si32(double %x) {
+; RV32IF-LABEL: test_roundeven_si32:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.w.d a0, fa0, rne
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_roundeven_si32:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.w.d a0, fa0, rne
+; RV64IF-NEXT:    ret
+  %a = call double @llvm.roundeven.f64(double %x)
+  %b = fptosi double %a to i32
+  ret i32 %b
+}
+
+define i64 @test_roundeven_si64(double %x) {
+; RV32IF-LABEL: test_roundeven_si64:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    addi sp, sp, -16
+; RV32IF-NEXT:    .cfi_def_cfa_offset 16
+; RV32IF-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
+; RV32IF-NEXT:    .cfi_offset ra, -4
+; RV32IF-NEXT:    call roundeven@plt
+; RV32IF-NEXT:    call __fixdfdi@plt
+; RV32IF-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
+; RV32IF-NEXT:    addi sp, sp, 16
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_roundeven_si64:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.l.d a0, fa0, rne
+; RV64IF-NEXT:    ret
+  %a = call double @llvm.roundeven.f64(double %x)
+  %b = fptosi double %a to i64
+  ret i64 %b
+}
+
+define zeroext i8 @test_roundeven_ui8(double %x) {
+; RV32IF-LABEL: test_roundeven_ui8:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.wu.d a0, fa0, rne
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_roundeven_ui8:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.lu.d a0, fa0, rne
+; RV64IF-NEXT:    ret
+  %a = call double @llvm.roundeven.f64(double %x)
+  %b = fptoui double %a to i8
+  ret i8 %b
+}
+
+define zeroext i16 @test_roundeven_ui16(double %x) {
+; RV32IF-LABEL: test_roundeven_ui16:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.wu.d a0, fa0, rne
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_roundeven_ui16:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.lu.d a0, fa0, rne
+; RV64IF-NEXT:    ret
+  %a = call double @llvm.roundeven.f64(double %x)
+  %b = fptoui double %a to i16
+  ret i16 %b
+}
+
+define signext i32 @test_roundeven_ui32(double %x) {
+; RV32IF-LABEL: test_roundeven_ui32:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.wu.d a0, fa0, rne
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_roundeven_ui32:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.wu.d a0, fa0, rne
+; RV64IF-NEXT:    ret
+  %a = call double @llvm.roundeven.f64(double %x)
+  %b = fptoui double %a to i32
+  ret i32 %b
+}
+
+define i64 @test_roundeven_ui64(double %x) {
+; RV32IF-LABEL: test_roundeven_ui64:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    addi sp, sp, -16
+; RV32IF-NEXT:    .cfi_def_cfa_offset 16
+; RV32IF-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
+; RV32IF-NEXT:    .cfi_offset ra, -4
+; RV32IF-NEXT:    call roundeven@plt
+; RV32IF-NEXT:    call __fixunsdfdi@plt
+; RV32IF-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
+; RV32IF-NEXT:    addi sp, sp, 16
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_roundeven_ui64:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.lu.d a0, fa0, rne
+; RV64IF-NEXT:    ret
+  %a = call double @llvm.roundeven.f64(double %x)
+  %b = fptoui double %a to i64
+  ret i64 %b
+}
+
+
+declare double @llvm.floor.f64(double)
+declare double @llvm.ceil.f64(double)
+declare double @llvm.trunc.f64(double)
+declare double @llvm.round.f64(double)
+declare double @llvm.roundeven.f64(double)

llvm/test/CodeGen/RISCV/float-round-conv.ll

+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
+; RUN: llc -mtriple=riscv32 -mattr=+f -verify-machineinstrs < %s \
+; RUN:   -target-abi=ilp32f | FileCheck -check-prefix=RV32IF %s
+; RUN: llc -mtriple=riscv64 -mattr=+f -verify-machineinstrs < %s \
+; RUN:   -target-abi=lp64f | FileCheck -check-prefix=RV64IF %s
+
+define signext i8 @test_floor_si8(float %x) {
+; RV32IF-LABEL: test_floor_si8:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.w.s a0, fa0, rdn
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_floor_si8:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.l.s a0, fa0, rdn
+; RV64IF-NEXT:    ret
+  %a = call float @llvm.floor.f32(float %x)
+  %b = fptosi float %a to i8
+  ret i8 %b
+}
+
+define signext i16 @test_floor_si16(float %x) {
+; RV32IF-LABEL: test_floor_si16:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.w.s a0, fa0, rdn
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_floor_si16:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.l.s a0, fa0, rdn
+; RV64IF-NEXT:    ret
+  %a = call float @llvm.floor.f32(float %x)
+  %b = fptosi float %a to i16
+  ret i16 %b
+}
+
+define signext i32 @test_floor_si32(float %x) {
+; RV32IF-LABEL: test_floor_si32:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.w.s a0, fa0, rdn
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_floor_si32:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.w.s a0, fa0, rdn
+; RV64IF-NEXT:    ret
+  %a = call float @llvm.floor.f32(float %x)
+  %b = fptosi float %a to i32
+  ret i32 %b
+}
+
+define i64 @test_floor_si64(float %x) {
+; RV32IF-LABEL: test_floor_si64:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    addi sp, sp, -16
+; RV32IF-NEXT:    .cfi_def_cfa_offset 16
+; RV32IF-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
+; RV32IF-NEXT:    .cfi_offset ra, -4
+; RV32IF-NEXT:    call floorf@plt
+; RV32IF-NEXT:    call __fixsfdi@plt
+; RV32IF-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
+; RV32IF-NEXT:    addi sp, sp, 16
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_floor_si64:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.l.s a0, fa0, rdn
+; RV64IF-NEXT:    ret
+  %a = call float @llvm.floor.f32(float %x)
+  %b = fptosi float %a to i64
+  ret i64 %b
+}
+
+define zeroext i8 @test_floor_ui8(float %x) {
+; RV32IF-LABEL: test_floor_ui8:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.wu.s a0, fa0, rdn
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_floor_ui8:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.lu.s a0, fa0, rdn
+; RV64IF-NEXT:    ret
+  %a = call float @llvm.floor.f32(float %x)
+  %b = fptoui float %a to i8
+  ret i8 %b
+}
+
+define zeroext i16 @test_floor_ui16(float %x) {
+; RV32IF-LABEL: test_floor_ui16:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.wu.s a0, fa0, rdn
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_floor_ui16:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.lu.s a0, fa0, rdn
+; RV64IF-NEXT:    ret
+  %a = call float @llvm.floor.f32(float %x)
+  %b = fptoui float %a to i16
+  ret i16 %b
+}
+
+define signext i32 @test_floor_ui32(float %x) {
+; RV32IF-LABEL: test_floor_ui32:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.wu.s a0, fa0, rdn
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_floor_ui32:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.wu.s a0, fa0, rdn
+; RV64IF-NEXT:    ret
+  %a = call float @llvm.floor.f32(float %x)
+  %b = fptoui float %a to i32
+  ret i32 %b
+}
+
+define i64 @test_floor_ui64(float %x) {
+; RV32IF-LABEL: test_floor_ui64:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    addi sp, sp, -16
+; RV32IF-NEXT:    .cfi_def_cfa_offset 16
+; RV32IF-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
+; RV32IF-NEXT:    .cfi_offset ra, -4
+; RV32IF-NEXT:    call floorf@plt
+; RV32IF-NEXT:    call __fixunssfdi@plt
+; RV32IF-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
+; RV32IF-NEXT:    addi sp, sp, 16
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_floor_ui64:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.lu.s a0, fa0, rdn
+; RV64IF-NEXT:    ret
+  %a = call float @llvm.floor.f32(float %x)
+  %b = fptoui float %a to i64
+  ret i64 %b
+}
+
+define signext i8 @test_ceil_si8(float %x) {
+; RV32IF-LABEL: test_ceil_si8:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.w.s a0, fa0, rup
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_ceil_si8:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.l.s a0, fa0, rup
+; RV64IF-NEXT:    ret
+  %a = call float @llvm.ceil.f32(float %x)
+  %b = fptosi float %a to i8
+  ret i8 %b
+}
+
+define signext i16 @test_ceil_si16(float %x) {
+; RV32IF-LABEL: test_ceil_si16:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.w.s a0, fa0, rup
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_ceil_si16:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.l.s a0, fa0, rup
+; RV64IF-NEXT:    ret
+  %a = call float @llvm.ceil.f32(float %x)
+  %b = fptosi float %a to i16
+  ret i16 %b
+}
+
+define signext i32 @test_ceil_si32(float %x) {
+; RV32IF-LABEL: test_ceil_si32:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.w.s a0, fa0, rup
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_ceil_si32:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.w.s a0, fa0, rup
+; RV64IF-NEXT:    ret
+  %a = call float @llvm.ceil.f32(float %x)
+  %b = fptosi float %a to i32
+  ret i32 %b
+}
+
+define i64 @test_ceil_si64(float %x) {
+; RV32IF-LABEL: test_ceil_si64:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    addi sp, sp, -16
+; RV32IF-NEXT:    .cfi_def_cfa_offset 16
+; RV32IF-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
+; RV32IF-NEXT:    .cfi_offset ra, -4
+; RV32IF-NEXT:    call ceilf@plt
+; RV32IF-NEXT:    call __fixsfdi@plt
+; RV32IF-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
+; RV32IF-NEXT:    addi sp, sp, 16
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_ceil_si64:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.l.s a0, fa0, rup
+; RV64IF-NEXT:    ret
+  %a = call float @llvm.ceil.f32(float %x)
+  %b = fptosi float %a to i64
+  ret i64 %b
+}
+
+define zeroext i8 @test_ceil_ui8(float %x) {
+; RV32IF-LABEL: test_ceil_ui8:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.wu.s a0, fa0, rup
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_ceil_ui8:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.lu.s a0, fa0, rup
+; RV64IF-NEXT:    ret
+  %a = call float @llvm.ceil.f32(float %x)
+  %b = fptoui float %a to i8
+  ret i8 %b
+}
+
+define zeroext i16 @test_ceil_ui16(float %x) {
+; RV32IF-LABEL: test_ceil_ui16:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.wu.s a0, fa0, rup
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_ceil_ui16:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.lu.s a0, fa0, rup
+; RV64IF-NEXT:    ret
+  %a = call float @llvm.ceil.f32(float %x)
+  %b = fptoui float %a to i16
+  ret i16 %b
+}
+
+define signext i32 @test_ceil_ui32(float %x) {
+; RV32IF-LABEL: test_ceil_ui32:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.wu.s a0, fa0, rup
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_ceil_ui32:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.wu.s a0, fa0, rup
+; RV64IF-NEXT:    ret
+  %a = call float @llvm.ceil.f32(float %x)
+  %b = fptoui float %a to i32
+  ret i32 %b
+}
+
+define i64 @test_ceil_ui64(float %x) {
+; RV32IF-LABEL: test_ceil_ui64:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    addi sp, sp, -16
+; RV32IF-NEXT:    .cfi_def_cfa_offset 16
+; RV32IF-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
+; RV32IF-NEXT:    .cfi_offset ra, -4
+; RV32IF-NEXT:    call ceilf@plt
+; RV32IF-NEXT:    call __fixunssfdi@plt
+; RV32IF-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
+; RV32IF-NEXT:    addi sp, sp, 16
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_ceil_ui64:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.lu.s a0, fa0, rup
+; RV64IF-NEXT:    ret
+  %a = call float @llvm.ceil.f32(float %x)
+  %b = fptoui float %a to i64
+  ret i64 %b
+}
+
+define signext i8 @test_trunc_si8(float %x) {
+; RV32IF-LABEL: test_trunc_si8:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.w.s a0, fa0, rtz
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_trunc_si8:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.l.s a0, fa0, rtz
+; RV64IF-NEXT:    ret
+  %a = call float @llvm.trunc.f32(float %x)
+  %b = fptosi float %a to i8
+  ret i8 %b
+}
+
+define signext i16 @test_trunc_si16(float %x) {
+; RV32IF-LABEL: test_trunc_si16:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.w.s a0, fa0, rtz
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_trunc_si16:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.l.s a0, fa0, rtz
+; RV64IF-NEXT:    ret
+  %a = call float @llvm.trunc.f32(float %x)
+  %b = fptosi float %a to i16
+  ret i16 %b
+}
+
+define signext i32 @test_trunc_si32(float %x) {
+; RV32IF-LABEL: test_trunc_si32:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.w.s a0, fa0, rtz
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_trunc_si32:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.w.s a0, fa0, rtz
+; RV64IF-NEXT:    ret
+  %a = call float @llvm.trunc.f32(float %x)
+  %b = fptosi float %a to i32
+  ret i32 %b
+}
+
+define i64 @test_trunc_si64(float %x) {
+; RV32IF-LABEL: test_trunc_si64:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    addi sp, sp, -16
+; RV32IF-NEXT:    .cfi_def_cfa_offset 16
+; RV32IF-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
+; RV32IF-NEXT:    .cfi_offset ra, -4
+; RV32IF-NEXT:    call truncf@plt
+; RV32IF-NEXT:    call __fixsfdi@plt
+; RV32IF-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
+; RV32IF-NEXT:    addi sp, sp, 16
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_trunc_si64:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.l.s a0, fa0, rtz
+; RV64IF-NEXT:    ret
+  %a = call float @llvm.trunc.f32(float %x)
+  %b = fptosi float %a to i64
+  ret i64 %b
+}
+
+define zeroext i8 @test_trunc_ui8(float %x) {
+; RV32IF-LABEL: test_trunc_ui8:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.wu.s a0, fa0, rtz
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_trunc_ui8:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.lu.s a0, fa0, rtz
+; RV64IF-NEXT:    ret
+  %a = call float @llvm.trunc.f32(float %x)
+  %b = fptoui float %a to i8
+  ret i8 %b
+}
+
+define zeroext i16 @test_trunc_ui16(float %x) {
+; RV32IF-LABEL: test_trunc_ui16:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.wu.s a0, fa0, rtz
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_trunc_ui16:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.lu.s a0, fa0, rtz
+; RV64IF-NEXT:    ret
+  %a = call float @llvm.trunc.f32(float %x)
+  %b = fptoui float %a to i16
+  ret i16 %b
+}
+
+define signext i32 @test_trunc_ui32(float %x) {
+; RV32IF-LABEL: test_trunc_ui32:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.wu.s a0, fa0, rtz
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_trunc_ui32:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.wu.s a0, fa0, rtz
+; RV64IF-NEXT:    ret
+  %a = call float @llvm.trunc.f32(float %x)
+  %b = fptoui float %a to i32
+  ret i32 %b
+}
+
+define i64 @test_trunc_ui64(float %x) {
+; RV32IF-LABEL: test_trunc_ui64:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    addi sp, sp, -16
+; RV32IF-NEXT:    .cfi_def_cfa_offset 16
+; RV32IF-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
+; RV32IF-NEXT:    .cfi_offset ra, -4
+; RV32IF-NEXT:    call truncf@plt
+; RV32IF-NEXT:    call __fixunssfdi@plt
+; RV32IF-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
+; RV32IF-NEXT:    addi sp, sp, 16
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_trunc_ui64:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.lu.s a0, fa0, rtz
+; RV64IF-NEXT:    ret
+  %a = call float @llvm.trunc.f32(float %x)
+  %b = fptoui float %a to i64
+  ret i64 %b
+}
+
+define signext i8 @test_round_si8(float %x) {
+; RV32IF-LABEL: test_round_si8:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.w.s a0, fa0, rmm
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_round_si8:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.l.s a0, fa0, rmm
+; RV64IF-NEXT:    ret
+  %a = call float @llvm.round.f32(float %x)
+  %b = fptosi float %a to i8
+  ret i8 %b
+}
+
+define signext i16 @test_round_si16(float %x) {
+; RV32IF-LABEL: test_round_si16:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.w.s a0, fa0, rmm
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_round_si16:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.l.s a0, fa0, rmm
+; RV64IF-NEXT:    ret
+  %a = call float @llvm.round.f32(float %x)
+  %b = fptosi float %a to i16
+  ret i16 %b
+}
+
+define signext i32 @test_round_si32(float %x) {
+; RV32IF-LABEL: test_round_si32:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.w.s a0, fa0, rmm
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_round_si32:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.w.s a0, fa0, rmm
+; RV64IF-NEXT:    ret
+  %a = call float @llvm.round.f32(float %x)
+  %b = fptosi float %a to i32
+  ret i32 %b
+}
+
+define i64 @test_round_si64(float %x) {
+; RV32IF-LABEL: test_round_si64:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    addi sp, sp, -16
+; RV32IF-NEXT:    .cfi_def_cfa_offset 16
+; RV32IF-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
+; RV32IF-NEXT:    .cfi_offset ra, -4
+; RV32IF-NEXT:    call roundf@plt
+; RV32IF-NEXT:    call __fixsfdi@plt
+; RV32IF-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
+; RV32IF-NEXT:    addi sp, sp, 16
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_round_si64:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.l.s a0, fa0, rmm
+; RV64IF-NEXT:    ret
+  %a = call float @llvm.round.f32(float %x)
+  %b = fptosi float %a to i64
+  ret i64 %b
+}
+
+define zeroext i8 @test_round_ui8(float %x) {
+; RV32IF-LABEL: test_round_ui8:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.wu.s a0, fa0, rmm
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_round_ui8:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.lu.s a0, fa0, rmm
+; RV64IF-NEXT:    ret
+  %a = call float @llvm.round.f32(float %x)
+  %b = fptoui float %a to i8
+  ret i8 %b
+}
+
+define zeroext i16 @test_round_ui16(float %x) {
+; RV32IF-LABEL: test_round_ui16:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.wu.s a0, fa0, rmm
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_round_ui16:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.lu.s a0, fa0, rmm
+; RV64IF-NEXT:    ret
+  %a = call float @llvm.round.f32(float %x)
+  %b = fptoui float %a to i16
+  ret i16 %b
+}
+
+define signext i32 @test_round_ui32(float %x) {
+; RV32IF-LABEL: test_round_ui32:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.wu.s a0, fa0, rmm
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_round_ui32:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.wu.s a0, fa0, rmm
+; RV64IF-NEXT:    ret
+  %a = call float @llvm.round.f32(float %x)
+  %b = fptoui float %a to i32
+  ret i32 %b
+}
+
+define i64 @test_round_ui64(float %x) {
+; RV32IF-LABEL: test_round_ui64:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    addi sp, sp, -16
+; RV32IF-NEXT:    .cfi_def_cfa_offset 16
+; RV32IF-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
+; RV32IF-NEXT:    .cfi_offset ra, -4
+; RV32IF-NEXT:    call roundf@plt
+; RV32IF-NEXT:    call __fixunssfdi@plt
+; RV32IF-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
+; RV32IF-NEXT:    addi sp, sp, 16
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_round_ui64:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.lu.s a0, fa0, rmm
+; RV64IF-NEXT:    ret
+  %a = call float @llvm.round.f32(float %x)
+  %b = fptoui float %a to i64
+  ret i64 %b
+}
+
+define signext i8 @test_roundeven_si8(float %x) {
+; RV32IF-LABEL: test_roundeven_si8:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.w.s a0, fa0, rne
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_roundeven_si8:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.l.s a0, fa0, rne
+; RV64IF-NEXT:    ret
+  %a = call float @llvm.roundeven.f32(float %x)
+  %b = fptosi float %a to i8
+  ret i8 %b
+}
+
+define signext i16 @test_roundeven_si16(float %x) {
+; RV32IF-LABEL: test_roundeven_si16:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.w.s a0, fa0, rne
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_roundeven_si16:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.l.s a0, fa0, rne
+; RV64IF-NEXT:    ret
+  %a = call float @llvm.roundeven.f32(float %x)
+  %b = fptosi float %a to i16
+  ret i16 %b
+}
+
+define signext i32 @test_roundeven_si32(float %x) {
+; RV32IF-LABEL: test_roundeven_si32:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.w.s a0, fa0, rne
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_roundeven_si32:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.w.s a0, fa0, rne
+; RV64IF-NEXT:    ret
+  %a = call float @llvm.roundeven.f32(float %x)
+  %b = fptosi float %a to i32
+  ret i32 %b
+}
+
+define i64 @test_roundeven_si64(float %x) {
+; RV32IF-LABEL: test_roundeven_si64:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    addi sp, sp, -16
+; RV32IF-NEXT:    .cfi_def_cfa_offset 16
+; RV32IF-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
+; RV32IF-NEXT:    .cfi_offset ra, -4
+; RV32IF-NEXT:    call roundevenf@plt
+; RV32IF-NEXT:    call __fixsfdi@plt
+; RV32IF-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
+; RV32IF-NEXT:    addi sp, sp, 16
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_roundeven_si64:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.l.s a0, fa0, rne
+; RV64IF-NEXT:    ret
+  %a = call float @llvm.roundeven.f32(float %x)
+  %b = fptosi float %a to i64
+  ret i64 %b
+}
+
+define zeroext i8 @test_roundeven_ui8(float %x) {
+; RV32IF-LABEL: test_roundeven_ui8:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.wu.s a0, fa0, rne
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_roundeven_ui8:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.lu.s a0, fa0, rne
+; RV64IF-NEXT:    ret
+  %a = call float @llvm.roundeven.f32(float %x)
+  %b = fptoui float %a to i8
+  ret i8 %b
+}
+
+define zeroext i16 @test_roundeven_ui16(float %x) {
+; RV32IF-LABEL: test_roundeven_ui16:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.wu.s a0, fa0, rne
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_roundeven_ui16:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.lu.s a0, fa0, rne
+; RV64IF-NEXT:    ret
+  %a = call float @llvm.roundeven.f32(float %x)
+  %b = fptoui float %a to i16
+  ret i16 %b
+}
+
+define signext i32 @test_roundeven_ui32(float %x) {
+; RV32IF-LABEL: test_roundeven_ui32:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.wu.s a0, fa0, rne
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_roundeven_ui32:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.wu.s a0, fa0, rne
+; RV64IF-NEXT:    ret
+  %a = call float @llvm.roundeven.f32(float %x)
+  %b = fptoui float %a to i32
+  ret i32 %b
+}
+
+define i64 @test_roundeven_ui64(float %x) {
+; RV32IF-LABEL: test_roundeven_ui64:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    addi sp, sp, -16
+; RV32IF-NEXT:    .cfi_def_cfa_offset 16
+; RV32IF-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
+; RV32IF-NEXT:    .cfi_offset ra, -4
+; RV32IF-NEXT:    call roundevenf@plt
+; RV32IF-NEXT:    call __fixunssfdi@plt
+; RV32IF-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
+; RV32IF-NEXT:    addi sp, sp, 16
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_roundeven_ui64:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.lu.s a0, fa0, rne
+; RV64IF-NEXT:    ret
+  %a = call float @llvm.roundeven.f32(float %x)
+  %b = fptoui float %a to i64
+  ret i64 %b
+}
+
+
+declare float @llvm.floor.f32(float)
+declare float @llvm.ceil.f32(float)
+declare float @llvm.trunc.f32(float)
+declare float @llvm.round.f32(float)
+declare float @llvm.roundeven.f32(float)

llvm/test/CodeGen/RISCV/half-round-conv.ll

+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
+; RUN: llc -mtriple=riscv32 -mattr=+experimental-zfh -verify-machineinstrs < %s \
+; RUN:   -target-abi=ilp32f | FileCheck -check-prefix=RV32IF %s
+; RUN: llc -mtriple=riscv64 -mattr=+experimental-zfh -verify-machineinstrs < %s \
+; RUN:   -target-abi=lp64f | FileCheck -check-prefix=RV64IF %s
+
+define signext i8 @test_floor_si8(half %x) {
+; RV32IF-LABEL: test_floor_si8:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.w.h a0, fa0, rdn
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_floor_si8:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.l.h a0, fa0, rdn
+; RV64IF-NEXT:    ret
+  %a = call half @llvm.floor.f16(half %x)
+  %b = fptosi half %a to i8
+  ret i8 %b
+}
+
+define signext i16 @test_floor_si16(half %x) {
+; RV32IF-LABEL: test_floor_si16:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.w.h a0, fa0, rdn
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_floor_si16:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.l.h a0, fa0, rdn
+; RV64IF-NEXT:    ret
+  %a = call half @llvm.floor.f16(half %x)
+  %b = fptosi half %a to i16
+  ret i16 %b
+}
+
+define signext i32 @test_floor_si32(half %x) {
+; RV32IF-LABEL: test_floor_si32:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.w.h a0, fa0, rdn
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_floor_si32:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.w.h a0, fa0, rdn
+; RV64IF-NEXT:    ret
+  %a = call half @llvm.floor.f16(half %x)
+  %b = fptosi half %a to i32
+  ret i32 %b
+}
+
+define i64 @test_floor_si64(half %x) {
+; RV32IF-LABEL: test_floor_si64:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    addi sp, sp, -16
+; RV32IF-NEXT:    .cfi_def_cfa_offset 16
+; RV32IF-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
+; RV32IF-NEXT:    .cfi_offset ra, -4
+; RV32IF-NEXT:    fcvt.s.h fa0, fa0
+; RV32IF-NEXT:    call floorf@plt
+; RV32IF-NEXT:    fcvt.h.s fa0, fa0
+; RV32IF-NEXT:    call __fixhfdi@plt
+; RV32IF-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
+; RV32IF-NEXT:    addi sp, sp, 16
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_floor_si64:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.l.h a0, fa0, rdn
+; RV64IF-NEXT:    ret
+  %a = call half @llvm.floor.f16(half %x)
+  %b = fptosi half %a to i64
+  ret i64 %b
+}
+
+define zeroext i8 @test_floor_ui8(half %x) {
+; RV32IF-LABEL: test_floor_ui8:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.wu.h a0, fa0, rdn
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_floor_ui8:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.lu.h a0, fa0, rdn
+; RV64IF-NEXT:    ret
+  %a = call half @llvm.floor.f16(half %x)
+  %b = fptoui half %a to i8
+  ret i8 %b
+}
+
+define zeroext i16 @test_floor_ui16(half %x) {
+; RV32IF-LABEL: test_floor_ui16:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.wu.h a0, fa0, rdn
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_floor_ui16:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.lu.h a0, fa0, rdn
+; RV64IF-NEXT:    ret
+  %a = call half @llvm.floor.f16(half %x)
+  %b = fptoui half %a to i16
+  ret i16 %b
+}
+
+define signext i32 @test_floor_ui32(half %x) {
+; RV32IF-LABEL: test_floor_ui32:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.wu.h a0, fa0, rdn
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_floor_ui32:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.wu.h a0, fa0, rdn
+; RV64IF-NEXT:    ret
+  %a = call half @llvm.floor.f16(half %x)
+  %b = fptoui half %a to i32
+  ret i32 %b
+}
+
+define i64 @test_floor_ui64(half %x) {
+; RV32IF-LABEL: test_floor_ui64:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    addi sp, sp, -16
+; RV32IF-NEXT:    .cfi_def_cfa_offset 16
+; RV32IF-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
+; RV32IF-NEXT:    .cfi_offset ra, -4
+; RV32IF-NEXT:    fcvt.s.h fa0, fa0
+; RV32IF-NEXT:    call floorf@plt
+; RV32IF-NEXT:    fcvt.h.s fa0, fa0
+; RV32IF-NEXT:    call __fixunshfdi@plt
+; RV32IF-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
+; RV32IF-NEXT:    addi sp, sp, 16
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_floor_ui64:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.lu.h a0, fa0, rdn
+; RV64IF-NEXT:    ret
+  %a = call half @llvm.floor.f16(half %x)
+  %b = fptoui half %a to i64
+  ret i64 %b
+}
+
+define signext i8 @test_ceil_si8(half %x) {
+; RV32IF-LABEL: test_ceil_si8:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.w.h a0, fa0, rup
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_ceil_si8:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.l.h a0, fa0, rup
+; RV64IF-NEXT:    ret
+  %a = call half @llvm.ceil.f16(half %x)
+  %b = fptosi half %a to i8
+  ret i8 %b
+}
+
+define signext i16 @test_ceil_si16(half %x) {
+; RV32IF-LABEL: test_ceil_si16:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.w.h a0, fa0, rup
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_ceil_si16:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.l.h a0, fa0, rup
+; RV64IF-NEXT:    ret
+  %a = call half @llvm.ceil.f16(half %x)
+  %b = fptosi half %a to i16
+  ret i16 %b
+}
+
+define signext i32 @test_ceil_si32(half %x) {
+; RV32IF-LABEL: test_ceil_si32:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.w.h a0, fa0, rup
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_ceil_si32:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.w.h a0, fa0, rup
+; RV64IF-NEXT:    ret
+  %a = call half @llvm.ceil.f16(half %x)
+  %b = fptosi half %a to i32
+  ret i32 %b
+}
+
+define i64 @test_ceil_si64(half %x) {
+; RV32IF-LABEL: test_ceil_si64:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    addi sp, sp, -16
+; RV32IF-NEXT:    .cfi_def_cfa_offset 16
+; RV32IF-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
+; RV32IF-NEXT:    .cfi_offset ra, -4
+; RV32IF-NEXT:    fcvt.s.h fa0, fa0
+; RV32IF-NEXT:    call ceilf@plt
+; RV32IF-NEXT:    fcvt.h.s fa0, fa0
+; RV32IF-NEXT:    call __fixhfdi@plt
+; RV32IF-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
+; RV32IF-NEXT:    addi sp, sp, 16
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_ceil_si64:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.l.h a0, fa0, rup
+; RV64IF-NEXT:    ret
+  %a = call half @llvm.ceil.f16(half %x)
+  %b = fptosi half %a to i64
+  ret i64 %b
+}
+
+define zeroext i8 @test_ceil_ui8(half %x) {
+; RV32IF-LABEL: test_ceil_ui8:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.wu.h a0, fa0, rup
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_ceil_ui8:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.lu.h a0, fa0, rup
+; RV64IF-NEXT:    ret
+  %a = call half @llvm.ceil.f16(half %x)
+  %b = fptoui half %a to i8
+  ret i8 %b
+}
+
+define zeroext i16 @test_ceil_ui16(half %x) {
+; RV32IF-LABEL: test_ceil_ui16:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.wu.h a0, fa0, rup
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_ceil_ui16:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.lu.h a0, fa0, rup
+; RV64IF-NEXT:    ret
+  %a = call half @llvm.ceil.f16(half %x)
+  %b = fptoui half %a to i16
+  ret i16 %b
+}
+
+define signext i32 @test_ceil_ui32(half %x) {
+; RV32IF-LABEL: test_ceil_ui32:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.wu.h a0, fa0, rup
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_ceil_ui32:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.wu.h a0, fa0, rup
+; RV64IF-NEXT:    ret
+  %a = call half @llvm.ceil.f16(half %x)
+  %b = fptoui half %a to i32
+  ret i32 %b
+}
+
+define i64 @test_ceil_ui64(half %x) {
+; RV32IF-LABEL: test_ceil_ui64:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    addi sp, sp, -16
+; RV32IF-NEXT:    .cfi_def_cfa_offset 16
+; RV32IF-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
+; RV32IF-NEXT:    .cfi_offset ra, -4
+; RV32IF-NEXT:    fcvt.s.h fa0, fa0
+; RV32IF-NEXT:    call ceilf@plt
+; RV32IF-NEXT:    fcvt.h.s fa0, fa0
+; RV32IF-NEXT:    call __fixunshfdi@plt
+; RV32IF-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
+; RV32IF-NEXT:    addi sp, sp, 16
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_ceil_ui64:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.lu.h a0, fa0, rup
+; RV64IF-NEXT:    ret
+  %a = call half @llvm.ceil.f16(half %x)
+  %b = fptoui half %a to i64
+  ret i64 %b
+}
+
+define signext i8 @test_trunc_si8(half %x) {
+; RV32IF-LABEL: test_trunc_si8:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.w.h a0, fa0, rtz
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_trunc_si8:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.l.h a0, fa0, rtz
+; RV64IF-NEXT:    ret
+  %a = call half @llvm.trunc.f16(half %x)
+  %b = fptosi half %a to i8
+  ret i8 %b
+}
+
+define signext i16 @test_trunc_si16(half %x) {
+; RV32IF-LABEL: test_trunc_si16:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.w.h a0, fa0, rtz
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_trunc_si16:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.l.h a0, fa0, rtz
+; RV64IF-NEXT:    ret
+  %a = call half @llvm.trunc.f16(half %x)
+  %b = fptosi half %a to i16
+  ret i16 %b
+}
+
+define signext i32 @test_trunc_si32(half %x) {
+; RV32IF-LABEL: test_trunc_si32:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.w.h a0, fa0, rtz
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_trunc_si32:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.w.h a0, fa0, rtz
+; RV64IF-NEXT:    ret
+  %a = call half @llvm.trunc.f16(half %x)
+  %b = fptosi half %a to i32
+  ret i32 %b
+}
+
+define i64 @test_trunc_si64(half %x) {
+; RV32IF-LABEL: test_trunc_si64:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    addi sp, sp, -16
+; RV32IF-NEXT:    .cfi_def_cfa_offset 16
+; RV32IF-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
+; RV32IF-NEXT:    .cfi_offset ra, -4
+; RV32IF-NEXT:    fcvt.s.h fa0, fa0
+; RV32IF-NEXT:    call truncf@plt
+; RV32IF-NEXT:    fcvt.h.s fa0, fa0
+; RV32IF-NEXT:    call __fixhfdi@plt
+; RV32IF-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
+; RV32IF-NEXT:    addi sp, sp, 16
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_trunc_si64:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.l.h a0, fa0, rtz
+; RV64IF-NEXT:    ret
+  %a = call half @llvm.trunc.f16(half %x)
+  %b = fptosi half %a to i64
+  ret i64 %b
+}
+
+define zeroext i8 @test_trunc_ui8(half %x) {
+; RV32IF-LABEL: test_trunc_ui8:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.wu.h a0, fa0, rtz
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_trunc_ui8:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.lu.h a0, fa0, rtz
+; RV64IF-NEXT:    ret
+  %a = call half @llvm.trunc.f16(half %x)
+  %b = fptoui half %a to i8
+  ret i8 %b
+}
+
+define zeroext i16 @test_trunc_ui16(half %x) {
+; RV32IF-LABEL: test_trunc_ui16:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.wu.h a0, fa0, rtz
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_trunc_ui16:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.lu.h a0, fa0, rtz
+; RV64IF-NEXT:    ret
+  %a = call half @llvm.trunc.f16(half %x)
+  %b = fptoui half %a to i16
+  ret i16 %b
+}
+
+define signext i32 @test_trunc_ui32(half %x) {
+; RV32IF-LABEL: test_trunc_ui32:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.wu.h a0, fa0, rtz
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_trunc_ui32:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.wu.h a0, fa0, rtz
+; RV64IF-NEXT:    ret
+  %a = call half @llvm.trunc.f16(half %x)
+  %b = fptoui half %a to i32
+  ret i32 %b
+}
+
+define i64 @test_trunc_ui64(half %x) {
+; RV32IF-LABEL: test_trunc_ui64:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    addi sp, sp, -16
+; RV32IF-NEXT:    .cfi_def_cfa_offset 16
+; RV32IF-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
+; RV32IF-NEXT:    .cfi_offset ra, -4
+; RV32IF-NEXT:    fcvt.s.h fa0, fa0
+; RV32IF-NEXT:    call truncf@plt
+; RV32IF-NEXT:    fcvt.h.s fa0, fa0
+; RV32IF-NEXT:    call __fixunshfdi@plt
+; RV32IF-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
+; RV32IF-NEXT:    addi sp, sp, 16
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_trunc_ui64:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.lu.h a0, fa0, rtz
+; RV64IF-NEXT:    ret
+  %a = call half @llvm.trunc.f16(half %x)
+  %b = fptoui half %a to i64
+  ret i64 %b
+}
+
+define signext i8 @test_round_si8(half %x) {
+; RV32IF-LABEL: test_round_si8:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.w.h a0, fa0, rmm
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_round_si8:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.l.h a0, fa0, rmm
+; RV64IF-NEXT:    ret
+  %a = call half @llvm.round.f16(half %x)
+  %b = fptosi half %a to i8
+  ret i8 %b
+}
+
+define signext i16 @test_round_si16(half %x) {
+; RV32IF-LABEL: test_round_si16:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.w.h a0, fa0, rmm
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_round_si16:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.l.h a0, fa0, rmm
+; RV64IF-NEXT:    ret
+  %a = call half @llvm.round.f16(half %x)
+  %b = fptosi half %a to i16
+  ret i16 %b
+}
+
+define signext i32 @test_round_si32(half %x) {
+; RV32IF-LABEL: test_round_si32:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.w.h a0, fa0, rmm
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_round_si32:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.w.h a0, fa0, rmm
+; RV64IF-NEXT:    ret
+  %a = call half @llvm.round.f16(half %x)
+  %b = fptosi half %a to i32
+  ret i32 %b
+}
+
+define i64 @test_round_si64(half %x) {
+; RV32IF-LABEL: test_round_si64:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    addi sp, sp, -16
+; RV32IF-NEXT:    .cfi_def_cfa_offset 16
+; RV32IF-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
+; RV32IF-NEXT:    .cfi_offset ra, -4
+; RV32IF-NEXT:    fcvt.s.h fa0, fa0
+; RV32IF-NEXT:    call roundf@plt
+; RV32IF-NEXT:    fcvt.h.s fa0, fa0
+; RV32IF-NEXT:    call __fixhfdi@plt
+; RV32IF-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
+; RV32IF-NEXT:    addi sp, sp, 16
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_round_si64:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.l.h a0, fa0, rmm
+; RV64IF-NEXT:    ret
+  %a = call half @llvm.round.f16(half %x)
+  %b = fptosi half %a to i64
+  ret i64 %b
+}
+
+define zeroext i8 @test_round_ui8(half %x) {
+; RV32IF-LABEL: test_round_ui8:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.wu.h a0, fa0, rmm
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_round_ui8:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.lu.h a0, fa0, rmm
+; RV64IF-NEXT:    ret
+  %a = call half @llvm.round.f16(half %x)
+  %b = fptoui half %a to i8
+  ret i8 %b
+}
+
+define zeroext i16 @test_round_ui16(half %x) {
+; RV32IF-LABEL: test_round_ui16:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.wu.h a0, fa0, rmm
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_round_ui16:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.lu.h a0, fa0, rmm
+; RV64IF-NEXT:    ret
+  %a = call half @llvm.round.f16(half %x)
+  %b = fptoui half %a to i16
+  ret i16 %b
+}
+
+define signext i32 @test_round_ui32(half %x) {
+; RV32IF-LABEL: test_round_ui32:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.wu.h a0, fa0, rmm
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_round_ui32:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.wu.h a0, fa0, rmm
+; RV64IF-NEXT:    ret
+  %a = call half @llvm.round.f16(half %x)
+  %b = fptoui half %a to i32
+  ret i32 %b
+}
+
+define i64 @test_round_ui64(half %x) {
+; RV32IF-LABEL: test_round_ui64:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    addi sp, sp, -16
+; RV32IF-NEXT:    .cfi_def_cfa_offset 16
+; RV32IF-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
+; RV32IF-NEXT:    .cfi_offset ra, -4
+; RV32IF-NEXT:    fcvt.s.h fa0, fa0
+; RV32IF-NEXT:    call roundf@plt
+; RV32IF-NEXT:    fcvt.h.s fa0, fa0
+; RV32IF-NEXT:    call __fixunshfdi@plt
+; RV32IF-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
+; RV32IF-NEXT:    addi sp, sp, 16
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_round_ui64:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.lu.h a0, fa0, rmm
+; RV64IF-NEXT:    ret
+  %a = call half @llvm.round.f16(half %x)
+  %b = fptoui half %a to i64
+  ret i64 %b
+}
+
+define signext i8 @test_roundeven_si8(half %x) {
+; RV32IF-LABEL: test_roundeven_si8:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.w.h a0, fa0, rne
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_roundeven_si8:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.l.h a0, fa0, rne
+; RV64IF-NEXT:    ret
+  %a = call half @llvm.roundeven.f16(half %x)
+  %b = fptosi half %a to i8
+  ret i8 %b
+}
+
+define signext i16 @test_roundeven_si16(half %x) {
+; RV32IF-LABEL: test_roundeven_si16:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.w.h a0, fa0, rne
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_roundeven_si16:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.l.h a0, fa0, rne
+; RV64IF-NEXT:    ret
+  %a = call half @llvm.roundeven.f16(half %x)
+  %b = fptosi half %a to i16
+  ret i16 %b
+}
+
+define signext i32 @test_roundeven_si32(half %x) {
+; RV32IF-LABEL: test_roundeven_si32:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.w.h a0, fa0, rne
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_roundeven_si32:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.w.h a0, fa0, rne
+; RV64IF-NEXT:    ret
+  %a = call half @llvm.roundeven.f16(half %x)
+  %b = fptosi half %a to i32
+  ret i32 %b
+}
+
+define i64 @test_roundeven_si64(half %x) {
+; RV32IF-LABEL: test_roundeven_si64:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    addi sp, sp, -16
+; RV32IF-NEXT:    .cfi_def_cfa_offset 16
+; RV32IF-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
+; RV32IF-NEXT:    .cfi_offset ra, -4
+; RV32IF-NEXT:    fcvt.s.h fa0, fa0
+; RV32IF-NEXT:    call roundevenf@plt
+; RV32IF-NEXT:    fcvt.h.s fa0, fa0
+; RV32IF-NEXT:    call __fixhfdi@plt
+; RV32IF-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
+; RV32IF-NEXT:    addi sp, sp, 16
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_roundeven_si64:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.l.h a0, fa0, rne
+; RV64IF-NEXT:    ret
+  %a = call half @llvm.roundeven.f16(half %x)
+  %b = fptosi half %a to i64
+  ret i64 %b
+}
+
+define zeroext i8 @test_roundeven_ui8(half %x) {
+; RV32IF-LABEL: test_roundeven_ui8:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.wu.h a0, fa0, rne
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_roundeven_ui8:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.lu.h a0, fa0, rne
+; RV64IF-NEXT:    ret
+  %a = call half @llvm.roundeven.f16(half %x)
+  %b = fptoui half %a to i8
+  ret i8 %b
+}
+
+define zeroext i16 @test_roundeven_ui16(half %x) {
+; RV32IF-LABEL: test_roundeven_ui16:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.wu.h a0, fa0, rne
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_roundeven_ui16:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.lu.h a0, fa0, rne
+; RV64IF-NEXT:    ret
+  %a = call half @llvm.roundeven.f16(half %x)
+  %b = fptoui half %a to i16
+  ret i16 %b
+}
+
+define signext i32 @test_roundeven_ui32(half %x) {
+; RV32IF-LABEL: test_roundeven_ui32:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    fcvt.wu.h a0, fa0, rne
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_roundeven_ui32:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.wu.h a0, fa0, rne
+; RV64IF-NEXT:    ret
+  %a = call half @llvm.roundeven.f16(half %x)
+  %b = fptoui half %a to i32
+  ret i32 %b
+}
+
+define i64 @test_roundeven_ui64(half %x) {
+; RV32IF-LABEL: test_roundeven_ui64:
+; RV32IF:       # %bb.0:
+; RV32IF-NEXT:    addi sp, sp, -16
+; RV32IF-NEXT:    .cfi_def_cfa_offset 16
+; RV32IF-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
+; RV32IF-NEXT:    .cfi_offset ra, -4
+; RV32IF-NEXT:    fcvt.s.h fa0, fa0
+; RV32IF-NEXT:    call roundevenf@plt
+; RV32IF-NEXT:    fcvt.h.s fa0, fa0
+; RV32IF-NEXT:    call __fixunshfdi@plt
+; RV32IF-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
+; RV32IF-NEXT:    addi sp, sp, 16
+; RV32IF-NEXT:    ret
+;
+; RV64IF-LABEL: test_roundeven_ui64:
+; RV64IF:       # %bb.0:
+; RV64IF-NEXT:    fcvt.lu.h a0, fa0, rne
+; RV64IF-NEXT:    ret
+  %a = call half @llvm.roundeven.f16(half %x)
+  %b = fptoui half %a to i64
+  ret i64 %b
+}
+
+declare half @llvm.floor.f16(half)
+declare half @llvm.ceil.f16(half)
+declare half @llvm.trunc.f16(half)
+declare half @llvm.round.f16(half)
+declare half @llvm.roundeven.f16(half)