1  /* { dg-do compile { target x86_64-*-* i?86-*-* } } */
       2  /* { dg-options "-std=c99 -msse2" } */
       3  
       4  typedef int __m64 __attribute__ ((__vector_size__ (8), __may_alias__));
       5  __m64 _mm_add_si64 (__m64 __m1, __m64 __m2)
       6  {
       7      return (__m64) __builtin_ia32_paddq ((long long)__m1, (long long)__m2); /* { dg-error "incompatible type" } */
       8      /* { dg-message "note: expected '__vector.1. long long int' but argument is of type 'long long int'" "" { target *-*-* } .-1 } */
       9  }