annotate gcc/testsuite/gcc.dg/plugin/must_tail_call_plugin.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-options "-O" } */
kono
parents:
diff changeset
2
kono
parents:
diff changeset
3 /* Mark all CALL_EXPRs not within "main" as requiring tail-call. */
kono
parents:
diff changeset
4
kono
parents:
diff changeset
5 #include "gcc-plugin.h"
kono
parents:
diff changeset
6 #include "config.h"
kono
parents:
diff changeset
7 #include "system.h"
kono
parents:
diff changeset
8 #include "coretypes.h"
kono
parents:
diff changeset
9 #include "tm.h"
kono
parents:
diff changeset
10 #include "tree.h"
kono
parents:
diff changeset
11 #include "stringpool.h"
kono
parents:
diff changeset
12 #include "toplev.h"
kono
parents:
diff changeset
13 #include "basic-block.h"
kono
parents:
diff changeset
14 #include "hash-table.h"
kono
parents:
diff changeset
15 #include "vec.h"
kono
parents:
diff changeset
16 #include "ggc.h"
kono
parents:
diff changeset
17 #include "basic-block.h"
kono
parents:
diff changeset
18 #include "tree-ssa-alias.h"
kono
parents:
diff changeset
19 #include "internal-fn.h"
kono
parents:
diff changeset
20 #include "gimple-fold.h"
kono
parents:
diff changeset
21 #include "tree-eh.h"
kono
parents:
diff changeset
22 #include "gimple-expr.h"
kono
parents:
diff changeset
23 #include "is-a.h"
kono
parents:
diff changeset
24 #include "tree.h"
kono
parents:
diff changeset
25 #include "tree-pass.h"
kono
parents:
diff changeset
26 #include "intl.h"
kono
parents:
diff changeset
27 #include "plugin-version.h"
kono
parents:
diff changeset
28
kono
parents:
diff changeset
29 int plugin_is_GPL_compatible;
kono
parents:
diff changeset
30
kono
parents:
diff changeset
31 tree
kono
parents:
diff changeset
32 cb_walk_tree_fn (tree * tp, int * walk_subtrees,
kono
parents:
diff changeset
33 void * data ATTRIBUTE_UNUSED)
kono
parents:
diff changeset
34 {
kono
parents:
diff changeset
35 if (TREE_CODE (*tp) != CALL_EXPR)
kono
parents:
diff changeset
36 return NULL_TREE;
kono
parents:
diff changeset
37
kono
parents:
diff changeset
38 tree call_expr = *tp;
kono
parents:
diff changeset
39
kono
parents:
diff changeset
40 /* Forcibly mark the CALL_EXPR as requiring tail-call optimization. */
kono
parents:
diff changeset
41 CALL_EXPR_MUST_TAIL_CALL (call_expr) = 1;
kono
parents:
diff changeset
42
kono
parents:
diff changeset
43 return NULL_TREE;
kono
parents:
diff changeset
44 }
kono
parents:
diff changeset
45
kono
parents:
diff changeset
46 static void
kono
parents:
diff changeset
47 callback (void *gcc_data, void *user_data)
kono
parents:
diff changeset
48 {
kono
parents:
diff changeset
49 tree fndecl = (tree)gcc_data;
kono
parents:
diff changeset
50 gcc_assert (TREE_CODE (fndecl) == FUNCTION_DECL);
kono
parents:
diff changeset
51
kono
parents:
diff changeset
52 /* Don't mark calls inside "main". */
kono
parents:
diff changeset
53 tree decl_name = DECL_NAME (fndecl);
kono
parents:
diff changeset
54 if (decl_name)
kono
parents:
diff changeset
55 if (0 == strcmp (IDENTIFIER_POINTER (decl_name), "main"))
kono
parents:
diff changeset
56 return;
kono
parents:
diff changeset
57
kono
parents:
diff changeset
58 walk_tree (&DECL_SAVED_TREE (fndecl), cb_walk_tree_fn, NULL, NULL);
kono
parents:
diff changeset
59 }
kono
parents:
diff changeset
60
kono
parents:
diff changeset
61 int
kono
parents:
diff changeset
62 plugin_init (struct plugin_name_args *plugin_info,
kono
parents:
diff changeset
63 struct plugin_gcc_version *version)
kono
parents:
diff changeset
64 {
kono
parents:
diff changeset
65 const char *plugin_name = plugin_info->base_name;
kono
parents:
diff changeset
66
kono
parents:
diff changeset
67 if (!plugin_default_version_check (version, &gcc_version))
kono
parents:
diff changeset
68 return 1;
kono
parents:
diff changeset
69
kono
parents:
diff changeset
70 register_callback (plugin_name,
kono
parents:
diff changeset
71 PLUGIN_PRE_GENERICIZE,
kono
parents:
diff changeset
72 callback,
kono
parents:
diff changeset
73 NULL);
kono
parents:
diff changeset
74
kono
parents:
diff changeset
75 return 0;
kono
parents:
diff changeset
76 }