2015-03-02 Gary Dismukes <dismukes@adacore.com>
[official-gcc.git] / gcc / gimple-streamer-out.c
blob110caf19b2c3a03f746a02349dbbe62a6ac88b93
1 /* Routines for emitting GIMPLE to a file stream.
3 Copyright (C) 2011-2015 Free Software Foundation, Inc.
4 Contributed by Diego Novillo <dnovillo@google.com>
6 This file is part of GCC.
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.
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.
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/>. */
22 #include "config.h"
23 #include "system.h"
24 #include "coretypes.h"
25 #include "hash-set.h"
26 #include "machmode.h"
27 #include "vec.h"
28 #include "double-int.h"
29 #include "input.h"
30 #include "alias.h"
31 #include "symtab.h"
32 #include "options.h"
33 #include "wide-int.h"
34 #include "inchash.h"
35 #include "tree.h"
36 #include "fold-const.h"
37 #include "predict.h"
38 #include "tm.h"
39 #include "hard-reg-set.h"
40 #include "input.h"
41 #include "function.h"
42 #include "basic-block.h"
43 #include "tree-ssa-alias.h"
44 #include "internal-fn.h"
45 #include "tree-eh.h"
46 #include "gimple-expr.h"
47 #include "is-a.h"
48 #include "gimple.h"
49 #include "gimple-iterator.h"
50 #include "gimple-ssa.h"
51 #include "plugin-api.h"
52 #include "ipa-ref.h"
53 #include "cgraph.h"
54 #include "data-streamer.h"
55 #include "gimple-streamer.h"
56 #include "lto-streamer.h"
57 #include "tree-streamer.h"
58 #include "value-prof.h"
60 /* Output PHI function PHI to the main stream in OB. */
62 static void
63 output_phi (struct output_block *ob, gphi *phi)
65 unsigned i, len = gimple_phi_num_args (phi);
67 streamer_write_record_start (ob, lto_gimple_code_to_tag (GIMPLE_PHI));
68 streamer_write_uhwi (ob, SSA_NAME_VERSION (PHI_RESULT (phi)));
70 for (i = 0; i < len; i++)
72 stream_write_tree (ob, gimple_phi_arg_def (phi, i), true);
73 streamer_write_uhwi (ob, gimple_phi_arg_edge (phi, i)->src->index);
74 bitpack_d bp = bitpack_create (ob->main_stream);
75 stream_output_location (ob, &bp, gimple_phi_arg_location (phi, i));
76 streamer_write_bitpack (&bp);
81 /* Emit statement STMT on the main stream of output block OB. */
83 static void
84 output_gimple_stmt (struct output_block *ob, gimple stmt)
86 unsigned i;
87 enum gimple_code code;
88 enum LTO_tags tag;
89 struct bitpack_d bp;
90 histogram_value hist;
92 /* Emit identifying tag. */
93 code = gimple_code (stmt);
94 tag = lto_gimple_code_to_tag (code);
95 streamer_write_record_start (ob, tag);
97 /* Emit the tuple header. */
98 bp = bitpack_create (ob->main_stream);
99 bp_pack_var_len_unsigned (&bp, gimple_num_ops (stmt));
100 bp_pack_value (&bp, gimple_no_warning_p (stmt), 1);
101 if (is_gimple_assign (stmt))
102 bp_pack_value (&bp,
103 gimple_assign_nontemporal_move_p (
104 as_a <gassign *> (stmt)),
106 bp_pack_value (&bp, gimple_has_volatile_ops (stmt), 1);
107 hist = gimple_histogram_value (cfun, stmt);
108 bp_pack_value (&bp, hist != NULL, 1);
109 bp_pack_var_len_unsigned (&bp, stmt->subcode);
111 /* Emit location information for the statement. */
112 stream_output_location (ob, &bp, LOCATION_LOCUS (gimple_location (stmt)));
113 streamer_write_bitpack (&bp);
115 /* Emit the lexical block holding STMT. */
116 stream_write_tree (ob, gimple_block (stmt), true);
118 /* Emit the operands. */
119 switch (gimple_code (stmt))
121 case GIMPLE_RESX:
122 streamer_write_hwi (ob, gimple_resx_region (as_a <gresx *> (stmt)));
123 break;
125 case GIMPLE_EH_MUST_NOT_THROW:
126 stream_write_tree (ob,
127 gimple_eh_must_not_throw_fndecl (
128 as_a <geh_mnt *> (stmt)),
129 true);
130 break;
132 case GIMPLE_EH_DISPATCH:
133 streamer_write_hwi (ob,
134 gimple_eh_dispatch_region (
135 as_a <geh_dispatch *> (stmt)));
136 break;
138 case GIMPLE_ASM:
140 gasm *asm_stmt = as_a <gasm *> (stmt);
141 streamer_write_uhwi (ob, gimple_asm_ninputs (asm_stmt));
142 streamer_write_uhwi (ob, gimple_asm_noutputs (asm_stmt));
143 streamer_write_uhwi (ob, gimple_asm_nclobbers (asm_stmt));
144 streamer_write_uhwi (ob, gimple_asm_nlabels (asm_stmt));
145 streamer_write_string (ob, ob->main_stream,
146 gimple_asm_string (asm_stmt), true);
148 /* Fallthru */
150 case GIMPLE_ASSIGN:
151 case GIMPLE_CALL:
152 case GIMPLE_RETURN:
153 case GIMPLE_SWITCH:
154 case GIMPLE_LABEL:
155 case GIMPLE_COND:
156 case GIMPLE_GOTO:
157 case GIMPLE_DEBUG:
158 for (i = 0; i < gimple_num_ops (stmt); i++)
160 tree op = gimple_op (stmt, i);
161 tree *basep = NULL;
162 /* Wrap all uses of non-automatic variables inside MEM_REFs
163 so that we do not have to deal with type mismatches on
164 merged symbols during IL read in. The first operand
165 of GIMPLE_DEBUG must be a decl, not MEM_REF, though. */
166 if (op && (i || !is_gimple_debug (stmt)))
168 basep = &op;
169 if (TREE_CODE (*basep) == ADDR_EXPR)
170 basep = &TREE_OPERAND (*basep, 0);
171 while (handled_component_p (*basep))
172 basep = &TREE_OPERAND (*basep, 0);
173 if (TREE_CODE (*basep) == VAR_DECL
174 && !auto_var_in_fn_p (*basep, current_function_decl)
175 && !DECL_REGISTER (*basep))
177 bool volatilep = TREE_THIS_VOLATILE (*basep);
178 tree ptrtype = build_pointer_type (TREE_TYPE (*basep));
179 *basep = build2 (MEM_REF, TREE_TYPE (*basep),
180 build1 (ADDR_EXPR, ptrtype, *basep),
181 build_int_cst (ptrtype, 0));
182 TREE_THIS_VOLATILE (*basep) = volatilep;
184 else
185 basep = NULL;
187 stream_write_tree (ob, op, true);
188 /* Restore the original base if we wrapped it inside a MEM_REF. */
189 if (basep)
190 *basep = TREE_OPERAND (TREE_OPERAND (*basep, 0), 0);
192 if (is_gimple_call (stmt))
194 if (gimple_call_internal_p (stmt))
195 streamer_write_enum (ob->main_stream, internal_fn,
196 IFN_LAST, gimple_call_internal_fn (stmt));
197 else
198 stream_write_tree (ob, gimple_call_fntype (stmt), true);
200 break;
202 case GIMPLE_NOP:
203 case GIMPLE_PREDICT:
204 break;
206 case GIMPLE_TRANSACTION:
208 gtransaction *trans_stmt = as_a <gtransaction *> (stmt);
209 gcc_assert (gimple_transaction_body (trans_stmt) == NULL);
210 stream_write_tree (ob, gimple_transaction_label (trans_stmt), true);
212 break;
214 default:
215 gcc_unreachable ();
217 if (hist)
218 stream_out_histogram_value (ob, hist);
222 /* Output a basic block BB to the main stream in OB for this FN. */
224 void
225 output_bb (struct output_block *ob, basic_block bb, struct function *fn)
227 gimple_stmt_iterator bsi = gsi_start_bb (bb);
229 streamer_write_record_start (ob,
230 (!gsi_end_p (bsi)) || phi_nodes (bb)
231 ? LTO_bb1
232 : LTO_bb0);
234 streamer_write_uhwi (ob, bb->index);
235 streamer_write_gcov_count (ob, bb->count);
236 streamer_write_hwi (ob, bb->frequency);
237 streamer_write_hwi (ob, bb->flags);
239 if (!gsi_end_p (bsi) || phi_nodes (bb))
241 /* Output the statements. The list of statements is terminated
242 with a zero. */
243 for (bsi = gsi_start_bb (bb); !gsi_end_p (bsi); gsi_next (&bsi))
245 int region;
246 gimple stmt = gsi_stmt (bsi);
248 output_gimple_stmt (ob, stmt);
250 /* Emit the EH region holding STMT. */
251 region = lookup_stmt_eh_lp_fn (fn, stmt);
252 if (region != 0)
254 streamer_write_record_start (ob, LTO_eh_region);
255 streamer_write_hwi (ob, region);
257 else
258 streamer_write_record_start (ob, LTO_null);
261 streamer_write_record_start (ob, LTO_null);
263 for (gphi_iterator psi = gsi_start_phis (bb);
264 !gsi_end_p (psi);
265 gsi_next (&psi))
267 gphi *phi = psi.phi ();
269 /* Only emit PHIs for gimple registers. PHI nodes for .MEM
270 will be filled in on reading when the SSA form is
271 updated. */
272 if (!virtual_operand_p (gimple_phi_result (phi)))
273 output_phi (ob, phi);
276 streamer_write_record_start (ob, LTO_null);