test/CodeGen/PowerPC/fma-assoc.ll

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