1 /* Routines for saving various data types to a file stream. This deals
2 with various data types like strings, integers, enums, etc.
4 Copyright (C) 2011-2023 Free Software Foundation, Inc.
5 Contributed by Diego Novillo <dnovillo@google.com>
7 This file is part of GCC.
9 GCC is free software; you can redistribute it and/or modify it under
10 the terms of the GNU General Public License as published by the Free
11 Software Foundation; either version 3, or (at your option) any later
14 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
15 WARRANTY; without even the implied warranty of MERCHANTABILITY or
16 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
19 You should have received a copy of the GNU General Public License
20 along with GCC; see the file COPYING3. If not see
21 <http://www.gnu.org/licenses/>. */
25 #include "coretypes.h"
30 #include "data-streamer.h"
31 #include "value-range.h"
32 #include "streamer-hooks.h"
35 /* Adds a new block to output stream OBS. */
38 lto_append_block (struct lto_output_stream
*obs
)
40 struct lto_char_ptr_base
*new_block
;
42 gcc_assert (obs
->left_in_block
== 0);
44 if (obs
->first_block
== NULL
)
46 /* This is the first time the stream has been written
48 obs
->block_size
= 1024;
49 new_block
= (struct lto_char_ptr_base
*) xmalloc (obs
->block_size
);
50 obs
->first_block
= new_block
;
54 struct lto_char_ptr_base
*tptr
;
55 /* Get a new block that is twice as big as the last block
56 and link it into the list. */
58 new_block
= (struct lto_char_ptr_base
*) xmalloc (obs
->block_size
);
59 /* The first bytes of the block are reserved as a pointer to
60 the next block. Set the chain of the full block to the
61 pointer to the new block. */
62 tptr
= obs
->current_block
;
63 tptr
->ptr
= (char *) new_block
;
66 /* Set the place for the next char at the first position after the
67 chain to the next block. */
69 = ((char *) new_block
) + sizeof (struct lto_char_ptr_base
);
70 obs
->current_block
= new_block
;
71 /* Null out the newly allocated block's pointer to the next block. */
72 new_block
->ptr
= NULL
;
73 obs
->left_in_block
= obs
->block_size
- sizeof (struct lto_char_ptr_base
);
77 /* Return index used to reference STRING of LEN characters in the string table
78 in OB. The string might or might not include a trailing '\0'.
79 Then put the index onto the INDEX_STREAM.
80 When PERSISTENT is set, the string S is supposed to not change during
81 duration of the OB and thus OB can keep pointer into it. */
84 streamer_string_index (struct output_block
*ob
, const char *s
, unsigned int len
,
87 struct string_slot
**slot
;
88 struct string_slot s_slot
;
94 slot
= ob
->string_hash_table
->find_slot (&s_slot
, INSERT
);
97 struct lto_output_stream
*string_stream
= ob
->string_stream
;
98 unsigned int start
= string_stream
->total_size
;
99 struct string_slot
*new_slot
= XOBNEW (&ob
->obstack
, struct string_slot
);
105 string
= tmp
= XOBNEWVEC (&ob
->obstack
, char, len
);
106 memcpy (tmp
, s
, len
);
111 new_slot
->s
= string
;
113 new_slot
->slot_num
= start
;
115 streamer_write_uhwi_stream (string_stream
, len
);
116 streamer_write_data_stream (string_stream
, string
, len
);
121 struct string_slot
*old_slot
= *slot
;
122 return old_slot
->slot_num
+ 1;
127 /* Output STRING of LEN characters to the string table in OB. The
128 string might or might not include a trailing '\0'. Then put the
129 index onto the INDEX_STREAM.
130 When PERSISTENT is set, the string S is supposed to not change during
131 duration of the OB and thus OB can keep pointer into it. */
134 streamer_write_string_with_length (struct output_block
*ob
,
135 struct lto_output_stream
*index_stream
,
136 const char *s
, unsigned int len
,
140 streamer_write_uhwi_stream (index_stream
,
141 streamer_string_index (ob
, s
, len
, persistent
));
143 streamer_write_char_stream (index_stream
, 0);
147 /* Output the '\0' terminated STRING to the string
148 table in OB. Then put the index onto the INDEX_STREAM.
149 When PERSISTENT is set, the string S is supposed to not change during
150 duration of the OB and thus OB can keep pointer into it. */
153 streamer_write_string (struct output_block
*ob
,
154 struct lto_output_stream
*index_stream
,
155 const char *string
, bool persistent
)
158 streamer_write_string_with_length (ob
, index_stream
, string
,
162 streamer_write_char_stream (index_stream
, 0);
166 /* Output STRING of LEN characters to the string table in OB. Then
167 put the index into BP.
168 When PERSISTENT is set, the string S is supposed to not change during
169 duration of the OB and thus OB can keep pointer into it. */
172 bp_pack_string_with_length (struct output_block
*ob
, struct bitpack_d
*bp
,
173 const char *s
, unsigned int len
, bool persistent
)
177 index
= streamer_string_index (ob
, s
, len
, persistent
);
178 bp_pack_var_len_unsigned (bp
, index
);
182 /* Output the '\0' terminated STRING to the string
183 table in OB. Then put the index onto the bitpack BP.
184 When PERSISTENT is set, the string S is supposed to not change during
185 duration of the OB and thus OB can keep pointer into it. */
188 bp_pack_string (struct output_block
*ob
, struct bitpack_d
*bp
,
189 const char *s
, bool persistent
)
193 index
= streamer_string_index (ob
, s
, strlen (s
) + 1, persistent
);
194 bp_pack_var_len_unsigned (bp
, index
);
199 /* Write a zero to the output stream. */
202 streamer_write_zero (struct output_block
*ob
)
204 streamer_write_char_stream (ob
->main_stream
, 0);
208 /* Write an unsigned HOST_WIDE_INT value WORK to OB->main_stream. */
211 streamer_write_uhwi (struct output_block
*ob
, unsigned HOST_WIDE_INT work
)
213 streamer_write_uhwi_stream (ob
->main_stream
, work
);
217 /* Write a HOST_WIDE_INT value WORK to OB->main_stream. */
220 streamer_write_hwi (struct output_block
*ob
, HOST_WIDE_INT work
)
222 streamer_write_hwi_stream (ob
->main_stream
, work
);
225 /* Write a poly_uint64 value WORK to OB->main_stream. */
228 streamer_write_poly_uint64 (struct output_block
*ob
, poly_uint64 work
)
230 for (int i
= 0; i
< NUM_POLY_INT_COEFFS
; ++i
)
231 streamer_write_uhwi_stream (ob
->main_stream
, work
.coeffs
[i
]);
234 /* Write a poly_int64 value WORK to OB->main_stream. */
237 streamer_write_poly_int64 (struct output_block
*ob
, poly_int64 work
)
239 for (int i
= 0; i
< NUM_POLY_INT_COEFFS
; ++i
)
240 streamer_write_hwi_stream (ob
->main_stream
, work
.coeffs
[i
]);
243 /* Write a gcov counter value WORK to OB->main_stream. */
246 streamer_write_gcov_count (struct output_block
*ob
, gcov_type work
)
248 streamer_write_gcov_count_stream (ob
->main_stream
, work
);
251 /* Write an unsigned HOST_WIDE_INT value WORK to OBS. */
254 streamer_write_uhwi_stream (struct lto_output_stream
*obs
,
255 unsigned HOST_WIDE_INT work
)
257 if (obs
->left_in_block
== 0)
258 lto_append_block (obs
);
259 char *current_pointer
= obs
->current_pointer
;
260 unsigned int left_in_block
= obs
->left_in_block
;
261 unsigned int size
= 0;
264 unsigned int byte
= (work
& 0x7f);
267 /* More bytes to follow. */
270 *(current_pointer
++) = byte
;
274 while (work
!= 0 && left_in_block
> 0);
277 obs
->left_in_block
= 0;
278 lto_append_block (obs
);
279 current_pointer
= obs
->current_pointer
;
280 left_in_block
= obs
->left_in_block
;
283 unsigned int byte
= (work
& 0x7f);
286 /* More bytes to follow. */
289 *(current_pointer
++) = byte
;
295 obs
->current_pointer
= current_pointer
;
296 obs
->left_in_block
= left_in_block
;
297 obs
->total_size
+= size
;
301 /* Write a HOST_WIDE_INT value WORK to OBS. */
304 streamer_write_hwi_stream (struct lto_output_stream
*obs
, HOST_WIDE_INT work
)
306 if (obs
->left_in_block
== 0)
307 lto_append_block (obs
);
308 char *current_pointer
= obs
->current_pointer
;
309 unsigned int left_in_block
= obs
->left_in_block
;
310 unsigned int size
= 0;
314 unsigned int byte
= (work
& 0x7f);
315 /* If the lower 7-bits are sign-extended 0 or -1 we are finished. */
317 more
= !(work
== 0 || work
== -1);
320 /* More bits to follow. */
325 *(current_pointer
++) = byte
;
329 while (more
&& left_in_block
> 0);
332 obs
->left_in_block
= 0;
333 lto_append_block (obs
);
334 current_pointer
= obs
->current_pointer
;
335 left_in_block
= obs
->left_in_block
;
338 unsigned int byte
= (work
& 0x7f);
340 more
= !(work
== 0 || work
== -1);
347 *(current_pointer
++) = byte
;
353 obs
->current_pointer
= current_pointer
;
354 obs
->left_in_block
= left_in_block
;
355 obs
->total_size
+= size
;
358 /* Write a GCOV counter value WORK to OBS. */
361 streamer_write_gcov_count_stream (struct lto_output_stream
*obs
, gcov_type work
)
363 gcc_assert ((HOST_WIDE_INT
) work
== work
);
364 streamer_write_hwi_stream (obs
, work
);
367 /* Write raw DATA of length LEN to the output block OB. */
370 streamer_write_data_stream (struct lto_output_stream
*obs
, const void *data
,
378 if (obs
->left_in_block
== 0)
379 lto_append_block (obs
);
381 /* Determine how many bytes to copy in this loop. */
382 if (len
<= obs
->left_in_block
)
385 copy
= obs
->left_in_block
;
387 /* Copy the data and do bookkeeping. */
388 memcpy (obs
->current_pointer
, data
, copy
);
389 obs
->current_pointer
+= copy
;
390 obs
->total_size
+= copy
;
391 obs
->left_in_block
-= copy
;
392 data
= (const char *) data
+ copy
;
397 /* Write REAL_VALUE_TYPE into OB. */
400 streamer_write_real_value (struct output_block
*ob
, const REAL_VALUE_TYPE
*r
)
402 bitpack_d bp
= bitpack_create (ob
->main_stream
);
403 bp_pack_real_value (&bp
, r
);
404 streamer_write_bitpack (&bp
);
408 streamer_write_vrange (struct output_block
*ob
, const vrange
&v
)
410 gcc_checking_assert (!v
.undefined_p ());
412 // Write the common fields to all vranges.
413 value_range_kind kind
= v
.m_kind
;
414 streamer_write_enum (ob
->main_stream
, value_range_kind
, VR_LAST
, kind
);
415 stream_write_tree (ob
, v
.type (), true);
417 if (is_a
<irange
> (v
))
419 const irange
&r
= as_a
<irange
> (v
);
420 streamer_write_uhwi (ob
, r
.num_pairs ());
421 for (unsigned i
= 0; i
< r
.num_pairs (); ++i
)
423 streamer_write_wide_int (ob
, r
.lower_bound (i
));
424 streamer_write_wide_int (ob
, r
.upper_bound (i
));
426 // TODO: We could avoid streaming out the value if the mask is -1.
427 irange_bitmask bm
= r
.get_bitmask ();
428 streamer_write_wide_int (ob
, bm
.value ());
429 streamer_write_wide_int (ob
, bm
.mask ());
432 if (is_a
<frange
> (v
))
434 const frange
&r
= as_a
<frange
> (v
);
436 // Stream out NAN bits.
437 bitpack_d bp
= bitpack_create (ob
->main_stream
);
438 nan_state nan
= r
.get_nan_state ();
439 bp_pack_value (&bp
, nan
.pos_p (), 1);
440 bp_pack_value (&bp
, nan
.neg_p (), 1);
441 streamer_write_bitpack (&bp
);
443 // Stream out bounds.
446 REAL_VALUE_TYPE lb
= r
.lower_bound ();
447 REAL_VALUE_TYPE ub
= r
.upper_bound ();
448 streamer_write_real_value (ob
, &lb
);
449 streamer_write_real_value (ob
, &ub
);
456 /* Emit the physical representation of wide_int VAL to output block OB. */
459 streamer_write_wide_int (struct output_block
*ob
, const wide_int
&val
)
461 int len
= val
.get_len ();
463 streamer_write_uhwi (ob
, val
.get_precision ());
464 streamer_write_uhwi (ob
, len
);
465 for (int i
= 0; i
< len
; i
++)
466 streamer_write_hwi (ob
, val
.elt (i
));
469 /* Emit the physical representation of widest_int W to output block OB. */
472 streamer_write_widest_int (struct output_block
*ob
,
475 int len
= w
.get_len ();
477 streamer_write_uhwi (ob
, w
.get_precision ());
478 streamer_write_uhwi (ob
, len
);
479 for (int i
= 0; i
< len
; i
++)
480 streamer_write_hwi (ob
, w
.elt (i
));