]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/gimple-streamer-out.c
* builtins.c (expand_builtin_memcmp): Do not use cmpstrnsi
[thirdparty/gcc.git] / gcc / gimple-streamer-out.c
CommitLineData
2541503d 1/* 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
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"
515cf651 30#include "tree-streamer.h"
2541503d 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
39 output_record_start (ob, lto_gimple_code_to_tag (GIMPLE_PHI));
40 output_uleb128 (ob, SSA_NAME_VERSION (PHI_RESULT (phi)));
41
42 for (i = 0; i < len; i++)
43 {
515cf651 44 stream_write_tree (ob, gimple_phi_arg_def (phi, i), true);
2541503d 45 output_uleb128 (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
53static void
54output_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 output_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 lto_output_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. */
515cf651 80 stream_write_tree (ob, gimple_block (stmt), true);
2541503d 81
82 /* Emit the operands. */
83 switch (gimple_code (stmt))
84 {
85 case GIMPLE_RESX:
86 output_sleb128 (ob, gimple_resx_region (stmt));
87 break;
88
89 case GIMPLE_EH_MUST_NOT_THROW:
515cf651 90 stream_write_tree (ob, gimple_eh_must_not_throw_fndecl (stmt), true);
2541503d 91 break;
92
93 case GIMPLE_EH_DISPATCH:
94 output_sleb128 (ob, gimple_eh_dispatch_region (stmt));
95 break;
96
97 case GIMPLE_ASM:
98 lto_output_uleb128_stream (ob->main_stream, gimple_asm_ninputs (stmt));
99 lto_output_uleb128_stream (ob->main_stream, gimple_asm_noutputs (stmt));
100 lto_output_uleb128_stream (ob->main_stream, gimple_asm_nclobbers (stmt));
101 lto_output_uleb128_stream (ob->main_stream, gimple_asm_nlabels (stmt));
102 lto_output_string (ob, ob->main_stream, gimple_asm_string (stmt), true);
103 /* Fallthru */
104
105 case GIMPLE_ASSIGN:
106 case GIMPLE_CALL:
107 case GIMPLE_RETURN:
108 case GIMPLE_SWITCH:
109 case GIMPLE_LABEL:
110 case GIMPLE_COND:
111 case GIMPLE_GOTO:
112 case GIMPLE_DEBUG:
113 for (i = 0; i < gimple_num_ops (stmt); i++)
114 {
115 tree op = gimple_op (stmt, i);
116 /* Wrap all uses of non-automatic variables inside MEM_REFs
117 so that we do not have to deal with type mismatches on
118 merged symbols during IL read in. The first operand
119 of GIMPLE_DEBUG must be a decl, not MEM_REF, though. */
120 if (op && (i || !is_gimple_debug (stmt)))
121 {
122 tree *basep = &op;
123 while (handled_component_p (*basep))
124 basep = &TREE_OPERAND (*basep, 0);
125 if (TREE_CODE (*basep) == VAR_DECL
126 && !auto_var_in_fn_p (*basep, current_function_decl)
127 && !DECL_REGISTER (*basep))
128 {
129 bool volatilep = TREE_THIS_VOLATILE (*basep);
130 *basep = build2 (MEM_REF, TREE_TYPE (*basep),
131 build_fold_addr_expr (*basep),
132 build_int_cst (build_pointer_type
133 (TREE_TYPE (*basep)), 0));
134 TREE_THIS_VOLATILE (*basep) = volatilep;
135 }
136 }
515cf651 137 stream_write_tree (ob, op, true);
2541503d 138 }
139 if (is_gimple_call (stmt))
140 {
141 if (gimple_call_internal_p (stmt))
142 lto_output_enum (ob->main_stream, internal_fn,
143 IFN_LAST, gimple_call_internal_fn (stmt));
144 else
515cf651 145 stream_write_tree (ob, gimple_call_fntype (stmt), true);
2541503d 146 }
147 break;
148
149 case GIMPLE_NOP:
150 case GIMPLE_PREDICT:
151 break;
152
153 default:
154 gcc_unreachable ();
155 }
156}
157
158
159/* Output a basic block BB to the main stream in OB for this FN. */
160
161void
162output_bb (struct output_block *ob, basic_block bb, struct function *fn)
163{
164 gimple_stmt_iterator bsi = gsi_start_bb (bb);
165
166 output_record_start (ob,
167 (!gsi_end_p (bsi)) || phi_nodes (bb)
168 ? LTO_bb1
169 : LTO_bb0);
170
171 output_uleb128 (ob, bb->index);
172 output_sleb128 (ob, bb->count);
173 output_sleb128 (ob, bb->loop_depth);
174 output_sleb128 (ob, bb->frequency);
175 output_sleb128 (ob, bb->flags);
176
177 if (!gsi_end_p (bsi) || phi_nodes (bb))
178 {
179 /* Output the statements. The list of statements is terminated
180 with a zero. */
181 for (bsi = gsi_start_bb (bb); !gsi_end_p (bsi); gsi_next (&bsi))
182 {
183 int region;
184 gimple stmt = gsi_stmt (bsi);
185
186 output_gimple_stmt (ob, stmt);
187
188 /* Emit the EH region holding STMT. */
189 region = lookup_stmt_eh_lp_fn (fn, stmt);
190 if (region != 0)
191 {
192 output_record_start (ob, LTO_eh_region);
193 output_sleb128 (ob, region);
194 }
195 else
196 output_record_start (ob, LTO_null);
197 }
198
199 output_record_start (ob, LTO_null);
200
201 for (bsi = gsi_start_phis (bb); !gsi_end_p (bsi); gsi_next (&bsi))
202 {
203 gimple phi = gsi_stmt (bsi);
204
205 /* Only emit PHIs for gimple registers. PHI nodes for .MEM
206 will be filled in on reading when the SSA form is
207 updated. */
208 if (is_gimple_reg (gimple_phi_result (phi)))
209 output_phi (ob, phi);
210 }
211
212 output_record_start (ob, LTO_null);
213 }
214}