]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/gimple-streamer-out.c
re PR fortran/56204 (gfortran.dg/quad_[23].f90 FAIL on Solaris 9/x86)
[thirdparty/gcc.git] / gcc / gimple-streamer-out.c
CommitLineData
f0efc7aa
DN
1/* Routines for emitting GIMPLE to a file stream.
2
d1e082c2 3 Copyright (C) 2011-2013 Free Software Foundation, Inc.
f0efc7aa
DN
4 Contributed by Diego Novillo <dnovillo@google.com>
5
6This file is part of GCC.
7
8GCC is free software; you can redistribute it and/or modify it under
9the terms of the GNU General Public License as published by the Free
10Software Foundation; either version 3, or (at your option) any later
11version.
12
13GCC is distributed in the hope that it will be useful, but WITHOUT ANY
14WARRANTY; without even the implied warranty of MERCHANTABILITY or
15FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
16for more details.
17
18You should have received a copy of the GNU General Public License
19along 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"
b9393656 30#include "tree-streamer.h"
f0efc7aa
DN
31
32/* Output PHI function PHI to the main stream in OB. */
33
34static void
35output_phi (struct output_block *ob, gimple phi)
36{
37 unsigned i, len = gimple_phi_num_args (phi);
38
412288f1
DN
39 streamer_write_record_start (ob, lto_gimple_code_to_tag (GIMPLE_PHI));
40 streamer_write_uhwi (ob, SSA_NAME_VERSION (PHI_RESULT (phi)));
f0efc7aa
DN
41
42 for (i = 0; i < len; i++)
43 {
b9393656 44 stream_write_tree (ob, gimple_phi_arg_def (phi, i), true);
412288f1 45 streamer_write_uhwi (ob, gimple_phi_arg_edge (phi, i)->src->index);
7cb7d208
RB
46 bitpack_d bp = bitpack_create (ob->main_stream);
47 stream_output_location (ob, &bp, gimple_phi_arg_location (phi, i));
48 streamer_write_bitpack (&bp);
f0efc7aa
DN
49 }
50}
51
52
53/* Emit statement STMT on the main stream of output block OB. */
54
55static void
56output_gimple_stmt (struct output_block *ob, gimple stmt)
57{
58 unsigned i;
59 enum gimple_code code;
60 enum LTO_tags tag;
61 struct bitpack_d bp;
62
63 /* Emit identifying tag. */
64 code = gimple_code (stmt);
65 tag = lto_gimple_code_to_tag (code);
412288f1 66 streamer_write_record_start (ob, tag);
f0efc7aa
DN
67
68 /* Emit the tuple header. */
69 bp = bitpack_create (ob->main_stream);
70 bp_pack_var_len_unsigned (&bp, gimple_num_ops (stmt));
71 bp_pack_value (&bp, gimple_no_warning_p (stmt), 1);
72 if (is_gimple_assign (stmt))
73 bp_pack_value (&bp, gimple_assign_nontemporal_move_p (stmt), 1);
74 bp_pack_value (&bp, gimple_has_volatile_ops (stmt), 1);
75 bp_pack_var_len_unsigned (&bp, stmt->gsbase.subcode);
f0efc7aa
DN
76
77 /* Emit location information for the statement. */
7cb7d208
RB
78 stream_output_location (ob, &bp, LOCATION_LOCUS (gimple_location (stmt)));
79 streamer_write_bitpack (&bp);
f0efc7aa
DN
80
81 /* Emit the lexical block holding STMT. */
b9393656 82 stream_write_tree (ob, gimple_block (stmt), true);
f0efc7aa
DN
83
84 /* Emit the operands. */
85 switch (gimple_code (stmt))
86 {
87 case GIMPLE_RESX:
412288f1 88 streamer_write_hwi (ob, gimple_resx_region (stmt));
f0efc7aa
DN
89 break;
90
91 case GIMPLE_EH_MUST_NOT_THROW:
b9393656 92 stream_write_tree (ob, gimple_eh_must_not_throw_fndecl (stmt), true);
f0efc7aa
DN
93 break;
94
95 case GIMPLE_EH_DISPATCH:
412288f1 96 streamer_write_hwi (ob, gimple_eh_dispatch_region (stmt));
f0efc7aa
DN
97 break;
98
99 case GIMPLE_ASM:
412288f1
DN
100 streamer_write_uhwi (ob, gimple_asm_ninputs (stmt));
101 streamer_write_uhwi (ob, gimple_asm_noutputs (stmt));
102 streamer_write_uhwi (ob, gimple_asm_nclobbers (stmt));
103 streamer_write_uhwi (ob, gimple_asm_nlabels (stmt));
104 streamer_write_string (ob, ob->main_stream, gimple_asm_string (stmt),
105 true);
f0efc7aa
DN
106 /* Fallthru */
107
108 case GIMPLE_ASSIGN:
109 case GIMPLE_CALL:
110 case GIMPLE_RETURN:
111 case GIMPLE_SWITCH:
112 case GIMPLE_LABEL:
113 case GIMPLE_COND:
114 case GIMPLE_GOTO:
115 case GIMPLE_DEBUG:
116 for (i = 0; i < gimple_num_ops (stmt); i++)
117 {
118 tree op = gimple_op (stmt, i);
119 /* Wrap all uses of non-automatic variables inside MEM_REFs
120 so that we do not have to deal with type mismatches on
121 merged symbols during IL read in. The first operand
122 of GIMPLE_DEBUG must be a decl, not MEM_REF, though. */
123 if (op && (i || !is_gimple_debug (stmt)))
124 {
125 tree *basep = &op;
126 while (handled_component_p (*basep))
127 basep = &TREE_OPERAND (*basep, 0);
128 if (TREE_CODE (*basep) == VAR_DECL
129 && !auto_var_in_fn_p (*basep, current_function_decl)
130 && !DECL_REGISTER (*basep))
131 {
132 bool volatilep = TREE_THIS_VOLATILE (*basep);
133 *basep = build2 (MEM_REF, TREE_TYPE (*basep),
134 build_fold_addr_expr (*basep),
135 build_int_cst (build_pointer_type
136 (TREE_TYPE (*basep)), 0));
137 TREE_THIS_VOLATILE (*basep) = volatilep;
138 }
139 }
b9393656 140 stream_write_tree (ob, op, true);
f0efc7aa
DN
141 }
142 if (is_gimple_call (stmt))
143 {
144 if (gimple_call_internal_p (stmt))
412288f1
DN
145 streamer_write_enum (ob->main_stream, internal_fn,
146 IFN_LAST, gimple_call_internal_fn (stmt));
f0efc7aa 147 else
b9393656 148 stream_write_tree (ob, gimple_call_fntype (stmt), true);
f0efc7aa
DN
149 }
150 break;
151
152 case GIMPLE_NOP:
153 case GIMPLE_PREDICT:
154 break;
155
57ac2606
AH
156 case GIMPLE_TRANSACTION:
157 gcc_assert (gimple_transaction_body (stmt) == NULL);
158 stream_write_tree (ob, gimple_transaction_label (stmt), true);
159 break;
160
f0efc7aa
DN
161 default:
162 gcc_unreachable ();
163 }
164}
165
166
167/* Output a basic block BB to the main stream in OB for this FN. */
168
169void
170output_bb (struct output_block *ob, basic_block bb, struct function *fn)
171{
172 gimple_stmt_iterator bsi = gsi_start_bb (bb);
173
412288f1
DN
174 streamer_write_record_start (ob,
175 (!gsi_end_p (bsi)) || phi_nodes (bb)
176 ? LTO_bb1
177 : LTO_bb0);
f0efc7aa 178
412288f1
DN
179 streamer_write_uhwi (ob, bb->index);
180 streamer_write_hwi (ob, bb->count);
412288f1
DN
181 streamer_write_hwi (ob, bb->frequency);
182 streamer_write_hwi (ob, bb->flags);
f0efc7aa
DN
183
184 if (!gsi_end_p (bsi) || phi_nodes (bb))
185 {
186 /* Output the statements. The list of statements is terminated
187 with a zero. */
188 for (bsi = gsi_start_bb (bb); !gsi_end_p (bsi); gsi_next (&bsi))
189 {
190 int region;
191 gimple stmt = gsi_stmt (bsi);
192
193 output_gimple_stmt (ob, stmt);
194
195 /* Emit the EH region holding STMT. */
196 region = lookup_stmt_eh_lp_fn (fn, stmt);
197 if (region != 0)
198 {
412288f1
DN
199 streamer_write_record_start (ob, LTO_eh_region);
200 streamer_write_hwi (ob, region);
f0efc7aa
DN
201 }
202 else
412288f1 203 streamer_write_record_start (ob, LTO_null);
f0efc7aa
DN
204 }
205
412288f1 206 streamer_write_record_start (ob, LTO_null);
f0efc7aa
DN
207
208 for (bsi = gsi_start_phis (bb); !gsi_end_p (bsi); gsi_next (&bsi))
209 {
210 gimple phi = gsi_stmt (bsi);
211
212 /* Only emit PHIs for gimple registers. PHI nodes for .MEM
213 will be filled in on reading when the SSA form is
214 updated. */
ea057359 215 if (!virtual_operand_p (gimple_phi_result (phi)))
f0efc7aa
DN
216 output_phi (ob, phi);
217 }
218
412288f1 219 streamer_write_record_start (ob, LTO_null);
f0efc7aa
DN
220 }
221}