1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
| ; 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 }
|