test/CodeGen/PowerPC/fma.ll

   1 ; RUN: llc < %s -march=ppc32 -fp-contract=fast | FileCheck %s
   2
   3 declare double @dummy1(double) #0
   4 declare double @dummy2(double, double) #0
   5 declare double @dummy3(double, double, double) #0
   6
   7 define double @test_FMADD1(double %A, double %B, double %C) {
   8         %D = fmul double %A, %B         ; <double> [#uses=1]
   9         %E = fadd double %C, %D         ; <double> [#uses=1]
  10         ret double %E
  11 ; CHECK-LABEL: test_FMADD1:
  12 ; CHECK: fmadd
  13 ; CHECK-NEXT: blr
  14 }
  15
  16 define double @test_FMADD2(double %A, double %B, double %C) {
  17         %D = fmul double %A, %B         ; <double> [#uses=1]
  18         %E = fadd double %D, %C         ; <double> [#uses=1]
  19         ret double %E
  20 ; CHECK-LABEL: test_FMADD2:
  21 ; CHECK: fmadd
  22 ; CHECK-NEXT: blr
  23 }
  24
  25 define double @test_FMSUB1(double %A, double %B, double %C) {
  26         %D = fmul double %A, %B         ; <double> [#uses=1]
  27         %E = fsub double %D, %C         ; <double> [#uses=1]
  28         ret double %E
  29 ; CHECK-LABEL: test_FMSUB1:
  30 ; CHECK: fmsub
  31 ; CHECK-NEXT: blr
  32 }
  33
  34 define double @test_FMSUB2(double %A, double %B, double %C, double %D) {
  35         %E = fmul double %A, %B         ; <double> [#uses=2]
  36         %F = fadd double %E, %C         ; <double> [#uses=1]
  37         %G = fsub double %E, %D         ; <double> [#uses=1]
  38         %H = call double @dummy2(double %F, double %G)      ; <double> [#uses=1]
  39         ret double %H
  40 ; CHECK-LABEL: test_FMSUB2:
  41 ; CHECK: fmadd
  42 ; CHECK-NEXT: fmsub
  43 }
  44
  45 define double @test_FNMADD1(double %A, double %B, double %C) {
  46         %D = fmul double %A, %B         ; <double> [#uses=1]
  47         %E = fadd double %D, %C         ; <double> [#uses=1]
  48         %F = fsub double -0.000000e+00, %E              ; <double> [#uses=1]
  49         ret double %F
  50 ; CHECK-LABEL: test_FNMADD1:
  51 ; CHECK: fnmadd
  52 ; CHECK-NEXT: blr
  53 }
  54
  55 define double @test_FNMADD2(double %A, double %B, double %C) {
  56         %D = fmul double %A, %B         ; <double> [#uses=1]
  57         %E = fadd double %C, %D         ; <double> [#uses=1]
  58         %F = fsub double -0.000000e+00, %E              ; <double> [#uses=1]
  59         ret double %F
  60 ; CHECK-LABEL: test_FNMADD2:
  61 ; CHECK: fnmadd
  62 ; CHECK-NEXT: blr
  63 }
  64
  65 define double @test_FNMSUB1(double %A, double %B, double %C) {
  66         %D = fmul double %A, %B         ; <double> [#uses=1]
  67         %E = fsub double %C, %D         ; <double> [#uses=1]
  68         ret double %E
  69 ; CHECK-LABEL: test_FNMSUB1:
  70 ; CHECK: fnmsub
  71 ; CHECK-NEXT: blr
  72 }
  73
  74 define double @test_FNMSUB2(double %A, double %B, double %C) {
  75         %D = fmul double %A, %B         ; <double> [#uses=1]
  76         %E = fsub double %D, %C         ; <double> [#uses=1]
  77         %F = fsub double -0.000000e+00, %E              ; <double> [#uses=1]
  78         ret double %F
  79 ; CHECK-LABEL: test_FNMSUB2:
  80 ; CHECK: fnmsub
  81 ; CHECK-NEXT: blr
  82 }
  83
  84 define float @test_FNMSUBS(float %A, float %B, float %C) {
  85         %D = fmul float %A, %B          ; <float> [#uses=1]
  86         %E = fsub float %D, %C          ; <float> [#uses=1]
  87         %F = fsub float -0.000000e+00, %E               ; <float> [#uses=1]
  88         ret float %F
  89 ; CHECK-LABEL: test_FNMSUBS:
  90 ; CHECK: fnmsubs
  91 ; CHECK-NEXT: blr
  92 }