tree-ssa.h: New.
[gcc.git] / gcc / gimple-streamer-out.c
1 /* Routines for emitting GIMPLE to a file stream.
2
3 Copyright (C) 2011-2013 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 "tree.h"
26 #include "tree-ssa.h"
27 #include "data-streamer.h"
28 #include "gimple-streamer.h"
29 #include "lto-streamer.h"
30 #include "tree-streamer.h"
31 #include "value-prof.h"
32
33 /* Output PHI function PHI to the main stream in OB. */
34
35 static void
36 output_phi (struct output_block *ob, gimple phi)
37 {
38 unsigned i, len = gimple_phi_num_args (phi);
39
40 streamer_write_record_start (ob, lto_gimple_code_to_tag (GIMPLE_PHI));
41 streamer_write_uhwi (ob, SSA_NAME_VERSION (PHI_RESULT (phi)));
42
43 for (i = 0; i < len; i++)
44 {
45 stream_write_tree (ob, gimple_phi_arg_def (phi, i), true);
46 streamer_write_uhwi (ob, gimple_phi_arg_edge (phi, i)->src->index);
47 bitpack_d bp = bitpack_create (ob->main_stream);
48 stream_output_location (ob, &bp, gimple_phi_arg_location (phi, i));
49 streamer_write_bitpack (&bp);
50 }
51 }
52
53
54 /* Emit statement STMT on the main stream of output block OB. */
55
56 static void
57 output_gimple_stmt (struct output_block *ob, gimple stmt)
58 {
59 unsigned i;
60 enum gimple_code code;
61 enum LTO_tags tag;
62 struct bitpack_d bp;
63 histogram_value hist;
64
65 /* Emit identifying tag. */
66 code = gimple_code (stmt);
67 tag = lto_gimple_code_to_tag (code);
68 streamer_write_record_start (ob, tag);
69
70 /* Emit the tuple header. */
71 bp = bitpack_create (ob->main_stream);
72 bp_pack_var_len_unsigned (&bp, gimple_num_ops (stmt));
73 bp_pack_value (&bp, gimple_no_warning_p (stmt), 1);
74 if (is_gimple_assign (stmt))
75 bp_pack_value (&bp, gimple_assign_nontemporal_move_p (stmt), 1);
76 bp_pack_value (&bp, gimple_has_volatile_ops (stmt), 1);
77 hist = gimple_histogram_value (cfun, stmt);
78 bp_pack_value (&bp, hist != NULL, 1);
79 bp_pack_var_len_unsigned (&bp, stmt->gsbase.subcode);
80
81 /* Emit location information for the statement. */
82 stream_output_location (ob, &bp, LOCATION_LOCUS (gimple_location (stmt)));
83 streamer_write_bitpack (&bp);
84
85 /* Emit the lexical block holding STMT. */
86 stream_write_tree (ob, gimple_block (stmt), true);
87
88 /* Emit the operands. */
89 switch (gimple_code (stmt))
90 {
91 case GIMPLE_RESX:
92 streamer_write_hwi (ob, gimple_resx_region (stmt));
93 break;
94
95 case GIMPLE_EH_MUST_NOT_THROW:
96 stream_write_tree (ob, gimple_eh_must_not_throw_fndecl (stmt), true);
97 break;
98
99 case GIMPLE_EH_DISPATCH:
100 streamer_write_hwi (ob, gimple_eh_dispatch_region (stmt));
101 break;
102
103 case GIMPLE_ASM:
104 streamer_write_uhwi (ob, gimple_asm_ninputs (stmt));
105 streamer_write_uhwi (ob, gimple_asm_noutputs (stmt));
106 streamer_write_uhwi (ob, gimple_asm_nclobbers (stmt));
107 streamer_write_uhwi (ob, gimple_asm_nlabels (stmt));
108 streamer_write_string (ob, ob->main_stream, gimple_asm_string (stmt),
109 true);
110 /* Fallthru */
111
112 case GIMPLE_ASSIGN:
113 case GIMPLE_CALL:
114 case GIMPLE_RETURN:
115 case GIMPLE_SWITCH:
116 case GIMPLE_LABEL:
117 case GIMPLE_COND:
118 case GIMPLE_GOTO:
119 case GIMPLE_DEBUG:
120 for (i = 0; i < gimple_num_ops (stmt); i++)
121 {
122 tree op = gimple_op (stmt, i);
123 tree *basep = NULL;
124 /* Wrap all uses of non-automatic variables inside MEM_REFs
125 so that we do not have to deal with type mismatches on
126 merged symbols during IL read in. The first operand
127 of GIMPLE_DEBUG must be a decl, not MEM_REF, though. */
128 if (op && (i || !is_gimple_debug (stmt)))
129 {
130 basep = &op;
131 while (handled_component_p (*basep))
132 basep = &TREE_OPERAND (*basep, 0);
133 if (TREE_CODE (*basep) == VAR_DECL
134 && !auto_var_in_fn_p (*basep, current_function_decl)
135 && !DECL_REGISTER (*basep))
136 {
137 bool volatilep = TREE_THIS_VOLATILE (*basep);
138 *basep = build2 (MEM_REF, TREE_TYPE (*basep),
139 build_fold_addr_expr (*basep),
140 build_int_cst (build_pointer_type
141 (TREE_TYPE (*basep)), 0));
142 TREE_THIS_VOLATILE (*basep) = volatilep;
143 }
144 else
145 basep = NULL;
146 }
147 stream_write_tree (ob, op, true);
148 /* Restore the original base if we wrapped it inside a MEM_REF. */
149 if (basep)
150 *basep = TREE_OPERAND (TREE_OPERAND (*basep, 0), 0);
151 }
152 if (is_gimple_call (stmt))
153 {
154 if (gimple_call_internal_p (stmt))
155 streamer_write_enum (ob->main_stream, internal_fn,
156 IFN_LAST, gimple_call_internal_fn (stmt));
157 else
158 stream_write_tree (ob, gimple_call_fntype (stmt), true);
159 }
160 break;
161
162 case GIMPLE_NOP:
163 case GIMPLE_PREDICT:
164 break;
165
166 case GIMPLE_TRANSACTION:
167 gcc_assert (gimple_transaction_body (stmt) == NULL);
168 stream_write_tree (ob, gimple_transaction_label (stmt), true);
169 break;
170
171 default:
172 gcc_unreachable ();
173 }
174 if (hist)
175 stream_out_histogram_value (ob, hist);
176 }
177
178
179 /* Output a basic block BB to the main stream in OB for this FN. */
180
181 void
182 output_bb (struct output_block *ob, basic_block bb, struct function *fn)
183 {
184 gimple_stmt_iterator bsi = gsi_start_bb (bb);
185
186 streamer_write_record_start (ob,
187 (!gsi_end_p (bsi)) || phi_nodes (bb)
188 ? LTO_bb1
189 : LTO_bb0);
190
191 streamer_write_uhwi (ob, bb->index);
192 streamer_write_gcov_count (ob, bb->count);
193 streamer_write_hwi (ob, bb->frequency);
194 streamer_write_hwi (ob, bb->flags);
195
196 if (!gsi_end_p (bsi) || phi_nodes (bb))
197 {
198 /* Output the statements. The list of statements is terminated
199 with a zero. */
200 for (bsi = gsi_start_bb (bb); !gsi_end_p (bsi); gsi_next (&bsi))
201 {
202 int region;
203 gimple stmt = gsi_stmt (bsi);
204
205 output_gimple_stmt (ob, stmt);
206
207 /* Emit the EH region holding STMT. */
208 region = lookup_stmt_eh_lp_fn (fn, stmt);
209 if (region != 0)
210 {
211 streamer_write_record_start (ob, LTO_eh_region);
212 streamer_write_hwi (ob, region);
213 }
214 else
215 streamer_write_record_start (ob, LTO_null);
216 }
217
218 streamer_write_record_start (ob, LTO_null);
219
220 for (bsi = gsi_start_phis (bb); !gsi_end_p (bsi); gsi_next (&bsi))
221 {
222 gimple phi = gsi_stmt (bsi);
223
224 /* Only emit PHIs for gimple registers. PHI nodes for .MEM
225 will be filled in on reading when the SSA form is
226 updated. */
227 if (!virtual_operand_p (gimple_phi_result (phi)))
228 output_phi (ob, phi);
229 }
230
231 streamer_write_record_start (ob, LTO_null);
232 }
233 }