/* { dg-require-effective-target int128 } */

typedef unsigned __int128 u128;

int a, c, d;
u128 b;

unsigned long long g0, g1;

void
store (unsigned long long a0, unsigned long long a1)
{
  g0 = a0;
  g1 = a1;
}

void
foo (void)
{
  b += a;
  c = d != 84347;
  b /= c;
  u128 x = b;
  store (x >> 0, x >> 64);
}

int
main (void)
{
  foo ();
  if (g0 != 0 || g1 != 0)
    __builtin_abort ();
  return 0;
}