1  /* PR target/94461 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-mmmx -mno-sse2" } */
       4  
       5  typedef int __v2si __attribute__ ((__vector_size__ (8)));
       6  
       7  void
       8  foo (__v2si *a, __v2si *b)
       9  {
      10    __v2si c = *a;
      11    *b = (__v2si) __builtin_ia32_pmuludq (c, c);	/* { dg-error "needs isa option" } */
      12  }