1 /* Functions for writing LTO sections.
3 Copyright (C) 2009, 2010 Free Software Foundation, Inc.
4 Contributed by Kenneth Zadeck <zadeck@naturalbridge.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"
31 #include "basic-block.h"
32 #include "tree-flow.h"
33 #include "tree-pass.h"
39 #include "pointer-set.h"
41 #include "langhooks.h"
42 #include "lto-streamer.h"
43 #include "lto-compress.h"
45 static VEC(lto_out_decl_state_ptr
, heap
) *decl_state_stack
;
47 /* List of out decl states used by functions. We use this to
48 generate the decl directory later. */
50 VEC(lto_out_decl_state_ptr
, heap
) *lto_function_decl_states
;
51 /* Returns a hash code for P. */
54 lto_hash_decl_slot_node (const void *p
)
56 const struct lto_decl_slot
*ds
= (const struct lto_decl_slot
*) p
;
59 return (hashval_t) DECL_UID (ds->t);
61 return (hashval_t
) TREE_HASH (ds
->t
);
65 /* Returns nonzero if P1 and P2 are equal. */
68 lto_eq_decl_slot_node (const void *p1
, const void *p2
)
70 const struct lto_decl_slot
*ds1
=
71 (const struct lto_decl_slot
*) p1
;
72 const struct lto_decl_slot
*ds2
=
73 (const struct lto_decl_slot
*) p2
;
76 return DECL_UID (ds1->t) == DECL_UID (ds2->t);
78 return ds1
->t
== ds2
->t
;
82 /* Returns a hash code for P. */
85 lto_hash_type_slot_node (const void *p
)
87 const struct lto_decl_slot
*ds
= (const struct lto_decl_slot
*) p
;
88 return (hashval_t
) TYPE_UID (ds
->t
);
92 /* Returns nonzero if P1 and P2 are equal. */
95 lto_eq_type_slot_node (const void *p1
, const void *p2
)
97 const struct lto_decl_slot
*ds1
=
98 (const struct lto_decl_slot
*) p1
;
99 const struct lto_decl_slot
*ds2
=
100 (const struct lto_decl_slot
*) p2
;
102 return TYPE_UID (ds1
->t
) == TYPE_UID (ds2
->t
);
105 /*****************************************************************************
106 Output routines shared by all of the serialization passes.
107 *****************************************************************************/
110 /* Flush compressed stream data function, sends NUM_CHARS from CHARS
111 to the append lang hook, OPAQUE is currently always NULL. */
114 lto_append_data (const char *chars
, unsigned int num_chars
, void *opaque
)
116 gcc_assert (opaque
== NULL
);
117 lang_hooks
.lto
.append_data (chars
, num_chars
, opaque
);
120 /* Pointer to the current compression stream. */
122 static struct lto_compression_stream
*compression_stream
= NULL
;
124 /* Begin a new output section named NAME. If COMPRESS is true, zlib compress
128 lto_begin_section (const char *name
, bool compress
)
130 lang_hooks
.lto
.begin_section (name
);
132 /* FIXME lto: for now, suppress compression if the lang_hook that appends
133 data is anything other than assembler output. The effect here is that
134 we get compression of IL only in non-ltrans object files. */
135 gcc_assert (compression_stream
== NULL
);
137 compression_stream
= lto_start_compression (lto_append_data
, NULL
);
141 /* End the current output section. */
144 lto_end_section (void)
146 if (compression_stream
)
148 lto_end_compression (compression_stream
);
149 compression_stream
= NULL
;
151 lang_hooks
.lto
.end_section ();
155 /* Write all of the chars in OBS to the assembler. Recycle the blocks
156 in obs as this is being done. */
159 lto_write_stream (struct lto_output_stream
*obs
)
161 unsigned int block_size
= 1024;
162 struct lto_char_ptr_base
*block
;
163 struct lto_char_ptr_base
*next_block
;
164 if (!obs
->first_block
)
167 for (block
= obs
->first_block
; block
; block
= next_block
)
169 const char *base
= ((char *)block
) + sizeof (struct lto_char_ptr_base
);
170 unsigned int num_chars
= block_size
- sizeof (struct lto_char_ptr_base
);
172 /* If this is not the last block, it is full. If it is the last
173 block, left_in_block indicates how many chars are unoccupied in
174 this block; subtract from num_chars to obtain occupancy. */
175 next_block
= (struct lto_char_ptr_base
*) block
->ptr
;
177 num_chars
-= obs
->left_in_block
;
179 /* FIXME lto: WPA mode uses an ELF function as a lang_hook to append
180 output data. This hook is not happy with the way that compression
181 blocks up output differently to the way it's blocked here. So for
182 now, we don't compress WPA output. */
183 if (compression_stream
)
185 lto_compress_block (compression_stream
, base
, num_chars
);
186 lang_hooks
.lto
.append_data (NULL
, 0, block
);
189 lang_hooks
.lto
.append_data (base
, num_chars
, block
);
195 /* Adds a new block to output stream OBS. */
198 lto_append_block (struct lto_output_stream
*obs
)
200 struct lto_char_ptr_base
*new_block
;
202 gcc_assert (obs
->left_in_block
== 0);
204 if (obs
->first_block
== NULL
)
206 /* This is the first time the stream has been written
208 obs
->block_size
= 1024;
209 new_block
= (struct lto_char_ptr_base
*) xmalloc (obs
->block_size
);
210 obs
->first_block
= new_block
;
214 struct lto_char_ptr_base
*tptr
;
215 /* Get a new block that is twice as big as the last block
216 and link it into the list. */
217 obs
->block_size
*= 2;
218 new_block
= (struct lto_char_ptr_base
*) xmalloc (obs
->block_size
);
219 /* The first bytes of the block are reserved as a pointer to
220 the next block. Set the chain of the full block to the
221 pointer to the new block. */
222 tptr
= obs
->current_block
;
223 tptr
->ptr
= (char *) new_block
;
226 /* Set the place for the next char at the first position after the
227 chain to the next block. */
229 = ((char *) new_block
) + sizeof (struct lto_char_ptr_base
);
230 obs
->current_block
= new_block
;
231 /* Null out the newly allocated block's pointer to the next block. */
232 new_block
->ptr
= NULL
;
233 obs
->left_in_block
= obs
->block_size
- sizeof (struct lto_char_ptr_base
);
237 /* Write raw DATA of length LEN to the output block OB. */
240 lto_output_data_stream (struct lto_output_stream
*obs
, const void *data
,
248 if (obs
->left_in_block
== 0)
249 lto_append_block (obs
);
251 /* Determine how many bytes to copy in this loop. */
252 if (len
<= obs
->left_in_block
)
255 copy
= obs
->left_in_block
;
257 /* Copy the data and do bookkeeping. */
258 memcpy (obs
->current_pointer
, data
, copy
);
259 obs
->current_pointer
+= copy
;
260 obs
->total_size
+= copy
;
261 obs
->left_in_block
-= copy
;
262 data
= (const char *) data
+ copy
;
268 /* Output an unsigned LEB128 quantity to OBS. */
271 lto_output_uleb128_stream (struct lto_output_stream
*obs
,
272 unsigned HOST_WIDE_INT work
)
276 unsigned int byte
= (work
& 0x7f);
279 /* More bytes to follow. */
282 lto_output_1_stream (obs
, byte
);
287 /* Identical to output_uleb128_stream above except using unsigned
288 HOST_WIDEST_INT type. For efficiency on host where unsigned HOST_WIDEST_INT
289 is not native, we only use this if we know that HOST_WIDE_INT is not wide
293 lto_output_widest_uint_uleb128_stream (struct lto_output_stream
*obs
,
294 unsigned HOST_WIDEST_INT work
)
298 unsigned int byte
= (work
& 0x7f);
301 /* More bytes to follow. */
304 lto_output_1_stream (obs
, byte
);
310 /* Output a signed LEB128 quantity. */
313 lto_output_sleb128_stream (struct lto_output_stream
*obs
, HOST_WIDE_INT work
)
319 byte
= (work
& 0x7f);
320 /* arithmetic shift */
322 more
= !((work
== 0 && (byte
& 0x40) == 0)
323 || (work
== -1 && (byte
& 0x40) != 0));
327 lto_output_1_stream (obs
, byte
);
333 /* Lookup NAME in ENCODER. If NAME is not found, create a new entry in
334 ENCODER for NAME with the next available index of ENCODER, then
335 print the index to OBS. True is returned if NAME was added to
336 ENCODER. The resulting index is stored in THIS_INDEX.
338 If OBS is NULL, the only action is to add NAME to the encoder. */
341 lto_output_decl_index (struct lto_output_stream
*obs
,
342 struct lto_tree_ref_encoder
*encoder
,
343 tree name
, unsigned int *this_index
)
346 struct lto_decl_slot d_slot
;
348 bool new_entry_p
= FALSE
;
351 slot
= htab_find_slot (encoder
->tree_hash_table
, &d_slot
, INSERT
);
354 struct lto_decl_slot
*new_slot
355 = (struct lto_decl_slot
*) xmalloc (sizeof (struct lto_decl_slot
));
356 index
= encoder
->next_index
++;
359 new_slot
->slot_num
= index
;
361 VEC_safe_push (tree
, heap
, encoder
->trees
, name
);
366 struct lto_decl_slot
*old_slot
= (struct lto_decl_slot
*)*slot
;
367 index
= old_slot
->slot_num
;
371 lto_output_uleb128_stream (obs
, index
);
376 /* Output a field DECL to OBS. */
379 lto_output_field_decl_index (struct lto_out_decl_state
*decl_state
,
380 struct lto_output_stream
* obs
, tree decl
)
383 lto_output_decl_index (obs
, &decl_state
->streams
[LTO_DECL_STREAM_FIELD_DECL
],
387 /* Output a function DECL to OBS. */
390 lto_output_fn_decl_index (struct lto_out_decl_state
*decl_state
,
391 struct lto_output_stream
* obs
, tree decl
)
394 lto_output_decl_index (obs
, &decl_state
->streams
[LTO_DECL_STREAM_FN_DECL
],
398 /* Output a namespace DECL to OBS. */
401 lto_output_namespace_decl_index (struct lto_out_decl_state
*decl_state
,
402 struct lto_output_stream
* obs
, tree decl
)
405 lto_output_decl_index (obs
,
406 &decl_state
->streams
[LTO_DECL_STREAM_NAMESPACE_DECL
],
410 /* Output a static or extern var DECL to OBS. */
413 lto_output_var_decl_index (struct lto_out_decl_state
*decl_state
,
414 struct lto_output_stream
* obs
, tree decl
)
417 lto_output_decl_index (obs
, &decl_state
->streams
[LTO_DECL_STREAM_VAR_DECL
],
421 /* Output a type DECL to OBS. */
424 lto_output_type_decl_index (struct lto_out_decl_state
*decl_state
,
425 struct lto_output_stream
* obs
, tree decl
)
428 lto_output_decl_index (obs
, &decl_state
->streams
[LTO_DECL_STREAM_TYPE_DECL
],
432 /* Output a type REF to OBS. */
435 lto_output_type_ref_index (struct lto_out_decl_state
*decl_state
,
436 struct lto_output_stream
*obs
, tree ref
)
439 lto_output_decl_index (obs
, &decl_state
->streams
[LTO_DECL_STREAM_TYPE
],
444 /* Create the output block and return it. */
446 struct lto_simple_output_block
*
447 lto_create_simple_output_block (enum lto_section_type section_type
)
449 struct lto_simple_output_block
*ob
450 = ((struct lto_simple_output_block
*)
451 xcalloc (1, sizeof (struct lto_simple_output_block
)));
453 ob
->section_type
= section_type
;
454 ob
->decl_state
= lto_get_out_decl_state ();
455 ob
->main_stream
= ((struct lto_output_stream
*)
456 xcalloc (1, sizeof (struct lto_output_stream
)));
462 /* Produce a simple section for one of the ipa passes. */
465 lto_destroy_simple_output_block (struct lto_simple_output_block
*ob
)
468 struct lto_simple_header header
;
469 struct lto_output_stream
*header_stream
;
471 section_name
= lto_get_section_name (ob
->section_type
, NULL
, NULL
);
472 lto_begin_section (section_name
, !flag_wpa
);
475 /* Write the header which says how to decode the pieces of the
477 memset (&header
, 0, sizeof (struct lto_simple_header
));
478 header
.lto_header
.major_version
= LTO_major_version
;
479 header
.lto_header
.minor_version
= LTO_minor_version
;
480 header
.lto_header
.section_type
= LTO_section_cgraph
;
482 header
.compressed_size
= 0;
484 header
.main_size
= ob
->main_stream
->total_size
;
486 header_stream
= XCNEW (struct lto_output_stream
);
487 lto_output_data_stream (header_stream
, &header
, sizeof header
);
488 lto_write_stream (header_stream
);
489 free (header_stream
);
491 lto_write_stream (ob
->main_stream
);
493 /* Put back the assembly section that was there before we started
497 free (ob
->main_stream
);
502 /* Return a new lto_out_decl_state. */
504 struct lto_out_decl_state
*
505 lto_new_out_decl_state (void)
507 struct lto_out_decl_state
*state
= XCNEW (struct lto_out_decl_state
);
512 for (i
= 0; i
< LTO_N_DECL_STREAMS
; i
++)
514 if (i
== LTO_DECL_STREAM_TYPE
)
516 hash_fn
= lto_hash_type_slot_node
;
517 eq_fn
= lto_eq_type_slot_node
;
521 hash_fn
= lto_hash_decl_slot_node
;
522 eq_fn
= lto_eq_decl_slot_node
;
524 lto_init_tree_ref_encoder (&state
->streams
[i
], hash_fn
, eq_fn
);
531 /* Delete STATE and components. */
534 lto_delete_out_decl_state (struct lto_out_decl_state
*state
)
538 for (i
= 0; i
< LTO_N_DECL_STREAMS
; i
++)
539 lto_destroy_tree_ref_encoder (&state
->streams
[i
]);
545 /* Get the currently used lto_out_decl_state structure. */
547 struct lto_out_decl_state
*
548 lto_get_out_decl_state (void)
550 return VEC_last (lto_out_decl_state_ptr
, decl_state_stack
);
553 /* Push STATE to top of out decl stack. */
556 lto_push_out_decl_state (struct lto_out_decl_state
*state
)
558 VEC_safe_push (lto_out_decl_state_ptr
, heap
, decl_state_stack
, state
);
561 /* Pop the currently used out-decl state from top of stack. */
563 struct lto_out_decl_state
*
564 lto_pop_out_decl_state (void)
566 return VEC_pop (lto_out_decl_state_ptr
, decl_state_stack
);
569 /* Record STATE after it has been used in serializing the body of
570 FN_DECL. STATE should no longer be used by the caller. The ownership
571 of it is taken over from this point. */
574 lto_record_function_out_decl_state (tree fn_decl
,
575 struct lto_out_decl_state
*state
)
579 /* Strip all hash tables to save some memory. */
580 for (i
= 0; i
< LTO_N_DECL_STREAMS
; i
++)
581 if (state
->streams
[i
].tree_hash_table
)
583 htab_delete (state
->streams
[i
].tree_hash_table
);
584 state
->streams
[i
].tree_hash_table
= NULL
;
586 state
->fn_decl
= fn_decl
;
587 VEC_safe_push (lto_out_decl_state_ptr
, heap
, lto_function_decl_states
,