1 typedef unsigned char u8;
2 typedef unsigned short u16;
3 typedef unsigned int u32;
4 typedef unsigned long long u64;
5
6 u64 __attribute__((noinline, noclone))
foo(u8 u8_0,u16 u16_0,u64 u64_0,u8 u8_1,u16 u16_1,u64 u64_1,u64 u64_2,u8 u8_3,u64 u64_3)7 foo(u8 u8_0, u16 u16_0, u64 u64_0, u8 u8_1, u16 u16_1, u64 u64_1, u64 u64_2, u8 u8_3, u64 u64_3)
8 {
9 u64_1 *= 0x7730;
10 u64_3 *= u64_3;
11 u16_1 |= u64_3;
12 u64_3 -= 2;
13 u8_3 /= u64_2;
14 u8_0 |= 3;
15 u64_3 %= u8_0;
16 u8_0 -= 1;
17 return u8_0 + u16_0 + u64_0 + u8_1 + u16_1 + u64_1 + u8_3 + u64_3;
18 }
19
main()20 int main()
21 {
22 unsigned x = foo(1, 1, 1, 1, 1, 1, 1, 1, 1);
23 if (x != 0x7737)
24 __builtin_abort();
25 return 0;
26 }
27