/* Contributed by Jack Lloyd  <lloyd@randombit.net> */

/* { dg-options "-O2 -ftree-vectorize" } */
/* { dg-options "-O2 -ftree-vectorize -march=nocona" { target { i?86-*-* x86_64-*-* } } } */

typedef unsigned long long word;

const unsigned int MP_WORD_BITS = 64;
const word MP_WORD_MASK = ~((word)0);
const word MP_WORD_TOP_BIT = (word)1 << (8*sizeof(word) - 1);

extern void abort (void);

word do_div(word n1, word n0, word d)
{
  word high = n1 % d, quotient = 0;
  unsigned int j;

  for(j = 0; j != MP_WORD_BITS; ++j)
    {
      word high_top_bit = (high & MP_WORD_TOP_BIT);

      high <<= 1;
      high |= (n0 >> (MP_WORD_BITS-1-j)) & 1;
      quotient <<= 1;

      if(high_top_bit || high >= d)
	{
	  high -= d;
	  quotient |= 1;
	}
    }

  return quotient;
}

int main()
{
  word result;

  result = do_div(0x0000000000200000ll,
		  0x0000000000000000ll,
		  0x86E53497CE000000ll);

  
  if (result != 0x3CBA83)
    abort ();

  return 0;
}