re PR tree-optimization/71488 (Wrong code for vector comparisons with ivybridge and...
[platform/upstream/gcc.git] / gcc / testsuite / gcc.target / i386 / i386.exp
index 785a973..877d224 100644 (file)
@@ -1,5 +1,4 @@
-# Copyright (C) 1997, 2004, 2007, 2008, 2009, 2010, 2011, 2012
-# Free Software Foundation, Inc.
+# Copyright (C) 1997-2016 Free Software Foundation, Inc.
 
 # This program is free software; you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
@@ -24,6 +23,8 @@ if { ![istarget i?86*-*-*] && ![istarget x86_64-*-*] } then {
 
 # Load support procs.
 load_lib gcc-dg.exp
+load_lib clearcap.exp
+load_lib mpx-dg.exp
 
 # Return 1 if attribute ms_hook_prologue is supported.
 proc check_effective_target_ms_hook_prologue { } {
@@ -75,20 +76,6 @@ proc check_effective_target_ssse3 { } {
     } "-O2 -mssse3" ]
 }
 
-# Return 1 if sse4 instructions can be compiled.
-proc check_effective_target_sse4 { } {
-    return [check_no_compiler_messages sse4.1 object {
-       typedef long long __m128i __attribute__ ((__vector_size__ (16)));
-       typedef int __v4si __attribute__ ((__vector_size__ (16)));
-
-       __m128i _mm_mullo_epi32 (__m128i __X, __m128i __Y)
-       {
-           return (__m128i) __builtin_ia32_pmulld128 ((__v4si)__X,
-                                                      (__v4si)__Y);
-       }
-    } "-O2 -msse4.1" ]
-}
-
 # Return 1 if aes instructions can be compiled.
 proc check_effective_target_aes { } {
     return [check_no_compiler_messages aes object {
@@ -210,18 +197,6 @@ proc check_effective_target_lzcnt { } {
     } "-mlzcnt" ]
 }
 
-# Return 1 if avx2 instructions can be compiled.
-proc check_effective_target_avx2 { } {
-    return [check_no_compiler_messages avx2 object {
-       typedef long long __v4di __attribute__ ((__vector_size__ (32)));
-       __v4di
-       mm256_is32_andnotsi256  (__v4di __X, __v4di __Y)
-        {
-          return __builtin_ia32_andnotsi256 (__X, __Y);
-       }
-    } "-O0 -mavx2" ]
-}
-
 # Return 1 if bmi instructions can be compiled.
 proc check_effective_target_bmi { } {
     return [check_no_compiler_messages bmi object {
@@ -243,6 +218,18 @@ proc check_effective_target_bmi2 { } {
     } "-mbmi2" ]
 }
 
+# Return 1 if ADX instructions can be compiled.
+proc check_effective_target_adx { } {
+    return [check_no_compiler_messages adx object {
+       unsigned char
+       _adxcarry_u32 (unsigned char __CF, unsigned int __X,
+                  unsigned int __Y, unsigned int *__P)
+       {
+           return __builtin_ia32_addcarryx_u32 (__CF, __X, __Y, __P);
+       }
+    } "-madx" ]
+}
+
 # Return 1 if rtm instructions can be compiled.
 proc check_effective_target_rtm { } {
     return [check_no_compiler_messages rtm object {
@@ -254,37 +241,129 @@ proc check_effective_target_rtm { } {
     } "-mrtm" ]
 }
 
-# If the linker used understands -M <mapfile>, pass it to clear hardware
-# capabilities set by the Sun assembler.
-# Try mapfile syntax v2 first which is the only way to clear hwcap_2 flags.
-set clearcap_ldflags "-Wl,-M,$srcdir/$subdir/clearcapv2.map"
-
-if ![check_no_compiler_messages mapfilev2 executable {
-    int main (void) { return 0; }
-} $clearcap_ldflags ] {
-    # If this doesn't work, fall back to the less capable v1 syntax.
-    set clearcap_ldflags "-Wl,-M,$srcdir/$subdir/clearcap.map"
-
-    if ![check_no_compiler_messages mapfile executable {
-       int main (void) { return 0; }
-    } $clearcap_ldflags ] {
-       unset clearcap_ldflags
-    }
+# Return 1 if avx512f instructions can be compiled.
+proc check_effective_target_avx512f { } {
+    return [check_no_compiler_messages avx512f object {
+       typedef long long __v8di __attribute__ ((__vector_size__ (64)));
+       __v8di
+       mm512_and_epi64  (__v8di __X, __v8di __Y)
+       {
+            return __builtin_ia32_pandq512_mask (__X, __Y, __X, -1);
+       }
+    } "-mavx512f" ]
 }
 
-if [info exists clearcap_ldflags] {
-  if { [info procs gcc_target_compile] != [list] \
-       && [info procs saved_gcc_target_compile] == [list] } {
-    rename gcc_target_compile saved_gcc_target_compile
+# Return 1 if avx512vl instructions can be compiled.
+proc check_effective_target_avx512vl { } {
+    return [check_no_compiler_messages avx512vl object {
+       typedef long long __v4di __attribute__ ((__vector_size__ (32)));
+       __v4di
+       mm256_and_epi64  (__v4di __X, __v4di __Y)
+       {
+            __v4di __W;
+            return __builtin_ia32_pandq256_mask (__X, __Y, __W, -1);
+       }
+    } "-mavx512vl" ]
+}
 
-    proc gcc_target_compile { source dest type options } {
-      global clearcap_ldflags
-      # Always pass -Wl,-M,<mapfile>, but don't let it show up in gcc.sum.
-      lappend options "additional_flags=$clearcap_ldflags"
+# Return 1 if avx512cd instructions can be compiled.
+proc check_effective_target_avx512cd { } {
+    return [check_no_compiler_messages avx512cd_trans object {
+       typedef long long __v8di __attribute__ ((__vector_size__ (64)));
+       __v8di
+       _mm512_conflict_epi64 (__v8di __W, __v8di __A)
+       {
+         return (__v8di) __builtin_ia32_vpconflictdi_512_mask ((__v8di) __A,
+                                                                (__v8di) __W,
+                                                                -1);
+       }
+   } "-Wno-psabi -mavx512cd" ]
+}
 
-      return [saved_gcc_target_compile $source $dest $type $options]
-    }
-  }
+# Return 1 if avx512er instructions can be compiled.
+proc check_effective_target_avx512er { } {
+    return [check_no_compiler_messages avx512er_trans object {
+       typedef float __v16sf __attribute__ ((__vector_size__ (64)));
+       __v16sf
+       mm512_exp2a23_ps  (__v16sf __X)
+       {
+           return __builtin_ia32_exp2ps_mask (__X, __X, -1, 4);
+       }
+   } "-Wno-psabi -mavx512er" ]
+}
+
+# Return 1 if sha instructions can be compiled.
+proc check_effective_target_sha { } {
+    return [check_no_compiler_messages sha object {
+       typedef long long __m128i __attribute__ ((__vector_size__ (16)));
+       typedef int __v4si __attribute__ ((__vector_size__ (16)));
+
+       __m128i _mm_sha1msg1_epu32 (__m128i __X, __m128i __Y)
+       {
+            return (__m128i) __builtin_ia32_sha1msg1 ((__v4si)__X,
+                                                     (__v4si)__Y);
+       }
+    } "-O2 -msha" ]
+}
+
+# Return 1 if avx512dq instructions can be compiled.
+proc check_effective_target_avx512dq { } {
+    return [check_no_compiler_messages avx512dq object {
+       typedef long long __v8di __attribute__ ((__vector_size__ (64)));
+       __v8di
+       _mm512_mask_mullo_epi64 (__v8di __W, __v8di __A, __v8di __B)
+       {
+           return (__v8di) __builtin_ia32_pmullq512_mask ((__v8di) __A,
+                                                           (__v8di) __B,
+                                                           (__v8di) __W,
+                                                           -1);
+       }
+    } "-mavx512dq" ]
+}
+
+# Return 1 if avx512bw instructions can be compiled.
+proc check_effective_target_avx512bw { } {
+    return [check_no_compiler_messages avx512bw object {
+       typedef short __v32hi __attribute__ ((__vector_size__ (64)));
+       __v32hi
+       _mm512_mask_mulhrs_epi16 (__v32hi __W, __v32hi __A, __v32hi __B)
+       {
+           return (__v32hi) __builtin_ia32_pmulhrsw512_mask ((__v32hi) __A,
+                                                           (__v32hi) __B,
+                                                           (__v32hi) __W,
+                                                           -1);
+       }
+    } "-mavx512bw" ]
+}
+
+# Return 1 if avx512ifma instructions can be compiled.
+proc check_effective_target_avx512ifma { } {
+    return [check_no_compiler_messages avx512ifma object {
+       typedef long long __v8di __attribute__ ((__vector_size__ (64)));
+       __v8di
+       _mm512_madd52lo_epu64 (__v8di __X, __v8di __Y, __v8di __Z)
+       {
+         return (__v8di) __builtin_ia32_vpmadd52luq512_mask ((__v8di) __X,
+                                                              (__v8di) __Y,
+                                                              (__v8di) __Z,
+                                                              -1);
+       }
+    } "-mavx512ifma" ]
+}
+
+# Return 1 if avx512vbmi instructions can be compiled.
+proc check_effective_target_avx512vbmi { } {
+    return [check_no_compiler_messages avx512vbmi object {
+       typedef char __v64qi __attribute__ ((__vector_size__ (64)));
+       __v64qi
+       _mm512_multishift_epi64_epi8 (__v64qi __X, __v64qi __Y)
+       {
+         return (__v64qi) __builtin_ia32_vpmultishiftqb512_mask ((__v64qi) __X,
+                                                                (__v64qi) __Y,
+                                                                (__v64qi) __Y,
+                                                                -1);
+       }
+    } "-mavx512vbmi" ]
 }
 
 # If a testcase doesn't have special options, use these.
@@ -295,14 +374,18 @@ if ![info exists DEFAULT_CFLAGS] then {
 
 # Initialize `dg'.
 dg-init
+clearcap-init
 
+global runtests
 # Special case compilation of vect-args.c so we don't have to
-# replicate it 10 times.
-foreach type { "" -mmmx -m3dnow -msse -msse2 } {
-  foreach level { "" -O } {
-    set flags "$type $level"
-    verbose -log "Testing vect-args, $flags" 1
-    dg-test $srcdir/$subdir/vect-args.c $flags ""
+# replicate it 16 times.
+if [runtest_file_p $runtests $srcdir/$subdir/vect-args.c] {
+  foreach type { "" -mmmx -m3dnow -msse -msse2 -mavx -mavx2 -mavx512f } {
+    foreach level { "" -O } {
+      set flags "$type $level"
+      verbose -log "Testing vect-args, $flags" 1
+      dg-test $srcdir/$subdir/vect-args.c $flags ""
+    }
   }
 }
 
@@ -314,4 +397,5 @@ set tests [prune $tests $srcdir/$subdir/vect-args.c]
 dg-runtest $tests "" $DEFAULT_CFLAGS
 
 # All done.
+clearcap-finish
 dg-finish