test/Transforms/InstCombine/fma.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -S -instcombine < %s | FileCheck %s
   3
   4 declare float @llvm.fma.f32(float, float, float) #1
   5 declare <2 x float> @llvm.fma.v2f32(<2 x float>, <2 x float>, <2 x float>) #1
   6 declare float @llvm.fmuladd.f32(float, float, float) #1
   7 declare float @llvm.fabs.f32(float) #1
   8
   9 @external = external global i32
  10
  11 define float @fma_fneg_x_fneg_y(float %x, float %y, float %z) {
  12 ; CHECK-LABEL: @fma_fneg_x_fneg_y(
  13 ; CHECK-NEXT:    [[FMA:%.*]] = call float @llvm.fma.f32(float [[X:%.*]], float [[Y:%.*]], float [[Z:%.*]])
  14 ; CHECK-NEXT:    ret float [[FMA]]
  15 ;
  16   %x.fneg = fsub float -0.0, %x
  17   %y.fneg = fsub float -0.0, %y
  18   %fma = call float @llvm.fma.f32(float %x.fneg, float %y.fneg, float %z)
  19   ret float %fma
  20 }
  21
  22 define float @fma_unary_fneg_x_unary_fneg_y(float %x, float %y, float %z) {
  23 ; CHECK-LABEL: @fma_unary_fneg_x_unary_fneg_y(
  24 ; CHECK-NEXT:    [[FMA:%.*]] = call float @llvm.fma.f32(float [[X:%.*]], float [[Y:%.*]], float [[Z:%.*]])
  25 ; CHECK-NEXT:    ret float [[FMA]]
  26 ;
  27   %x.fneg = fneg float %x
  28   %y.fneg = fneg float %y
  29   %fma = call float @llvm.fma.f32(float %x.fneg, float %y.fneg, float %z)
  30   ret float %fma
  31 }
  32
  33 define <2 x float> @fma_fneg_x_fneg_y_vec(<2 x float> %x, <2 x float> %y, <2 x float> %z) {
  34 ; CHECK-LABEL: @fma_fneg_x_fneg_y_vec(
  35 ; CHECK-NEXT:    [[FMA:%.*]] = call <2 x float> @llvm.fma.v2f32(<2 x float> [[X:%.*]], <2 x float> [[Y:%.*]], <2 x float> [[Z:%.*]])
  36 ; CHECK-NEXT:    ret <2 x float> [[FMA]]
  37 ;
  38   %xn = fsub <2 x float> <float -0.0, float -0.0>, %x
  39   %yn = fsub <2 x float> <float -0.0, float -0.0>, %y
  40   %fma = call <2 x float> @llvm.fma.v2f32(<2 x float> %xn, <2 x float> %yn, <2 x float> %z)
  41   ret <2 x float> %fma
  42 }
  43
  44 define <2 x float> @fma_unary_fneg_x_unary_fneg_y_vec(<2 x float> %x, <2 x float> %y, <2 x float> %z) {
  45 ; CHECK-LABEL: @fma_unary_fneg_x_unary_fneg_y_vec(
  46 ; CHECK-NEXT:    [[FMA:%.*]] = call <2 x float> @llvm.fma.v2f32(<2 x float> [[X:%.*]], <2 x float> [[Y:%.*]], <2 x float> [[Z:%.*]])
  47 ; CHECK-NEXT:    ret <2 x float> [[FMA]]
  48 ;
  49   %xn = fneg <2 x float> %x
  50   %yn = fneg <2 x float> %y
  51   %fma = call <2 x float> @llvm.fma.v2f32(<2 x float> %xn, <2 x float> %yn, <2 x float> %z)
  52   ret <2 x float> %fma
  53 }
  54
  55 define <2 x float> @fma_fneg_x_fneg_y_vec_undef(<2 x float> %x, <2 x float> %y, <2 x float> %z) {
  56 ; CHECK-LABEL: @fma_fneg_x_fneg_y_vec_undef(
  57 ; CHECK-NEXT:    [[FMA:%.*]] = call <2 x float> @llvm.fma.v2f32(<2 x float> [[X:%.*]], <2 x float> [[Y:%.*]], <2 x float> [[Z:%.*]])
  58 ; CHECK-NEXT:    ret <2 x float> [[FMA]]
  59 ;
  60   %xn = fsub <2 x float> <float -0.0, float undef>, %x
  61   %yn = fsub <2 x float> <float undef, float -0.0>, %y
  62   %fma = call <2 x float> @llvm.fma.v2f32(<2 x float> %xn, <2 x float> %yn, <2 x float> %z)
  63   ret <2 x float> %fma
  64 }
  65
  66 define float @fma_fneg_x_fneg_y_fast(float %x, float %y, float %z) {
  67 ; CHECK-LABEL: @fma_fneg_x_fneg_y_fast(
  68 ; CHECK-NEXT:    [[FMA:%.*]] = call fast float @llvm.fma.f32(float [[X:%.*]], float [[Y:%.*]], float [[Z:%.*]])
  69 ; CHECK-NEXT:    ret float [[FMA]]
  70 ;
  71   %x.fneg = fsub float -0.0, %x
  72   %y.fneg = fsub float -0.0, %y
  73   %fma = call fast float @llvm.fma.f32(float %x.fneg, float %y.fneg, float %z)
  74   ret float %fma
  75 }
  76
  77 define float @fma_unary_fneg_x_unary_fneg_y_fast(float %x, float %y, float %z) {
  78 ; CHECK-LABEL: @fma_unary_fneg_x_unary_fneg_y_fast(
  79 ; CHECK-NEXT:    [[FMA:%.*]] = call fast float @llvm.fma.f32(float [[X:%.*]], float [[Y:%.*]], float [[Z:%.*]])
  80 ; CHECK-NEXT:    ret float [[FMA]]
  81 ;
  82   %x.fneg = fneg float %x
  83   %y.fneg = fneg float %y
  84   %fma = call fast float @llvm.fma.f32(float %x.fneg, float %y.fneg, float %z)
  85   ret float %fma
  86 }
  87
  88 define float @fma_fneg_const_fneg_y(float %y, float %z) {
  89 ; CHECK-LABEL: @fma_fneg_const_fneg_y(
  90 ; CHECK-NEXT:    [[FMA:%.*]] = call float @llvm.fma.f32(float [[Y:%.*]], float bitcast (i32 ptrtoint (i32* @external to i32) to float), float [[Z:%.*]])
  91 ; CHECK-NEXT:    ret float [[FMA]]
  92 ;
  93   %y.fneg = fsub float -0.0, %y
  94   %fma = call float @llvm.fma.f32(float fsub (float -0.0, float bitcast (i32 ptrtoint (i32* @external to i32) to float)), float %y.fneg, float %z)
  95   ret float %fma
  96 }
  97
  98 define float @fma_unary_fneg_const_unary_fneg_y(float %y, float %z) {
  99 ; CHECK-LABEL: @fma_unary_fneg_const_unary_fneg_y(
 100 ; CHECK-NEXT:    [[FMA:%.*]] = call float @llvm.fma.f32(float [[Y:%.*]], float bitcast (i32 ptrtoint (i32* @external to i32) to float), float [[Z:%.*]])
 101 ; CHECK-NEXT:    ret float [[FMA]]
 102 ;
 103   %y.fneg = fneg float %y
 104   %fma = call float @llvm.fma.f32(float fneg (float bitcast (i32 ptrtoint (i32* @external to i32) to float)), float %y.fneg, float %z)
 105   ret float %fma
 106 }
 107
 108 define float @fma_fneg_x_fneg_const(float %x, float %z) {
 109 ; CHECK-LABEL: @fma_fneg_x_fneg_const(
 110 ; CHECK-NEXT:    [[FMA:%.*]] = call float @llvm.fma.f32(float [[X:%.*]], float bitcast (i32 ptrtoint (i32* @external to i32) to float), float [[Z:%.*]])
 111 ; CHECK-NEXT:    ret float [[FMA]]
 112 ;
 113   %x.fneg = fsub float -0.0, %x
 114   %fma = call float @llvm.fma.f32(float %x.fneg, float fsub (float -0.0, float bitcast (i32 ptrtoint (i32* @external to i32) to float)), float %z)
 115   ret float %fma
 116 }
 117
 118 define float @fma_unary_fneg_x_unary_fneg_const(float %x, float %z) {
 119 ; CHECK-LABEL: @fma_unary_fneg_x_unary_fneg_const(
 120 ; CHECK-NEXT:    [[FMA:%.*]] = call float @llvm.fma.f32(float [[X:%.*]], float bitcast (i32 ptrtoint (i32* @external to i32) to float), float [[Z:%.*]])
 121 ; CHECK-NEXT:    ret float [[FMA]]
 122 ;
 123   %x.fneg = fneg float %x
 124   %fma = call float @llvm.fma.f32(float %x.fneg, float fneg (float bitcast (i32 ptrtoint (i32* @external to i32) to float)), float %z)
 125   ret float %fma
 126 }
 127
 128 define float @fma_fabs_x_fabs_y(float %x, float %y, float %z) {
 129 ; CHECK-LABEL: @fma_fabs_x_fabs_y(
 130 ; CHECK-NEXT:    [[X_FABS:%.*]] = call float @llvm.fabs.f32(float [[X:%.*]])
 131 ; CHECK-NEXT:    [[Y_FABS:%.*]] = call float @llvm.fabs.f32(float [[Y:%.*]])
 132 ; CHECK-NEXT:    [[FMA:%.*]] = call float @llvm.fma.f32(float [[X_FABS]], float [[Y_FABS]], float [[Z:%.*]])
 133 ; CHECK-NEXT:    ret float [[FMA]]
 134 ;
 135   %x.fabs = call float @llvm.fabs.f32(float %x)
 136   %y.fabs = call float @llvm.fabs.f32(float %y)
 137   %fma = call float @llvm.fma.f32(float %x.fabs, float %y.fabs, float %z)
 138   ret float %fma
 139 }
 140
 141 define float @fma_fabs_x_fabs_x(float %x, float %z) {
 142 ; CHECK-LABEL: @fma_fabs_x_fabs_x(
 143 ; CHECK-NEXT:    [[FMA:%.*]] = call float @llvm.fma.f32(float [[X:%.*]], float [[X]], float [[Z:%.*]])
 144 ; CHECK-NEXT:    ret float [[FMA]]
 145 ;
 146   %x.fabs = call float @llvm.fabs.f32(float %x)
 147   %fma = call float @llvm.fma.f32(float %x.fabs, float %x.fabs, float %z)
 148   ret float %fma
 149 }
 150
 151 define float @fma_fabs_x_fabs_x_fast(float %x, float %z) {
 152 ; CHECK-LABEL: @fma_fabs_x_fabs_x_fast(
 153 ; CHECK-NEXT:    [[FMA:%.*]] = call fast float @llvm.fma.f32(float [[X:%.*]], float [[X]], float [[Z:%.*]])
 154 ; CHECK-NEXT:    ret float [[FMA]]
 155 ;
 156   %x.fabs = call float @llvm.fabs.f32(float %x)
 157   %fma = call fast float @llvm.fma.f32(float %x.fabs, float %x.fabs, float %z)
 158   ret float %fma
 159 }
 160
 161 define float @fmuladd_fneg_x_fneg_y(float %x, float %y, float %z) {
 162 ; CHECK-LABEL: @fmuladd_fneg_x_fneg_y(
 163 ; CHECK-NEXT:    [[FMULADD:%.*]] = call float @llvm.fmuladd.f32(float [[X:%.*]], float [[Y:%.*]], float [[Z:%.*]])
 164 ; CHECK-NEXT:    ret float [[FMULADD]]
 165 ;
 166   %x.fneg = fsub float -0.0, %x
 167   %y.fneg = fsub float -0.0, %y
 168   %fmuladd = call float @llvm.fmuladd.f32(float %x.fneg, float %y.fneg, float %z)
 169   ret float %fmuladd
 170 }
 171
 172 define float @fmuladd_unary_fneg_x_unary_fneg_y(float %x, float %y, float %z) {
 173 ; CHECK-LABEL: @fmuladd_unary_fneg_x_unary_fneg_y(
 174 ; CHECK-NEXT:    [[FMULADD:%.*]] = call float @llvm.fmuladd.f32(float [[X:%.*]], float [[Y:%.*]], float [[Z:%.*]])
 175 ; CHECK-NEXT:    ret float [[FMULADD]]
 176 ;
 177   %x.fneg = fneg float %x
 178   %y.fneg = fneg float %y
 179   %fmuladd = call float @llvm.fmuladd.f32(float %x.fneg, float %y.fneg, float %z)
 180   ret float %fmuladd
 181 }
 182
 183 define float @fmuladd_fneg_x_fneg_y_fast(float %x, float %y, float %z) {
 184 ; CHECK-LABEL: @fmuladd_fneg_x_fneg_y_fast(
 185 ; CHECK-NEXT:    [[TMP1:%.*]] = fmul fast float [[X:%.*]], [[Y:%.*]]
 186 ; CHECK-NEXT:    [[FMULADD:%.*]] = fadd fast float [[TMP1]], [[Z:%.*]]
 187 ; CHECK-NEXT:    ret float [[FMULADD]]
 188 ;
 189   %x.fneg = fsub float -0.0, %x
 190   %y.fneg = fsub float -0.0, %y
 191   %fmuladd = call fast float @llvm.fmuladd.f32(float %x.fneg, float %y.fneg, float %z)
 192   ret float %fmuladd
 193 }
 194
 195 define float @fmuladd_unary_fneg_x_unary_fneg_y_fast(float %x, float %y, float %z) {
 196 ; CHECK-LABEL: @fmuladd_unary_fneg_x_unary_fneg_y_fast(
 197 ; CHECK-NEXT:    [[TMP1:%.*]] = fmul fast float [[X:%.*]], [[Y:%.*]]
 198 ; CHECK-NEXT:    [[FMULADD:%.*]] = fadd fast float [[TMP1]], [[Z:%.*]]
 199 ; CHECK-NEXT:    ret float [[FMULADD]]
 200 ;
 201   %x.fneg = fneg float %x
 202   %y.fneg = fneg float %y
 203   %fmuladd = call fast float @llvm.fmuladd.f32(float %x.fneg, float %y.fneg, float %z)
 204   ret float %fmuladd
 205 }
 206
 207 define float @fmuladd_fneg_const_fneg_y(float %y, float %z) {
 208 ; CHECK-LABEL: @fmuladd_fneg_const_fneg_y(
 209 ; CHECK-NEXT:    [[FMULADD:%.*]] = call float @llvm.fmuladd.f32(float [[Y:%.*]], float bitcast (i32 ptrtoint (i32* @external to i32) to float), float [[Z:%.*]])
 210 ; CHECK-NEXT:    ret float [[FMULADD]]
 211 ;
 212   %y.fneg = fsub float -0.0, %y
 213   %fmuladd = call float @llvm.fmuladd.f32(float fsub (float -0.0, float bitcast (i32 ptrtoint (i32* @external to i32) to float)), float %y.fneg, float %z)
 214   ret float %fmuladd
 215 }
 216
 217 define float @fmuladd_unary_fneg_const_unary_fneg_y(float %y, float %z) {
 218 ; CHECK-LABEL: @fmuladd_unary_fneg_const_unary_fneg_y(
 219 ; CHECK-NEXT:    [[FMULADD:%.*]] = call float @llvm.fmuladd.f32(float [[Y:%.*]], float bitcast (i32 ptrtoint (i32* @external to i32) to float), float [[Z:%.*]])
 220 ; CHECK-NEXT:    ret float [[FMULADD]]
 221 ;
 222   %y.fneg = fneg float %y
 223   %fmuladd = call float @llvm.fmuladd.f32(float fneg (float bitcast (i32 ptrtoint (i32* @external to i32) to float)), float %y.fneg, float %z)
 224   ret float %fmuladd
 225 }
 226
 227 define float @fmuladd_fneg_x_fneg_const(float %x, float %z) {
 228 ; CHECK-LABEL: @fmuladd_fneg_x_fneg_const(
 229 ; CHECK-NEXT:    [[FMULADD:%.*]] = call float @llvm.fmuladd.f32(float [[X:%.*]], float bitcast (i32 ptrtoint (i32* @external to i32) to float), float [[Z:%.*]])
 230 ; CHECK-NEXT:    ret float [[FMULADD]]
 231 ;
 232   %x.fneg = fsub float -0.0, %x
 233   %fmuladd = call float @llvm.fmuladd.f32(float %x.fneg, float fsub (float -0.0, float bitcast (i32 ptrtoint (i32* @external to i32) to float)), float %z)
 234   ret float %fmuladd
 235 }
 236
 237 define float @fmuladd_unary_fneg_x_unary_fneg_const(float %x, float %z) {
 238 ; CHECK-LABEL: @fmuladd_unary_fneg_x_unary_fneg_const(
 239 ; CHECK-NEXT:    [[FMULADD:%.*]] = call float @llvm.fmuladd.f32(float [[X:%.*]], float bitcast (i32 ptrtoint (i32* @external to i32) to float), float [[Z:%.*]])
 240 ; CHECK-NEXT:    ret float [[FMULADD]]
 241 ;
 242   %x.fneg = fneg float %x
 243   %fmuladd = call float @llvm.fmuladd.f32(float %x.fneg, float fneg (float bitcast (i32 ptrtoint (i32* @external to i32) to float)), float %z)
 244   ret float %fmuladd
 245 }
 246
 247 define float @fmuladd_fabs_x_fabs_y(float %x, float %y, float %z) {
 248 ; CHECK-LABEL: @fmuladd_fabs_x_fabs_y(
 249 ; CHECK-NEXT:    [[X_FABS:%.*]] = call float @llvm.fabs.f32(float [[X:%.*]])
 250 ; CHECK-NEXT:    [[Y_FABS:%.*]] = call float @llvm.fabs.f32(float [[Y:%.*]])
 251 ; CHECK-NEXT:    [[FMULADD:%.*]] = call float @llvm.fmuladd.f32(float [[X_FABS]], float [[Y_FABS]], float [[Z:%.*]])
 252 ; CHECK-NEXT:    ret float [[FMULADD]]
 253 ;
 254   %x.fabs = call float @llvm.fabs.f32(float %x)
 255   %y.fabs = call float @llvm.fabs.f32(float %y)
 256   %fmuladd = call float @llvm.fmuladd.f32(float %x.fabs, float %y.fabs, float %z)
 257   ret float %fmuladd
 258 }
 259
 260 define float @fmuladd_fabs_x_fabs_x(float %x, float %z) {
 261 ; CHECK-LABEL: @fmuladd_fabs_x_fabs_x(
 262 ; CHECK-NEXT:    [[FMULADD:%.*]] = call float @llvm.fmuladd.f32(float [[X:%.*]], float [[X]], float [[Z:%.*]])
 263 ; CHECK-NEXT:    ret float [[FMULADD]]
 264 ;
 265   %x.fabs = call float @llvm.fabs.f32(float %x)
 266   %fmuladd = call float @llvm.fmuladd.f32(float %x.fabs, float %x.fabs, float %z)
 267   ret float %fmuladd
 268 }
 269
 270 define float @fmuladd_fabs_x_fabs_x_fast(float %x, float %z) {
 271 ; CHECK-LABEL: @fmuladd_fabs_x_fabs_x_fast(
 272 ; CHECK-NEXT:    [[TMP1:%.*]] = fmul fast float [[X:%.*]], [[X]]
 273 ; CHECK-NEXT:    [[FMULADD:%.*]] = fadd fast float [[TMP1]], [[Z:%.*]]
 274 ; CHECK-NEXT:    ret float [[FMULADD]]
 275 ;
 276   %x.fabs = call float @llvm.fabs.f32(float %x)
 277   %fmuladd = call fast float @llvm.fmuladd.f32(float %x.fabs, float %x.fabs, float %z)
 278   ret float %fmuladd
 279 }
 280
 281 define float @fma_k_y_z(float %y, float %z) {
 282 ; CHECK-LABEL: @fma_k_y_z(
 283 ; CHECK-NEXT:    [[FMA:%.*]] = call float @llvm.fma.f32(float [[Y:%.*]], float 4.000000e+00, float [[Z:%.*]])
 284 ; CHECK-NEXT:    ret float [[FMA]]
 285 ;
 286   %fma = call float @llvm.fma.f32(float 4.0, float %y, float %z)
 287   ret float %fma
 288 }
 289
 290 define float @fma_k_y_z_fast(float %y, float %z) {
 291 ; CHECK-LABEL: @fma_k_y_z_fast(
 292 ; CHECK-NEXT:    [[FMA:%.*]] = call fast float @llvm.fma.f32(float [[Y:%.*]], float 4.000000e+00, float [[Z:%.*]])
 293 ; CHECK-NEXT:    ret float [[FMA]]
 294 ;
 295   %fma = call fast float @llvm.fma.f32(float 4.0, float %y, float %z)
 296   ret float %fma
 297 }
 298
 299 define float @fmuladd_k_y_z_fast(float %y, float %z) {
 300 ; CHECK-LABEL: @fmuladd_k_y_z_fast(
 301 ; CHECK-NEXT:    [[TMP1:%.*]] = fmul fast float [[Y:%.*]], 4.000000e+00
 302 ; CHECK-NEXT:    [[FMULADD:%.*]] = fadd fast float [[TMP1]], [[Z:%.*]]
 303 ; CHECK-NEXT:    ret float [[FMULADD]]
 304 ;
 305   %fmuladd = call fast float @llvm.fmuladd.f32(float 4.0, float %y, float %z)
 306   ret float %fmuladd
 307 }
 308
 309 define float @fma_1_y_z(float %y, float %z) {
 310 ; CHECK-LABEL: @fma_1_y_z(
 311 ; CHECK-NEXT:    [[FMA:%.*]] = fadd float [[Y:%.*]], [[Z:%.*]]
 312 ; CHECK-NEXT:    ret float [[FMA]]
 313 ;
 314   %fma = call float @llvm.fma.f32(float 1.0, float %y, float %z)
 315   ret float %fma
 316 }
 317
 318 define float @fma_x_1_z(float %x, float %z) {
 319 ; CHECK-LABEL: @fma_x_1_z(
 320 ; CHECK-NEXT:    [[FMA:%.*]] = fadd float [[X:%.*]], [[Z:%.*]]
 321 ; CHECK-NEXT:    ret float [[FMA]]
 322 ;
 323   %fma = call float @llvm.fma.f32(float %x, float 1.0, float %z)
 324   ret float %fma
 325 }
 326
 327 define <2 x float> @fma_x_1_z_v2f32(<2 x float> %x, <2 x float> %z) {
 328 ; CHECK-LABEL: @fma_x_1_z_v2f32(
 329 ; CHECK-NEXT:    [[FMA:%.*]] = fadd <2 x float> [[X:%.*]], [[Z:%.*]]
 330 ; CHECK-NEXT:    ret <2 x float> [[FMA]]
 331 ;
 332   %fma = call <2 x float> @llvm.fma.v2f32(<2 x float> %x, <2 x float> <float 1.0, float 1.0>, <2 x float> %z)
 333   ret <2 x float> %fma
 334 }
 335
 336 define <2 x float> @fma_x_1_2_z_v2f32(<2 x float> %x, <2 x float> %z) {
 337 ; CHECK-LABEL: @fma_x_1_2_z_v2f32(
 338 ; CHECK-NEXT:    [[FMA:%.*]] = call <2 x float> @llvm.fma.v2f32(<2 x float> [[X:%.*]], <2 x float> <float 1.000000e+00, float 2.000000e+00>, <2 x float> [[Z:%.*]])
 339 ; CHECK-NEXT:    ret <2 x float> [[FMA]]
 340 ;
 341   %fma = call <2 x float> @llvm.fma.v2f32(<2 x float> %x, <2 x float> <float 1.0, float 2.0>, <2 x float> %z)
 342   ret <2 x float> %fma
 343 }
 344
 345 define float @fma_x_1_z_fast(float %x, float %z) {
 346 ; CHECK-LABEL: @fma_x_1_z_fast(
 347 ; CHECK-NEXT:    [[FMA:%.*]] = fadd fast float [[X:%.*]], [[Z:%.*]]
 348 ; CHECK-NEXT:    ret float [[FMA]]
 349 ;
 350   %fma = call fast float @llvm.fma.f32(float %x, float 1.0, float %z)
 351   ret float %fma
 352 }
 353
 354 define float @fma_1_1_z(float %z) {
 355 ; CHECK-LABEL: @fma_1_1_z(
 356 ; CHECK-NEXT:    [[FMA:%.*]] = fadd float [[Z:%.*]], 1.000000e+00
 357 ; CHECK-NEXT:    ret float [[FMA]]
 358 ;
 359   %fma = call float @llvm.fma.f32(float 1.0, float 1.0, float %z)
 360   ret float %fma
 361 }
 362
 363 define float @fmuladd_x_1_z_fast(float %x, float %z) {
 364 ; CHECK-LABEL: @fmuladd_x_1_z_fast(
 365 ; CHECK-NEXT:    [[FMULADD:%.*]] = fadd fast float [[X:%.*]], [[Z:%.*]]
 366 ; CHECK-NEXT:    ret float [[FMULADD]]
 367 ;
 368   %fmuladd = call fast float @llvm.fmuladd.f32(float %x, float 1.0, float %z)
 369   ret float %fmuladd
 370 }
 371
 372 define <2 x double> @fmuladd_a_0_b(<2 x double> %a, <2 x double> %b) {
 373 ; CHECK-LABEL: @fmuladd_a_0_b(
 374 ; CHECK-NEXT:  entry:
 375 ; CHECK-NEXT:    [[RES:%.*]] = call nnan nsz <2 x double> @llvm.fmuladd.v2f64(<2 x double> [[A:%.*]], <2 x double> zeroinitializer, <2 x double> [[B:%.*]])
 376 ; CHECK-NEXT:    ret <2 x double> [[RES]]
 377 ;
 378 entry:
 379   %res = call nnan nsz <2 x double> @llvm.fmuladd.v2f64(<2 x double> %a, <2 x double> zeroinitializer, <2 x double> %b)
 380   ret <2 x double> %res
 381 }
 382
 383 define <2 x double> @fmuladd_0_a_b(<2 x double> %a, <2 x double> %b) {
 384 ; CHECK-LABEL: @fmuladd_0_a_b(
 385 ; CHECK-NEXT:  entry:
 386 ; CHECK-NEXT:    [[RES:%.*]] = call nnan nsz <2 x double> @llvm.fmuladd.v2f64(<2 x double> [[A:%.*]], <2 x double> zeroinitializer, <2 x double> [[B:%.*]])
 387 ; CHECK-NEXT:    ret <2 x double> [[RES]]
 388 ;
 389 entry:
 390   %res = call nnan nsz <2 x double> @llvm.fmuladd.v2f64(<2 x double> zeroinitializer, <2 x double> %a, <2 x double> %b)
 391   ret <2 x double> %res
 392 }
 393
 394 define <2 x double> @fmuladd_a_0_b_missing_flags(<2 x double> %a, <2 x double> %b) {
 395 ; CHECK-LABEL: @fmuladd_a_0_b_missing_flags(
 396 ; CHECK-NEXT:  entry:
 397 ; CHECK-NEXT:    [[RES:%.*]] = call nnan <2 x double> @llvm.fmuladd.v2f64(<2 x double> [[A:%.*]], <2 x double> zeroinitializer, <2 x double> [[B:%.*]])
 398 ; CHECK-NEXT:    ret <2 x double> [[RES]]
 399 ;
 400 entry:
 401   %res = call nnan <2 x double> @llvm.fmuladd.v2f64(<2 x double> %a, <2 x double> zeroinitializer, <2 x double> %b)
 402   ret <2 x double> %res
 403 }
 404
 405 declare <2 x double> @llvm.fmuladd.v2f64(<2 x double>, <2 x double>, <2 x double>)
 406
 407 define <2 x double> @fma_a_0_b(<2 x double> %a, <2 x double> %b) {
 408 ; CHECK-LABEL: @fma_a_0_b(
 409 ; CHECK-NEXT:  entry:
 410 ; CHECK-NEXT:    [[RES:%.*]] = call nnan nsz <2 x double> @llvm.fma.v2f64(<2 x double> [[A:%.*]], <2 x double> zeroinitializer, <2 x double> [[B:%.*]])
 411 ; CHECK-NEXT:    ret <2 x double> [[RES]]
 412 ;
 413 entry:
 414   %res = call nnan nsz <2 x double> @llvm.fma.v2f64(<2 x double> %a, <2 x double> zeroinitializer, <2 x double> %b)
 415   ret <2 x double> %res
 416 }
 417
 418 define <2 x double> @fma_0_a_b(<2 x double> %a, <2 x double> %b) {
 419 ; CHECK-LABEL: @fma_0_a_b(
 420 ; CHECK-NEXT:  entry:
 421 ; CHECK-NEXT:    [[RES:%.*]] = call nnan nsz <2 x double> @llvm.fma.v2f64(<2 x double> [[A:%.*]], <2 x double> zeroinitializer, <2 x double> [[B:%.*]])
 422 ; CHECK-NEXT:    ret <2 x double> [[RES]]
 423 ;
 424 entry:
 425   %res = call nnan nsz <2 x double> @llvm.fma.v2f64(<2 x double> zeroinitializer, <2 x double> %a, <2 x double> %b)
 426   ret <2 x double> %res
 427 }
 428
 429 define <2 x double> @fma_0_a_b_missing_flags(<2 x double> %a, <2 x double> %b) {
 430 ; CHECK-LABEL: @fma_0_a_b_missing_flags(
 431 ; CHECK-NEXT:  entry:
 432 ; CHECK-NEXT:    [[RES:%.*]] = call nsz <2 x double> @llvm.fma.v2f64(<2 x double> [[A:%.*]], <2 x double> zeroinitializer, <2 x double> [[B:%.*]])
 433 ; CHECK-NEXT:    ret <2 x double> [[RES]]
 434 ;
 435 entry:
 436   %res = call nsz <2 x double> @llvm.fma.v2f64(<2 x double> zeroinitializer, <2 x double> %a, <2 x double> %b)
 437   ret <2 x double> %res
 438 }
 439
 440 define <2 x double> @fma_sqrt(<2 x double> %a, <2 x double> %b) {
 441 ; CHECK-LABEL: @fma_sqrt(
 442 ; CHECK-NEXT:  entry:
 443 ; CHECK-NEXT:    [[SQRT:%.*]] = call fast <2 x double> @llvm.sqrt.v2f64(<2 x double> [[A:%.*]])
 444 ; CHECK-NEXT:    [[RES:%.*]] = call fast <2 x double> @llvm.fma.v2f64(<2 x double> [[SQRT]], <2 x double> [[SQRT]], <2 x double> [[B:%.*]])
 445 ; CHECK-NEXT:    ret <2 x double> [[RES]]
 446 ;
 447 entry:
 448   %sqrt = call fast <2 x double> @llvm.sqrt.v2f64(<2 x double> %a)
 449   %res = call fast <2 x double> @llvm.fma.v2f64(<2 x double> %sqrt, <2 x double> %sqrt, <2 x double> %b)
 450   ret <2 x double> %res
 451 }
 452
 453
 454 declare <2 x double> @llvm.fma.v2f64(<2 x double>, <2 x double>, <2 x double>)
 455 declare <2 x double> @llvm.sqrt.v2f64(<2 x double>)
 456
 457
 458 attributes #0 = { nounwind }
 459 attributes #1 = { nounwind readnone }