reference, declarationdefinition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
    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
; RUN: llc -verify-machineinstrs < %s -mtriple=ppc32-- -mcpu=440 -fp-contract=fast | FileCheck %s

%0 = type { double, double }

define void @maybe_an_fma(%0* sret %agg.result, %0* byval %a, %0* byval %b, %0* byval %c) nounwind {
entry:
  %a.realp = getelementptr inbounds %0, %0* %a, i32 0, i32 0
  %a.real = load double, double* %a.realp
  %a.imagp = getelementptr inbounds %0, %0* %a, i32 0, i32 1
  %a.imag = load double, double* %a.imagp
  %b.realp = getelementptr inbounds %0, %0* %b, i32 0, i32 0
  %b.real = load double, double* %b.realp
  %b.imagp = getelementptr inbounds %0, %0* %b, i32 0, i32 1
  %b.imag = load double, double* %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.realp = getelementptr inbounds %0, %0* %c, i32 0, i32 0
  %c.real = load double, double* %c.realp
  %c.imagp = getelementptr inbounds %0, %0* %c, i32 0, i32 1
  %c.imag = load double, double* %c.imagp
  %add.r = fadd double %mul.r, %c.real
  %add.i = fadd double %mul.i, %c.imag
  %real = getelementptr inbounds %0, %0* %agg.result, i32 0, i32 0
  %imag = getelementptr inbounds %0, %0* %agg.result, i32 0, i32 1
  store double %add.r, double* %real
  store double %add.i, double* %imag
  ret void
; CHECK: fmadd
}