1# Copyright (C) 1997-2016 Free Software Foundation, Inc.
2
3# This program is free software; you can redistribute it and/or modify
4# it under the terms of the GNU General Public License as published by
5# the Free Software Foundation; either version 3 of the License, or
6# (at your option) any later version.
7#
8# This program is distributed in the hope that it will be useful,
9# but WITHOUT ANY WARRANTY; without even the implied warranty of
10# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
11# GNU General Public License for more details.
12#
13# You should have received a copy of the GNU General Public License
14# along with GCC; see the file COPYING3.  If not see
15# <http://www.gnu.org/licenses/>.
16
17# GCC testsuite that uses the `dg.exp' driver.
18
19# Exit immediately if this isn't a x86 target.
20if { ![istarget i?86*-*-*] && ![istarget x86_64-*-*] } then {
21  return
22}
23
24# Load support procs.
25load_lib gcc-dg.exp
26load_lib clearcap.exp
27load_lib mpx-dg.exp
28
29# Return 1 if attribute ms_hook_prologue is supported.
30proc check_effective_target_ms_hook_prologue { } {
31    if { [check_no_compiler_messages ms_hook_prologue object {
32	     void __attribute__ ((__ms_hook_prologue__)) foo ();
33	 } ""] } {
34	return 1
35    } else {
36	return 0
37    }
38}
39
40# Return 1 if 3dnow instructions can be compiled.
41proc check_effective_target_3dnow { } {
42    return [check_no_compiler_messages 3dnow object {
43	typedef int __m64 __attribute__ ((__vector_size__ (8)));
44	typedef float __v2sf __attribute__ ((__vector_size__ (8)));
45
46	__m64 _m_pfadd (__m64 __A, __m64 __B)
47	{
48	    return (__m64) __builtin_ia32_pfadd ((__v2sf)__A, (__v2sf)__B);
49	}
50    } "-O2 -m3dnow" ]
51}
52
53# Return 1 if sse3 instructions can be compiled.
54proc check_effective_target_sse3 { } {
55    return [check_no_compiler_messages sse3 object {
56	typedef double __m128d __attribute__ ((__vector_size__ (16)));
57	typedef double __v2df __attribute__ ((__vector_size__ (16)));
58
59	__m128d _mm_addsub_pd (__m128d __X, __m128d __Y)
60	{
61	    return (__m128d) __builtin_ia32_addsubpd ((__v2df)__X, (__v2df)__Y);
62	}
63    } "-O2 -msse3" ]
64}
65
66# Return 1 if ssse3 instructions can be compiled.
67proc check_effective_target_ssse3 { } {
68    return [check_no_compiler_messages ssse3 object {
69	typedef long long __m128i __attribute__ ((__vector_size__ (16)));
70	typedef int __v4si __attribute__ ((__vector_size__ (16)));
71
72	__m128i _mm_abs_epi32 (__m128i __X)
73	{
74	    return (__m128i) __builtin_ia32_pabsd128 ((__v4si)__X);
75	}
76    } "-O2 -mssse3" ]
77}
78
79# Return 1 if sse4 instructions can be compiled.
80proc check_effective_target_sse4 { } {
81    return [check_no_compiler_messages sse4.1 object {
82	typedef long long __m128i __attribute__ ((__vector_size__ (16)));
83	typedef int __v4si __attribute__ ((__vector_size__ (16)));
84
85	__m128i _mm_mullo_epi32 (__m128i __X, __m128i __Y)
86	{
87	    return (__m128i) __builtin_ia32_pmulld128 ((__v4si)__X,
88						       (__v4si)__Y);
89	}
90    } "-O2 -msse4.1" ]
91}
92
93# Return 1 if aes instructions can be compiled.
94proc check_effective_target_aes { } {
95    return [check_no_compiler_messages aes object {
96	typedef long long __m128i __attribute__ ((__vector_size__ (16)));
97	typedef long long __v2di __attribute__ ((__vector_size__ (16)));
98
99	__m128i _mm_aesimc_si128 (__m128i __X)
100	{
101	    return (__m128i) __builtin_ia32_aesimc128 ((__v2di)__X);
102	}
103    } "-O2 -maes" ]
104}
105
106# Return 1 if vaes instructions can be compiled.
107proc check_effective_target_vaes { } {
108    return [check_no_compiler_messages vaes object {
109	typedef long long __m128i __attribute__ ((__vector_size__ (16)));
110	typedef long long __v2di __attribute__ ((__vector_size__ (16)));
111
112	__m128i _mm_aesimc_si128 (__m128i __X)
113	{
114	    return (__m128i) __builtin_ia32_aesimc128 ((__v2di)__X);
115	}
116    } "-O2 -maes -mavx" ]
117}
118
119# Return 1 if pclmul instructions can be compiled.
120proc check_effective_target_pclmul { } {
121    return [check_no_compiler_messages pclmul object {
122	typedef long long __m128i __attribute__ ((__vector_size__ (16)));
123	typedef long long __v2di __attribute__ ((__vector_size__ (16)));
124
125	__m128i pclmulqdq_test (__m128i __X, __m128i __Y)
126	{
127	    return (__m128i) __builtin_ia32_pclmulqdq128 ((__v2di)__X,
128							  (__v2di)__Y,
129							  1);
130	}
131    } "-O2 -mpclmul" ]
132}
133
134# Return 1 if vpclmul instructions can be compiled.
135proc check_effective_target_vpclmul { } {
136    return [check_no_compiler_messages vpclmul object {
137	typedef long long __m128i __attribute__ ((__vector_size__ (16)));
138	typedef long long __v2di __attribute__ ((__vector_size__ (16)));
139
140	__m128i pclmulqdq_test (__m128i __X, __m128i __Y)
141	{
142	    return (__m128i) __builtin_ia32_pclmulqdq128 ((__v2di)__X,
143							  (__v2di)__Y,
144							  1);
145	}
146    } "-O2 -mpclmul -mavx" ]
147}
148
149# Return 1 if sse4a instructions can be compiled.
150proc check_effective_target_sse4a { } {
151    return [check_no_compiler_messages sse4a object {
152	typedef long long __m128i __attribute__ ((__vector_size__ (16)));
153	typedef long long __v2di __attribute__ ((__vector_size__ (16)));
154
155	__m128i _mm_insert_si64 (__m128i __X,__m128i __Y)
156	{
157	    return (__m128i) __builtin_ia32_insertq ((__v2di)__X, (__v2di)__Y);
158	}
159    } "-O2 -msse4a" ]
160}
161
162# Return 1 if fma4 instructions can be compiled.
163proc check_effective_target_fma4 { } {
164    return [check_no_compiler_messages fma4 object {
165        typedef float __m128 __attribute__ ((__vector_size__ (16)));
166	typedef float __v4sf __attribute__ ((__vector_size__ (16)));
167	__m128 _mm_macc_ps(__m128 __A, __m128 __B, __m128 __C)
168	{
169	    return (__m128) __builtin_ia32_vfmaddps ((__v4sf)__A,
170						     (__v4sf)__B,
171						     (__v4sf)__C);
172	}
173    } "-O2 -mfma4" ]
174}
175
176# Return 1 if fma instructions can be compiled.
177proc check_effective_target_fma { } {
178    return [check_no_compiler_messages fma object {
179        typedef float __m128 __attribute__ ((__vector_size__ (16)));
180	typedef float __v4sf __attribute__ ((__vector_size__ (16)));
181	__m128 _mm_macc_ps(__m128 __A, __m128 __B, __m128 __C)
182	{
183	    return (__m128) __builtin_ia32_vfmaddps ((__v4sf)__A,
184						     (__v4sf)__B,
185						     (__v4sf)__C);
186	}
187    } "-O2 -mfma" ]
188}
189
190# Return 1 if xop instructions can be compiled.
191proc check_effective_target_xop { } {
192    return [check_no_compiler_messages xop object {
193	typedef long long __m128i __attribute__ ((__vector_size__ (16)));
194	typedef short __v8hi __attribute__ ((__vector_size__ (16)));
195	__m128i _mm_maccs_epi16(__m128i __A, __m128i __B, __m128i __C)
196	{
197	    return (__m128i) __builtin_ia32_vpmacssww ((__v8hi)__A,
198						       (__v8hi)__B,
199						       (__v8hi)__C);
200	}
201    } "-O2 -mxop" ]
202}
203
204# Return 1 if lzcnt instruction can be compiled.
205proc check_effective_target_lzcnt { } {
206    return [check_no_compiler_messages lzcnt object {
207	unsigned short _lzcnt (unsigned short __X)
208	{
209	   return __builtin_clzs (__X);
210	}
211    } "-mlzcnt" ]
212}
213
214# Return 1 if bmi instructions can be compiled.
215proc check_effective_target_bmi { } {
216    return [check_no_compiler_messages bmi object {
217	unsigned int __bextr_u32 (unsigned int __X, unsigned int __Y)
218	{
219	  return __builtin_ia32_bextr_u32 (__X, __Y);
220	}
221    } "-mbmi" ]
222}
223
224# Return 1 if bmi2 instructions can be compiled.
225proc check_effective_target_bmi2 { } {
226    return [check_no_compiler_messages bmi2 object {
227	unsigned int
228	_bzhi_u32 (unsigned int __X, unsigned int __Y)
229	{
230	    return __builtin_ia32_bzhi_si (__X, __Y);
231	}
232    } "-mbmi2" ]
233}
234
235# Return 1 if ADX instructions can be compiled.
236proc check_effective_target_adx { } {
237    return [check_no_compiler_messages adx object {
238	unsigned char
239	_adxcarry_u32 (unsigned char __CF, unsigned int __X,
240		   unsigned int __Y, unsigned int *__P)
241	{
242	    return __builtin_ia32_addcarryx_u32 (__CF, __X, __Y, __P);
243	}
244    } "-madx" ]
245}
246
247# Return 1 if rtm instructions can be compiled.
248proc check_effective_target_rtm { } {
249    return [check_no_compiler_messages rtm object {
250	void
251	_rtm_xend (void)
252	{
253	    return __builtin_ia32_xend ();
254	}
255    } "-mrtm" ]
256}
257
258# Return 1 if avx512vl instructions can be compiled.
259proc check_effective_target_avx512vl { } {
260    return [check_no_compiler_messages avx512vl object {
261	typedef long long __v4di __attribute__ ((__vector_size__ (32)));
262	__v4di
263	mm256_and_epi64  (__v4di __X, __v4di __Y)
264	{
265            __v4di __W;
266            return __builtin_ia32_pandq256_mask (__X, __Y, __W, -1);
267	}
268    } "-mavx512vl" ]
269}
270
271# Return 1 if avx512cd instructions can be compiled.
272proc check_effective_target_avx512cd { } {
273    return [check_no_compiler_messages avx512cd_trans object {
274	typedef long long __v8di __attribute__ ((__vector_size__ (64)));
275	__v8di
276	_mm512_conflict_epi64 (__v8di __W, __v8di __A)
277	{
278	  return (__v8di) __builtin_ia32_vpconflictdi_512_mask ((__v8di) __A,
279								 (__v8di) __W,
280								 -1);
281	}
282   } "-Wno-psabi -mavx512cd" ]
283}
284
285# Return 1 if avx512er instructions can be compiled.
286proc check_effective_target_avx512er { } {
287    return [check_no_compiler_messages avx512er_trans object {
288	typedef float __v16sf __attribute__ ((__vector_size__ (64)));
289	__v16sf
290	mm512_exp2a23_ps  (__v16sf __X)
291	{
292	    return __builtin_ia32_exp2ps_mask (__X, __X, -1, 4);
293	}
294   } "-Wno-psabi -mavx512er" ]
295}
296
297# Return 1 if sha instructions can be compiled.
298proc check_effective_target_sha { } {
299    return [check_no_compiler_messages sha object {
300	typedef long long __m128i __attribute__ ((__vector_size__ (16)));
301	typedef int __v4si __attribute__ ((__vector_size__ (16)));
302
303	__m128i _mm_sha1msg1_epu32 (__m128i __X, __m128i __Y)
304	{
305            return (__m128i) __builtin_ia32_sha1msg1 ((__v4si)__X,
306						      (__v4si)__Y);
307	}
308    } "-O2 -msha" ]
309}
310
311# Return 1 if avx512dq instructions can be compiled.
312proc check_effective_target_avx512dq { } {
313    return [check_no_compiler_messages avx512dq object {
314	typedef long long __v8di __attribute__ ((__vector_size__ (64)));
315	__v8di
316	_mm512_mask_mullo_epi64 (__v8di __W, __v8di __A, __v8di __B)
317	{
318	    return (__v8di) __builtin_ia32_pmullq512_mask ((__v8di) __A,
319							    (__v8di) __B,
320							    (__v8di) __W,
321							    -1);
322	}
323    } "-mavx512dq" ]
324}
325
326# Return 1 if avx512bw instructions can be compiled.
327proc check_effective_target_avx512bw { } {
328    return [check_no_compiler_messages avx512bw object {
329	typedef short __v32hi __attribute__ ((__vector_size__ (64)));
330	__v32hi
331	_mm512_mask_mulhrs_epi16 (__v32hi __W, __v32hi __A, __v32hi __B)
332	{
333	    return (__v32hi) __builtin_ia32_pmulhrsw512_mask ((__v32hi) __A,
334							    (__v32hi) __B,
335							    (__v32hi) __W,
336							    -1);
337	}
338    } "-mavx512bw" ]
339}
340
341# Return 1 if avx512ifma instructions can be compiled.
342proc check_effective_target_avx512ifma { } {
343    return [check_no_compiler_messages avx512ifma object {
344	typedef long long __v8di __attribute__ ((__vector_size__ (64)));
345	__v8di
346	_mm512_madd52lo_epu64 (__v8di __X, __v8di __Y, __v8di __Z)
347	{
348	  return (__v8di) __builtin_ia32_vpmadd52luq512_mask ((__v8di) __X,
349							       (__v8di) __Y,
350						               (__v8di) __Z,
351						               -1);
352	}
353    } "-mavx512ifma" ]
354}
355
356# Return 1 if avx512vbmi instructions can be compiled.
357proc check_effective_target_avx512vbmi { } {
358    return [check_no_compiler_messages avx512vbmi object {
359	typedef char __v64qi __attribute__ ((__vector_size__ (64)));
360	__v64qi
361	_mm512_multishift_epi64_epi8 (__v64qi __X, __v64qi __Y)
362	{
363	  return (__v64qi) __builtin_ia32_vpmultishiftqb512_mask ((__v64qi) __X,
364								 (__v64qi) __Y,
365								 (__v64qi) __Y,
366								 -1);
367	}
368    } "-mavx512vbmi" ]
369}
370
371# If a testcase doesn't have special options, use these.
372global DEFAULT_CFLAGS
373if ![info exists DEFAULT_CFLAGS] then {
374    set DEFAULT_CFLAGS " -ansi -pedantic-errors"
375}
376
377# Initialize `dg'.
378dg-init
379clearcap-init
380
381global runtests
382# Special case compilation of vect-args.c so we don't have to
383# replicate it 16 times.
384if [runtest_file_p $runtests $srcdir/$subdir/vect-args.c] {
385  foreach type { "" -mmmx -m3dnow -msse -msse2 -mavx -mavx2 -mavx512f } {
386    foreach level { "" -O } {
387      set flags "$type $level"
388      verbose -log "Testing vect-args, $flags" 1
389      dg-test $srcdir/$subdir/vect-args.c $flags ""
390    }
391  }
392}
393
394# Everything else.
395set tests [lsort [glob -nocomplain $srcdir/$subdir/*.\[cS\]]]
396set tests [prune $tests $srcdir/$subdir/vect-args.c]
397
398# Main loop.
399dg-runtest $tests "" $DEFAULT_CFLAGS
400
401# All done.
402clearcap-finish
403dg-finish
404