; NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
; RUN: llc -o - -verify-machineinstrs -global-isel -stop-after=irtranslator -fp-contract=fast %s | FileCheck %s --check-prefix=FPFAST
; RUN: llc -o - -verify-machineinstrs -global-isel -stop-after=irtranslator -fp-contract=off %s | FileCheck %s --check-prefix=FPOFF
target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128"
target triple = "aarch64--"

define float @test_fmuladd(float %x, float %y, float %z) {
  ; FPFAST-LABEL: name: test_fmuladd
  ; FPFAST: bb.1 (%ir-block.0):
  ; FPFAST:   liveins: $s0, $s1, $s2
  ; FPFAST:   [[COPY:%[0-9]+]]:_(s32) = COPY $s0
  ; FPFAST:   [[COPY1:%[0-9]+]]:_(s32) = COPY $s1
  ; FPFAST:   [[COPY2:%[0-9]+]]:_(s32) = COPY $s2
  ; FPFAST:   [[FMA:%[0-9]+]]:_(s32) = G_FMA [[COPY]], [[COPY1]], [[COPY2]]
  ; FPFAST:   $s0 = COPY [[FMA]](s32)
  ; FPFAST:   RET_ReallyLR implicit $s0
  ; FPOFF-LABEL: name: test_fmuladd
  ; FPOFF: bb.1 (%ir-block.0):
  ; FPOFF:   liveins: $s0, $s1, $s2
  ; FPOFF:   [[COPY:%[0-9]+]]:_(s32) = COPY $s0
  ; FPOFF:   [[COPY1:%[0-9]+]]:_(s32) = COPY $s1
  ; FPOFF:   [[COPY2:%[0-9]+]]:_(s32) = COPY $s2
  ; FPOFF:   [[FMUL:%[0-9]+]]:_(s32) = G_FMUL [[COPY]], [[COPY1]]
  ; FPOFF:   [[FADD:%[0-9]+]]:_(s32) = G_FADD [[FMUL]], [[COPY2]]
  ; FPOFF:   $s0 = COPY [[FADD]](s32)
  ; FPOFF:   RET_ReallyLR implicit $s0
  %res = call float @llvm.fmuladd.f32(float %x, float %y, float %z)
  ret float %res
}

; Function Attrs: nounwind readnone speculatable
declare float @llvm.fmuladd.f32(float, float, float) #0

attributes #0 = { nounwind readnone speculatable }