annotate gcc/testsuite/gcc.dg/tree-ssa/tailcall-7.c @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* { dg-do compile { target trampolines } } */
kono
parents:
diff changeset
2 /* { dg-options "-O2 -fdump-tree-tailc-details" } */
kono
parents:
diff changeset
3
kono
parents:
diff changeset
4 struct s { int x; };
kono
parents:
diff changeset
5 struct s f (int);
kono
parents:
diff changeset
6 struct s global;
kono
parents:
diff changeset
7 void callit (void (*) (void));
kono
parents:
diff changeset
8
kono
parents:
diff changeset
9 /* Tail call. */
kono
parents:
diff changeset
10 void
kono
parents:
diff changeset
11 g1 (void)
kono
parents:
diff changeset
12 {
kono
parents:
diff changeset
13 f (1);
kono
parents:
diff changeset
14 }
kono
parents:
diff changeset
15
kono
parents:
diff changeset
16 /* Not a tail call. */
kono
parents:
diff changeset
17 void
kono
parents:
diff changeset
18 g2 (void)
kono
parents:
diff changeset
19 {
kono
parents:
diff changeset
20 global = f (2);
kono
parents:
diff changeset
21 }
kono
parents:
diff changeset
22
kono
parents:
diff changeset
23 /* Not a tail call. */
kono
parents:
diff changeset
24 void
kono
parents:
diff changeset
25 g3 (struct s *ptr)
kono
parents:
diff changeset
26 {
kono
parents:
diff changeset
27 *ptr = f (3);
kono
parents:
diff changeset
28 }
kono
parents:
diff changeset
29
kono
parents:
diff changeset
30 /* Tail call. */
kono
parents:
diff changeset
31 struct s
kono
parents:
diff changeset
32 g4 (struct s param)
kono
parents:
diff changeset
33 {
kono
parents:
diff changeset
34 param = f (4);
kono
parents:
diff changeset
35 return param;
kono
parents:
diff changeset
36 }
kono
parents:
diff changeset
37
kono
parents:
diff changeset
38 /* Tail call. */
kono
parents:
diff changeset
39 struct s
kono
parents:
diff changeset
40 g5 (void)
kono
parents:
diff changeset
41 {
kono
parents:
diff changeset
42 struct s local = f (5);
kono
parents:
diff changeset
43 return local;
kono
parents:
diff changeset
44 }
kono
parents:
diff changeset
45
kono
parents:
diff changeset
46 /* Tail call. */
kono
parents:
diff changeset
47 struct s
kono
parents:
diff changeset
48 g6 (void)
kono
parents:
diff changeset
49 {
kono
parents:
diff changeset
50 return f (6);
kono
parents:
diff changeset
51 }
kono
parents:
diff changeset
52
kono
parents:
diff changeset
53 /* Not a tail call. */
kono
parents:
diff changeset
54 struct s
kono
parents:
diff changeset
55 g7 (void)
kono
parents:
diff changeset
56 {
kono
parents:
diff changeset
57 struct s local = f (7);
kono
parents:
diff changeset
58 global = local;
kono
parents:
diff changeset
59 return local;
kono
parents:
diff changeset
60 }
kono
parents:
diff changeset
61
kono
parents:
diff changeset
62 /* Not a tail call. */
kono
parents:
diff changeset
63 struct s
kono
parents:
diff changeset
64 g8 (struct s *ptr)
kono
parents:
diff changeset
65 {
kono
parents:
diff changeset
66 struct s local = f (8);
kono
parents:
diff changeset
67 *ptr = local;
kono
parents:
diff changeset
68 return local;
kono
parents:
diff changeset
69 }
kono
parents:
diff changeset
70
kono
parents:
diff changeset
71 /* Not a tail call. */
kono
parents:
diff changeset
72 int
kono
parents:
diff changeset
73 g9 (struct s param)
kono
parents:
diff changeset
74 {
kono
parents:
diff changeset
75 void inner (void) { param = f (9); }
kono
parents:
diff changeset
76 callit (inner);
kono
parents:
diff changeset
77 return 9;
kono
parents:
diff changeset
78 }
kono
parents:
diff changeset
79
kono
parents:
diff changeset
80 /* Tail call. */
kono
parents:
diff changeset
81 int
kono
parents:
diff changeset
82 g10 (int param)
kono
parents:
diff changeset
83 {
kono
parents:
diff changeset
84 void inner (void) { f (param); }
kono
parents:
diff changeset
85 callit (inner);
kono
parents:
diff changeset
86 return 10;
kono
parents:
diff changeset
87 }
kono
parents:
diff changeset
88
kono
parents:
diff changeset
89 /* { dg-final { scan-tree-dump-times "Found tail call" 5 "tailc" } } */