1 /* Routines for emitting GIMPLE to a file stream.
3 Copyright (C) 2011-2013 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
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
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/>. */
24 #include "coretypes.h"
27 #include "gimple-ssa.h"
28 #include "data-streamer.h"
29 #include "gimple-streamer.h"
30 #include "lto-streamer.h"
31 #include "tree-streamer.h"
32 #include "value-prof.h"
34 /* Output PHI function PHI to the main stream in OB. */
37 output_phi (struct output_block
*ob
, gimple phi
)
39 unsigned i
, len
= gimple_phi_num_args (phi
);
41 streamer_write_record_start (ob
, lto_gimple_code_to_tag (GIMPLE_PHI
));
42 streamer_write_uhwi (ob
, SSA_NAME_VERSION (PHI_RESULT (phi
)));
44 for (i
= 0; i
< len
; i
++)
46 stream_write_tree (ob
, gimple_phi_arg_def (phi
, i
), true);
47 streamer_write_uhwi (ob
, gimple_phi_arg_edge (phi
, i
)->src
->index
);
48 bitpack_d bp
= bitpack_create (ob
->main_stream
);
49 stream_output_location (ob
, &bp
, gimple_phi_arg_location (phi
, i
));
50 streamer_write_bitpack (&bp
);
55 /* Emit statement STMT on the main stream of output block OB. */
58 output_gimple_stmt (struct output_block
*ob
, gimple stmt
)
61 enum gimple_code code
;
66 /* Emit identifying tag. */
67 code
= gimple_code (stmt
);
68 tag
= lto_gimple_code_to_tag (code
);
69 streamer_write_record_start (ob
, tag
);
71 /* Emit the tuple header. */
72 bp
= bitpack_create (ob
->main_stream
);
73 bp_pack_var_len_unsigned (&bp
, gimple_num_ops (stmt
));
74 bp_pack_value (&bp
, gimple_no_warning_p (stmt
), 1);
75 if (is_gimple_assign (stmt
))
76 bp_pack_value (&bp
, gimple_assign_nontemporal_move_p (stmt
), 1);
77 bp_pack_value (&bp
, gimple_has_volatile_ops (stmt
), 1);
78 hist
= gimple_histogram_value (cfun
, stmt
);
79 bp_pack_value (&bp
, hist
!= NULL
, 1);
80 bp_pack_var_len_unsigned (&bp
, stmt
->gsbase
.subcode
);
82 /* Emit location information for the statement. */
83 stream_output_location (ob
, &bp
, LOCATION_LOCUS (gimple_location (stmt
)));
84 streamer_write_bitpack (&bp
);
86 /* Emit the lexical block holding STMT. */
87 stream_write_tree (ob
, gimple_block (stmt
), true);
89 /* Emit the operands. */
90 switch (gimple_code (stmt
))
93 streamer_write_hwi (ob
, gimple_resx_region (stmt
));
96 case GIMPLE_EH_MUST_NOT_THROW
:
97 stream_write_tree (ob
, gimple_eh_must_not_throw_fndecl (stmt
), true);
100 case GIMPLE_EH_DISPATCH
:
101 streamer_write_hwi (ob
, gimple_eh_dispatch_region (stmt
));
105 streamer_write_uhwi (ob
, gimple_asm_ninputs (stmt
));
106 streamer_write_uhwi (ob
, gimple_asm_noutputs (stmt
));
107 streamer_write_uhwi (ob
, gimple_asm_nclobbers (stmt
));
108 streamer_write_uhwi (ob
, gimple_asm_nlabels (stmt
));
109 streamer_write_string (ob
, ob
->main_stream
, gimple_asm_string (stmt
),
121 for (i
= 0; i
< gimple_num_ops (stmt
); i
++)
123 tree op
= gimple_op (stmt
, i
);
125 /* Wrap all uses of non-automatic variables inside MEM_REFs
126 so that we do not have to deal with type mismatches on
127 merged symbols during IL read in. The first operand
128 of GIMPLE_DEBUG must be a decl, not MEM_REF, though. */
129 if (op
&& (i
|| !is_gimple_debug (stmt
)))
132 while (handled_component_p (*basep
))
133 basep
= &TREE_OPERAND (*basep
, 0);
134 if (TREE_CODE (*basep
) == VAR_DECL
135 && !auto_var_in_fn_p (*basep
, current_function_decl
)
136 && !DECL_REGISTER (*basep
))
138 bool volatilep
= TREE_THIS_VOLATILE (*basep
);
139 *basep
= build2 (MEM_REF
, TREE_TYPE (*basep
),
140 build_fold_addr_expr (*basep
),
141 build_int_cst (build_pointer_type
142 (TREE_TYPE (*basep
)), 0));
143 TREE_THIS_VOLATILE (*basep
) = volatilep
;
148 stream_write_tree (ob
, op
, true);
149 /* Restore the original base if we wrapped it inside a MEM_REF. */
151 *basep
= TREE_OPERAND (TREE_OPERAND (*basep
, 0), 0);
153 if (is_gimple_call (stmt
))
155 if (gimple_call_internal_p (stmt
))
156 streamer_write_enum (ob
->main_stream
, internal_fn
,
157 IFN_LAST
, gimple_call_internal_fn (stmt
));
159 stream_write_tree (ob
, gimple_call_fntype (stmt
), true);
167 case GIMPLE_TRANSACTION
:
168 gcc_assert (gimple_transaction_body (stmt
) == NULL
);
169 stream_write_tree (ob
, gimple_transaction_label (stmt
), true);
176 stream_out_histogram_value (ob
, hist
);
180 /* Output a basic block BB to the main stream in OB for this FN. */
183 output_bb (struct output_block
*ob
, basic_block bb
, struct function
*fn
)
185 gimple_stmt_iterator bsi
= gsi_start_bb (bb
);
187 streamer_write_record_start (ob
,
188 (!gsi_end_p (bsi
)) || phi_nodes (bb
)
192 streamer_write_uhwi (ob
, bb
->index
);
193 streamer_write_gcov_count (ob
, bb
->count
);
194 streamer_write_hwi (ob
, bb
->frequency
);
195 streamer_write_hwi (ob
, bb
->flags
);
197 if (!gsi_end_p (bsi
) || phi_nodes (bb
))
199 /* Output the statements. The list of statements is terminated
201 for (bsi
= gsi_start_bb (bb
); !gsi_end_p (bsi
); gsi_next (&bsi
))
204 gimple stmt
= gsi_stmt (bsi
);
206 output_gimple_stmt (ob
, stmt
);
208 /* Emit the EH region holding STMT. */
209 region
= lookup_stmt_eh_lp_fn (fn
, stmt
);
212 streamer_write_record_start (ob
, LTO_eh_region
);
213 streamer_write_hwi (ob
, region
);
216 streamer_write_record_start (ob
, LTO_null
);
219 streamer_write_record_start (ob
, LTO_null
);
221 for (bsi
= gsi_start_phis (bb
); !gsi_end_p (bsi
); gsi_next (&bsi
))
223 gimple phi
= gsi_stmt (bsi
);
225 /* Only emit PHIs for gimple registers. PHI nodes for .MEM
226 will be filled in on reading when the SSA form is
228 if (!virtual_operand_p (gimple_phi_result (phi
)))
229 output_phi (ob
, phi
);
232 streamer_write_record_start (ob
, LTO_null
);