/* { dg-do compile { target { ! ia32 } } } */
/* { dg-options "-mabi=sysv -march=skylake -march=x86-64-v3" } */

/* Check that -march=x86-64-v3 overrides a previous -march= setting.  */

/* PCLMUL is not in x86-64-v3, but in -march=skylake.  Make sure that
   it is absent.  */
#ifdef __PCLMUL__
# error __PCLMUL__ is defined
#endif

/* -march=skylake tuning is deactivated.  */
#ifndef __k8__
# error __k8__ is not defined
#endif
#ifdef __skylake__
# error __skylake__ is defined
#endif
#ifdef __tune_skylake__
# error __tune_skylake__ is defined
#endif