|
131
|
1 /* PR middle-end/87290 */
|
|
|
2
|
|
|
3 int c;
|
|
|
4
|
|
|
5 __attribute__((noipa)) void
|
|
|
6 f0 (void)
|
|
|
7 {
|
|
|
8 c++;
|
|
|
9 }
|
|
|
10
|
|
|
11 __attribute__((noipa)) int
|
|
|
12 f1 (int x)
|
|
|
13 {
|
|
|
14 return x % 16 == 13;
|
|
|
15 }
|
|
|
16
|
|
|
17 __attribute__((noipa)) int
|
|
|
18 f2 (int x)
|
|
|
19 {
|
|
|
20 return x % 16 == -13;
|
|
|
21 }
|
|
|
22
|
|
|
23 __attribute__((noipa)) void
|
|
|
24 f3 (int x)
|
|
|
25 {
|
|
|
26 if (x % 16 == 13)
|
|
|
27 f0 ();
|
|
|
28 }
|
|
|
29
|
|
|
30 __attribute__((noipa)) void
|
|
|
31 f4 (int x)
|
|
|
32 {
|
|
|
33 if (x % 16 == -13)
|
|
|
34 f0 ();
|
|
|
35 }
|
|
|
36
|
|
|
37 int
|
|
|
38 main ()
|
|
|
39 {
|
|
|
40 int i, j;
|
|
|
41 for (i = -30; i < 30; i++)
|
|
|
42 {
|
|
|
43 if (f1 (13 + i * 16) != (i >= 0) || f2 (-13 + i * 16) != (i <= 0))
|
|
|
44 __builtin_abort ();
|
|
|
45 f3 (13 + i * 16);
|
|
|
46 if (c != (i >= 0))
|
|
|
47 __builtin_abort ();
|
|
|
48 f4 (-13 + i * 16);
|
|
|
49 if (c != 1 + (i == 0))
|
|
|
50 __builtin_abort ();
|
|
|
51 for (j = 1; j < 16; j++)
|
|
|
52 {
|
|
|
53 if (f1 (13 + i * 16 + j) || f2 (-13 + i * 16 + j))
|
|
|
54 __builtin_abort ();
|
|
|
55 f3 (13 + i * 16 + j);
|
|
|
56 f4 (-13 + i * 16 + j);
|
|
|
57 }
|
|
|
58 if (c != 1 + (i == 0))
|
|
|
59 __builtin_abort ();
|
|
|
60 c = 0;
|
|
|
61 }
|
|
|
62 return 0;
|
|
|
63 }
|
