1  /* { dg-do compile { target { ! ia32 } } } */
       2  /* { dg-options "-O2 -msse2 -mno-mmx" } */
       3  /* { dg-final { scan-assembler-not "%xmm" } } */
       4  /* { dg-final { scan-assembler-not "%mm" } } */
       5  
       6  #include <mmintrin.h>
       7  
       8  float
       9  foo (__m64 x)
      10  {
      11    return ((__v2sf) x)[0];
      12  }