1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -msse2 -mno-mmx -Wno-psabi" } */
       3  
       4  typedef int __m64 __attribute__ ((__vector_size__ (8), __may_alias__));
       5  typedef char __v8qi __attribute__ ((__vector_size__ (8)));
       6  void
       7  _mm_maskmove_si64 (__m64 __A, __m64 __N, char *__P)
       8  {
       9      __builtin_ia32_maskmovq ((__v8qi)__A, (__v8qi)__N, __P); /* { dg-error "needs isa option -msse -m3dnowa -mmmx" } */
      10  }