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