DI/Verifier: Fix argument bitrot in DILocalVariable
[oota-llvm.git] / test / CodeGen / X86 / fma_patterns_wide.ll
1 ; RUN: llc < %s -mtriple=x86_64-apple-darwin -mcpu=core-avx2 -mattr=avx2,+fma -fp-contract=fast | FileCheck %s
2 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mcpu=bdver2 -mattr=-fma4 -fp-contract=fast | FileCheck %s
3 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mcpu=bdver1 -fp-contract=fast | FileCheck %s --check-prefix=CHECK_FMA4
4
5 ; CHECK-LABEL: test_x86_fmadd_ps_y_wide
6 ; CHECK: vfmadd213ps
7 ; CHECK: vfmadd213ps
8 ; CHECK: ret
9 ; CHECK_FMA4-LABEL: test_x86_fmadd_ps_y_wide
10 ; CHECK_FMA4: vfmaddps
11 ; CHECK_FMA4: vfmaddps
12 ; CHECK_FMA4: ret
13 define <16 x float> @test_x86_fmadd_ps_y_wide(<16 x float> %a0, <16 x float> %a1, <16 x float> %a2) {
14   %x = fmul <16 x float> %a0, %a1
15   %res = fadd <16 x float> %x, %a2
16   ret <16 x float> %res
17 }
18
19 ; CHECK-LABEL: test_x86_fmsub_ps_y_wide
20 ; CHECK: vfmsub213ps
21 ; CHECK: vfmsub213ps
22 ; CHECK: ret
23 ; CHECK_FMA4-LABEL: test_x86_fmsub_ps_y_wide
24 ; CHECK_FMA4: vfmsubps
25 ; CHECK_FMA4: vfmsubps
26 ; CHECK_FMA4: ret
27 define <16 x float> @test_x86_fmsub_ps_y_wide(<16 x float> %a0, <16 x float> %a1, <16 x float> %a2) {
28   %x = fmul <16 x float> %a0, %a1
29   %res = fsub <16 x float> %x, %a2
30   ret <16 x float> %res
31 }
32
33 ; CHECK-LABEL: test_x86_fnmadd_ps_y_wide
34 ; CHECK: vfnmadd213ps
35 ; CHECK: vfnmadd213ps
36 ; CHECK: ret
37 ; CHECK_FMA4-LABEL: test_x86_fnmadd_ps_y_wide
38 ; CHECK_FMA4: vfnmaddps
39 ; CHECK_FMA4: vfnmaddps
40 ; CHECK_FMA4: ret
41 define <16 x float> @test_x86_fnmadd_ps_y_wide(<16 x float> %a0, <16 x float> %a1, <16 x float> %a2) {
42   %x = fmul <16 x float> %a0, %a1
43   %res = fsub <16 x float> %a2, %x
44   ret <16 x float> %res
45 }
46
47 ; CHECK-LABEL: test_x86_fnmsub_ps_y_wide
48 ; CHECK: vfnmsub213ps
49 ; CHECK: vfnmsub213ps
50 ; CHECK: ret
51 define <16 x float> @test_x86_fnmsub_ps_y_wide(<16 x float> %a0, <16 x float> %a1, <16 x float> %a2) {
52   %x = fmul <16 x float> %a0, %a1
53   %y = fsub <16 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, 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
54   %res = fsub <16 x float> %y, %a2
55   ret <16 x float> %res
56 }
57
58 ; CHECK-LABEL: test_x86_fmadd_pd_y_wide
59 ; CHECK: vfmadd213pd
60 ; CHECK: vfmadd213pd
61 ; CHECK: ret
62 ; CHECK_FMA4-LABEL: test_x86_fmadd_pd_y_wide
63 ; CHECK_FMA4: vfmaddpd
64 ; CHECK_FMA4: vfmaddpd
65 ; CHECK_FMA4: ret
66 define <8 x double> @test_x86_fmadd_pd_y_wide(<8 x double> %a0, <8 x double> %a1, <8 x double> %a2) {
67   %x = fmul <8 x double> %a0, %a1
68   %res = fadd <8 x double> %x, %a2
69   ret <8 x double> %res
70 }
71
72 ; CHECK-LABEL: test_x86_fmsub_pd_y_wide
73 ; CHECK: vfmsub213pd
74 ; CHECK: vfmsub213pd
75 ; CHECK: ret
76 ; CHECK_FMA4-LABEL: test_x86_fmsub_pd_y_wide
77 ; CHECK_FMA4: vfmsubpd
78 ; CHECK_FMA4: vfmsubpd
79 ; CHECK_FMA4: ret
80 define <8 x double> @test_x86_fmsub_pd_y_wide(<8 x double> %a0, <8 x double> %a1, <8 x double> %a2) {
81   %x = fmul <8 x double> %a0, %a1
82   %res = fsub <8 x double> %x, %a2
83   ret <8 x double> %res
84 }