llvm/test/CodeGen/X86/fma-fneg-combine-2.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=+avx,fma | FileCheck %s --check-prefix=FMA3
   3 ; RUN: llc < %s -mtriple=x86_64-unknown-linux-gnu -mattr=+avx,fma4 | FileCheck %s --check-prefix=FMA4
   4
   5 define float @test_fneg_fma_subx_y_negz_f32(float %w, float %x, float %y, float %z)  {
   6 ; FMA3-LABEL: test_fneg_fma_subx_y_negz_f32:
   7 ; FMA3:       # %bb.0: # %entry
   8 ; FMA3-NEXT:    vsubss %xmm1, %xmm0, %xmm0
   9 ; FMA3-NEXT:    vfnmadd213ss {{.*#+}} xmm0 = -(xmm2 * xmm0) + xmm3
  10 ; FMA3-NEXT:    retq
  11 ;
  12 ; FMA4-LABEL: test_fneg_fma_subx_y_negz_f32:
  13 ; FMA4:       # %bb.0: # %entry
  14 ; FMA4-NEXT:    vsubss %xmm1, %xmm0, %xmm0
  15 ; FMA4-NEXT:    vfnmaddss {{.*#+}} xmm0 = -(xmm0 * xmm2) + xmm3
  16 ; FMA4-NEXT:    retq
  17 entry:
  18   %subx = fsub nsz float %w, %x
  19   %negz = fsub float -0.000000e+00, %z
  20   %0 = tail call nsz float @llvm.fma.f32(float %subx, float %y, float %negz)
  21   %1 = fsub float -0.000000e+00, %0
  22   ret float %1
  23 }
  24
  25 define float @test_fneg_fma_x_suby_negz_f32(float %w, float %x, float %y, float %z)  {
  26 ; FMA3-LABEL: test_fneg_fma_x_suby_negz_f32:
  27 ; FMA3:       # %bb.0: # %entry
  28 ; FMA3-NEXT:    vsubss %xmm2, %xmm0, %xmm0
  29 ; FMA3-NEXT:    vfnmadd213ss {{.*#+}} xmm0 = -(xmm1 * xmm0) + xmm3
  30 ; FMA3-NEXT:    retq
  31 ;
  32 ; FMA4-LABEL: test_fneg_fma_x_suby_negz_f32:
  33 ; FMA4:       # %bb.0: # %entry
  34 ; FMA4-NEXT:    vsubss %xmm2, %xmm0, %xmm0
  35 ; FMA4-NEXT:    vfnmaddss {{.*#+}} xmm0 = -(xmm1 * xmm0) + xmm3
  36 ; FMA4-NEXT:    retq
  37 entry:
  38   %suby = fsub nsz float %w, %y
  39   %negz = fsub float -0.000000e+00, %z
  40   %0 = tail call nsz float @llvm.fma.f32(float %x, float %suby, float %negz)
  41   %1 = fsub float -0.000000e+00, %0
  42   ret float %1
  43 }
  44
  45 define float @test_fneg_fma_subx_suby_negz_f32(float %w, float %x, float %y, float %z)  {
  46 ; FMA3-LABEL: test_fneg_fma_subx_suby_negz_f32:
  47 ; FMA3:       # %bb.0: # %entry
  48 ; FMA3-NEXT:    vsubss %xmm1, %xmm0, %xmm1
  49 ; FMA3-NEXT:    vsubss %xmm2, %xmm0, %xmm0
  50 ; FMA3-NEXT:    vfnmadd213ss {{.*#+}} xmm0 = -(xmm1 * xmm0) + xmm3
  51 ; FMA3-NEXT:    retq
  52 ;
  53 ; FMA4-LABEL: test_fneg_fma_subx_suby_negz_f32:
  54 ; FMA4:       # %bb.0: # %entry
  55 ; FMA4-NEXT:    vsubss %xmm1, %xmm0, %xmm1
  56 ; FMA4-NEXT:    vsubss %xmm2, %xmm0, %xmm0
  57 ; FMA4-NEXT:    vfnmaddss {{.*#+}} xmm0 = -(xmm1 * xmm0) + xmm3
  58 ; FMA4-NEXT:    retq
  59 entry:
  60   %subx = fsub nsz float %w, %x
  61   %suby = fsub nsz float %w, %y
  62   %negz = fsub float -0.000000e+00, %z
  63   %0 = tail call nsz float @llvm.fma.f32(float %subx, float %suby, float %negz)
  64   %1 = fsub float -0.000000e+00, %0
  65   ret float %1
  66 }
  67
  68 define float @test_fneg_fma_subx_negy_negz_f32(float %w, float %x, float %y, float %z)  {
  69 ; FMA3-LABEL: test_fneg_fma_subx_negy_negz_f32:
  70 ; FMA3:       # %bb.0: # %entry
  71 ; FMA3-NEXT:    vsubss %xmm1, %xmm0, %xmm0
  72 ; FMA3-NEXT:    vfmadd213ss {{.*#+}} xmm0 = (xmm2 * xmm0) + xmm3
  73 ; FMA3-NEXT:    retq
  74 ;
  75 ; FMA4-LABEL: test_fneg_fma_subx_negy_negz_f32:
  76 ; FMA4:       # %bb.0: # %entry
  77 ; FMA4-NEXT:    vsubss %xmm1, %xmm0, %xmm0
  78 ; FMA4-NEXT:    vfmaddss {{.*#+}} xmm0 = (xmm0 * xmm2) + xmm3
  79 ; FMA4-NEXT:    retq
  80 entry:
  81   %subx = fsub nsz float %w, %x
  82   %negy = fsub float -0.000000e+00, %y
  83   %negz = fsub float -0.000000e+00, %z
  84   %0 = tail call nsz float @llvm.fma.f32(float %subx, float %negy, float %negz)
  85   %1 = fsub float -0.000000e+00, %0
  86   ret float %1
  87 }
  88
  89 define <4 x float> @test_fma_rcp_fneg_v4f32(<4 x float> %x, <4 x float> %y, <4 x float> %z)  {
  90 ; FMA3-LABEL: test_fma_rcp_fneg_v4f32:
  91 ; FMA3:       # %bb.0: # %entry
  92 ; FMA3-NEXT:    vrcpps %xmm2, %xmm2
  93 ; FMA3-NEXT:    vfmsub213ps {{.*#+}} xmm0 = (xmm1 * xmm0) - xmm2
  94 ; FMA3-NEXT:    retq
  95 ;
  96 ; FMA4-LABEL: test_fma_rcp_fneg_v4f32:
  97 ; FMA4:       # %bb.0: # %entry
  98 ; FMA4-NEXT:    vrcpps %xmm2, %xmm2
  99 ; FMA4-NEXT:    vfmsubps {{.*#+}} xmm0 = (xmm0 * xmm1) - xmm2
 100 ; FMA4-NEXT:    retq
 101 entry:
 102   %0 = fneg <4 x float> %z
 103   %1 = tail call <4 x float> @llvm.x86.sse.rcp.ps(<4 x float> %0)
 104   %2 = tail call nsz <4 x float> @llvm.fma.v4f32(<4 x float> %x, <4 x float> %y, <4 x float> %1)
 105   ret <4 x float> %2
 106 }
 107 declare <4 x float> @llvm.x86.sse.rcp.ps(<4 x float>)
 108
 109 ; This would crash while trying getNegatedExpression().
 110
 111 define float @negated_constant(float %x) {
 112 ; FMA3-LABEL: negated_constant:
 113 ; FMA3:       # %bb.0:
 114 ; FMA3-NEXT:    vmulss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0, %xmm1
 115 ; FMA3-NEXT:    vfnmsub132ss {{.*#+}} xmm0 = -(xmm0 * mem) - xmm1
 116 ; FMA3-NEXT:    retq
 117 ;
 118 ; FMA4-LABEL: negated_constant:
 119 ; FMA4:       # %bb.0:
 120 ; FMA4-NEXT:    vmulss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0, %xmm1
 121 ; FMA4-NEXT:    vfnmsubss {{.*#+}} xmm0 = -(xmm0 * mem) - xmm1
 122 ; FMA4-NEXT:    retq
 123   %m = fmul float %x, 42.0
 124   %fma = call nsz float @llvm.fma.f32(float %x, float -42.0, float %m)
 125   %nfma = fneg float %fma
 126   ret float %nfma
 127 }
 128
 129 declare float @llvm.fma.f32(float, float, float)
 130 declare <4 x float> @llvm.fma.v4f32(<4 x float>, <4 x float>, <4 x float>)