NOINLINE float
foo32x2_le (float32x2_t x)
{
#ifdef __i386__
__builtin_ia32_emms ();
#endif
return bar (x[0]);
}
void foo (void)
{
unsigned long long a = 0x0102030405060708LL;
unsigned long long b = 0x1020304050607080LL;
unsigned long long c;
c = (unsigned long long) __builtin_ia32_paddusb ((__v8qi) a, (__v8qi) b);
__builtin_ia32_emms ();
if (c != 0x1122334455667788LL)
abort ();
}
NOINLINE float
foo32x2_be (float32x2_t x)
{
#ifdef __i386__
/* ix86 passes float32x2 vector arguments in mmx registers. We need to
emit emms to empty MMS state and reenable x87 stack before float value
can be loaded to and passed in x87 floating-point return register. */
__builtin_ia32_emms ();
#endif
return bar (x[1]);
}