blob: a18f9d041ee977fa477b4f7f6e29d67ed8c93a4e [file] [log] [blame]
/* 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;
}