1 /* { dg-do run { target i?86-*-* } } */
2 /* { dg-options "-march=pentium4" } */
6 #include "../../gcc.dg/i386-cpuid.h"
8 int main(int argc, char** argv) {
14 unsigned long cpu_facilities;
16 cpu_facilities = i386_cpuid ();
18 if ((cpu_facilities & (bit_MMX | bit_SSE | bit_SSE2 | bit_CMOV))
19 != (bit_MMX | bit_SSE | bit_SSE2 | bit_CMOV))
20 /* If host has no vector support, pass. */
23 __m128 v = _mm_set_ps(a, b, c, 0);
25 v = (__m128)_mm_srli_si128((__m128i)v, 4);