; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 3
; RUN: llc -mtriple=riscv64 -global-isel -mattr=+d -target-abi=lp64 \
; RUN: -verify-machineinstrs < %s | FileCheck -check-prefix=RV64I %s
; Test copying between FPR64 and GPR on RV64.
; FIXME: This test should be replaced with a more general calling convention
; test once we have more FP implemented.
define double @fadd_f64(double %x, double %y) {
; RV64I-LABEL: fadd_f64:
; RV64I: # %bb.0:
; RV64I-NEXT: fmv.d.x fa5, a0
; RV64I-NEXT: fmv.d.x fa4, a1
; RV64I-NEXT: fadd.d fa5, fa5, fa4
; RV64I-NEXT: fmv.x.d a0, fa5
; RV64I-NEXT: ret
%a = fadd double %x, %y
ret double %a
}
; Test copying between FPR32 and GPR on RV64.
; FIXME: This test should be replaced with a more general calling convention
; test once we have more FP implemented.
define float @fadd_f32(float %x, float %y) {
; RV32I-LABEL: fadd:
; RV32I: # %bb.0:
; RV32I-NEXT: fmv.d.x fa5, a0
; RV32I-NEXT: fmv.d.x fa4, a1
; RV32I-NEXT: fadd.d fa5, fa5, fa4
; RV32I-NEXT: fmv.x.d a0, fa5
; RV32I-NEXT: ret
%a = fadd float %x, %y
ret float %a
}