test/CodeGen/PowerPC/fma-assoc.ll

   1 ; RUN: llc < %s -march=ppc32 -fp-contract=fast -mattr=-vsx | FileCheck %s
   2 ; RUN: llc < %s -mtriple=powerpc64-unknown-linux-gnu -fp-contract=fast -mattr=+vsx -mcpu=pwr7 | FileCheck -check-prefix=CHECK-VSX %s
   3
   4 define double @test_FMADD_ASSOC1(double %A, double %B, double %C,
   5                                  double %D, double %E) {
   6   %F = fmul double %A, %B         ; <double> [#uses=1]
   7   %G = fmul double %C, %D         ; <double> [#uses=1]
   8   %H = fadd double %F, %G         ; <double> [#uses=1]
   9   %I = fadd double %H, %E         ; <double> [#uses=1]
  10   ret double %I
  11 ; CHECK-LABEL: test_FMADD_ASSOC1:
  12 ; CHECK: fmadd
  13 ; CHECK-NEXT: fmadd
  14 ; CHECK-NEXT: blr
  15
  16 ; CHECK-VSX-LABEL: test_FMADD_ASSOC1:
  17 ; CHECK-VSX: xsmaddmdp
  18 ; CHECK-VSX-NEXT: xsmaddadp
  19 ; CHECK-VSX-NEXT: fmr
  20 ; CHECK-VSX-NEXT: blr
  21 }
  22
  23 define double @test_FMADD_ASSOC2(double %A, double %B, double %C,
  24                                  double %D, double %E) {
  25   %F = fmul double %A, %B         ; <double> [#uses=1]
  26   %G = fmul double %C, %D         ; <double> [#uses=1]
  27   %H = fadd double %F, %G         ; <double> [#uses=1]
  28   %I = fadd double %E, %H         ; <double> [#uses=1]
  29   ret double %I
  30 ; CHECK-LABEL: test_FMADD_ASSOC2:
  31 ; CHECK: fmadd
  32 ; CHECK-NEXT: fmadd
  33 ; CHECK-NEXT: blr
  34
  35 ; CHECK-VSX-LABEL: test_FMADD_ASSOC2:
  36 ; CHECK-VSX: xsmaddmdp
  37 ; CHECK-VSX-NEXT: xsmaddadp
  38 ; CHECK-VSX-NEXT: fmr
  39 ; CHECK-VSX-NEXT: blr
  40 }
  41
  42 define double @test_FMSUB_ASSOC1(double %A, double %B, double %C,
  43                                  double %D, double %E) {
  44   %F = fmul double %A, %B         ; <double> [#uses=1]
  45   %G = fmul double %C, %D         ; <double> [#uses=1]
  46   %H = fadd double %F, %G         ; <double> [#uses=1]
  47   %I = fsub double %H, %E         ; <double> [#uses=1]
  48   ret double %I
  49 ; CHECK-LABEL: test_FMSUB_ASSOC1:
  50 ; CHECK: fmsub
  51 ; CHECK-NEXT: fmadd
  52 ; CHECK-NEXT: blr
  53
  54 ; CHECK-VSX-LABEL: test_FMSUB_ASSOC1:
  55 ; CHECK-VSX: xsmsubmdp
  56 ; CHECK-VSX-NEXT: xsmaddadp
  57 ; CHECK-VSX-NEXT: fmr
  58 ; CHECK-VSX-NEXT: blr
  59 }
  60
  61 define double @test_FMSUB_ASSOC2(double %A, double %B, double %C,
  62                                  double %D, double %E) {
  63   %F = fmul double %A, %B         ; <double> [#uses=1]
  64   %G = fmul double %C, %D         ; <double> [#uses=1]
  65   %H = fadd double %F, %G         ; <double> [#uses=1]
  66   %I = fsub double %E, %H         ; <double> [#uses=1]
  67   ret double %I
  68 ; CHECK-LABEL: test_FMSUB_ASSOC2:
  69 ; CHECK: fnmsub
  70 ; CHECK-NEXT: fnmsub
  71 ; CHECK-NEXT: blr
  72
  73 ; CHECK-VSX-LABEL: test_FMSUB_ASSOC2:
  74 ; CHECK-VSX: xsnmsubmdp
  75 ; CHECK-VSX-NEXT: xsnmsubadp
  76 ; CHECK-VSX-NEXT: fmr
  77 ; CHECK-VSX-NEXT: blr
  78 }
  79
  80 define double @test_FMADD_ASSOC_EXT1(float %A, float %B, double %C,
  81                                  double %D, double %E) {
  82   %F = fmul float %A, %B         ; <float> [#uses=1]
  83   %G = fpext float %F to double   ; <double> [#uses=1]
  84   %H = fmul double %C, %D         ; <double> [#uses=1]
  85   %I = fadd double %H, %G         ; <double> [#uses=1]
  86   %J = fadd double %I, %E         ; <double> [#uses=1]
  87   ret double %J
  88 ; CHECK-LABEL: test_FMADD_ASSOC_EXT1:
  89 ; CHECK: fmadd
  90 ; CHECK-NEXT: fmadd
  91 ; CHECK-NEXT: blr
  92
  93 ; CHECK-VSX-LABEL: test_FMADD_ASSOC_EXT1:
  94 ; CHECK-VSX: xsmaddmdp
  95 ; CHECK-VSX-NEXT: xsmaddadp
  96 ; CHECK-VSX-NEXT: blr
  97 }
  98
  99 define double @test_FMADD_ASSOC_EXT2(float %A, float %B, float %C,
 100                                  float %D, double %E) {
 101   %F = fmul float %A, %B         ; <float> [#uses=1]
 102   %G = fmul float %C, %D         ; <float> [#uses=1]
 103   %H = fadd float %F, %G         ; <float> [#uses=1]
 104   %I = fpext float %H to double   ; <double> [#uses=1]
 105   %J = fadd double %I, %E         ; <double> [#uses=1]
 106   ret double %J
 107 ; CHECK-LABEL: test_FMADD_ASSOC_EXT2:
 108 ; CHECK: fmadd
 109 ; CHECK-NEXT: fmadd
 110 ; CHECK-NEXT: blr
 111
 112 ; CHECK-VSX-LABEL: test_FMADD_ASSOC_EXT2:
 113 ; CHECK-VSX: xsmaddmdp
 114 ; CHECK-VSX-NEXT: xsmaddadp
 115 ; CHECK-VSX-NEXT: fmr
 116 ; CHECK-VSX-NEXT: blr
 117 }
 118
 119 define double @test_FMADD_ASSOC_EXT3(float %A, float %B, double %C,
 120                                  double %D, double %E) {
 121   %F = fmul float %A, %B          ; <float> [#uses=1]
 122   %G = fpext float %F to double   ; <double> [#uses=1]
 123   %H = fmul double %C, %D         ; <double> [#uses=1]
 124   %I = fadd double %H, %G         ; <double> [#uses=1]
 125   %J = fadd double %E, %I         ; <double> [#uses=1]
 126   ret double %J
 127 ; CHECK-LABEL: test_FMADD_ASSOC_EXT3:
 128 ; CHECK: fmadd
 129 ; CHECK-NEXT: fmadd
 130 ; CHECK-NEXT: blr
 131
 132 ; CHECK-VSX-LABEL: test_FMADD_ASSOC_EXT3:
 133 ; CHECK-VSX: xsmaddmdp
 134 ; CHECK-VSX-NEXT: xsmaddadp
 135 ; CHECK-VSX-NEXT: blr
 136 }
 137
 138 define double @test_FMADD_ASSOC_EXT4(float %A, float %B, float %C,
 139                                  float %D, double %E) {
 140   %F = fmul float %A, %B          ; <float> [#uses=1]
 141   %G = fmul float %C, %D          ; <float> [#uses=1]
 142   %H = fadd float %F, %G          ; <float> [#uses=1]
 143   %I = fpext float %H to double   ; <double> [#uses=1]
 144   %J = fadd double %E, %I         ; <double> [#uses=1]
 145   ret double %J
 146 ; CHECK-LABEL: test_FMADD_ASSOC_EXT4:
 147 ; CHECK: fmadd
 148 ; CHECK-NEXT: fmadd
 149 ; CHECK-NEXT: blr
 150
 151 ; CHECK-VSX-LABEL: test_FMADD_ASSOC_EXT4:
 152 ; CHECK-VSX: xsmaddmdp
 153 ; CHECK-VSX-NEXT: xsmaddadp
 154 ; CHECK-VSX-NEXT: fmr
 155 ; CHECK-VSX-NEXT: blr
 156 }
 157
 158 define double @test_FMSUB_ASSOC_EXT1(float %A, float %B, double %C,
 159                                  double %D, double %E) {
 160   %F = fmul float %A, %B          ; <float> [#uses=1]
 161   %G = fpext float %F to double   ; <double> [#uses=1]
 162   %H = fmul double %C, %D         ; <double> [#uses=1]
 163   %I = fadd double %H, %G         ; <double> [#uses=1]
 164   %J = fsub double %I, %E         ; <double> [#uses=1]
 165   ret double %J
 166 ; CHECK-LABEL: test_FMSUB_ASSOC_EXT1:
 167 ; CHECK: fmsub
 168 ; CHECK-NEXT: fmadd
 169 ; CHECK-NEXT: blr
 170
 171 ; CHECK-VSX-LABEL: test_FMSUB_ASSOC_EXT1:
 172 ; CHECK-VSX: xsmsubmdp
 173 ; CHECK-VSX-NEXT: xsmaddadp
 174 ; CHECK-VSX-NEXT: blr
 175 }
 176
 177 define double @test_FMSUB_ASSOC_EXT2(float %A, float %B, float %C,
 178                                  float %D, double %E) {
 179   %F = fmul float %A, %B          ; <float> [#uses=1]
 180   %G = fmul float %C, %D          ; <float> [#uses=1]
 181   %H = fadd float %F, %G          ; <float> [#uses=1]
 182   %I = fpext float %H to double   ; <double> [#uses=1]
 183   %J = fsub double %I, %E         ; <double> [#uses=1]
 184   ret double %J
 185 ; CHECK-LABEL: test_FMSUB_ASSOC_EXT2:
 186 ; CHECK: fmsub
 187 ; CHECK-NEXT: fmadd
 188 ; CHECK-NEXT: blr
 189
 190 ; CHECK-VSX-LABEL: test_FMSUB_ASSOC_EXT2:
 191 ; CHECK-VSX: xsmsubmdp
 192 ; CHECK-VSX-NEXT: xsmaddadp
 193 ; CHECK-VSX-NEXT: fmr
 194 ; CHECK-VSX-NEXT: blr
 195 }
 196
 197 define double @test_FMSUB_ASSOC_EXT3(float %A, float %B, double %C,
 198                                  double %D, double %E) {
 199   %F = fmul float %A, %B          ; <float> [#uses=1]
 200   %G = fpext float %F to double   ; <double> [#uses=1]
 201   %H = fmul double %C, %D         ; <double> [#uses=1]
 202   %I = fadd double %H, %G         ; <double> [#uses=1]
 203   %J = fsub double %E, %I         ; <double> [#uses=1]
 204   ret double %J
 205 ; CHECK-LABEL: test_FMSUB_ASSOC_EXT3:
 206 ; CHECK: fnmsub
 207 ; CHECK-NEXT: fnmsub
 208 ; CHECK-NEXT: blr
 209
 210 ; CHECK-VSX-LABEL: test_FMSUB_ASSOC_EXT3:
 211 ; CHECK-VSX: xsnmsubmdp
 212 ; CHECK-VSX-NEXT: xsnmsubadp
 213 ; CHECK-VSX-NEXT: fmr
 214 ; CHECK-VSX-NEXT: blr
 215 }
 216
 217 define double @test_FMSUB_ASSOC_EXT4(float %A, float %B, float %C,
 218                                  float %D, double %E) {
 219   %F = fmul float %A, %B          ; <float> [#uses=1]
 220   %G = fmul float %C, %D          ; <float> [#uses=1]
 221   %H = fadd float %F, %G          ; <float> [#uses=1]
 222   %I = fpext float %H to double   ; <double> [#uses=1]
 223   %J = fsub double %E, %I         ; <double> [#uses=1]
 224   ret double %J
 225 ; CHECK-LABEL: test_FMSUB_ASSOC_EXT4:
 226 ; CHECK: fnmsub
 227 ; CHECK-NEXT: fnmsub
 228 ; CHECK-NEXT: blr
 229
 230 ; CHECK-VSX-LABEL: test_FMSUB_ASSOC_EXT4:
 231 ; CHECK-VSX: xsnmsubmdp
 232 ; CHECK-VSX-NEXT: xsnmsubadp
 233 ; CHECK-VSX-NEXT: fmr
 234 ; CHECK-VSX-NEXT: blr
 235 }