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