Branch data Line data Source code
1 : : /* Routines for emitting GIMPLE to a file stream.
2 : :
3 : : Copyright (C) 2011-2024 Free Software Foundation, Inc.
4 : : Contributed by Diego Novillo <dnovillo@google.com>
5 : :
6 : : This file is part of GCC.
7 : :
8 : : GCC is free software; you can redistribute it and/or modify it under
9 : : the terms of the GNU General Public License as published by the Free
10 : : Software Foundation; either version 3, or (at your option) any later
11 : : version.
12 : :
13 : : GCC is distributed in the hope that it will be useful, but WITHOUT ANY
14 : : WARRANTY; without even the implied warranty of MERCHANTABILITY or
15 : : FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
16 : : for more details.
17 : :
18 : : You should have received a copy of the GNU General Public License
19 : : along with GCC; see the file COPYING3. If not see
20 : : <http://www.gnu.org/licenses/>. */
21 : :
22 : : #define INCLUDE_MEMORY
23 : : #include "config.h"
24 : : #include "system.h"
25 : : #include "coretypes.h"
26 : : #include "backend.h"
27 : : #include "tree.h"
28 : : #include "gimple.h"
29 : : #include "gimple-ssa.h"
30 : : #include "gimple-streamer.h"
31 : : #include "tree-eh.h"
32 : : #include "gimple-iterator.h"
33 : : #include "cgraph.h"
34 : : #include "value-prof.h"
35 : : #include "gimple-pretty-print.h"
36 : :
37 : : /* Output PHI function PHI to the main stream in OB. */
38 : :
39 : : static void
40 : 87818 : output_phi (struct output_block *ob, gphi *phi)
41 : : {
42 : 87818 : unsigned i, len = gimple_phi_num_args (phi);
43 : :
44 : 87818 : streamer_write_record_start (ob, lto_gimple_code_to_tag (GIMPLE_PHI));
45 : 87818 : streamer_write_uhwi (ob, SSA_NAME_VERSION (PHI_RESULT (phi)));
46 : :
47 : 320497 : for (i = 0; i < len; i++)
48 : : {
49 : 232679 : stream_write_tree (ob, gimple_phi_arg_def (phi, i), true);
50 : 232679 : streamer_write_uhwi (ob, gimple_phi_arg_edge (phi, i)->src->index);
51 : 232679 : bitpack_d bp = bitpack_create (ob->main_stream);
52 : 232679 : location_t loc = gimple_phi_arg_location (phi, i);
53 : 232679 : stream_output_location_and_block (ob, &bp, loc);
54 : : }
55 : 87818 : }
56 : :
57 : :
58 : : /* Emit statement STMT on the main stream of output block OB. */
59 : :
60 : : static void
61 : 1640279 : output_gimple_stmt (struct output_block *ob, struct function *fn, gimple *stmt)
62 : : {
63 : 1640279 : unsigned i;
64 : 1640279 : enum gimple_code code;
65 : 1640279 : enum LTO_tags tag;
66 : 1640279 : struct bitpack_d bp;
67 : 1640279 : histogram_value hist;
68 : :
69 : : /* Emit identifying tag. */
70 : 1640279 : code = gimple_code (stmt);
71 : 1640279 : tag = lto_gimple_code_to_tag (code);
72 : 1640279 : streamer_write_record_start (ob, tag);
73 : :
74 : : /* Emit the tuple header. */
75 : 1640279 : bp = bitpack_create (ob->main_stream);
76 : 1640279 : bp_pack_var_len_unsigned (&bp, gimple_num_ops (stmt));
77 : 1640279 : bp_pack_value (&bp, gimple_no_warning_p (stmt), 1);
78 : 1640279 : if (is_gimple_assign (stmt))
79 : 1500992 : bp_pack_value (&bp,
80 : 750496 : gimple_assign_nontemporal_move_p (
81 : 750496 : as_a <gassign *> (stmt)),
82 : : 1);
83 : 2966640 : bp_pack_value (&bp, gimple_has_volatile_ops (stmt), 1);
84 : 1640279 : hist = gimple_histogram_value (fn, stmt);
85 : 1640279 : bp_pack_value (&bp, hist != NULL, 1);
86 : 1640279 : bp_pack_var_len_unsigned (&bp, stmt->subcode);
87 : :
88 : : /* Emit location information for the statement, including gimple_block. */
89 : 1640279 : stream_output_location_and_block (ob, &bp, gimple_location (stmt));
90 : :
91 : : /* Emit the operands. */
92 : 1640279 : switch (gimple_code (stmt))
93 : : {
94 : 2653 : case GIMPLE_RESX:
95 : 2653 : streamer_write_hwi (ob, gimple_resx_region (as_a <gresx *> (stmt)));
96 : 2653 : break;
97 : :
98 : 0 : case GIMPLE_EH_MUST_NOT_THROW:
99 : 0 : stream_write_tree (ob,
100 : : gimple_eh_must_not_throw_fndecl (
101 : : as_a <geh_mnt *> (stmt)),
102 : : true);
103 : 0 : break;
104 : :
105 : 275 : case GIMPLE_EH_DISPATCH:
106 : 550 : streamer_write_hwi (ob,
107 : 275 : gimple_eh_dispatch_region (
108 : 275 : as_a <geh_dispatch *> (stmt)));
109 : 275 : break;
110 : :
111 : 5823 : case GIMPLE_ASM:
112 : 5823 : {
113 : 5823 : gasm *asm_stmt = as_a <gasm *> (stmt);
114 : 5823 : streamer_write_uhwi (ob, gimple_asm_ninputs (asm_stmt));
115 : 5823 : streamer_write_uhwi (ob, gimple_asm_noutputs (asm_stmt));
116 : 5823 : streamer_write_uhwi (ob, gimple_asm_nclobbers (asm_stmt));
117 : 5823 : streamer_write_uhwi (ob, gimple_asm_nlabels (asm_stmt));
118 : 5823 : streamer_write_string (ob, ob->main_stream,
119 : : gimple_asm_string (asm_stmt), true);
120 : : }
121 : : /* Fallthru */
122 : :
123 : : case GIMPLE_ASSIGN:
124 : : case GIMPLE_CALL:
125 : : case GIMPLE_RETURN:
126 : : case GIMPLE_SWITCH:
127 : : case GIMPLE_LABEL:
128 : : case GIMPLE_COND:
129 : : case GIMPLE_GOTO:
130 : : case GIMPLE_DEBUG:
131 : 6638877 : for (i = 0; i < gimple_num_ops (stmt); i++)
132 : : {
133 : 5054515 : tree op = gimple_op (stmt, i);
134 : 5054515 : tree *basep = NULL;
135 : : /* Wrap all uses of non-automatic variables inside MEM_REFs
136 : : so that we do not have to deal with type mismatches on
137 : : merged symbols during IL read in. The first operand
138 : : of GIMPLE_DEBUG must be a decl, not MEM_REF, though. */
139 : 5054515 : if (!flag_wpa && op && (i || !is_gimple_debug (stmt)))
140 : : {
141 : 3594902 : basep = &op;
142 : 3594902 : if (TREE_CODE (*basep) == ADDR_EXPR)
143 : 601638 : basep = &TREE_OPERAND (*basep, 0);
144 : 3772891 : while (handled_component_p (*basep))
145 : 177989 : basep = &TREE_OPERAND (*basep, 0);
146 : 3594902 : if (VAR_P (*basep)
147 : 363006 : && !auto_var_in_fn_p (*basep, fn->decl)
148 : 3846174 : && !DECL_REGISTER (*basep))
149 : : {
150 : 251254 : bool volatilep = TREE_THIS_VOLATILE (*basep);
151 : 251254 : tree ptrtype = build_pointer_type (TREE_TYPE (*basep));
152 : 251254 : *basep = build2 (MEM_REF, TREE_TYPE (*basep),
153 : : build1 (ADDR_EXPR, ptrtype, *basep),
154 : 251254 : build_int_cst (ptrtype, 0));
155 : 251254 : TREE_THIS_VOLATILE (*basep) = volatilep;
156 : : }
157 : : else
158 : : basep = NULL;
159 : : }
160 : 5054515 : stream_write_tree (ob, op, true);
161 : : /* Restore the original base if we wrapped it inside a MEM_REF. */
162 : 5054515 : if (basep)
163 : 251254 : *basep = TREE_OPERAND (TREE_OPERAND (*basep, 0), 0);
164 : : }
165 : 1584362 : if (is_gimple_call (stmt))
166 : : {
167 : 413570 : if (gimple_call_internal_p (stmt))
168 : 35332 : streamer_write_enum (ob->main_stream, internal_fn,
169 : : IFN_LAST, gimple_call_internal_fn (stmt));
170 : : else
171 : 378238 : stream_write_tree (ob, gimple_call_fntype (stmt), true);
172 : : }
173 : : break;
174 : :
175 : : case GIMPLE_NOP:
176 : : case GIMPLE_PREDICT:
177 : : break;
178 : :
179 : 1 : case GIMPLE_TRANSACTION:
180 : 1 : {
181 : 1 : gtransaction *txn = as_a <gtransaction *> (stmt);
182 : 1 : gcc_assert (gimple_transaction_body (txn) == NULL);
183 : 1 : stream_write_tree (ob, gimple_transaction_label_norm (txn), true);
184 : 1 : stream_write_tree (ob, gimple_transaction_label_uninst (txn), true);
185 : 1 : stream_write_tree (ob, gimple_transaction_label_over (txn), true);
186 : : }
187 : 1 : break;
188 : :
189 : 0 : default:
190 : 0 : gcc_unreachable ();
191 : : }
192 : 1640279 : if (hist)
193 : 1 : stream_out_histogram_value (ob, hist);
194 : 1640279 : }
195 : :
196 : :
197 : : /* Output a basic block BB to the main stream in OB for this FN. */
198 : :
199 : : void
200 : 890667 : output_bb (struct output_block *ob, basic_block bb, struct function *fn)
201 : : {
202 : 890667 : gimple_stmt_iterator bsi = gsi_start_bb (bb);
203 : :
204 : 1781334 : streamer_write_record_start (ob,
205 : 890667 : (!gsi_end_p (bsi)) || phi_nodes (bb)
206 : : ? LTO_bb1
207 : : : LTO_bb0);
208 : :
209 : 890667 : streamer_write_uhwi (ob, bb->index);
210 : 890667 : bb->count.stream_out (ob);
211 : 890667 : streamer_write_hwi (ob, bb->flags);
212 : :
213 : 890667 : if (!gsi_end_p (bsi) || phi_nodes (bb))
214 : : {
215 : : /* Output the statements. The list of statements is terminated
216 : : with a zero. */
217 : 2909963 : for (bsi = gsi_start_bb (bb); !gsi_end_p (bsi); gsi_next (&bsi))
218 : : {
219 : 1640279 : int region;
220 : 1640279 : gimple *stmt = gsi_stmt (bsi);
221 : 1640279 : if (streamer_dump_file)
222 : : {
223 : 92 : fprintf (streamer_dump_file, " Streaming gimple stmt ");
224 : 92 : print_gimple_stmt (streamer_dump_file, stmt, 0, TDF_SLIM);
225 : : }
226 : :
227 : 1640279 : output_gimple_stmt (ob, fn, stmt);
228 : :
229 : : /* Emit the EH region holding STMT. */
230 : 1640279 : region = lookup_stmt_eh_lp_fn (fn, stmt);
231 : 1640279 : if (region != 0)
232 : : {
233 : 5746 : streamer_write_record_start (ob, LTO_eh_region);
234 : 5746 : streamer_write_hwi (ob, region);
235 : : }
236 : : else
237 : 1634533 : streamer_write_record_start (ob, LTO_null);
238 : : }
239 : :
240 : 634842 : streamer_write_record_start (ob, LTO_null);
241 : :
242 : 634842 : for (gphi_iterator psi = gsi_start_phis (bb);
243 : 786873 : !gsi_end_p (psi);
244 : 152031 : gsi_next (&psi))
245 : : {
246 : 152031 : gphi *phi = psi.phi ();
247 : :
248 : : /* Only emit PHIs for gimple registers. PHI nodes for .MEM
249 : : will be filled in on reading when the SSA form is
250 : : updated. */
251 : 304062 : if (!virtual_operand_p (gimple_phi_result (phi)))
252 : 87818 : output_phi (ob, phi);
253 : : }
254 : :
255 : 634842 : streamer_write_record_start (ob, LTO_null);
256 : : }
257 : 890667 : }
|