annotate gcc/testsuite/gcc.c-torture/execute/pr92140.c @ 145:1830386684a0

gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
145
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
1 /* PR target/92140 */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
2
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
3 char c;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
4 int v;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
5
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
6 __attribute__((noipa)) void f1 (void) { v += c != 0; }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
7 __attribute__((noipa)) void f2 (void) { v -= c != 0; }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
8 __attribute__((noipa)) void f3 (void) { v += c == 0; }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
9 __attribute__((noipa)) void f4 (void) { v -= c == 0; }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
10 __attribute__((noipa)) void f5 (void) { v += (c != 0) - 26; }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
11 __attribute__((noipa)) void f6 (void) { v -= (c != 0) - 26; }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
12 __attribute__((noipa)) void f7 (void) { v += (c == 0) - 26; }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
13 __attribute__((noipa)) void f8 (void) { v -= (c == 0) - 26; }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
14 __attribute__((noipa)) void f9 (void) { v += (c != 0) + 42; }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
15 __attribute__((noipa)) void f10 (void) { v -= (c != 0) + 42; }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
16 __attribute__((noipa)) void f11 (void) { v += (c == 0) + 42; }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
17 __attribute__((noipa)) void f12 (void) { v -= (c == 0) + 42; }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
18 __attribute__((noipa)) void f13 (int z) { v += (c == 0) + z; }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
19 __attribute__((noipa)) void f14 (int z) { v -= (c == 0) + z; }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
20 __attribute__((noipa)) unsigned int f15 (unsigned int n) { return n ? 2 : 1; }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
21
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
22 int
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
23 main ()
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
24 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
25 int i;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
26 for (i = 0; i < 2; i++)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
27 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
28 v = 15;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
29 if (i == 1)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
30 c = 37;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
31 f1 ();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
32 if (v != 15 + i)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
33 __builtin_abort ();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
34 f2 ();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
35 if (v != 15)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
36 __builtin_abort ();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
37 f3 ();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
38 if (v != 16 - i)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
39 __builtin_abort ();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
40 f4 ();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
41 if (v != 15)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
42 __builtin_abort ();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
43 f5 ();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
44 if (v != 15 + i - 26)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
45 __builtin_abort ();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
46 f6 ();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
47 if (v != 15)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
48 __builtin_abort ();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
49 f7 ();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
50 if (v != 16 - i - 26)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
51 __builtin_abort ();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
52 f8 ();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
53 if (v != 15)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
54 __builtin_abort ();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
55 f9 ();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
56 if (v != 15 + i + 42)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
57 __builtin_abort ();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
58 f10 ();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
59 if (v != 15)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
60 __builtin_abort ();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
61 f11 ();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
62 if (v != 16 - i + 42)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
63 __builtin_abort ();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
64 f12 ();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
65 if (v != 15)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
66 __builtin_abort ();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
67 f13 (173);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
68 if (v != 16 - i + 173)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
69 __builtin_abort ();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
70 f14 (173);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
71 if (v != 15)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
72 __builtin_abort ();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
73 f13 (-35);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
74 if (v != 16 - i - 35)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
75 __builtin_abort ();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
76 f14 (-35);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
77 if (v != 15)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
78 __builtin_abort ();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
79 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
80 if (f15 (0) != 1 || f15 (1) != 2 || f15 (371) != 2)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
81 __builtin_abort ();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
82 return 0;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
83 }