1  /* { dg-do compile { target { ! ia32 } } } */
       2  /* { dg-options "-mabi=sysv -mtune=haswell -march=x86-64-v3" } */
       3  
       4  /* Check that -march=x86-64-v3 preserves tuning.  */
       5  
       6  /* PCLMUL is not in x86-64-v3, but in -march=haswell.  Make sure that
       7     it is absent.  */
       8  #ifdef __PCLMUL__
       9  # error __PCLMUL__ is defined
      10  #endif
      11  
      12  /* -mtune=haswell tuning is preserved.  */
      13  #ifndef __k8__
      14  # error __k8__ is not defined
      15  #endif
      16  #ifndef __tune_haswell__
      17  # error __tune_haswell__ is not defined
      18  #endif