1 ; RUN: llc < %s -mtriple=x86_64-apple-darwin -mcpu=core-avx2 -mattr=avx2,+fma -fp-contract=fast | FileCheck %s
3 ; CHECK: test_x86_fmadd_ps
4 ; CHECK: vfmadd213ps %xmm2, %xmm0, %xmm1
6 define <4 x float> @test_x86_fmadd_ps(<4 x float> %a0, <4 x float> %a1, <4 x float> %a2) {
7 %x = fmul <4 x float> %a0, %a1
8 %res = fadd <4 x float> %x, %a2
12 ; CHECK: test_x86_fmsub_ps
13 ; CHECK: fmsub213ps %xmm2, %xmm0, %xmm1
15 define <4 x float> @test_x86_fmsub_ps(<4 x float> %a0, <4 x float> %a1, <4 x float> %a2) {
16 %x = fmul <4 x float> %a0, %a1
17 %res = fsub <4 x float> %x, %a2
21 ; CHECK: test_x86_fnmadd_ps
22 ; CHECK: fnmadd213ps %xmm2, %xmm0, %xmm1
24 define <4 x float> @test_x86_fnmadd_ps(<4 x float> %a0, <4 x float> %a1, <4 x float> %a2) {
25 %x = fmul <4 x float> %a0, %a1
26 %res = fsub <4 x float> %a2, %x
30 ; CHECK: test_x86_fnmsub_ps
31 ; CHECK: fnmsub213ps %xmm2, %xmm0, %xmm1
33 define <4 x float> @test_x86_fnmsub_ps(<4 x float> %a0, <4 x float> %a1, <4 x float> %a2) {
34 %x = fmul <4 x float> %a0, %a1
35 %y = fsub <4 x float> <float -0.000000e+00, float -0.000000e+00, float -0.000000e+00, float -0.000000e+00>, %x
36 %res = fsub <4 x float> %y, %a2
40 ; CHECK: test_x86_fmadd_ps_y
41 ; CHECK: vfmadd213ps %ymm2, %ymm0, %ymm1
43 define <8 x float> @test_x86_fmadd_ps_y(<8 x float> %a0, <8 x float> %a1, <8 x float> %a2) {
44 %x = fmul <8 x float> %a0, %a1
45 %res = fadd <8 x float> %x, %a2
49 ; CHECK: test_x86_fmsub_ps_y
50 ; CHECK: vfmsub213ps %ymm2, %ymm0, %ymm1
52 define <8 x float> @test_x86_fmsub_ps_y(<8 x float> %a0, <8 x float> %a1, <8 x float> %a2) {
53 %x = fmul <8 x float> %a0, %a1
54 %res = fsub <8 x float> %x, %a2
58 ; CHECK: test_x86_fnmadd_ps_y
59 ; CHECK: vfnmadd213ps %ymm2, %ymm0, %ymm1
61 define <8 x float> @test_x86_fnmadd_ps_y(<8 x float> %a0, <8 x float> %a1, <8 x float> %a2) {
62 %x = fmul <8 x float> %a0, %a1
63 %res = fsub <8 x float> %a2, %x
67 ; CHECK: test_x86_fnmsub_ps_y
68 ; CHECK: vfnmsub213ps %ymm2, %ymm0, %ymm1
70 define <8 x float> @test_x86_fnmsub_ps_y(<8 x float> %a0, <8 x float> %a1, <8 x float> %a2) {
71 %x = fmul <8 x float> %a0, %a1
72 %y = fsub <8 x float> <float -0.000000e+00, float -0.000000e+00, float -0.000000e+00, float -0.000000e+00, float -0.000000e+00, float -0.000000e+00, float -0.000000e+00, float -0.000000e+00>, %x
73 %res = fsub <8 x float> %y, %a2
77 ; CHECK: test_x86_fmadd_pd_y
78 ; CHECK: vfmadd213pd %ymm2, %ymm0, %ymm1
80 define <4 x double> @test_x86_fmadd_pd_y(<4 x double> %a0, <4 x double> %a1, <4 x double> %a2) {
81 %x = fmul <4 x double> %a0, %a1
82 %res = fadd <4 x double> %x, %a2
86 ; CHECK: test_x86_fmsub_pd_y
87 ; CHECK: vfmsub213pd %ymm2, %ymm0, %ymm1
89 define <4 x double> @test_x86_fmsub_pd_y(<4 x double> %a0, <4 x double> %a1, <4 x double> %a2) {
90 %x = fmul <4 x double> %a0, %a1
91 %res = fsub <4 x double> %x, %a2
95 ; CHECK: test_x86_fmsub_pd
96 ; CHECK: vfmsub213pd %xmm2, %xmm0, %xmm1
98 define <2 x double> @test_x86_fmsub_pd(<2 x double> %a0, <2 x double> %a1, <2 x double> %a2) {
99 %x = fmul <2 x double> %a0, %a1
100 %res = fsub <2 x double> %x, %a2
101 ret <2 x double> %res
104 ; CHECK: test_x86_fnmadd_ss
105 ; CHECK: vfnmadd213ss %xmm2, %xmm0, %xmm1
107 define float @test_x86_fnmadd_ss(float %a0, float %a1, float %a2) {
108 %x = fmul float %a0, %a1
109 %res = fsub float %a2, %x
113 ; CHECK: test_x86_fnmadd_sd
114 ; CHECK: vfnmadd213sd %xmm2, %xmm0, %xmm1
116 define double @test_x86_fnmadd_sd(double %a0, double %a1, double %a2) {
117 %x = fmul double %a0, %a1
118 %res = fsub double %a2, %x
122 ; CHECK: test_x86_fmsub_sd
123 ; CHECK: vfmsub213sd %xmm2, %xmm0, %xmm1
125 define double @test_x86_fmsub_sd(double %a0, double %a1, double %a2) {
126 %x = fmul double %a0, %a1
127 %res = fsub double %x, %a2
131 ; CHECK: test_x86_fnmsub_ss
132 ; CHECK: vfnmsub213ss %xmm2, %xmm0, %xmm1
134 define float @test_x86_fnmsub_ss(float %a0, float %a1, float %a2) {
135 %x = fsub float -0.000000e+00, %a0
136 %y = fmul float %x, %a1
137 %res = fsub float %y, %a2