1 /* { dg-do run { target i?86-*-* x86_64-*-* } } */
2 /* { dg-options "-march=pentium4" } */
3 /* { dg-require-effective-target ilp32 } */
7 #include "../../gcc.dg/i386-cpuid.h"
9 int main(int argc, char** argv) {
15 unsigned long cpu_facilities;
17 cpu_facilities = i386_cpuid ();
19 if ((cpu_facilities & (bit_MMX | bit_SSE | bit_SSE2 | bit_CMOV))
20 != (bit_MMX | bit_SSE | bit_SSE2 | bit_CMOV))
21 /* If host has no vector support, pass. */
24 __m128 v = _mm_set_ps(a, b, c, 0);
26 v = (__m128)_mm_srli_si128((__m128i)v, 4);