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
7declare float @llvm.fma.f32(float, float, float)
8
9define 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
22define 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
34declare double @llvm.fma.f64(double, double, double)
35
36define 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
49define 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}
60