1  /* { dg-do compile { target { ! ia32 } } } */
       2  /* { dg-options "-mabi=sysv -march=skylake -march=x86-64-v3" } */
       3  
       4  /* Check that -march=x86-64-v3 overrides a previous -march= setting.  */
       5  
       6  /* PCLMUL is not in x86-64-v3, but in -march=skylake.  Make sure that
       7     it is absent.  */
       8  #ifdef __PCLMUL__
       9  # error __PCLMUL__ is defined
      10  #endif
      11  
      12  /* -march=skylake tuning is deactivated.  */
      13  #ifndef __k8__
      14  # error __k8__ is not defined
      15  #endif
      16  #ifdef __skylake__
      17  # error __skylake__ is defined
      18  #endif
      19  #ifdef __tune_skylake__
      20  # error __tune_skylake__ is defined
      21  #endif