1  /* PR target/78791 */
       2  
       3  __attribute__((used, noinline, noclone)) unsigned long long
       4  foo (unsigned long long x, unsigned long long y, unsigned long long z)
       5  {
       6    unsigned long long a = x / y;
       7    unsigned long long b = x % y;
       8    a |= z;
       9    b ^= z;
      10    return a + b;
      11  }
      12  
      13  int
      14  main ()
      15  {
      16    if (foo (64, 7, 0) != 10 || foo (28, 3, 2) != 14)
      17      __builtin_abort ();
      18    return 0;
      19  }