annotate gcc/data-streamer-out.c @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children 1830386684a0
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* Routines for saving various data types to a file stream. This deals
kono
parents:
diff changeset
2 with various data types like strings, integers, enums, etc.
kono
parents:
diff changeset
3
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
4 Copyright (C) 2011-2018 Free Software Foundation, Inc.
111
kono
parents:
diff changeset
5 Contributed by Diego Novillo <dnovillo@google.com>
kono
parents:
diff changeset
6
kono
parents:
diff changeset
7 This file is part of GCC.
kono
parents:
diff changeset
8
kono
parents:
diff changeset
9 GCC is free software; you can redistribute it and/or modify it under
kono
parents:
diff changeset
10 the terms of the GNU General Public License as published by the Free
kono
parents:
diff changeset
11 Software Foundation; either version 3, or (at your option) any later
kono
parents:
diff changeset
12 version.
kono
parents:
diff changeset
13
kono
parents:
diff changeset
14 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
kono
parents:
diff changeset
15 WARRANTY; without even the implied warranty of MERCHANTABILITY or
kono
parents:
diff changeset
16 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
kono
parents:
diff changeset
17 for more details.
kono
parents:
diff changeset
18
kono
parents:
diff changeset
19 You should have received a copy of the GNU General Public License
kono
parents:
diff changeset
20 along with GCC; see the file COPYING3. If not see
kono
parents:
diff changeset
21 <http://www.gnu.org/licenses/>. */
kono
parents:
diff changeset
22
kono
parents:
diff changeset
23 #include "config.h"
kono
parents:
diff changeset
24 #include "system.h"
kono
parents:
diff changeset
25 #include "coretypes.h"
kono
parents:
diff changeset
26 #include "backend.h"
kono
parents:
diff changeset
27 #include "tree.h"
kono
parents:
diff changeset
28 #include "gimple.h"
kono
parents:
diff changeset
29 #include "cgraph.h"
kono
parents:
diff changeset
30 #include "data-streamer.h"
kono
parents:
diff changeset
31
kono
parents:
diff changeset
32
kono
parents:
diff changeset
33 /* Adds a new block to output stream OBS. */
kono
parents:
diff changeset
34
kono
parents:
diff changeset
35 void
kono
parents:
diff changeset
36 lto_append_block (struct lto_output_stream *obs)
kono
parents:
diff changeset
37 {
kono
parents:
diff changeset
38 struct lto_char_ptr_base *new_block;
kono
parents:
diff changeset
39
kono
parents:
diff changeset
40 gcc_assert (obs->left_in_block == 0);
kono
parents:
diff changeset
41
kono
parents:
diff changeset
42 if (obs->first_block == NULL)
kono
parents:
diff changeset
43 {
kono
parents:
diff changeset
44 /* This is the first time the stream has been written
kono
parents:
diff changeset
45 into. */
kono
parents:
diff changeset
46 obs->block_size = 1024;
kono
parents:
diff changeset
47 new_block = (struct lto_char_ptr_base*) xmalloc (obs->block_size);
kono
parents:
diff changeset
48 obs->first_block = new_block;
kono
parents:
diff changeset
49 }
kono
parents:
diff changeset
50 else
kono
parents:
diff changeset
51 {
kono
parents:
diff changeset
52 struct lto_char_ptr_base *tptr;
kono
parents:
diff changeset
53 /* Get a new block that is twice as big as the last block
kono
parents:
diff changeset
54 and link it into the list. */
kono
parents:
diff changeset
55 obs->block_size *= 2;
kono
parents:
diff changeset
56 new_block = (struct lto_char_ptr_base*) xmalloc (obs->block_size);
kono
parents:
diff changeset
57 /* The first bytes of the block are reserved as a pointer to
kono
parents:
diff changeset
58 the next block. Set the chain of the full block to the
kono
parents:
diff changeset
59 pointer to the new block. */
kono
parents:
diff changeset
60 tptr = obs->current_block;
kono
parents:
diff changeset
61 tptr->ptr = (char *) new_block;
kono
parents:
diff changeset
62 }
kono
parents:
diff changeset
63
kono
parents:
diff changeset
64 /* Set the place for the next char at the first position after the
kono
parents:
diff changeset
65 chain to the next block. */
kono
parents:
diff changeset
66 obs->current_pointer
kono
parents:
diff changeset
67 = ((char *) new_block) + sizeof (struct lto_char_ptr_base);
kono
parents:
diff changeset
68 obs->current_block = new_block;
kono
parents:
diff changeset
69 /* Null out the newly allocated block's pointer to the next block. */
kono
parents:
diff changeset
70 new_block->ptr = NULL;
kono
parents:
diff changeset
71 obs->left_in_block = obs->block_size - sizeof (struct lto_char_ptr_base);
kono
parents:
diff changeset
72 }
kono
parents:
diff changeset
73
kono
parents:
diff changeset
74
kono
parents:
diff changeset
75 /* Return index used to reference STRING of LEN characters in the string table
kono
parents:
diff changeset
76 in OB. The string might or might not include a trailing '\0'.
kono
parents:
diff changeset
77 Then put the index onto the INDEX_STREAM.
kono
parents:
diff changeset
78 When PERSISTENT is set, the string S is supposed to not change during
kono
parents:
diff changeset
79 duration of the OB and thus OB can keep pointer into it. */
kono
parents:
diff changeset
80
kono
parents:
diff changeset
81 static unsigned
kono
parents:
diff changeset
82 streamer_string_index (struct output_block *ob, const char *s, unsigned int len,
kono
parents:
diff changeset
83 bool persistent)
kono
parents:
diff changeset
84 {
kono
parents:
diff changeset
85 struct string_slot **slot;
kono
parents:
diff changeset
86 struct string_slot s_slot;
kono
parents:
diff changeset
87
kono
parents:
diff changeset
88 s_slot.s = s;
kono
parents:
diff changeset
89 s_slot.len = len;
kono
parents:
diff changeset
90 s_slot.slot_num = 0;
kono
parents:
diff changeset
91
kono
parents:
diff changeset
92 slot = ob->string_hash_table->find_slot (&s_slot, INSERT);
kono
parents:
diff changeset
93 if (*slot == NULL)
kono
parents:
diff changeset
94 {
kono
parents:
diff changeset
95 struct lto_output_stream *string_stream = ob->string_stream;
kono
parents:
diff changeset
96 unsigned int start = string_stream->total_size;
kono
parents:
diff changeset
97 struct string_slot *new_slot = XOBNEW (&ob->obstack, struct string_slot);
kono
parents:
diff changeset
98 const char *string;
kono
parents:
diff changeset
99
kono
parents:
diff changeset
100 if (!persistent)
kono
parents:
diff changeset
101 {
kono
parents:
diff changeset
102 char *tmp;
kono
parents:
diff changeset
103 string = tmp = XOBNEWVEC (&ob->obstack, char, len);
kono
parents:
diff changeset
104 memcpy (tmp, s, len);
kono
parents:
diff changeset
105 }
kono
parents:
diff changeset
106 else
kono
parents:
diff changeset
107 string = s;
kono
parents:
diff changeset
108
kono
parents:
diff changeset
109 new_slot->s = string;
kono
parents:
diff changeset
110 new_slot->len = len;
kono
parents:
diff changeset
111 new_slot->slot_num = start;
kono
parents:
diff changeset
112 *slot = new_slot;
kono
parents:
diff changeset
113 streamer_write_uhwi_stream (string_stream, len);
kono
parents:
diff changeset
114 streamer_write_data_stream (string_stream, string, len);
kono
parents:
diff changeset
115 return start + 1;
kono
parents:
diff changeset
116 }
kono
parents:
diff changeset
117 else
kono
parents:
diff changeset
118 {
kono
parents:
diff changeset
119 struct string_slot *old_slot = *slot;
kono
parents:
diff changeset
120 return old_slot->slot_num + 1;
kono
parents:
diff changeset
121 }
kono
parents:
diff changeset
122 }
kono
parents:
diff changeset
123
kono
parents:
diff changeset
124
kono
parents:
diff changeset
125 /* Output STRING of LEN characters to the string table in OB. The
kono
parents:
diff changeset
126 string might or might not include a trailing '\0'. Then put the
kono
parents:
diff changeset
127 index onto the INDEX_STREAM.
kono
parents:
diff changeset
128 When PERSISTENT is set, the string S is supposed to not change during
kono
parents:
diff changeset
129 duration of the OB and thus OB can keep pointer into it. */
kono
parents:
diff changeset
130
kono
parents:
diff changeset
131 void
kono
parents:
diff changeset
132 streamer_write_string_with_length (struct output_block *ob,
kono
parents:
diff changeset
133 struct lto_output_stream *index_stream,
kono
parents:
diff changeset
134 const char *s, unsigned int len,
kono
parents:
diff changeset
135 bool persistent)
kono
parents:
diff changeset
136 {
kono
parents:
diff changeset
137 if (s)
kono
parents:
diff changeset
138 streamer_write_uhwi_stream (index_stream,
kono
parents:
diff changeset
139 streamer_string_index (ob, s, len, persistent));
kono
parents:
diff changeset
140 else
kono
parents:
diff changeset
141 streamer_write_char_stream (index_stream, 0);
kono
parents:
diff changeset
142 }
kono
parents:
diff changeset
143
kono
parents:
diff changeset
144
kono
parents:
diff changeset
145 /* Output the '\0' terminated STRING to the string
kono
parents:
diff changeset
146 table in OB. Then put the index onto the INDEX_STREAM.
kono
parents:
diff changeset
147 When PERSISTENT is set, the string S is supposed to not change during
kono
parents:
diff changeset
148 duration of the OB and thus OB can keep pointer into it. */
kono
parents:
diff changeset
149
kono
parents:
diff changeset
150 void
kono
parents:
diff changeset
151 streamer_write_string (struct output_block *ob,
kono
parents:
diff changeset
152 struct lto_output_stream *index_stream,
kono
parents:
diff changeset
153 const char *string, bool persistent)
kono
parents:
diff changeset
154 {
kono
parents:
diff changeset
155 if (string)
kono
parents:
diff changeset
156 streamer_write_string_with_length (ob, index_stream, string,
kono
parents:
diff changeset
157 strlen (string) + 1,
kono
parents:
diff changeset
158 persistent);
kono
parents:
diff changeset
159 else
kono
parents:
diff changeset
160 streamer_write_char_stream (index_stream, 0);
kono
parents:
diff changeset
161 }
kono
parents:
diff changeset
162
kono
parents:
diff changeset
163
kono
parents:
diff changeset
164 /* Output STRING of LEN characters to the string table in OB. Then
kono
parents:
diff changeset
165 put the index into BP.
kono
parents:
diff changeset
166 When PERSISTENT is set, the string S is supposed to not change during
kono
parents:
diff changeset
167 duration of the OB and thus OB can keep pointer into it. */
kono
parents:
diff changeset
168
kono
parents:
diff changeset
169 void
kono
parents:
diff changeset
170 bp_pack_string_with_length (struct output_block *ob, struct bitpack_d *bp,
kono
parents:
diff changeset
171 const char *s, unsigned int len, bool persistent)
kono
parents:
diff changeset
172 {
kono
parents:
diff changeset
173 unsigned index = 0;
kono
parents:
diff changeset
174 if (s)
kono
parents:
diff changeset
175 index = streamer_string_index (ob, s, len, persistent);
kono
parents:
diff changeset
176 bp_pack_var_len_unsigned (bp, index);
kono
parents:
diff changeset
177 }
kono
parents:
diff changeset
178
kono
parents:
diff changeset
179
kono
parents:
diff changeset
180 /* Output the '\0' terminated STRING to the string
kono
parents:
diff changeset
181 table in OB. Then put the index onto the bitpack BP.
kono
parents:
diff changeset
182 When PERSISTENT is set, the string S is supposed to not change during
kono
parents:
diff changeset
183 duration of the OB and thus OB can keep pointer into it. */
kono
parents:
diff changeset
184
kono
parents:
diff changeset
185 void
kono
parents:
diff changeset
186 bp_pack_string (struct output_block *ob, struct bitpack_d *bp,
kono
parents:
diff changeset
187 const char *s, bool persistent)
kono
parents:
diff changeset
188 {
kono
parents:
diff changeset
189 unsigned index = 0;
kono
parents:
diff changeset
190 if (s)
kono
parents:
diff changeset
191 index = streamer_string_index (ob, s, strlen (s) + 1, persistent);
kono
parents:
diff changeset
192 bp_pack_var_len_unsigned (bp, index);
kono
parents:
diff changeset
193 }
kono
parents:
diff changeset
194
kono
parents:
diff changeset
195
kono
parents:
diff changeset
196
kono
parents:
diff changeset
197 /* Write a zero to the output stream. */
kono
parents:
diff changeset
198
kono
parents:
diff changeset
199 void
kono
parents:
diff changeset
200 streamer_write_zero (struct output_block *ob)
kono
parents:
diff changeset
201 {
kono
parents:
diff changeset
202 streamer_write_char_stream (ob->main_stream, 0);
kono
parents:
diff changeset
203 }
kono
parents:
diff changeset
204
kono
parents:
diff changeset
205
kono
parents:
diff changeset
206 /* Write an unsigned HOST_WIDE_INT value WORK to OB->main_stream. */
kono
parents:
diff changeset
207
kono
parents:
diff changeset
208 void
kono
parents:
diff changeset
209 streamer_write_uhwi (struct output_block *ob, unsigned HOST_WIDE_INT work)
kono
parents:
diff changeset
210 {
kono
parents:
diff changeset
211 streamer_write_uhwi_stream (ob->main_stream, work);
kono
parents:
diff changeset
212 }
kono
parents:
diff changeset
213
kono
parents:
diff changeset
214
kono
parents:
diff changeset
215 /* Write a HOST_WIDE_INT value WORK to OB->main_stream. */
kono
parents:
diff changeset
216
kono
parents:
diff changeset
217 void
kono
parents:
diff changeset
218 streamer_write_hwi (struct output_block *ob, HOST_WIDE_INT work)
kono
parents:
diff changeset
219 {
kono
parents:
diff changeset
220 streamer_write_hwi_stream (ob->main_stream, work);
kono
parents:
diff changeset
221 }
kono
parents:
diff changeset
222
kono
parents:
diff changeset
223 /* Write a gcov counter value WORK to OB->main_stream. */
kono
parents:
diff changeset
224
kono
parents:
diff changeset
225 void
kono
parents:
diff changeset
226 streamer_write_gcov_count (struct output_block *ob, gcov_type work)
kono
parents:
diff changeset
227 {
kono
parents:
diff changeset
228 streamer_write_gcov_count_stream (ob->main_stream, work);
kono
parents:
diff changeset
229 }
kono
parents:
diff changeset
230
kono
parents:
diff changeset
231 /* Write an unsigned HOST_WIDE_INT value WORK to OBS. */
kono
parents:
diff changeset
232
kono
parents:
diff changeset
233 void
kono
parents:
diff changeset
234 streamer_write_uhwi_stream (struct lto_output_stream *obs,
kono
parents:
diff changeset
235 unsigned HOST_WIDE_INT work)
kono
parents:
diff changeset
236 {
kono
parents:
diff changeset
237 if (obs->left_in_block == 0)
kono
parents:
diff changeset
238 lto_append_block (obs);
kono
parents:
diff changeset
239 char *current_pointer = obs->current_pointer;
kono
parents:
diff changeset
240 unsigned int left_in_block = obs->left_in_block;
kono
parents:
diff changeset
241 unsigned int size = 0;
kono
parents:
diff changeset
242 do
kono
parents:
diff changeset
243 {
kono
parents:
diff changeset
244 unsigned int byte = (work & 0x7f);
kono
parents:
diff changeset
245 work >>= 7;
kono
parents:
diff changeset
246 if (work != 0)
kono
parents:
diff changeset
247 /* More bytes to follow. */
kono
parents:
diff changeset
248 byte |= 0x80;
kono
parents:
diff changeset
249
kono
parents:
diff changeset
250 *(current_pointer++) = byte;
kono
parents:
diff changeset
251 left_in_block--;
kono
parents:
diff changeset
252 size++;
kono
parents:
diff changeset
253 }
kono
parents:
diff changeset
254 while (work != 0 && left_in_block > 0);
kono
parents:
diff changeset
255 if (work != 0)
kono
parents:
diff changeset
256 {
kono
parents:
diff changeset
257 obs->left_in_block = 0;
kono
parents:
diff changeset
258 lto_append_block (obs);
kono
parents:
diff changeset
259 current_pointer = obs->current_pointer;
kono
parents:
diff changeset
260 left_in_block = obs->left_in_block;
kono
parents:
diff changeset
261 do
kono
parents:
diff changeset
262 {
kono
parents:
diff changeset
263 unsigned int byte = (work & 0x7f);
kono
parents:
diff changeset
264 work >>= 7;
kono
parents:
diff changeset
265 if (work != 0)
kono
parents:
diff changeset
266 /* More bytes to follow. */
kono
parents:
diff changeset
267 byte |= 0x80;
kono
parents:
diff changeset
268
kono
parents:
diff changeset
269 *(current_pointer++) = byte;
kono
parents:
diff changeset
270 left_in_block--;
kono
parents:
diff changeset
271 size++;
kono
parents:
diff changeset
272 }
kono
parents:
diff changeset
273 while (work != 0);
kono
parents:
diff changeset
274 }
kono
parents:
diff changeset
275 obs->current_pointer = current_pointer;
kono
parents:
diff changeset
276 obs->left_in_block = left_in_block;
kono
parents:
diff changeset
277 obs->total_size += size;
kono
parents:
diff changeset
278 }
kono
parents:
diff changeset
279
kono
parents:
diff changeset
280
kono
parents:
diff changeset
281 /* Write a HOST_WIDE_INT value WORK to OBS. */
kono
parents:
diff changeset
282
kono
parents:
diff changeset
283 void
kono
parents:
diff changeset
284 streamer_write_hwi_stream (struct lto_output_stream *obs, HOST_WIDE_INT work)
kono
parents:
diff changeset
285 {
kono
parents:
diff changeset
286 if (obs->left_in_block == 0)
kono
parents:
diff changeset
287 lto_append_block (obs);
kono
parents:
diff changeset
288 char *current_pointer = obs->current_pointer;
kono
parents:
diff changeset
289 unsigned int left_in_block = obs->left_in_block;
kono
parents:
diff changeset
290 unsigned int size = 0;
kono
parents:
diff changeset
291 bool more;
kono
parents:
diff changeset
292 do
kono
parents:
diff changeset
293 {
kono
parents:
diff changeset
294 unsigned int byte = (work & 0x7f);
kono
parents:
diff changeset
295 /* If the lower 7-bits are sign-extended 0 or -1 we are finished. */
kono
parents:
diff changeset
296 work >>= 6;
kono
parents:
diff changeset
297 more = !(work == 0 || work == -1);
kono
parents:
diff changeset
298 if (more)
kono
parents:
diff changeset
299 {
kono
parents:
diff changeset
300 /* More bits to follow. */
kono
parents:
diff changeset
301 work >>= 1;
kono
parents:
diff changeset
302 byte |= 0x80;
kono
parents:
diff changeset
303 }
kono
parents:
diff changeset
304
kono
parents:
diff changeset
305 *(current_pointer++) = byte;
kono
parents:
diff changeset
306 left_in_block--;
kono
parents:
diff changeset
307 size++;
kono
parents:
diff changeset
308 }
kono
parents:
diff changeset
309 while (more && left_in_block > 0);
kono
parents:
diff changeset
310 if (more)
kono
parents:
diff changeset
311 {
kono
parents:
diff changeset
312 obs->left_in_block = 0;
kono
parents:
diff changeset
313 lto_append_block (obs);
kono
parents:
diff changeset
314 current_pointer = obs->current_pointer;
kono
parents:
diff changeset
315 left_in_block = obs->left_in_block;
kono
parents:
diff changeset
316 do
kono
parents:
diff changeset
317 {
kono
parents:
diff changeset
318 unsigned int byte = (work & 0x7f);
kono
parents:
diff changeset
319 work >>= 6;
kono
parents:
diff changeset
320 more = !(work == 0 || work == -1);
kono
parents:
diff changeset
321 if (more)
kono
parents:
diff changeset
322 {
kono
parents:
diff changeset
323 work >>= 1;
kono
parents:
diff changeset
324 byte |= 0x80;
kono
parents:
diff changeset
325 }
kono
parents:
diff changeset
326
kono
parents:
diff changeset
327 *(current_pointer++) = byte;
kono
parents:
diff changeset
328 left_in_block--;
kono
parents:
diff changeset
329 size++;
kono
parents:
diff changeset
330 }
kono
parents:
diff changeset
331 while (more);
kono
parents:
diff changeset
332 }
kono
parents:
diff changeset
333 obs->current_pointer = current_pointer;
kono
parents:
diff changeset
334 obs->left_in_block = left_in_block;
kono
parents:
diff changeset
335 obs->total_size += size;
kono
parents:
diff changeset
336 }
kono
parents:
diff changeset
337
kono
parents:
diff changeset
338 /* Write a GCOV counter value WORK to OBS. */
kono
parents:
diff changeset
339
kono
parents:
diff changeset
340 void
kono
parents:
diff changeset
341 streamer_write_gcov_count_stream (struct lto_output_stream *obs, gcov_type work)
kono
parents:
diff changeset
342 {
kono
parents:
diff changeset
343 gcc_assert ((HOST_WIDE_INT) work == work);
kono
parents:
diff changeset
344 streamer_write_hwi_stream (obs, work);
kono
parents:
diff changeset
345 }
kono
parents:
diff changeset
346
kono
parents:
diff changeset
347 /* Write raw DATA of length LEN to the output block OB. */
kono
parents:
diff changeset
348
kono
parents:
diff changeset
349 void
kono
parents:
diff changeset
350 streamer_write_data_stream (struct lto_output_stream *obs, const void *data,
kono
parents:
diff changeset
351 size_t len)
kono
parents:
diff changeset
352 {
kono
parents:
diff changeset
353 while (len)
kono
parents:
diff changeset
354 {
kono
parents:
diff changeset
355 size_t copy;
kono
parents:
diff changeset
356
kono
parents:
diff changeset
357 /* No space left. */
kono
parents:
diff changeset
358 if (obs->left_in_block == 0)
kono
parents:
diff changeset
359 lto_append_block (obs);
kono
parents:
diff changeset
360
kono
parents:
diff changeset
361 /* Determine how many bytes to copy in this loop. */
kono
parents:
diff changeset
362 if (len <= obs->left_in_block)
kono
parents:
diff changeset
363 copy = len;
kono
parents:
diff changeset
364 else
kono
parents:
diff changeset
365 copy = obs->left_in_block;
kono
parents:
diff changeset
366
kono
parents:
diff changeset
367 /* Copy the data and do bookkeeping. */
kono
parents:
diff changeset
368 memcpy (obs->current_pointer, data, copy);
kono
parents:
diff changeset
369 obs->current_pointer += copy;
kono
parents:
diff changeset
370 obs->total_size += copy;
kono
parents:
diff changeset
371 obs->left_in_block -= copy;
kono
parents:
diff changeset
372 data = (const char *) data + copy;
kono
parents:
diff changeset
373 len -= copy;
kono
parents:
diff changeset
374 }
kono
parents:
diff changeset
375 }
kono
parents:
diff changeset
376
kono
parents:
diff changeset
377 /* Emit the physical representation of wide_int VAL to output block OB. */
kono
parents:
diff changeset
378
kono
parents:
diff changeset
379 void
kono
parents:
diff changeset
380 streamer_write_wide_int (struct output_block *ob, const wide_int &val)
kono
parents:
diff changeset
381 {
kono
parents:
diff changeset
382 int len = val.get_len ();
kono
parents:
diff changeset
383
kono
parents:
diff changeset
384 streamer_write_uhwi (ob, val.get_precision ());
kono
parents:
diff changeset
385 streamer_write_uhwi (ob, len);
kono
parents:
diff changeset
386 for (int i = 0; i < len; i++)
kono
parents:
diff changeset
387 streamer_write_hwi (ob, val.elt (i));
kono
parents:
diff changeset
388 }
kono
parents:
diff changeset
389
kono
parents:
diff changeset
390 /* Emit the physical representation of widest_int W to output block OB. */
kono
parents:
diff changeset
391
kono
parents:
diff changeset
392 void
kono
parents:
diff changeset
393 streamer_write_widest_int (struct output_block *ob,
kono
parents:
diff changeset
394 const widest_int &w)
kono
parents:
diff changeset
395 {
kono
parents:
diff changeset
396 int len = w.get_len ();
kono
parents:
diff changeset
397
kono
parents:
diff changeset
398 streamer_write_uhwi (ob, w.get_precision ());
kono
parents:
diff changeset
399 streamer_write_uhwi (ob, len);
kono
parents:
diff changeset
400 for (int i = 0; i < len; i++)
kono
parents:
diff changeset
401 streamer_write_hwi (ob, w.elt (i));
kono
parents:
diff changeset
402 }
kono
parents:
diff changeset
403