111
|
1 /* { dg-do run { target int128 } } */
|
|
2 /* { dg-options "-O -fno-tree-bit-ccp -fno-tree-reassoc" } */
|
|
3
|
|
4 typedef unsigned char u8;
|
|
5 typedef unsigned short u16;
|
|
6 typedef unsigned int u32;
|
|
7 typedef unsigned long long u64;
|
|
8 typedef unsigned __int128 u128;
|
|
9
|
|
10 void __attribute__((noinline, noclone))
|
|
11 dirtify_stack(void)
|
|
12 {
|
|
13 volatile char a[] = "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa"
|
|
14 "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa"
|
|
15 "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa"
|
|
16 "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa";
|
|
17 }
|
|
18
|
|
19 u128 __attribute__ ((noinline, noclone))
|
|
20 foo(u32 u32_1, u64 u64_1, u128 u128_1, u8 u8_2, u16 u16_2, u32 u32_2, u8 u8_3)
|
|
21 {
|
|
22 u128_1 /= ~u128_1 | 1;
|
|
23 u8_3 = ((u8_3 << 2) >> 1) << 7;
|
|
24 u32_2 >>= u8_3;
|
|
25 return u128_1 + u32_2 + u8_3;
|
|
26 }
|
|
27
|
|
28 int
|
|
29 main ()
|
|
30 {
|
|
31 dirtify_stack();
|
|
32 u128 x = foo(1, 1, 1, 1, 1, 1, 0);
|
|
33 if (x != 1)
|
|
34 __builtin_abort();
|
|
35 return 0;
|
|
36 }
|