gas/
[external/binutils.git] / gas / read.c
1 /* read.c - read a source file -
2    Copyright 1986, 1987, 1990, 1991, 1992, 1993, 1994, 1995, 1996, 1997,
3    1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009,
4    2010, 2011, 2012  Free Software Foundation, Inc.
5
6    This file is part of GAS, the GNU Assembler.
7
8    GAS is free software; you can redistribute it and/or modify
9    it under the terms of the GNU General Public License as published by
10    the Free Software Foundation; either version 3, or (at your option)
11    any later version.
12
13    GAS is distributed in the hope that it will be useful,
14    but WITHOUT ANY WARRANTY; without even the implied warranty of
15    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
16    GNU General Public License for more details.
17
18    You should have received a copy of the GNU General Public License
19    along with GAS; see the file COPYING.  If not, write to the Free
20    Software Foundation, 51 Franklin Street - Fifth Floor, Boston, MA
21    02110-1301, USA.  */
22
23 /* If your chars aren't 8 bits, you will change this a bit (eg. to 0xFF).
24    But then, GNU isn't spozed to run on your machine anyway.
25    (RMS is so shortsighted sometimes.)  */
26 #define MASK_CHAR ((int)(unsigned char) -1)
27
28 /* This is the largest known floating point format (for now). It will
29    grow when we do 4361 style flonums.  */
30 #define MAXIMUM_NUMBER_OF_CHARS_FOR_FLOAT (16)
31
32 /* Routines that read assembler source text to build spaghetti in memory.
33    Another group of these functions is in the expr.c module.  */
34
35 #include "as.h"
36 #include "safe-ctype.h"
37 #include "subsegs.h"
38 #include "sb.h"
39 #include "macro.h"
40 #include "obstack.h"
41 #include "ecoff.h"
42 #include "dw2gencfi.h"
43 #include "wchar.h"
44
45 #ifndef TC_START_LABEL
46 #define TC_START_LABEL(x,y,z) (x == ':')
47 #endif
48
49 /* Set by the object-format or the target.  */
50 #ifndef TC_IMPLICIT_LCOMM_ALIGNMENT
51 #define TC_IMPLICIT_LCOMM_ALIGNMENT(SIZE, P2VAR)                \
52   do                                                            \
53     {                                                           \
54       if ((SIZE) >= 8)                                          \
55         (P2VAR) = 3;                                            \
56       else if ((SIZE) >= 4)                                     \
57         (P2VAR) = 2;                                            \
58       else if ((SIZE) >= 2)                                     \
59         (P2VAR) = 1;                                            \
60       else                                                      \
61         (P2VAR) = 0;                                            \
62     }                                                           \
63   while (0)
64 #endif
65
66 char *input_line_pointer;       /*->next char of source file to parse.  */
67
68 #if BITS_PER_CHAR != 8
69 /*  The following table is indexed by[(char)] and will break if
70     a char does not have exactly 256 states (hopefully 0:255!)!  */
71 die horribly;
72 #endif
73
74 #ifndef LEX_AT
75 #define LEX_AT 0
76 #endif
77
78 #ifndef LEX_BR
79 /* The RS/6000 assembler uses {,},[,] as parts of symbol names.  */
80 #define LEX_BR 0
81 #endif
82
83 #ifndef LEX_PCT
84 /* The Delta 68k assembler permits % inside label names.  */
85 #define LEX_PCT 0
86 #endif
87
88 #ifndef LEX_QM
89 /* The PowerPC Windows NT assemblers permits ? inside label names.  */
90 #define LEX_QM 0
91 #endif
92
93 #ifndef LEX_HASH
94 /* The IA-64 assembler uses # as a suffix designating a symbol.  We include
95    it in the symbol and strip it out in tc_canonicalize_symbol_name.  */
96 #define LEX_HASH 0
97 #endif
98
99 #ifndef LEX_DOLLAR
100 #define LEX_DOLLAR 3
101 #endif
102
103 #ifndef LEX_TILDE
104 /* The Delta 68k assembler permits ~ at start of label names.  */
105 #define LEX_TILDE 0
106 #endif
107
108 /* Used by is_... macros. our ctype[].  */
109 char lex_type[256] = {
110   0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,       /* @ABCDEFGHIJKLMNO */
111   0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,       /* PQRSTUVWXYZ[\]^_ */
112   0, 0, 0, LEX_HASH, LEX_DOLLAR, LEX_PCT, 0, 0, 0, 0, 0, 0, 0, 0, 3, 0, /* _!"#$%&'()*+,-./ */
113   1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, LEX_QM,  /* 0123456789:;<=>? */
114   LEX_AT, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3,  /* @ABCDEFGHIJKLMNO */
115   3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, LEX_BR, 0, LEX_BR, 0, 3, /* PQRSTUVWXYZ[\]^_ */
116   0, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3,       /* `abcdefghijklmno */
117   3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, LEX_BR, 0, LEX_BR, LEX_TILDE, 0, /* pqrstuvwxyz{|}~.  */
118   3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3,
119   3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3,
120   3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3,
121   3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3,
122   3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3,
123   3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3,
124   3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3,
125   3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3
126 };
127
128 /* In: a character.
129    Out: 1 if this character ends a line.
130         2 if this character is a line separator.  */
131 char is_end_of_line[256] = {
132 #ifdef CR_EOL
133   1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0,       /* @abcdefghijklmno */
134 #else
135   1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0,       /* @abcdefghijklmno */
136 #endif
137   0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,       /* */
138   0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,       /* _!"#$%&'()*+,-./ */
139   0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,       /* 0123456789:;<=>? */
140   0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,       /* */
141   0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,       /* */
142   0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,       /* */
143   0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,       /* */
144   0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,       /* */
145   0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,       /* */
146   0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,       /* */
147   0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,       /* */
148   0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,       /* */
149   0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,       /* */
150   0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,       /* */
151   0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0        /* */
152 };
153
154 #ifndef TC_CASE_SENSITIVE
155 char original_case_string[128];
156 #endif
157
158 /* Functions private to this file.  */
159
160 static char *buffer;    /* 1st char of each buffer of lines is here.  */
161 static char *buffer_limit;      /*->1 + last char in buffer.  */
162
163 /* TARGET_BYTES_BIG_ENDIAN is required to be defined to either 0 or 1
164    in the tc-<CPU>.h file.  See the "Porting GAS" section of the
165    internals manual.  */
166 int target_big_endian = TARGET_BYTES_BIG_ENDIAN;
167
168 /* Variables for handling include file directory table.  */
169
170 /* Table of pointers to directories to search for .include's.  */
171 char **include_dirs;
172
173 /* How many are in the table.  */
174 int include_dir_count;
175
176 /* Length of longest in table.  */
177 int include_dir_maxlen = 1;
178
179 #ifndef WORKING_DOT_WORD
180 struct broken_word *broken_words;
181 int new_broken_words;
182 #endif
183
184 /* The current offset into the absolute section.  We don't try to
185    build frags in the absolute section, since no data can be stored
186    there.  We just keep track of the current offset.  */
187 addressT abs_section_offset;
188
189 /* If this line had an MRI style label, it is stored in this variable.
190    This is used by some of the MRI pseudo-ops.  */
191 symbolS *line_label;
192
193 /* This global variable is used to support MRI common sections.  We
194    translate such sections into a common symbol.  This variable is
195    non-NULL when we are in an MRI common section.  */
196 symbolS *mri_common_symbol;
197
198 /* In MRI mode, after a dc.b pseudo-op with an odd number of bytes, we
199    need to align to an even byte boundary unless the next pseudo-op is
200    dc.b, ds.b, or dcb.b.  This variable is set to 1 if an alignment
201    may be needed.  */
202 static int mri_pending_align;
203
204 #ifndef NO_LISTING
205 #ifdef OBJ_ELF
206 /* This variable is set to be non-zero if the next string we see might
207    be the name of the source file in DWARF debugging information.  See
208    the comment in emit_expr for the format we look for.  */
209 static int dwarf_file_string;
210 #endif
211 #endif
212
213 /* If the target defines the md_frag_max_var hook then we know
214    enough to implement the .bundle_align_mode features.  */
215 #ifdef md_frag_max_var
216 # define HANDLE_BUNDLE
217 #endif
218
219 #ifdef HANDLE_BUNDLE
220 /* .bundle_align_mode sets this.  Normally it's zero.  When nonzero,
221    it's the exponent of the bundle size, and aligned instruction bundle
222    mode is in effect.  */
223 static unsigned int bundle_align_p2;
224
225 /* These are set by .bundle_lock and .bundle_unlock.  .bundle_lock sets
226    bundle_lock_frag to frag_now and then starts a new frag with
227    frag_align_code.  At the same time, bundle_lock_frain gets frchain_now,
228    so that .bundle_unlock can verify that we didn't change segments.
229    .bundle_unlock resets both to NULL.  If we detect a bundling violation,
230    then we reset bundle_lock_frchain to NULL as an indicator that we've
231    already diagnosed the error with as_bad and don't need a cascade of
232    redundant errors, but bundle_lock_frag remains set to indicate that
233    we are expecting to see .bundle_unlock.  */
234 static fragS *bundle_lock_frag;
235 static frchainS *bundle_lock_frchain;
236
237 /* This is incremented by .bundle_lock and decremented by .bundle_unlock,
238    to allow nesting.  */
239 static unsigned int bundle_lock_depth;
240 #endif
241
242 static void do_s_func (int end_p, const char *default_prefix);
243 static void do_align (int, char *, int, int);
244 static void s_align (int, int);
245 static void s_altmacro (int);
246 static void s_bad_end (int);
247 static void s_reloc (int);
248 static int hex_float (int, char *);
249 static segT get_known_segmented_expression (expressionS * expP);
250 static void pobegin (void);
251 static size_t get_non_macro_line_sb (sb *);
252 static void generate_file_debug (void);
253 static char *_find_end_of_line (char *, int, int, int);
254 \f
255 void
256 read_begin (void)
257 {
258   const char *p;
259
260   pobegin ();
261   obj_read_begin_hook ();
262
263   /* Something close -- but not too close -- to a multiple of 1024.
264      The debugging malloc I'm using has 24 bytes of overhead.  */
265   obstack_begin (&notes, chunksize);
266   obstack_begin (&cond_obstack, chunksize);
267
268   /* Use machine dependent syntax.  */
269   for (p = line_separator_chars; *p; p++)
270     is_end_of_line[(unsigned char) *p] = 2;
271   /* Use more.  FIXME-SOMEDAY.  */
272
273   if (flag_mri)
274     lex_type['?'] = 3;
275 }
276 \f
277 #ifndef TC_ADDRESS_BYTES
278 #define TC_ADDRESS_BYTES address_bytes
279
280 static inline int
281 address_bytes (void)
282 {
283   /* Choose smallest of 1, 2, 4, 8 bytes that is large enough to
284      contain an address.  */
285   int n = (stdoutput->arch_info->bits_per_address - 1) / 8;
286   n |= n >> 1;
287   n |= n >> 2;
288   n += 1;
289   return n;
290 }
291 #endif
292
293 /* Set up pseudo-op tables.  */
294
295 static struct hash_control *po_hash;
296
297 static const pseudo_typeS potable[] = {
298   {"abort", s_abort, 0},
299   {"align", s_align_ptwo, 0},
300   {"altmacro", s_altmacro, 1},
301   {"ascii", stringer, 8+0},
302   {"asciz", stringer, 8+1},
303   {"balign", s_align_bytes, 0},
304   {"balignw", s_align_bytes, -2},
305   {"balignl", s_align_bytes, -4},
306 /* block  */
307 #ifdef HANDLE_BUNDLE
308   {"bundle_align_mode", s_bundle_align_mode, 0},
309   {"bundle_lock", s_bundle_lock, 0},
310   {"bundle_unlock", s_bundle_unlock, 0},
311 #endif
312   {"byte", cons, 1},
313   {"comm", s_comm, 0},
314   {"common", s_mri_common, 0},
315   {"common.s", s_mri_common, 1},
316   {"data", s_data, 0},
317   {"dc", cons, 2},
318 #ifdef TC_ADDRESS_BYTES
319   {"dc.a", cons, 0},
320 #endif
321   {"dc.b", cons, 1},
322   {"dc.d", float_cons, 'd'},
323   {"dc.l", cons, 4},
324   {"dc.s", float_cons, 'f'},
325   {"dc.w", cons, 2},
326   {"dc.x", float_cons, 'x'},
327   {"dcb", s_space, 2},
328   {"dcb.b", s_space, 1},
329   {"dcb.d", s_float_space, 'd'},
330   {"dcb.l", s_space, 4},
331   {"dcb.s", s_float_space, 'f'},
332   {"dcb.w", s_space, 2},
333   {"dcb.x", s_float_space, 'x'},
334   {"ds", s_space, 2},
335   {"ds.b", s_space, 1},
336   {"ds.d", s_space, 8},
337   {"ds.l", s_space, 4},
338   {"ds.p", s_space, 12},
339   {"ds.s", s_space, 4},
340   {"ds.w", s_space, 2},
341   {"ds.x", s_space, 12},
342   {"debug", s_ignore, 0},
343 #ifdef S_SET_DESC
344   {"desc", s_desc, 0},
345 #endif
346 /* dim  */
347   {"double", float_cons, 'd'},
348 /* dsect  */
349   {"eject", listing_eject, 0},  /* Formfeed listing.  */
350   {"else", s_else, 0},
351   {"elsec", s_else, 0},
352   {"elseif", s_elseif, (int) O_ne},
353   {"end", s_end, 0},
354   {"endc", s_endif, 0},
355   {"endfunc", s_func, 1},
356   {"endif", s_endif, 0},
357   {"endm", s_bad_end, 0},
358   {"endr", s_bad_end, 1},
359 /* endef  */
360   {"equ", s_set, 0},
361   {"equiv", s_set, 1},
362   {"eqv", s_set, -1},
363   {"err", s_err, 0},
364   {"error", s_errwarn, 1},
365   {"exitm", s_mexit, 0},
366 /* extend  */
367   {"extern", s_ignore, 0},      /* We treat all undef as ext.  */
368   {"appfile", s_app_file, 1},
369   {"appline", s_app_line, 1},
370   {"fail", s_fail, 0},
371   {"file", s_app_file, 0},
372   {"fill", s_fill, 0},
373   {"float", float_cons, 'f'},
374   {"format", s_ignore, 0},
375   {"func", s_func, 0},
376   {"global", s_globl, 0},
377   {"globl", s_globl, 0},
378   {"hword", cons, 2},
379   {"if", s_if, (int) O_ne},
380   {"ifb", s_ifb, 1},
381   {"ifc", s_ifc, 0},
382   {"ifdef", s_ifdef, 0},
383   {"ifeq", s_if, (int) O_eq},
384   {"ifeqs", s_ifeqs, 0},
385   {"ifge", s_if, (int) O_ge},
386   {"ifgt", s_if, (int) O_gt},
387   {"ifle", s_if, (int) O_le},
388   {"iflt", s_if, (int) O_lt},
389   {"ifnb", s_ifb, 0},
390   {"ifnc", s_ifc, 1},
391   {"ifndef", s_ifdef, 1},
392   {"ifne", s_if, (int) O_ne},
393   {"ifnes", s_ifeqs, 1},
394   {"ifnotdef", s_ifdef, 1},
395   {"incbin", s_incbin, 0},
396   {"include", s_include, 0},
397   {"int", cons, 4},
398   {"irp", s_irp, 0},
399   {"irep", s_irp, 0},
400   {"irpc", s_irp, 1},
401   {"irepc", s_irp, 1},
402   {"lcomm", s_lcomm, 0},
403   {"lflags", s_ignore, 0},      /* Listing flags.  */
404   {"linefile", s_app_line, 0},
405   {"linkonce", s_linkonce, 0},
406   {"list", listing_list, 1},    /* Turn listing on.  */
407   {"llen", listing_psize, 1},
408   {"long", cons, 4},
409   {"lsym", s_lsym, 0},
410   {"macro", s_macro, 0},
411   {"mexit", s_mexit, 0},
412   {"mri", s_mri, 0},
413   {".mri", s_mri, 0},   /* Special case so .mri works in MRI mode.  */
414   {"name", s_ignore, 0},
415   {"noaltmacro", s_altmacro, 0},
416   {"noformat", s_ignore, 0},
417   {"nolist", listing_list, 0},  /* Turn listing off.  */
418   {"nopage", listing_nopage, 0},
419   {"octa", cons, 16},
420   {"offset", s_struct, 0},
421   {"org", s_org, 0},
422   {"p2align", s_align_ptwo, 0},
423   {"p2alignw", s_align_ptwo, -2},
424   {"p2alignl", s_align_ptwo, -4},
425   {"page", listing_eject, 0},
426   {"plen", listing_psize, 0},
427   {"print", s_print, 0},
428   {"psize", listing_psize, 0},  /* Set paper size.  */
429   {"purgem", s_purgem, 0},
430   {"quad", cons, 8},
431   {"reloc", s_reloc, 0},
432   {"rep", s_rept, 0},
433   {"rept", s_rept, 0},
434   {"rva", s_rva, 4},
435   {"sbttl", listing_title, 1},  /* Subtitle of listing.  */
436 /* scl  */
437 /* sect  */
438   {"set", s_set, 0},
439   {"short", cons, 2},
440   {"single", float_cons, 'f'},
441 /* size  */
442   {"space", s_space, 0},
443   {"skip", s_space, 0},
444   {"sleb128", s_leb128, 1},
445   {"spc", s_ignore, 0},
446   {"stabd", s_stab, 'd'},
447   {"stabn", s_stab, 'n'},
448   {"stabs", s_stab, 's'},
449   {"string", stringer, 8+1},
450   {"string8", stringer, 8+1},
451   {"string16", stringer, 16+1},
452   {"string32", stringer, 32+1},
453   {"string64", stringer, 64+1},
454   {"struct", s_struct, 0},
455 /* tag  */
456   {"text", s_text, 0},
457
458   /* This is for gcc to use.  It's only just been added (2/94), so gcc
459      won't be able to use it for a while -- probably a year or more.
460      But once this has been released, check with gcc maintainers
461      before deleting it or even changing the spelling.  */
462   {"this_GCC_requires_the_GNU_assembler", s_ignore, 0},
463   /* If we're folding case -- done for some targets, not necessarily
464      all -- the above string in an input file will be converted to
465      this one.  Match it either way...  */
466   {"this_gcc_requires_the_gnu_assembler", s_ignore, 0},
467
468   {"title", listing_title, 0},  /* Listing title.  */
469   {"ttl", listing_title, 0},
470 /* type  */
471   {"uleb128", s_leb128, 0},
472 /* use  */
473 /* val  */
474   {"xcom", s_comm, 0},
475   {"xdef", s_globl, 0},
476   {"xref", s_ignore, 0},
477   {"xstabs", s_xstab, 's'},
478   {"warning", s_errwarn, 0},
479   {"weakref", s_weakref, 0},
480   {"word", cons, 2},
481   {"zero", s_space, 0},
482   {NULL, NULL, 0}                       /* End sentinel.  */
483 };
484
485 static offsetT
486 get_absolute_expr (expressionS *exp)
487 {
488   expression_and_evaluate (exp);
489   if (exp->X_op != O_constant)
490     {
491       if (exp->X_op != O_absent)
492         as_bad (_("bad or irreducible absolute expression"));
493       exp->X_add_number = 0;
494     }
495   return exp->X_add_number;
496 }
497
498 offsetT
499 get_absolute_expression (void)
500 {
501   expressionS exp;
502
503   return get_absolute_expr (&exp);
504 }
505
506 static int pop_override_ok = 0;
507 static const char *pop_table_name;
508
509 void
510 pop_insert (const pseudo_typeS *table)
511 {
512   const char *errtxt;
513   const pseudo_typeS *pop;
514   for (pop = table; pop->poc_name; pop++)
515     {
516       errtxt = hash_insert (po_hash, pop->poc_name, (char *) pop);
517       if (errtxt && (!pop_override_ok || strcmp (errtxt, "exists")))
518         as_fatal (_("error constructing %s pseudo-op table: %s"), pop_table_name,
519                   errtxt);
520     }
521 }
522
523 #ifndef md_pop_insert
524 #define md_pop_insert()         pop_insert(md_pseudo_table)
525 #endif
526
527 #ifndef obj_pop_insert
528 #define obj_pop_insert()        pop_insert(obj_pseudo_table)
529 #endif
530
531 #ifndef cfi_pop_insert
532 #define cfi_pop_insert()        pop_insert(cfi_pseudo_table)
533 #endif
534
535 static void
536 pobegin (void)
537 {
538   po_hash = hash_new ();
539
540   /* Do the target-specific pseudo ops.  */
541   pop_table_name = "md";
542   md_pop_insert ();
543
544   /* Now object specific.  Skip any that were in the target table.  */
545   pop_table_name = "obj";
546   pop_override_ok = 1;
547   obj_pop_insert ();
548
549   /* Now portable ones.  Skip any that we've seen already.  */
550   pop_table_name = "standard";
551   pop_insert (potable);
552
553   /* Now CFI ones.  */
554   pop_table_name = "cfi";
555   pop_override_ok = 1;
556   cfi_pop_insert ();
557 }
558 \f
559 #define HANDLE_CONDITIONAL_ASSEMBLY()                                   \
560   if (ignore_input ())                                                  \
561     {                                                                   \
562       char *eol = find_end_of_line (input_line_pointer, flag_m68k_mri); \
563       input_line_pointer = (input_line_pointer <= buffer_limit          \
564                             && eol >= buffer_limit)                     \
565                            ? buffer_limit                               \
566                            : eol + 1;                                   \
567       continue;                                                         \
568     }
569
570 /* This function is used when scrubbing the characters between #APP
571    and #NO_APP.  */
572
573 static char *scrub_string;
574 static char *scrub_string_end;
575
576 static size_t
577 scrub_from_string (char *buf, size_t buflen)
578 {
579   size_t copy;
580
581   copy = scrub_string_end - scrub_string;
582   if (copy > buflen)
583     copy = buflen;
584   memcpy (buf, scrub_string, copy);
585   scrub_string += copy;
586   return copy;
587 }
588
589 /* Helper function of read_a_source_file, which tries to expand a macro.  */
590 static int
591 try_macro (char term, const char *line)
592 {
593   sb out;
594   const char *err;
595   macro_entry *macro;
596
597   if (check_macro (line, &out, &err, &macro))
598     {
599       if (err != NULL)
600         as_bad ("%s", err);
601       *input_line_pointer++ = term;
602       input_scrub_include_sb (&out,
603                               input_line_pointer, 1);
604       sb_kill (&out);
605       buffer_limit =
606         input_scrub_next_buffer (&input_line_pointer);
607 #ifdef md_macro_info
608       md_macro_info (macro);
609 #endif
610       return 1;
611     }
612   return 0;
613 }
614
615 #ifdef HANDLE_BUNDLE
616 /* Start a new instruction bundle.  Returns the rs_align_code frag that
617    will be used to align the new bundle.  */
618 static fragS *
619 start_bundle (void)
620 {
621   fragS *frag = frag_now;
622
623   frag_align_code (0, 0);
624
625   while (frag->fr_type != rs_align_code)
626     frag = frag->fr_next;
627
628   gas_assert (frag != frag_now);
629
630   return frag;
631 }
632
633 /* Calculate the maximum size after relaxation of the region starting
634    at the given frag and extending through frag_now (which is unfinished).  */
635 static unsigned int
636 pending_bundle_size (fragS *frag)
637 {
638   unsigned int offset = frag->fr_fix;
639   unsigned int size = 0;
640
641   gas_assert (frag != frag_now);
642   gas_assert (frag->fr_type == rs_align_code);
643
644   while (frag != frag_now)
645     {
646       /* This should only happen in what will later become an error case.  */
647       if (frag == NULL)
648         return 0;
649
650       size += frag->fr_fix;
651       if (frag->fr_type == rs_machine_dependent)
652         size += md_frag_max_var (frag);
653
654       frag = frag->fr_next;
655     }
656
657   gas_assert (frag == frag_now);
658   size += frag_now_fix ();
659   if (frag->fr_type == rs_machine_dependent)
660     size += md_frag_max_var (frag);
661
662   gas_assert (size >= offset);
663
664   return size - offset;
665 }
666
667 /* Finish off the frag created to ensure bundle alignment.  */
668 static void
669 finish_bundle (fragS *frag, unsigned int size)
670 {
671   gas_assert (bundle_align_p2 > 0);
672   gas_assert (frag->fr_type == rs_align_code);
673
674   if (size > 1)
675     {
676       /* If there is more than a single byte, then we need to set up the
677          alignment frag.  Otherwise we leave it at its initial state from
678          calling frag_align_code (0, 0), so that it does nothing.  */
679       frag->fr_offset = bundle_align_p2;
680       frag->fr_subtype = size - 1;
681     }
682
683   /* We do this every time rather than just in s_bundle_align_mode
684      so that we catch any affected section without needing hooks all
685      over for all paths that do section changes.  It's cheap enough.  */
686   record_alignment (now_seg, bundle_align_p2 - OCTETS_PER_BYTE_POWER);
687 }
688
689 /* Assemble one instruction.  This takes care of the bundle features
690    around calling md_assemble.  */
691 static void
692 assemble_one (char *line)
693 {
694   fragS *insn_start_frag = NULL;
695
696   if (bundle_lock_frchain != NULL && bundle_lock_frchain != frchain_now)
697     {
698       as_bad (_("cannot change section or subsection inside .bundle_lock"));
699       /* Clearing this serves as a marker that we have already complained.  */
700       bundle_lock_frchain = NULL;
701     }
702
703   if (bundle_lock_frchain == NULL && bundle_align_p2 > 0)
704     insn_start_frag = start_bundle ();
705
706   md_assemble (line);
707
708   if (bundle_lock_frchain != NULL)
709     {
710       /* Make sure this hasn't pushed the locked sequence
711          past the bundle size.  */
712       unsigned int bundle_size = pending_bundle_size (bundle_lock_frag);
713       if (bundle_size > (1U << bundle_align_p2))
714         as_bad (_("\
715 .bundle_lock sequence at %u bytes but .bundle_align_mode limit is %u bytes"),
716                 bundle_size, 1U << bundle_align_p2);
717     }
718   else if (bundle_align_p2 > 0)
719     {
720       unsigned int insn_size = pending_bundle_size (insn_start_frag);
721
722       if (insn_size > (1U << bundle_align_p2))
723         as_bad (_("\
724 single instruction is %u bytes long but .bundle_align_mode limit is %u"),
725                 (unsigned int) insn_size, 1U << bundle_align_p2);
726
727       finish_bundle (insn_start_frag, insn_size);
728     }
729 }
730
731 #else  /* !HANDLE_BUNDLE */
732
733 # define assemble_one(line) md_assemble(line)
734
735 #endif  /* HANDLE_BUNDLE */
736
737 /* We read the file, putting things into a web that represents what we
738    have been reading.  */
739 void
740 read_a_source_file (char *name)
741 {
742   char c;
743   char *s;              /* String of symbol, '\0' appended.  */
744   int temp;
745   pseudo_typeS *pop;
746
747 #ifdef WARN_COMMENTS
748   found_comment = 0;
749 #endif
750
751   buffer = input_scrub_new_file (name);
752
753   listing_file (name);
754   listing_newline (NULL);
755   register_dependency (name);
756
757   /* Generate debugging information before we've read anything in to denote
758      this file as the "main" source file and not a subordinate one
759      (e.g. N_SO vs N_SOL in stabs).  */
760   generate_file_debug ();
761
762   while ((buffer_limit = input_scrub_next_buffer (&input_line_pointer)) != 0)
763     {                           /* We have another line to parse.  */
764 #ifndef NO_LISTING
765       /* In order to avoid listing macro expansion lines with labels
766          multiple times, keep track of which line was last issued.  */
767       static char *last_eol;
768
769       last_eol = NULL;
770 #endif
771       while (input_line_pointer < buffer_limit)
772         {
773           bfd_boolean was_new_line;
774           /* We have more of this buffer to parse.  */
775
776           /* We now have input_line_pointer->1st char of next line.
777              If input_line_pointer [-1] == '\n' then we just
778              scanned another line: so bump line counters.  */
779           was_new_line = is_end_of_line[(unsigned char) input_line_pointer[-1]];
780           if (was_new_line)
781             {
782               symbol_set_value_now (&dot_symbol);
783 #ifdef md_start_line_hook
784               md_start_line_hook ();
785 #endif
786               if (input_line_pointer[-1] == '\n')
787                 bump_line_counters ();
788             }
789
790 #ifndef NO_LISTING
791           /* If listing is on, and we are expanding a macro, then give
792              the listing code the contents of the expanded line.  */
793           if (listing)
794             {
795               if ((listing & LISTING_MACEXP) && macro_nest > 0)
796                 {
797                   /* Find the end of the current expanded macro line.  */
798                   s = find_end_of_line (input_line_pointer, flag_m68k_mri);
799
800                   if (s != last_eol)
801                     {
802                       char *copy;
803                       int len;
804
805                       last_eol = s;
806                       /* Copy it for safe keeping.  Also give an indication of
807                          how much macro nesting is involved at this point.  */
808                       len = s - input_line_pointer;
809                       copy = (char *) xmalloc (len + macro_nest + 2);
810                       memset (copy, '>', macro_nest);
811                       copy[macro_nest] = ' ';
812                       memcpy (copy + macro_nest + 1, input_line_pointer, len);
813                       copy[macro_nest + 1 + len] = '\0';
814
815                       /* Install the line with the listing facility.  */
816                       listing_newline (copy);
817                     }
818                 }
819               else
820                 listing_newline (NULL);
821             }
822 #endif
823           if (was_new_line)
824             {
825               line_label = NULL;
826
827               if (LABELS_WITHOUT_COLONS || flag_m68k_mri)
828                 {
829                   /* Text at the start of a line must be a label, we
830                      run down and stick a colon in.  */
831                   if (is_name_beginner (*input_line_pointer))
832                     {
833                       char *line_start = input_line_pointer;
834                       int mri_line_macro;
835
836                       HANDLE_CONDITIONAL_ASSEMBLY ();
837
838                       c = get_symbol_end ();
839
840                       /* In MRI mode, the EQU and MACRO pseudoops must
841                          be handled specially.  */
842                       mri_line_macro = 0;
843                       if (flag_m68k_mri)
844                         {
845                           char *rest = input_line_pointer + 1;
846
847                           if (*rest == ':')
848                             ++rest;
849                           if (*rest == ' ' || *rest == '\t')
850                             ++rest;
851                           if ((strncasecmp (rest, "EQU", 3) == 0
852                                || strncasecmp (rest, "SET", 3) == 0)
853                               && (rest[3] == ' ' || rest[3] == '\t'))
854                             {
855                               input_line_pointer = rest + 3;
856                               equals (line_start,
857                                       strncasecmp (rest, "SET", 3) == 0);
858                               continue;
859                             }
860                           if (strncasecmp (rest, "MACRO", 5) == 0
861                               && (rest[5] == ' '
862                                   || rest[5] == '\t'
863                                   || is_end_of_line[(unsigned char) rest[5]]))
864                             mri_line_macro = 1;
865                         }
866
867                       /* In MRI mode, we need to handle the MACRO
868                          pseudo-op specially: we don't want to put the
869                          symbol in the symbol table.  */
870                       if (!mri_line_macro
871 #ifdef TC_START_LABEL_WITHOUT_COLON
872                           && TC_START_LABEL_WITHOUT_COLON(c,
873                                                           input_line_pointer)
874 #endif
875                           )
876                         line_label = colon (line_start);
877                       else
878                         line_label = symbol_create (line_start,
879                                                     absolute_section,
880                                                     (valueT) 0,
881                                                     &zero_address_frag);
882
883                       *input_line_pointer = c;
884                       if (c == ':')
885                         input_line_pointer++;
886                     }
887                 }
888             }
889
890           /* We are at the beginning of a line, or similar place.
891              We expect a well-formed assembler statement.
892              A "symbol-name:" is a statement.
893
894              Depending on what compiler is used, the order of these tests
895              may vary to catch most common case 1st.
896              Each test is independent of all other tests at the (top)
897              level.  */
898           do
899             c = *input_line_pointer++;
900           while (c == '\t' || c == ' ' || c == '\f');
901
902           /* C is the 1st significant character.
903              Input_line_pointer points after that character.  */
904           if (is_name_beginner (c))
905             {
906               /* Want user-defined label or pseudo/opcode.  */
907               HANDLE_CONDITIONAL_ASSEMBLY ();
908
909               s = --input_line_pointer;
910               c = get_symbol_end ();    /* name's delimiter.  */
911
912               /* C is character after symbol.
913                  That character's place in the input line is now '\0'.
914                  S points to the beginning of the symbol.
915                    [In case of pseudo-op, s->'.'.]
916                  Input_line_pointer->'\0' where c was.  */
917               if (TC_START_LABEL (c, s, input_line_pointer))
918                 {
919                   if (flag_m68k_mri)
920                     {
921                       char *rest = input_line_pointer + 1;
922
923                       /* In MRI mode, \tsym: set 0 is permitted.  */
924                       if (*rest == ':')
925                         ++rest;
926
927                       if (*rest == ' ' || *rest == '\t')
928                         ++rest;
929
930                       if ((strncasecmp (rest, "EQU", 3) == 0
931                            || strncasecmp (rest, "SET", 3) == 0)
932                           && (rest[3] == ' ' || rest[3] == '\t'))
933                         {
934                           input_line_pointer = rest + 3;
935                           equals (s, 1);
936                           continue;
937                         }
938                     }
939
940                   line_label = colon (s);       /* User-defined label.  */
941                   /* Put ':' back for error messages' sake.  */
942                   *input_line_pointer++ = ':';
943 #ifdef tc_check_label
944                   tc_check_label (line_label);
945 #endif
946                   /* Input_line_pointer->after ':'.  */
947                   SKIP_WHITESPACE ();
948                 }
949               else if ((c == '=' && input_line_pointer[1] == '=')
950                        || ((c == ' ' || c == '\t')
951                            && input_line_pointer[1] == '='
952                            && input_line_pointer[2] == '='))
953                 {
954                   equals (s, -1);
955                   demand_empty_rest_of_line ();
956                 }
957               else if ((c == '='
958                        || ((c == ' ' || c == '\t')
959                             && input_line_pointer[1] == '='))
960 #ifdef TC_EQUAL_IN_INSN
961                            && !TC_EQUAL_IN_INSN (c, s)
962 #endif
963                            )
964                 {
965                   equals (s, 1);
966                   demand_empty_rest_of_line ();
967                 }
968               else
969                 {
970                   /* Expect pseudo-op or machine instruction.  */
971                   pop = NULL;
972
973 #ifndef TC_CASE_SENSITIVE
974                   {
975                     char *s2 = s;
976
977                     strncpy (original_case_string, s2, sizeof (original_case_string));
978                     original_case_string[sizeof (original_case_string) - 1] = 0;
979
980                     while (*s2)
981                       {
982                         *s2 = TOLOWER (*s2);
983                         s2++;
984                       }
985                   }
986 #endif
987                   if (NO_PSEUDO_DOT || flag_m68k_mri)
988                     {
989                       /* The MRI assembler uses pseudo-ops without
990                          a period.  */
991                       pop = (pseudo_typeS *) hash_find (po_hash, s);
992                       if (pop != NULL && pop->poc_handler == NULL)
993                         pop = NULL;
994                     }
995
996                   if (pop != NULL
997                       || (!flag_m68k_mri && *s == '.'))
998                     {
999                       /* PSEUDO - OP.
1000
1001                          WARNING: c has next char, which may be end-of-line.
1002                          We lookup the pseudo-op table with s+1 because we
1003                          already know that the pseudo-op begins with a '.'.  */
1004
1005                       if (pop == NULL)
1006                         pop = (pseudo_typeS *) hash_find (po_hash, s + 1);
1007                       if (pop && !pop->poc_handler)
1008                         pop = NULL;
1009
1010                       /* In MRI mode, we may need to insert an
1011                          automatic alignment directive.  What a hack
1012                          this is.  */
1013                       if (mri_pending_align
1014                           && (pop == NULL
1015                               || !((pop->poc_handler == cons
1016                                     && pop->poc_val == 1)
1017                                    || (pop->poc_handler == s_space
1018                                        && pop->poc_val == 1)
1019 #ifdef tc_conditional_pseudoop
1020                                    || tc_conditional_pseudoop (pop)
1021 #endif
1022                                    || pop->poc_handler == s_if
1023                                    || pop->poc_handler == s_ifdef
1024                                    || pop->poc_handler == s_ifc
1025                                    || pop->poc_handler == s_ifeqs
1026                                    || pop->poc_handler == s_else
1027                                    || pop->poc_handler == s_endif
1028                                    || pop->poc_handler == s_globl
1029                                    || pop->poc_handler == s_ignore)))
1030                         {
1031                           do_align (1, (char *) NULL, 0, 0);
1032                           mri_pending_align = 0;
1033
1034                           if (line_label != NULL)
1035                             {
1036                               symbol_set_frag (line_label, frag_now);
1037                               S_SET_VALUE (line_label, frag_now_fix ());
1038                             }
1039                         }
1040
1041                       /* Print the error msg now, while we still can.  */
1042                       if (pop == NULL)
1043                         {
1044                           char *end = input_line_pointer;
1045
1046                           *input_line_pointer = c;
1047                           s_ignore (0);
1048                           c = *--input_line_pointer;
1049                           *input_line_pointer = '\0';
1050                           if (! macro_defined || ! try_macro (c, s))
1051                             {
1052                               *end = '\0';
1053                               as_bad (_("unknown pseudo-op: `%s'"), s);
1054                               *input_line_pointer++ = c;
1055                             }
1056                           continue;
1057                         }
1058
1059                       /* Put it back for error messages etc.  */
1060                       *input_line_pointer = c;
1061                       /* The following skip of whitespace is compulsory.
1062                          A well shaped space is sometimes all that separates
1063                          keyword from operands.  */
1064                       if (c == ' ' || c == '\t')
1065                         input_line_pointer++;
1066
1067                       /* Input_line is restored.
1068                          Input_line_pointer->1st non-blank char
1069                          after pseudo-operation.  */
1070                       (*pop->poc_handler) (pop->poc_val);
1071
1072                       /* If that was .end, just get out now.  */
1073                       if (pop->poc_handler == s_end)
1074                         goto quit;
1075                     }
1076                   else
1077                     {
1078                       /* WARNING: c has char, which may be end-of-line.  */
1079                       /* Also: input_line_pointer->`\0` where c was.  */
1080                       *input_line_pointer = c;
1081                       input_line_pointer = _find_end_of_line (input_line_pointer, flag_m68k_mri, 1, 0);
1082                       c = *input_line_pointer;
1083                       *input_line_pointer = '\0';
1084
1085                       generate_lineno_debug ();
1086
1087                       if (macro_defined && try_macro (c, s))
1088                         continue;
1089
1090                       if (mri_pending_align)
1091                         {
1092                           do_align (1, (char *) NULL, 0, 0);
1093                           mri_pending_align = 0;
1094                           if (line_label != NULL)
1095                             {
1096                               symbol_set_frag (line_label, frag_now);
1097                               S_SET_VALUE (line_label, frag_now_fix ());
1098                             }
1099                         }
1100
1101                       assemble_one (s); /* Assemble 1 instruction.  */
1102
1103                       *input_line_pointer++ = c;
1104
1105                       /* We resume loop AFTER the end-of-line from
1106                          this instruction.  */
1107                     }
1108                 }
1109               continue;
1110             }
1111
1112           /* Empty statement?  */
1113           if (is_end_of_line[(unsigned char) c])
1114             continue;
1115
1116           if ((LOCAL_LABELS_DOLLAR || LOCAL_LABELS_FB) && ISDIGIT (c))
1117             {
1118               /* local label  ("4:")  */
1119               char *backup = input_line_pointer;
1120
1121               HANDLE_CONDITIONAL_ASSEMBLY ();
1122
1123               temp = c - '0';
1124
1125               /* Read the whole number.  */
1126               while (ISDIGIT (*input_line_pointer))
1127                 {
1128                   temp = (temp * 10) + *input_line_pointer - '0';
1129                   ++input_line_pointer;
1130                 }
1131
1132               if (LOCAL_LABELS_DOLLAR
1133                   && *input_line_pointer == '$'
1134                   && *(input_line_pointer + 1) == ':')
1135                 {
1136                   input_line_pointer += 2;
1137
1138                   if (dollar_label_defined (temp))
1139                     {
1140                       as_fatal (_("label \"%d$\" redefined"), temp);
1141                     }
1142
1143                   define_dollar_label (temp);
1144                   colon (dollar_label_name (temp, 0));
1145                   continue;
1146                 }
1147
1148               if (LOCAL_LABELS_FB
1149                   && *input_line_pointer++ == ':')
1150                 {
1151                   fb_label_instance_inc (temp);
1152                   colon (fb_label_name (temp, 0));
1153                   continue;
1154                 }
1155
1156               input_line_pointer = backup;
1157             }                   /* local label  ("4:") */
1158
1159           if (c && strchr (line_comment_chars, c))
1160             {                   /* Its a comment.  Better say APP or NO_APP.  */
1161               sb sbuf;
1162               char *ends;
1163               char *new_buf;
1164               char *new_tmp;
1165               unsigned int new_length;
1166               char *tmp_buf = 0;
1167
1168               s = input_line_pointer;
1169               if (strncmp (s, "APP\n", 4))
1170                 {
1171                   /* We ignore it.  */
1172                   ignore_rest_of_line ();
1173                   continue;
1174                 }
1175               bump_line_counters ();
1176               s += 4;
1177
1178               ends = strstr (s, "#NO_APP\n");
1179
1180               if (!ends)
1181                 {
1182                   unsigned int tmp_len;
1183                   unsigned int num;
1184
1185                   /* The end of the #APP wasn't in this buffer.  We
1186                      keep reading in buffers until we find the #NO_APP
1187                      that goes with this #APP  There is one.  The specs
1188                      guarantee it...  */
1189                   tmp_len = buffer_limit - s;
1190                   tmp_buf = (char *) xmalloc (tmp_len + 1);
1191                   memcpy (tmp_buf, s, tmp_len);
1192                   do
1193                     {
1194                       new_tmp = input_scrub_next_buffer (&buffer);
1195                       if (!new_tmp)
1196                         break;
1197                       else
1198                         buffer_limit = new_tmp;
1199                       input_line_pointer = buffer;
1200                       ends = strstr (buffer, "#NO_APP\n");
1201                       if (ends)
1202                         num = ends - buffer;
1203                       else
1204                         num = buffer_limit - buffer;
1205
1206                       tmp_buf = (char *) xrealloc (tmp_buf, tmp_len + num);
1207                       memcpy (tmp_buf + tmp_len, buffer, num);
1208                       tmp_len += num;
1209                     }
1210                   while (!ends);
1211
1212                   input_line_pointer = ends ? ends + 8 : NULL;
1213
1214                   s = tmp_buf;
1215                   ends = s + tmp_len;
1216
1217                 }
1218               else
1219                 {
1220                   input_line_pointer = ends + 8;
1221                 }
1222
1223               scrub_string = s;
1224               scrub_string_end = ends;
1225
1226               new_length = ends - s;
1227               new_buf = (char *) xmalloc (new_length);
1228               new_tmp = new_buf;
1229               for (;;)
1230                 {
1231                   size_t space;
1232                   size_t size;
1233
1234                   space = (new_buf + new_length) - new_tmp;
1235                   size = do_scrub_chars (scrub_from_string, new_tmp, space);
1236
1237                   if (size < space)
1238                     {
1239                       new_tmp[size] = 0;
1240                       break;
1241                     }
1242
1243                   new_buf = (char *) xrealloc (new_buf, new_length + 100);
1244                   new_tmp = new_buf + new_length;
1245                   new_length += 100;
1246                 }
1247
1248               if (tmp_buf)
1249                 free (tmp_buf);
1250
1251               /* We've "scrubbed" input to the preferred format.  In the
1252                  process we may have consumed the whole of the remaining
1253                  file (and included files).  We handle this formatted
1254                  input similar to that of macro expansion, letting
1255                  actual macro expansion (possibly nested) and other
1256                  input expansion work.  Beware that in messages, line
1257                  numbers and possibly file names will be incorrect.  */
1258               new_length = strlen (new_buf);
1259               sb_build (&sbuf, new_length);
1260               sb_add_buffer (&sbuf, new_buf, new_length);
1261               input_scrub_include_sb (&sbuf, input_line_pointer, 0);
1262               sb_kill (&sbuf);
1263               buffer_limit = input_scrub_next_buffer (&input_line_pointer);
1264               free (new_buf);
1265               continue;
1266             }
1267
1268           HANDLE_CONDITIONAL_ASSEMBLY ();
1269
1270 #ifdef tc_unrecognized_line
1271           if (tc_unrecognized_line (c))
1272             continue;
1273 #endif
1274           input_line_pointer--;
1275           /* Report unknown char as error.  */
1276           demand_empty_rest_of_line ();
1277         }
1278     }
1279
1280  quit:
1281   symbol_set_value_now (&dot_symbol);
1282
1283 #ifdef HANDLE_BUNDLE
1284   if (bundle_lock_frag != NULL)
1285     {
1286       as_bad_where (bundle_lock_frag->fr_file, bundle_lock_frag->fr_line,
1287                     _(".bundle_lock with no matching .bundle_unlock"));
1288       bundle_lock_frag = NULL;
1289       bundle_lock_frchain = NULL;
1290       bundle_lock_depth = 0;
1291     }
1292 #endif
1293
1294 #ifdef md_cleanup
1295   md_cleanup ();
1296 #endif
1297   /* Close the input file.  */
1298   input_scrub_close ();
1299 #ifdef WARN_COMMENTS
1300   {
1301     if (warn_comment && found_comment)
1302       as_warn_where (found_comment_file, found_comment,
1303                      "first comment found here");
1304   }
1305 #endif
1306 }
1307
1308 /* Convert O_constant expression EXP into the equivalent O_big representation.
1309    Take the sign of the number from X_unsigned rather than X_add_number.  */
1310
1311 static void
1312 convert_to_bignum (expressionS *exp)
1313 {
1314   valueT value;
1315   unsigned int i;
1316
1317   value = exp->X_add_number;
1318   for (i = 0; i < sizeof (exp->X_add_number) / CHARS_PER_LITTLENUM; i++)
1319     {
1320       generic_bignum[i] = value & LITTLENUM_MASK;
1321       value >>= LITTLENUM_NUMBER_OF_BITS;
1322     }
1323   /* Add a sequence of sign bits if the top bit of X_add_number is not
1324      the sign of the original value.  */
1325   if ((exp->X_add_number < 0) != !exp->X_unsigned)
1326     generic_bignum[i++] = exp->X_unsigned ? 0 : LITTLENUM_MASK;
1327   exp->X_op = O_big;
1328   exp->X_add_number = i;
1329 }
1330
1331 /* For most MRI pseudo-ops, the line actually ends at the first
1332    nonquoted space.  This function looks for that point, stuffs a null
1333    in, and sets *STOPCP to the character that used to be there, and
1334    returns the location.
1335
1336    Until I hear otherwise, I am going to assume that this is only true
1337    for the m68k MRI assembler.  */
1338
1339 char *
1340 mri_comment_field (char *stopcp)
1341 {
1342   char *s;
1343 #ifdef TC_M68K
1344   int inquote = 0;
1345
1346   know (flag_m68k_mri);
1347
1348   for (s = input_line_pointer;
1349        ((!is_end_of_line[(unsigned char) *s] && *s != ' ' && *s != '\t')
1350         || inquote);
1351        s++)
1352     {
1353       if (*s == '\'')
1354         inquote = !inquote;
1355     }
1356 #else
1357   for (s = input_line_pointer;
1358        !is_end_of_line[(unsigned char) *s];
1359        s++)
1360     ;
1361 #endif
1362   *stopcp = *s;
1363   *s = '\0';
1364
1365   return s;
1366 }
1367
1368 /* Skip to the end of an MRI comment field.  */
1369
1370 void
1371 mri_comment_end (char *stop, int stopc)
1372 {
1373   know (flag_mri);
1374
1375   input_line_pointer = stop;
1376   *stop = stopc;
1377   while (!is_end_of_line[(unsigned char) *input_line_pointer])
1378     ++input_line_pointer;
1379 }
1380
1381 void
1382 s_abort (int ignore ATTRIBUTE_UNUSED)
1383 {
1384   as_fatal (_(".abort detected.  Abandoning ship."));
1385 }
1386
1387 /* Guts of .align directive.  N is the power of two to which to align.
1388    FILL may be NULL, or it may point to the bytes of the fill pattern.
1389    LEN is the length of whatever FILL points to, if anything.  MAX is
1390    the maximum number of characters to skip when doing the alignment,
1391    or 0 if there is no maximum.  */
1392
1393 static void
1394 do_align (int n, char *fill, int len, int max)
1395 {
1396   if (now_seg == absolute_section)
1397     {
1398       if (fill != NULL)
1399         while (len-- > 0)
1400           if (*fill++ != '\0')
1401             {
1402               as_warn (_("ignoring fill value in absolute section"));
1403               break;
1404             }
1405       fill = NULL;
1406       len = 0;
1407     }
1408
1409 #ifdef md_flush_pending_output
1410   md_flush_pending_output ();
1411 #endif
1412 #ifdef md_do_align
1413   md_do_align (n, fill, len, max, just_record_alignment);
1414 #endif
1415
1416   /* Only make a frag if we HAVE to...  */
1417   if (n != 0 && !need_pass_2)
1418     {
1419       if (fill == NULL)
1420         {
1421           if (subseg_text_p (now_seg))
1422             frag_align_code (n, max);
1423           else
1424             frag_align (n, 0, max);
1425         }
1426       else if (len <= 1)
1427         frag_align (n, *fill, max);
1428       else
1429         frag_align_pattern (n, fill, len, max);
1430     }
1431
1432 #ifdef md_do_align
1433  just_record_alignment: ATTRIBUTE_UNUSED_LABEL
1434 #endif
1435
1436   record_alignment (now_seg, n - OCTETS_PER_BYTE_POWER);
1437 }
1438
1439 /* Handle the .align pseudo-op.  A positive ARG is a default alignment
1440    (in bytes).  A negative ARG is the negative of the length of the
1441    fill pattern.  BYTES_P is non-zero if the alignment value should be
1442    interpreted as the byte boundary, rather than the power of 2.  */
1443 #ifndef TC_ALIGN_LIMIT
1444 #define TC_ALIGN_LIMIT (stdoutput->arch_info->bits_per_address - 1)
1445 #endif
1446
1447 static void
1448 s_align (int arg, int bytes_p)
1449 {
1450   unsigned int align_limit = TC_ALIGN_LIMIT;
1451   unsigned int align;
1452   char *stop = NULL;
1453   char stopc = 0;
1454   offsetT fill = 0;
1455   int max;
1456   int fill_p;
1457
1458   if (flag_mri)
1459     stop = mri_comment_field (&stopc);
1460
1461   if (is_end_of_line[(unsigned char) *input_line_pointer])
1462     {
1463       if (arg < 0)
1464         align = 0;
1465       else
1466         align = arg;    /* Default value from pseudo-op table.  */
1467     }
1468   else
1469     {
1470       align = get_absolute_expression ();
1471       SKIP_WHITESPACE ();
1472     }
1473
1474   if (bytes_p)
1475     {
1476       /* Convert to a power of 2.  */
1477       if (align != 0)
1478         {
1479           unsigned int i;
1480
1481           for (i = 0; (align & 1) == 0; align >>= 1, ++i)
1482             ;
1483           if (align != 1)
1484             as_bad (_("alignment not a power of 2"));
1485
1486           align = i;
1487         }
1488     }
1489
1490   if (align > align_limit)
1491     {
1492       align = align_limit;
1493       as_warn (_("alignment too large: %u assumed"), align);
1494     }
1495
1496   if (*input_line_pointer != ',')
1497     {
1498       fill_p = 0;
1499       max = 0;
1500     }
1501   else
1502     {
1503       ++input_line_pointer;
1504       if (*input_line_pointer == ',')
1505         fill_p = 0;
1506       else
1507         {
1508           fill = get_absolute_expression ();
1509           SKIP_WHITESPACE ();
1510           fill_p = 1;
1511         }
1512
1513       if (*input_line_pointer != ',')
1514         max = 0;
1515       else
1516         {
1517           ++input_line_pointer;
1518           max = get_absolute_expression ();
1519         }
1520     }
1521
1522   if (!fill_p)
1523     {
1524       if (arg < 0)
1525         as_warn (_("expected fill pattern missing"));
1526       do_align (align, (char *) NULL, 0, max);
1527     }
1528   else
1529     {
1530       int fill_len;
1531
1532       if (arg >= 0)
1533         fill_len = 1;
1534       else
1535         fill_len = -arg;
1536       if (fill_len <= 1)
1537         {
1538           char fill_char;
1539
1540           fill_char = fill;
1541           do_align (align, &fill_char, fill_len, max);
1542         }
1543       else
1544         {
1545           char ab[16];
1546
1547           if ((size_t) fill_len > sizeof ab)
1548             abort ();
1549           md_number_to_chars (ab, fill, fill_len);
1550           do_align (align, ab, fill_len, max);
1551         }
1552     }
1553
1554   demand_empty_rest_of_line ();
1555
1556   if (flag_mri)
1557     mri_comment_end (stop, stopc);
1558 }
1559
1560 /* Handle the .align pseudo-op on machines where ".align 4" means
1561    align to a 4 byte boundary.  */
1562
1563 void
1564 s_align_bytes (int arg)
1565 {
1566   s_align (arg, 1);
1567 }
1568
1569 /* Handle the .align pseudo-op on machines where ".align 4" means align
1570    to a 2**4 boundary.  */
1571
1572 void
1573 s_align_ptwo (int arg)
1574 {
1575   s_align (arg, 0);
1576 }
1577
1578 /* Switch in and out of alternate macro mode.  */
1579
1580 void
1581 s_altmacro (int on)
1582 {
1583   demand_empty_rest_of_line ();
1584   macro_set_alternate (on);
1585 }
1586
1587 /* Read a symbol name from input_line_pointer.
1588
1589    Stores the symbol name in a buffer and returns a pointer to this buffer.
1590    The buffer is xalloc'ed.  It is the caller's responsibility to free
1591    this buffer.
1592
1593    The name is not left in the i_l_p buffer as it may need processing
1594    to handle escape characters.
1595
1596    Advances i_l_p to the next non-whitespace character.
1597
1598    If a symbol name could not be read, the routine issues an error
1599    messages, skips to the end of the line and returns NULL.  */
1600
1601 static char *
1602 read_symbol_name (void)
1603 {
1604   char * name;
1605   char * start;
1606   char c;
1607
1608   c = *input_line_pointer++;
1609
1610   if (c == '"')
1611     {
1612 #define SYM_NAME_CHUNK_LEN 128
1613       ptrdiff_t len = SYM_NAME_CHUNK_LEN;
1614       char * name_end;
1615       unsigned int C;
1616
1617       start = name = xmalloc (len + 1);
1618
1619       name_end = name + SYM_NAME_CHUNK_LEN;
1620
1621       while (is_a_char (C = next_char_of_string ()))
1622         {
1623           if (name >= name_end)
1624             {
1625               ptrdiff_t sofar;
1626
1627               sofar = name - start;
1628               len += SYM_NAME_CHUNK_LEN;
1629               start = xrealloc (start, len + 1);
1630               name_end = start + len;
1631               name = start + sofar;
1632             }
1633
1634           *name++ = (char) C;
1635         }
1636       *name = 0;
1637
1638       /* Since quoted symbol names can contain non-ASCII characters,
1639          check the string and warn if it cannot be recognised by the
1640          current character set.  */
1641       if (mbstowcs (NULL, name, len) == (size_t) -1)
1642         as_warn (_("symbol name not recognised in the current locale"));
1643     }
1644   else if (is_name_beginner (c) || c == '\001')
1645     {
1646       ptrdiff_t len;
1647
1648       name = input_line_pointer - 1;
1649
1650       /* We accept \001 in a name in case this is
1651          being called with a constructed string.  */
1652       while (is_part_of_name (c = *input_line_pointer++)
1653              || c == '\001')
1654         ;
1655
1656       len = (input_line_pointer - name) - 1;
1657       start = xmalloc (len + 1);
1658
1659       memcpy (start, name, len);
1660       start[len] = 0;
1661
1662       /* Skip a name ender char if one is present.  */
1663       if (! is_name_ender (c))
1664         --input_line_pointer;
1665     }
1666   else
1667     name = start = NULL;
1668
1669   if (name == start)
1670     {
1671       as_bad (_("expected symbol name"));
1672       ignore_rest_of_line ();
1673       return NULL;
1674     }
1675
1676   SKIP_WHITESPACE ();
1677
1678   return start;
1679 }
1680
1681
1682 symbolS *
1683 s_comm_internal (int param,
1684                  symbolS *(*comm_parse_extra) (int, symbolS *, addressT))
1685 {
1686   char *name;
1687   offsetT temp, size;
1688   symbolS *symbolP = NULL;
1689   char *stop = NULL;
1690   char stopc = 0;
1691   expressionS exp;
1692
1693   if (flag_mri)
1694     stop = mri_comment_field (&stopc);
1695
1696   if ((name = read_symbol_name ()) == NULL)
1697     goto out;
1698
1699   /* Accept an optional comma after the name.  The comma used to be
1700      required, but Irix 5 cc does not generate it for .lcomm.  */
1701   if (*input_line_pointer == ',')
1702     input_line_pointer++;
1703
1704   temp = get_absolute_expr (&exp);
1705   size = temp;
1706   size &= ((offsetT) 2 << (stdoutput->arch_info->bits_per_address - 1)) - 1;
1707   if (exp.X_op == O_absent)
1708     {
1709       as_bad (_("missing size expression"));
1710       ignore_rest_of_line ();
1711       goto out;
1712     }
1713   else if (temp != size || !exp.X_unsigned)
1714     {
1715       as_warn (_("size (%ld) out of range, ignored"), (long) temp);
1716       ignore_rest_of_line ();
1717       goto out;
1718     }
1719
1720   symbolP = symbol_find_or_make (name);
1721   if ((S_IS_DEFINED (symbolP) || symbol_equated_p (symbolP))
1722       && !S_IS_COMMON (symbolP))
1723     {
1724       if (!S_IS_VOLATILE (symbolP))
1725         {
1726           symbolP = NULL;
1727           as_bad (_("symbol `%s' is already defined"), name);
1728           ignore_rest_of_line ();
1729           goto out;
1730         }
1731       symbolP = symbol_clone (symbolP, 1);
1732       S_SET_SEGMENT (symbolP, undefined_section);
1733       S_SET_VALUE (symbolP, 0);
1734       symbol_set_frag (symbolP, &zero_address_frag);
1735       S_CLEAR_VOLATILE (symbolP);
1736     }
1737
1738   size = S_GET_VALUE (symbolP);
1739   if (size == 0)
1740     size = temp;
1741   else if (size != temp)
1742     as_warn (_("size of \"%s\" is already %ld; not changing to %ld"),
1743              name, (long) size, (long) temp);
1744
1745   if (comm_parse_extra != NULL)
1746     symbolP = (*comm_parse_extra) (param, symbolP, size);
1747   else
1748     {
1749       S_SET_VALUE (symbolP, (valueT) size);
1750       S_SET_EXTERNAL (symbolP);
1751       S_SET_SEGMENT (symbolP, bfd_com_section_ptr);
1752     }
1753
1754   demand_empty_rest_of_line ();
1755  out:
1756   if (flag_mri)
1757     mri_comment_end (stop, stopc);
1758   if (name != NULL)
1759     free (name);
1760   return symbolP;
1761 }
1762
1763 void
1764 s_comm (int ignore)
1765 {
1766   s_comm_internal (ignore, NULL);
1767 }
1768
1769 /* The MRI COMMON pseudo-op.  We handle this by creating a common
1770    symbol with the appropriate name.  We make s_space do the right
1771    thing by increasing the size.  */
1772
1773 void
1774 s_mri_common (int small ATTRIBUTE_UNUSED)
1775 {
1776   char *name;
1777   char c;
1778   char *alc = NULL;
1779   symbolS *sym;
1780   offsetT align;
1781   char *stop = NULL;
1782   char stopc = 0;
1783
1784   if (!flag_mri)
1785     {
1786       s_comm (0);
1787       return;
1788     }
1789
1790   stop = mri_comment_field (&stopc);
1791
1792   SKIP_WHITESPACE ();
1793
1794   name = input_line_pointer;
1795   if (!ISDIGIT (*name))
1796     c = get_symbol_end ();
1797   else
1798     {
1799       do
1800         {
1801           ++input_line_pointer;
1802         }
1803       while (ISDIGIT (*input_line_pointer));
1804
1805       c = *input_line_pointer;
1806       *input_line_pointer = '\0';
1807
1808       if (line_label != NULL)
1809         {
1810           alc = (char *) xmalloc (strlen (S_GET_NAME (line_label))
1811                                   + (input_line_pointer - name)
1812                                   + 1);
1813           sprintf (alc, "%s%s", name, S_GET_NAME (line_label));
1814           name = alc;
1815         }
1816     }
1817
1818   sym = symbol_find_or_make (name);
1819   *input_line_pointer = c;
1820   if (alc != NULL)
1821     free (alc);
1822
1823   if (*input_line_pointer != ',')
1824     align = 0;
1825   else
1826     {
1827       ++input_line_pointer;
1828       align = get_absolute_expression ();
1829     }
1830
1831   if (S_IS_DEFINED (sym) && !S_IS_COMMON (sym))
1832     {
1833       as_bad (_("symbol `%s' is already defined"), S_GET_NAME (sym));
1834       ignore_rest_of_line ();
1835       mri_comment_end (stop, stopc);
1836       return;
1837     }
1838
1839   S_SET_EXTERNAL (sym);
1840   S_SET_SEGMENT (sym, bfd_com_section_ptr);
1841   mri_common_symbol = sym;
1842
1843 #ifdef S_SET_ALIGN
1844   if (align != 0)
1845     S_SET_ALIGN (sym, align);
1846 #else
1847   (void) align;
1848 #endif
1849
1850   if (line_label != NULL)
1851     {
1852       expressionS exp;
1853       exp.X_op = O_symbol;
1854       exp.X_add_symbol = sym;
1855       exp.X_add_number = 0;
1856       symbol_set_value_expression (line_label, &exp);
1857       symbol_set_frag (line_label, &zero_address_frag);
1858       S_SET_SEGMENT (line_label, expr_section);
1859     }
1860
1861   /* FIXME: We just ignore the small argument, which distinguishes
1862      COMMON and COMMON.S.  I don't know what we can do about it.  */
1863
1864   /* Ignore the type and hptype.  */
1865   if (*input_line_pointer == ',')
1866     input_line_pointer += 2;
1867   if (*input_line_pointer == ',')
1868     input_line_pointer += 2;
1869
1870   demand_empty_rest_of_line ();
1871
1872   mri_comment_end (stop, stopc);
1873 }
1874
1875 void
1876 s_data (int ignore ATTRIBUTE_UNUSED)
1877 {
1878   segT section;
1879   int temp;
1880
1881   temp = get_absolute_expression ();
1882   if (flag_readonly_data_in_text)
1883     {
1884       section = text_section;
1885       temp += 1000;
1886     }
1887   else
1888     section = data_section;
1889
1890   subseg_set (section, (subsegT) temp);
1891
1892   demand_empty_rest_of_line ();
1893 }
1894
1895 /* Handle the .appfile pseudo-op.  This is automatically generated by
1896    do_scrub_chars when a preprocessor # line comment is seen with a
1897    file name.  This default definition may be overridden by the object
1898    or CPU specific pseudo-ops.  This function is also the default
1899    definition for .file; the APPFILE argument is 1 for .appfile, 0 for
1900    .file.  */
1901
1902 void
1903 s_app_file_string (char *file, int appfile ATTRIBUTE_UNUSED)
1904 {
1905 #ifdef LISTING
1906   if (listing)
1907     listing_source_file (file);
1908 #endif
1909   register_dependency (file);
1910 #ifdef obj_app_file
1911   obj_app_file (file, appfile);
1912 #endif
1913 }
1914
1915 void
1916 s_app_file (int appfile)
1917 {
1918   char *s;
1919   int length;
1920
1921   /* Some assemblers tolerate immediately following '"'.  */
1922   if ((s = demand_copy_string (&length)) != 0)
1923     {
1924       int may_omit
1925         = (!new_logical_line_flags (s, -1, 1) && appfile);
1926
1927       /* In MRI mode, the preprocessor may have inserted an extraneous
1928          backquote.  */
1929       if (flag_m68k_mri
1930           && *input_line_pointer == '\''
1931           && is_end_of_line[(unsigned char) input_line_pointer[1]])
1932         ++input_line_pointer;
1933
1934       demand_empty_rest_of_line ();
1935       if (!may_omit)
1936         s_app_file_string (s, appfile);
1937     }
1938 }
1939
1940 static int
1941 get_linefile_number (int *flag)
1942 {
1943   SKIP_WHITESPACE ();
1944
1945   if (*input_line_pointer < '0' || *input_line_pointer > '9')
1946     return 0;
1947
1948   *flag = get_absolute_expression ();
1949
1950   return 1;
1951 }
1952
1953 /* Handle the .appline pseudo-op.  This is automatically generated by
1954    do_scrub_chars when a preprocessor # line comment is seen.  This
1955    default definition may be overridden by the object or CPU specific
1956    pseudo-ops.  */
1957
1958 void
1959 s_app_line (int appline)
1960 {
1961   char *file = NULL;
1962   int l;
1963
1964   /* The given number is that of the next line.  */
1965   if (appline)
1966     l = get_absolute_expression ();
1967   else if (!get_linefile_number (&l))
1968     {
1969       ignore_rest_of_line ();
1970       return;
1971     }
1972
1973   l--;
1974
1975   if (l < -1)
1976     /* Some of the back ends can't deal with non-positive line numbers.
1977        Besides, it's silly.  GCC however will generate a line number of
1978        zero when it is pre-processing builtins for assembler-with-cpp files:
1979
1980           # 0 "<built-in>"
1981
1982        We do not want to barf on this, especially since such files are used
1983        in the GCC and GDB testsuites.  So we check for negative line numbers
1984        rather than non-positive line numbers.  */
1985     as_warn (_("line numbers must be positive; line number %d rejected"),
1986              l + 1);
1987   else
1988     {
1989       int flags = 0;
1990       int length = 0;
1991
1992       if (!appline)
1993         {
1994           SKIP_WHITESPACE ();
1995
1996           if (*input_line_pointer == '"')
1997             file = demand_copy_string (&length);
1998
1999           if (file)
2000             {
2001               int this_flag;
2002
2003               while (get_linefile_number (&this_flag))
2004                 switch (this_flag)
2005                   {
2006                     /* From GCC's cpp documentation:
2007                        1: start of a new file.
2008                        2: returning to a file after having included
2009                           another file.
2010                        3: following text comes from a system header file.
2011                        4: following text should be treated as extern "C".
2012
2013                        4 is nonsensical for the assembler; 3, we don't
2014                        care about, so we ignore it just in case a
2015                        system header file is included while
2016                        preprocessing assembly.  So 1 and 2 are all we
2017                        care about, and they are mutually incompatible.
2018                        new_logical_line_flags() demands this.  */
2019                   case 1:
2020                   case 2:
2021                     if (flags && flags != (1 << this_flag))
2022                       as_warn (_("incompatible flag %i in line directive"),
2023                                this_flag);
2024                     else
2025                       flags |= 1 << this_flag;
2026                     break;
2027
2028                   case 3:
2029                   case 4:
2030                     /* We ignore these.  */
2031                     break;
2032
2033                   default:
2034                     as_warn (_("unsupported flag %i in line directive"),
2035                              this_flag);
2036                     break;
2037                   }
2038
2039               if (!is_end_of_line[(unsigned char)*input_line_pointer])
2040                 file = 0;
2041             }
2042         }
2043
2044       if (appline || file)
2045         {
2046           new_logical_line_flags (file, l, flags);
2047 #ifdef LISTING
2048           if (listing)
2049             listing_source_line (l);
2050 #endif
2051         }
2052     }
2053   if (appline || file)
2054     demand_empty_rest_of_line ();
2055   else
2056     ignore_rest_of_line ();
2057 }
2058
2059 /* Handle the .end pseudo-op.  Actually, the real work is done in
2060    read_a_source_file.  */
2061
2062 void
2063 s_end (int ignore ATTRIBUTE_UNUSED)
2064 {
2065   if (flag_mri)
2066     {
2067       /* The MRI assembler permits the start symbol to follow .end,
2068          but we don't support that.  */
2069       SKIP_WHITESPACE ();
2070       if (!is_end_of_line[(unsigned char) *input_line_pointer]
2071           && *input_line_pointer != '*'
2072           && *input_line_pointer != '!')
2073         as_warn (_("start address not supported"));
2074     }
2075 }
2076
2077 /* Handle the .err pseudo-op.  */
2078
2079 void
2080 s_err (int ignore ATTRIBUTE_UNUSED)
2081 {
2082   as_bad (_(".err encountered"));
2083   demand_empty_rest_of_line ();
2084 }
2085
2086 /* Handle the .error and .warning pseudo-ops.  */
2087
2088 void
2089 s_errwarn (int err)
2090 {
2091   int len;
2092   /* The purpose for the conditional assignment is not to
2093      internationalize the directive itself, but that we need a
2094      self-contained message, one that can be passed like the
2095      demand_copy_C_string return value, and with no assumption on the
2096      location of the name of the directive within the message.  */
2097   char *msg
2098     = (err ? _(".error directive invoked in source file")
2099        : _(".warning directive invoked in source file"));
2100
2101   if (!is_it_end_of_statement ())
2102     {
2103       if (*input_line_pointer != '\"')
2104         {
2105           as_bad (_("%s argument must be a string"),
2106                   err ? ".error" : ".warning");
2107           ignore_rest_of_line ();
2108           return;
2109         }
2110
2111       msg = demand_copy_C_string (&len);
2112       if (msg == NULL)
2113         return;
2114     }
2115
2116   if (err)
2117     as_bad ("%s", msg);
2118   else
2119     as_warn ("%s", msg);
2120   demand_empty_rest_of_line ();
2121 }
2122
2123 /* Handle the MRI fail pseudo-op.  */
2124
2125 void
2126 s_fail (int ignore ATTRIBUTE_UNUSED)
2127 {
2128   offsetT temp;
2129   char *stop = NULL;
2130   char stopc = 0;
2131
2132   if (flag_mri)
2133     stop = mri_comment_field (&stopc);
2134
2135   temp = get_absolute_expression ();
2136   if (temp >= 500)
2137     as_warn (_(".fail %ld encountered"), (long) temp);
2138   else
2139     as_bad (_(".fail %ld encountered"), (long) temp);
2140
2141   demand_empty_rest_of_line ();
2142
2143   if (flag_mri)
2144     mri_comment_end (stop, stopc);
2145 }
2146
2147 void
2148 s_fill (int ignore ATTRIBUTE_UNUSED)
2149 {
2150   expressionS rep_exp;
2151   long size = 1;
2152   long fill = 0;
2153   char *p;
2154
2155 #ifdef md_flush_pending_output
2156   md_flush_pending_output ();
2157 #endif
2158
2159 #ifdef md_cons_align
2160   md_cons_align (1);
2161 #endif
2162
2163   get_known_segmented_expression (&rep_exp);
2164   if (*input_line_pointer == ',')
2165     {
2166       input_line_pointer++;
2167       size = get_absolute_expression ();
2168       if (*input_line_pointer == ',')
2169         {
2170           input_line_pointer++;
2171           fill = get_absolute_expression ();
2172         }
2173     }
2174
2175   /* This is to be compatible with BSD 4.2 AS, not for any rational reason.  */
2176 #define BSD_FILL_SIZE_CROCK_8 (8)
2177   if (size > BSD_FILL_SIZE_CROCK_8)
2178     {
2179       as_warn (_(".fill size clamped to %d"), BSD_FILL_SIZE_CROCK_8);
2180       size = BSD_FILL_SIZE_CROCK_8;
2181     }
2182   if (size < 0)
2183     {
2184       as_warn (_("size negative; .fill ignored"));
2185       size = 0;
2186     }
2187   else if (rep_exp.X_op == O_constant && rep_exp.X_add_number <= 0)
2188     {
2189       if (rep_exp.X_add_number < 0)
2190         as_warn (_("repeat < 0; .fill ignored"));
2191       size = 0;
2192     }
2193
2194   if (size && !need_pass_2)
2195     {
2196       if (rep_exp.X_op == O_constant)
2197         {
2198           p = frag_var (rs_fill, (int) size, (int) size,
2199                         (relax_substateT) 0, (symbolS *) 0,
2200                         (offsetT) rep_exp.X_add_number,
2201                         (char *) 0);
2202         }
2203       else
2204         {
2205           /* We don't have a constant repeat count, so we can't use
2206              rs_fill.  We can get the same results out of rs_space,
2207              but its argument is in bytes, so we must multiply the
2208              repeat count by size.  */
2209
2210           symbolS *rep_sym;
2211           rep_sym = make_expr_symbol (&rep_exp);
2212           if (size != 1)
2213             {
2214               expressionS size_exp;
2215               size_exp.X_op = O_constant;
2216               size_exp.X_add_number = size;
2217
2218               rep_exp.X_op = O_multiply;
2219               rep_exp.X_add_symbol = rep_sym;
2220               rep_exp.X_op_symbol = make_expr_symbol (&size_exp);
2221               rep_exp.X_add_number = 0;
2222               rep_sym = make_expr_symbol (&rep_exp);
2223             }
2224
2225           p = frag_var (rs_space, (int) size, (int) size,
2226                         (relax_substateT) 0, rep_sym, (offsetT) 0, (char *) 0);
2227         }
2228
2229       memset (p, 0, (unsigned int) size);
2230
2231       /* The magic number BSD_FILL_SIZE_CROCK_4 is from BSD 4.2 VAX
2232          flavoured AS.  The following bizarre behaviour is to be
2233          compatible with above.  I guess they tried to take up to 8
2234          bytes from a 4-byte expression and they forgot to sign
2235          extend.  */
2236 #define BSD_FILL_SIZE_CROCK_4 (4)
2237       md_number_to_chars (p, (valueT) fill,
2238                           (size > BSD_FILL_SIZE_CROCK_4
2239                            ? BSD_FILL_SIZE_CROCK_4
2240                            : (int) size));
2241       /* Note: .fill (),0 emits no frag (since we are asked to .fill 0 bytes)
2242          but emits no error message because it seems a legal thing to do.
2243          It is a degenerate case of .fill but could be emitted by a
2244          compiler.  */
2245     }
2246   demand_empty_rest_of_line ();
2247 }
2248
2249 void
2250 s_globl (int ignore ATTRIBUTE_UNUSED)
2251 {
2252   char *name;
2253   int c;
2254   symbolS *symbolP;
2255   char *stop = NULL;
2256   char stopc = 0;
2257
2258   if (flag_mri)
2259     stop = mri_comment_field (&stopc);
2260
2261   do
2262     {
2263       if ((name = read_symbol_name ()) == NULL)
2264         return;
2265
2266       symbolP = symbol_find_or_make (name);
2267       S_SET_EXTERNAL (symbolP);
2268
2269       SKIP_WHITESPACE ();
2270       c = *input_line_pointer;
2271       if (c == ',')
2272         {
2273           input_line_pointer++;
2274           SKIP_WHITESPACE ();
2275           if (is_end_of_line[(unsigned char) *input_line_pointer])
2276             c = '\n';
2277         }
2278
2279       free (name);
2280     }
2281   while (c == ',');
2282
2283   demand_empty_rest_of_line ();
2284
2285   if (flag_mri)
2286     mri_comment_end (stop, stopc);
2287 }
2288
2289 /* Handle the MRI IRP and IRPC pseudo-ops.  */
2290
2291 void
2292 s_irp (int irpc)
2293 {
2294   char *file, *eol;
2295   unsigned int line;
2296   sb s;
2297   const char *err;
2298   sb out;
2299
2300   as_where (&file, &line);
2301
2302   eol = find_end_of_line (input_line_pointer, 0);
2303   sb_build (&s, eol - input_line_pointer);
2304   sb_add_buffer (&s, input_line_pointer, eol - input_line_pointer);
2305   input_line_pointer = eol;
2306
2307   sb_new (&out);
2308
2309   err = expand_irp (irpc, 0, &s, &out, get_non_macro_line_sb);
2310   if (err != NULL)
2311     as_bad_where (file, line, "%s", err);
2312
2313   sb_kill (&s);
2314
2315   input_scrub_include_sb (&out, input_line_pointer, 1);
2316   sb_kill (&out);
2317   buffer_limit = input_scrub_next_buffer (&input_line_pointer);
2318 }
2319
2320 /* Handle the .linkonce pseudo-op.  This tells the assembler to mark
2321    the section to only be linked once.  However, this is not supported
2322    by most object file formats.  This takes an optional argument,
2323    which is what to do about duplicates.  */
2324
2325 void
2326 s_linkonce (int ignore ATTRIBUTE_UNUSED)
2327 {
2328   enum linkonce_type type;
2329
2330   SKIP_WHITESPACE ();
2331
2332   type = LINKONCE_DISCARD;
2333
2334   if (!is_end_of_line[(unsigned char) *input_line_pointer])
2335     {
2336       char *s;
2337       char c;
2338
2339       s = input_line_pointer;
2340       c = get_symbol_end ();
2341       if (strcasecmp (s, "discard") == 0)
2342         type = LINKONCE_DISCARD;
2343       else if (strcasecmp (s, "one_only") == 0)
2344         type = LINKONCE_ONE_ONLY;
2345       else if (strcasecmp (s, "same_size") == 0)
2346         type = LINKONCE_SAME_SIZE;
2347       else if (strcasecmp (s, "same_contents") == 0)
2348         type = LINKONCE_SAME_CONTENTS;
2349       else
2350         as_warn (_("unrecognized .linkonce type `%s'"), s);
2351
2352       *input_line_pointer = c;
2353     }
2354
2355 #ifdef obj_handle_link_once
2356   obj_handle_link_once (type);
2357 #else /* ! defined (obj_handle_link_once) */
2358   {
2359     flagword flags;
2360
2361     if ((bfd_applicable_section_flags (stdoutput) & SEC_LINK_ONCE) == 0)
2362       as_warn (_(".linkonce is not supported for this object file format"));
2363
2364     flags = bfd_get_section_flags (stdoutput, now_seg);
2365     flags |= SEC_LINK_ONCE;
2366     switch (type)
2367       {
2368       default:
2369         abort ();
2370       case LINKONCE_DISCARD:
2371         flags |= SEC_LINK_DUPLICATES_DISCARD;
2372         break;
2373       case LINKONCE_ONE_ONLY:
2374         flags |= SEC_LINK_DUPLICATES_ONE_ONLY;
2375         break;
2376       case LINKONCE_SAME_SIZE:
2377         flags |= SEC_LINK_DUPLICATES_SAME_SIZE;
2378         break;
2379       case LINKONCE_SAME_CONTENTS:
2380         flags |= SEC_LINK_DUPLICATES_SAME_CONTENTS;
2381         break;
2382       }
2383     if (!bfd_set_section_flags (stdoutput, now_seg, flags))
2384       as_bad (_("bfd_set_section_flags: %s"),
2385               bfd_errmsg (bfd_get_error ()));
2386   }
2387 #endif /* ! defined (obj_handle_link_once) */
2388
2389   demand_empty_rest_of_line ();
2390 }
2391
2392 void
2393 bss_alloc (symbolS *symbolP, addressT size, int align)
2394 {
2395   char *pfrag;
2396   segT current_seg = now_seg;
2397   subsegT current_subseg = now_subseg;
2398   segT bss_seg = bss_section;
2399
2400 #if defined (TC_MIPS) || defined (TC_ALPHA)
2401   if (OUTPUT_FLAVOR == bfd_target_ecoff_flavour
2402       || OUTPUT_FLAVOR == bfd_target_elf_flavour)
2403     {
2404       /* For MIPS and Alpha ECOFF or ELF, small objects are put in .sbss.  */
2405       if (size <= bfd_get_gp_size (stdoutput))
2406         {
2407           bss_seg = subseg_new (".sbss", 1);
2408           seg_info (bss_seg)->bss = 1;
2409           if (!bfd_set_section_flags (stdoutput, bss_seg, SEC_ALLOC))
2410             as_warn (_("error setting flags for \".sbss\": %s"),
2411                      bfd_errmsg (bfd_get_error ()));
2412         }
2413     }
2414 #endif
2415   subseg_set (bss_seg, 1);
2416
2417   if (align)
2418     {
2419       record_alignment (bss_seg, align);
2420       frag_align (align, 0, 0);
2421     }
2422
2423   /* Detach from old frag.  */
2424   if (S_GET_SEGMENT (symbolP) == bss_seg)
2425     symbol_get_frag (symbolP)->fr_symbol = NULL;
2426
2427   symbol_set_frag (symbolP, frag_now);
2428   pfrag = frag_var (rs_org, 1, 1, 0, symbolP, size, NULL);
2429   *pfrag = 0;
2430
2431 #ifdef S_SET_SIZE
2432   S_SET_SIZE (symbolP, size);
2433 #endif
2434   S_SET_SEGMENT (symbolP, bss_seg);
2435
2436 #ifdef OBJ_COFF
2437   /* The symbol may already have been created with a preceding
2438      ".globl" directive -- be careful not to step on storage class
2439      in that case.  Otherwise, set it to static.  */
2440   if (S_GET_STORAGE_CLASS (symbolP) != C_EXT)
2441     S_SET_STORAGE_CLASS (symbolP, C_STAT);
2442 #endif /* OBJ_COFF */
2443
2444   subseg_set (current_seg, current_subseg);
2445 }
2446
2447 offsetT
2448 parse_align (int align_bytes)
2449 {
2450   expressionS exp;
2451   addressT align;
2452
2453   SKIP_WHITESPACE ();
2454   if (*input_line_pointer != ',')
2455     {
2456     no_align:
2457       as_bad (_("expected alignment after size"));
2458       ignore_rest_of_line ();
2459       return -1;
2460     }
2461
2462   input_line_pointer++;
2463   SKIP_WHITESPACE ();
2464
2465   align = get_absolute_expr (&exp);
2466   if (exp.X_op == O_absent)
2467     goto no_align;
2468
2469   if (!exp.X_unsigned)
2470     {
2471       as_warn (_("alignment negative; 0 assumed"));
2472       align = 0;
2473     }
2474
2475   if (align_bytes && align != 0)
2476     {
2477       /* convert to a power of 2 alignment */
2478       unsigned int alignp2 = 0;
2479       while ((align & 1) == 0)
2480         align >>= 1, ++alignp2;
2481       if (align != 1)
2482         {
2483           as_bad (_("alignment not a power of 2"));
2484           ignore_rest_of_line ();
2485           return -1;
2486         }
2487       align = alignp2;
2488     }
2489   return align;
2490 }
2491
2492 /* Called from s_comm_internal after symbol name and size have been
2493    parsed.  NEEDS_ALIGN is 0 if it was an ".lcomm" (2 args only),
2494    1 if this was a ".bss" directive which has a 3rd argument
2495    (alignment as a power of 2), or 2 if this was a ".bss" directive
2496    with alignment in bytes.  */
2497
2498 symbolS *
2499 s_lcomm_internal (int needs_align, symbolS *symbolP, addressT size)
2500 {
2501   addressT align = 0;
2502
2503   if (needs_align)
2504     {
2505       align = parse_align (needs_align - 1);
2506       if (align == (addressT) -1)
2507         return NULL;
2508     }
2509   else
2510     /* Assume some objects may require alignment on some systems.  */
2511     TC_IMPLICIT_LCOMM_ALIGNMENT (size, align);
2512
2513   bss_alloc (symbolP, size, align);
2514   return symbolP;
2515 }
2516
2517 void
2518 s_lcomm (int needs_align)
2519 {
2520   s_comm_internal (needs_align, s_lcomm_internal);
2521 }
2522
2523 void
2524 s_lcomm_bytes (int needs_align)
2525 {
2526   s_comm_internal (needs_align * 2, s_lcomm_internal);
2527 }
2528
2529 void
2530 s_lsym (int ignore ATTRIBUTE_UNUSED)
2531 {
2532   char *name;
2533   expressionS exp;
2534   symbolS *symbolP;
2535
2536   /* We permit ANY defined expression: BSD4.2 demands constants.  */
2537   if ((name = read_symbol_name ()) == NULL)
2538     return;
2539
2540   if (*input_line_pointer != ',')
2541     {
2542       as_bad (_("expected comma after \"%s\""), name);
2543       goto err_out;
2544     }
2545
2546   input_line_pointer++;
2547   expression_and_evaluate (&exp);
2548
2549   if (exp.X_op != O_constant
2550       && exp.X_op != O_register)
2551     {
2552       as_bad (_("bad expression"));
2553       goto err_out;
2554     }
2555
2556   symbolP = symbol_find_or_make (name);
2557
2558   if (S_GET_SEGMENT (symbolP) == undefined_section)
2559     {
2560       /* The name might be an undefined .global symbol; be sure to
2561          keep the "external" bit.  */
2562       S_SET_SEGMENT (symbolP,
2563                      (exp.X_op == O_constant
2564                       ? absolute_section
2565                       : reg_section));
2566       S_SET_VALUE (symbolP, (valueT) exp.X_add_number);
2567     }
2568   else
2569     {
2570       as_bad (_("symbol `%s' is already defined"), name);
2571     }
2572
2573   demand_empty_rest_of_line ();
2574   free (name);
2575   return;
2576
2577  err_out:
2578   ignore_rest_of_line ();
2579   free (name);
2580   return;
2581 }
2582
2583 /* Read a line into an sb.  Returns the character that ended the line
2584    or zero if there are no more lines.  */
2585
2586 static int
2587 get_line_sb (sb *line, int in_macro)
2588 {
2589   char *eol;
2590
2591   if (input_line_pointer[-1] == '\n')
2592     bump_line_counters ();
2593
2594   if (input_line_pointer >= buffer_limit)
2595     {
2596       buffer_limit = input_scrub_next_buffer (&input_line_pointer);
2597       if (buffer_limit == 0)
2598         return 0;
2599     }
2600
2601   eol = _find_end_of_line (input_line_pointer, flag_m68k_mri, 0, in_macro);
2602   sb_add_buffer (line, input_line_pointer, eol - input_line_pointer);
2603   input_line_pointer = eol;
2604
2605   /* Don't skip multiple end-of-line characters, because that breaks support
2606      for the IA-64 stop bit (;;) which looks like two consecutive end-of-line
2607      characters but isn't.  Instead just skip one end of line character and
2608      return the character skipped so that the caller can re-insert it if
2609      necessary.   */
2610   return *input_line_pointer++;
2611 }
2612
2613 static size_t
2614 get_non_macro_line_sb (sb *line)
2615 {
2616   return get_line_sb (line, 0);
2617 }
2618
2619 static size_t
2620 get_macro_line_sb (sb *line)
2621 {
2622   return get_line_sb (line, 1);
2623 }
2624
2625 /* Define a macro.  This is an interface to macro.c.  */
2626
2627 void
2628 s_macro (int ignore ATTRIBUTE_UNUSED)
2629 {
2630   char *file, *eol;
2631   unsigned int line;
2632   sb s;
2633   const char *err;
2634   const char *name;
2635
2636   as_where (&file, &line);
2637
2638   eol = find_end_of_line (input_line_pointer, 0);
2639   sb_build (&s, eol - input_line_pointer);
2640   sb_add_buffer (&s, input_line_pointer, eol - input_line_pointer);
2641   input_line_pointer = eol;
2642
2643   if (line_label != NULL)
2644     {
2645       sb label;
2646       size_t len;
2647
2648       name = S_GET_NAME (line_label);
2649       len = strlen (name);
2650       sb_build (&label, len);
2651       sb_add_buffer (&label, name, len);
2652       err = define_macro (0, &s, &label, get_macro_line_sb, file, line, &name);
2653       sb_kill (&label);
2654     }
2655   else
2656     err = define_macro (0, &s, NULL, get_macro_line_sb, file, line, &name);
2657   if (err != NULL)
2658     as_bad_where (file, line, err, name);
2659   else
2660     {
2661       if (line_label != NULL)
2662         {
2663           S_SET_SEGMENT (line_label, absolute_section);
2664           S_SET_VALUE (line_label, 0);
2665           symbol_set_frag (line_label, &zero_address_frag);
2666         }
2667
2668       if (((NO_PSEUDO_DOT || flag_m68k_mri)
2669            && hash_find (po_hash, name) != NULL)
2670           || (!flag_m68k_mri
2671               && *name == '.'
2672               && hash_find (po_hash, name + 1) != NULL))
2673         as_warn_where (file,
2674                  line,
2675                  _("attempt to redefine pseudo-op `%s' ignored"),
2676                  name);
2677     }
2678
2679   sb_kill (&s);
2680 }
2681
2682 /* Handle the .mexit pseudo-op, which immediately exits a macro
2683    expansion.  */
2684
2685 void
2686 s_mexit (int ignore ATTRIBUTE_UNUSED)
2687 {
2688   if (macro_nest)
2689     {
2690       cond_exit_macro (macro_nest);
2691       buffer_limit = input_scrub_next_buffer (&input_line_pointer);
2692     }
2693   else
2694     as_warn (_("ignoring macro exit outside a macro definition."));
2695 }
2696
2697 /* Switch in and out of MRI mode.  */
2698
2699 void
2700 s_mri (int ignore ATTRIBUTE_UNUSED)
2701 {
2702   int on;
2703 #ifdef MRI_MODE_CHANGE
2704   int old_flag;
2705 #endif
2706
2707   on = get_absolute_expression ();
2708 #ifdef MRI_MODE_CHANGE
2709   old_flag = flag_mri;
2710 #endif
2711   if (on != 0)
2712     {
2713       flag_mri = 1;
2714 #ifdef TC_M68K
2715       flag_m68k_mri = 1;
2716 #endif
2717       macro_mri_mode (1);
2718     }
2719   else
2720     {
2721       flag_mri = 0;
2722 #ifdef TC_M68K
2723       flag_m68k_mri = 0;
2724 #endif
2725       macro_mri_mode (0);
2726     }
2727
2728   /* Operator precedence changes in m68k MRI mode, so we need to
2729      update the operator rankings.  */
2730   expr_set_precedence ();
2731
2732 #ifdef MRI_MODE_CHANGE
2733   if (on != old_flag)
2734     MRI_MODE_CHANGE (on);
2735 #endif
2736
2737   demand_empty_rest_of_line ();
2738 }
2739
2740 /* Handle changing the location counter.  */
2741
2742 static void
2743 do_org (segT segment, expressionS *exp, int fill)
2744 {
2745   if (segment != now_seg
2746       && segment != absolute_section
2747       && segment != expr_section)
2748     as_bad (_("invalid segment \"%s\""), segment_name (segment));
2749
2750   if (now_seg == absolute_section)
2751     {
2752       if (fill != 0)
2753         as_warn (_("ignoring fill value in absolute section"));
2754       if (exp->X_op != O_constant)
2755         {
2756           as_bad (_("only constant offsets supported in absolute section"));
2757           exp->X_add_number = 0;
2758         }
2759       abs_section_offset = exp->X_add_number;
2760     }
2761   else
2762     {
2763       char *p;
2764       symbolS *sym = exp->X_add_symbol;
2765       offsetT off = exp->X_add_number * OCTETS_PER_BYTE;
2766
2767       if (exp->X_op != O_constant && exp->X_op != O_symbol)
2768         {
2769           /* Handle complex expressions.  */
2770           sym = make_expr_symbol (exp);
2771           off = 0;
2772         }
2773
2774       p = frag_var (rs_org, 1, 1, (relax_substateT) 0, sym, off, (char *) 0);
2775       *p = fill;
2776     }
2777 }
2778
2779 void
2780 s_org (int ignore ATTRIBUTE_UNUSED)
2781 {
2782   segT segment;
2783   expressionS exp;
2784   long temp_fill;
2785
2786 #ifdef md_flush_pending_output
2787   md_flush_pending_output ();
2788 #endif
2789
2790   /* The m68k MRI assembler has a different meaning for .org.  It
2791      means to create an absolute section at a given address.  We can't
2792      support that--use a linker script instead.  */
2793   if (flag_m68k_mri)
2794     {
2795       as_bad (_("MRI style ORG pseudo-op not supported"));
2796       ignore_rest_of_line ();
2797       return;
2798     }
2799
2800   /* Don't believe the documentation of BSD 4.2 AS.  There is no such
2801      thing as a sub-segment-relative origin.  Any absolute origin is
2802      given a warning, then assumed to be segment-relative.  Any
2803      segmented origin expression ("foo+42") had better be in the right
2804      segment or the .org is ignored.
2805
2806      BSD 4.2 AS warns if you try to .org backwards. We cannot because
2807      we never know sub-segment sizes when we are reading code.  BSD
2808      will crash trying to emit negative numbers of filler bytes in
2809      certain .orgs. We don't crash, but see as-write for that code.
2810
2811      Don't make frag if need_pass_2==1.  */
2812   segment = get_known_segmented_expression (&exp);
2813   if (*input_line_pointer == ',')
2814     {
2815       input_line_pointer++;
2816       temp_fill = get_absolute_expression ();
2817     }
2818   else
2819     temp_fill = 0;
2820
2821   if (!need_pass_2)
2822     do_org (segment, &exp, temp_fill);
2823
2824   demand_empty_rest_of_line ();
2825 }
2826
2827 /* Handle parsing for the MRI SECT/SECTION pseudo-op.  This should be
2828    called by the obj-format routine which handles section changing
2829    when in MRI mode.  It will create a new section, and return it.  It
2830    will set *TYPE to the section type: one of 'C' (code), 'D' (data),
2831    'M' (mixed), or 'R' (romable).  The flags will be set in the section.  */
2832
2833 void
2834 s_mri_sect (char *type ATTRIBUTE_UNUSED)
2835 {
2836 #ifdef TC_M68K
2837
2838   char *name;
2839   char c;
2840   segT seg;
2841
2842   SKIP_WHITESPACE ();
2843
2844   name = input_line_pointer;
2845   if (!ISDIGIT (*name))
2846     c = get_symbol_end ();
2847   else
2848     {
2849       do
2850         {
2851           ++input_line_pointer;
2852         }
2853       while (ISDIGIT (*input_line_pointer));
2854
2855       c = *input_line_pointer;
2856       *input_line_pointer = '\0';
2857     }
2858
2859   name = xstrdup (name);
2860
2861   *input_line_pointer = c;
2862
2863   seg = subseg_new (name, 0);
2864
2865   if (*input_line_pointer == ',')
2866     {
2867       int align;
2868
2869       ++input_line_pointer;
2870       align = get_absolute_expression ();
2871       record_alignment (seg, align);
2872     }
2873
2874   *type = 'C';
2875   if (*input_line_pointer == ',')
2876     {
2877       c = *++input_line_pointer;
2878       c = TOUPPER (c);
2879       if (c == 'C' || c == 'D' || c == 'M' || c == 'R')
2880         *type = c;
2881       else
2882         as_bad (_("unrecognized section type"));
2883       ++input_line_pointer;
2884
2885       {
2886         flagword flags;
2887
2888         flags = SEC_NO_FLAGS;
2889         if (*type == 'C')
2890           flags = SEC_ALLOC | SEC_LOAD | SEC_READONLY | SEC_CODE;
2891         else if (*type == 'D' || *type == 'M')
2892           flags = SEC_ALLOC | SEC_LOAD | SEC_DATA;
2893         else if (*type == 'R')
2894           flags = SEC_ALLOC | SEC_LOAD | SEC_DATA | SEC_READONLY | SEC_ROM;
2895         if (flags != SEC_NO_FLAGS)
2896           {
2897             if (!bfd_set_section_flags (stdoutput, seg, flags))
2898               as_warn (_("error setting flags for \"%s\": %s"),
2899                        bfd_section_name (stdoutput, seg),
2900                        bfd_errmsg (bfd_get_error ()));
2901           }
2902       }
2903     }
2904
2905   /* Ignore the HP type.  */
2906   if (*input_line_pointer == ',')
2907     input_line_pointer += 2;
2908
2909   demand_empty_rest_of_line ();
2910
2911 #else /* ! TC_M68K */
2912 #ifdef TC_I960
2913
2914   char *name;
2915   char c;
2916   segT seg;
2917
2918   SKIP_WHITESPACE ();
2919
2920   name = input_line_pointer;
2921   c = get_symbol_end ();
2922
2923   name = xstrdup (name);
2924
2925   *input_line_pointer = c;
2926
2927   seg = subseg_new (name, 0);
2928
2929   if (*input_line_pointer != ',')
2930     *type = 'C';
2931   else
2932     {
2933       char *sectype;
2934
2935       ++input_line_pointer;
2936       SKIP_WHITESPACE ();
2937       sectype = input_line_pointer;
2938       c = get_symbol_end ();
2939       if (*sectype == '\0')
2940         *type = 'C';
2941       else if (strcasecmp (sectype, "text") == 0)
2942         *type = 'C';
2943       else if (strcasecmp (sectype, "data") == 0)
2944         *type = 'D';
2945       else if (strcasecmp (sectype, "romdata") == 0)
2946         *type = 'R';
2947       else
2948         as_warn (_("unrecognized section type `%s'"), sectype);
2949       *input_line_pointer = c;
2950     }
2951
2952   if (*input_line_pointer == ',')
2953     {
2954       char *seccmd;
2955
2956       ++input_line_pointer;
2957       SKIP_WHITESPACE ();
2958       seccmd = input_line_pointer;
2959       c = get_symbol_end ();
2960       if (strcasecmp (seccmd, "absolute") == 0)
2961         {
2962           as_bad (_("absolute sections are not supported"));
2963           *input_line_pointer = c;
2964           ignore_rest_of_line ();
2965           return;
2966         }
2967       else if (strcasecmp (seccmd, "align") == 0)
2968         {
2969           int align;
2970
2971           *input_line_pointer = c;
2972           align = get_absolute_expression ();
2973           record_alignment (seg, align);
2974         }
2975       else
2976         {
2977           as_warn (_("unrecognized section command `%s'"), seccmd);
2978           *input_line_pointer = c;
2979         }
2980     }
2981
2982   demand_empty_rest_of_line ();
2983
2984 #else /* ! TC_I960 */
2985   /* The MRI assembler seems to use different forms of .sect for
2986      different targets.  */
2987   as_bad ("MRI mode not supported for this target");
2988   ignore_rest_of_line ();
2989 #endif /* ! TC_I960 */
2990 #endif /* ! TC_M68K */
2991 }
2992
2993 /* Handle the .print pseudo-op.  */
2994
2995 void
2996 s_print (int ignore ATTRIBUTE_UNUSED)
2997 {
2998   char *s;
2999   int len;
3000
3001   s = demand_copy_C_string (&len);
3002   if (s != NULL)
3003     printf ("%s\n", s);
3004   demand_empty_rest_of_line ();
3005 }
3006
3007 /* Handle the .purgem pseudo-op.  */
3008
3009 void
3010 s_purgem (int ignore ATTRIBUTE_UNUSED)
3011 {
3012   if (is_it_end_of_statement ())
3013     {
3014       demand_empty_rest_of_line ();
3015       return;
3016     }
3017
3018   do
3019     {
3020       char *name;
3021       char c;
3022
3023       SKIP_WHITESPACE ();
3024       name = input_line_pointer;
3025       c = get_symbol_end ();
3026       delete_macro (name);
3027       *input_line_pointer = c;
3028       SKIP_WHITESPACE ();
3029     }
3030   while (*input_line_pointer++ == ',');
3031
3032   --input_line_pointer;
3033   demand_empty_rest_of_line ();
3034 }
3035
3036 /* Handle the .endm/.endr pseudo-ops.  */
3037
3038 static void
3039 s_bad_end (int endr)
3040 {
3041   as_warn (_(".end%c encountered without preceding %s"),
3042            endr ? 'r' : 'm',
3043            endr ? ".rept, .irp, or .irpc" : ".macro");
3044   demand_empty_rest_of_line ();
3045 }
3046
3047 /* Handle the .rept pseudo-op.  */
3048
3049 void
3050 s_rept (int ignore ATTRIBUTE_UNUSED)
3051 {
3052   int count;
3053
3054   count = get_absolute_expression ();
3055
3056   do_repeat (count, "REPT", "ENDR");
3057 }
3058
3059 /* This function provides a generic repeat block implementation.   It allows
3060    different directives to be used as the start/end keys.  */
3061
3062 void
3063 do_repeat (int count, const char *start, const char *end)
3064 {
3065   sb one;
3066   sb many;
3067
3068   sb_new (&one);
3069   if (!buffer_and_nest (start, end, &one, get_non_macro_line_sb))
3070     {
3071       as_bad (_("%s without %s"), start, end);
3072       return;
3073     }
3074
3075   sb_build (&many, count * one.len);
3076   while (count-- > 0)
3077     sb_add_sb (&many, &one);
3078
3079   sb_kill (&one);
3080
3081   input_scrub_include_sb (&many, input_line_pointer, 1);
3082   sb_kill (&many);
3083   buffer_limit = input_scrub_next_buffer (&input_line_pointer);
3084 }
3085
3086 /* Like do_repeat except that any text matching EXPANDER in the
3087    block is replaced by the itteration count.  */
3088
3089 void
3090 do_repeat_with_expander (int count,
3091                          const char * start,
3092                          const char * end,
3093                          const char * expander)
3094 {
3095   sb one;
3096   sb many;
3097
3098   sb_new (&one);
3099   if (!buffer_and_nest (start, end, &one, get_non_macro_line_sb))
3100     {
3101       as_bad (_("%s without %s"), start, end);
3102       return;
3103     }
3104
3105   sb_new (&many);
3106
3107   if (expander != NULL && strstr (one.ptr, expander) != NULL)
3108     {
3109       while (count -- > 0)
3110         {
3111           int len;
3112           char * sub;
3113           sb processed;
3114
3115           sb_build (& processed, one.len);
3116           sb_add_sb (& processed, & one);
3117           sub = strstr (processed.ptr, expander);
3118           len = sprintf (sub, "%d", count);
3119           gas_assert (len < 8);
3120           strcpy (sub + len, sub + 8);
3121           processed.len -= (8 - len);
3122           sb_add_sb (& many, & processed);
3123           sb_kill (& processed);
3124         }
3125     }
3126   else
3127     while (count-- > 0)
3128       sb_add_sb (&many, &one);
3129
3130   sb_kill (&one);
3131
3132   input_scrub_include_sb (&many, input_line_pointer, 1);
3133   sb_kill (&many);
3134   buffer_limit = input_scrub_next_buffer (&input_line_pointer);
3135 }
3136
3137 /* Skip to end of current repeat loop; EXTRA indicates how many additional
3138    input buffers to skip.  Assumes that conditionals preceding the loop end
3139    are properly nested.
3140
3141    This function makes it easier to implement a premature "break" out of the
3142    loop.  The EXTRA arg accounts for other buffers we might have inserted,
3143    such as line substitutions.  */
3144
3145 void
3146 end_repeat (int extra)
3147 {
3148   cond_exit_macro (macro_nest);
3149   while (extra-- >= 0)
3150     buffer_limit = input_scrub_next_buffer (&input_line_pointer);
3151 }
3152
3153 static void
3154 assign_symbol (char *name, int mode)
3155 {
3156   symbolS *symbolP;
3157
3158   if (name[0] == '.' && name[1] == '\0')
3159     {
3160       /* Turn '. = mumble' into a .org mumble.  */
3161       segT segment;
3162       expressionS exp;
3163
3164       segment = get_known_segmented_expression (&exp);
3165
3166       if (!need_pass_2)
3167         do_org (segment, &exp, 0);
3168
3169       return;
3170     }
3171
3172   if ((symbolP = symbol_find (name)) == NULL
3173       && (symbolP = md_undefined_symbol (name)) == NULL)
3174     {
3175       symbolP = symbol_find_or_make (name);
3176 #ifndef NO_LISTING
3177       /* When doing symbol listings, play games with dummy fragments living
3178          outside the normal fragment chain to record the file and line info
3179          for this symbol.  */
3180       if (listing & LISTING_SYMBOLS)
3181         {
3182           extern struct list_info_struct *listing_tail;
3183           fragS *dummy_frag = (fragS *) xcalloc (1, sizeof (fragS));
3184           dummy_frag->line = listing_tail;
3185           dummy_frag->fr_symbol = symbolP;
3186           symbol_set_frag (symbolP, dummy_frag);
3187         }
3188 #endif
3189 #ifdef OBJ_COFF
3190       /* "set" symbols are local unless otherwise specified.  */
3191       SF_SET_LOCAL (symbolP);
3192 #endif
3193     }
3194
3195   if (S_IS_DEFINED (symbolP) || symbol_equated_p (symbolP))
3196     {
3197       if ((mode != 0 || !S_IS_VOLATILE (symbolP))
3198           && !S_CAN_BE_REDEFINED (symbolP))
3199         {
3200           as_bad (_("symbol `%s' is already defined"), name);
3201           symbolP = symbol_clone (symbolP, 0);
3202         }
3203       /* If the symbol is volatile, copy the symbol and replace the
3204          original with the copy, so that previous uses of the symbol will
3205          retain the value of the symbol at the point of use.  */
3206       else if (S_IS_VOLATILE (symbolP))
3207         symbolP = symbol_clone (symbolP, 1);
3208     }
3209
3210   if (mode == 0)
3211     S_SET_VOLATILE (symbolP);
3212   else if (mode < 0)
3213     S_SET_FORWARD_REF (symbolP);
3214
3215   pseudo_set (symbolP);
3216 }
3217
3218 /* Handle the .equ, .equiv, .eqv, and .set directives.  If EQUIV is 1,
3219    then this is .equiv, and it is an error if the symbol is already
3220    defined.  If EQUIV is -1, the symbol additionally is a forward
3221    reference.  */
3222
3223 void
3224 s_set (int equiv)
3225 {
3226   char *name;
3227
3228   /* Especial apologies for the random logic:
3229      this just grew, and could be parsed much more simply!
3230      Dean in haste.  */
3231   if ((name = read_symbol_name ()) == NULL)
3232     return;
3233
3234   if (*input_line_pointer != ',')
3235     {
3236       as_bad (_("expected comma after \"%s\""), name);
3237       ignore_rest_of_line ();
3238       free (name);
3239       return;
3240     }
3241
3242   input_line_pointer++;
3243   assign_symbol (name, equiv);
3244   demand_empty_rest_of_line ();
3245   free (name);
3246 }
3247
3248 void
3249 s_space (int mult)
3250 {
3251   expressionS exp;
3252   expressionS val;
3253   char *p = 0;
3254   char *stop = NULL;
3255   char stopc = 0;
3256   int bytes;
3257
3258 #ifdef md_flush_pending_output
3259   md_flush_pending_output ();
3260 #endif
3261
3262 #ifdef md_cons_align
3263   md_cons_align (1);
3264 #endif
3265
3266   if (flag_mri)
3267     stop = mri_comment_field (&stopc);
3268
3269   /* In m68k MRI mode, we need to align to a word boundary, unless
3270      this is ds.b.  */
3271   if (flag_m68k_mri && mult > 1)
3272     {
3273       if (now_seg == absolute_section)
3274         {
3275           abs_section_offset += abs_section_offset & 1;
3276           if (line_label != NULL)
3277             S_SET_VALUE (line_label, abs_section_offset);
3278         }
3279       else if (mri_common_symbol != NULL)
3280         {
3281           valueT mri_val;
3282
3283           mri_val = S_GET_VALUE (mri_common_symbol);
3284           if ((mri_val & 1) != 0)
3285             {
3286               S_SET_VALUE (mri_common_symbol, mri_val + 1);
3287               if (line_label != NULL)
3288                 {
3289                   expressionS *symexp;
3290
3291                   symexp = symbol_get_value_expression (line_label);
3292                   know (symexp->X_op == O_symbol);
3293                   know (symexp->X_add_symbol == mri_common_symbol);
3294                   symexp->X_add_number += 1;
3295                 }
3296             }
3297         }
3298       else
3299         {
3300           do_align (1, (char *) NULL, 0, 0);
3301           if (line_label != NULL)
3302             {
3303               symbol_set_frag (line_label, frag_now);
3304               S_SET_VALUE (line_label, frag_now_fix ());
3305             }
3306         }
3307     }
3308
3309   bytes = mult;
3310
3311   expression (&exp);
3312
3313   SKIP_WHITESPACE ();
3314   if (*input_line_pointer == ',')
3315     {
3316       ++input_line_pointer;
3317       expression (&val);
3318     }
3319   else
3320     {
3321       val.X_op = O_constant;
3322       val.X_add_number = 0;
3323     }
3324
3325   if (val.X_op != O_constant
3326       || val.X_add_number < - 0x80
3327       || val.X_add_number > 0xff
3328       || (mult != 0 && mult != 1 && val.X_add_number != 0))
3329     {
3330       resolve_expression (&exp);
3331       if (exp.X_op != O_constant)
3332         as_bad (_("unsupported variable size or fill value"));
3333       else
3334         {
3335           offsetT i;
3336
3337           if (mult == 0)
3338             mult = 1;
3339           bytes = mult * exp.X_add_number;
3340           for (i = 0; i < exp.X_add_number; i++)
3341             emit_expr (&val, mult);
3342         }
3343     }
3344   else
3345     {
3346       if (now_seg == absolute_section || mri_common_symbol != NULL)
3347         resolve_expression (&exp);
3348
3349       if (exp.X_op == O_constant)
3350         {
3351           offsetT repeat;
3352
3353           repeat = exp.X_add_number;
3354           if (mult)
3355             repeat *= mult;
3356           bytes = repeat;
3357           if (repeat <= 0)
3358             {
3359               if (!flag_mri)
3360                 as_warn (_(".space repeat count is zero, ignored"));
3361               else if (repeat < 0)
3362                 as_warn (_(".space repeat count is negative, ignored"));
3363               goto getout;
3364             }
3365
3366           /* If we are in the absolute section, just bump the offset.  */
3367           if (now_seg == absolute_section)
3368             {
3369               abs_section_offset += repeat;
3370               goto getout;
3371             }
3372
3373           /* If we are secretly in an MRI common section, then
3374              creating space just increases the size of the common
3375              symbol.  */
3376           if (mri_common_symbol != NULL)
3377             {
3378               S_SET_VALUE (mri_common_symbol,
3379                            S_GET_VALUE (mri_common_symbol) + repeat);
3380               goto getout;
3381             }
3382
3383           if (!need_pass_2)
3384             p = frag_var (rs_fill, 1, 1, (relax_substateT) 0, (symbolS *) 0,
3385                           (offsetT) repeat, (char *) 0);
3386         }
3387       else
3388         {
3389           if (now_seg == absolute_section)
3390             {
3391               as_bad (_("space allocation too complex in absolute section"));
3392               subseg_set (text_section, 0);
3393             }
3394
3395           if (mri_common_symbol != NULL)
3396             {
3397               as_bad (_("space allocation too complex in common section"));
3398               mri_common_symbol = NULL;
3399             }
3400
3401           if (!need_pass_2)
3402             p = frag_var (rs_space, 1, 1, (relax_substateT) 0,
3403                           make_expr_symbol (&exp), (offsetT) 0, (char *) 0);
3404         }
3405
3406       if (p)
3407         *p = val.X_add_number;
3408     }
3409
3410  getout:
3411
3412   /* In MRI mode, after an odd number of bytes, we must align to an
3413      even word boundary, unless the next instruction is a dc.b, ds.b
3414      or dcb.b.  */
3415   if (flag_mri && (bytes & 1) != 0)
3416     mri_pending_align = 1;
3417
3418   demand_empty_rest_of_line ();
3419
3420   if (flag_mri)
3421     mri_comment_end (stop, stopc);
3422 }
3423
3424 /* This is like s_space, but the value is a floating point number with
3425    the given precision.  This is for the MRI dcb.s pseudo-op and
3426    friends.  */
3427
3428 void
3429 s_float_space (int float_type)
3430 {
3431   offsetT count;
3432   int flen;
3433   char temp[MAXIMUM_NUMBER_OF_CHARS_FOR_FLOAT];
3434   char *stop = NULL;
3435   char stopc = 0;
3436
3437 #ifdef md_cons_align
3438   md_cons_align (1);
3439 #endif
3440
3441   if (flag_mri)
3442     stop = mri_comment_field (&stopc);
3443
3444   count = get_absolute_expression ();
3445
3446   SKIP_WHITESPACE ();
3447   if (*input_line_pointer != ',')
3448     {
3449       as_bad (_("missing value"));
3450       ignore_rest_of_line ();
3451       if (flag_mri)
3452         mri_comment_end (stop, stopc);
3453       return;
3454     }
3455
3456   ++input_line_pointer;
3457
3458   SKIP_WHITESPACE ();
3459
3460   /* Skip any 0{letter} that may be present.  Don't even check if the
3461    * letter is legal.  */
3462   if (input_line_pointer[0] == '0'
3463       && ISALPHA (input_line_pointer[1]))
3464     input_line_pointer += 2;
3465
3466   /* Accept :xxxx, where the x's are hex digits, for a floating point
3467      with the exact digits specified.  */
3468   if (input_line_pointer[0] == ':')
3469     {
3470       flen = hex_float (float_type, temp);
3471       if (flen < 0)
3472         {
3473           ignore_rest_of_line ();
3474           if (flag_mri)
3475             mri_comment_end (stop, stopc);
3476           return;
3477         }
3478     }
3479   else
3480     {
3481       char *err;
3482
3483       err = md_atof (float_type, temp, &flen);
3484       know (flen <= MAXIMUM_NUMBER_OF_CHARS_FOR_FLOAT);
3485       know (err != NULL || flen > 0);
3486       if (err)
3487         {
3488           as_bad (_("bad floating literal: %s"), err);
3489           ignore_rest_of_line ();
3490           if (flag_mri)
3491             mri_comment_end (stop, stopc);
3492           return;
3493         }
3494     }
3495
3496   while (--count >= 0)
3497     {
3498       char *p;
3499
3500       p = frag_more (flen);
3501       memcpy (p, temp, (unsigned int) flen);
3502     }
3503
3504   demand_empty_rest_of_line ();
3505
3506   if (flag_mri)
3507     mri_comment_end (stop, stopc);
3508 }
3509
3510 /* Handle the .struct pseudo-op, as found in MIPS assemblers.  */
3511
3512 void
3513 s_struct (int ignore ATTRIBUTE_UNUSED)
3514 {
3515   char *stop = NULL;
3516   char stopc = 0;
3517
3518   if (flag_mri)
3519     stop = mri_comment_field (&stopc);
3520   abs_section_offset = get_absolute_expression ();
3521 #if defined (OBJ_ELF) || defined (OBJ_MAYBE_ELF)
3522   /* The ELF backend needs to know that we are changing sections, so
3523      that .previous works correctly. */
3524   if (IS_ELF)
3525     obj_elf_section_change_hook ();
3526 #endif
3527   subseg_set (absolute_section, 0);
3528   demand_empty_rest_of_line ();
3529   if (flag_mri)
3530     mri_comment_end (stop, stopc);
3531 }
3532
3533 void
3534 s_text (int ignore ATTRIBUTE_UNUSED)
3535 {
3536   int temp;
3537
3538   temp = get_absolute_expression ();
3539   subseg_set (text_section, (subsegT) temp);
3540   demand_empty_rest_of_line ();
3541 }
3542
3543 /* .weakref x, y sets x as an alias to y that, as long as y is not
3544    referenced directly, will cause y to become a weak symbol.  */
3545 void
3546 s_weakref (int ignore ATTRIBUTE_UNUSED)
3547 {
3548   char *name;
3549   symbolS *symbolP;
3550   symbolS *symbolP2;
3551   expressionS exp;
3552
3553   if ((name = read_symbol_name ()) == NULL)
3554     return;
3555
3556   symbolP = symbol_find_or_make (name);
3557
3558   if (S_IS_DEFINED (symbolP) || symbol_equated_p (symbolP))
3559     {
3560       if (!S_IS_VOLATILE (symbolP))
3561         {
3562           as_bad (_("symbol `%s' is already defined"), name);
3563           goto err_out;
3564         }
3565       symbolP = symbol_clone (symbolP, 1);
3566       S_CLEAR_VOLATILE (symbolP);
3567     }
3568
3569   SKIP_WHITESPACE ();
3570
3571   if (*input_line_pointer != ',')
3572     {
3573       as_bad (_("expected comma after \"%s\""), name);
3574       goto err_out;
3575     }
3576
3577   input_line_pointer++;
3578
3579   SKIP_WHITESPACE ();
3580   free (name);
3581
3582   if ((name = read_symbol_name ()) == NULL)
3583     return;
3584
3585   if ((symbolP2 = symbol_find_noref (name, 1)) == NULL
3586       && (symbolP2 = md_undefined_symbol (name)) == NULL)
3587     {
3588       symbolP2 = symbol_find_or_make (name);
3589       S_SET_WEAKREFD (symbolP2);
3590     }
3591   else
3592     {
3593       symbolS *symp = symbolP2;
3594
3595       while (S_IS_WEAKREFR (symp) && symp != symbolP)
3596         {
3597           expressionS *expP = symbol_get_value_expression (symp);
3598
3599           gas_assert (expP->X_op == O_symbol
3600                   && expP->X_add_number == 0);
3601           symp = expP->X_add_symbol;
3602         }
3603       if (symp == symbolP)
3604         {
3605           char *loop;
3606
3607           loop = concat (S_GET_NAME (symbolP),
3608                          " => ", S_GET_NAME (symbolP2), (const char *) NULL);
3609
3610           symp = symbolP2;
3611           while (symp != symbolP)
3612             {
3613               char *old_loop = loop;
3614
3615               symp = symbol_get_value_expression (symp)->X_add_symbol;
3616               loop = concat (loop, " => ", S_GET_NAME (symp),
3617                              (const char *) NULL);
3618               free (old_loop);
3619             }
3620
3621           as_bad (_("%s: would close weakref loop: %s"),
3622                   S_GET_NAME (symbolP), loop);
3623
3624           free (loop);
3625           free (name);
3626           ignore_rest_of_line ();
3627           return;
3628         }
3629
3630       /* Short-circuiting instead of just checking here might speed
3631          things up a tiny little bit, but loop error messages would
3632          miss intermediate links.  */
3633       /* symbolP2 = symp; */
3634     }
3635
3636   memset (&exp, 0, sizeof (exp));
3637   exp.X_op = O_symbol;
3638   exp.X_add_symbol = symbolP2;
3639
3640   S_SET_SEGMENT (symbolP, undefined_section);
3641   symbol_set_value_expression (symbolP, &exp);
3642   symbol_set_frag (symbolP, &zero_address_frag);
3643   S_SET_WEAKREFR (symbolP);
3644
3645   demand_empty_rest_of_line ();
3646   free (name);
3647   return;
3648
3649  err_out:
3650   ignore_rest_of_line ();
3651   free (name);
3652   return;
3653 }
3654 \f
3655
3656 /* Verify that we are at the end of a line.  If not, issue an error and
3657    skip to EOL.  */
3658
3659 void
3660 demand_empty_rest_of_line (void)
3661 {
3662   SKIP_WHITESPACE ();
3663   if (is_end_of_line[(unsigned char) *input_line_pointer])
3664     input_line_pointer++;
3665   else
3666     {
3667       if (ISPRINT (*input_line_pointer))
3668         as_bad (_("junk at end of line, first unrecognized character is `%c'"),
3669                  *input_line_pointer);
3670       else
3671         as_bad (_("junk at end of line, first unrecognized character valued 0x%x"),
3672                  *input_line_pointer);
3673       ignore_rest_of_line ();
3674     }
3675
3676   /* Return pointing just after end-of-line.  */
3677   know (is_end_of_line[(unsigned char) input_line_pointer[-1]]);
3678 }
3679
3680 /* Silently advance to the end of line.  Use this after already having
3681    issued an error about something bad.  */
3682
3683 void
3684 ignore_rest_of_line (void)
3685 {
3686   while (input_line_pointer < buffer_limit
3687          && !is_end_of_line[(unsigned char) *input_line_pointer])
3688     input_line_pointer++;
3689
3690   input_line_pointer++;
3691
3692   /* Return pointing just after end-of-line.  */
3693   know (is_end_of_line[(unsigned char) input_line_pointer[-1]]);
3694 }
3695
3696 /* Sets frag for given symbol to zero_address_frag, except when the
3697    symbol frag is already set to a dummy listing frag.  */
3698
3699 static void
3700 set_zero_frag (symbolS *symbolP)
3701 {
3702   if (symbol_get_frag (symbolP)->fr_type != rs_dummy)
3703     symbol_set_frag (symbolP, &zero_address_frag);
3704 }
3705
3706 /* In:  Pointer to a symbol.
3707         Input_line_pointer->expression.
3708
3709    Out: Input_line_pointer->just after any whitespace after expression.
3710         Tried to set symbol to value of expression.
3711         Will change symbols type, value, and frag;  */
3712
3713 void
3714 pseudo_set (symbolS *symbolP)
3715 {
3716   expressionS exp;
3717   segT seg;
3718
3719   know (symbolP);               /* NULL pointer is logic error.  */
3720
3721   if (!S_IS_FORWARD_REF (symbolP))
3722     (void) expression (&exp);
3723   else
3724     (void) deferred_expression (&exp);
3725
3726   if (exp.X_op == O_illegal)
3727     as_bad (_("illegal expression"));
3728   else if (exp.X_op == O_absent)
3729     as_bad (_("missing expression"));
3730   else if (exp.X_op == O_big)
3731     {
3732       if (exp.X_add_number > 0)
3733         as_bad (_("bignum invalid"));
3734       else
3735         as_bad (_("floating point number invalid"));
3736     }
3737   else if (exp.X_op == O_subtract
3738            && !S_IS_FORWARD_REF (symbolP)
3739            && SEG_NORMAL (S_GET_SEGMENT (exp.X_add_symbol))
3740            && (symbol_get_frag (exp.X_add_symbol)
3741                == symbol_get_frag (exp.X_op_symbol)))
3742     {
3743       exp.X_op = O_constant;
3744       exp.X_add_number = (S_GET_VALUE (exp.X_add_symbol)
3745                           - S_GET_VALUE (exp.X_op_symbol));
3746     }
3747
3748   if (symbol_section_p (symbolP))
3749     {
3750       as_bad ("attempt to set value of section symbol");
3751       return;
3752     }
3753
3754   switch (exp.X_op)
3755     {
3756     case O_illegal:
3757     case O_absent:
3758     case O_big:
3759       exp.X_add_number = 0;
3760       /* Fall through.  */
3761     case O_constant:
3762       S_SET_SEGMENT (symbolP, absolute_section);
3763       S_SET_VALUE (symbolP, (valueT) exp.X_add_number);
3764       set_zero_frag (symbolP);
3765       break;
3766
3767     case O_register:
3768 #ifndef TC_GLOBAL_REGISTER_SYMBOL_OK
3769       if (S_IS_EXTERNAL (symbolP))
3770         {
3771           as_bad ("can't equate global symbol `%s' with register name",
3772                   S_GET_NAME (symbolP));
3773           return;
3774         }
3775 #endif
3776       S_SET_SEGMENT (symbolP, reg_section);
3777       S_SET_VALUE (symbolP, (valueT) exp.X_add_number);
3778       set_zero_frag (symbolP);
3779       symbol_get_value_expression (symbolP)->X_op = O_register;
3780       break;
3781
3782     case O_symbol:
3783       seg = S_GET_SEGMENT (exp.X_add_symbol);
3784       /* For x=undef+const, create an expression symbol.
3785          For x=x+const, just update x except when x is an undefined symbol
3786          For x=defined+const, evaluate x.  */
3787       if (symbolP == exp.X_add_symbol
3788           && (seg != undefined_section
3789               || !symbol_constant_p (symbolP)))
3790         {
3791           *symbol_X_add_number (symbolP) += exp.X_add_number;
3792           break;
3793         }
3794       else if (!S_IS_FORWARD_REF (symbolP) && seg != undefined_section)
3795         {
3796           symbolS *s = exp.X_add_symbol;
3797
3798           if (S_IS_COMMON (s))
3799             as_bad (_("`%s' can't be equated to common symbol '%s'"),
3800                     S_GET_NAME (symbolP), S_GET_NAME (s));
3801
3802           S_SET_SEGMENT (symbolP, seg);
3803           S_SET_VALUE (symbolP, exp.X_add_number + S_GET_VALUE (s));
3804           symbol_set_frag (symbolP, symbol_get_frag (s));
3805           copy_symbol_attributes (symbolP, s);
3806           break;
3807         }
3808       S_SET_SEGMENT (symbolP, undefined_section);
3809       symbol_set_value_expression (symbolP, &exp);
3810       copy_symbol_attributes (symbolP, exp.X_add_symbol);
3811       set_zero_frag (symbolP);
3812       break;
3813
3814     default:
3815       /* The value is some complex expression.  */
3816       S_SET_SEGMENT (symbolP, expr_section);
3817       symbol_set_value_expression (symbolP, &exp);
3818       set_zero_frag (symbolP);
3819       break;
3820     }
3821 }
3822 \f
3823 /*                      cons()
3824
3825    CONStruct more frag of .bytes, or .words etc.
3826    Should need_pass_2 be 1 then emit no frag(s).
3827    This understands EXPRESSIONS.
3828
3829    Bug (?)
3830
3831    This has a split personality. We use expression() to read the
3832    value. We can detect if the value won't fit in a byte or word.
3833    But we can't detect if expression() discarded significant digits
3834    in the case of a long. Not worth the crocks required to fix it.  */
3835
3836 /* Select a parser for cons expressions.  */
3837
3838 /* Some targets need to parse the expression in various fancy ways.
3839    You can define TC_PARSE_CONS_EXPRESSION to do whatever you like
3840    (for example, the HPPA does this).  Otherwise, you can define
3841    BITFIELD_CONS_EXPRESSIONS to permit bitfields to be specified, or
3842    REPEAT_CONS_EXPRESSIONS to permit repeat counts.  If none of these
3843    are defined, which is the normal case, then only simple expressions
3844    are permitted.  */
3845
3846 #ifdef TC_M68K
3847 static void
3848 parse_mri_cons (expressionS *exp, unsigned int nbytes);
3849 #endif
3850
3851 #ifndef TC_PARSE_CONS_EXPRESSION
3852 #ifdef BITFIELD_CONS_EXPRESSIONS
3853 #define TC_PARSE_CONS_EXPRESSION(EXP, NBYTES) parse_bitfield_cons (EXP, NBYTES)
3854 static void
3855 parse_bitfield_cons (expressionS *exp, unsigned int nbytes);
3856 #endif
3857 #ifdef REPEAT_CONS_EXPRESSIONS
3858 #define TC_PARSE_CONS_EXPRESSION(EXP, NBYTES) parse_repeat_cons (EXP, NBYTES)
3859 static void
3860 parse_repeat_cons (expressionS *exp, unsigned int nbytes);
3861 #endif
3862
3863 /* If we haven't gotten one yet, just call expression.  */
3864 #ifndef TC_PARSE_CONS_EXPRESSION
3865 #define TC_PARSE_CONS_EXPRESSION(EXP, NBYTES) expression (EXP)
3866 #endif
3867 #endif
3868
3869 void
3870 do_parse_cons_expression (expressionS *exp,
3871                           int nbytes ATTRIBUTE_UNUSED)
3872 {
3873   TC_PARSE_CONS_EXPRESSION (exp, nbytes);
3874 }
3875
3876
3877 /* Worker to do .byte etc statements.
3878    Clobbers input_line_pointer and checks end-of-line.  */
3879
3880 static void
3881 cons_worker (int nbytes,        /* 1=.byte, 2=.word, 4=.long.  */
3882              int rva)
3883 {
3884   int c;
3885   expressionS exp;
3886   char *stop = NULL;
3887   char stopc = 0;
3888
3889 #ifdef md_flush_pending_output
3890   md_flush_pending_output ();
3891 #endif
3892
3893   if (flag_mri)
3894     stop = mri_comment_field (&stopc);
3895
3896   if (is_it_end_of_statement ())
3897     {
3898       demand_empty_rest_of_line ();
3899       if (flag_mri)
3900         mri_comment_end (stop, stopc);
3901       return;
3902     }
3903
3904 #ifdef TC_ADDRESS_BYTES
3905   if (nbytes == 0)
3906     nbytes = TC_ADDRESS_BYTES ();
3907 #endif
3908
3909 #ifdef md_cons_align
3910   md_cons_align (nbytes);
3911 #endif
3912
3913   c = 0;
3914   do
3915     {
3916 #ifdef TC_M68K
3917       if (flag_m68k_mri)
3918         parse_mri_cons (&exp, (unsigned int) nbytes);
3919       else
3920 #endif
3921         {
3922           if (*input_line_pointer == '"')
3923             {
3924               as_bad (_("unexpected `\"' in expression"));
3925               ignore_rest_of_line ();
3926               return;
3927             }
3928           TC_PARSE_CONS_EXPRESSION (&exp, (unsigned int) nbytes);
3929         }
3930
3931       if (rva)
3932         {
3933           if (exp.X_op == O_symbol)
3934             exp.X_op = O_symbol_rva;
3935           else
3936             as_fatal (_("rva without symbol"));
3937         }
3938       emit_expr (&exp, (unsigned int) nbytes);
3939       ++c;
3940     }
3941   while (*input_line_pointer++ == ',');
3942
3943   /* In MRI mode, after an odd number of bytes, we must align to an
3944      even word boundary, unless the next instruction is a dc.b, ds.b
3945      or dcb.b.  */
3946   if (flag_mri && nbytes == 1 && (c & 1) != 0)
3947     mri_pending_align = 1;
3948
3949   input_line_pointer--;         /* Put terminator back into stream.  */
3950
3951   demand_empty_rest_of_line ();
3952
3953   if (flag_mri)
3954     mri_comment_end (stop, stopc);
3955 }
3956
3957 void
3958 cons (int size)
3959 {
3960   cons_worker (size, 0);
3961 }
3962
3963 void
3964 s_rva (int size)
3965 {
3966   cons_worker (size, 1);
3967 }
3968
3969 /* .reloc offset, reloc_name, symbol+addend.  */
3970
3971 void
3972 s_reloc (int ignore ATTRIBUTE_UNUSED)
3973 {
3974   char *stop = NULL;
3975   char stopc = 0;
3976   expressionS exp;
3977   char *r_name;
3978   int c;
3979   struct reloc_list *reloc;
3980
3981   reloc = (struct reloc_list *) xmalloc (sizeof (*reloc));
3982
3983   if (flag_mri)
3984     stop = mri_comment_field (&stopc);
3985
3986   expression (&exp);
3987   switch (exp.X_op)
3988     {
3989     case O_illegal:
3990     case O_absent:
3991     case O_big:
3992     case O_register:
3993       as_bad (_("missing or bad offset expression"));
3994       goto err_out;
3995     case O_constant:
3996       exp.X_add_symbol = section_symbol (now_seg);
3997       exp.X_op = O_symbol;
3998       /* Fall thru */
3999     case O_symbol:
4000       if (exp.X_add_number == 0)
4001         {
4002           reloc->u.a.offset_sym = exp.X_add_symbol;
4003           break;
4004         }
4005       /* Fall thru */
4006     default:
4007       reloc->u.a.offset_sym = make_expr_symbol (&exp);
4008       break;
4009     }
4010
4011   SKIP_WHITESPACE ();
4012   if (*input_line_pointer != ',')
4013     {
4014       as_bad (_("missing reloc type"));
4015       goto err_out;
4016     }
4017
4018   ++input_line_pointer;
4019   SKIP_WHITESPACE ();
4020   r_name = input_line_pointer;
4021   c = get_symbol_end ();
4022   reloc->u.a.howto = bfd_reloc_name_lookup (stdoutput, r_name);
4023   *input_line_pointer = c;
4024   if (reloc->u.a.howto == NULL)
4025     {
4026       as_bad (_("unrecognized reloc type"));
4027       goto err_out;
4028     }
4029
4030   exp.X_op = O_absent;
4031   SKIP_WHITESPACE ();
4032   if (*input_line_pointer == ',')
4033     {
4034       ++input_line_pointer;
4035       expression (&exp);
4036     }
4037   switch (exp.X_op)
4038     {
4039     case O_illegal:
4040     case O_big:
4041     case O_register:
4042       as_bad (_("bad reloc expression"));
4043     err_out:
4044       ignore_rest_of_line ();
4045       free (reloc);
4046       if (flag_mri)
4047         mri_comment_end (stop, stopc);
4048       return;
4049     case O_absent:
4050       reloc->u.a.sym = NULL;
4051       reloc->u.a.addend = 0;
4052       break;
4053     case O_constant:
4054       reloc->u.a.sym = NULL;
4055       reloc->u.a.addend = exp.X_add_number;
4056       break;
4057     case O_symbol:
4058       reloc->u.a.sym = exp.X_add_symbol;
4059       reloc->u.a.addend = exp.X_add_number;
4060       break;
4061     default:
4062       reloc->u.a.sym = make_expr_symbol (&exp);
4063       reloc->u.a.addend = 0;
4064       break;
4065     }
4066
4067   as_where (&reloc->file, &reloc->line);
4068   reloc->next = reloc_list;
4069   reloc_list = reloc;
4070
4071   demand_empty_rest_of_line ();
4072   if (flag_mri)
4073     mri_comment_end (stop, stopc);
4074 }
4075
4076 /* Put the contents of expression EXP into the object file using
4077    NBYTES bytes.  If need_pass_2 is 1, this does nothing.  */
4078
4079 void
4080 emit_expr (expressionS *exp, unsigned int nbytes)
4081 {
4082   operatorT op;
4083   char *p;
4084   valueT extra_digit = 0;
4085
4086   /* Don't do anything if we are going to make another pass.  */
4087   if (need_pass_2)
4088     return;
4089
4090   frag_grow (nbytes);
4091   dot_value = frag_now_fix ();
4092   dot_frag = frag_now;
4093
4094 #ifndef NO_LISTING
4095 #ifdef OBJ_ELF
4096   /* When gcc emits DWARF 1 debugging pseudo-ops, a line number will
4097      appear as a four byte positive constant in the .line section,
4098      followed by a 2 byte 0xffff.  Look for that case here.  */
4099   {
4100     static int dwarf_line = -1;
4101
4102     if (strcmp (segment_name (now_seg), ".line") != 0)
4103       dwarf_line = -1;
4104     else if (dwarf_line >= 0
4105              && nbytes == 2
4106              && exp->X_op == O_constant
4107              && (exp->X_add_number == -1 || exp->X_add_number == 0xffff))
4108       listing_source_line ((unsigned int) dwarf_line);
4109     else if (nbytes == 4
4110              && exp->X_op == O_constant
4111              && exp->X_add_number >= 0)
4112       dwarf_line = exp->X_add_number;
4113     else
4114       dwarf_line = -1;
4115   }
4116
4117   /* When gcc emits DWARF 1 debugging pseudo-ops, a file name will
4118      appear as a 2 byte TAG_compile_unit (0x11) followed by a 2 byte
4119      AT_sibling (0x12) followed by a four byte address of the sibling
4120      followed by a 2 byte AT_name (0x38) followed by the name of the
4121      file.  We look for that case here.  */
4122   {
4123     static int dwarf_file = 0;
4124
4125     if (strcmp (segment_name (now_seg), ".debug") != 0)
4126       dwarf_file = 0;
4127     else if (dwarf_file == 0
4128              && nbytes == 2
4129              && exp->X_op == O_constant
4130              && exp->X_add_number == 0x11)
4131       dwarf_file = 1;
4132     else if (dwarf_file == 1
4133              && nbytes == 2
4134              && exp->X_op == O_constant
4135              && exp->X_add_number == 0x12)
4136       dwarf_file = 2;
4137     else if (dwarf_file == 2
4138              && nbytes == 4)
4139       dwarf_file = 3;
4140     else if (dwarf_file == 3
4141              && nbytes == 2
4142              && exp->X_op == O_constant
4143              && exp->X_add_number == 0x38)
4144       dwarf_file = 4;
4145     else
4146       dwarf_file = 0;
4147
4148     /* The variable dwarf_file_string tells stringer that the string
4149        may be the name of the source file.  */
4150     if (dwarf_file == 4)
4151       dwarf_file_string = 1;
4152     else
4153       dwarf_file_string = 0;
4154   }
4155 #endif
4156 #endif
4157
4158   if (check_eh_frame (exp, &nbytes))
4159     return;
4160
4161   op = exp->X_op;
4162
4163   /* Allow `.word 0' in the absolute section.  */
4164   if (now_seg == absolute_section)
4165     {
4166       if (op != O_constant || exp->X_add_number != 0)
4167         as_bad (_("attempt to store value in absolute section"));
4168       abs_section_offset += nbytes;
4169       return;
4170     }
4171
4172   /* Handle a negative bignum.  */
4173   if (op == O_uminus
4174       && exp->X_add_number == 0
4175       && symbol_get_value_expression (exp->X_add_symbol)->X_op == O_big
4176       && symbol_get_value_expression (exp->X_add_symbol)->X_add_number > 0)
4177     {
4178       int i;
4179       unsigned long carry;
4180
4181       exp = symbol_get_value_expression (exp->X_add_symbol);
4182
4183       /* Negate the bignum: one's complement each digit and add 1.  */
4184       carry = 1;
4185       for (i = 0; i < exp->X_add_number; i++)
4186         {
4187           unsigned long next;
4188
4189           next = (((~(generic_bignum[i] & LITTLENUM_MASK))
4190                    & LITTLENUM_MASK)
4191                   + carry);
4192           generic_bignum[i] = next & LITTLENUM_MASK;
4193           carry = next >> LITTLENUM_NUMBER_OF_BITS;
4194         }
4195
4196       /* We can ignore any carry out, because it will be handled by
4197          extra_digit if it is needed.  */
4198
4199       extra_digit = (valueT) -1;
4200       op = O_big;
4201     }
4202
4203   if (op == O_absent || op == O_illegal)
4204     {
4205       as_warn (_("zero assumed for missing expression"));
4206       exp->X_add_number = 0;
4207       op = O_constant;
4208     }
4209   else if (op == O_big && exp->X_add_number <= 0)
4210     {
4211       as_bad (_("floating point number invalid"));
4212       exp->X_add_number = 0;
4213       op = O_constant;
4214     }
4215   else if (op == O_register)
4216     {
4217       as_warn (_("register value used as expression"));
4218       op = O_constant;
4219     }
4220
4221   p = frag_more ((int) nbytes);
4222
4223 #ifndef WORKING_DOT_WORD
4224   /* If we have the difference of two symbols in a word, save it on
4225      the broken_words list.  See the code in write.c.  */
4226   if (op == O_subtract && nbytes == 2)
4227     {
4228       struct broken_word *x;
4229
4230       x = (struct broken_word *) xmalloc (sizeof (struct broken_word));
4231       x->next_broken_word = broken_words;
4232       broken_words = x;
4233       x->seg = now_seg;
4234       x->subseg = now_subseg;
4235       x->frag = frag_now;
4236       x->word_goes_here = p;
4237       x->dispfrag = 0;
4238       x->add = exp->X_add_symbol;
4239       x->sub = exp->X_op_symbol;
4240       x->addnum = exp->X_add_number;
4241       x->added = 0;
4242       x->use_jump = 0;
4243       new_broken_words++;
4244       return;
4245     }
4246 #endif
4247
4248   /* If we have an integer, but the number of bytes is too large to
4249      pass to md_number_to_chars, handle it as a bignum.  */
4250   if (op == O_constant && nbytes > sizeof (valueT))
4251     {
4252       extra_digit = exp->X_unsigned ? 0 : -1;
4253       convert_to_bignum (exp);
4254       op = O_big;
4255     }
4256
4257   if (op == O_constant)
4258     {
4259       valueT get;
4260       valueT use;
4261       valueT mask;
4262       valueT hibit;
4263       valueT unmask;
4264
4265       /* JF << of >= number of bits in the object is undefined.  In
4266          particular SPARC (Sun 4) has problems.  */
4267       if (nbytes >= sizeof (valueT))
4268         {
4269           mask = 0;
4270           if (nbytes > sizeof (valueT))
4271             hibit = 0;
4272           else
4273             hibit = (valueT) 1 << (nbytes * BITS_PER_CHAR - 1);
4274         }
4275       else
4276         {
4277           /* Don't store these bits.  */
4278           mask = ~(valueT) 0 << (BITS_PER_CHAR * nbytes);
4279           hibit = (valueT) 1 << (nbytes * BITS_PER_CHAR - 1);
4280         }
4281
4282       unmask = ~mask;           /* Do store these bits.  */
4283
4284 #ifdef NEVER
4285       "Do this mod if you want every overflow check to assume SIGNED 2's complement data.";
4286       mask = ~(unmask >> 1);    /* Includes sign bit now.  */
4287 #endif
4288
4289       get = exp->X_add_number;
4290       use = get & unmask;
4291       if ((get & mask) != 0
4292           && ((get & mask) != mask
4293               || (get & hibit) == 0))
4294         {               /* Leading bits contain both 0s & 1s.  */
4295 #if defined (BFD64) && BFD_HOST_64BIT_LONG_LONG
4296 #ifndef __MSVCRT__
4297           as_warn (_("value 0x%llx truncated to 0x%llx"),
4298                    (unsigned long long) get, (unsigned long long) use);
4299 #else
4300           as_warn (_("value 0x%I64x truncated to 0x%I64x"),
4301                    (unsigned long long) get, (unsigned long long) use);
4302 #endif
4303 #else
4304           as_warn (_("value 0x%lx truncated to 0x%lx"),
4305                    (unsigned long) get, (unsigned long) use);
4306 #endif
4307         }
4308       /* Put bytes in right order.  */
4309       md_number_to_chars (p, use, (int) nbytes);
4310     }
4311   else if (op == O_big)
4312     {
4313       unsigned int size;
4314       LITTLENUM_TYPE *nums;
4315
4316       size = exp->X_add_number * CHARS_PER_LITTLENUM;
4317       if (nbytes < size)
4318         {
4319           int i = nbytes / CHARS_PER_LITTLENUM;
4320           if (i != 0)
4321             {
4322               LITTLENUM_TYPE sign = 0;
4323               if ((generic_bignum[--i]
4324                    & (1 << (LITTLENUM_NUMBER_OF_BITS - 1))) != 0)
4325                 sign = ~(LITTLENUM_TYPE) 0;
4326               while (++i < exp->X_add_number)
4327                 if (generic_bignum[i] != sign)
4328                   break;
4329             }
4330           if (i < exp->X_add_number)
4331             as_warn (_("bignum truncated to %d bytes"), nbytes);
4332           size = nbytes;
4333         }
4334
4335       if (nbytes == 1)
4336         {
4337           md_number_to_chars (p, (valueT) generic_bignum[0], 1);
4338           return;
4339         }
4340       know (nbytes % CHARS_PER_LITTLENUM == 0);
4341
4342       if (target_big_endian)
4343         {
4344           while (nbytes > size)
4345             {
4346               md_number_to_chars (p, extra_digit, CHARS_PER_LITTLENUM);
4347               nbytes -= CHARS_PER_LITTLENUM;
4348               p += CHARS_PER_LITTLENUM;
4349             }
4350
4351           nums = generic_bignum + size / CHARS_PER_LITTLENUM;
4352           while (size >= CHARS_PER_LITTLENUM)
4353             {
4354               --nums;
4355               md_number_to_chars (p, (valueT) *nums, CHARS_PER_LITTLENUM);
4356               size -= CHARS_PER_LITTLENUM;
4357               p += CHARS_PER_LITTLENUM;
4358             }
4359         }
4360       else
4361         {
4362           nums = generic_bignum;
4363           while (size >= CHARS_PER_LITTLENUM)
4364             {
4365               md_number_to_chars (p, (valueT) *nums, CHARS_PER_LITTLENUM);
4366               ++nums;
4367               size -= CHARS_PER_LITTLENUM;
4368               p += CHARS_PER_LITTLENUM;
4369               nbytes -= CHARS_PER_LITTLENUM;
4370             }
4371
4372           while (nbytes >= CHARS_PER_LITTLENUM)
4373             {
4374               md_number_to_chars (p, extra_digit, CHARS_PER_LITTLENUM);
4375               nbytes -= CHARS_PER_LITTLENUM;
4376               p += CHARS_PER_LITTLENUM;
4377             }
4378         }
4379     }
4380   else
4381     emit_expr_fix (exp, nbytes, frag_now, p);
4382 }
4383
4384 void
4385 emit_expr_fix (expressionS *exp, unsigned int nbytes, fragS *frag, char *p)
4386 {
4387   memset (p, 0, nbytes);
4388
4389   /* Generate a fixS to record the symbol value.  */
4390
4391 #ifdef TC_CONS_FIX_NEW
4392   TC_CONS_FIX_NEW (frag, p - frag->fr_literal, nbytes, exp);
4393 #else
4394   {
4395     bfd_reloc_code_real_type r;
4396
4397     switch (nbytes)
4398       {
4399       case 1:
4400         r = BFD_RELOC_8;
4401         break;
4402       case 2:
4403         r = BFD_RELOC_16;
4404         break;
4405       case 3:
4406         r = BFD_RELOC_24;
4407         break;
4408       case 4:
4409         r = BFD_RELOC_32;
4410         break;
4411       case 8:
4412         r = BFD_RELOC_64;
4413         break;
4414       default:
4415         as_bad (_("unsupported BFD relocation size %u"), nbytes);
4416         r = BFD_RELOC_32;
4417         break;
4418       }
4419     fix_new_exp (frag, p - frag->fr_literal, (int) nbytes, exp,
4420                  0, r);
4421   }
4422 #endif
4423 }
4424 \f
4425 #ifdef BITFIELD_CONS_EXPRESSIONS
4426
4427 /* i960 assemblers, (eg, asm960), allow bitfields after ".byte" as
4428    w:x,y:z, where w and y are bitwidths and x and y are values.  They
4429    then pack them all together. We do a little better in that we allow
4430    them in words, longs, etc. and we'll pack them in target byte order
4431    for you.
4432
4433    The rules are: pack least significant bit first, if a field doesn't
4434    entirely fit, put it in the next unit.  Overflowing the bitfield is
4435    explicitly *not* even a warning.  The bitwidth should be considered
4436    a "mask".
4437
4438    To use this function the tc-XXX.h file should define
4439    BITFIELD_CONS_EXPRESSIONS.  */
4440
4441 static void
4442 parse_bitfield_cons (exp, nbytes)
4443      expressionS *exp;
4444      unsigned int nbytes;
4445 {
4446   unsigned int bits_available = BITS_PER_CHAR * nbytes;
4447   char *hold = input_line_pointer;
4448
4449   (void) expression (exp);
4450
4451   if (*input_line_pointer == ':')
4452     {
4453       /* Bitfields.  */
4454       long value = 0;
4455
4456       for (;;)
4457         {
4458           unsigned long width;
4459
4460           if (*input_line_pointer != ':')
4461             {
4462               input_line_pointer = hold;
4463               break;
4464             }                   /* Next piece is not a bitfield.  */
4465
4466           /* In the general case, we can't allow
4467              full expressions with symbol
4468              differences and such.  The relocation
4469              entries for symbols not defined in this
4470              assembly would require arbitrary field
4471              widths, positions, and masks which most
4472              of our current object formats don't
4473              support.
4474
4475              In the specific case where a symbol
4476              *is* defined in this assembly, we
4477              *could* build fixups and track it, but
4478              this could lead to confusion for the
4479              backends.  I'm lazy. I'll take any
4480              SEG_ABSOLUTE. I think that means that
4481              you can use a previous .set or
4482              .equ type symbol.  xoxorich.  */
4483
4484           if (exp->X_op == O_absent)
4485             {
4486               as_warn (_("using a bit field width of zero"));
4487               exp->X_add_number = 0;
4488               exp->X_op = O_constant;
4489             }                   /* Implied zero width bitfield.  */
4490
4491           if (exp->X_op != O_constant)
4492             {
4493               *input_line_pointer = '\0';
4494               as_bad (_("field width \"%s\" too complex for a bitfield"), hold);
4495               *input_line_pointer = ':';
4496               demand_empty_rest_of_line ();
4497               return;
4498             }                   /* Too complex.  */
4499
4500           if ((width = exp->X_add_number) > (BITS_PER_CHAR * nbytes))
4501             {
4502               as_warn (_("field width %lu too big to fit in %d bytes: truncated to %d bits"),
4503                        width, nbytes, (BITS_PER_CHAR * nbytes));
4504               width = BITS_PER_CHAR * nbytes;
4505             }                   /* Too big.  */
4506
4507           if (width > bits_available)
4508             {
4509               /* FIXME-SOMEDAY: backing up and reparsing is wasteful.  */
4510               input_line_pointer = hold;
4511               exp->X_add_number = value;
4512               break;
4513             }                   /* Won't fit.  */
4514
4515           /* Skip ':'.  */
4516           hold = ++input_line_pointer;
4517
4518           (void) expression (exp);
4519           if (exp->X_op != O_constant)
4520             {
4521               char cache = *input_line_pointer;
4522
4523               *input_line_pointer = '\0';
4524               as_bad (_("field value \"%s\" too complex for a bitfield"), hold);
4525               *input_line_pointer = cache;
4526               demand_empty_rest_of_line ();
4527               return;
4528             }                   /* Too complex.  */
4529
4530           value |= ((~(-1 << width) & exp->X_add_number)
4531                     << ((BITS_PER_CHAR * nbytes) - bits_available));
4532
4533           if ((bits_available -= width) == 0
4534               || is_it_end_of_statement ()
4535               || *input_line_pointer != ',')
4536             {
4537               break;
4538             }                   /* All the bitfields we're gonna get.  */
4539
4540           hold = ++input_line_pointer;
4541           (void) expression (exp);
4542         }
4543
4544       exp->X_add_number = value;
4545       exp->X_op = O_constant;
4546       exp->X_unsigned = 1;
4547     }
4548 }
4549
4550 #endif /* BITFIELD_CONS_EXPRESSIONS */
4551 \f
4552 /* Handle an MRI style string expression.  */
4553
4554 #ifdef TC_M68K
4555 static void
4556 parse_mri_cons (exp, nbytes)
4557      expressionS *exp;
4558      unsigned int nbytes;
4559 {
4560   if (*input_line_pointer != '\''
4561       && (input_line_pointer[1] != '\''
4562           || (*input_line_pointer != 'A'
4563               && *input_line_pointer != 'E')))
4564     TC_PARSE_CONS_EXPRESSION (exp, nbytes);
4565   else
4566     {
4567       unsigned int scan;
4568       unsigned int result = 0;
4569
4570       /* An MRI style string.  Cut into as many bytes as will fit into
4571          a nbyte chunk, left justify if necessary, and separate with
4572          commas so we can try again later.  */
4573       if (*input_line_pointer == 'A')
4574         ++input_line_pointer;
4575       else if (*input_line_pointer == 'E')
4576         {
4577           as_bad (_("EBCDIC constants are not supported"));
4578           ++input_line_pointer;
4579         }
4580
4581       input_line_pointer++;
4582       for (scan = 0; scan < nbytes; scan++)
4583         {
4584           if (*input_line_pointer == '\'')
4585             {
4586               if (input_line_pointer[1] == '\'')
4587                 {
4588                   input_line_pointer++;
4589                 }
4590               else
4591                 break;
4592             }
4593           result = (result << 8) | (*input_line_pointer++);
4594         }
4595
4596       /* Left justify.  */
4597       while (scan < nbytes)
4598         {
4599           result <<= 8;
4600           scan++;
4601         }
4602
4603       /* Create correct expression.  */
4604       exp->X_op = O_constant;
4605       exp->X_add_number = result;
4606
4607       /* Fake it so that we can read the next char too.  */
4608       if (input_line_pointer[0] != '\'' ||
4609           (input_line_pointer[0] == '\'' && input_line_pointer[1] == '\''))
4610         {
4611           input_line_pointer -= 2;
4612           input_line_pointer[0] = ',';
4613           input_line_pointer[1] = '\'';
4614         }
4615       else
4616         input_line_pointer++;
4617     }
4618 }
4619 #endif /* TC_M68K */
4620 \f
4621 #ifdef REPEAT_CONS_EXPRESSIONS
4622
4623 /* Parse a repeat expression for cons.  This is used by the MIPS
4624    assembler.  The format is NUMBER:COUNT; NUMBER appears in the
4625    object file COUNT times.
4626
4627    To use this for a target, define REPEAT_CONS_EXPRESSIONS.  */
4628
4629 static void
4630 parse_repeat_cons (exp, nbytes)
4631      expressionS *exp;
4632      unsigned int nbytes;
4633 {
4634   expressionS count;
4635   int i;
4636
4637   expression (exp);
4638
4639   if (*input_line_pointer != ':')
4640     {
4641       /* No repeat count.  */
4642       return;
4643     }
4644
4645   ++input_line_pointer;
4646   expression (&count);
4647   if (count.X_op != O_constant
4648       || count.X_add_number <= 0)
4649     {
4650       as_warn (_("unresolvable or nonpositive repeat count; using 1"));
4651       return;
4652     }
4653
4654   /* The cons function is going to output this expression once.  So we
4655      output it count - 1 times.  */
4656   for (i = count.X_add_number - 1; i > 0; i--)
4657     emit_expr (exp, nbytes);
4658 }
4659
4660 #endif /* REPEAT_CONS_EXPRESSIONS */
4661 \f
4662 /* Parse a floating point number represented as a hex constant.  This
4663    permits users to specify the exact bits they want in the floating
4664    point number.  */
4665
4666 static int
4667 hex_float (int float_type, char *bytes)
4668 {
4669   int length;
4670   int i;
4671
4672   switch (float_type)
4673     {
4674     case 'f':
4675     case 'F':
4676     case 's':
4677     case 'S':
4678       length = 4;
4679       break;
4680
4681     case 'd':
4682     case 'D':
4683     case 'r':
4684     case 'R':
4685       length = 8;
4686       break;
4687
4688     case 'x':
4689     case 'X':
4690       length = 12;
4691       break;
4692
4693     case 'p':
4694     case 'P':
4695       length = 12;
4696       break;
4697
4698     default:
4699       as_bad (_("unknown floating type type '%c'"), float_type);
4700       return -1;
4701     }
4702
4703   /* It would be nice if we could go through expression to parse the
4704      hex constant, but if we get a bignum it's a pain to sort it into
4705      the buffer correctly.  */
4706   i = 0;
4707   while (hex_p (*input_line_pointer) || *input_line_pointer == '_')
4708     {
4709       int d;
4710
4711       /* The MRI assembler accepts arbitrary underscores strewn about
4712          through the hex constant, so we ignore them as well.  */
4713       if (*input_line_pointer == '_')
4714         {
4715           ++input_line_pointer;
4716           continue;
4717         }
4718
4719       if (i >= length)
4720         {
4721           as_warn (_("floating point constant too large"));
4722           return -1;
4723         }
4724       d = hex_value (*input_line_pointer) << 4;
4725       ++input_line_pointer;
4726       while (*input_line_pointer == '_')
4727         ++input_line_pointer;
4728       if (hex_p (*input_line_pointer))
4729         {
4730           d += hex_value (*input_line_pointer);
4731           ++input_line_pointer;
4732         }
4733       if (target_big_endian)
4734         bytes[i] = d;
4735       else
4736         bytes[length - i - 1] = d;
4737       ++i;
4738     }
4739
4740   if (i < length)
4741     {
4742       if (target_big_endian)
4743         memset (bytes + i, 0, length - i);
4744       else
4745         memset (bytes, 0, length - i);
4746     }
4747
4748   return length;
4749 }
4750
4751 /*                      float_cons()
4752
4753    CONStruct some more frag chars of .floats .ffloats etc.
4754    Makes 0 or more new frags.
4755    If need_pass_2 == 1, no frags are emitted.
4756    This understands only floating literals, not expressions. Sorry.
4757
4758    A floating constant is defined by atof_generic(), except it is preceded
4759    by 0d 0f 0g or 0h. After observing the STRANGE way my BSD AS does its
4760    reading, I decided to be incompatible. This always tries to give you
4761    rounded bits to the precision of the pseudo-op. Former AS did premature
4762    truncation, restored noisy bits instead of trailing 0s AND gave you
4763    a choice of 2 flavours of noise according to which of 2 floating-point
4764    scanners you directed AS to use.
4765
4766    In:  input_line_pointer->whitespace before, or '0' of flonum.  */
4767
4768 void
4769 float_cons (/* Clobbers input_line-pointer, checks end-of-line.  */
4770             int float_type      /* 'f':.ffloat ... 'F':.float ...  */)
4771 {
4772   char *p;
4773   int length;                   /* Number of chars in an object.  */
4774   char *err;            /* Error from scanning floating literal.  */
4775   char temp[MAXIMUM_NUMBER_OF_CHARS_FOR_FLOAT];
4776
4777   if (is_it_end_of_statement ())
4778     {
4779       demand_empty_rest_of_line ();
4780       return;
4781     }
4782
4783 #ifdef md_flush_pending_output
4784   md_flush_pending_output ();
4785 #endif
4786
4787 #ifdef md_cons_align
4788   md_cons_align (1);
4789 #endif
4790
4791   do
4792     {
4793       /* input_line_pointer->1st char of a flonum (we hope!).  */
4794       SKIP_WHITESPACE ();
4795
4796       /* Skip any 0{letter} that may be present. Don't even check if the
4797          letter is legal. Someone may invent a "z" format and this routine
4798          has no use for such information. Lusers beware: you get
4799          diagnostics if your input is ill-conditioned.  */
4800       if (input_line_pointer[0] == '0'
4801           && ISALPHA (input_line_pointer[1]))
4802         input_line_pointer += 2;
4803
4804       /* Accept :xxxx, where the x's are hex digits, for a floating
4805          point with the exact digits specified.  */
4806       if (input_line_pointer[0] == ':')
4807         {
4808           ++input_line_pointer;
4809           length = hex_float (float_type, temp);
4810           if (length < 0)
4811             {
4812               ignore_rest_of_line ();
4813               return;
4814             }
4815         }
4816       else
4817         {
4818           err = md_atof (float_type, temp, &length);
4819           know (length <= MAXIMUM_NUMBER_OF_CHARS_FOR_FLOAT);
4820           know (err != NULL || length > 0);
4821           if (err)
4822             {
4823               as_bad (_("bad floating literal: %s"), err);
4824               ignore_rest_of_line ();
4825               return;
4826             }
4827         }
4828
4829       if (!need_pass_2)
4830         {
4831           int count;
4832
4833           count = 1;
4834
4835 #ifdef REPEAT_CONS_EXPRESSIONS
4836           if (*input_line_pointer == ':')
4837             {
4838               expressionS count_exp;
4839
4840               ++input_line_pointer;
4841               expression (&count_exp);
4842
4843               if (count_exp.X_op != O_constant
4844                   || count_exp.X_add_number <= 0)
4845                 as_warn (_("unresolvable or nonpositive repeat count; using 1"));
4846               else
4847                 count = count_exp.X_add_number;
4848             }
4849 #endif
4850
4851           while (--count >= 0)
4852             {
4853               p = frag_more (length);
4854               memcpy (p, temp, (unsigned int) length);
4855             }
4856         }
4857       SKIP_WHITESPACE ();
4858     }
4859   while (*input_line_pointer++ == ',');
4860
4861   /* Put terminator back into stream.  */
4862   --input_line_pointer;
4863   demand_empty_rest_of_line ();
4864 }
4865 \f
4866 /* Return the size of a LEB128 value.  */
4867
4868 static inline int
4869 sizeof_sleb128 (offsetT value)
4870 {
4871   int size = 0;
4872   unsigned byte;
4873
4874   do
4875     {
4876       byte = (value & 0x7f);
4877       /* Sadly, we cannot rely on typical arithmetic right shift behaviour.
4878          Fortunately, we can structure things so that the extra work reduces
4879          to a noop on systems that do things "properly".  */
4880       value = (value >> 7) | ~(-(offsetT)1 >> 7);
4881       size += 1;
4882     }
4883   while (!(((value == 0) && ((byte & 0x40) == 0))
4884            || ((value == -1) && ((byte & 0x40) != 0))));
4885
4886   return size;
4887 }
4888
4889 static inline int
4890 sizeof_uleb128 (valueT value)
4891 {
4892   int size = 0;
4893
4894   do
4895     {
4896       value >>= 7;
4897       size += 1;
4898     }
4899   while (value != 0);
4900
4901   return size;
4902 }
4903
4904 int
4905 sizeof_leb128 (valueT value, int sign)
4906 {
4907   if (sign)
4908     return sizeof_sleb128 ((offsetT) value);
4909   else
4910     return sizeof_uleb128 (value);
4911 }
4912
4913 /* Output a LEB128 value.  */
4914
4915 static inline int
4916 output_sleb128 (char *p, offsetT value)
4917 {
4918   char *orig = p;
4919   int more;
4920
4921   do
4922     {
4923       unsigned byte = (value & 0x7f);
4924
4925       /* Sadly, we cannot rely on typical arithmetic right shift behaviour.
4926          Fortunately, we can structure things so that the extra work reduces
4927          to a noop on systems that do things "properly".  */
4928       value = (value >> 7) | ~(-(offsetT)1 >> 7);
4929
4930       more = !((((value == 0) && ((byte & 0x40) == 0))
4931                 || ((value == -1) && ((byte & 0x40) != 0))));
4932       if (more)
4933         byte |= 0x80;
4934
4935       *p++ = byte;
4936     }
4937   while (more);
4938
4939   return p - orig;
4940 }
4941
4942 static inline int
4943 output_uleb128 (char *p, valueT value)
4944 {
4945   char *orig = p;
4946
4947   do
4948     {
4949       unsigned byte = (value & 0x7f);
4950       value >>= 7;
4951       if (value != 0)
4952         /* More bytes to follow.  */
4953         byte |= 0x80;
4954
4955       *p++ = byte;
4956     }
4957   while (value != 0);
4958
4959   return p - orig;
4960 }
4961
4962 int
4963 output_leb128 (char *p, valueT value, int sign)
4964 {
4965   if (sign)
4966     return output_sleb128 (p, (offsetT) value);
4967   else
4968     return output_uleb128 (p, value);
4969 }
4970
4971 /* Do the same for bignums.  We combine sizeof with output here in that
4972    we don't output for NULL values of P.  It isn't really as critical as
4973    for "normal" values that this be streamlined.  */
4974
4975 static inline int
4976 output_big_sleb128 (char *p, LITTLENUM_TYPE *bignum, int size)
4977 {
4978   char *orig = p;
4979   valueT val = 0;
4980   int loaded = 0;
4981   unsigned byte;
4982
4983   /* Strip leading sign extensions off the bignum.  */
4984   while (size > 1
4985          && bignum[size - 1] == LITTLENUM_MASK
4986          && bignum[size - 2] > LITTLENUM_MASK / 2)
4987     size--;
4988
4989   do
4990     {
4991       /* OR in the next part of the littlenum.  */
4992       val |= (*bignum << loaded);
4993       loaded += LITTLENUM_NUMBER_OF_BITS;
4994       size--;
4995       bignum++;
4996
4997       /* Add bytes until there are less than 7 bits left in VAL
4998          or until every non-sign bit has been written.  */
4999       do
5000         {
5001           byte = val & 0x7f;
5002           loaded -= 7;
5003           val >>= 7;
5004           if (size > 0
5005               || val != ((byte & 0x40) == 0 ? 0 : ((valueT) 1 << loaded) - 1))
5006             byte |= 0x80;
5007
5008           if (orig)
5009             *p = byte;
5010           p++;
5011         }
5012       while ((byte & 0x80) != 0 && loaded >= 7);
5013     }
5014   while (size > 0);
5015
5016   /* Mop up any left-over bits (of which there will be less than 7).  */
5017   if ((byte & 0x80) != 0)
5018     {
5019       /* Sign-extend VAL.  */
5020       if (val & (1 << (loaded - 1)))
5021         val |= ~0 << loaded;
5022       if (orig)
5023         *p = val & 0x7f;
5024       p++;
5025     }
5026
5027   return p - orig;
5028 }
5029
5030 static inline int
5031 output_big_uleb128 (char *p, LITTLENUM_TYPE *bignum, int size)
5032 {
5033   char *orig = p;
5034   valueT val = 0;
5035   int loaded = 0;
5036   unsigned byte;
5037
5038   /* Strip leading zeros off the bignum.  */
5039   /* XXX: Is this needed?  */
5040   while (size > 0 && bignum[size - 1] == 0)
5041     size--;
5042
5043   do
5044     {
5045       if (loaded < 7 && size > 0)
5046         {
5047           val |= (*bignum << loaded);
5048           loaded += 8 * CHARS_PER_LITTLENUM;
5049           size--;
5050           bignum++;
5051         }
5052
5053       byte = val & 0x7f;
5054       loaded -= 7;
5055       val >>= 7;
5056
5057       if (size > 0 || val)
5058         byte |= 0x80;
5059
5060       if (orig)
5061         *p = byte;
5062       p++;
5063     }
5064   while (byte & 0x80);
5065
5066   return p - orig;
5067 }
5068
5069 static int
5070 output_big_leb128 (char *p, LITTLENUM_TYPE *bignum, int size, int sign)
5071 {
5072   if (sign)
5073     return output_big_sleb128 (p, bignum, size);
5074   else
5075     return output_big_uleb128 (p, bignum, size);
5076 }
5077
5078 /* Generate the appropriate fragments for a given expression to emit a
5079    leb128 value.  */
5080
5081 static void
5082 emit_leb128_expr (expressionS *exp, int sign)
5083 {
5084   operatorT op = exp->X_op;
5085   unsigned int nbytes;
5086
5087   if (op == O_absent || op == O_illegal)
5088     {
5089       as_warn (_("zero assumed for missing expression"));
5090       exp->X_add_number = 0;
5091       op = O_constant;
5092     }
5093   else if (op == O_big && exp->X_add_number <= 0)
5094     {
5095       as_bad (_("floating point number invalid"));
5096       exp->X_add_number = 0;
5097       op = O_constant;
5098     }
5099   else if (op == O_register)
5100     {
5101       as_warn (_("register value used as expression"));
5102       op = O_constant;
5103     }
5104   else if (op == O_constant
5105            && sign
5106            && (exp->X_add_number < 0) != !exp->X_unsigned)
5107     {
5108       /* We're outputting a signed leb128 and the sign of X_add_number
5109          doesn't reflect the sign of the original value.  Convert EXP
5110          to a correctly-extended bignum instead.  */
5111       convert_to_bignum (exp);
5112       op = O_big;
5113     }
5114
5115   /* Let check_eh_frame know that data is being emitted.  nbytes == -1 is
5116      a signal that this is leb128 data.  It shouldn't optimize this away.  */
5117   nbytes = (unsigned int) -1;
5118   if (check_eh_frame (exp, &nbytes))
5119     abort ();
5120
5121   /* Let the backend know that subsequent data may be byte aligned.  */
5122 #ifdef md_cons_align
5123   md_cons_align (1);
5124 #endif
5125
5126   if (op == O_constant)
5127     {
5128       /* If we've got a constant, emit the thing directly right now.  */
5129
5130       valueT value = exp->X_add_number;
5131       int size;
5132       char *p;
5133
5134       size = sizeof_leb128 (value, sign);
5135       p = frag_more (size);
5136       output_leb128 (p, value, sign);
5137     }
5138   else if (op == O_big)
5139     {
5140       /* O_big is a different sort of constant.  */
5141
5142       int size;
5143       char *p;
5144
5145       size = output_big_leb128 (NULL, generic_bignum, exp->X_add_number, sign);
5146       p = frag_more (size);
5147       output_big_leb128 (p, generic_bignum, exp->X_add_number, sign);
5148     }
5149   else
5150     {
5151       /* Otherwise, we have to create a variable sized fragment and
5152          resolve things later.  */
5153
5154       frag_var (rs_leb128, sizeof_uleb128 (~(valueT) 0), 0, sign,
5155                 make_expr_symbol (exp), 0, (char *) NULL);
5156     }
5157 }
5158
5159 /* Parse the .sleb128 and .uleb128 pseudos.  */
5160
5161 void
5162 s_leb128 (int sign)
5163 {
5164   expressionS exp;
5165
5166 #ifdef md_flush_pending_output
5167   md_flush_pending_output ();
5168 #endif
5169
5170   do
5171     {
5172       expression (&exp);
5173       emit_leb128_expr (&exp, sign);
5174     }
5175   while (*input_line_pointer++ == ',');
5176
5177   input_line_pointer--;
5178   demand_empty_rest_of_line ();
5179 }
5180 \f
5181 static void
5182 stringer_append_char (int c, int bitsize)
5183 {
5184   if (!target_big_endian)
5185     FRAG_APPEND_1_CHAR (c);
5186
5187   switch (bitsize)
5188     {
5189     case 64:
5190       FRAG_APPEND_1_CHAR (0);
5191       FRAG_APPEND_1_CHAR (0);
5192       FRAG_APPEND_1_CHAR (0);
5193       FRAG_APPEND_1_CHAR (0);
5194       /* Fall through.  */
5195     case 32:
5196       FRAG_APPEND_1_CHAR (0);
5197       FRAG_APPEND_1_CHAR (0);
5198       /* Fall through.  */
5199     case 16:
5200       FRAG_APPEND_1_CHAR (0);
5201       /* Fall through.  */
5202     case 8:
5203       break;
5204     default:
5205       /* Called with invalid bitsize argument.  */
5206       abort ();
5207       break;
5208     }
5209   if (target_big_endian)
5210     FRAG_APPEND_1_CHAR (c);
5211 }
5212
5213 /* Worker to do .ascii etc statements.
5214    Reads 0 or more ',' separated, double-quoted strings.
5215    Caller should have checked need_pass_2 is FALSE because we don't
5216    check it.
5217    Checks for end-of-line.
5218    BITS_APPENDZERO says how many bits are in a target char.
5219    The bottom bit is set if a NUL char should be appended to the strings.  */
5220
5221 void
5222 stringer (int bits_appendzero)
5223 {
5224   const int bitsize = bits_appendzero & ~7;
5225   const int append_zero = bits_appendzero & 1;
5226   unsigned int c;
5227 #if !defined(NO_LISTING) && defined (OBJ_ELF)
5228   char *start;
5229 #endif
5230
5231 #ifdef md_flush_pending_output
5232   md_flush_pending_output ();
5233 #endif
5234
5235 #ifdef md_cons_align
5236   md_cons_align (1);
5237 #endif
5238
5239   /* The following awkward logic is to parse ZERO or more strings,
5240      comma separated. Recall a string expression includes spaces
5241      before the opening '\"' and spaces after the closing '\"'.
5242      We fake a leading ',' if there is (supposed to be)
5243      a 1st, expression. We keep demanding expressions for each ','.  */
5244   if (is_it_end_of_statement ())
5245     {
5246       c = 0;                    /* Skip loop.  */
5247       ++input_line_pointer;     /* Compensate for end of loop.  */
5248     }
5249   else
5250     {
5251       c = ',';                  /* Do loop.  */
5252     }
5253   /* If we have been switched into the abs_section then we
5254      will not have an obstack onto which we can hang strings.  */
5255   if (now_seg == absolute_section)
5256     {
5257       as_bad (_("strings must be placed into a section"));
5258       c = 0;
5259       ignore_rest_of_line ();
5260     }
5261
5262   while (c == ',' || c == '<' || c == '"')
5263     {
5264       SKIP_WHITESPACE ();
5265       switch (*input_line_pointer)
5266         {
5267         case '\"':
5268           ++input_line_pointer; /*->1st char of string.  */
5269 #if !defined(NO_LISTING) && defined (OBJ_ELF)
5270           start = input_line_pointer;
5271 #endif
5272
5273           while (is_a_char (c = next_char_of_string ()))
5274             stringer_append_char (c, bitsize);
5275
5276           if (append_zero)
5277             stringer_append_char (0, bitsize);
5278
5279           know (input_line_pointer[-1] == '\"');
5280
5281 #if !defined(NO_LISTING) && defined (OBJ_ELF)
5282           /* In ELF, when gcc is emitting DWARF 1 debugging output, it
5283              will emit .string with a filename in the .debug section
5284              after a sequence of constants.  See the comment in
5285              emit_expr for the sequence.  emit_expr will set
5286              dwarf_file_string to non-zero if this string might be a
5287              source file name.  */
5288           if (strcmp (segment_name (now_seg), ".debug") != 0)
5289             dwarf_file_string = 0;
5290           else if (dwarf_file_string)
5291             {
5292               c = input_line_pointer[-1];
5293               input_line_pointer[-1] = '\0';
5294               listing_source_file (start);
5295               input_line_pointer[-1] = c;
5296             }
5297 #endif
5298
5299           break;
5300         case '<':
5301           input_line_pointer++;
5302           c = get_single_number ();
5303           stringer_append_char (c, bitsize);
5304           if (*input_line_pointer != '>')
5305             as_bad (_("expected <nn>"));
5306
5307           input_line_pointer++;
5308           break;
5309         case ',':
5310           input_line_pointer++;
5311           break;
5312         }
5313       SKIP_WHITESPACE ();
5314       c = *input_line_pointer;
5315     }
5316
5317   demand_empty_rest_of_line ();
5318 }
5319 \f
5320 /* FIXME-SOMEDAY: I had trouble here on characters with the
5321     high bits set.  We'll probably also have trouble with
5322     multibyte chars, wide chars, etc.  Also be careful about
5323     returning values bigger than 1 byte.  xoxorich.  */
5324
5325 unsigned int
5326 next_char_of_string (void)
5327 {
5328   unsigned int c;
5329
5330   c = *input_line_pointer++ & CHAR_MASK;
5331   switch (c)
5332     {
5333     case '\"':
5334       c = NOT_A_CHAR;
5335       break;
5336
5337     case '\n':
5338       as_warn (_("unterminated string; newline inserted"));
5339       bump_line_counters ();
5340       break;
5341
5342 #ifndef NO_STRING_ESCAPES
5343     case '\\':
5344       switch (c = *input_line_pointer++)
5345         {
5346         case 'b':
5347           c = '\b';
5348           break;
5349
5350         case 'f':
5351           c = '\f';
5352           break;
5353
5354         case 'n':
5355           c = '\n';
5356           break;
5357
5358         case 'r':
5359           c = '\r';
5360           break;
5361
5362         case 't':
5363           c = '\t';
5364           break;
5365
5366         case 'v':
5367           c = '\013';
5368           break;
5369
5370         case '\\':
5371         case '"':
5372           break;                /* As itself.  */
5373
5374         case '0':
5375         case '1':
5376         case '2':
5377         case '3':
5378         case '4':
5379         case '5':
5380         case '6':
5381         case '7':
5382         case '8':
5383         case '9':
5384           {
5385             long number;
5386             int i;
5387
5388             for (i = 0, number = 0;
5389                  ISDIGIT (c) && i < 3;
5390                  c = *input_line_pointer++, i++)
5391               {
5392                 number = number * 8 + c - '0';
5393               }
5394
5395             c = number & 0xff;
5396           }
5397           --input_line_pointer;
5398           break;
5399
5400         case 'x':
5401         case 'X':
5402           {
5403             long number;
5404
5405             number = 0;
5406             c = *input_line_pointer++;
5407             while (ISXDIGIT (c))
5408               {
5409                 if (ISDIGIT (c))
5410                   number = number * 16 + c - '0';
5411                 else if (ISUPPER (c))
5412                   number = number * 16 + c - 'A' + 10;
5413                 else
5414                   number = number * 16 + c - 'a' + 10;
5415                 c = *input_line_pointer++;
5416               }
5417             c = number & 0xff;
5418             --input_line_pointer;
5419           }
5420           break;
5421
5422         case '\n':
5423           /* To be compatible with BSD 4.2 as: give the luser a linefeed!!  */
5424           as_warn (_("unterminated string; newline inserted"));
5425           c = '\n';
5426           bump_line_counters ();
5427           break;
5428
5429         default:
5430
5431 #ifdef ONLY_STANDARD_ESCAPES
5432           as_bad (_("bad escaped character in string"));
5433           c = '?';
5434 #endif /* ONLY_STANDARD_ESCAPES */
5435
5436           break;
5437         }
5438       break;
5439 #endif /* ! defined (NO_STRING_ESCAPES) */
5440
5441     default:
5442       break;
5443     }
5444   return (c);
5445 }
5446 \f
5447 static segT
5448 get_segmented_expression (expressionS *expP)
5449 {
5450   segT retval;
5451
5452   retval = expression (expP);
5453   if (expP->X_op == O_illegal
5454       || expP->X_op == O_absent
5455       || expP->X_op == O_big)
5456     {
5457       as_bad (_("expected address expression"));
5458       expP->X_op = O_constant;
5459       expP->X_add_number = 0;
5460       retval = absolute_section;
5461     }
5462   return retval;
5463 }
5464
5465 static segT
5466 get_known_segmented_expression (expressionS *expP)
5467 {
5468   segT retval = get_segmented_expression (expP);
5469
5470   if (retval == undefined_section)
5471     {
5472       /* There is no easy way to extract the undefined symbol from the
5473          expression.  */
5474       if (expP->X_add_symbol != NULL
5475           && S_GET_SEGMENT (expP->X_add_symbol) != expr_section)
5476         as_warn (_("symbol \"%s\" undefined; zero assumed"),
5477                  S_GET_NAME (expP->X_add_symbol));
5478       else
5479         as_warn (_("some symbol undefined; zero assumed"));
5480       retval = absolute_section;
5481       expP->X_op = O_constant;
5482       expP->X_add_number = 0;
5483     }
5484   return retval;
5485 }
5486
5487 char                            /* Return terminator.  */
5488 get_absolute_expression_and_terminator (long *val_pointer /* Return value of expression.  */)
5489 {
5490   /* FIXME: val_pointer should probably be offsetT *.  */
5491   *val_pointer = (long) get_absolute_expression ();
5492   return (*input_line_pointer++);
5493 }
5494 \f
5495 /* Like demand_copy_string, but return NULL if the string contains any '\0's.
5496    Give a warning if that happens.  */
5497
5498 char *
5499 demand_copy_C_string (int *len_pointer)
5500 {
5501   char *s;
5502
5503   if ((s = demand_copy_string (len_pointer)) != 0)
5504     {
5505       int len;
5506
5507       for (len = *len_pointer; len > 0; len--)
5508         {
5509           if (*s == 0)
5510             {
5511               s = 0;
5512               len = 1;
5513               *len_pointer = 0;
5514               as_bad (_("this string may not contain \'\\0\'"));
5515             }
5516         }
5517     }
5518
5519   return s;
5520 }
5521 \f
5522 /* Demand string, but return a safe (=private) copy of the string.
5523    Return NULL if we can't read a string here.  */
5524
5525 char *
5526 demand_copy_string (int *lenP)
5527 {
5528   unsigned int c;
5529   int len;
5530   char *retval;
5531
5532   len = 0;
5533   SKIP_WHITESPACE ();
5534   if (*input_line_pointer == '\"')
5535     {
5536       input_line_pointer++;     /* Skip opening quote.  */
5537
5538       while (is_a_char (c = next_char_of_string ()))
5539         {
5540           obstack_1grow (&notes, c);
5541           len++;
5542         }
5543       /* JF this next line is so demand_copy_C_string will return a
5544          null terminated string.  */
5545       obstack_1grow (&notes, '\0');
5546       retval = (char *) obstack_finish (&notes);
5547     }
5548   else
5549     {
5550       as_bad (_("missing string"));
5551       retval = NULL;
5552       ignore_rest_of_line ();
5553     }
5554   *lenP = len;
5555   return (retval);
5556 }
5557 \f
5558 /* In:  Input_line_pointer->next character.
5559
5560    Do:  Skip input_line_pointer over all whitespace.
5561
5562    Out: 1 if input_line_pointer->end-of-line.  */
5563
5564 int
5565 is_it_end_of_statement (void)
5566 {
5567   SKIP_WHITESPACE ();
5568   return (is_end_of_line[(unsigned char) *input_line_pointer]);
5569 }
5570
5571 void
5572 equals (char *sym_name, int reassign)
5573 {
5574   char *stop = NULL;
5575   char stopc = 0;
5576
5577   input_line_pointer++;
5578   if (*input_line_pointer == '=')
5579     input_line_pointer++;
5580   if (reassign < 0 && *input_line_pointer == '=')
5581     input_line_pointer++;
5582
5583   while (*input_line_pointer == ' ' || *input_line_pointer == '\t')
5584     input_line_pointer++;
5585
5586   if (flag_mri)
5587     stop = mri_comment_field (&stopc);
5588
5589   assign_symbol (sym_name, reassign >= 0 ? !reassign : reassign);
5590
5591   if (flag_mri)
5592     {
5593       demand_empty_rest_of_line ();
5594       mri_comment_end (stop, stopc);
5595     }
5596 }
5597
5598 /* .incbin -- include a file verbatim at the current location.  */
5599
5600 void
5601 s_incbin (int x ATTRIBUTE_UNUSED)
5602 {
5603   FILE * binfile;
5604   char * path;
5605   char * filename;
5606   char * binfrag;
5607   long   skip = 0;
5608   long   count = 0;
5609   long   bytes;
5610   int    len;
5611
5612 #ifdef md_flush_pending_output
5613   md_flush_pending_output ();
5614 #endif
5615
5616 #ifdef md_cons_align
5617   md_cons_align (1);
5618 #endif
5619
5620   SKIP_WHITESPACE ();
5621   filename = demand_copy_string (& len);
5622   if (filename == NULL)
5623     return;
5624
5625   SKIP_WHITESPACE ();
5626
5627   /* Look for optional skip and count.  */
5628   if (* input_line_pointer == ',')
5629     {
5630       ++ input_line_pointer;
5631       skip = get_absolute_expression ();
5632
5633       SKIP_WHITESPACE ();
5634
5635       if (* input_line_pointer == ',')
5636         {
5637           ++ input_line_pointer;
5638
5639           count = get_absolute_expression ();
5640           if (count == 0)
5641             as_warn (_(".incbin count zero, ignoring `%s'"), filename);
5642
5643           SKIP_WHITESPACE ();
5644         }
5645     }
5646
5647   demand_empty_rest_of_line ();
5648
5649   /* Try opening absolute path first, then try include dirs.  */
5650   binfile = fopen (filename, FOPEN_RB);
5651   if (binfile == NULL)
5652     {
5653       int i;
5654
5655       path = (char *) xmalloc ((unsigned long) len + include_dir_maxlen + 5);
5656
5657       for (i = 0; i < include_dir_count; i++)
5658         {
5659           sprintf (path, "%s/%s", include_dirs[i], filename);
5660
5661           binfile = fopen (path, FOPEN_RB);
5662           if (binfile != NULL)
5663             break;
5664         }
5665
5666       if (binfile == NULL)
5667         as_bad (_("file not found: %s"), filename);
5668     }
5669   else
5670     path = xstrdup (filename);
5671
5672   if (binfile)
5673     {
5674       long   file_len;
5675
5676       register_dependency (path);
5677
5678       /* Compute the length of the file.  */
5679       if (fseek (binfile, 0, SEEK_END) != 0)
5680         {
5681           as_bad (_("seek to end of .incbin file failed `%s'"), path);
5682           goto done;
5683         }
5684       file_len = ftell (binfile);
5685
5686       /* If a count was not specified use the remainder of the file.  */
5687       if (count == 0)
5688         count = file_len - skip;
5689
5690       if (skip < 0 || count < 0 || file_len < 0 || skip + count > file_len)
5691         {
5692           as_bad (_("skip (%ld) or count (%ld) invalid for file size (%ld)"),
5693                   skip, count, file_len);
5694           goto done;
5695         }
5696
5697       if (fseek (binfile, skip, SEEK_SET) != 0)
5698         {
5699           as_bad (_("could not skip to %ld in file `%s'"), skip, path);
5700           goto done;
5701         }
5702
5703       /* Allocate frag space and store file contents in it.  */
5704       binfrag = frag_more (count);
5705
5706       bytes = fread (binfrag, 1, count, binfile);
5707       if (bytes < count)
5708         as_warn (_("truncated file `%s', %ld of %ld bytes read"),
5709                  path, bytes, count);
5710     }
5711 done:
5712   if (binfile != NULL)
5713     fclose (binfile);
5714   if (path)
5715     free (path);
5716 }
5717
5718 /* .include -- include a file at this point.  */
5719
5720 void
5721 s_include (int arg ATTRIBUTE_UNUSED)
5722 {
5723   char *filename;
5724   int i;
5725   FILE *try_file;
5726   char *path;
5727
5728   if (!flag_m68k_mri)
5729     {
5730       filename = demand_copy_string (&i);
5731       if (filename == NULL)
5732         {
5733           /* demand_copy_string has already printed an error and
5734              called ignore_rest_of_line.  */
5735           return;
5736         }
5737     }
5738   else
5739     {
5740       SKIP_WHITESPACE ();
5741       i = 0;
5742       while (!is_end_of_line[(unsigned char) *input_line_pointer]
5743              && *input_line_pointer != ' '
5744              && *input_line_pointer != '\t')
5745         {
5746           obstack_1grow (&notes, *input_line_pointer);
5747           ++input_line_pointer;
5748           ++i;
5749         }
5750
5751       obstack_1grow (&notes, '\0');
5752       filename = (char *) obstack_finish (&notes);
5753       while (!is_end_of_line[(unsigned char) *input_line_pointer])
5754         ++input_line_pointer;
5755     }
5756
5757   demand_empty_rest_of_line ();
5758   path = (char *) xmalloc ((unsigned long) i
5759                            + include_dir_maxlen + 5 /* slop */ );
5760
5761   for (i = 0; i < include_dir_count; i++)
5762     {
5763       strcpy (path, include_dirs[i]);
5764       strcat (path, "/");
5765       strcat (path, filename);
5766       if (0 != (try_file = fopen (path, FOPEN_RT)))
5767         {
5768           fclose (try_file);
5769           goto gotit;
5770         }
5771     }
5772
5773   free (path);
5774   path = filename;
5775 gotit:
5776   /* malloc Storage leak when file is found on path.  FIXME-SOMEDAY.  */
5777   register_dependency (path);
5778   input_scrub_insert_file (path);
5779 }
5780
5781 void
5782 add_include_dir (char *path)
5783 {
5784   int i;
5785
5786   if (include_dir_count == 0)
5787     {
5788       include_dirs = (char **) xmalloc (2 * sizeof (*include_dirs));
5789       include_dirs[0] = ".";    /* Current dir.  */
5790       include_dir_count = 2;
5791     }
5792   else
5793     {
5794       include_dir_count++;
5795       include_dirs =
5796         (char **) realloc (include_dirs,
5797                            include_dir_count * sizeof (*include_dirs));
5798     }
5799
5800   include_dirs[include_dir_count - 1] = path;   /* New one.  */
5801
5802   i = strlen (path);
5803   if (i > include_dir_maxlen)
5804     include_dir_maxlen = i;
5805 }
5806 \f
5807 /* Output debugging information to denote the source file.  */
5808
5809 static void
5810 generate_file_debug (void)
5811 {
5812   if (debug_type == DEBUG_STABS)
5813     stabs_generate_asm_file ();
5814 }
5815
5816 /* Output line number debugging information for the current source line.  */
5817
5818 void
5819 generate_lineno_debug (void)
5820 {
5821   switch (debug_type)
5822     {
5823     case DEBUG_UNSPECIFIED:
5824     case DEBUG_NONE:
5825     case DEBUG_DWARF:
5826       break;
5827     case DEBUG_STABS:
5828       stabs_generate_asm_lineno ();
5829       break;
5830     case DEBUG_ECOFF:
5831       ecoff_generate_asm_lineno ();
5832       break;
5833     case DEBUG_DWARF2:
5834       /* ??? We could here indicate to dwarf2dbg.c that something
5835          has changed.  However, since there is additional backend
5836          support that is required (calling dwarf2_emit_insn), we
5837          let dwarf2dbg.c call as_where on its own.  */
5838       break;
5839     }
5840 }
5841
5842 /* Output debugging information to mark a function entry point or end point.
5843    END_P is zero for .func, and non-zero for .endfunc.  */
5844
5845 void
5846 s_func (int end_p)
5847 {
5848   do_s_func (end_p, NULL);
5849 }
5850
5851 /* Subroutine of s_func so targets can choose a different default prefix.
5852    If DEFAULT_PREFIX is NULL, use the target's "leading char".  */
5853
5854 static void
5855 do_s_func (int end_p, const char *default_prefix)
5856 {
5857   /* Record the current function so that we can issue an error message for
5858      misplaced .func,.endfunc, and also so that .endfunc needs no
5859      arguments.  */
5860   static char *current_name;
5861   static char *current_label;
5862
5863   if (end_p)
5864     {
5865       if (current_name == NULL)
5866         {
5867           as_bad (_("missing .func"));
5868           ignore_rest_of_line ();
5869           return;
5870         }
5871
5872       if (debug_type == DEBUG_STABS)
5873         stabs_generate_asm_endfunc (current_name, current_label);
5874
5875       current_name = current_label = NULL;
5876     }
5877   else /* ! end_p */
5878     {
5879       char *name, *label;
5880       char delim1, delim2;
5881
5882       if (current_name != NULL)
5883         {
5884           as_bad (_(".endfunc missing for previous .func"));
5885           ignore_rest_of_line ();
5886           return;
5887         }
5888
5889       name = input_line_pointer;
5890       delim1 = get_symbol_end ();
5891       name = xstrdup (name);
5892       *input_line_pointer = delim1;
5893       SKIP_WHITESPACE ();
5894       if (*input_line_pointer != ',')
5895         {
5896           if (default_prefix)
5897             {
5898               if (asprintf (&label, "%s%s", default_prefix, name) == -1)
5899                 as_fatal ("%s", xstrerror (errno));
5900             }
5901           else
5902             {
5903               char leading_char = bfd_get_symbol_leading_char (stdoutput);
5904               /* Missing entry point, use function's name with the leading
5905                  char prepended.  */
5906               if (leading_char)
5907                 {
5908                   if (asprintf (&label, "%c%s", leading_char, name) == -1)
5909                     as_fatal ("%s", xstrerror (errno));
5910                 }
5911               else
5912                 label = name;
5913             }
5914         }
5915       else
5916         {
5917           ++input_line_pointer;
5918           SKIP_WHITESPACE ();
5919           label = input_line_pointer;
5920           delim2 = get_symbol_end ();
5921           label = xstrdup (label);
5922           *input_line_pointer = delim2;
5923         }
5924
5925       if (debug_type == DEBUG_STABS)
5926         stabs_generate_asm_func (name, label);
5927
5928       current_name = name;
5929       current_label = label;
5930     }
5931
5932   demand_empty_rest_of_line ();
5933 }
5934 \f
5935 #ifdef HANDLE_BUNDLE
5936
5937 void
5938 s_bundle_align_mode (int arg ATTRIBUTE_UNUSED)
5939 {
5940   unsigned int align = get_absolute_expression ();
5941   SKIP_WHITESPACE ();
5942   demand_empty_rest_of_line ();
5943
5944   if (align > (unsigned int) TC_ALIGN_LIMIT)
5945     as_fatal (_(".bundle_align_mode alignment too large (maximum %u)"),
5946               (unsigned int) TC_ALIGN_LIMIT);
5947
5948   if (bundle_lock_frag != NULL)
5949     {
5950       as_bad (_("cannot change .bundle_align_mode inside .bundle_lock"));
5951       return;
5952     }
5953
5954   bundle_align_p2 = align;
5955 }
5956
5957 void
5958 s_bundle_lock (int arg ATTRIBUTE_UNUSED)
5959 {
5960   demand_empty_rest_of_line ();
5961
5962   if (bundle_align_p2 == 0)
5963     {
5964       as_bad (_(".bundle_lock is meaningless without .bundle_align_mode"));
5965       return;
5966     }
5967
5968   if (bundle_lock_depth == 0)
5969     {
5970       bundle_lock_frchain = frchain_now;
5971       bundle_lock_frag = start_bundle ();
5972     }
5973   ++bundle_lock_depth;
5974 }
5975
5976 void
5977 s_bundle_unlock (int arg ATTRIBUTE_UNUSED)
5978 {
5979   unsigned int size;
5980
5981   demand_empty_rest_of_line ();
5982
5983   if (bundle_lock_frag == NULL)
5984     {
5985       as_bad (_(".bundle_unlock without preceding .bundle_lock"));
5986       return;
5987     }
5988
5989   gas_assert (bundle_align_p2 > 0);
5990
5991   gas_assert (bundle_lock_depth > 0);
5992   if (--bundle_lock_depth > 0)
5993     return;
5994
5995   size = pending_bundle_size (bundle_lock_frag);
5996
5997   if (size > (1U << bundle_align_p2))
5998     as_bad (_(".bundle_lock sequence is %u bytes, but bundle size only %u"),
5999             size, 1 << bundle_align_p2);
6000   else
6001     finish_bundle (bundle_lock_frag, size);
6002
6003   bundle_lock_frag = NULL;
6004   bundle_lock_frchain = NULL;
6005 }
6006
6007 #endif  /* HANDLE_BUNDLE */
6008 \f
6009 void
6010 s_ignore (int arg ATTRIBUTE_UNUSED)
6011 {
6012   ignore_rest_of_line ();
6013 }
6014
6015 void
6016 read_print_statistics (FILE *file)
6017 {
6018   hash_print_statistics (file, "pseudo-op table", po_hash);
6019 }
6020
6021 /* Inserts the given line into the input stream.
6022
6023    This call avoids macro/conditionals nesting checking, since the contents of
6024    the line are assumed to replace the contents of a line already scanned.
6025
6026    An appropriate use of this function would be substitution of input lines when
6027    called by md_start_line_hook().  The given line is assumed to already be
6028    properly scrubbed.  */
6029
6030 void
6031 input_scrub_insert_line (const char *line)
6032 {
6033   sb newline;
6034   size_t len = strlen (line);
6035   sb_build (&newline, len);
6036   sb_add_buffer (&newline, line, len);
6037   input_scrub_include_sb (&newline, input_line_pointer, 0);
6038   sb_kill (&newline);
6039   buffer_limit = input_scrub_next_buffer (&input_line_pointer);
6040 }
6041
6042 /* Insert a file into the input stream; the path must resolve to an actual
6043    file; no include path searching or dependency registering is performed.  */
6044
6045 void
6046 input_scrub_insert_file (char *path)
6047 {
6048   input_scrub_include_file (path, input_line_pointer);
6049   buffer_limit = input_scrub_next_buffer (&input_line_pointer);
6050 }
6051
6052 /* Find the end of a line, considering quotation and escaping of quotes.  */
6053
6054 #if !defined(TC_SINGLE_QUOTE_STRINGS) && defined(SINGLE_QUOTE_STRINGS)
6055 # define TC_SINGLE_QUOTE_STRINGS 1
6056 #endif
6057
6058 static char *
6059 _find_end_of_line (char *s, int mri_string, int insn ATTRIBUTE_UNUSED,
6060                    int in_macro)
6061 {
6062   char inquote = '\0';
6063   int inescape = 0;
6064
6065   while (!is_end_of_line[(unsigned char) *s]
6066          || (inquote && !ISCNTRL (*s))
6067          || (inquote == '\'' && flag_mri)
6068 #ifdef TC_EOL_IN_INSN
6069          || (insn && TC_EOL_IN_INSN (s))
6070 #endif
6071          /* PR 6926:  When we are parsing the body of a macro the sequence
6072             \@ is special - it refers to the invocation count.  If the @
6073             character happens to be registered as a line-separator character
6074             by the target, then the is_end_of_line[] test above will have
6075             returned true, but we need to ignore the line separating
6076             semantics in this particular case.  */
6077          || (in_macro && inescape && *s == '@')
6078         )
6079     {
6080       if (mri_string && *s == '\'')
6081         inquote ^= *s;
6082       else if (inescape)
6083         inescape = 0;
6084       else if (*s == '\\')
6085         inescape = 1;
6086       else if (!inquote
6087                ? *s == '"'
6088 #ifdef TC_SINGLE_QUOTE_STRINGS
6089                  || (TC_SINGLE_QUOTE_STRINGS && *s == '\'')
6090 #endif
6091                : *s == inquote)
6092         inquote ^= *s;
6093       ++s;
6094     }
6095   if (inquote)
6096     as_warn (_("missing closing `%c'"), inquote);
6097   if (inescape)
6098     as_warn (_("stray `\\'"));
6099   return s;
6100 }
6101
6102 char *
6103 find_end_of_line (char *s, int mri_string)
6104 {
6105   return _find_end_of_line (s, mri_string, 0, 0);
6106 }