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