annotate gcc/testsuite/gcc.dg/torture/pr69546-1.c @ 158:494b0b89df80 default tip

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 18:13:55 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* PR tree-optimization/69546 */
kono
parents:
diff changeset
2 /* { dg-do run { target int128 } } */
kono
parents:
diff changeset
3
kono
parents:
diff changeset
4 unsigned __int128 __attribute__ ((noinline, noclone))
kono
parents:
diff changeset
5 foo (unsigned long long x)
kono
parents:
diff changeset
6 {
kono
parents:
diff changeset
7 unsigned __int128 y = ~0ULL;
kono
parents:
diff changeset
8 x >>= 63;
kono
parents:
diff changeset
9 return y / (x | 1);
kono
parents:
diff changeset
10 }
kono
parents:
diff changeset
11
kono
parents:
diff changeset
12 unsigned __int128 __attribute__ ((noinline, noclone))
kono
parents:
diff changeset
13 bar (unsigned long long x)
kono
parents:
diff changeset
14 {
kono
parents:
diff changeset
15 unsigned __int128 y = ~33ULL;
kono
parents:
diff changeset
16 x >>= 63;
kono
parents:
diff changeset
17 return y / (x | 1);
kono
parents:
diff changeset
18 }
kono
parents:
diff changeset
19
kono
parents:
diff changeset
20 int
kono
parents:
diff changeset
21 main ()
kono
parents:
diff changeset
22 {
kono
parents:
diff changeset
23 if (foo (1) != ~0ULL || bar (17) != ~33ULL)
kono
parents:
diff changeset
24 __builtin_abort ();
kono
parents:
diff changeset
25 return 0;
kono
parents:
diff changeset
26 }