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