annotate gcc/testsuite/gcc.dg/pr38245-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 rtl-optimization/38245 */
kono
parents:
diff changeset
2 /* { dg-do compile } */
kono
parents:
diff changeset
3 /* { dg-options "-O2 -fdump-tree-optimized" } */
kono
parents:
diff changeset
4
kono
parents:
diff changeset
5 static inline int
kono
parents:
diff changeset
6 f1 (int si1, int si2)
kono
parents:
diff changeset
7 {
kono
parents:
diff changeset
8 return si2 == 0 ? si1 : si1 / si2;
kono
parents:
diff changeset
9 }
kono
parents:
diff changeset
10
kono
parents:
diff changeset
11 static inline unsigned long long
kono
parents:
diff changeset
12 f2 (unsigned long long ui1, unsigned long long ui2)
kono
parents:
diff changeset
13 {
kono
parents:
diff changeset
14 return ui1 % ui2;
kono
parents:
diff changeset
15 }
kono
parents:
diff changeset
16
kono
parents:
diff changeset
17 unsigned char g;
kono
parents:
diff changeset
18 volatile unsigned int h;
kono
parents:
diff changeset
19
kono
parents:
diff changeset
20 void
kono
parents:
diff changeset
21 f3 (void)
kono
parents:
diff changeset
22 {
kono
parents:
diff changeset
23 if (!((signed char) f1 (0, f2 (g, 2123)) - 1))
kono
parents:
diff changeset
24 h;
kono
parents:
diff changeset
25 }
kono
parents:
diff changeset
26
kono
parents:
diff changeset
27 int
kono
parents:
diff changeset
28 main (void)
kono
parents:
diff changeset
29 {
kono
parents:
diff changeset
30 f3 ();
kono
parents:
diff changeset
31 return 0;
kono
parents:
diff changeset
32 }
kono
parents:
diff changeset
33
kono
parents:
diff changeset
34 /* { dg-final { scan-tree-dump-not "% 2123" "optimized" } } */
kono
parents:
diff changeset
35 /* { dg-final { scan-tree-dump-not "0 / " "optimized" } } */