Branch data Line data Source code
1 : : /* Routines for emitting GIMPLE to a file stream.
2 : :
3 : : Copyright (C) 2011-2025 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 : : #include "config.h"
23 : : #include "system.h"
24 : : #include "coretypes.h"
25 : : #include "backend.h"
26 : : #include "tree.h"
27 : : #include "gimple.h"
28 : : #include "gimple-ssa.h"
29 : : #include "gimple-streamer.h"
30 : : #include "tree-eh.h"
31 : : #include "gimple-iterator.h"
32 : : #include "cgraph.h"
33 : : #include "value-prof.h"
34 : : #include "gimple-pretty-print.h"
35 : :
36 : : /* Output PHI function PHI to the main stream in OB. */
37 : :
38 : : static void
39 : 88653 : output_phi (struct output_block *ob, gphi *phi)
40 : : {
41 : 88653 : unsigned i, len = gimple_phi_num_args (phi);
42 : :
43 : 88653 : streamer_write_record_start (ob, lto_gimple_code_to_tag (GIMPLE_PHI));
44 : 88653 : streamer_write_uhwi (ob, SSA_NAME_VERSION (PHI_RESULT (phi)));
45 : :
46 : 323050 : for (i = 0; i < len; i++)
47 : : {
48 : 234397 : stream_write_tree (ob, gimple_phi_arg_def (phi, i), true);
49 : 234397 : streamer_write_uhwi (ob, gimple_phi_arg_edge (phi, i)->src->index);
50 : 234397 : bitpack_d bp = bitpack_create (ob->main_stream);
51 : 234397 : location_t loc = gimple_phi_arg_location (phi, i);
52 : 234397 : stream_output_location_and_block (ob, &bp, loc);
53 : : }
54 : 88653 : }
55 : :
56 : :
57 : : /* Emit statement STMT on the main stream of output block OB. */
58 : :
59 : : static void
60 : 1654917 : output_gimple_stmt (struct output_block *ob, struct function *fn, gimple *stmt)
61 : : {
62 : 1654917 : unsigned i;
63 : 1654917 : enum gimple_code code;
64 : 1654917 : enum LTO_tags tag;
65 : 1654917 : struct bitpack_d bp;
66 : 1654917 : histogram_value hist;
67 : :
68 : : /* Emit identifying tag. */
69 : 1654917 : code = gimple_code (stmt);
70 : 1654917 : tag = lto_gimple_code_to_tag (code);
71 : 1654917 : streamer_write_record_start (ob, tag);
72 : :
73 : : /* Emit the tuple header. */
74 : 1654917 : bp = bitpack_create (ob->main_stream);
75 : 1654917 : bp_pack_var_len_unsigned (&bp, gimple_num_ops (stmt));
76 : 1654917 : bp_pack_value (&bp, gimple_no_warning_p (stmt), 1);
77 : 1654917 : if (is_gimple_assign (stmt))
78 : 1518628 : bp_pack_value (&bp,
79 : 759314 : gimple_assign_nontemporal_move_p (
80 : 759314 : as_a <gassign *> (stmt)),
81 : : 1);
82 : 2992838 : bp_pack_value (&bp, gimple_has_volatile_ops (stmt), 1);
83 : 1654917 : hist = gimple_histogram_value (fn, stmt);
84 : 1654917 : bp_pack_value (&bp, hist != NULL, 1);
85 : 1654917 : bp_pack_var_len_unsigned (&bp, stmt->subcode);
86 : :
87 : : /* Emit location information for the statement, including gimple_block. */
88 : 1654917 : stream_output_location_and_block (ob, &bp, gimple_location (stmt));
89 : :
90 : : /* Emit the operands. */
91 : 1654917 : switch (gimple_code (stmt))
92 : : {
93 : 2681 : case GIMPLE_RESX:
94 : 2681 : streamer_write_hwi (ob, gimple_resx_region (as_a <gresx *> (stmt)));
95 : 2681 : break;
96 : :
97 : 0 : case GIMPLE_EH_MUST_NOT_THROW:
98 : 0 : stream_write_tree (ob,
99 : : gimple_eh_must_not_throw_fndecl (
100 : : as_a <geh_mnt *> (stmt)),
101 : : true);
102 : 0 : break;
103 : :
104 : 283 : case GIMPLE_EH_DISPATCH:
105 : 566 : streamer_write_hwi (ob,
106 : 283 : gimple_eh_dispatch_region (
107 : 283 : as_a <geh_dispatch *> (stmt)));
108 : 283 : break;
109 : :
110 : 5917 : case GIMPLE_ASM:
111 : 5917 : {
112 : 5917 : gasm *asm_stmt = as_a <gasm *> (stmt);
113 : 5917 : streamer_write_uhwi (ob, gimple_asm_ninputs (asm_stmt));
114 : 5917 : streamer_write_uhwi (ob, gimple_asm_noutputs (asm_stmt));
115 : 5917 : streamer_write_uhwi (ob, gimple_asm_nclobbers (asm_stmt));
116 : 5917 : streamer_write_uhwi (ob, gimple_asm_nlabels (asm_stmt));
117 : 5917 : streamer_write_string (ob, ob->main_stream,
118 : : gimple_asm_string (asm_stmt), true);
119 : : }
120 : : /* Fallthru */
121 : :
122 : : case GIMPLE_ASSIGN:
123 : : case GIMPLE_CALL:
124 : : case GIMPLE_RETURN:
125 : : case GIMPLE_SWITCH:
126 : : case GIMPLE_LABEL:
127 : : case GIMPLE_COND:
128 : : case GIMPLE_GOTO:
129 : : case GIMPLE_DEBUG:
130 : 6691172 : for (i = 0; i < gimple_num_ops (stmt); i++)
131 : : {
132 : 5092184 : tree op = gimple_op (stmt, i);
133 : 5092184 : tree *basep = NULL;
134 : : /* Wrap all uses of non-automatic variables inside MEM_REFs
135 : : so that we do not have to deal with type mismatches on
136 : : merged symbols during IL read in. The first operand
137 : : of GIMPLE_DEBUG must be a decl, not MEM_REF, though. */
138 : 5092184 : if (!flag_wpa && op && (i || !is_gimple_debug (stmt)))
139 : : {
140 : 3622106 : basep = &op;
141 : 3622106 : if (TREE_CODE (*basep) == ADDR_EXPR)
142 : 603673 : basep = &TREE_OPERAND (*basep, 0);
143 : 3803404 : while (handled_component_p (*basep))
144 : 181298 : basep = &TREE_OPERAND (*basep, 0);
145 : 3622106 : if (VAR_P (*basep)
146 : 365143 : && !auto_var_in_fn_p (*basep, fn->decl)
147 : 3874595 : && !DECL_REGISTER (*basep))
148 : : {
149 : 252471 : bool volatilep = TREE_THIS_VOLATILE (*basep);
150 : 252471 : tree ptrtype = build_pointer_type (TREE_TYPE (*basep));
151 : 252471 : *basep = build2 (MEM_REF, TREE_TYPE (*basep),
152 : : build1 (ADDR_EXPR, ptrtype, *basep),
153 : 252471 : build_int_cst (ptrtype, 0));
154 : 252471 : TREE_THIS_VOLATILE (*basep) = volatilep;
155 : : }
156 : : else
157 : : basep = NULL;
158 : : }
159 : 5092184 : stream_write_tree (ob, op, true);
160 : : /* Restore the original base if we wrapped it inside a MEM_REF. */
161 : 5092184 : if (basep)
162 : 252471 : *basep = TREE_OPERAND (TREE_OPERAND (*basep, 0), 0);
163 : : }
164 : 1598988 : if (is_gimple_call (stmt))
165 : : {
166 : 415070 : if (gimple_call_internal_p (stmt))
167 : 35422 : streamer_write_enum (ob->main_stream, internal_fn,
168 : : IFN_LAST, gimple_call_internal_fn (stmt));
169 : : else
170 : 379648 : stream_write_tree (ob, gimple_call_fntype (stmt), true);
171 : : }
172 : : break;
173 : :
174 : : case GIMPLE_NOP:
175 : : case GIMPLE_PREDICT:
176 : : break;
177 : :
178 : 1 : case GIMPLE_TRANSACTION:
179 : 1 : {
180 : 1 : gtransaction *txn = as_a <gtransaction *> (stmt);
181 : 1 : gcc_assert (gimple_transaction_body (txn) == NULL);
182 : 1 : stream_write_tree (ob, gimple_transaction_label_norm (txn), true);
183 : 1 : stream_write_tree (ob, gimple_transaction_label_uninst (txn), true);
184 : 1 : stream_write_tree (ob, gimple_transaction_label_over (txn), true);
185 : : }
186 : 1 : break;
187 : :
188 : 0 : default:
189 : 0 : gcc_unreachable ();
190 : : }
191 : 1654917 : if (hist)
192 : 1 : stream_out_histogram_value (ob, hist);
193 : 1654917 : }
194 : :
195 : :
196 : : /* Output a basic block BB to the main stream in OB for this FN. */
197 : :
198 : : void
199 : 900139 : output_bb (struct output_block *ob, basic_block bb, struct function *fn)
200 : : {
201 : 900139 : gimple_stmt_iterator bsi = gsi_start_bb (bb);
202 : :
203 : 1800278 : streamer_write_record_start (ob,
204 : 900139 : (!gsi_end_p (bsi)) || phi_nodes (bb)
205 : : ? LTO_bb1
206 : : : LTO_bb0);
207 : :
208 : 900139 : streamer_write_uhwi (ob, bb->index);
209 : 900139 : bb->count.stream_out (ob);
210 : 900139 : streamer_write_hwi (ob, bb->flags);
211 : :
212 : 900139 : if (!gsi_end_p (bsi) || phi_nodes (bb))
213 : : {
214 : : /* Output the statements. The list of statements is terminated
215 : : with a zero. */
216 : 2938159 : for (bsi = gsi_start_bb (bb); !gsi_end_p (bsi); gsi_next (&bsi))
217 : : {
218 : 1654917 : int region;
219 : 1654917 : gimple *stmt = gsi_stmt (bsi);
220 : 1654917 : if (streamer_dump_file)
221 : : {
222 : 92 : fprintf (streamer_dump_file, " Streaming gimple stmt ");
223 : 92 : print_gimple_stmt (streamer_dump_file, stmt, 0, TDF_SLIM);
224 : : }
225 : :
226 : 1654917 : output_gimple_stmt (ob, fn, stmt);
227 : :
228 : : /* Emit the EH region holding STMT. */
229 : 1654917 : region = lookup_stmt_eh_lp_fn (fn, stmt);
230 : 1654917 : if (region != 0)
231 : : {
232 : 5757 : streamer_write_record_start (ob, LTO_eh_region);
233 : 5757 : streamer_write_hwi (ob, region);
234 : : }
235 : : else
236 : 1649160 : streamer_write_record_start (ob, LTO_null);
237 : : }
238 : :
239 : 641621 : streamer_write_record_start (ob, LTO_null);
240 : :
241 : 641621 : for (gphi_iterator psi = gsi_start_phis (bb);
242 : 795064 : !gsi_end_p (psi);
243 : 153443 : gsi_next (&psi))
244 : : {
245 : 153443 : gphi *phi = psi.phi ();
246 : :
247 : : /* Only emit PHIs for gimple registers. PHI nodes for .MEM
248 : : will be filled in on reading when the SSA form is
249 : : updated. */
250 : 306886 : if (!virtual_operand_p (gimple_phi_result (phi)))
251 : 88653 : output_phi (ob, phi);
252 : : }
253 : :
254 : 641621 : streamer_write_record_start (ob, LTO_null);
255 : : }
256 : 900139 : }
|
