llvm/test/CodeGen/X86/fma-signed-zero.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=x86_64-unknown-linux-gnu -mattr=+fma | FileCheck %s
   3
   4 ; This test checks that (fneg (fma (fneg x), y, (fneg z))) can't be folded to (fma x, y, z)
   5 ; without no signed zeros flag (nsz).
   6
   7 declare float @llvm.fma.f32(float, float, float)
   8
   9 define float @fneg_fma32(float %x, float %y, float %z) {
  10 ; CHECK-LABEL: fneg_fma32:
  11 ; CHECK:       # %bb.0:
  12 ; CHECK-NEXT:    vfnmsub213ss {{.*#+}} xmm0 = -(xmm1 * xmm0) - xmm2
  13 ; CHECK-NEXT:    vxorps {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0, %xmm0
  14 ; CHECK-NEXT:    retq
  15   %negx = fneg float %x
  16   %negz = fneg float %z
  17   %fma = call float @llvm.fma.f32(float %negx, float %y, float %negz)
  18   %n = fneg float %fma
  19   ret float %n
  20 }
  21
  22 define float @fneg_fma32_nsz(float %x, float %y, float %z) {
  23 ; CHECK-LABEL: fneg_fma32_nsz:
  24 ; CHECK:       # %bb.0:
  25 ; CHECK-NEXT:    vfmadd213ss {{.*#+}} xmm0 = (xmm1 * xmm0) + xmm2
  26 ; CHECK-NEXT:    retq
  27   %negx = fneg float %x
  28   %negz = fneg float %z
  29   %fma = call nsz float @llvm.fma.f32(float %negx, float %y, float %negz)
  30   %n = fneg float %fma
  31   ret float %n
  32 }
  33
  34 declare double @llvm.fma.f64(double, double, double)
  35
  36 define double @fneg_fma64(double %x, double %y, double %z) {
  37 ; CHECK-LABEL: fneg_fma64:
  38 ; CHECK:       # %bb.0:
  39 ; CHECK-NEXT:    vfnmsub213sd {{.*#+}} xmm0 = -(xmm1 * xmm0) - xmm2
  40 ; CHECK-NEXT:    vxorpd {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0, %xmm0
  41 ; CHECK-NEXT:    retq
  42   %negx = fneg double %x
  43   %negz = fneg double %z
  44   %fma = call double @llvm.fma.f64(double %negx, double %y, double %negz)
  45   %n = fneg double %fma
  46   ret double %n
  47 }
  48
  49 define double @fneg_fma64_nsz(double %x, double %y, double %z) {
  50 ; CHECK-LABEL: fneg_fma64_nsz:
  51 ; CHECK:       # %bb.0:
  52 ; CHECK-NEXT:    vfmadd213sd {{.*#+}} xmm0 = (xmm1 * xmm0) + xmm2
  53 ; CHECK-NEXT:    retq
  54   %negx = fneg double %x
  55   %negz = fneg double %z
  56   %fma = call nsz double @llvm.fma.f64(double %negx, double %y, double %negz)
  57   %n = fneg double %fma
  58   ret double %n
  59 }