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
|
; RUN: llc -verify-machineinstrs < %s -mtriple=ppc32-- -mcpu=440 -fp-contract=fast | FileCheck %s
%0 = type { double, double }
define void @maybe_an_fma(ptr sret(%0) %agg.result, ptr byval(%0) %a, ptr byval(%0) %b, ptr byval(%0) %c) nounwind {
entry:
%a.real = load double, ptr %a
%a.imagp = getelementptr inbounds %0, ptr %a, i32 0, i32 1
%a.imag = load double, ptr %a.imagp
%b.real = load double, ptr %b
%b.imagp = getelementptr inbounds %0, ptr %b, i32 0, i32 1
%b.imag = load double, ptr %b.imagp
%mul.rl = fmul double %a.real, %b.real
%mul.rr = fmul double %a.imag, %b.imag
%mul.r = fsub double %mul.rl, %mul.rr
%mul.il = fmul double %a.imag, %b.real
%mul.ir = fmul double %a.real, %b.imag
%mul.i = fadd double %mul.il, %mul.ir
%c.real = load double, ptr %c
%c.imagp = getelementptr inbounds %0, ptr %c, i32 0, i32 1
%c.imag = load double, ptr %c.imagp
%add.r = fadd double %mul.r, %c.real
%add.i = fadd double %mul.i, %c.imag
%imag = getelementptr inbounds %0, ptr %agg.result, i32 0, i32 1
store double %add.r, ptr %agg.result
store double %add.i, ptr %imag
ret void
; CHECK: fmadd
}
|
