|
131
|
1 /* Optimization information.
|
|
|
2 Copyright (C) 2018 Free Software Foundation, Inc.
|
|
|
3 Contributed by David Malcolm <dmalcolm@redhat.com>.
|
|
|
4
|
|
|
5 This file is part of GCC.
|
|
|
6
|
|
|
7 GCC is free software; you can redistribute it and/or modify it under
|
|
|
8 the terms of the GNU General Public License as published by the Free
|
|
|
9 Software Foundation; either version 3, or (at your option) any later
|
|
|
10 version.
|
|
|
11
|
|
|
12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
|
|
|
13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
|
|
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
|
|
15 for more details.
|
|
|
16
|
|
|
17 You should have received a copy of the GNU General Public License
|
|
|
18 along with GCC; see the file COPYING3. If not see
|
|
|
19 <http://www.gnu.org/licenses/>. */
|
|
|
20
|
|
|
21 #include "config.h"
|
|
|
22 #include "system.h"
|
|
|
23 #include "coretypes.h"
|
|
|
24
|
|
|
25 #include "backend.h"
|
|
|
26 #include "tree.h"
|
|
|
27 #include "gimple.h"
|
|
|
28
|
|
|
29 #include "optinfo.h"
|
|
|
30 #include "optinfo-emit-json.h"
|
|
|
31 #include "dump-context.h"
|
|
|
32 #include "pretty-print.h"
|
|
|
33 #include "gimple-pretty-print.h"
|
|
|
34 #include "cgraph.h"
|
|
|
35 #include "selftest.h"
|
|
|
36
|
|
|
37 /* optinfo_item's ctor. Takes ownership of TEXT. */
|
|
|
38
|
|
|
39 optinfo_item::optinfo_item (enum optinfo_item_kind kind, location_t location,
|
|
|
40 char *text)
|
|
|
41 : m_kind (kind), m_location (location), m_text (text)
|
|
|
42 {
|
|
|
43 }
|
|
|
44
|
|
|
45 /* optinfo_item's dtor. */
|
|
|
46
|
|
|
47 optinfo_item::~optinfo_item ()
|
|
|
48 {
|
|
|
49 free (m_text);
|
|
|
50 }
|
|
|
51
|
|
|
52 /* Get a string from KIND. */
|
|
|
53
|
|
|
54 const char *
|
|
|
55 optinfo_kind_to_string (enum optinfo_kind kind)
|
|
|
56 {
|
|
|
57 switch (kind)
|
|
|
58 {
|
|
|
59 default:
|
|
|
60 gcc_unreachable ();
|
|
|
61 case OPTINFO_KIND_SUCCESS:
|
|
|
62 return "success";
|
|
|
63 case OPTINFO_KIND_FAILURE:
|
|
|
64 return "failure";
|
|
|
65 case OPTINFO_KIND_NOTE:
|
|
|
66 return "note";
|
|
|
67 case OPTINFO_KIND_SCOPE:
|
|
|
68 return "scope";
|
|
|
69 }
|
|
|
70 }
|
|
|
71
|
|
|
72 /* optinfo's dtor. */
|
|
|
73
|
|
|
74 optinfo::~optinfo ()
|
|
|
75 {
|
|
|
76 /* Cleanup. */
|
|
|
77 unsigned i;
|
|
|
78 optinfo_item *item;
|
|
|
79 FOR_EACH_VEC_ELT (m_items, i, item)
|
|
|
80 delete item;
|
|
|
81 }
|
|
|
82
|
|
|
83 /* Add ITEM to this optinfo. */
|
|
|
84
|
|
|
85 void
|
|
|
86 optinfo::add_item (optinfo_item *item)
|
|
|
87 {
|
|
|
88 gcc_assert (item);
|
|
|
89 m_items.safe_push (item);
|
|
|
90 }
|
|
|
91
|
|
|
92 /* Get MSG_* flags corresponding to KIND. */
|
|
|
93
|
|
|
94 static dump_flags_t
|
|
|
95 optinfo_kind_to_dump_flag (enum optinfo_kind kind)
|
|
|
96 {
|
|
|
97 switch (kind)
|
|
|
98 {
|
|
|
99 default:
|
|
|
100 gcc_unreachable ();
|
|
|
101 case OPTINFO_KIND_SUCCESS:
|
|
|
102 return MSG_OPTIMIZED_LOCATIONS;
|
|
|
103 case OPTINFO_KIND_FAILURE:
|
|
|
104 return MSG_MISSED_OPTIMIZATION;
|
|
|
105 case OPTINFO_KIND_NOTE:
|
|
|
106 case OPTINFO_KIND_SCOPE:
|
|
|
107 return MSG_NOTE;
|
|
|
108 }
|
|
|
109 }
|
|
|
110
|
|
|
111 /* Re-emit this optinfo, both to the "non-immediate" destinations,
|
|
|
112 *and* to the "immediate" destinations. */
|
|
|
113
|
|
|
114 void
|
|
|
115 optinfo::emit_for_opt_problem () const
|
|
|
116 {
|
|
|
117 dump_flags_t dump_kind = optinfo_kind_to_dump_flag (get_kind ());
|
|
|
118 dump_kind |= MSG_PRIORITY_REEMITTED;
|
|
|
119
|
|
|
120 /* Re-emit to "immediate" destinations, without creating a new optinfo. */
|
|
|
121 dump_context::get ().dump_loc_immediate (dump_kind, get_dump_location ());
|
|
|
122 unsigned i;
|
|
|
123 optinfo_item *item;
|
|
|
124 FOR_EACH_VEC_ELT (m_items, i, item)
|
|
|
125 dump_context::get ().emit_item (item, dump_kind);
|
|
|
126
|
|
|
127 /* Re-emit to "non-immediate" destinations. */
|
|
|
128 emit ();
|
|
|
129 }
|
|
|
130
|
|
|
131 /* Emit the optinfo to all of the "non-immediate" destinations
|
|
|
132 (emission to "immediate" destinations is done by
|
|
|
133 dump_context::emit_item). */
|
|
|
134
|
|
|
135 void
|
|
|
136 optinfo::emit () const
|
|
|
137 {
|
|
|
138 /* -fsave-optimization-record. */
|
|
|
139 optimization_records_maybe_record_optinfo (this);
|
|
|
140 }
|
|
|
141
|
|
|
142 /* Update the optinfo's kind based on DUMP_KIND. */
|
|
|
143
|
|
|
144 void
|
|
|
145 optinfo::handle_dump_file_kind (dump_flags_t dump_kind)
|
|
|
146 {
|
|
|
147 if (dump_kind & MSG_OPTIMIZED_LOCATIONS)
|
|
|
148 m_kind = OPTINFO_KIND_SUCCESS;
|
|
|
149 else if (dump_kind & MSG_MISSED_OPTIMIZATION)
|
|
|
150 m_kind = OPTINFO_KIND_FAILURE;
|
|
|
151 else if (dump_kind & MSG_NOTE)
|
|
|
152 m_kind = OPTINFO_KIND_NOTE;
|
|
|
153 }
|
|
|
154
|
|
|
155 /* Should optinfo instances be created?
|
|
|
156 All creation of optinfos should be guarded by this predicate.
|
|
|
157 Return true if any optinfo destinations are active. */
|
|
|
158
|
|
|
159 bool optinfo_enabled_p ()
|
|
|
160 {
|
|
|
161 return (dump_context::get ().forcibly_enable_optinfo_p ()
|
|
|
162 || optimization_records_enabled_p ());
|
|
|
163 }
|
|
|
164
|
|
|
165 /* Return true if any of the active optinfo destinations make use
|
|
|
166 of inlining information.
|
|
|
167 (if true, then the information is preserved). */
|
|
|
168
|
|
|
169 bool optinfo_wants_inlining_info_p ()
|
|
|
170 {
|
|
|
171 return optimization_records_enabled_p ();
|
|
|
172 }
|
