annotate gcc/analyzer/analysis-plan.h @ 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 /* A class to encapsulate decisions about how the analysis should happen.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
2 Copyright (C) 2019-2020 Free Software Foundation, Inc.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
3 Contributed by David Malcolm <dmalcolm@redhat.com>.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
4
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
5 This file is part of GCC.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
6
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
7 GCC is free software; you can redistribute it and/or modify it
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
8 under the terms of the GNU General Public License as published by
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
9 the Free Software Foundation; either version 3, or (at your option)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
10 any later version.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
11
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
12 GCC is distributed in the hope that it will be useful, but
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
13 WITHOUT ANY WARRANTY; without even the implied warranty of
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
15 General Public License for more details.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
16
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
17 You should have received a copy of the GNU General Public License
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
18 along with GCC; see the file COPYING3. If not see
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
19 <http://www.gnu.org/licenses/>. */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
20
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
21 #ifndef GCC_ANALYZER_ANALYSIS_PLAN_H
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
22 #define GCC_ANALYZER_ANALYSIS_PLAN_H
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
23
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
24 namespace ana {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
25
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
26 /* A class to encapsulate decisions about how the analysis should happen.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
27 Examples:
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
28 - the order in which functions should be analyzed, so that function
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
29 summaries are created before analysis of call sites that might use
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
30 them
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
31 - which callgraph edges should use call summaries
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
32 TODO: the above is a work-in-progress. */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
33
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
34 class analysis_plan : public log_user
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
35 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
36 public:
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
37 analysis_plan (const supergraph &sg, logger *logger);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
38 ~analysis_plan ();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
39
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
40 int cmp_function (function *fun_a, function *fun_b) const;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
41
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
42 bool use_summary_p (const cgraph_edge *edge) const;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
43
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
44 private:
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
45 DISABLE_COPY_AND_ASSIGN (analysis_plan);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
46
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
47 const supergraph &m_sg;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
48
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
49 /* Result of ipa_reverse_postorder. */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
50 cgraph_node **m_cgraph_node_postorder;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
51 int m_num_cgraph_nodes;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
52
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
53 /* Index of each node within the postorder ordering,
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
54 accessed via the "m_uid" field. */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
55 auto_vec<int> m_index_by_uid;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
56 };
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
57
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
58 } // namespace ana
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
59
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
60 #endif /* GCC_ANALYZER_ANALYSIS_PLAN_H */