/*
 * Check that 64-bit operations are being performed in Maverick registers
 */

#if __LONG_MAX__ != 9223372036854775807ll
typedef unsigned long long ull;
#else
typedef unsigned long ull;
#endif
typedef unsigned ul;

int failed = 0;

ull
check_64bit(ull foo)
{
  register ull one asm ("mvdx3");
  register ull two asm ("mvdx4");

  one = foo + (ull)42;
  two = one * foo;

  return(two);
}