ChangeLog rotatation and copyright year update
[deliverable/binutils-gdb.git] / gas / frags.c
CommitLineData
252b5132 1/* frags.c - manage frags -
b90efa5b 2 Copyright (C) 1987-2015 Free Software Foundation, Inc.
252b5132
RH
3
4 This file is part of GAS, the GNU Assembler.
5
6 GAS is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
ec2655a6 8 the Free Software Foundation; either version 3, or (at your option)
252b5132
RH
9 any later version.
10
11 GAS is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
15
16 You should have received a copy of the GNU General Public License
17 along with GAS; see the file COPYING. If not, write to the Free
4b4da160
NC
18 Software Foundation, 51 Franklin Street - Fifth Floor, Boston, MA
19 02110-1301, USA. */
252b5132
RH
20
21#include "as.h"
22#include "subsegs.h"
23#include "obstack.h"
24
25extern fragS zero_address_frag;
6885131b 26extern fragS predefined_address_frag;
a82c7d90
DW
27
28static int totalfrags;
29
30int
31get_frag_count (void)
32{
33 return totalfrags;
34}
35
36void
37clear_frag_count (void)
38{
39 totalfrags = 0;
40}
252b5132
RH
41\f
42/* Initialization for frag routines. */
29f8404c 43
252b5132 44void
dd625418 45frag_init (void)
252b5132
RH
46{
47 zero_address_frag.fr_type = rs_fill;
6885131b 48 predefined_address_frag.fr_type = rs_fill;
252b5132
RH
49}
50\f
e85ca5bb
AM
51/* Check that we're not trying to assemble into a section that can't
52 allocate frags (currently, this is only possible in the absolute
53 section), or into an mri common. */
54
55static void
56frag_alloc_check (const struct obstack *ob)
57{
58 if (ob->chunk_size == 0)
59 {
60 as_bad (_("attempt to allocate data in absolute section"));
61 subseg_set (text_section, 0);
62 }
63
64 if (mri_common_symbol != NULL)
65 {
66 as_bad (_("attempt to allocate data in common section"));
67 mri_common_symbol = NULL;
68 }
69}
70
252b5132
RH
71/* Allocate a frag on the specified obstack.
72 Call this routine from everywhere else, so that all the weird alignment
73 hackery can be done in just one place. */
29f8404c 74
252b5132 75fragS *
dd625418 76frag_alloc (struct obstack *ob)
252b5132
RH
77{
78 fragS *ptr;
79 int oalign;
80
81 (void) obstack_alloc (ob, 0);
82 oalign = obstack_alignment_mask (ob);
83 obstack_alignment_mask (ob) = 0;
1e9cc1c2 84 ptr = (fragS *) obstack_alloc (ob, SIZEOF_STRUCT_FRAG);
252b5132
RH
85 obstack_alignment_mask (ob) = oalign;
86 memset (ptr, 0, SIZEOF_STRUCT_FRAG);
a82c7d90 87 totalfrags++;
252b5132
RH
88 return ptr;
89}
90\f
088b3cd0 91/* Try to augment current frag by nchars chars.
29f8404c 92 If there is no room, close of the current frag with a ".fill 0"
088b3cd0
TG
93 and begin a new frag. Unless the new frag has nchars chars available
94 do not return. Do not set up any fields of *now_frag. */
29f8404c
KH
95
96void
e57e6ddc 97frag_grow (size_t nchars)
252b5132
RH
98{
99 if (obstack_room (&frchain_now->frch_obstack) < nchars)
100 {
e57e6ddc
AM
101 size_t oldc;
102 size_t newc;
252b5132 103
ee192366
MM
104 /* Try to allocate a bit more than needed right now. But don't do
105 this if we would waste too much memory. Especially necessary
8d8385cf 106 for extremely big (like 2GB initialized) frags. */
ee192366 107 if (nchars < 0x10000)
8d8385cf 108 newc = 2 * nchars;
ee192366 109 else
8d8385cf
TG
110 newc = nchars + 0x10000;
111 newc += SIZEOF_STRUCT_FRAG;
112
113 /* Check for possible overflow. */
e57e6ddc
AM
114 if (newc < nchars)
115 as_fatal (_("can't extend frag %lu chars"), (unsigned long) nchars);
8d8385cf 116
3db8daf3
MR
117 /* Force to allocate at least NEWC bytes, but not less than the
118 default. */
8d8385cf 119 oldc = obstack_chunk_size (&frchain_now->frch_obstack);
3db8daf3
MR
120 if (newc > oldc)
121 obstack_chunk_size (&frchain_now->frch_obstack) = newc;
8d8385cf
TG
122
123 while (obstack_room (&frchain_now->frch_obstack) < nchars)
124 {
125 /* Not enough room in this frag. Close it and start a new one.
126 This must be done in a loop because the created frag may not
127 be big enough if the current obstack chunk is used. */
128 frag_wane (frag_now);
129 frag_new (0);
130 }
131
132 /* Restore the old chunk size. */
133 obstack_chunk_size (&frchain_now->frch_obstack) = oldc;
252b5132 134 }
252b5132
RH
135}
136\f
29f8404c
KH
137/* Call this to close off a completed frag, and start up a new (empty)
138 frag, in the same subsegment as the old frag.
139 [frchain_now remains the same but frag_now is updated.]
140 Because this calculates the correct value of fr_fix by
141 looking at the obstack 'frags', it needs to know how many
142 characters at the end of the old frag belong to the maximal
143 variable part; The rest must belong to fr_fix.
144 It doesn't actually set up the old frag's fr_var. You may have
145 set fr_var == 1, but allocated 10 chars to the end of the frag;
146 In this case you pass old_frags_var_max_size == 10.
147 In fact, you may use fr_var for something totally unrelated to the
148 size of the variable part of the frag; None of the generic frag
149 handling code makes use of fr_var.
150
151 Make a new frag, initialising some components. Link new frag at end
152 of frchain_now. */
153
154void
e57e6ddc 155frag_new (size_t old_frags_var_max_size
dd625418
KH
156 /* Number of chars (already allocated on obstack frags) in
157 variable_length part of frag. */)
252b5132
RH
158{
159 fragS *former_last_fragP;
160 frchainS *frchP;
161
9c2799c2 162 gas_assert (frchain_now->frch_last == frag_now);
252b5132
RH
163
164 /* Fix up old frag's fr_fix. */
bea9907b 165 frag_now->fr_fix = frag_now_fix_octets () - old_frags_var_max_size;
252b5132 166 /* Make sure its type is valid. */
9c2799c2 167 gas_assert (frag_now->fr_type != 0);
252b5132
RH
168
169 /* This will align the obstack so the next struct we allocate on it
29f8404c 170 will begin at a correct boundary. */
252b5132
RH
171 obstack_finish (&frchain_now->frch_obstack);
172 frchP = frchain_now;
173 know (frchP);
174 former_last_fragP = frchP->frch_last;
9c2799c2
NC
175 gas_assert (former_last_fragP != 0);
176 gas_assert (former_last_fragP == frag_now);
252b5132
RH
177 frag_now = frag_alloc (&frchP->frch_obstack);
178
179 as_where (&frag_now->fr_file, &frag_now->fr_line);
180
181 /* Generally, frag_now->points to an address rounded up to next
182 alignment. However, characters will add to obstack frags
183 IMMEDIATELY after the struct frag, even if they are not starting
29f8404c 184 at an alignment address. */
252b5132
RH
185 former_last_fragP->fr_next = frag_now;
186 frchP->frch_last = frag_now;
187
188#ifndef NO_LISTING
189 {
190 extern struct list_info_struct *listing_tail;
191 frag_now->line = listing_tail;
192 }
193#endif
194
9c2799c2 195 gas_assert (frchain_now->frch_last == frag_now);
252b5132
RH
196
197 frag_now->fr_next = NULL;
29f8404c 198}
252b5132 199\f
29f8404c
KH
200/* Start a new frag unless we have n more chars of room in the current frag.
201 Close off the old frag with a .fill 0.
202
203 Return the address of the 1st char to write into. Advance
204 frag_now_growth past the new chars. */
252b5132
RH
205
206char *
e57e6ddc 207frag_more (size_t nchars)
252b5132 208{
ed9e98c2 209 char *retval;
252b5132 210
e85ca5bb 211 frag_alloc_check (&frchain_now->frch_obstack);
252b5132
RH
212 frag_grow (nchars);
213 retval = obstack_next_free (&frchain_now->frch_obstack);
214 obstack_blank_fast (&frchain_now->frch_obstack, nchars);
ed9e98c2 215 return retval;
29f8404c 216}
252b5132 217\f
69b1d605
TG
218/* Close the current frag, setting its fields for a relaxable frag. Start a
219 new frag. */
29f8404c 220
69b1d605 221static void
e57e6ddc
AM
222frag_var_init (relax_stateT type, size_t max_chars, size_t var,
223 relax_substateT subtype, symbolS *symbol, offsetT offset,
69b1d605 224 char *opcode)
252b5132 225{
252b5132
RH
226 frag_now->fr_var = var;
227 frag_now->fr_type = type;
228 frag_now->fr_subtype = subtype;
229 frag_now->fr_symbol = symbol;
230 frag_now->fr_offset = offset;
231 frag_now->fr_opcode = opcode;
232#ifdef USING_CGEN
233 frag_now->fr_cgen.insn = 0;
234 frag_now->fr_cgen.opindex = 0;
235 frag_now->fr_cgen.opinfo = 0;
236#endif
237#ifdef TC_FRAG_INIT
238 TC_FRAG_INIT (frag_now);
239#endif
240 as_where (&frag_now->fr_file, &frag_now->fr_line);
69b1d605 241
252b5132 242 frag_new (max_chars);
69b1d605
TG
243}
244
245/* Start a new frag unless we have max_chars more chars of room in the
246 current frag. Close off the old frag with a .fill 0.
247
248 Set up a machine_dependent relaxable frag, then start a new frag.
249 Return the address of the 1st char of the var part of the old frag
250 to write into. */
251
252char *
e57e6ddc
AM
253frag_var (relax_stateT type, size_t max_chars, size_t var,
254 relax_substateT subtype, symbolS *symbol, offsetT offset,
255 char *opcode)
69b1d605 256{
ed9e98c2 257 char *retval;
69b1d605
TG
258
259 frag_grow (max_chars);
260 retval = obstack_next_free (&frchain_now->frch_obstack);
261 obstack_blank_fast (&frchain_now->frch_obstack, max_chars);
262 frag_var_init (type, max_chars, var, subtype, symbol, offset, opcode);
263 return retval;
252b5132
RH
264}
265\f
29f8404c
KH
266/* OVE: This variant of frag_var assumes that space for the tail has been
267 allocated by caller.
268 No call to frag_grow is done. */
252b5132
RH
269
270char *
e57e6ddc 271frag_variant (relax_stateT type, size_t max_chars, size_t var,
dd625418
KH
272 relax_substateT subtype, symbolS *symbol, offsetT offset,
273 char *opcode)
252b5132 274{
ed9e98c2 275 char *retval;
252b5132
RH
276
277 retval = obstack_next_free (&frchain_now->frch_obstack);
69b1d605
TG
278 frag_var_init (type, max_chars, var, subtype, symbol, offset, opcode);
279
280 return retval;
29f8404c 281}
252b5132 282\f
29f8404c
KH
283/* Reduce the variable end of a frag to a harmless state. */
284
285void
ed9e98c2 286frag_wane (fragS *fragP)
252b5132
RH
287{
288 fragP->fr_type = rs_fill;
289 fragP->fr_offset = 0;
290 fragP->fr_var = 0;
0530d30a
RS
291}
292\f
293/* Return the number of bytes by which the current frag can be grown. */
294
e57e6ddc 295size_t
0530d30a
RS
296frag_room (void)
297{
298 return obstack_room (&frchain_now->frch_obstack);
252b5132
RH
299}
300\f
301/* Make an alignment frag. The size of this frag will be adjusted to
302 force the next frag to have the appropriate alignment. ALIGNMENT
303 is the power of two to which to align. FILL_CHARACTER is the
304 character to use to fill in any bytes which are skipped. MAX is
305 the maximum number of characters to skip when doing the alignment,
306 or 0 if there is no maximum. */
307
29f8404c 308void
dd625418 309frag_align (int alignment, int fill_character, int max)
252b5132
RH
310{
311 if (now_seg == absolute_section)
312 {
313 addressT new_off;
65e68b04 314 addressT mask;
252b5132 315
29f8404c
KH
316 mask = (~(addressT) 0) << alignment;
317 new_off = (abs_section_offset + ~mask) & mask;
252b5132
RH
318 if (max == 0 || new_off - abs_section_offset <= (addressT) max)
319 abs_section_offset = new_off;
320 }
321 else
322 {
323 char *p;
324
325 p = frag_var (rs_align, 1, 1, (relax_substateT) max,
326 (symbolS *) 0, (offsetT) alignment, (char *) 0);
327 *p = fill_character;
328 }
329}
330
331/* Make an alignment frag like frag_align, but fill with a repeating
332 pattern rather than a single byte. ALIGNMENT is the power of two
333 to which to align. FILL_PATTERN is the fill pattern to repeat in
334 the bytes which are skipped. N_FILL is the number of bytes in
335 FILL_PATTERN. MAX is the maximum number of characters to skip when
336 doing the alignment, or 0 if there is no maximum. */
337
29f8404c 338void
dd625418 339frag_align_pattern (int alignment, const char *fill_pattern,
e57e6ddc 340 size_t n_fill, int max)
252b5132
RH
341{
342 char *p;
343
344 p = frag_var (rs_align, n_fill, n_fill, (relax_substateT) max,
345 (symbolS *) 0, (offsetT) alignment, (char *) 0);
346 memcpy (p, fill_pattern, n_fill);
347}
348
0a9ef439
RH
349/* The NOP_OPCODE is for the alignment fill value. Fill it with a nop
350 instruction so that the disassembler does not choke on it. */
351#ifndef NOP_OPCODE
352#define NOP_OPCODE 0x00
353#endif
354
355/* Use this to restrict the amount of memory allocated for representing
356 the alignment code. Needs to be large enough to hold any fixed sized
357 prologue plus the replicating portion. */
358#ifndef MAX_MEM_FOR_RS_ALIGN_CODE
359 /* Assume that if HANDLE_ALIGN is not defined then no special action
360 is required to code fill, which means that we get just repeat the
361 one NOP_OPCODE byte. */
362# ifndef HANDLE_ALIGN
363# define MAX_MEM_FOR_RS_ALIGN_CODE 1
364# else
365# define MAX_MEM_FOR_RS_ALIGN_CODE ((1 << alignment) - 1)
366# endif
367#endif
368
369void
dd625418 370frag_align_code (int alignment, int max)
0a9ef439
RH
371{
372 char *p;
373
374 p = frag_var (rs_align_code, MAX_MEM_FOR_RS_ALIGN_CODE, 1,
375 (relax_substateT) max, (symbolS *) 0,
376 (offsetT) alignment, (char *) 0);
377 *p = NOP_OPCODE;
378}
379
252b5132 380addressT
dd625418 381frag_now_fix_octets (void)
252b5132
RH
382{
383 if (now_seg == absolute_section)
384 return abs_section_offset;
bea9907b 385
29f8404c
KH
386 return ((char *) obstack_next_free (&frchain_now->frch_obstack)
387 - frag_now->fr_literal);
bea9907b
TW
388}
389
390addressT
dd625418 391frag_now_fix (void)
bea9907b 392{
29f8404c 393 return frag_now_fix_octets () / OCTETS_PER_BYTE;
252b5132
RH
394}
395
396void
dd625418 397frag_append_1_char (int datum)
252b5132 398{
e85ca5bb 399 frag_alloc_check (&frchain_now->frch_obstack);
252b5132
RH
400 if (obstack_room (&frchain_now->frch_obstack) <= 1)
401 {
402 frag_wane (frag_now);
403 frag_new (0);
404 }
405 obstack_1grow (&frchain_now->frch_obstack, datum);
406}
99630778
AM
407
408/* Return TRUE if FRAG1 and FRAG2 have a fixed relationship between
409 their start addresses. Set OFFSET to the difference in address
410 not already accounted for in the frag FR_ADDRESS. */
411
412bfd_boolean
08ea7020 413frag_offset_fixed_p (const fragS *frag1, const fragS *frag2, offsetT *offset)
99630778 414{
6cbe03fb 415 const fragS *frag;
08ea7020 416 offsetT off;
99630778
AM
417
418 /* Start with offset initialised to difference between the two frags.
419 Prior to assigning frag addresses this will be zero. */
420 off = frag1->fr_address - frag2->fr_address;
421 if (frag1 == frag2)
422 {
423 *offset = off;
424 return TRUE;
425 }
426
427 /* Maybe frag2 is after frag1. */
428 frag = frag1;
429 while (frag->fr_type == rs_fill)
430 {
431 off += frag->fr_fix + frag->fr_offset * frag->fr_var;
432 frag = frag->fr_next;
433 if (frag == NULL)
434 break;
435 if (frag == frag2)
436 {
437 *offset = off;
438 return TRUE;
439 }
440 }
441
442 /* Maybe frag1 is after frag2. */
ec651a3b 443 off = frag1->fr_address - frag2->fr_address;
99630778
AM
444 frag = frag2;
445 while (frag->fr_type == rs_fill)
446 {
447 off -= frag->fr_fix + frag->fr_offset * frag->fr_var;
448 frag = frag->fr_next;
449 if (frag == NULL)
450 break;
451 if (frag == frag1)
452 {
453 *offset = off;
454 return TRUE;
455 }
456 }
457
458 return FALSE;
459}
This page took 0.650372 seconds and 4 git commands to generate.