1 /* PR target/78791 */
2 
3 __attribute__((used, noinline, noclone)) unsigned long long
foo(unsigned long long x,unsigned long long y,unsigned long long z)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
main()14 main ()
15 {
16   if (foo (64, 7, 0) != 10 || foo (28, 3, 2) != 14)
17     __builtin_abort ();
18   return 0;
19 }
20