| /* read.c - read a source file - |
| Copyright 1986, 1987, 1990, 1991, 1992, 1993, 1994, 1995, 1996, 1997, |
| 1998, 1999, 2000 Free Software Foundation, Inc. |
| |
| This file is part of GAS, the GNU Assembler. |
| |
| GAS is free software; you can redistribute it and/or modify |
| it under the terms of the GNU General Public License as published by |
| the Free Software Foundation; either version 2, or (at your option) |
| any later version. |
| |
| GAS is distributed in the hope that it will be useful, |
| but WITHOUT ANY WARRANTY; without even the implied warranty of |
| MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| GNU General Public License for more details. |
| |
| You should have received a copy of the GNU General Public License |
| along with GAS; see the file COPYING. If not, write to the Free |
| Software Foundation, 59 Temple Place - Suite 330, Boston, MA |
| 02111-1307, USA. */ |
| |
| #if 0 |
| /* If your chars aren't 8 bits, you will change this a bit. |
| But then, GNU isn't spozed to run on your machine anyway. |
| (RMS is so shortsighted sometimes.) */ |
| #define MASK_CHAR (0xFF) |
| #else |
| #define MASK_CHAR ((int)(unsigned char) -1) |
| #endif |
| |
| /* This is the largest known floating point format (for now). It will |
| grow when we do 4361 style flonums. */ |
| #define MAXIMUM_NUMBER_OF_CHARS_FOR_FLOAT (16) |
| |
| /* Routines that read assembler source text to build spagetti in memory. |
| Another group of these functions is in the expr.c module. */ |
| |
| /* For isdigit (). */ |
| #include <ctype.h> |
| |
| #include "as.h" |
| #include "subsegs.h" |
| #include "sb.h" |
| #include "macro.h" |
| #include "obstack.h" |
| #include "listing.h" |
| #include "ecoff.h" |
| |
| #ifndef TC_START_LABEL |
| #define TC_START_LABEL(x,y) (x==':') |
| #endif |
| |
| /* Set by the object-format or the target. */ |
| #ifndef TC_IMPLICIT_LCOMM_ALIGNMENT |
| #define TC_IMPLICIT_LCOMM_ALIGNMENT(SIZE, P2VAR) \ |
| do \ |
| { \ |
| if ((SIZE) >= 8) \ |
| (P2VAR) = 3; \ |
| else if ((SIZE) >= 4) \ |
| (P2VAR) = 2; \ |
| else if ((SIZE) >= 2) \ |
| (P2VAR) = 1; \ |
| else \ |
| (P2VAR) = 0; \ |
| } \ |
| while (0) |
| #endif |
| |
| char *input_line_pointer; /*->next char of source file to parse. */ |
| |
| #if BITS_PER_CHAR != 8 |
| /* The following table is indexed by[(char)] and will break if |
| a char does not have exactly 256 states (hopefully 0:255!)! */ |
| die horribly; |
| #endif |
| |
| #ifndef LEX_AT |
| /* The m88k unfortunately uses @ as a label beginner. */ |
| #define LEX_AT 0 |
| #endif |
| |
| #ifndef LEX_BR |
| /* The RS/6000 assembler uses {,},[,] as parts of symbol names. */ |
| #define LEX_BR 0 |
| #endif |
| |
| #ifndef LEX_PCT |
| /* The Delta 68k assembler permits % inside label names. */ |
| #define LEX_PCT 0 |
| #endif |
| |
| #ifndef LEX_QM |
| /* The PowerPC Windows NT assemblers permits ? inside label names. */ |
| #define LEX_QM 0 |
| #endif |
| |
| #ifndef LEX_HASH |
| /* The IA-64 assembler uses # as a suffix designating a symbol. We include |
| it in the symbol and strip it out in tc_canonicalize_symbol_name. */ |
| #define LEX_HASH 0 |
| #endif |
| |
| #ifndef LEX_DOLLAR |
| /* The a29k assembler does not permits labels to start with $. */ |
| #define LEX_DOLLAR 3 |
| #endif |
| |
| #ifndef LEX_TILDE |
| /* The Delta 68k assembler permits ~ at start of label names. */ |
| #define LEX_TILDE 0 |
| #endif |
| |
| /* Used by is_... macros. our ctype[]. */ |
| char lex_type[256] = { |
| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* @ABCDEFGHIJKLMNO */ |
| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* PQRSTUVWXYZ[\]^_ */ |
| 0, 0, 0, LEX_HASH, LEX_DOLLAR, LEX_PCT, 0, 0, 0, 0, 0, 0, 0, 0, 3, 0, /* _!"#$%&'()*+,-./ */ |
| 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, LEX_QM, /* 0123456789:;<=>? */ |
| LEX_AT, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, /* @ABCDEFGHIJKLMNO */ |
| 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, LEX_BR, 0, LEX_BR, 0, 3, /* PQRSTUVWXYZ[\]^_ */ |
| 0, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, /* `abcdefghijklmno */ |
| 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, LEX_BR, 0, LEX_BR, LEX_TILDE, 0, /* pqrstuvwxyz{|}~. */ |
| 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, |
| 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, |
| 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, |
| 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, |
| 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, |
| 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, |
| 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, |
| 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3 |
| }; |
| |
| /* In: a character. |
| Out: 1 if this character ends a line. */ |
| char is_end_of_line[256] = { |
| #ifdef CR_EOL |
| 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, /* @abcdefghijklmno */ |
| #else |
| 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, /* @abcdefghijklmno */ |
| #endif |
| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* */ |
| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* _!"#$%&'()*+,-./ */ |
| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* 0123456789:;<=>? */ |
| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* */ |
| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* */ |
| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* */ |
| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* */ |
| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* */ |
| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* */ |
| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* */ |
| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* */ |
| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* */ |
| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* */ |
| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* */ |
| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 /* */ |
| }; |
| |
| #ifdef IGNORE_OPCODE_CASE |
| char original_case_string[128]; |
| #endif |
| |
| /* Functions private to this file. */ |
| |
| static char *buffer; /* 1st char of each buffer of lines is here. */ |
| static char *buffer_limit; /*->1 + last char in buffer. */ |
| |
| /* TARGET_BYTES_BIG_ENDIAN is required to be defined to either 0 or 1 |
| in the tc-<CPU>.h file. See the "Porting GAS" section of the |
| internals manual. */ |
| int target_big_endian = TARGET_BYTES_BIG_ENDIAN; |
| |
| static char *old_buffer; /* JF a hack. */ |
| static char *old_input; |
| static char *old_limit; |
| |
| /* Variables for handling include file directory table. */ |
| |
| /* Table of pointers to directories to search for .include's. */ |
| char **include_dirs; |
| |
| /* How many are in the table. */ |
| int include_dir_count; |
| |
| /* Length of longest in table. */ |
| int include_dir_maxlen = 1; |
| |
| #ifndef WORKING_DOT_WORD |
| struct broken_word *broken_words; |
| int new_broken_words; |
| #endif |
| |
| /* The current offset into the absolute section. We don't try to |
| build frags in the absolute section, since no data can be stored |
| there. We just keep track of the current offset. */ |
| addressT abs_section_offset; |
| |
| /* If this line had an MRI style label, it is stored in this variable. |
| This is used by some of the MRI pseudo-ops. */ |
| symbolS *line_label; |
| |
| /* This global variable is used to support MRI common sections. We |
| translate such sections into a common symbol. This variable is |
| non-NULL when we are in an MRI common section. */ |
| symbolS *mri_common_symbol; |
| |
| /* In MRI mode, after a dc.b pseudo-op with an odd number of bytes, we |
| need to align to an even byte boundary unless the next pseudo-op is |
| dc.b, ds.b, or dcb.b. This variable is set to 1 if an alignment |
| may be needed. */ |
| static int mri_pending_align; |
| |
| #ifndef NO_LISTING |
| #ifdef OBJ_ELF |
| /* This variable is set to be non-zero if the next string we see might |
| be the name of the source file in DWARF debugging information. See |
| the comment in emit_expr for the format we look for. */ |
| static int dwarf_file_string; |
| #endif |
| #endif |
| |
| static void cons_worker PARAMS ((int, int)); |
| static int scrub_from_string PARAMS ((char *, int)); |
| static void do_align PARAMS ((int, char *, int, int)); |
| static void s_align PARAMS ((int, int)); |
| static void s_lcomm_internal PARAMS ((int, int)); |
| static int hex_float PARAMS ((int, char *)); |
| static inline int sizeof_sleb128 PARAMS ((offsetT)); |
| static inline int sizeof_uleb128 PARAMS ((valueT)); |
| static inline int output_sleb128 PARAMS ((char *, offsetT)); |
| static inline int output_uleb128 PARAMS ((char *, valueT)); |
| static inline int output_big_sleb128 PARAMS ((char *, LITTLENUM_TYPE *, int)); |
| static inline int output_big_uleb128 PARAMS ((char *, LITTLENUM_TYPE *, int)); |
| static int output_big_leb128 PARAMS ((char *, LITTLENUM_TYPE *, int, int)); |
| static void do_org PARAMS ((segT, expressionS *, int)); |
| char *demand_copy_string PARAMS ((int *lenP)); |
| static segT get_segmented_expression PARAMS ((expressionS *expP)); |
| static segT get_known_segmented_expression PARAMS ((expressionS * expP)); |
| static void pobegin PARAMS ((void)); |
| static int get_line_sb PARAMS ((sb *)); |
| static void generate_file_debug PARAMS ((void)); |
| |
| void |
| read_begin () |
| { |
| const char *p; |
| |
| pobegin (); |
| obj_read_begin_hook (); |
| |
| /* Something close -- but not too close -- to a multiple of 1024. |
| The debugging malloc I'm using has 24 bytes of overhead. */ |
| obstack_begin (¬es, chunksize); |
| obstack_begin (&cond_obstack, chunksize); |
| |
| /* Use machine dependent syntax. */ |
| for (p = line_separator_chars; *p; p++) |
| is_end_of_line[(unsigned char) *p] = 1; |
| /* Use more. FIXME-SOMEDAY. */ |
| |
| if (flag_mri) |
| lex_type['?'] = 3; |
| } |
| |
| /* Set up pseudo-op tables. */ |
| |
| static struct hash_control *po_hash; |
| |
| static const pseudo_typeS potable[] = { |
| {"abort", s_abort, 0}, |
| {"align", s_align_ptwo, 0}, |
| {"ascii", stringer, 0}, |
| {"asciz", stringer, 1}, |
| {"balign", s_align_bytes, 0}, |
| {"balignw", s_align_bytes, -2}, |
| {"balignl", s_align_bytes, -4}, |
| /* block */ |
| {"byte", cons, 1}, |
| {"comm", s_comm, 0}, |
| {"common", s_mri_common, 0}, |
| {"common.s", s_mri_common, 1}, |
| {"data", s_data, 0}, |
| {"dc", cons, 2}, |
| {"dc.b", cons, 1}, |
| {"dc.d", float_cons, 'd'}, |
| {"dc.l", cons, 4}, |
| {"dc.s", float_cons, 'f'}, |
| {"dc.w", cons, 2}, |
| {"dc.x", float_cons, 'x'}, |
| {"dcb", s_space, 2}, |
| {"dcb.b", s_space, 1}, |
| {"dcb.d", s_float_space, 'd'}, |
| {"dcb.l", s_space, 4}, |
| {"dcb.s", s_float_space, 'f'}, |
| {"dcb.w", s_space, 2}, |
| {"dcb.x", s_float_space, 'x'}, |
| {"ds", s_space, 2}, |
| {"ds.b", s_space, 1}, |
| {"ds.d", s_space, 8}, |
| {"ds.l", s_space, 4}, |
| {"ds.p", s_space, 12}, |
| {"ds.s", s_space, 4}, |
| {"ds.w", s_space, 2}, |
| {"ds.x", s_space, 12}, |
| {"debug", s_ignore, 0}, |
| #ifdef S_SET_DESC |
| {"desc", s_desc, 0}, |
| #endif |
| /* dim */ |
| {"double", float_cons, 'd'}, |
| /* dsect */ |
| {"eject", listing_eject, 0}, /* Formfeed listing. */ |
| {"else", s_else, 0}, |
| {"elsec", s_else, 0}, |
| {"elseif", s_elseif, (int) O_ne}, |
| {"end", s_end, 0}, |
| {"endc", s_endif, 0}, |
| {"endfunc", s_func, 1}, |
| {"endif", s_endif, 0}, |
| /* endef */ |
| {"equ", s_set, 0}, |
| {"equiv", s_set, 1}, |
| {"err", s_err, 0}, |
| {"exitm", s_mexit, 0}, |
| /* extend */ |
| {"extern", s_ignore, 0}, /* We treat all undef as ext. */ |
| {"appfile", s_app_file, 1}, |
| {"appline", s_app_line, 0}, |
| {"fail", s_fail, 0}, |
| {"file", s_app_file, 0}, |
| {"fill", s_fill, 0}, |
| {"float", float_cons, 'f'}, |
| {"format", s_ignore, 0}, |
| {"func", s_func, 0}, |
| {"global", s_globl, 0}, |
| {"globl", s_globl, 0}, |
| {"hword", cons, 2}, |
| {"if", s_if, (int) O_ne}, |
| {"ifc", s_ifc, 0}, |
| {"ifdef", s_ifdef, 0}, |
| {"ifeq", s_if, (int) O_eq}, |
| {"ifeqs", s_ifeqs, 0}, |
| {"ifge", s_if, (int) O_ge}, |
| {"ifgt", s_if, (int) O_gt}, |
| {"ifle", s_if, (int) O_le}, |
| {"iflt", s_if, (int) O_lt}, |
| {"ifnc", s_ifc, 1}, |
| {"ifndef", s_ifdef, 1}, |
| {"ifne", s_if, (int) O_ne}, |
| {"ifnes", s_ifeqs, 1}, |
| {"ifnotdef", s_ifdef, 1}, |
| {"include", s_include, 0}, |
| {"int", cons, 4}, |
| {"irp", s_irp, 0}, |
| {"irep", s_irp, 0}, |
| {"irpc", s_irp, 1}, |
| {"irepc", s_irp, 1}, |
| {"lcomm", s_lcomm, 0}, |
| {"lflags", listing_flags, 0}, /* Listing flags. */ |
| {"linkonce", s_linkonce, 0}, |
| {"list", listing_list, 1}, /* Turn listing on. */ |
| {"llen", listing_psize, 1}, |
| {"long", cons, 4}, |
| {"lsym", s_lsym, 0}, |
| {"macro", s_macro, 0}, |
| {"mexit", s_mexit, 0}, |
| {"mri", s_mri, 0}, |
| {".mri", s_mri, 0}, /* Special case so .mri works in MRI mode. */ |
| {"name", s_ignore, 0}, |
| {"noformat", s_ignore, 0}, |
| {"nolist", listing_list, 0}, /* Turn listing off. */ |
| {"nopage", listing_nopage, 0}, |
| {"octa", cons, 16}, |
| {"offset", s_struct, 0}, |
| {"org", s_org, 0}, |
| {"p2align", s_align_ptwo, 0}, |
| {"p2alignw", s_align_ptwo, -2}, |
| {"p2alignl", s_align_ptwo, -4}, |
| {"page", listing_eject, 0}, |
| {"plen", listing_psize, 0}, |
| {"print", s_print, 0}, |
| {"psize", listing_psize, 0}, /* Set paper size. */ |
| {"purgem", s_purgem, 0}, |
| {"quad", cons, 8}, |
| {"rep", s_rept, 0}, |
| {"rept", s_rept, 0}, |
| {"rva", s_rva, 4}, |
| {"sbttl", listing_title, 1}, /* Subtitle of listing. */ |
| /* scl */ |
| /* sect */ |
| {"set", s_set, 0}, |
| {"short", cons, 2}, |
| {"single", float_cons, 'f'}, |
| /* size */ |
| {"space", s_space, 0}, |
| {"skip", s_space, 0}, |
| {"sleb128", s_leb128, 1}, |
| {"spc", s_ignore, 0}, |
| {"stabd", s_stab, 'd'}, |
| {"stabn", s_stab, 'n'}, |
| {"stabs", s_stab, 's'}, |
| {"string", stringer, 1}, |
| {"struct", s_struct, 0}, |
| /* tag */ |
| {"text", s_text, 0}, |
| |
| /* This is for gcc to use. It's only just been added (2/94), so gcc |
| won't be able to use it for a while -- probably a year or more. |
| But once this has been released, check with gcc maintainers |
| before deleting it or even changing the spelling. */ |
| {"this_GCC_requires_the_GNU_assembler", s_ignore, 0}, |
| /* If we're folding case -- done for some targets, not necessarily |
| all -- the above string in an input file will be converted to |
| this one. Match it either way... */ |
| {"this_gcc_requires_the_gnu_assembler", s_ignore, 0}, |
| |
| {"title", listing_title, 0}, /* Listing title. */ |
| {"ttl", listing_title, 0}, |
| /* type */ |
| {"uleb128", s_leb128, 0}, |
| /* use */ |
| /* val */ |
| {"xcom", s_comm, 0}, |
| {"xdef", s_globl, 0}, |
| {"xref", s_ignore, 0}, |
| {"xstabs", s_xstab, 's'}, |
| {"word", cons, 2}, |
| {"zero", s_space, 0}, |
| {NULL, NULL, 0} /* End sentinel. */ |
| }; |
| |
| static int pop_override_ok = 0; |
| static const char *pop_table_name; |
| |
| void |
| pop_insert (table) |
| const pseudo_typeS *table; |
| { |
| const char *errtxt; |
| const pseudo_typeS *pop; |
| for (pop = table; pop->poc_name; pop++) |
| { |
| errtxt = hash_insert (po_hash, pop->poc_name, (char *) pop); |
| if (errtxt && (!pop_override_ok || strcmp (errtxt, "exists"))) |
| as_fatal (_("error constructing %s pseudo-op table: %s"), pop_table_name, |
| errtxt); |
| } |
| } |
| |
| #ifndef md_pop_insert |
| #define md_pop_insert() pop_insert(md_pseudo_table) |
| #endif |
| |
| #ifndef obj_pop_insert |
| #define obj_pop_insert() pop_insert(obj_pseudo_table) |
| #endif |
| |
| static void |
| pobegin () |
| { |
| po_hash = hash_new (); |
| |
| /* Do the target-specific pseudo ops. */ |
| pop_table_name = "md"; |
| md_pop_insert (); |
| |
| /* Now object specific. Skip any that were in the target table. */ |
| pop_table_name = "obj"; |
| pop_override_ok = 1; |
| obj_pop_insert (); |
| |
| /* Now portable ones. Skip any that we've seen already. */ |
| pop_table_name = "standard"; |
| pop_insert (potable); |
| } |
| |
| #define HANDLE_CONDITIONAL_ASSEMBLY() \ |
| if (ignore_input ()) \ |
| { \ |
| while (!is_end_of_line[(unsigned char) *input_line_pointer++]) \ |
| if (input_line_pointer == buffer_limit) \ |
| break; \ |
| continue; \ |
| } |
| |
| /* This function is used when scrubbing the characters between #APP |
| and #NO_APP. */ |
| |
| static char *scrub_string; |
| static char *scrub_string_end; |
| |
| static int |
| scrub_from_string (buf, buflen) |
| char *buf; |
| int buflen; |
| { |
| int copy; |
| |
| copy = scrub_string_end - scrub_string; |
| if (copy > buflen) |
| copy = buflen; |
| memcpy (buf, scrub_string, copy); |
| scrub_string += copy; |
| return copy; |
| } |
| |
| /* We read the file, putting things into a web that represents what we |
| have been reading. */ |
| void |
| read_a_source_file (name) |
| char *name; |
| { |
| register char c; |
| register char *s; /* String of symbol, '\0' appended. */ |
| register int temp; |
| pseudo_typeS *pop; |
| |
| #ifdef WARN_COMMENTS |
| found_comment = 0; |
| #endif |
| |
| buffer = input_scrub_new_file (name); |
| |
| listing_file (name); |
| listing_newline (NULL); |
| register_dependency (name); |
| |
| /* Generate debugging information before we've read anything in to denote |
| this file as the "main" source file and not a subordinate one |
| (e.g. N_SO vs N_SOL in stabs). */ |
| generate_file_debug (); |
| |
| while ((buffer_limit = input_scrub_next_buffer (&input_line_pointer)) != 0) |
| { /* We have another line to parse. */ |
| know (buffer_limit[-1] == '\n'); /* Must have a sentinel. */ |
| contin: /* JF this goto is my fault I admit it. |
| Someone brave please re-write the whole |
| input section here? Pleeze??? */ |
| while (input_line_pointer < buffer_limit) |
| { |
| /* We have more of this buffer to parse. */ |
| |
| /* We now have input_line_pointer->1st char of next line. |
| If input_line_pointer [-1] == '\n' then we just |
| scanned another line: so bump line counters. */ |
| if (is_end_of_line[(unsigned char) input_line_pointer[-1]]) |
| { |
| #ifdef md_start_line_hook |
| md_start_line_hook (); |
| #endif |
| if (input_line_pointer[-1] == '\n') |
| bump_line_counters (); |
| |
| line_label = NULL; |
| |
| if (LABELS_WITHOUT_COLONS || flag_m68k_mri) |
| { |
| /* Text at the start of a line must be a label, we |
| run down and stick a colon in. */ |
| if (is_name_beginner (*input_line_pointer)) |
| { |
| char *line_start = input_line_pointer; |
| char c; |
| int mri_line_macro; |
| |
| LISTING_NEWLINE (); |
| HANDLE_CONDITIONAL_ASSEMBLY (); |
| |
| c = get_symbol_end (); |
| |
| /* In MRI mode, the EQU and MACRO pseudoops must |
| be handled specially. */ |
| mri_line_macro = 0; |
| if (flag_m68k_mri) |
| { |
| char *rest = input_line_pointer + 1; |
| |
| if (*rest == ':') |
| ++rest; |
| if (*rest == ' ' || *rest == '\t') |
| ++rest; |
| if ((strncasecmp (rest, "EQU", 3) == 0 |
| || strncasecmp (rest, "SET", 3) == 0) |
| && (rest[3] == ' ' || rest[3] == '\t')) |
| { |
| input_line_pointer = rest + 3; |
| equals (line_start, |
| strncasecmp (rest, "SET", 3) == 0); |
| continue; |
| } |
| if (strncasecmp (rest, "MACRO", 5) == 0 |
| && (rest[5] == ' ' |
| || rest[5] == '\t' |
| || is_end_of_line[(unsigned char) rest[5]])) |
| mri_line_macro = 1; |
| } |
| |
| /* In MRI mode, we need to handle the MACRO |
| pseudo-op specially: we don't want to put the |
| symbol in the symbol table. */ |
| if (!mri_line_macro |
| #ifdef TC_START_LABEL_WITHOUT_COLON |
| && TC_START_LABEL_WITHOUT_COLON(c, |
| input_line_pointer) |
| #endif |
| ) |
| line_label = colon (line_start); |
| else |
| line_label = symbol_create (line_start, |
| absolute_section, |
| (valueT) 0, |
| &zero_address_frag); |
| |
| *input_line_pointer = c; |
| if (c == ':') |
| input_line_pointer++; |
| } |
| } |
| } |
| |
| /* We are at the begining of a line, or similar place. |
| We expect a well-formed assembler statement. |
| A "symbol-name:" is a statement. |
| |
| Depending on what compiler is used, the order of these tests |
| may vary to catch most common case 1st. |
| Each test is independent of all other tests at the (top) level. |
| PLEASE make a compiler that doesn't use this assembler. |
| It is crufty to waste a compiler's time encoding things for this |
| assembler, which then wastes more time decoding it. |
| (And communicating via (linear) files is silly! |
| If you must pass stuff, please pass a tree!) */ |
| if ((c = *input_line_pointer++) == '\t' |
| || c == ' ' |
| || c == '\f' |
| || c == 0) |
| c = *input_line_pointer++; |
| |
| know (c != ' '); /* No further leading whitespace. */ |
| |
| #ifndef NO_LISTING |
| /* If listing is on, and we are expanding a macro, then give |
| the listing code the contents of the expanded line. */ |
| if (listing) |
| { |
| if ((listing & LISTING_MACEXP) && macro_nest > 0) |
| { |
| char *copy; |
| int len; |
| |
| /* Find the end of the current expanded macro line. */ |
| for (s = input_line_pointer - 1; *s; ++s) |
| if (is_end_of_line[(unsigned char) *s]) |
| break; |
| |
| /* Copy it for safe keeping. Also give an indication of |
| how much macro nesting is involved at this point. */ |
| len = s - (input_line_pointer - 1); |
| copy = (char *) xmalloc (len + macro_nest + 2); |
| memset (copy, '>', macro_nest); |
| copy[macro_nest] = ' '; |
| memcpy (copy + macro_nest + 1, input_line_pointer - 1, len); |
| copy[macro_nest + 1 + len] = '\0'; |
| |
| /* Install the line with the listing facility. */ |
| listing_newline (copy); |
| } |
| else |
| listing_newline (NULL); |
| } |
| #endif |
| /* C is the 1st significant character. |
| Input_line_pointer points after that character. */ |
| if (is_name_beginner (c)) |
| { |
| /* Want user-defined label or pseudo/opcode. */ |
| HANDLE_CONDITIONAL_ASSEMBLY (); |
| |
| s = --input_line_pointer; |
| c = get_symbol_end (); /* name's delimiter. */ |
| |
| /* C is character after symbol. |
| That character's place in the input line is now '\0'. |
| S points to the beginning of the symbol. |
| [In case of pseudo-op, s->'.'.] |
| Input_line_pointer->'\0' where c was. */ |
| if (TC_START_LABEL (c, input_line_pointer)) |
| { |
| if (flag_m68k_mri) |
| { |
| char *rest = input_line_pointer + 1; |
| |
| /* In MRI mode, \tsym: set 0 is permitted. */ |
| if (*rest == ':') |
| ++rest; |
| |
| if (*rest == ' ' || *rest == '\t') |
| ++rest; |
| |
| if ((strncasecmp (rest, "EQU", 3) == 0 |
| || strncasecmp (rest, "SET", 3) == 0) |
| && (rest[3] == ' ' || rest[3] == '\t')) |
| { |
| input_line_pointer = rest + 3; |
| equals (s, 1); |
| continue; |
| } |
| } |
| |
| line_label = colon (s); /* User-defined label. */ |
| /* Put ':' back for error messages' sake. */ |
| *input_line_pointer++ = ':'; |
| /* Input_line_pointer->after ':'. */ |
| SKIP_WHITESPACE (); |
| } |
| else if (c == '=' |
| || ((c == ' ' || c == '\t') |
| && input_line_pointer[1] == '=' |
| #ifdef TC_EQUAL_IN_INSN |
| && !TC_EQUAL_IN_INSN (c, input_line_pointer) |
| #endif |
| )) |
| { |
| equals (s, 1); |
| demand_empty_rest_of_line (); |
| } |
| else |
| { |
| /* Expect pseudo-op or machine instruction. */ |
| pop = NULL; |
| |
| #ifdef IGNORE_OPCODE_CASE |
| { |
| char *s2 = s; |
| |
| strncpy (original_case_string, s2, sizeof (original_case_string)); |
| original_case_string[sizeof (original_case_string) - 1] = 0; |
| |
| while (*s2) |
| { |
| if (isupper ((unsigned char) *s2)) |
| *s2 = tolower (*s2); |
| s2++; |
| } |
| } |
| #endif |
| if (NO_PSEUDO_DOT || flag_m68k_mri) |
| { |
| /* The MRI assembler and the m88k use pseudo-ops |
| without a period. */ |
| pop = (pseudo_typeS *) hash_find (po_hash, s); |
| if (pop != NULL && pop->poc_handler == NULL) |
| pop = NULL; |
| } |
| |
| if (pop != NULL |
| || (!flag_m68k_mri && *s == '.')) |
| { |
| /* PSEUDO - OP. |
| |
| WARNING: c has next char, which may be end-of-line. |
| We lookup the pseudo-op table with s+1 because we |
| already know that the pseudo-op begins with a '.'. */ |
| |
| if (pop == NULL) |
| pop = (pseudo_typeS *) hash_find (po_hash, s + 1); |
| |
| /* In MRI mode, we may need to insert an |
| automatic alignment directive. What a hack |
| this is. */ |
| if (mri_pending_align |
| && (pop == NULL |
| || !((pop->poc_handler == cons |
| && pop->poc_val == 1) |
| || (pop->poc_handler == s_space |
| && pop->poc_val == 1) |
| #ifdef tc_conditional_pseudoop |
| || tc_conditional_pseudoop (pop) |
| #endif |
| || pop->poc_handler == s_if |
| || pop->poc_handler == s_ifdef |
| || pop->poc_handler == s_ifc |
| || pop->poc_handler == s_ifeqs |
| || pop->poc_handler == s_else |
| || pop->poc_handler == s_endif |
| || pop->poc_handler == s_globl |
| || pop->poc_handler == s_ignore))) |
| { |
| do_align (1, (char *) NULL, 0, 0); |
| mri_pending_align = 0; |
| |
| if (line_label != NULL) |
| { |
| symbol_set_frag (line_label, frag_now); |
| S_SET_VALUE (line_label, frag_now_fix ()); |
| } |
| } |
| |
| /* Print the error msg now, while we still can. */ |
| if (pop == NULL) |
| { |
| as_bad (_("Unknown pseudo-op: `%s'"), s); |
| *input_line_pointer = c; |
| s_ignore (0); |
| continue; |
| } |
| |
| /* Put it back for error messages etc. */ |
| *input_line_pointer = c; |
| /* The following skip of whitespace is compulsory. |
| A well shaped space is sometimes all that separates |
| keyword from operands. */ |
| if (c == ' ' || c == '\t') |
| input_line_pointer++; |
| |
| /* Input_line is restored. |
| Input_line_pointer->1st non-blank char |
| after pseudo-operation. */ |
| (*pop->poc_handler) (pop->poc_val); |
| |
| /* If that was .end, just get out now. */ |
| if (pop->poc_handler == s_end) |
| goto quit; |
| } |
| else |
| { |
| int inquote = 0; |
| #ifdef QUOTES_IN_INSN |
| int inescape = 0; |
| #endif |
| |
| /* WARNING: c has char, which may be end-of-line. */ |
| /* Also: input_line_pointer->`\0` where c was. */ |
| *input_line_pointer = c; |
| while (!is_end_of_line[(unsigned char) *input_line_pointer] |
| || inquote |
| #ifdef TC_EOL_IN_INSN |
| || TC_EOL_IN_INSN (input_line_pointer) |
| #endif |
| ) |
| { |
| if (flag_m68k_mri && *input_line_pointer == '\'') |
| inquote = !inquote; |
| #ifdef QUOTES_IN_INSN |
| if (inescape) |
| inescape = 0; |
| else if (*input_line_pointer == '"') |
| inquote = !inquote; |
| else if (*input_line_pointer == '\\') |
| inescape = 1; |
| #endif |
| input_line_pointer++; |
| } |
| |
| c = *input_line_pointer; |
| *input_line_pointer = '\0'; |
| |
| generate_lineno_debug (); |
| |
| if (macro_defined) |
| { |
| sb out; |
| const char *err; |
| macro_entry *macro; |
| |
| if (check_macro (s, &out, '\0', &err, ¯o)) |
| { |
| if (err != NULL) |
| as_bad ("%s", err); |
| *input_line_pointer++ = c; |
| input_scrub_include_sb (&out, |
| input_line_pointer, 1); |
| sb_kill (&out); |
| buffer_limit = |
| input_scrub_next_buffer (&input_line_pointer); |
| #ifdef md_macro_info |
| md_macro_info (macro); |
| #endif |
| continue; |
| } |
| } |
| |
| if (mri_pending_align) |
| { |
| do_align (1, (char *) NULL, 0, 0); |
| mri_pending_align = 0; |
| if (line_label != NULL) |
| { |
| symbol_set_frag (line_label, frag_now); |
| S_SET_VALUE (line_label, frag_now_fix ()); |
| } |
| } |
| |
| md_assemble (s); /* Assemble 1 instruction. */ |
| |
| *input_line_pointer++ = c; |
| |
| /* We resume loop AFTER the end-of-line from |
| this instruction. */ |
| } |
| } |
| continue; |
| } |
| |
| /* Empty statement? */ |
| if (is_end_of_line[(unsigned char) c]) |
| continue; |
| |
| if ((LOCAL_LABELS_DOLLAR || LOCAL_LABELS_FB) |
| && isdigit ((unsigned char) c)) |
| { |
| /* local label ("4:") */ |
| char *backup = input_line_pointer; |
| |
| HANDLE_CONDITIONAL_ASSEMBLY (); |
| |
| temp = c - '0'; |
| |
| /* Read the whole number. */ |
| while (isdigit ((unsigned char) *input_line_pointer)) |
| { |
| temp = (temp * 10) + *input_line_pointer - '0'; |
| ++input_line_pointer; |
| } |
| |
| if (LOCAL_LABELS_DOLLAR |
| && *input_line_pointer == '$' |
| && *(input_line_pointer + 1) == ':') |
| { |
| input_line_pointer += 2; |
| |
| if (dollar_label_defined (temp)) |
| { |
| as_fatal (_("label \"%d$\" redefined"), temp); |
| } |
| |
| define_dollar_label (temp); |
| colon (dollar_label_name (temp, 0)); |
| continue; |
| } |
| |
| if (LOCAL_LABELS_FB |
| && *input_line_pointer++ == ':') |
| { |
| fb_label_instance_inc (temp); |
| colon (fb_label_name (temp, 0)); |
| continue; |
| } |
| |
| input_line_pointer = backup; |
| } /* local label ("4:") */ |
| |
| if (c && strchr (line_comment_chars, c)) |
| { /* Its a comment. Better say APP or NO_APP. */ |
| char *ends; |
| char *new_buf; |
| char *new_tmp; |
| unsigned int new_length; |
| char *tmp_buf = 0; |
| |
| bump_line_counters (); |
| s = input_line_pointer; |
| if (strncmp (s, "APP\n", 4)) |
| continue; /* We ignore it */ |
| s += 4; |
| |
| ends = strstr (s, "#NO_APP\n"); |
| |
| if (!ends) |
| { |
| unsigned int tmp_len; |
| unsigned int num; |
| |
| /* The end of the #APP wasn't in this buffer. We |
| keep reading in buffers until we find the #NO_APP |
| that goes with this #APP There is one. The specs |
| guarentee it... */ |
| tmp_len = buffer_limit - s; |
| tmp_buf = xmalloc (tmp_len + 1); |
| memcpy (tmp_buf, s, tmp_len); |
| do |
| { |
| new_tmp = input_scrub_next_buffer (&buffer); |
| if (!new_tmp) |
| break; |
| else |
| buffer_limit = new_tmp; |
| input_line_pointer = buffer; |
| ends = strstr (buffer, "#NO_APP\n"); |
| if (ends) |
| num = ends - buffer; |
| else |
| num = buffer_limit - buffer; |
| |
| tmp_buf = xrealloc (tmp_buf, tmp_len + num); |
| memcpy (tmp_buf + tmp_len, buffer, num); |
| tmp_len += num; |
| } |
| while (!ends); |
| |
| input_line_pointer = ends ? ends + 8 : NULL; |
| |
| s = tmp_buf; |
| ends = s + tmp_len; |
| |
| } |
| else |
| { |
| input_line_pointer = ends + 8; |
| } |
| |
| scrub_string = s; |
| scrub_string_end = ends; |
| |
| new_length = ends - s; |
| new_buf = (char *) xmalloc (new_length); |
| new_tmp = new_buf; |
| for (;;) |
| { |
| int space; |
| int size; |
| |
| space = (new_buf + new_length) - new_tmp; |
| size = do_scrub_chars (scrub_from_string, new_tmp, space); |
| |
| if (size < space) |
| { |
| new_tmp += size; |
| break; |
| } |
| |
| new_buf = xrealloc (new_buf, new_length + 100); |
| new_tmp = new_buf + new_length; |
| new_length += 100; |
| } |
| |
| if (tmp_buf) |
| free (tmp_buf); |
| old_buffer = buffer; |
| old_input = input_line_pointer; |
| old_limit = buffer_limit; |
| buffer = new_buf; |
| input_line_pointer = new_buf; |
| buffer_limit = new_tmp; |
| |
| continue; |
| } |
| |
| HANDLE_CONDITIONAL_ASSEMBLY (); |
| |
| #ifdef tc_unrecognized_line |
| if (tc_unrecognized_line (c)) |
| continue; |
| #endif |
| /* as_warn (_("Junk character %d."),c); Now done by ignore_rest. */ |
| input_line_pointer--; /* Report unknown char as ignored. */ |
| ignore_rest_of_line (); |
| } |
| |
| #ifdef md_after_pass_hook |
| md_after_pass_hook (); |
| #endif |
| |
| if (old_buffer) |
| { |
| free (buffer); |
| bump_line_counters (); |
| if (old_input != 0) |
| { |
| buffer = old_buffer; |
| input_line_pointer = old_input; |
| buffer_limit = old_limit; |
| old_buffer = 0; |
| goto contin; |
| } |
| } |
| } |
| |
| quit: |
| |
| #ifdef md_cleanup |
| md_cleanup (); |
| #endif |
| /* Close the input file. */ |
| input_scrub_close (); |
| #ifdef WARN_COMMENTS |
| { |
| if (warn_comment && found_comment) |
| as_warn_where (found_comment_file, found_comment, |
| "first comment found here"); |
| } |
| #endif |
| } |
| |
| /* For most MRI pseudo-ops, the line actually ends at the first |
| nonquoted space. This function looks for that point, stuffs a null |
| in, and sets *STOPCP to the character that used to be there, and |
| returns the location. |
| |
| Until I hear otherwise, I am going to assume that this is only true |
| for the m68k MRI assembler. */ |
| |
| char * |
| mri_comment_field (stopcp) |
| char *stopcp; |
| { |
| char *s; |
| #ifdef TC_M68K |
| int inquote = 0; |
| |
| know (flag_m68k_mri); |
| |
| for (s = input_line_pointer; |
| ((!is_end_of_line[(unsigned char) *s] && *s != ' ' && *s != '\t') |
| || inquote); |
| s++) |
| { |
| if (*s == '\'') |
| inquote = !inquote; |
| } |
| #else |
| for (s = input_line_pointer; |
| !is_end_of_line[(unsigned char) *s]; |
| s++) |
| ; |
| #endif |
| *stopcp = *s; |
| *s = '\0'; |
| |
| return s; |
| } |
| |
| /* Skip to the end of an MRI comment field. */ |
| |
| void |
| mri_comment_end (stop, stopc) |
| char *stop; |
| int stopc; |
| { |
| know (flag_mri); |
| |
| input_line_pointer = stop; |
| *stop = stopc; |
| while (!is_end_of_line[(unsigned char) *input_line_pointer]) |
| ++input_line_pointer; |
| } |
| |
| void |
| s_abort (ignore) |
| int ignore ATTRIBUTE_UNUSED; |
| { |
| as_fatal (_(".abort detected. Abandoning ship.")); |
| } |
| |
| /* Guts of .align directive. N is the power of two to which to align. |
| FILL may be NULL, or it may point to the bytes of the fill pattern. |
| LEN is the length of whatever FILL points to, if anything. MAX is |
| the maximum number of characters to skip when doing the alignment, |
| or 0 if there is no maximum. */ |
| |
| static void |
| do_align (n, fill, len, max) |
| int n; |
| char *fill; |
| int len; |
| int max; |
| { |
| #ifdef md_do_align |
| md_do_align (n, fill, len, max, just_record_alignment); |
| #endif |
| |
| /* Only make a frag if we HAVE to... */ |
| if (n != 0 && !need_pass_2) |
| { |
| if (fill == NULL) |
| { |
| if (subseg_text_p (now_seg)) |
| frag_align_code (n, max); |
| else |
| frag_align (n, 0, max); |
| } |
| else if (len <= 1) |
| frag_align (n, *fill, max); |
| else |
| frag_align_pattern (n, fill, len, max); |
| } |
| |
| #ifdef md_do_align |
| just_record_alignment: |
| #endif |
| |
| record_alignment (now_seg, n - OCTETS_PER_BYTE_POWER); |
| } |
| |
| /* Handle the .align pseudo-op. A positive ARG is a default alignment |
| (in bytes). A negative ARG is the negative of the length of the |
| fill pattern. BYTES_P is non-zero if the alignment value should be |
| interpreted as the byte boundary, rather than the power of 2. */ |
| |
| static void |
| s_align (arg, bytes_p) |
| int arg; |
| int bytes_p; |
| { |
| register unsigned int align; |
| char *stop = NULL; |
| char stopc; |
| offsetT fill = 0; |
| int max; |
| int fill_p; |
| |
| if (flag_mri) |
| stop = mri_comment_field (&stopc); |
| |
| if (is_end_of_line[(unsigned char) *input_line_pointer]) |
| { |
| if (arg < 0) |
| align = 0; |
| else |
| align = arg; /* Default value from pseudo-op table. */ |
| } |
| else |
| { |
| align = get_absolute_expression (); |
| SKIP_WHITESPACE (); |
| } |
| |
| if (bytes_p) |
| { |
| /* Convert to a power of 2. */ |
| if (align != 0) |
| { |
| unsigned int i; |
| |
| for (i = 0; (align & 1) == 0; align >>= 1, ++i) |
| ; |
| if (align != 1) |
| as_bad (_("Alignment not a power of 2")); |
| |
| align = i; |
| } |
| } |
| |
| if (align > 15) |
| { |
| align = 15; |
| as_bad (_("Alignment too large: %u assumed"), align); |
| } |
| |
| if (*input_line_pointer != ',') |
| { |
| fill_p = 0; |
| max = 0; |
| } |
| else |
| { |
| ++input_line_pointer; |
| if (*input_line_pointer == ',') |
| fill_p = 0; |
| else |
| { |
| fill = get_absolute_expression (); |
| SKIP_WHITESPACE (); |
| fill_p = 1; |
| } |
| |
| if (*input_line_pointer != ',') |
| max = 0; |
| else |
| { |
| ++input_line_pointer; |
| max = get_absolute_expression (); |
| } |
| } |
| |
| if (!fill_p) |
| { |
| if (arg < 0) |
| as_warn (_("expected fill pattern missing")); |
| do_align (align, (char *) NULL, 0, max); |
| } |
| else |
| { |
| int fill_len; |
| |
| if (arg >= 0) |
| fill_len = 1; |
| else |
| fill_len = -arg; |
| if (fill_len <= 1) |
| { |
| char fill_char; |
| |
| fill_char = fill; |
| do_align (align, &fill_char, fill_len, max); |
| } |
| else |
| { |
| char ab[16]; |
| |
| if ((size_t) fill_len > sizeof ab) |
| abort (); |
| md_number_to_chars (ab, fill, fill_len); |
| do_align (align, ab, fill_len, max); |
| } |
| } |
| |
| demand_empty_rest_of_line (); |
| |
| if (flag_mri) |
| mri_comment_end (stop, stopc); |
| } |
| |
| /* Handle the .align pseudo-op on machines where ".align 4" means |
| align to a 4 byte boundary. */ |
| |
| void |
| s_align_bytes (arg) |
| int arg; |
| { |
| s_align (arg, 1); |
| } |
| |
| /* Handle the .align pseudo-op on machines where ".align 4" means align |
| to a 2**4 boundary. */ |
| |
| void |
| s_align_ptwo (arg) |
| int arg; |
| { |
| s_align (arg, 0); |
| } |
| |
| void |
| s_comm (ignore) |
| int ignore ATTRIBUTE_UNUSED; |
| { |
| register char *name; |
| register char c; |
| register char *p; |
| offsetT temp; |
| register symbolS *symbolP; |
| char *stop = NULL; |
| char stopc; |
| |
| if (flag_mri) |
| stop = mri_comment_field (&stopc); |
| |
| name = input_line_pointer; |
| c = get_symbol_end (); |
| /* Just after name is now '\0'. */ |
| p = input_line_pointer; |
| *p = c; |
| SKIP_WHITESPACE (); |
| |
| if (*input_line_pointer != ',') |
| { |
| as_bad (_("Expected comma after symbol-name: rest of line ignored.")); |
| ignore_rest_of_line (); |
| if (flag_mri) |
| mri_comment_end (stop, stopc); |
| return; |
| } |
| |
| input_line_pointer++; /* skip ',' */ |
| |
| if ((temp = get_absolute_expression ()) < 0) |
| { |
| as_warn (_(".COMMon length (%ld.) <0! Ignored."), (long) temp); |
| ignore_rest_of_line (); |
| if (flag_mri) |
| mri_comment_end (stop, stopc); |
| return; |
| } |
| |
| *p = 0; |
| symbolP = symbol_find_or_make (name); |
| *p = c; |
| |
| if (S_IS_DEFINED (symbolP) && !S_IS_COMMON (symbolP)) |
| { |
| as_bad (_("Ignoring attempt to re-define symbol `%s'."), |
| S_GET_NAME (symbolP)); |
| ignore_rest_of_line (); |
| if (flag_mri) |
| mri_comment_end (stop, stopc); |
| return; |
| } |
| |
| if (S_GET_VALUE (symbolP)) |
| { |
| if (S_GET_VALUE (symbolP) != (valueT) temp) |
| as_bad (_("Length of .comm \"%s\" is already %ld. Not changed to %ld."), |
| S_GET_NAME (symbolP), |
| (long) S_GET_VALUE (symbolP), |
| (long) temp); |
| } |
| else |
| { |
| S_SET_VALUE (symbolP, (valueT) temp); |
| S_SET_EXTERNAL (symbolP); |
| } |
| #ifdef OBJ_VMS |
| { |
| extern int flag_one; |
| if (!temp || !flag_one) |
| S_GET_OTHER(symbolP) = const_flag; |
| } |
| #endif /* not OBJ_VMS */ |
| know (symbolP->sy_frag == &zero_address_frag); |
| |
| demand_empty_rest_of_line (); |
| |
| if (flag_mri) |
| mri_comment_end (stop, stopc); |
| } /* s_comm() */ |
| |
| /* The MRI COMMON pseudo-op. We handle this by creating a common |
| symbol with the appropriate name. We make s_space do the right |
| thing by increasing the size. */ |
| |
| void |
| s_mri_common (small) |
| int small ATTRIBUTE_UNUSED; |
| { |
| char *name; |
| char c; |
| char *alc = NULL; |
| symbolS *sym; |
| offsetT align; |
| char *stop = NULL; |
| char stopc; |
| |
| if (!flag_mri) |
| { |
| s_comm (0); |
| return; |
| } |
| |
| stop = mri_comment_field (&stopc); |
| |
| SKIP_WHITESPACE (); |
| |
| name = input_line_pointer; |
| if (!isdigit ((unsigned char) *name)) |
| c = get_symbol_end (); |
| else |
| { |
| do |
| { |
| ++input_line_pointer; |
| } |
| while (isdigit ((unsigned char) *input_line_pointer)); |
| |
| c = *input_line_pointer; |
| *input_line_pointer = '\0'; |
| |
| if (line_label != NULL) |
| { |
| alc = (char *) xmalloc (strlen (S_GET_NAME (line_label)) |
| + (input_line_pointer - name) |
| + 1); |
| sprintf (alc, "%s%s", name, S_GET_NAME (line_label)); |
| name = alc; |
| } |
| } |
| |
| sym = symbol_find_or_make (name); |
| *input_line_pointer = c; |
| if (alc != NULL) |
| free (alc); |
| |
| if (*input_line_pointer != ',') |
| align = 0; |
| else |
| { |
| ++input_line_pointer; |
| align = get_absolute_expression (); |
| } |
| |
| if (S_IS_DEFINED (sym) && !S_IS_COMMON (sym)) |
| { |
| as_bad (_("attempt to re-define symbol `%s'"), S_GET_NAME (sym)); |
| ignore_rest_of_line (); |
| mri_comment_end (stop, stopc); |
| return; |
| } |
| |
| S_SET_EXTERNAL (sym); |
| mri_common_symbol = sym; |
| |
| #ifdef S_SET_ALIGN |
| if (align != 0) |
| S_SET_ALIGN (sym, align); |
| #endif |
| |
| if (line_label != NULL) |
| { |
| expressionS exp; |
| exp.X_op = O_symbol; |
| exp.X_add_symbol = sym; |
| exp.X_add_number = 0; |
| symbol_set_value_expression (line_label, &exp); |
| symbol_set_frag (line_label, &zero_address_frag); |
| S_SET_SEGMENT (line_label, expr_section); |
| } |
| |
| /* FIXME: We just ignore the small argument, which distinguishes |
| COMMON and COMMON.S. I don't know what we can do about it. */ |
| |
| /* Ignore the type and hptype. */ |
| if (*input_line_pointer == ',') |
| input_line_pointer += 2; |
| if (*input_line_pointer == ',') |
| input_line_pointer += 2; |
| |
| demand_empty_rest_of_line (); |
| |
| mri_comment_end (stop, stopc); |
| } |
| |
| void |
| s_data (ignore) |
| int ignore ATTRIBUTE_UNUSED; |
| { |
| segT section; |
| register int temp; |
| |
| temp = get_absolute_expression (); |
| if (flag_readonly_data_in_text) |
| { |
| section = text_section; |
| temp += 1000; |
| } |
| else |
| section = data_section; |
| |
| subseg_set (section, (subsegT) temp); |
| |
| #ifdef OBJ_VMS |
| const_flag = 0; |
| #endif |
| demand_empty_rest_of_line (); |
| } |
| |
| /* Handle the .appfile pseudo-op. This is automatically generated by |
| do_scrub_chars when a preprocessor # line comment is seen with a |
| file name. This default definition may be overridden by the object |
| or CPU specific pseudo-ops. This function is also the default |
| definition for .file; the APPFILE argument is 1 for .appfile, 0 for |
| .file. */ |
| |
| void |
| s_app_file (appfile) |
| int appfile; |
| { |
| register char *s; |
| int length; |
| |
| /* Some assemblers tolerate immediately following '"'. */ |
| if ((s = demand_copy_string (&length)) != 0) |
| { |
| /* If this is a fake .appfile, a fake newline was inserted into |
| the buffer. Passing -2 to new_logical_line tells it to |
| account for it. */ |
| int may_omit |
| = (!new_logical_line (s, appfile ? -2 : -1) && appfile); |
| |
| /* In MRI mode, the preprocessor may have inserted an extraneous |
| backquote. */ |
| if (flag_m68k_mri |
| && *input_line_pointer == '\'' |
| && is_end_of_line[(unsigned char) input_line_pointer[1]]) |
| ++input_line_pointer; |
| |
| demand_empty_rest_of_line (); |
| if (!may_omit) |
| { |
| #ifdef LISTING |
| if (listing) |
| listing_source_file (s); |
| #endif |
| register_dependency (s); |
| #ifdef obj_app_file |
| obj_app_file (s); |
| #endif |
| } |
| } |
| } |
| |
| /* Handle the .appline pseudo-op. This is automatically generated by |
| do_scrub_chars when a preprocessor # line comment is seen. This |
| default definition may be overridden by the object or CPU specific |
| pseudo-ops. */ |
| |
| void |
| s_app_line (ignore) |
| int ignore ATTRIBUTE_UNUSED; |
| { |
| int l; |
| |
| /* The given number is that of the next line. */ |
| l = get_absolute_expression () - 1; |
| if (l < 0) |
| /* Some of the back ends can't deal with non-positive line numbers. |
| Besides, it's silly. */ |
| as_warn (_("Line numbers must be positive; line number %d rejected."), |
| l + 1); |
| else |
| { |
| new_logical_line ((char *) NULL, l); |
| #ifdef LISTING |
| if (listing) |
| listing_source_line (l); |
| #endif |
| } |
| demand_empty_rest_of_line (); |
| } |
| |
| /* Handle the .end pseudo-op. Actually, the real work is done in |
| read_a_source_file. */ |
| |
| void |
| s_end (ignore) |
| int ignore ATTRIBUTE_UNUSED; |
| { |
| if (flag_mri) |
| { |
| /* The MRI assembler permits the start symbol to follow .end, |
| but we don't support that. */ |
| SKIP_WHITESPACE (); |
| if (!is_end_of_line[(unsigned char) *input_line_pointer] |
| && *input_line_pointer != '*' |
| && *input_line_pointer != '!') |
| as_warn (_("start address not supported")); |
| } |
| } |
| |
| /* Handle the .err pseudo-op. */ |
| |
| void |
| s_err (ignore) |
| int ignore ATTRIBUTE_UNUSED; |
| { |
| as_bad (_(".err encountered")); |
| demand_empty_rest_of_line (); |
| } |
| |
| /* Handle the MRI fail pseudo-op. */ |
| |
| void |
| s_fail (ignore) |
| int ignore ATTRIBUTE_UNUSED; |
| { |
| offsetT temp; |
| char *stop = NULL; |
| char stopc; |
| |
| if (flag_mri) |
| stop = mri_comment_field (&stopc); |
| |
| temp = get_absolute_expression (); |
| if (temp >= 500) |
| as_warn (_(".fail %ld encountered"), (long) temp); |
| else |
| as_bad (_(".fail %ld encountered"), (long) temp); |
| |
| demand_empty_rest_of_line (); |
| |
| if (flag_mri) |
| mri_comment_end (stop, stopc); |
| } |
| |
| void |
| s_fill (ignore) |
| int ignore ATTRIBUTE_UNUSED; |
| { |
| expressionS rep_exp; |
| long size = 1; |
| register long fill = 0; |
| char *p; |
| |
| #ifdef md_flush_pending_output |
| md_flush_pending_output (); |
| #endif |
| |
| get_known_segmented_expression (&rep_exp); |
| if (*input_line_pointer == ',') |
| { |
| input_line_pointer++; |
| size = get_absolute_expression (); |
| if (*input_line_pointer == ',') |
| { |
| input_line_pointer++; |
| fill = get_absolute_expression (); |
| } |
| } |
| |
| /* This is to be compatible with BSD 4.2 AS, not for any rational reason. */ |
| #define BSD_FILL_SIZE_CROCK_8 (8) |
| if (size > BSD_FILL_SIZE_CROCK_8) |
| { |
| as_warn (_(".fill size clamped to %d."), BSD_FILL_SIZE_CROCK_8); |
| size = BSD_FILL_SIZE_CROCK_8; |
| } |
| if (size < 0) |
| { |
| as_warn (_("Size negative: .fill ignored.")); |
| size = 0; |
| } |
| else if (rep_exp.X_op == O_constant && rep_exp.X_add_number <= 0) |
| { |
| if (rep_exp.X_add_number < 0) |
| as_warn (_("Repeat < 0, .fill ignored")); |
| size = 0; |
| } |
| |
| if (size && !need_pass_2) |
| { |
| if (rep_exp.X_op == O_constant) |
| { |
| p = frag_var (rs_fill, (int) size, (int) size, |
| (relax_substateT) 0, (symbolS *) 0, |
| (offsetT) rep_exp.X_add_number, |
| (char *) 0); |
| } |
| else |
| { |
| /* We don't have a constant repeat count, so we can't use |
| rs_fill. We can get the same results out of rs_space, |
| but its argument is in bytes, so we must multiply the |
| repeat count by size. */ |
| |
| symbolS *rep_sym; |
| rep_sym = make_expr_symbol (&rep_exp); |
| if (size != 1) |
| { |
| expressionS size_exp; |
| size_exp.X_op = O_constant; |
| size_exp.X_add_number = size; |
| |
| rep_exp.X_op = O_multiply; |
| rep_exp.X_add_symbol = rep_sym; |
| rep_exp.X_op_symbol = make_expr_symbol (&size_exp); |
| rep_exp.X_add_number = 0; |
| rep_sym = make_expr_symbol (&rep_exp); |
| } |
| |
| p = frag_var (rs_space, (int) size, (int) size, |
| (relax_substateT) 0, rep_sym, (offsetT) 0, (char *) 0); |
| } |
| |
| memset (p, 0, (unsigned int) size); |
| |
| /* The magic number BSD_FILL_SIZE_CROCK_4 is from BSD 4.2 VAX |
| flavoured AS. The following bizzare behaviour is to be |
| compatible with above. I guess they tried to take up to 8 |
| bytes from a 4-byte expression and they forgot to sign |
| extend. Un*x Sux. */ |
| #define BSD_FILL_SIZE_CROCK_4 (4) |
| md_number_to_chars (p, (valueT) fill, |
| (size > BSD_FILL_SIZE_CROCK_4 |
| ? BSD_FILL_SIZE_CROCK_4 |
| : (int) size)); |
| /* Note: .fill (),0 emits no frag (since we are asked to .fill 0 bytes) |
| but emits no error message because it seems a legal thing to do. |
| It is a degenerate case of .fill but could be emitted by a |
| compiler. */ |
| } |
| demand_empty_rest_of_line (); |
| } |
| |
| void |
| s_globl (ignore) |
| int ignore ATTRIBUTE_UNUSED; |
| { |
| char *name; |
| int c; |
| symbolS *symbolP; |
| char *stop = NULL; |
| char stopc; |
| |
| if (flag_mri) |
| stop = mri_comment_field (&stopc); |
| |
| do |
| { |
| name = input_line_pointer; |
| c = get_symbol_end (); |
| symbolP = symbol_find_or_make (name); |
| S_SET_EXTERNAL (symbolP); |
| |
| *input_line_pointer = c; |
| SKIP_WHITESPACE (); |
| c = *input_line_pointer; |
| if (c == ',') |
| { |
| input_line_pointer++; |
| SKIP_WHITESPACE (); |
| if (*input_line_pointer == '\n') |
| c = '\n'; |
| } |
| } |
| while (c == ','); |
| |
| demand_empty_rest_of_line (); |
| |
| if (flag_mri) |
| mri_comment_end (stop, stopc); |
| } |
| |
| /* Handle the MRI IRP and IRPC pseudo-ops. */ |
| |
| void |
| s_irp (irpc) |
| int irpc; |
| { |
| char *file; |
| unsigned int line; |
| sb s; |
| const char *err; |
| sb out; |
| |
| as_where (&file, &line); |
| |
| sb_new (&s); |
| while (!is_end_of_line[(unsigned char) *input_line_pointer]) |
| sb_add_char (&s, *input_line_pointer++); |
| |
| sb_new (&out); |
| |
| err = expand_irp (irpc, 0, &s, &out, get_line_sb, '\0'); |
| if (err != NULL) |
| as_bad_where (file, line, "%s", err); |
| |
| sb_kill (&s); |
| |
| input_scrub_include_sb (&out, input_line_pointer, 1); |
| sb_kill (&out); |
| buffer_limit = input_scrub_next_buffer (&input_line_pointer); |
| } |
| |
| /* Handle the .linkonce pseudo-op. This tells the assembler to mark |
| the section to only be linked once. However, this is not supported |
| by most object file formats. This takes an optional argument, |
| which is what to do about duplicates. */ |
| |
| void |
| s_linkonce (ignore) |
| int ignore ATTRIBUTE_UNUSED; |
| { |
| enum linkonce_type type; |
| |
| SKIP_WHITESPACE (); |
| |
| type = LINKONCE_DISCARD; |
| |
| if (!is_end_of_line[(unsigned char) *input_line_pointer]) |
| { |
| char *s; |
| char c; |
| |
| s = input_line_pointer; |
| c = get_symbol_end (); |
| if (strcasecmp (s, "discard") == 0) |
| type = LINKONCE_DISCARD; |
| else if (strcasecmp (s, "one_only") == 0) |
| type = LINKONCE_ONE_ONLY; |
| else if (strcasecmp (s, "same_size") == 0) |
| type = LINKONCE_SAME_SIZE; |
| else if (strcasecmp (s, "same_contents") == 0) |
| type = LINKONCE_SAME_CONTENTS; |
| else |
| as_warn (_("unrecognized .linkonce type `%s'"), s); |
| |
| *input_line_pointer = c; |
| } |
| |
| #ifdef obj_handle_link_once |
| obj_handle_link_once (type); |
| #else /* ! defined (obj_handle_link_once) */ |
| #ifdef BFD_ASSEMBLER |
| { |
| flagword flags; |
| |
| if ((bfd_applicable_section_flags (stdoutput) & SEC_LINK_ONCE) == 0) |
| as_warn (_(".linkonce is not supported for this object file format")); |
| |
| flags = bfd_get_section_flags (stdoutput, now_seg); |
| flags |= SEC_LINK_ONCE; |
| switch (type) |
| { |
| default: |
| abort (); |
| case LINKONCE_DISCARD: |
| flags |= SEC_LINK_DUPLICATES_DISCARD; |
| break; |
| case LINKONCE_ONE_ONLY: |
| flags |= SEC_LINK_DUPLICATES_ONE_ONLY; |
| break; |
| case LINKONCE_SAME_SIZE: |
| flags |= SEC_LINK_DUPLICATES_SAME_SIZE; |
| break; |
| case LINKONCE_SAME_CONTENTS: |
| flags |= SEC_LINK_DUPLICATES_SAME_CONTENTS; |
| break; |
| } |
| if (!bfd_set_section_flags (stdoutput, now_seg, flags)) |
| as_bad (_("bfd_set_section_flags: %s"), |
| bfd_errmsg (bfd_get_error ())); |
| } |
| #else /* ! defined (BFD_ASSEMBLER) */ |
| as_warn (_(".linkonce is not supported for this object file format")); |
| #endif /* ! defined (BFD_ASSEMBLER) */ |
| #endif /* ! defined (obj_handle_link_once) */ |
| |
| demand_empty_rest_of_line (); |
| } |
| |
| static void |
| s_lcomm_internal (needs_align, bytes_p) |
| /* 1 if this was a ".bss" directive, which may require a 3rd argument |
| (alignment); 0 if it was an ".lcomm" (2 args only). */ |
| int needs_align; |
| /* 1 if the alignment value should be interpreted as the byte boundary, |
| rather than the power of 2. */ |
| int bytes_p; |
| { |
| register char *name; |
| register char c; |
| register char *p; |
| register int temp; |
| register symbolS *symbolP; |
| segT current_seg = now_seg; |
| subsegT current_subseg = now_subseg; |
| const int max_alignment = 15; |
| int align = 0; |
| segT bss_seg = bss_section; |
| |
| name = input_line_pointer; |
| c = get_symbol_end (); |
| p = input_line_pointer; |
| *p = c; |
| SKIP_WHITESPACE (); |
| |
| /* Accept an optional comma after the name. The comma used to be |
| required, but Irix 5 cc does not generate it. */ |
| if (*input_line_pointer == ',') |
| { |
| ++input_line_pointer; |
| SKIP_WHITESPACE (); |
| } |
| |
| if (*input_line_pointer == '\n') |
| { |
| as_bad (_("Missing size expression")); |
| return; |
| } |
| |
| if ((temp = get_absolute_expression ()) < 0) |
| { |
| as_warn (_("BSS length (%d.) <0! Ignored."), temp); |
| ignore_rest_of_line (); |
| return; |
| } |
| |
| #if defined (TC_MIPS) || defined (TC_ALPHA) |
| if (OUTPUT_FLAVOR == bfd_target_ecoff_flavour |
| || OUTPUT_FLAVOR == bfd_target_elf_flavour) |
| { |
| /* For MIPS and Alpha ECOFF or ELF, small objects are put in .sbss. */ |
| if (temp <= bfd_get_gp_size (stdoutput)) |
| { |
| bss_seg = subseg_new (".sbss", 1); |
| seg_info (bss_seg)->bss = 1; |
| #ifdef BFD_ASSEMBLER |
| if (!bfd_set_section_flags (stdoutput, bss_seg, SEC_ALLOC)) |
| as_warn (_("error setting flags for \".sbss\": %s"), |
| bfd_errmsg (bfd_get_error ())); |
| #endif |
| } |
| } |
| #endif |
| |
| if (!needs_align) |
| { |
| TC_IMPLICIT_LCOMM_ALIGNMENT (temp, align); |
| |
| /* Still zero unless TC_IMPLICIT_LCOMM_ALIGNMENT set it. */ |
| if (align) |
| record_alignment (bss_seg, align); |
| } |
| |
| if (needs_align) |
| { |
| align = 0; |
| SKIP_WHITESPACE (); |
| |
| if (*input_line_pointer != ',') |
| { |
| as_bad (_("Expected comma after size")); |
| ignore_rest_of_line (); |
| return; |
| } |
| |
| input_line_pointer++; |
| SKIP_WHITESPACE (); |
| |
| if (*input_line_pointer == '\n') |
| { |
| as_bad (_("Missing alignment")); |
| return; |
| } |
| |
| align = get_absolute_expression (); |
| |
| if (bytes_p) |
| { |
| /* Convert to a power of 2. */ |
| if (align != 0) |
| { |
| unsigned int i; |
| |
| for (i = 0; (align & 1) == 0; align >>= 1, ++i) |
| ; |
| if (align != 1) |
| as_bad (_("Alignment not a power of 2")); |
| align = i; |
| } |
| } |
| |
| if (align > max_alignment) |
| { |
| align = max_alignment; |
| as_warn (_("Alignment too large: %d. assumed."), align); |
| } |
| else if (align < 0) |
| { |
| align = 0; |
| as_warn (_("Alignment negative. 0 assumed.")); |
| } |
| |
| record_alignment (bss_seg, align); |
| } |
| else |
| { |
| /* Assume some objects may require alignment on some systems. */ |
| #if defined (TC_ALPHA) && ! defined (VMS) |
| if (temp > 1) |
| { |
| align = ffs (temp) - 1; |
| if (temp % (1 << align)) |
| abort (); |
| } |
| #endif |
| } |
| |
| *p = 0; |
| symbolP = symbol_find_or_make (name); |
| *p = c; |
| |
| if ( |
| #if (defined (OBJ_AOUT) || defined (OBJ_MAYBE_AOUT) \ |
| || defined (OBJ_BOUT) || defined (OBJ_MAYBE_BOUT)) |
| #ifdef BFD_ASSEMBLER |
| (OUTPUT_FLAVOR != bfd_target_aout_flavour |
| || (S_GET_OTHER (symbolP) == 0 && S_GET_DESC (symbolP) == 0)) && |
| #else |
| (S_GET_OTHER (symbolP) == 0 && S_GET_DESC (symbolP) == 0) && |
| #endif |
| #endif |
| (S_GET_SEGMENT (symbolP) == bss_seg |
| || (!S_IS_DEFINED (symbolP) && S_GET_VALUE (symbolP) == 0))) |
| { |
| char *pfrag; |
| |
| subseg_set (bss_seg, 1); |
| |
| if (align) |
| frag_align (align, 0, 0); |
| |
| /* Detach from old frag. */ |
| if (S_GET_SEGMENT (symbolP) == bss_seg) |
| symbol_get_frag (symbolP)->fr_symbol = NULL; |
| |
| symbol_set_frag (symbolP, frag_now); |
| pfrag = frag_var (rs_org, 1, 1, (relax_substateT) 0, symbolP, |
| (offsetT) temp, (char *) 0); |
| *pfrag = 0; |
| |
| S_SET_SEGMENT (symbolP, bss_seg); |
| |
| #ifdef OBJ_COFF |
| /* The symbol may already have been created with a preceding |
| ".globl" directive -- be careful not to step on storage class |
| in that case. Otherwise, set it to static. */ |
| if (S_GET_STORAGE_CLASS (symbolP) != C_EXT) |
| { |
| S_SET_STORAGE_CLASS (symbolP, C_STAT); |
| } |
| #endif /* OBJ_COFF */ |
| |
| #ifdef S_SET_SIZE |
| S_SET_SIZE (symbolP, temp); |
| #endif |
| } |
| else |
| as_bad (_("Ignoring attempt to re-define symbol `%s'."), |
| S_GET_NAME (symbolP)); |
| |
| subseg_set (current_seg, current_subseg); |
| |
| demand_empty_rest_of_line (); |
| } |
| |
| void |
| s_lcomm (needs_align) |
| int needs_align; |
| { |
| s_lcomm_internal (needs_align, 0); |
| } |
| |
| void |
| s_lcomm_bytes (needs_align) |
| int needs_align; |
| { |
| s_lcomm_internal (needs_align, 1); |
| } |
| |
| void |
| s_lsym (ignore) |
| int ignore ATTRIBUTE_UNUSED; |
| { |
| register char *name; |
| register char c; |
| register char *p; |
| expressionS exp; |
| register symbolS *symbolP; |
| |
| /* We permit ANY defined expression: BSD4.2 demands constants. */ |
| name = input_line_pointer; |
| c = get_symbol_end (); |
| p = input_line_pointer; |
| *p = c; |
| SKIP_WHITESPACE (); |
| |
| if (*input_line_pointer != ',') |
| { |
| *p = 0; |
| as_bad (_("Expected comma after name \"%s\""), name); |
| *p = c; |
| ignore_rest_of_line (); |
| return; |
| } |
| |
| input_line_pointer++; |
| expression (&exp); |
| |
| if (exp.X_op != O_constant |
| && exp.X_op != O_register) |
| { |
| as_bad (_("bad expression")); |
| ignore_rest_of_line (); |
| return; |
| } |
| |
| *p = 0; |
| symbolP = symbol_find_or_make (name); |
| |
| /* FIXME-SOON I pulled a (&& symbolP->sy_other == 0 && |
| symbolP->sy_desc == 0) out of this test because coff doesn't have |
| those fields, and I can't see when they'd ever be tripped. I |
| don't think I understand why they were here so I may have |
| introduced a bug. As recently as 1.37 didn't have this test |
| anyway. xoxorich. */ |
| |
| if (S_GET_SEGMENT (symbolP) == undefined_section |
| && S_GET_VALUE (symbolP) == 0) |
| { |
| /* The name might be an undefined .global symbol; be sure to |
| keep the "external" bit. */ |
| S_SET_SEGMENT (symbolP, |
| (exp.X_op == O_constant |
| ? absolute_section |
| : reg_section)); |
| S_SET_VALUE (symbolP, (valueT) exp.X_add_number); |
| } |
| else |
| { |
| as_bad (_("Symbol %s already defined"), name); |
| } |
| |
| *p = c; |
| demand_empty_rest_of_line (); |
| } |
| |
| /* Read a line into an sb. */ |
| |
| static int |
| get_line_sb (line) |
| sb *line; |
| { |
| char quote1, quote2, inquote; |
| |
| if (input_line_pointer[-1] == '\n') |
| bump_line_counters (); |
| |
| if (input_line_pointer >= buffer_limit) |
| { |
| buffer_limit = input_scrub_next_buffer (&input_line_pointer); |
| if (buffer_limit == 0) |
| return 0; |
| } |
| |
| /* If app.c sets any other characters to LEX_IS_STRINGQUOTE, this |
| code needs to be changed. */ |
| if (!flag_m68k_mri) |
| quote1 = '"'; |
| else |
| quote1 = '\0'; |
| |
| quote2 = '\0'; |
| if (flag_m68k_mri) |
| quote2 = '\''; |
| #ifdef LEX_IS_STRINGQUOTE |
| quote2 = '\''; |
| #endif |
| |
| inquote = '\0'; |
| |
| while (!is_end_of_line[(unsigned char) *input_line_pointer] |
| || (inquote != '\0' && *input_line_pointer != '\n')) |
| { |
| if (inquote == *input_line_pointer) |
| inquote = '\0'; |
| else if (inquote == '\0') |
| { |
| if (*input_line_pointer == quote1) |
| inquote = quote1; |
| else if (*input_line_pointer == quote2) |
| inquote = quote2; |
| } |
| |
| sb_add_char (line, *input_line_pointer++); |
| } |
| |
| while (input_line_pointer < buffer_limit |
| && is_end_of_line[(unsigned char) *input_line_pointer]) |
| { |
| if (input_line_pointer[-1] == '\n') |
| bump_line_counters (); |
| ++input_line_pointer; |
| } |
| |
| return 1; |
| } |
| |
| /* Define a macro. This is an interface to macro.c, which is shared |
| between gas and gasp. */ |
| |
| void |
| s_macro (ignore) |
| int ignore ATTRIBUTE_UNUSED; |
| { |
| char *file; |
| unsigned int line; |
| sb s; |
| sb label; |
| const char *err; |
| const char *name; |
| |
| as_where (&file, &line); |
| |
| sb_new (&s); |
| while (!is_end_of_line[(unsigned char) *input_line_pointer]) |
| sb_add_char (&s, *input_line_pointer++); |
| |
| sb_new (&label); |
| if (line_label != NULL) |
| sb_add_string (&label, S_GET_NAME (line_label)); |
| |
| err = define_macro (0, &s, &label, get_line_sb, &name); |
| if (err != NULL) |
| as_bad_where (file, line, "%s", err); |
| else |
| { |
| if (line_label != NULL) |
| { |
| S_SET_SEGMENT (line_label, undefined_section); |
| S_SET_VALUE (line_label, 0); |
| symbol_set_frag (line_label, &zero_address_frag); |
| } |
| |
| if (((NO_PSEUDO_DOT || flag_m68k_mri) |
| && hash_find (po_hash, name) != NULL) |
| || (!flag_m68k_mri |
| && *name == '.' |
| && hash_find (po_hash, name + 1) != NULL)) |
| as_warn (_("attempt to redefine pseudo-op `%s' ignored"), |
| name); |
| } |
| |
| sb_kill (&s); |
| } |
| |
| /* Handle the .mexit pseudo-op, which immediately exits a macro |
| expansion. */ |
| |
| void |
| s_mexit (ignore) |
| int ignore ATTRIBUTE_UNUSED; |
| { |
| cond_exit_macro (macro_nest); |
| buffer_limit = input_scrub_next_buffer (&input_line_pointer); |
| } |
| |
| /* Switch in and out of MRI mode. */ |
| |
| void |
| s_mri (ignore) |
| int ignore ATTRIBUTE_UNUSED; |
| { |
| int on, old_flag; |
| |
| on = get_absolute_expression (); |
| old_flag = flag_mri; |
| if (on != 0) |
| { |
| flag_mri = 1; |
| #ifdef TC_M68K |
| flag_m68k_mri = 1; |
| #endif |
| macro_mri_mode (1); |
| } |
| else |
| { |
| flag_mri = 0; |
| #ifdef TC_M68K |
| flag_m68k_mri = 0; |
| #endif |
| macro_mri_mode (0); |
| } |
| |
| /* Operator precedence changes in m68k MRI mode, so we need to |
| update the operator rankings. */ |
| expr_set_precedence (); |
| |
| #ifdef MRI_MODE_CHANGE |
| if (on != old_flag) |
| MRI_MODE_CHANGE (on); |
| #endif |
| |
| demand_empty_rest_of_line (); |
| } |
| |
| /* Handle changing the location counter. */ |
| |
| static void |
| do_org (segment, exp, fill) |
| segT segment; |
| expressionS *exp; |
| int fill; |
| { |
| if (segment != now_seg && segment != absolute_section) |
| as_bad (_("invalid segment \"%s\"; segment \"%s\" assumed"), |
| segment_name (segment), segment_name (now_seg)); |
| |
| if (now_seg == absolute_section) |
| { |
| if (fill != 0) |
| as_warn (_("ignoring fill value in absolute section")); |
| if (exp->X_op != O_constant) |
| { |
| as_bad (_("only constant offsets supported in absolute section")); |
| exp->X_add_number = 0; |
| } |
| abs_section_offset = exp->X_add_number; |
| } |
| else |
| { |
| char *p; |
| symbolS *sym = exp->X_add_symbol; |
| offsetT off = exp->X_add_number * OCTETS_PER_BYTE; |
| |
| if (exp->X_op != O_constant && exp->X_op != O_symbol) |
| { |
| /* Handle complex expressions. */ |
| sym = make_expr_symbol (exp); |
| off = 0; |
| } |
| |
| p = frag_var (rs_org, 1, 1, (relax_substateT) 0, sym, off, (char *) 0); |
| *p = fill; |
| } |
| } |
| |
| void |
| s_org (ignore) |
| int ignore ATTRIBUTE_UNUSED; |
| { |
| register segT segment; |
| expressionS exp; |
| register long temp_fill; |
| |
| #ifdef md_flush_pending_output |
| md_flush_pending_output (); |
| #endif |
| |
| /* The m68k MRI assembler has a different meaning for .org. It |
| means to create an absolute section at a given address. We can't |
| support that--use a linker script instead. */ |
| if (flag_m68k_mri) |
| { |
| as_bad (_("MRI style ORG pseudo-op not supported")); |
| ignore_rest_of_line (); |
| return; |
| } |
| |
| /* Don't believe the documentation of BSD 4.2 AS. There is no such |
| thing as a sub-segment-relative origin. Any absolute origin is |
| given a warning, then assumed to be segment-relative. Any |
| segmented origin expression ("foo+42") had better be in the right |
| segment or the .org is ignored. |
| |
| BSD 4.2 AS warns if you try to .org backwards. We cannot because |
| we never know sub-segment sizes when we are reading code. BSD |
| will crash trying to emit negative numbers of filler bytes in |
| certain .orgs. We don't crash, but see as-write for that code. |
| |
| Don't make frag if need_pass_2==1. */ |
| segment = get_known_segmented_expression (&exp); |
| if (*input_line_pointer == ',') |
| { |
| input_line_pointer++; |
| temp_fill = get_absolute_expression (); |
| } |
| else |
| temp_fill = 0; |
| |
| if (!need_pass_2) |
| do_org (segment, &exp, temp_fill); |
| |
| demand_empty_rest_of_line (); |
| } |
| |
| /* Handle parsing for the MRI SECT/SECTION pseudo-op. This should be |
| called by the obj-format routine which handles section changing |
| when in MRI mode. It will create a new section, and return it. It |
| will set *TYPE to the section type: one of 'C' (code), 'D' (data), |
| 'M' (mixed), or 'R' (romable). If BFD_ASSEMBLER is defined, the |
| flags will be set in the section. */ |
| |
| void |
| s_mri_sect (type) |
| char *type ATTRIBUTE_UNUSED; |
| { |
| #ifdef TC_M68K |
| |
| char *name; |
| char c; |
| segT seg; |
| |
| SKIP_WHITESPACE (); |
| |
| name = input_line_pointer; |
| if (!isdigit ((unsigned char) *name)) |
| c = get_symbol_end (); |
| else |
| { |
| do |
| { |
| ++input_line_pointer; |
| } |
| while (isdigit ((unsigned char) *input_line_pointer)); |
| |
| c = *input_line_pointer; |
| *input_line_pointer = '\0'; |
| } |
| |
| name = xstrdup (name); |
| |
| *input_line_pointer = c; |
| |
| seg = subseg_new (name, 0); |
| |
| if (*input_line_pointer == ',') |
| { |
| int align; |
| |
| ++input_line_pointer; |
| align = get_absolute_expression (); |
| record_alignment (seg, align); |
| } |
| |
| *type = 'C'; |
| if (*input_line_pointer == ',') |
| { |
| c = *++input_line_pointer; |
| c = toupper ((unsigned char) c); |
| if (c == 'C' || c == 'D' || c == 'M' || c == 'R') |
| *type = c; |
| else |
| as_bad (_("unrecognized section type")); |
| ++input_line_pointer; |
| |
| #ifdef BFD_ASSEMBLER |
| { |
| flagword flags; |
| |
| flags = SEC_NO_FLAGS; |
| if (*type == 'C') |
| flags = SEC_ALLOC | SEC_LOAD | SEC_READONLY | SEC_CODE; |
| else if (*type == 'D' || *type == 'M') |
| flags = SEC_ALLOC | SEC_LOAD | SEC_DATA; |
| else if (*type == 'R') |
| flags = SEC_ALLOC | SEC_LOAD | SEC_DATA | SEC_READONLY | SEC_ROM; |
| if (flags != SEC_NO_FLAGS) |
| { |
| if (!bfd_set_section_flags (stdoutput, seg, flags)) |
| as_warn (_("error setting flags for \"%s\": %s"), |
| bfd_section_name (stdoutput, seg), |
| bfd_errmsg (bfd_get_error ())); |
| } |
| } |
| #endif |
| } |
| |
| /* Ignore the HP type. */ |
| if (*input_line_pointer == ',') |
| input_line_pointer += 2; |
| |
| demand_empty_rest_of_line (); |
| |
| #else /* ! TC_M68K */ |
| #ifdef TC_I960 |
| |
| char *name; |
| char c; |
| segT seg; |
| |
| SKIP_WHITESPACE (); |
| |
| name = input_line_pointer; |
| c = get_symbol_end (); |
| |
| name = xstrdup (name); |
| |
| *input_line_pointer = c; |
| |
| seg = subseg_new (name, 0); |
| |
| if (*input_line_pointer != ',') |
| *type = 'C'; |
| else |
| { |
| char *sectype; |
| |
| ++input_line_pointer; |
| SKIP_WHITESPACE (); |
| sectype = input_line_pointer; |
| c = get_symbol_end (); |
| if (*sectype == '\0') |
| *type = 'C'; |
| else if (strcasecmp (sectype, "text") == 0) |
| *type = 'C'; |
| else if (strcasecmp (sectype, "data") == 0) |
| *type = 'D'; |
| else if (strcasecmp (sectype, "romdata") == 0) |
| *type = 'R'; |
| else |
| as_warn (_("unrecognized section type `%s'"), sectype); |
| *input_line_pointer = c; |
| } |
| |
| if (*input_line_pointer == ',') |
| { |
| char *seccmd; |
| |
| ++input_line_pointer; |
| SKIP_WHITESPACE (); |
| seccmd = input_line_pointer; |
| c = get_symbol_end (); |
| if (strcasecmp (seccmd, "absolute") == 0) |
| { |
| as_bad (_("absolute sections are not supported")); |
| *input_line_pointer = c; |
| ignore_rest_of_line (); |
| return; |
| } |
| else if (strcasecmp (seccmd, "align") == 0) |
| { |
| int align; |
| |
| *input_line_pointer = c; |
| align = get_absolute_expression (); |
| record_alignment (seg, align); |
| } |
| else |
| { |
| as_warn (_("unrecognized section command `%s'"), seccmd); |
| *input_line_pointer = c; |
| } |
| } |
| |
| demand_empty_rest_of_line (); |
| |
| #else /* ! TC_I960 */ |
| /* The MRI assembler seems to use different forms of .sect for |
| different targets. */ |
| as_bad ("MRI mode not supported for this target"); |
| ignore_rest_of_line (); |
| #endif /* ! TC_I960 */ |
| #endif /* ! TC_M68K */ |
| } |
| |
| /* Handle the .print pseudo-op. */ |
| |
| void |
| s_print (ignore) |
| int ignore ATTRIBUTE_UNUSED; |
| { |
| char *s; |
| int len; |
| |
| s = demand_copy_C_string (&len); |
| printf ("%s\n", s); |
| demand_empty_rest_of_line (); |
| } |
| |
| /* Handle the .purgem pseudo-op. */ |
| |
| void |
| s_purgem (ignore) |
| int ignore ATTRIBUTE_UNUSED; |
| { |
| if (is_it_end_of_statement ()) |
| { |
| demand_empty_rest_of_line (); |
| return; |
| } |
| |
| do |
| { |
| char *name; |
| char c; |
| |
| SKIP_WHITESPACE (); |
| name = input_line_pointer; |
| c = get_symbol_end (); |
| delete_macro (name); |
| *input_line_pointer = c; |
| SKIP_WHITESPACE (); |
| } |
| while (*input_line_pointer++ == ','); |
| |
| --input_line_pointer; |
| demand_empty_rest_of_line (); |
| } |
| |
| /* Handle the .rept pseudo-op. */ |
| |
| void |
| s_rept (ignore) |
| int ignore ATTRIBUTE_UNUSED; |
| { |
| int count; |
| |
| count = get_absolute_expression (); |
| |
| do_repeat (count, "REPT", "ENDR"); |
| } |
| |
| /* This function provides a generic repeat block implementation. It allows |
| different directives to be used as the start/end keys. */ |
| |
| void |
| do_repeat (count, start, end) |
| int count; |
| const char *start; |
| const char *end; |
| { |
| sb one; |
| sb many; |
| |
| sb_new (&one); |
| if (!buffer_and_nest (start, end, &one, get_line_sb)) |
| { |
| as_bad (_("%s without %s"), start, end); |
| return; |
| } |
| |
| sb_new (&many); |
| while (count-- > 0) |
| sb_add_sb (&many, &one); |
| |
| sb_kill (&one); |
| |
| input_scrub_include_sb (&many, input_line_pointer, 1); |
| sb_kill (&many); |
| buffer_limit = input_scrub_next_buffer (&input_line_pointer); |
| } |
| |
| /* Skip to end of current repeat loop; EXTRA indicates how many additional |
| input buffers to skip. Assumes that conditionals preceding the loop end |
| are properly nested. |
| |
| This function makes it easier to implement a premature "break" out of the |
| loop. The EXTRA arg accounts for other buffers we might have inserted, |
| such as line substitutions. */ |
| |
| void |
| end_repeat (extra) |
| int extra; |
| { |
| cond_exit_macro (macro_nest); |
| while (extra-- >= 0) |
| buffer_limit = input_scrub_next_buffer (&input_line_pointer); |
| } |
| |
| /* Handle the .equ, .equiv and .set directives. If EQUIV is 1, then |
| this is .equiv, and it is an error if the symbol is already |
| defined. */ |
| |
| void |
| s_set (equiv) |
| int equiv; |
| { |
| register char *name; |
| register char delim; |
| register char *end_name; |
| register symbolS *symbolP; |
| |
| /* Especial apologies for the random logic: |
| this just grew, and could be parsed much more simply! |
| Dean in haste. */ |
| name = input_line_pointer; |
| delim = get_symbol_end (); |
| end_name = input_line_pointer; |
| *end_name = delim; |
| SKIP_WHITESPACE (); |
| |
| if (*input_line_pointer != ',') |
| { |
| *end_name = 0; |
| as_bad (_("Expected comma after name \"%s\""), name); |
| *end_name = delim; |
| ignore_rest_of_line (); |
| return; |
| } |
| |
| input_line_pointer++; |
| *end_name = 0; |
| |
| if (name[0] == '.' && name[1] == '\0') |
| { |
| /* Turn '. = mumble' into a .org mumble. */ |
| register segT segment; |
| expressionS exp; |
| |
| segment = get_known_segmented_expression (&exp); |
| |
| if (!need_pass_2) |
| do_org (segment, &exp, 0); |
| |
| *end_name = delim; |
| return; |
| } |
| |
| if ((symbolP = symbol_find (name)) == NULL |
| && (symbolP = md_undefined_symbol (name)) == NULL) |
| { |
| #ifndef NO_LISTING |
| /* When doing symbol listings, play games with dummy fragments living |
| outside the normal fragment chain to record the file and line info |
| for this symbol. */ |
| if (listing & LISTING_SYMBOLS) |
| { |
| extern struct list_info_struct *listing_tail; |
| fragS *dummy_frag = (fragS *) xmalloc (sizeof (fragS)); |
| memset (dummy_frag, 0, sizeof (fragS)); |
| dummy_frag->fr_type = rs_fill; |
| dummy_frag->line = listing_tail; |
| symbolP = symbol_new (name, undefined_section, 0, dummy_frag); |
| dummy_frag->fr_symbol = symbolP; |
| } |
| else |
| #endif |
| symbolP = symbol_new (name, undefined_section, 0, &zero_address_frag); |
| |
| #ifdef OBJ_COFF |
| /* "set" symbols are local unless otherwise specified. */ |
| SF_SET_LOCAL (symbolP); |
| #endif /* OBJ_COFF */ |
| } |
| |
| symbol_table_insert (symbolP); |
| |
| *end_name = delim; |
| |
| if (equiv |
| && S_IS_DEFINED (symbolP) |
| && S_GET_SEGMENT (symbolP) != reg_section) |
| as_bad (_("symbol `%s' already defined"), S_GET_NAME (symbolP)); |
| |
| pseudo_set (symbolP); |
| demand_empty_rest_of_line (); |
| } |
| |
| void |
| s_space (mult) |
| int mult; |
| { |
| expressionS exp; |
| expressionS val; |
| char *p = 0; |
| char *stop = NULL; |
| char stopc; |
| int bytes; |
| |
| #ifdef md_flush_pending_output |
| md_flush_pending_output (); |
| #endif |
| |
| if (flag_mri) |
| stop = mri_comment_field (&stopc); |
| |
| /* In m68k MRI mode, we need to align to a word boundary, unless |
| this is ds.b. */ |
| if (flag_m68k_mri && mult > 1) |
| { |
| if (now_seg == absolute_section) |
| { |
| abs_section_offset += abs_section_offset & 1; |
| if (line_label != NULL) |
| S_SET_VALUE (line_label, abs_section_offset); |
| } |
| else if (mri_common_symbol != NULL) |