1999-05-03 07:29:11 +00:00
|
|
|
|
/* expr.c -operands, expressions-
|
2001-03-08 23:24:26 +00:00
|
|
|
|
Copyright 1987, 1990, 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1998,
|
2007-04-21 06:54:57 +00:00
|
|
|
|
1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007
|
1999-05-03 07:29:11 +00:00
|
|
|
|
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
|
2007-07-03 11:01:12 +00:00
|
|
|
|
the Free Software Foundation; either version 3, or (at your option)
|
1999-05-03 07:29:11 +00:00
|
|
|
|
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
|
2005-05-05 09:13:19 +00:00
|
|
|
|
Software Foundation, 51 Franklin Street - Fifth Floor, Boston, MA
|
|
|
|
|
02110-1301, USA. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
|
2000-08-10 23:13:37 +00:00
|
|
|
|
/* This is really a branch office of as-read.c. I split it out to clearly
|
|
|
|
|
distinguish the world of expressions from the world of statements.
|
|
|
|
|
(It also gives smaller files to re-compile.)
|
|
|
|
|
Here, "operand"s are of expressions, not instructions. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
|
|
|
|
|
#define min(a, b) ((a) < (b) ? (a) : (b))
|
|
|
|
|
|
|
|
|
|
#include "as.h"
|
2001-09-19 05:33:36 +00:00
|
|
|
|
#include "safe-ctype.h"
|
1999-05-03 07:29:11 +00:00
|
|
|
|
#include "obstack.h"
|
|
|
|
|
|
2009-04-16 08:52:27 +00:00
|
|
|
|
#ifdef HAVE_LIMITS_H
|
|
|
|
|
#include <limits.h>
|
|
|
|
|
#endif
|
|
|
|
|
#ifndef CHAR_BIT
|
|
|
|
|
#define CHAR_BIT 8
|
|
|
|
|
#endif
|
|
|
|
|
|
2003-11-22 16:03:03 +00:00
|
|
|
|
static void floating_constant (expressionS * expressionP);
|
|
|
|
|
static valueT generic_bignum_to_int32 (void);
|
1999-05-17 03:21:46 +00:00
|
|
|
|
#ifdef BFD64
|
2003-11-22 16:03:03 +00:00
|
|
|
|
static valueT generic_bignum_to_int64 (void);
|
1999-05-17 03:21:46 +00:00
|
|
|
|
#endif
|
2003-11-22 16:03:03 +00:00
|
|
|
|
static void integer_constant (int radix, expressionS * expressionP);
|
|
|
|
|
static void mri_char_constant (expressionS *);
|
|
|
|
|
static void current_location (expressionS *);
|
|
|
|
|
static void clean_up_expression (expressionS * expressionP);
|
2005-10-11 11:16:17 +00:00
|
|
|
|
static segT operand (expressionS *, enum expr_mode);
|
2003-11-22 16:03:03 +00:00
|
|
|
|
static operatorT operator (int *);
|
1999-05-03 07:29:11 +00:00
|
|
|
|
|
|
|
|
|
extern const char EXP_CHARS[], FLT_CHARS[];
|
|
|
|
|
|
|
|
|
|
/* We keep a mapping of expression symbols to file positions, so that
|
|
|
|
|
we can provide better error messages. */
|
|
|
|
|
|
2000-10-17 20:21:45 +00:00
|
|
|
|
struct expr_symbol_line {
|
1999-05-03 07:29:11 +00:00
|
|
|
|
struct expr_symbol_line *next;
|
|
|
|
|
symbolS *sym;
|
|
|
|
|
char *file;
|
|
|
|
|
unsigned int line;
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
static struct expr_symbol_line *expr_symbol_lines;
|
|
|
|
|
|
|
|
|
|
/* Build a dummy symbol to hold a complex expression. This is how we
|
|
|
|
|
build expressions up out of other expressions. The symbol is put
|
|
|
|
|
into the fake section expr_section. */
|
|
|
|
|
|
|
|
|
|
symbolS *
|
2003-11-22 16:03:03 +00:00
|
|
|
|
make_expr_symbol (expressionS *expressionP)
|
1999-05-03 07:29:11 +00:00
|
|
|
|
{
|
|
|
|
|
expressionS zero;
|
|
|
|
|
symbolS *symbolP;
|
|
|
|
|
struct expr_symbol_line *n;
|
|
|
|
|
|
|
|
|
|
if (expressionP->X_op == O_symbol
|
|
|
|
|
&& expressionP->X_add_number == 0)
|
|
|
|
|
return expressionP->X_add_symbol;
|
|
|
|
|
|
|
|
|
|
if (expressionP->X_op == O_big)
|
|
|
|
|
{
|
|
|
|
|
/* This won't work, because the actual value is stored in
|
2002-10-18 01:56:39 +00:00
|
|
|
|
generic_floating_point_number or generic_bignum, and we are
|
|
|
|
|
going to lose it if we haven't already. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
if (expressionP->X_add_number > 0)
|
* read.c: Standardize error/warning messages - don't capitalise, no
final period or newline, don't say "ignored" or "zero assumed" for
as_bad messages. In some cases, change the wording to that used
elsewhere for similar messages.
* app.c, as.c, atof-generic.c, cgen.c, cond.c, depend.c, dwarf2dbg.c,
ecoff.c, expr.c, frags.c, input-file.c, input-scrub.c, listing.c,
output-file.c, stabs.c, subsegs.c, symbols.c, write.c: Likewise.
* ecoff.c (ecoff_directive_end): Test for missing name by
comparing input line pointers rather than reading string.
(ecoff_directive_ent): Likewise.
* read.c (s_set): Likewise.
(s_align): Report a warning rather than an error for
alignment too large.
(s_comm): Check for missing symbol name.
(s_lcomm_internal): Likewise.
(s_lsym): Likewise.
(s_globl): Use is_end_of_line instead of looking for '\n'.
(s_lcomm_internal): Likewise.
(ignore_rest_of_line): Report a warning rather than an error.
2001-08-01 01:44:25 +00:00
|
|
|
|
as_bad (_("bignum invalid"));
|
1999-05-03 07:29:11 +00:00
|
|
|
|
else
|
* read.c: Standardize error/warning messages - don't capitalise, no
final period or newline, don't say "ignored" or "zero assumed" for
as_bad messages. In some cases, change the wording to that used
elsewhere for similar messages.
* app.c, as.c, atof-generic.c, cgen.c, cond.c, depend.c, dwarf2dbg.c,
ecoff.c, expr.c, frags.c, input-file.c, input-scrub.c, listing.c,
output-file.c, stabs.c, subsegs.c, symbols.c, write.c: Likewise.
* ecoff.c (ecoff_directive_end): Test for missing name by
comparing input line pointers rather than reading string.
(ecoff_directive_ent): Likewise.
* read.c (s_set): Likewise.
(s_align): Report a warning rather than an error for
alignment too large.
(s_comm): Check for missing symbol name.
(s_lcomm_internal): Likewise.
(s_lsym): Likewise.
(s_globl): Use is_end_of_line instead of looking for '\n'.
(s_lcomm_internal): Likewise.
(ignore_rest_of_line): Report a warning rather than an error.
2001-08-01 01:44:25 +00:00
|
|
|
|
as_bad (_("floating point number invalid"));
|
1999-05-03 07:29:11 +00:00
|
|
|
|
zero.X_op = O_constant;
|
|
|
|
|
zero.X_add_number = 0;
|
|
|
|
|
zero.X_unsigned = 0;
|
|
|
|
|
clean_up_expression (&zero);
|
|
|
|
|
expressionP = &zero;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* Putting constant symbols in absolute_section rather than
|
|
|
|
|
expr_section is convenient for the old a.out code, for which
|
|
|
|
|
S_GET_SEGMENT does not always retrieve the value put in by
|
|
|
|
|
S_SET_SEGMENT. */
|
2003-05-27 19:19:29 +00:00
|
|
|
|
symbolP = symbol_create (FAKE_LABEL_NAME,
|
1999-05-03 07:29:11 +00:00
|
|
|
|
(expressionP->X_op == O_constant
|
|
|
|
|
? absolute_section
|
2007-09-26 08:34:24 +00:00
|
|
|
|
: expressionP->X_op == O_register
|
|
|
|
|
? reg_section
|
|
|
|
|
: expr_section),
|
1999-05-03 07:29:11 +00:00
|
|
|
|
0, &zero_address_frag);
|
Add support for storing local symbols in a small structure to save
memory when assembling large files.
* as.h: Don't include struc-symbol.h.
(symbolS): Add typedef.
* symbols.c: Include struc-symbol.h.
(local_hash): New static variable.
(save_symbol_name): New static function, from symbol_create.
(symbol_create): Call save_symbol_name.
(local_symbol_count): New static variable.
(local_symbol_conversion_count): Likewise.
(LOCAL_SYMBOL_CHECK): Define.
(local_symbol_make): New static function.
(local_symbol_convert): New static function.
(colon): Handle local symbols. Create local symbol for local
label name.
(symbol_table_insert): Handle local symbols.
(symbol_find_or_make): Create local symbol for local label name.
(symbol_find_base): Check for local symbol.
(symbol_append, symbol_insert): Check for local symbols.
(symbol_clear_list_pointers, symbol_remove): Likewise.
(verify_symbol_chain): Likewise.
(copy_symbol_attributes): Likewise.
(resolve_symbol_value): Handle local symbols.
(resolve_local_symbol): New static function.
(resolve_local_symbol_values): New function.
(S_GET_VALUE, S_SET_VALUE): Handle local symbols.
(S_IS_FUNCTION, S_IS_EXTERNAL, S_IS_WEAK, S_IS_COMMON): Likewise.
(S_IS_DEFINED, S_IS_DEBUG, S_IS_LOCAL, S_GET_NAME): Likewise.
(S_GET_SEGMENT, S_SET_SEGMENT, S_SET_EXTERNAL): Likewise.
(S_CLEAR_EXTERNAL, S_SET_WEAK, S_SET_NAME): Likewise.
(symbol_previous, symbol_next): New functions.
(symbol_get_value_expression): Likewise.
(symbol_set_value_expression): Likewise.
(symbol_set_frag, symbol_get_frag): Likewise.
(symbol_mark_used, symbol_clear_used, symbol_used_p): Likewise.
(symbol_mark_used_in_reloc): Likewise.
(symbol_clear_used_in_reloc, symbol_used_in_reloc_p): Likewise.
(symbol_mark_mri_common, symbol_clear_mri_common): Likewise.
(symbol_mri_common_p): Likewise.
(symbol_mark_written, symbol_clear_written): Likewise.
(symbol_written_p): Likewise.
(symbol_mark_resolved, symbol_resolved_p): Likewise.
(symbol_section_p, symbol_equated_p): Likewise.
(symbol_constant_p): Likewise.
(symbol_get_bfdsym, symbol_set_bfdsym): Likewise.
(symbol_get_obj, symbol_set_obj): Likewise.
(symbol_get_tc, symbol_set_tc): Likewise.
(symbol_begin): Initialize local_hash.
(print_symbol_value_1): Handle local symbols.
(symbol_print_statistics): Print local symbol statistics.
* symbols.h: Include "struc-symbol.h" if not BFD_ASSEMBLER.
Declare new symbols.c functions. Move many declarations here from
struc-symbol.h.
(SYMBOLS_NEED_BACKPOINTERS): Define if needed.
* struc-symbol.h (SYMBOLS_NEED_BACKPOINTERS): Don't set.
(struct symbol): Move bsym to make it clearly the first field.
Remove TARGET_SYMBOL_FIELDS.
(symbolS): Don't typedef.
(struct broken_word): Remove.
(N_TYPE_seg, seg_N_TYPE): Move to symbol.h.
(SEGMENT_TO_SYMBOL_TYPE, N_REGISTER): Likewise.
(symbol_clear_list_pointers): Likewise.
(symbol_insert, symbol_remove): Likewise.
(symbol_previous, symbol_append): Likewise.
(verify_symbol_chain, verify_symbol_chain_2): Likewise.
(struct local_symbol): Define.
(local_symbol_converted_p, local_symbol_mark_converted): Define.
(local_symbol_resolved_p, local_symbol_mark_resolved): Define.
(local_symbol_get_frag, local_symbol_set_frag): Define.
(local_symbol_get_real_symbol): Define.
(local_symbol_set_real_symbol): Define.
Define.
* write.c (write_object_file): Call resolve_local_symbol_values.
* config/obj-ecoff.h (OBJ_SYMFIELD_TYPE): Define.
(TARGET_SYMBOL_FIELDS): Don't define.
* config/obj-elf.h (OBJ_SYMFIELD_TYPE): Add local field. If
ECOFF_DEBUGGING, add ECOFF fields.
(ELF_TARGET_SYMBOL_FIELDS, TARGET_SYMBOL_FIELDS): Don't define.
* config/obj-multi.h (struct elf_obj_sy): Add local field. If
ECOFF_DEBUGGING, add ECOFF fields.
(ELF_TARGET_SYMBOL_FIELDS, TARGET_SYMBOL_FIELDS): Don't define.
(ECOFF_DEBUG_TARGET_SYMBOL_FIELDS): Don't define.
* config/tc-mcore.h: Don't include struc-symbol.h.
(TARGET_SYMBOL_FIELDS): Don't define.
(struct mcore_tc_sy): Define.
(TC_SYMFIELD_TYPE): Define.
* Many files: Use symbolS instead of struct symbol. Use new
accessor functions rather than referring to symbolS fields
directly.
* read.c (s_mri_common): Don't add in value of line_label.
* config/tc-mips.c (md_apply_fix): Correct parenthesization when
checking for SEC_LINK_ONCE.
* config/tc-sh.h (sh_fix_adjustable): Declare.
1999-06-03 00:29:48 +00:00
|
|
|
|
symbol_set_value_expression (symbolP, expressionP);
|
1999-05-03 07:29:11 +00:00
|
|
|
|
|
|
|
|
|
if (expressionP->X_op == O_constant)
|
2001-05-22 10:23:50 +00:00
|
|
|
|
resolve_symbol_value (symbolP);
|
1999-05-03 07:29:11 +00:00
|
|
|
|
|
|
|
|
|
n = (struct expr_symbol_line *) xmalloc (sizeof *n);
|
|
|
|
|
n->sym = symbolP;
|
|
|
|
|
as_where (&n->file, &n->line);
|
|
|
|
|
n->next = expr_symbol_lines;
|
|
|
|
|
expr_symbol_lines = n;
|
|
|
|
|
|
|
|
|
|
return symbolP;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* Return the file and line number for an expr symbol. Return
|
|
|
|
|
non-zero if something was found, 0 if no information is known for
|
|
|
|
|
the symbol. */
|
|
|
|
|
|
|
|
|
|
int
|
2003-11-22 16:03:03 +00:00
|
|
|
|
expr_symbol_where (symbolS *sym, char **pfile, unsigned int *pline)
|
1999-05-03 07:29:11 +00:00
|
|
|
|
{
|
|
|
|
|
register struct expr_symbol_line *l;
|
|
|
|
|
|
|
|
|
|
for (l = expr_symbol_lines; l != NULL; l = l->next)
|
|
|
|
|
{
|
|
|
|
|
if (l->sym == sym)
|
|
|
|
|
{
|
|
|
|
|
*pfile = l->file;
|
|
|
|
|
*pline = l->line;
|
|
|
|
|
return 1;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
return 0;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* Utilities for building expressions.
|
|
|
|
|
Since complex expressions are recorded as symbols for use in other
|
|
|
|
|
expressions these return a symbolS * and not an expressionS *.
|
|
|
|
|
These explicitly do not take an "add_number" argument. */
|
|
|
|
|
/* ??? For completeness' sake one might want expr_build_symbol.
|
|
|
|
|
It would just return its argument. */
|
|
|
|
|
|
|
|
|
|
/* Build an expression for an unsigned constant.
|
|
|
|
|
The corresponding one for signed constants is missing because
|
|
|
|
|
there's currently no need for it. One could add an unsigned_p flag
|
|
|
|
|
but that seems more clumsy. */
|
|
|
|
|
|
|
|
|
|
symbolS *
|
2003-11-22 16:03:03 +00:00
|
|
|
|
expr_build_uconstant (offsetT value)
|
1999-05-03 07:29:11 +00:00
|
|
|
|
{
|
|
|
|
|
expressionS e;
|
|
|
|
|
|
|
|
|
|
e.X_op = O_constant;
|
|
|
|
|
e.X_add_number = value;
|
|
|
|
|
e.X_unsigned = 1;
|
|
|
|
|
return make_expr_symbol (&e);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* Build an expression for the current location ('.'). */
|
|
|
|
|
|
|
|
|
|
symbolS *
|
2003-11-22 16:03:03 +00:00
|
|
|
|
expr_build_dot (void)
|
1999-05-03 07:29:11 +00:00
|
|
|
|
{
|
|
|
|
|
expressionS e;
|
|
|
|
|
|
|
|
|
|
current_location (&e);
|
|
|
|
|
return make_expr_symbol (&e);
|
|
|
|
|
}
|
|
|
|
|
|
2000-08-10 23:13:37 +00:00
|
|
|
|
/* Build any floating-point literal here.
|
|
|
|
|
Also build any bignum literal here. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
|
|
|
|
|
/* Seems atof_machine can backscan through generic_bignum and hit whatever
|
|
|
|
|
happens to be loaded before it in memory. And its way too complicated
|
|
|
|
|
for me to fix right. Thus a hack. JF: Just make generic_bignum bigger,
|
|
|
|
|
and never write into the early words, thus they'll always be zero.
|
|
|
|
|
I hate Dean's floating-point code. Bleh. */
|
|
|
|
|
LITTLENUM_TYPE generic_bignum[SIZE_OF_LARGE_NUMBER + 6];
|
2000-10-17 20:21:45 +00:00
|
|
|
|
|
|
|
|
|
FLONUM_TYPE generic_floating_point_number = {
|
2000-08-11 17:50:25 +00:00
|
|
|
|
&generic_bignum[6], /* low. (JF: Was 0) */
|
|
|
|
|
&generic_bignum[SIZE_OF_LARGE_NUMBER + 6 - 1], /* high. JF: (added +6) */
|
|
|
|
|
0, /* leader. */
|
|
|
|
|
0, /* exponent. */
|
|
|
|
|
0 /* sign. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
};
|
2000-08-10 23:13:37 +00:00
|
|
|
|
|
1999-05-03 07:29:11 +00:00
|
|
|
|
|
|
|
|
|
static void
|
2003-11-22 16:03:03 +00:00
|
|
|
|
floating_constant (expressionS *expressionP)
|
1999-05-03 07:29:11 +00:00
|
|
|
|
{
|
2000-08-10 23:13:37 +00:00
|
|
|
|
/* input_line_pointer -> floating-point constant. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
int error_code;
|
|
|
|
|
|
|
|
|
|
error_code = atof_generic (&input_line_pointer, ".", EXP_CHARS,
|
|
|
|
|
&generic_floating_point_number);
|
|
|
|
|
|
|
|
|
|
if (error_code)
|
|
|
|
|
{
|
|
|
|
|
if (error_code == ERROR_EXPONENT_OVERFLOW)
|
|
|
|
|
{
|
* read.c: Standardize error/warning messages - don't capitalise, no
final period or newline, don't say "ignored" or "zero assumed" for
as_bad messages. In some cases, change the wording to that used
elsewhere for similar messages.
* app.c, as.c, atof-generic.c, cgen.c, cond.c, depend.c, dwarf2dbg.c,
ecoff.c, expr.c, frags.c, input-file.c, input-scrub.c, listing.c,
output-file.c, stabs.c, subsegs.c, symbols.c, write.c: Likewise.
* ecoff.c (ecoff_directive_end): Test for missing name by
comparing input line pointers rather than reading string.
(ecoff_directive_ent): Likewise.
* read.c (s_set): Likewise.
(s_align): Report a warning rather than an error for
alignment too large.
(s_comm): Check for missing symbol name.
(s_lcomm_internal): Likewise.
(s_lsym): Likewise.
(s_globl): Use is_end_of_line instead of looking for '\n'.
(s_lcomm_internal): Likewise.
(ignore_rest_of_line): Report a warning rather than an error.
2001-08-01 01:44:25 +00:00
|
|
|
|
as_bad (_("bad floating-point constant: exponent overflow"));
|
1999-05-03 07:29:11 +00:00
|
|
|
|
}
|
|
|
|
|
else
|
|
|
|
|
{
|
* read.c: Standardize error/warning messages - don't capitalise, no
final period or newline, don't say "ignored" or "zero assumed" for
as_bad messages. In some cases, change the wording to that used
elsewhere for similar messages.
* app.c, as.c, atof-generic.c, cgen.c, cond.c, depend.c, dwarf2dbg.c,
ecoff.c, expr.c, frags.c, input-file.c, input-scrub.c, listing.c,
output-file.c, stabs.c, subsegs.c, symbols.c, write.c: Likewise.
* ecoff.c (ecoff_directive_end): Test for missing name by
comparing input line pointers rather than reading string.
(ecoff_directive_ent): Likewise.
* read.c (s_set): Likewise.
(s_align): Report a warning rather than an error for
alignment too large.
(s_comm): Check for missing symbol name.
(s_lcomm_internal): Likewise.
(s_lsym): Likewise.
(s_globl): Use is_end_of_line instead of looking for '\n'.
(s_lcomm_internal): Likewise.
(ignore_rest_of_line): Report a warning rather than an error.
2001-08-01 01:44:25 +00:00
|
|
|
|
as_bad (_("bad floating-point constant: unknown error code=%d"),
|
|
|
|
|
error_code);
|
1999-05-03 07:29:11 +00:00
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
expressionP->X_op = O_big;
|
2000-08-10 23:13:37 +00:00
|
|
|
|
/* input_line_pointer -> just after constant, which may point to
|
|
|
|
|
whitespace. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
expressionP->X_add_number = -1;
|
|
|
|
|
}
|
|
|
|
|
|
2000-08-10 23:13:37 +00:00
|
|
|
|
static valueT
|
2003-11-22 16:03:03 +00:00
|
|
|
|
generic_bignum_to_int32 (void)
|
1999-05-03 07:29:11 +00:00
|
|
|
|
{
|
|
|
|
|
valueT number =
|
|
|
|
|
((generic_bignum[1] & LITTLENUM_MASK) << LITTLENUM_NUMBER_OF_BITS)
|
|
|
|
|
| (generic_bignum[0] & LITTLENUM_MASK);
|
|
|
|
|
number &= 0xffffffff;
|
|
|
|
|
return number;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
#ifdef BFD64
|
2000-08-10 23:13:37 +00:00
|
|
|
|
static valueT
|
2003-11-22 16:03:03 +00:00
|
|
|
|
generic_bignum_to_int64 (void)
|
1999-05-03 07:29:11 +00:00
|
|
|
|
{
|
2000-08-10 23:13:37 +00:00
|
|
|
|
valueT number =
|
|
|
|
|
((((((((valueT) generic_bignum[3] & LITTLENUM_MASK)
|
|
|
|
|
<< LITTLENUM_NUMBER_OF_BITS)
|
|
|
|
|
| ((valueT) generic_bignum[2] & LITTLENUM_MASK))
|
|
|
|
|
<< LITTLENUM_NUMBER_OF_BITS)
|
|
|
|
|
| ((valueT) generic_bignum[1] & LITTLENUM_MASK))
|
|
|
|
|
<< LITTLENUM_NUMBER_OF_BITS)
|
|
|
|
|
| ((valueT) generic_bignum[0] & LITTLENUM_MASK));
|
1999-05-03 07:29:11 +00:00
|
|
|
|
return number;
|
|
|
|
|
}
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
static void
|
2003-11-22 16:03:03 +00:00
|
|
|
|
integer_constant (int radix, expressionS *expressionP)
|
1999-05-03 07:29:11 +00:00
|
|
|
|
{
|
2000-08-10 23:13:37 +00:00
|
|
|
|
char *start; /* Start of number. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
char *suffix = NULL;
|
|
|
|
|
char c;
|
2000-08-10 23:13:37 +00:00
|
|
|
|
valueT number; /* Offset or (absolute) value. */
|
|
|
|
|
short int digit; /* Value of next digit in current radix. */
|
|
|
|
|
short int maxdig = 0; /* Highest permitted digit value. */
|
|
|
|
|
int too_many_digits = 0; /* If we see >= this number of. */
|
|
|
|
|
char *name; /* Points to name of symbol. */
|
|
|
|
|
symbolS *symbolP; /* Points to symbol. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
|
2000-08-10 23:13:37 +00:00
|
|
|
|
int small; /* True if fits in 32 bits. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
|
2000-08-10 23:13:37 +00:00
|
|
|
|
/* May be bignum, or may fit in 32 bits. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
/* Most numbers fit into 32 bits, and we want this case to be fast.
|
|
|
|
|
so we pretend it will fit into 32 bits. If, after making up a 32
|
|
|
|
|
bit number, we realise that we have scanned more digits than
|
|
|
|
|
comfortably fit into 32 bits, we re-scan the digits coding them
|
|
|
|
|
into a bignum. For decimal and octal numbers we are
|
|
|
|
|
conservative: Some numbers may be assumed bignums when in fact
|
|
|
|
|
they do fit into 32 bits. Numbers of any radix can have excess
|
|
|
|
|
leading zeros: We strive to recognise this and cast them back
|
|
|
|
|
into 32 bits. We must check that the bignum really is more than
|
|
|
|
|
32 bits, and change it back to a 32-bit number if it fits. The
|
|
|
|
|
number we are looking for is expected to be positive, but if it
|
|
|
|
|
fits into 32 bits as an unsigned number, we let it be a 32-bit
|
2000-08-10 23:13:37 +00:00
|
|
|
|
number. The cavalier approach is for speed in ordinary cases. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
/* This has been extended for 64 bits. We blindly assume that if
|
|
|
|
|
you're compiling in 64-bit mode, the target is a 64-bit machine.
|
|
|
|
|
This should be cleaned up. */
|
|
|
|
|
|
|
|
|
|
#ifdef BFD64
|
|
|
|
|
#define valuesize 64
|
|
|
|
|
#else /* includes non-bfd case, mostly */
|
|
|
|
|
#define valuesize 32
|
|
|
|
|
#endif
|
|
|
|
|
|
2000-02-08 14:21:53 +00:00
|
|
|
|
if ((NUMBERS_WITH_SUFFIX || flag_m68k_mri) && radix == 0)
|
1999-05-03 07:29:11 +00:00
|
|
|
|
{
|
|
|
|
|
int flt = 0;
|
|
|
|
|
|
|
|
|
|
/* In MRI mode, the number may have a suffix indicating the
|
2002-10-18 01:56:39 +00:00
|
|
|
|
radix. For that matter, it might actually be a floating
|
|
|
|
|
point constant. */
|
2001-09-19 05:33:36 +00:00
|
|
|
|
for (suffix = input_line_pointer; ISALNUM (*suffix); suffix++)
|
1999-05-03 07:29:11 +00:00
|
|
|
|
{
|
|
|
|
|
if (*suffix == 'e' || *suffix == 'E')
|
|
|
|
|
flt = 1;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
if (suffix == input_line_pointer)
|
|
|
|
|
{
|
|
|
|
|
radix = 10;
|
|
|
|
|
suffix = NULL;
|
|
|
|
|
}
|
|
|
|
|
else
|
|
|
|
|
{
|
|
|
|
|
c = *--suffix;
|
2001-09-19 05:33:36 +00:00
|
|
|
|
c = TOUPPER (c);
|
2005-11-06 23:04:10 +00:00
|
|
|
|
/* If we have both NUMBERS_WITH_SUFFIX and LOCAL_LABELS_FB,
|
|
|
|
|
we distinguish between 'B' and 'b'. This is the case for
|
|
|
|
|
Z80. */
|
|
|
|
|
if ((NUMBERS_WITH_SUFFIX && LOCAL_LABELS_FB ? *suffix : c) == 'B')
|
1999-05-03 07:29:11 +00:00
|
|
|
|
radix = 2;
|
|
|
|
|
else if (c == 'D')
|
|
|
|
|
radix = 10;
|
|
|
|
|
else if (c == 'O' || c == 'Q')
|
|
|
|
|
radix = 8;
|
|
|
|
|
else if (c == 'H')
|
|
|
|
|
radix = 16;
|
|
|
|
|
else if (suffix[1] == '.' || c == 'E' || flt)
|
|
|
|
|
{
|
|
|
|
|
floating_constant (expressionP);
|
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
else
|
|
|
|
|
{
|
|
|
|
|
radix = 10;
|
|
|
|
|
suffix = NULL;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
switch (radix)
|
|
|
|
|
{
|
|
|
|
|
case 2:
|
|
|
|
|
maxdig = 2;
|
|
|
|
|
too_many_digits = valuesize + 1;
|
|
|
|
|
break;
|
|
|
|
|
case 8:
|
|
|
|
|
maxdig = radix = 8;
|
|
|
|
|
too_many_digits = (valuesize + 2) / 3 + 1;
|
|
|
|
|
break;
|
|
|
|
|
case 16:
|
|
|
|
|
maxdig = radix = 16;
|
|
|
|
|
too_many_digits = (valuesize + 3) / 4 + 1;
|
|
|
|
|
break;
|
|
|
|
|
case 10:
|
|
|
|
|
maxdig = radix = 10;
|
2000-08-10 23:13:37 +00:00
|
|
|
|
too_many_digits = (valuesize + 11) / 4; /* Very rough. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
}
|
|
|
|
|
#undef valuesize
|
|
|
|
|
start = input_line_pointer;
|
|
|
|
|
c = *input_line_pointer++;
|
|
|
|
|
for (number = 0;
|
|
|
|
|
(digit = hex_value (c)) < maxdig;
|
|
|
|
|
c = *input_line_pointer++)
|
|
|
|
|
{
|
|
|
|
|
number = number * radix + digit;
|
|
|
|
|
}
|
2000-08-10 23:13:37 +00:00
|
|
|
|
/* c contains character after number. */
|
|
|
|
|
/* input_line_pointer->char after c. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
small = (input_line_pointer - start - 1) < too_many_digits;
|
|
|
|
|
|
2000-08-10 23:13:37 +00:00
|
|
|
|
if (radix == 16 && c == '_')
|
1999-05-03 07:29:11 +00:00
|
|
|
|
{
|
|
|
|
|
/* This is literal of the form 0x333_0_12345678_1.
|
2002-10-18 01:56:39 +00:00
|
|
|
|
This example is equivalent to 0x00000333000000001234567800000001. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
|
|
|
|
|
int num_little_digits = 0;
|
|
|
|
|
int i;
|
2000-08-10 23:13:37 +00:00
|
|
|
|
input_line_pointer = start; /* -> 1st digit. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
|
|
|
|
|
know (LITTLENUM_NUMBER_OF_BITS == 16);
|
|
|
|
|
|
2000-08-10 23:13:37 +00:00
|
|
|
|
for (c = '_'; c == '_'; num_little_digits += 2)
|
1999-05-03 07:29:11 +00:00
|
|
|
|
{
|
|
|
|
|
|
2000-08-10 23:13:37 +00:00
|
|
|
|
/* Convert one 64-bit word. */
|
|
|
|
|
int ndigit = 0;
|
1999-05-03 07:29:11 +00:00
|
|
|
|
number = 0;
|
|
|
|
|
for (c = *input_line_pointer++;
|
|
|
|
|
(digit = hex_value (c)) < maxdig;
|
|
|
|
|
c = *(input_line_pointer++))
|
|
|
|
|
{
|
|
|
|
|
number = number * radix + digit;
|
|
|
|
|
ndigit++;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* Check for 8 digit per word max. */
|
2000-08-10 23:13:37 +00:00
|
|
|
|
if (ndigit > 8)
|
* read.c: Standardize error/warning messages - don't capitalise, no
final period or newline, don't say "ignored" or "zero assumed" for
as_bad messages. In some cases, change the wording to that used
elsewhere for similar messages.
* app.c, as.c, atof-generic.c, cgen.c, cond.c, depend.c, dwarf2dbg.c,
ecoff.c, expr.c, frags.c, input-file.c, input-scrub.c, listing.c,
output-file.c, stabs.c, subsegs.c, symbols.c, write.c: Likewise.
* ecoff.c (ecoff_directive_end): Test for missing name by
comparing input line pointers rather than reading string.
(ecoff_directive_ent): Likewise.
* read.c (s_set): Likewise.
(s_align): Report a warning rather than an error for
alignment too large.
(s_comm): Check for missing symbol name.
(s_lcomm_internal): Likewise.
(s_lsym): Likewise.
(s_globl): Use is_end_of_line instead of looking for '\n'.
(s_lcomm_internal): Likewise.
(ignore_rest_of_line): Report a warning rather than an error.
2001-08-01 01:44:25 +00:00
|
|
|
|
as_bad (_("a bignum with underscores may not have more than 8 hex digits in any word"));
|
1999-05-03 07:29:11 +00:00
|
|
|
|
|
2000-08-10 23:13:37 +00:00
|
|
|
|
/* Add this chunk to the bignum.
|
|
|
|
|
Shift things down 2 little digits. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
know (LITTLENUM_NUMBER_OF_BITS == 16);
|
2000-08-10 23:13:37 +00:00
|
|
|
|
for (i = min (num_little_digits + 1, SIZE_OF_LARGE_NUMBER - 1);
|
|
|
|
|
i >= 2;
|
|
|
|
|
i--)
|
|
|
|
|
generic_bignum[i] = generic_bignum[i - 2];
|
1999-05-03 07:29:11 +00:00
|
|
|
|
|
2000-08-10 23:13:37 +00:00
|
|
|
|
/* Add the new digits as the least significant new ones. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
generic_bignum[0] = number & 0xffffffff;
|
|
|
|
|
generic_bignum[1] = number >> 16;
|
|
|
|
|
}
|
|
|
|
|
|
2000-08-10 23:13:37 +00:00
|
|
|
|
/* Again, c is char after number, input_line_pointer->after c. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
|
|
|
|
|
if (num_little_digits > SIZE_OF_LARGE_NUMBER - 1)
|
|
|
|
|
num_little_digits = SIZE_OF_LARGE_NUMBER - 1;
|
|
|
|
|
|
* gas/app, gas/as.c, gas/as.h, gas/atof-generic.c, gas/cgen.c,
gas/config/atof-ieee.c, gas/config/obj-aout.c,
gas/config/obj-coff.c, gas/config/obj-ecoff.c,
gas/config/obj-elf.c, gas/config/obj-som.c, gas/config/tc-alpha.c,
gas/config/tc-arc.c, gas/config/tc-arm.c, gas/config/tc-cr16.c,
gas/config/tc-cris.c, gas/config/tc-crx.c, gas/config/tc-d30v.c,
gas/config/tc-dlx.c, gas/config/tc-hppa.c, gas/config/tc-i370.c,
gas/config/tc-i386-intel.c, gas/config/tc-i386.c,
gas/config/tc-i860.c, gas/config/tc-i960.c, gas/config/tc-ia64.c,
gas/config/tc-iq2000.c, gas/config/tc-m32c.c,
gas/config/tc-m32r.c, gas/config/tc-m68hc11.c,
gas/config/tc-m68k.c, gas/config/tc-maxq.c, gas/config/tc-mcore.c,
gas/config/tc-mep.c, gas/config/tc-mips.c, gas/config/tc-mmix.c,
gas/config/tc-mn10300.c, gas/config/tc-moxie.c,
gas/config/tc-ns32k.c, gas/config/tc-pj.c, gas/config/tc-ppc.c,
gas/config/tc-s390.c, gas/config/tc-score.c,
gas/config/tc-score7.c, gas/config/tc-sh.c, gas/config/tc-sparc.c,
gas/config/tc-spu.c, gas/config/tc-tic30.c, gas/config/tc-vax.c,
gas/config/tc-xtensa.c, gas/config/xtensa-relax.c,
gas/dw2gencfi.c, gas/dwarf2dbg.c, gas/ehopt.c, gas/expr.c,
gas/frags.c, gas/input-file.c, gas/read.c, gas/sb.c,
gas/subsegs.c, gas/symbols.c, gas/write.c: Change the name of the
gas macro `assert' to `gas_assert'.
2009-06-22 17:56:02 +00:00
|
|
|
|
gas_assert (num_little_digits >= 4);
|
1999-05-03 07:29:11 +00:00
|
|
|
|
|
|
|
|
|
if (num_little_digits != 8)
|
* read.c: Standardize error/warning messages - don't capitalise, no
final period or newline, don't say "ignored" or "zero assumed" for
as_bad messages. In some cases, change the wording to that used
elsewhere for similar messages.
* app.c, as.c, atof-generic.c, cgen.c, cond.c, depend.c, dwarf2dbg.c,
ecoff.c, expr.c, frags.c, input-file.c, input-scrub.c, listing.c,
output-file.c, stabs.c, subsegs.c, symbols.c, write.c: Likewise.
* ecoff.c (ecoff_directive_end): Test for missing name by
comparing input line pointers rather than reading string.
(ecoff_directive_ent): Likewise.
* read.c (s_set): Likewise.
(s_align): Report a warning rather than an error for
alignment too large.
(s_comm): Check for missing symbol name.
(s_lcomm_internal): Likewise.
(s_lsym): Likewise.
(s_globl): Use is_end_of_line instead of looking for '\n'.
(s_lcomm_internal): Likewise.
(ignore_rest_of_line): Report a warning rather than an error.
2001-08-01 01:44:25 +00:00
|
|
|
|
as_bad (_("a bignum with underscores must have exactly 4 words"));
|
1999-05-03 07:29:11 +00:00
|
|
|
|
|
|
|
|
|
/* We might have some leading zeros. These can be trimmed to give
|
2000-08-10 23:13:37 +00:00
|
|
|
|
us a change to fit this constant into a small number. */
|
|
|
|
|
while (generic_bignum[num_little_digits - 1] == 0
|
|
|
|
|
&& num_little_digits > 1)
|
1999-05-03 07:29:11 +00:00
|
|
|
|
num_little_digits--;
|
2000-08-10 23:13:37 +00:00
|
|
|
|
|
1999-05-03 07:29:11 +00:00
|
|
|
|
if (num_little_digits <= 2)
|
|
|
|
|
{
|
2000-08-10 23:13:37 +00:00
|
|
|
|
/* will fit into 32 bits. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
number = generic_bignum_to_int32 ();
|
|
|
|
|
small = 1;
|
|
|
|
|
}
|
|
|
|
|
#ifdef BFD64
|
|
|
|
|
else if (num_little_digits <= 4)
|
|
|
|
|
{
|
|
|
|
|
/* Will fit into 64 bits. */
|
|
|
|
|
number = generic_bignum_to_int64 ();
|
|
|
|
|
small = 1;
|
|
|
|
|
}
|
|
|
|
|
#endif
|
|
|
|
|
else
|
|
|
|
|
{
|
|
|
|
|
small = 0;
|
2000-08-10 23:13:37 +00:00
|
|
|
|
|
|
|
|
|
/* Number of littlenums in the bignum. */
|
|
|
|
|
number = num_little_digits;
|
1999-05-03 07:29:11 +00:00
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
else if (!small)
|
|
|
|
|
{
|
2000-08-10 23:13:37 +00:00
|
|
|
|
/* We saw a lot of digits. manufacture a bignum the hard way. */
|
|
|
|
|
LITTLENUM_TYPE *leader; /* -> high order littlenum of the bignum. */
|
|
|
|
|
LITTLENUM_TYPE *pointer; /* -> littlenum we are frobbing now. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
long carry;
|
|
|
|
|
|
|
|
|
|
leader = generic_bignum;
|
|
|
|
|
generic_bignum[0] = 0;
|
|
|
|
|
generic_bignum[1] = 0;
|
|
|
|
|
generic_bignum[2] = 0;
|
|
|
|
|
generic_bignum[3] = 0;
|
2000-08-10 23:13:37 +00:00
|
|
|
|
input_line_pointer = start; /* -> 1st digit. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
c = *input_line_pointer++;
|
2000-08-10 23:13:37 +00:00
|
|
|
|
for (; (carry = hex_value (c)) < maxdig; c = *input_line_pointer++)
|
1999-05-03 07:29:11 +00:00
|
|
|
|
{
|
2000-08-10 23:13:37 +00:00
|
|
|
|
for (pointer = generic_bignum; pointer <= leader; pointer++)
|
1999-05-03 07:29:11 +00:00
|
|
|
|
{
|
|
|
|
|
long work;
|
|
|
|
|
|
|
|
|
|
work = carry + radix * *pointer;
|
|
|
|
|
*pointer = work & LITTLENUM_MASK;
|
|
|
|
|
carry = work >> LITTLENUM_NUMBER_OF_BITS;
|
|
|
|
|
}
|
|
|
|
|
if (carry)
|
|
|
|
|
{
|
|
|
|
|
if (leader < generic_bignum + SIZE_OF_LARGE_NUMBER - 1)
|
|
|
|
|
{
|
2000-08-10 23:13:37 +00:00
|
|
|
|
/* Room to grow a longer bignum. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
*++leader = carry;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
2000-08-10 23:13:37 +00:00
|
|
|
|
/* Again, c is char after number. */
|
|
|
|
|
/* input_line_pointer -> after c. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
know (LITTLENUM_NUMBER_OF_BITS == 16);
|
|
|
|
|
if (leader < generic_bignum + 2)
|
|
|
|
|
{
|
2000-08-10 23:13:37 +00:00
|
|
|
|
/* Will fit into 32 bits. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
number = generic_bignum_to_int32 ();
|
|
|
|
|
small = 1;
|
|
|
|
|
}
|
|
|
|
|
#ifdef BFD64
|
|
|
|
|
else if (leader < generic_bignum + 4)
|
|
|
|
|
{
|
|
|
|
|
/* Will fit into 64 bits. */
|
|
|
|
|
number = generic_bignum_to_int64 ();
|
|
|
|
|
small = 1;
|
|
|
|
|
}
|
|
|
|
|
#endif
|
|
|
|
|
else
|
|
|
|
|
{
|
2000-08-10 23:13:37 +00:00
|
|
|
|
/* Number of littlenums in the bignum. */
|
|
|
|
|
number = leader - generic_bignum + 1;
|
1999-05-03 07:29:11 +00:00
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2000-06-19 01:22:44 +00:00
|
|
|
|
if ((NUMBERS_WITH_SUFFIX || flag_m68k_mri)
|
|
|
|
|
&& suffix != NULL
|
2000-02-08 14:21:53 +00:00
|
|
|
|
&& input_line_pointer - 1 == suffix)
|
1999-05-03 07:29:11 +00:00
|
|
|
|
c = *input_line_pointer++;
|
|
|
|
|
|
|
|
|
|
if (small)
|
|
|
|
|
{
|
2000-08-10 23:13:37 +00:00
|
|
|
|
/* Here with number, in correct radix. c is the next char.
|
|
|
|
|
Note that unlike un*x, we allow "011f" "0x9f" to both mean
|
|
|
|
|
the same as the (conventional) "9f".
|
|
|
|
|
This is simply easier than checking for strict canonical
|
|
|
|
|
form. Syntax sux! */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
|
|
|
|
|
if (LOCAL_LABELS_FB && c == 'b')
|
|
|
|
|
{
|
2000-08-10 23:13:37 +00:00
|
|
|
|
/* Backward ref to local label.
|
|
|
|
|
Because it is backward, expect it to be defined. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
/* Construct a local label. */
|
|
|
|
|
name = fb_label_name ((int) number, 0);
|
|
|
|
|
|
2000-08-10 23:13:37 +00:00
|
|
|
|
/* Seen before, or symbol is defined: OK. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
symbolP = symbol_find (name);
|
|
|
|
|
if ((symbolP != NULL) && (S_IS_DEFINED (symbolP)))
|
|
|
|
|
{
|
2000-08-10 23:13:37 +00:00
|
|
|
|
/* Local labels are never absolute. Don't waste time
|
|
|
|
|
checking absoluteness. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
know (SEG_NORMAL (S_GET_SEGMENT (symbolP)));
|
|
|
|
|
|
|
|
|
|
expressionP->X_op = O_symbol;
|
|
|
|
|
expressionP->X_add_symbol = symbolP;
|
|
|
|
|
}
|
|
|
|
|
else
|
|
|
|
|
{
|
2000-08-10 23:13:37 +00:00
|
|
|
|
/* Either not seen or not defined. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
/* @@ Should print out the original string instead of
|
|
|
|
|
the parsed number. */
|
* read.c: Standardize error/warning messages - don't capitalise, no
final period or newline, don't say "ignored" or "zero assumed" for
as_bad messages. In some cases, change the wording to that used
elsewhere for similar messages.
* app.c, as.c, atof-generic.c, cgen.c, cond.c, depend.c, dwarf2dbg.c,
ecoff.c, expr.c, frags.c, input-file.c, input-scrub.c, listing.c,
output-file.c, stabs.c, subsegs.c, symbols.c, write.c: Likewise.
* ecoff.c (ecoff_directive_end): Test for missing name by
comparing input line pointers rather than reading string.
(ecoff_directive_ent): Likewise.
* read.c (s_set): Likewise.
(s_align): Report a warning rather than an error for
alignment too large.
(s_comm): Check for missing symbol name.
(s_lcomm_internal): Likewise.
(s_lsym): Likewise.
(s_globl): Use is_end_of_line instead of looking for '\n'.
(s_lcomm_internal): Likewise.
(ignore_rest_of_line): Report a warning rather than an error.
2001-08-01 01:44:25 +00:00
|
|
|
|
as_bad (_("backward ref to unknown label \"%d:\""),
|
1999-05-03 07:29:11 +00:00
|
|
|
|
(int) number);
|
|
|
|
|
expressionP->X_op = O_constant;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
expressionP->X_add_number = 0;
|
|
|
|
|
} /* case 'b' */
|
|
|
|
|
else if (LOCAL_LABELS_FB && c == 'f')
|
|
|
|
|
{
|
2000-08-10 23:13:37 +00:00
|
|
|
|
/* Forward reference. Expect symbol to be undefined or
|
|
|
|
|
unknown. undefined: seen it before. unknown: never seen
|
|
|
|
|
it before.
|
|
|
|
|
|
|
|
|
|
Construct a local label name, then an undefined symbol.
|
|
|
|
|
Don't create a xseg frag for it: caller may do that.
|
|
|
|
|
Just return it as never seen before. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
name = fb_label_name ((int) number, 1);
|
|
|
|
|
symbolP = symbol_find_or_make (name);
|
2000-08-10 23:13:37 +00:00
|
|
|
|
/* We have no need to check symbol properties. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
#ifndef many_segments
|
2000-08-10 23:13:37 +00:00
|
|
|
|
/* Since "know" puts its arg into a "string", we
|
1999-05-03 07:29:11 +00:00
|
|
|
|
can't have newlines in the argument. */
|
|
|
|
|
know (S_GET_SEGMENT (symbolP) == undefined_section || S_GET_SEGMENT (symbolP) == text_section || S_GET_SEGMENT (symbolP) == data_section);
|
|
|
|
|
#endif
|
|
|
|
|
expressionP->X_op = O_symbol;
|
|
|
|
|
expressionP->X_add_symbol = symbolP;
|
|
|
|
|
expressionP->X_add_number = 0;
|
|
|
|
|
} /* case 'f' */
|
|
|
|
|
else if (LOCAL_LABELS_DOLLAR && c == '$')
|
|
|
|
|
{
|
|
|
|
|
/* If the dollar label is *currently* defined, then this is just
|
|
|
|
|
another reference to it. If it is not *currently* defined,
|
|
|
|
|
then this is a fresh instantiation of that number, so create
|
|
|
|
|
it. */
|
|
|
|
|
|
|
|
|
|
if (dollar_label_defined ((long) number))
|
|
|
|
|
{
|
|
|
|
|
name = dollar_label_name ((long) number, 0);
|
|
|
|
|
symbolP = symbol_find (name);
|
|
|
|
|
know (symbolP != NULL);
|
|
|
|
|
}
|
|
|
|
|
else
|
|
|
|
|
{
|
|
|
|
|
name = dollar_label_name ((long) number, 1);
|
|
|
|
|
symbolP = symbol_find_or_make (name);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
expressionP->X_op = O_symbol;
|
|
|
|
|
expressionP->X_add_symbol = symbolP;
|
|
|
|
|
expressionP->X_add_number = 0;
|
|
|
|
|
} /* case '$' */
|
|
|
|
|
else
|
|
|
|
|
{
|
|
|
|
|
expressionP->X_op = O_constant;
|
|
|
|
|
expressionP->X_add_number = number;
|
2000-08-11 17:50:25 +00:00
|
|
|
|
input_line_pointer--; /* Restore following character. */
|
2000-08-10 23:13:37 +00:00
|
|
|
|
} /* Really just a number. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
}
|
|
|
|
|
else
|
|
|
|
|
{
|
2000-08-11 17:50:25 +00:00
|
|
|
|
/* Not a small number. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
expressionP->X_op = O_big;
|
2000-08-10 23:13:37 +00:00
|
|
|
|
expressionP->X_add_number = number; /* Number of littlenums. */
|
|
|
|
|
input_line_pointer--; /* -> char following number. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* Parse an MRI multi character constant. */
|
|
|
|
|
|
|
|
|
|
static void
|
2003-11-22 16:03:03 +00:00
|
|
|
|
mri_char_constant (expressionS *expressionP)
|
1999-05-03 07:29:11 +00:00
|
|
|
|
{
|
|
|
|
|
int i;
|
|
|
|
|
|
|
|
|
|
if (*input_line_pointer == '\''
|
|
|
|
|
&& input_line_pointer[1] != '\'')
|
|
|
|
|
{
|
|
|
|
|
expressionP->X_op = O_constant;
|
|
|
|
|
expressionP->X_add_number = 0;
|
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* In order to get the correct byte ordering, we must build the
|
|
|
|
|
number in reverse. */
|
|
|
|
|
for (i = SIZE_OF_LARGE_NUMBER - 1; i >= 0; i--)
|
|
|
|
|
{
|
|
|
|
|
int j;
|
|
|
|
|
|
|
|
|
|
generic_bignum[i] = 0;
|
|
|
|
|
for (j = 0; j < CHARS_PER_LITTLENUM; j++)
|
|
|
|
|
{
|
|
|
|
|
if (*input_line_pointer == '\'')
|
|
|
|
|
{
|
|
|
|
|
if (input_line_pointer[1] != '\'')
|
|
|
|
|
break;
|
|
|
|
|
++input_line_pointer;
|
|
|
|
|
}
|
|
|
|
|
generic_bignum[i] <<= 8;
|
|
|
|
|
generic_bignum[i] += *input_line_pointer;
|
|
|
|
|
++input_line_pointer;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
if (i < SIZE_OF_LARGE_NUMBER - 1)
|
|
|
|
|
{
|
|
|
|
|
/* If there is more than one littlenum, left justify the
|
2002-10-18 01:56:39 +00:00
|
|
|
|
last one to make it match the earlier ones. If there is
|
|
|
|
|
only one, we can just use the value directly. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
for (; j < CHARS_PER_LITTLENUM; j++)
|
|
|
|
|
generic_bignum[i] <<= 8;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
if (*input_line_pointer == '\''
|
|
|
|
|
&& input_line_pointer[1] != '\'')
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
if (i < 0)
|
|
|
|
|
{
|
* read.c: Standardize error/warning messages - don't capitalise, no
final period or newline, don't say "ignored" or "zero assumed" for
as_bad messages. In some cases, change the wording to that used
elsewhere for similar messages.
* app.c, as.c, atof-generic.c, cgen.c, cond.c, depend.c, dwarf2dbg.c,
ecoff.c, expr.c, frags.c, input-file.c, input-scrub.c, listing.c,
output-file.c, stabs.c, subsegs.c, symbols.c, write.c: Likewise.
* ecoff.c (ecoff_directive_end): Test for missing name by
comparing input line pointers rather than reading string.
(ecoff_directive_ent): Likewise.
* read.c (s_set): Likewise.
(s_align): Report a warning rather than an error for
alignment too large.
(s_comm): Check for missing symbol name.
(s_lcomm_internal): Likewise.
(s_lsym): Likewise.
(s_globl): Use is_end_of_line instead of looking for '\n'.
(s_lcomm_internal): Likewise.
(ignore_rest_of_line): Report a warning rather than an error.
2001-08-01 01:44:25 +00:00
|
|
|
|
as_bad (_("character constant too large"));
|
1999-05-03 07:29:11 +00:00
|
|
|
|
i = 0;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
if (i > 0)
|
|
|
|
|
{
|
|
|
|
|
int c;
|
|
|
|
|
int j;
|
|
|
|
|
|
|
|
|
|
c = SIZE_OF_LARGE_NUMBER - i;
|
|
|
|
|
for (j = 0; j < c; j++)
|
|
|
|
|
generic_bignum[j] = generic_bignum[i + j];
|
|
|
|
|
i = c;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
know (LITTLENUM_NUMBER_OF_BITS == 16);
|
|
|
|
|
if (i > 2)
|
|
|
|
|
{
|
|
|
|
|
expressionP->X_op = O_big;
|
|
|
|
|
expressionP->X_add_number = i;
|
|
|
|
|
}
|
|
|
|
|
else
|
|
|
|
|
{
|
|
|
|
|
expressionP->X_op = O_constant;
|
|
|
|
|
if (i < 2)
|
|
|
|
|
expressionP->X_add_number = generic_bignum[0] & LITTLENUM_MASK;
|
|
|
|
|
else
|
|
|
|
|
expressionP->X_add_number =
|
|
|
|
|
(((generic_bignum[1] & LITTLENUM_MASK)
|
|
|
|
|
<< LITTLENUM_NUMBER_OF_BITS)
|
|
|
|
|
| (generic_bignum[0] & LITTLENUM_MASK));
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* Skip the final closing quote. */
|
|
|
|
|
++input_line_pointer;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* Return an expression representing the current location. This
|
|
|
|
|
handles the magic symbol `.'. */
|
|
|
|
|
|
|
|
|
|
static void
|
2003-11-22 16:03:03 +00:00
|
|
|
|
current_location (expressionS *expressionp)
|
1999-05-03 07:29:11 +00:00
|
|
|
|
{
|
|
|
|
|
if (now_seg == absolute_section)
|
|
|
|
|
{
|
|
|
|
|
expressionp->X_op = O_constant;
|
|
|
|
|
expressionp->X_add_number = abs_section_offset;
|
|
|
|
|
}
|
|
|
|
|
else
|
|
|
|
|
{
|
|
|
|
|
expressionp->X_op = O_symbol;
|
2003-05-27 19:19:29 +00:00
|
|
|
|
expressionp->X_add_symbol = symbol_temp_new_now ();
|
1999-05-03 07:29:11 +00:00
|
|
|
|
expressionp->X_add_number = 0;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2000-08-10 23:13:37 +00:00
|
|
|
|
/* In: Input_line_pointer points to 1st char of operand, which may
|
|
|
|
|
be a space.
|
|
|
|
|
|
2001-10-11 12:20:25 +00:00
|
|
|
|
Out: An expressionS.
|
2000-08-10 23:13:37 +00:00
|
|
|
|
The operand may have been empty: in this case X_op == O_absent.
|
|
|
|
|
Input_line_pointer->(next non-blank) char after operand. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
|
|
|
|
|
static segT
|
2005-10-11 11:16:17 +00:00
|
|
|
|
operand (expressionS *expressionP, enum expr_mode mode)
|
1999-05-03 07:29:11 +00:00
|
|
|
|
{
|
|
|
|
|
char c;
|
2000-08-10 23:13:37 +00:00
|
|
|
|
symbolS *symbolP; /* Points to symbol. */
|
|
|
|
|
char *name; /* Points to name of symbol. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
segT segment;
|
|
|
|
|
|
|
|
|
|
/* All integers are regarded as unsigned unless they are negated.
|
|
|
|
|
This is because the only thing which cares whether a number is
|
|
|
|
|
unsigned is the code in emit_expr which extends constants into
|
|
|
|
|
bignums. It should only sign extend negative numbers, so that
|
|
|
|
|
something like ``.quad 0x80000000'' is not sign extended even
|
|
|
|
|
though it appears negative if valueT is 32 bits. */
|
|
|
|
|
expressionP->X_unsigned = 1;
|
|
|
|
|
|
2000-08-10 23:13:37 +00:00
|
|
|
|
/* Digits, assume it is a bignum. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
|
2000-08-10 23:13:37 +00:00
|
|
|
|
SKIP_WHITESPACE (); /* Leading whitespace is part of operand. */
|
2000-08-11 17:50:25 +00:00
|
|
|
|
c = *input_line_pointer++; /* input_line_pointer -> past char in c. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
|
2000-06-02 02:52:10 +00:00
|
|
|
|
if (is_end_of_line[(unsigned char) c])
|
|
|
|
|
goto eol;
|
|
|
|
|
|
1999-05-03 07:29:11 +00:00
|
|
|
|
switch (c)
|
|
|
|
|
{
|
|
|
|
|
case '1':
|
|
|
|
|
case '2':
|
|
|
|
|
case '3':
|
|
|
|
|
case '4':
|
|
|
|
|
case '5':
|
|
|
|
|
case '6':
|
|
|
|
|
case '7':
|
|
|
|
|
case '8':
|
|
|
|
|
case '9':
|
|
|
|
|
input_line_pointer--;
|
|
|
|
|
|
2000-06-19 01:22:44 +00:00
|
|
|
|
integer_constant ((NUMBERS_WITH_SUFFIX || flag_m68k_mri)
|
2000-08-10 23:13:37 +00:00
|
|
|
|
? 0 : 10,
|
2002-05-18 12:53:30 +00:00
|
|
|
|
expressionP);
|
1999-05-03 07:29:11 +00:00
|
|
|
|
break;
|
|
|
|
|
|
2000-06-23 10:51:28 +00:00
|
|
|
|
#ifdef LITERAL_PREFIXDOLLAR_HEX
|
|
|
|
|
case '$':
|
2001-08-14 20:00:32 +00:00
|
|
|
|
/* $L is the start of a local label, not a hex constant. */
|
|
|
|
|
if (* input_line_pointer == 'L')
|
|
|
|
|
goto isname;
|
2000-06-23 10:51:28 +00:00
|
|
|
|
integer_constant (16, expressionP);
|
|
|
|
|
break;
|
|
|
|
|
#endif
|
|
|
|
|
|
2000-07-17 17:51:18 +00:00
|
|
|
|
#ifdef LITERAL_PREFIXPERCENT_BIN
|
|
|
|
|
case '%':
|
|
|
|
|
integer_constant (2, expressionP);
|
|
|
|
|
break;
|
|
|
|
|
#endif
|
|
|
|
|
|
1999-05-03 07:29:11 +00:00
|
|
|
|
case '0':
|
2000-08-10 23:13:37 +00:00
|
|
|
|
/* Non-decimal radix. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
|
2000-02-08 14:21:53 +00:00
|
|
|
|
if (NUMBERS_WITH_SUFFIX || flag_m68k_mri)
|
1999-05-03 07:29:11 +00:00
|
|
|
|
{
|
|
|
|
|
char *s;
|
|
|
|
|
|
2002-10-18 01:56:39 +00:00
|
|
|
|
/* Check for a hex or float constant. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
for (s = input_line_pointer; hex_p (*s); s++)
|
|
|
|
|
;
|
2002-10-18 01:56:39 +00:00
|
|
|
|
if (*s == 'h' || *s == 'H' || *input_line_pointer == '.')
|
1999-05-03 07:29:11 +00:00
|
|
|
|
{
|
|
|
|
|
--input_line_pointer;
|
|
|
|
|
integer_constant (0, expressionP);
|
|
|
|
|
break;
|
|
|
|
|
}
|
2000-08-10 23:13:37 +00:00
|
|
|
|
}
|
1999-05-03 07:29:11 +00:00
|
|
|
|
c = *input_line_pointer;
|
|
|
|
|
switch (c)
|
|
|
|
|
{
|
|
|
|
|
case 'o':
|
|
|
|
|
case 'O':
|
|
|
|
|
case 'q':
|
|
|
|
|
case 'Q':
|
|
|
|
|
case '8':
|
|
|
|
|
case '9':
|
2000-02-08 14:21:53 +00:00
|
|
|
|
if (NUMBERS_WITH_SUFFIX || flag_m68k_mri)
|
1999-05-03 07:29:11 +00:00
|
|
|
|
{
|
|
|
|
|
integer_constant (0, expressionP);
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
/* Fall through. */
|
|
|
|
|
default:
|
|
|
|
|
default_case:
|
|
|
|
|
if (c && strchr (FLT_CHARS, c))
|
|
|
|
|
{
|
|
|
|
|
input_line_pointer++;
|
|
|
|
|
floating_constant (expressionP);
|
2001-09-19 05:33:36 +00:00
|
|
|
|
expressionP->X_add_number = - TOLOWER (c);
|
1999-05-03 07:29:11 +00:00
|
|
|
|
}
|
|
|
|
|
else
|
|
|
|
|
{
|
2000-08-10 23:13:37 +00:00
|
|
|
|
/* The string was only zero. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
expressionP->X_op = O_constant;
|
|
|
|
|
expressionP->X_add_number = 0;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
break;
|
|
|
|
|
|
|
|
|
|
case 'x':
|
|
|
|
|
case 'X':
|
2000-02-08 19:41:03 +00:00
|
|
|
|
if (flag_m68k_mri)
|
1999-05-03 07:29:11 +00:00
|
|
|
|
goto default_case;
|
|
|
|
|
input_line_pointer++;
|
|
|
|
|
integer_constant (16, expressionP);
|
|
|
|
|
break;
|
|
|
|
|
|
|
|
|
|
case 'b':
|
2000-02-08 19:06:00 +00:00
|
|
|
|
if (LOCAL_LABELS_FB && ! (flag_m68k_mri || NUMBERS_WITH_SUFFIX))
|
1999-05-03 07:29:11 +00:00
|
|
|
|
{
|
|
|
|
|
/* This code used to check for '+' and '-' here, and, in
|
|
|
|
|
some conditions, fall through to call
|
|
|
|
|
integer_constant. However, that didn't make sense,
|
|
|
|
|
as integer_constant only accepts digits. */
|
|
|
|
|
/* Some of our code elsewhere does permit digits greater
|
|
|
|
|
than the expected base; for consistency, do the same
|
|
|
|
|
here. */
|
|
|
|
|
if (input_line_pointer[1] < '0'
|
|
|
|
|
|| input_line_pointer[1] > '9')
|
|
|
|
|
{
|
|
|
|
|
/* Parse this as a back reference to label 0. */
|
|
|
|
|
input_line_pointer--;
|
|
|
|
|
integer_constant (10, expressionP);
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
/* Otherwise, parse this as a binary number. */
|
|
|
|
|
}
|
|
|
|
|
/* Fall through. */
|
|
|
|
|
case 'B':
|
|
|
|
|
input_line_pointer++;
|
2000-02-08 19:06:00 +00:00
|
|
|
|
if (flag_m68k_mri || NUMBERS_WITH_SUFFIX)
|
1999-05-03 07:29:11 +00:00
|
|
|
|
goto default_case;
|
|
|
|
|
integer_constant (2, expressionP);
|
|
|
|
|
break;
|
|
|
|
|
|
|
|
|
|
case '0':
|
|
|
|
|
case '1':
|
|
|
|
|
case '2':
|
|
|
|
|
case '3':
|
|
|
|
|
case '4':
|
|
|
|
|
case '5':
|
|
|
|
|
case '6':
|
|
|
|
|
case '7':
|
2000-02-08 19:06:00 +00:00
|
|
|
|
integer_constant ((flag_m68k_mri || NUMBERS_WITH_SUFFIX)
|
2000-08-10 23:13:37 +00:00
|
|
|
|
? 0 : 8,
|
|
|
|
|
expressionP);
|
1999-05-03 07:29:11 +00:00
|
|
|
|
break;
|
|
|
|
|
|
|
|
|
|
case 'f':
|
|
|
|
|
if (LOCAL_LABELS_FB)
|
|
|
|
|
{
|
|
|
|
|
/* If it says "0f" and it could possibly be a floating point
|
|
|
|
|
number, make it one. Otherwise, make it a local label,
|
|
|
|
|
and try to deal with parsing the rest later. */
|
|
|
|
|
if (!input_line_pointer[1]
|
2000-03-13 21:20:15 +00:00
|
|
|
|
|| (is_end_of_line[0xff & input_line_pointer[1]])
|
|
|
|
|
|| strchr (FLT_CHARS, 'f') == NULL)
|
1999-05-03 07:29:11 +00:00
|
|
|
|
goto is_0f_label;
|
|
|
|
|
{
|
|
|
|
|
char *cp = input_line_pointer + 1;
|
|
|
|
|
int r = atof_generic (&cp, ".", EXP_CHARS,
|
|
|
|
|
&generic_floating_point_number);
|
|
|
|
|
switch (r)
|
|
|
|
|
{
|
|
|
|
|
case 0:
|
|
|
|
|
case ERROR_EXPONENT_OVERFLOW:
|
|
|
|
|
if (*cp == 'f' || *cp == 'b')
|
2000-08-10 23:13:37 +00:00
|
|
|
|
/* Looks like a difference expression. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
goto is_0f_label;
|
|
|
|
|
else if (cp == input_line_pointer + 1)
|
|
|
|
|
/* No characters has been accepted -- looks like
|
2000-08-10 23:13:37 +00:00
|
|
|
|
end of operand. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
goto is_0f_label;
|
|
|
|
|
else
|
|
|
|
|
goto is_0f_float;
|
|
|
|
|
default:
|
|
|
|
|
as_fatal (_("expr.c(operand): bad atof_generic return val %d"),
|
|
|
|
|
r);
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* Okay, now we've sorted it out. We resume at one of these
|
|
|
|
|
two labels, depending on what we've decided we're probably
|
|
|
|
|
looking at. */
|
|
|
|
|
is_0f_label:
|
|
|
|
|
input_line_pointer--;
|
|
|
|
|
integer_constant (10, expressionP);
|
|
|
|
|
break;
|
|
|
|
|
|
|
|
|
|
is_0f_float:
|
2000-08-10 23:13:37 +00:00
|
|
|
|
/* Fall through. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
case 'd':
|
|
|
|
|
case 'D':
|
2000-02-08 19:06:00 +00:00
|
|
|
|
if (flag_m68k_mri || NUMBERS_WITH_SUFFIX)
|
1999-05-03 07:29:11 +00:00
|
|
|
|
{
|
|
|
|
|
integer_constant (0, expressionP);
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
/* Fall through. */
|
|
|
|
|
case 'F':
|
|
|
|
|
case 'r':
|
|
|
|
|
case 'e':
|
|
|
|
|
case 'E':
|
|
|
|
|
case 'g':
|
|
|
|
|
case 'G':
|
|
|
|
|
input_line_pointer++;
|
|
|
|
|
floating_constant (expressionP);
|
2001-09-19 05:33:36 +00:00
|
|
|
|
expressionP->X_add_number = - TOLOWER (c);
|
1999-05-03 07:29:11 +00:00
|
|
|
|
break;
|
|
|
|
|
|
|
|
|
|
case '$':
|
|
|
|
|
if (LOCAL_LABELS_DOLLAR)
|
|
|
|
|
{
|
|
|
|
|
integer_constant (10, expressionP);
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
else
|
|
|
|
|
goto default_case;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
break;
|
|
|
|
|
|
1999-06-03 02:51:27 +00:00
|
|
|
|
#ifndef NEED_INDEX_OPERATOR
|
1999-05-03 07:29:11 +00:00
|
|
|
|
case '[':
|
2009-04-20 06:26:23 +00:00
|
|
|
|
# ifdef md_need_index_operator
|
|
|
|
|
if (md_need_index_operator())
|
|
|
|
|
goto de_fault;
|
|
|
|
|
# endif
|
|
|
|
|
/* FALLTHROUGH */
|
1999-06-03 02:51:27 +00:00
|
|
|
|
#endif
|
2009-04-20 06:26:23 +00:00
|
|
|
|
case '(':
|
2000-08-10 23:13:37 +00:00
|
|
|
|
/* Didn't begin with digit & not a name. */
|
2005-10-11 11:16:17 +00:00
|
|
|
|
if (mode != expr_defer)
|
|
|
|
|
segment = expression (expressionP);
|
|
|
|
|
else
|
|
|
|
|
segment = deferred_expression (expressionP);
|
2000-08-10 23:13:37 +00:00
|
|
|
|
/* expression () will pass trailing whitespace. */
|
2000-06-23 10:12:48 +00:00
|
|
|
|
if ((c == '(' && *input_line_pointer != ')')
|
|
|
|
|
|| (c == '[' && *input_line_pointer != ']'))
|
2005-03-03 17:22:12 +00:00
|
|
|
|
as_bad (_("missing '%c'"), c == '(' ? ')' : ']');
|
2000-06-23 10:12:48 +00:00
|
|
|
|
else
|
2000-08-10 23:13:37 +00:00
|
|
|
|
input_line_pointer++;
|
1999-05-03 07:29:11 +00:00
|
|
|
|
SKIP_WHITESPACE ();
|
2000-08-10 23:13:37 +00:00
|
|
|
|
/* Here with input_line_pointer -> char after "(...)". */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
return segment;
|
|
|
|
|
|
2000-02-24 01:56:31 +00:00
|
|
|
|
#ifdef TC_M68K
|
1999-05-03 07:29:11 +00:00
|
|
|
|
case 'E':
|
|
|
|
|
if (! flag_m68k_mri || *input_line_pointer != '\'')
|
|
|
|
|
goto de_fault;
|
|
|
|
|
as_bad (_("EBCDIC constants are not supported"));
|
|
|
|
|
/* Fall through. */
|
|
|
|
|
case 'A':
|
|
|
|
|
if (! flag_m68k_mri || *input_line_pointer != '\'')
|
|
|
|
|
goto de_fault;
|
|
|
|
|
++input_line_pointer;
|
|
|
|
|
/* Fall through. */
|
2000-02-24 01:56:31 +00:00
|
|
|
|
#endif
|
1999-05-03 07:29:11 +00:00
|
|
|
|
case '\'':
|
|
|
|
|
if (! flag_m68k_mri)
|
|
|
|
|
{
|
|
|
|
|
/* Warning: to conform to other people's assemblers NO
|
2000-08-10 23:13:37 +00:00
|
|
|
|
ESCAPEMENT is permitted for a single quote. The next
|
1999-05-03 07:29:11 +00:00
|
|
|
|
character, parity errors and all, is taken as the value
|
2000-08-10 23:13:37 +00:00
|
|
|
|
of the operand. VERY KINKY. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
expressionP->X_op = O_constant;
|
|
|
|
|
expressionP->X_add_number = *input_line_pointer++;
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
mri_char_constant (expressionP);
|
|
|
|
|
break;
|
|
|
|
|
|
2000-02-24 01:56:31 +00:00
|
|
|
|
#ifdef TC_M68K
|
1999-05-03 07:29:11 +00:00
|
|
|
|
case '"':
|
|
|
|
|
/* Double quote is the bitwise not operator in MRI mode. */
|
|
|
|
|
if (! flag_m68k_mri)
|
|
|
|
|
goto de_fault;
|
|
|
|
|
/* Fall through. */
|
2000-02-24 01:56:31 +00:00
|
|
|
|
#endif
|
1999-05-03 07:29:11 +00:00
|
|
|
|
case '~':
|
2000-08-10 23:13:37 +00:00
|
|
|
|
/* '~' is permitted to start a label on the Delta. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
if (is_name_beginner (c))
|
|
|
|
|
goto isname;
|
|
|
|
|
case '!':
|
|
|
|
|
case '-':
|
2005-03-15 15:41:31 +00:00
|
|
|
|
case '+':
|
1999-05-03 07:29:11 +00:00
|
|
|
|
{
|
2009-04-20 06:26:23 +00:00
|
|
|
|
#ifdef md_operator
|
|
|
|
|
unary:
|
|
|
|
|
#endif
|
2005-10-11 11:16:17 +00:00
|
|
|
|
operand (expressionP, mode);
|
1999-05-03 07:29:11 +00:00
|
|
|
|
if (expressionP->X_op == O_constant)
|
|
|
|
|
{
|
2000-08-10 23:13:37 +00:00
|
|
|
|
/* input_line_pointer -> char after operand. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
if (c == '-')
|
|
|
|
|
{
|
2000-09-03 21:51:27 +00:00
|
|
|
|
expressionP->X_add_number = - expressionP->X_add_number;
|
2000-08-10 23:13:37 +00:00
|
|
|
|
/* Notice: '-' may overflow: no warning is given.
|
|
|
|
|
This is compatible with other people's
|
|
|
|
|
assemblers. Sigh. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
expressionP->X_unsigned = 0;
|
|
|
|
|
}
|
|
|
|
|
else if (c == '~' || c == '"')
|
|
|
|
|
expressionP->X_add_number = ~ expressionP->X_add_number;
|
2005-03-15 15:41:31 +00:00
|
|
|
|
else if (c == '!')
|
1999-05-03 07:29:11 +00:00
|
|
|
|
expressionP->X_add_number = ! expressionP->X_add_number;
|
|
|
|
|
}
|
2002-10-18 01:56:39 +00:00
|
|
|
|
else if (expressionP->X_op == O_big
|
|
|
|
|
&& expressionP->X_add_number <= 0
|
|
|
|
|
&& c == '-'
|
|
|
|
|
&& (generic_floating_point_number.sign == '+'
|
|
|
|
|
|| generic_floating_point_number.sign == 'P'))
|
|
|
|
|
{
|
|
|
|
|
/* Negative flonum (eg, -1.000e0). */
|
|
|
|
|
if (generic_floating_point_number.sign == '+')
|
|
|
|
|
generic_floating_point_number.sign = '-';
|
|
|
|
|
else
|
|
|
|
|
generic_floating_point_number.sign = 'N';
|
|
|
|
|
}
|
2004-08-11 02:11:58 +00:00
|
|
|
|
else if (expressionP->X_op == O_big
|
|
|
|
|
&& expressionP->X_add_number > 0)
|
|
|
|
|
{
|
|
|
|
|
int i;
|
|
|
|
|
|
|
|
|
|
if (c == '~' || c == '-')
|
|
|
|
|
{
|
|
|
|
|
for (i = 0; i < expressionP->X_add_number; ++i)
|
|
|
|
|
generic_bignum[i] = ~generic_bignum[i];
|
|
|
|
|
if (c == '-')
|
|
|
|
|
for (i = 0; i < expressionP->X_add_number; ++i)
|
|
|
|
|
{
|
|
|
|
|
generic_bignum[i] += 1;
|
|
|
|
|
if (generic_bignum[i])
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
else if (c == '!')
|
|
|
|
|
{
|
|
|
|
|
int nonzero = 0;
|
|
|
|
|
for (i = 0; i < expressionP->X_add_number; ++i)
|
|
|
|
|
{
|
|
|
|
|
if (generic_bignum[i])
|
|
|
|
|
nonzero = 1;
|
|
|
|
|
generic_bignum[i] = 0;
|
|
|
|
|
}
|
|
|
|
|
generic_bignum[0] = nonzero;
|
|
|
|
|
}
|
|
|
|
|
}
|
1999-05-03 07:29:11 +00:00
|
|
|
|
else if (expressionP->X_op != O_illegal
|
|
|
|
|
&& expressionP->X_op != O_absent)
|
|
|
|
|
{
|
2005-03-15 15:41:31 +00:00
|
|
|
|
if (c != '+')
|
|
|
|
|
{
|
|
|
|
|
expressionP->X_add_symbol = make_expr_symbol (expressionP);
|
|
|
|
|
if (c == '-')
|
|
|
|
|
expressionP->X_op = O_uminus;
|
|
|
|
|
else if (c == '~' || c == '"')
|
|
|
|
|
expressionP->X_op = O_bit_not;
|
|
|
|
|
else
|
|
|
|
|
expressionP->X_op = O_logical_not;
|
|
|
|
|
expressionP->X_add_number = 0;
|
|
|
|
|
}
|
1999-05-03 07:29:11 +00:00
|
|
|
|
}
|
|
|
|
|
else
|
|
|
|
|
as_warn (_("Unary operator %c ignored because bad operand follows"),
|
|
|
|
|
c);
|
|
|
|
|
}
|
|
|
|
|
break;
|
|
|
|
|
|
2000-02-24 01:56:31 +00:00
|
|
|
|
#if defined (DOLLAR_DOT) || defined (TC_M68K)
|
1999-05-03 07:29:11 +00:00
|
|
|
|
case '$':
|
2000-08-10 23:13:37 +00:00
|
|
|
|
/* '$' is the program counter when in MRI mode, or when
|
2002-10-18 01:56:39 +00:00
|
|
|
|
DOLLAR_DOT is defined. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
#ifndef DOLLAR_DOT
|
|
|
|
|
if (! flag_m68k_mri)
|
|
|
|
|
goto de_fault;
|
|
|
|
|
#endif
|
2005-11-08 15:48:26 +00:00
|
|
|
|
if (DOLLAR_AMBIGU && hex_p (*input_line_pointer))
|
1999-05-03 07:29:11 +00:00
|
|
|
|
{
|
2005-11-08 15:48:26 +00:00
|
|
|
|
/* In MRI mode and on Z80, '$' is also used as the prefix
|
|
|
|
|
for a hexadecimal constant. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
integer_constant (16, expressionP);
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
if (is_part_of_name (*input_line_pointer))
|
|
|
|
|
goto isname;
|
|
|
|
|
|
|
|
|
|
current_location (expressionP);
|
|
|
|
|
break;
|
2000-02-24 01:56:31 +00:00
|
|
|
|
#endif
|
1999-05-03 07:29:11 +00:00
|
|
|
|
|
|
|
|
|
case '.':
|
|
|
|
|
if (!is_part_of_name (*input_line_pointer))
|
|
|
|
|
{
|
|
|
|
|
current_location (expressionP);
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
else if ((strncasecmp (input_line_pointer, "startof.", 8) == 0
|
|
|
|
|
&& ! is_part_of_name (input_line_pointer[8]))
|
|
|
|
|
|| (strncasecmp (input_line_pointer, "sizeof.", 7) == 0
|
|
|
|
|
&& ! is_part_of_name (input_line_pointer[7])))
|
|
|
|
|
{
|
|
|
|
|
int start;
|
|
|
|
|
|
|
|
|
|
start = (input_line_pointer[1] == 't'
|
|
|
|
|
|| input_line_pointer[1] == 'T');
|
|
|
|
|
input_line_pointer += start ? 8 : 7;
|
|
|
|
|
SKIP_WHITESPACE ();
|
|
|
|
|
if (*input_line_pointer != '(')
|
|
|
|
|
as_bad (_("syntax error in .startof. or .sizeof."));
|
|
|
|
|
else
|
|
|
|
|
{
|
|
|
|
|
char *buf;
|
|
|
|
|
|
|
|
|
|
++input_line_pointer;
|
|
|
|
|
SKIP_WHITESPACE ();
|
|
|
|
|
name = input_line_pointer;
|
|
|
|
|
c = get_symbol_end ();
|
|
|
|
|
|
|
|
|
|
buf = (char *) xmalloc (strlen (name) + 10);
|
|
|
|
|
if (start)
|
|
|
|
|
sprintf (buf, ".startof.%s", name);
|
|
|
|
|
else
|
|
|
|
|
sprintf (buf, ".sizeof.%s", name);
|
|
|
|
|
symbolP = symbol_make (buf);
|
|
|
|
|
free (buf);
|
|
|
|
|
|
|
|
|
|
expressionP->X_op = O_symbol;
|
|
|
|
|
expressionP->X_add_symbol = symbolP;
|
|
|
|
|
expressionP->X_add_number = 0;
|
|
|
|
|
|
|
|
|
|
*input_line_pointer = c;
|
|
|
|
|
SKIP_WHITESPACE ();
|
|
|
|
|
if (*input_line_pointer != ')')
|
|
|
|
|
as_bad (_("syntax error in .startof. or .sizeof."));
|
|
|
|
|
else
|
|
|
|
|
++input_line_pointer;
|
|
|
|
|
}
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
else
|
|
|
|
|
{
|
|
|
|
|
goto isname;
|
|
|
|
|
}
|
2000-06-02 02:52:10 +00:00
|
|
|
|
|
1999-05-03 07:29:11 +00:00
|
|
|
|
case ',':
|
|
|
|
|
eol:
|
2000-08-10 23:13:37 +00:00
|
|
|
|
/* Can't imagine any other kind of operand. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
expressionP->X_op = O_absent;
|
|
|
|
|
input_line_pointer--;
|
|
|
|
|
break;
|
|
|
|
|
|
2000-02-24 01:56:31 +00:00
|
|
|
|
#ifdef TC_M68K
|
1999-05-03 07:29:11 +00:00
|
|
|
|
case '%':
|
|
|
|
|
if (! flag_m68k_mri)
|
|
|
|
|
goto de_fault;
|
|
|
|
|
integer_constant (2, expressionP);
|
|
|
|
|
break;
|
|
|
|
|
|
|
|
|
|
case '@':
|
|
|
|
|
if (! flag_m68k_mri)
|
|
|
|
|
goto de_fault;
|
|
|
|
|
integer_constant (8, expressionP);
|
|
|
|
|
break;
|
|
|
|
|
|
|
|
|
|
case ':':
|
|
|
|
|
if (! flag_m68k_mri)
|
|
|
|
|
goto de_fault;
|
|
|
|
|
|
|
|
|
|
/* In MRI mode, this is a floating point constant represented
|
2002-10-18 01:56:39 +00:00
|
|
|
|
using hexadecimal digits. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
|
|
|
|
|
++input_line_pointer;
|
|
|
|
|
integer_constant (16, expressionP);
|
|
|
|
|
break;
|
|
|
|
|
|
|
|
|
|
case '*':
|
|
|
|
|
if (! flag_m68k_mri || is_part_of_name (*input_line_pointer))
|
|
|
|
|
goto de_fault;
|
|
|
|
|
|
|
|
|
|
current_location (expressionP);
|
|
|
|
|
break;
|
2000-02-24 01:56:31 +00:00
|
|
|
|
#endif
|
1999-05-03 07:29:11 +00:00
|
|
|
|
|
|
|
|
|
default:
|
2009-04-20 06:26:23 +00:00
|
|
|
|
#if defined(md_need_index_operator) || defined(TC_M68K)
|
1999-05-03 07:29:11 +00:00
|
|
|
|
de_fault:
|
2000-02-24 01:56:31 +00:00
|
|
|
|
#endif
|
2000-08-10 23:13:37 +00:00
|
|
|
|
if (is_name_beginner (c)) /* Here if did not begin with a digit. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
{
|
2000-08-10 23:13:37 +00:00
|
|
|
|
/* Identifier begins here.
|
|
|
|
|
This is kludged for speed, so code is repeated. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
isname:
|
|
|
|
|
name = --input_line_pointer;
|
|
|
|
|
c = get_symbol_end ();
|
|
|
|
|
|
2009-04-20 06:26:23 +00:00
|
|
|
|
#ifdef md_operator
|
|
|
|
|
{
|
|
|
|
|
operatorT operator = md_operator (name, 1, &c);
|
|
|
|
|
|
|
|
|
|
switch (operator)
|
|
|
|
|
{
|
|
|
|
|
case O_uminus:
|
|
|
|
|
*input_line_pointer = c;
|
|
|
|
|
c = '-';
|
|
|
|
|
goto unary;
|
|
|
|
|
case O_bit_not:
|
|
|
|
|
*input_line_pointer = c;
|
|
|
|
|
c = '~';
|
|
|
|
|
goto unary;
|
|
|
|
|
case O_logical_not:
|
|
|
|
|
*input_line_pointer = c;
|
|
|
|
|
c = '!';
|
|
|
|
|
goto unary;
|
|
|
|
|
case O_illegal:
|
|
|
|
|
as_bad (_("invalid use of operator \"%s\""), name);
|
|
|
|
|
break;
|
|
|
|
|
default:
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
if (operator != O_absent && operator != O_illegal)
|
|
|
|
|
{
|
|
|
|
|
*input_line_pointer = c;
|
|
|
|
|
expr (9, expressionP, mode);
|
|
|
|
|
expressionP->X_add_symbol = make_expr_symbol (expressionP);
|
|
|
|
|
expressionP->X_op_symbol = NULL;
|
|
|
|
|
expressionP->X_add_number = 0;
|
|
|
|
|
expressionP->X_op = operator;
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
#endif
|
|
|
|
|
|
1999-05-03 07:29:11 +00:00
|
|
|
|
#ifdef md_parse_name
|
|
|
|
|
/* This is a hook for the backend to parse certain names
|
2002-10-18 01:56:39 +00:00
|
|
|
|
specially in certain contexts. If a name always has a
|
|
|
|
|
specific value, it can often be handled by simply
|
|
|
|
|
entering it in the symbol table. */
|
2005-10-11 11:16:17 +00:00
|
|
|
|
if (md_parse_name (name, expressionP, mode, &c))
|
1999-05-03 07:29:11 +00:00
|
|
|
|
{
|
|
|
|
|
*input_line_pointer = c;
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
#ifdef TC_I960
|
|
|
|
|
/* The MRI i960 assembler permits
|
|
|
|
|
lda sizeof code,g13
|
|
|
|
|
FIXME: This should use md_parse_name. */
|
|
|
|
|
if (flag_mri
|
|
|
|
|
&& (strcasecmp (name, "sizeof") == 0
|
|
|
|
|
|| strcasecmp (name, "startof") == 0))
|
|
|
|
|
{
|
|
|
|
|
int start;
|
|
|
|
|
char *buf;
|
|
|
|
|
|
|
|
|
|
start = (name[1] == 't'
|
|
|
|
|
|| name[1] == 'T');
|
|
|
|
|
|
|
|
|
|
*input_line_pointer = c;
|
|
|
|
|
SKIP_WHITESPACE ();
|
|
|
|
|
|
|
|
|
|
name = input_line_pointer;
|
|
|
|
|
c = get_symbol_end ();
|
|
|
|
|
|
|
|
|
|
buf = (char *) xmalloc (strlen (name) + 10);
|
|
|
|
|
if (start)
|
|
|
|
|
sprintf (buf, ".startof.%s", name);
|
|
|
|
|
else
|
|
|
|
|
sprintf (buf, ".sizeof.%s", name);
|
|
|
|
|
symbolP = symbol_make (buf);
|
|
|
|
|
free (buf);
|
|
|
|
|
|
|
|
|
|
expressionP->X_op = O_symbol;
|
|
|
|
|
expressionP->X_add_symbol = symbolP;
|
|
|
|
|
expressionP->X_add_number = 0;
|
|
|
|
|
|
|
|
|
|
*input_line_pointer = c;
|
|
|
|
|
SKIP_WHITESPACE ();
|
|
|
|
|
|
|
|
|
|
break;
|
2000-08-10 23:13:37 +00:00
|
|
|
|
}
|
1999-05-03 07:29:11 +00:00
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
symbolP = symbol_find_or_make (name);
|
|
|
|
|
|
|
|
|
|
/* If we have an absolute symbol or a reg, then we know its
|
|
|
|
|
value now. */
|
|
|
|
|
segment = S_GET_SEGMENT (symbolP);
|
2005-10-11 11:16:17 +00:00
|
|
|
|
if (mode != expr_defer && segment == absolute_section)
|
1999-05-03 07:29:11 +00:00
|
|
|
|
{
|
|
|
|
|
expressionP->X_op = O_constant;
|
|
|
|
|
expressionP->X_add_number = S_GET_VALUE (symbolP);
|
|
|
|
|
}
|
2005-10-11 11:16:17 +00:00
|
|
|
|
else if (mode != expr_defer && segment == reg_section)
|
1999-05-03 07:29:11 +00:00
|
|
|
|
{
|
|
|
|
|
expressionP->X_op = O_register;
|
|
|
|
|
expressionP->X_add_number = S_GET_VALUE (symbolP);
|
|
|
|
|
}
|
|
|
|
|
else
|
|
|
|
|
{
|
|
|
|
|
expressionP->X_op = O_symbol;
|
|
|
|
|
expressionP->X_add_symbol = symbolP;
|
|
|
|
|
expressionP->X_add_number = 0;
|
|
|
|
|
}
|
|
|
|
|
*input_line_pointer = c;
|
|
|
|
|
}
|
|
|
|
|
else
|
|
|
|
|
{
|
|
|
|
|
/* Let the target try to parse it. Success is indicated by changing
|
|
|
|
|
the X_op field to something other than O_absent and pointing
|
2000-09-05 03:53:02 +00:00
|
|
|
|
input_line_pointer past the expression. If it can't parse the
|
1999-05-03 07:29:11 +00:00
|
|
|
|
expression, X_op and input_line_pointer should be unchanged. */
|
|
|
|
|
expressionP->X_op = O_absent;
|
|
|
|
|
--input_line_pointer;
|
|
|
|
|
md_operand (expressionP);
|
|
|
|
|
if (expressionP->X_op == O_absent)
|
|
|
|
|
{
|
|
|
|
|
++input_line_pointer;
|
* read.c: Standardize error/warning messages - don't capitalise, no
final period or newline, don't say "ignored" or "zero assumed" for
as_bad messages. In some cases, change the wording to that used
elsewhere for similar messages.
* app.c, as.c, atof-generic.c, cgen.c, cond.c, depend.c, dwarf2dbg.c,
ecoff.c, expr.c, frags.c, input-file.c, input-scrub.c, listing.c,
output-file.c, stabs.c, subsegs.c, symbols.c, write.c: Likewise.
* ecoff.c (ecoff_directive_end): Test for missing name by
comparing input line pointers rather than reading string.
(ecoff_directive_ent): Likewise.
* read.c (s_set): Likewise.
(s_align): Report a warning rather than an error for
alignment too large.
(s_comm): Check for missing symbol name.
(s_lcomm_internal): Likewise.
(s_lsym): Likewise.
(s_globl): Use is_end_of_line instead of looking for '\n'.
(s_lcomm_internal): Likewise.
(ignore_rest_of_line): Report a warning rather than an error.
2001-08-01 01:44:25 +00:00
|
|
|
|
as_bad (_("bad expression"));
|
1999-05-03 07:29:11 +00:00
|
|
|
|
expressionP->X_op = O_constant;
|
|
|
|
|
expressionP->X_add_number = 0;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
|
2000-08-10 23:13:37 +00:00
|
|
|
|
/* It is more 'efficient' to clean up the expressionS when they are
|
|
|
|
|
created. Doing it here saves lines of code. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
clean_up_expression (expressionP);
|
2000-08-10 23:13:37 +00:00
|
|
|
|
SKIP_WHITESPACE (); /* -> 1st char after operand. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
know (*input_line_pointer != ' ');
|
|
|
|
|
|
|
|
|
|
/* The PA port needs this information. */
|
|
|
|
|
if (expressionP->X_add_symbol)
|
Add support for storing local symbols in a small structure to save
memory when assembling large files.
* as.h: Don't include struc-symbol.h.
(symbolS): Add typedef.
* symbols.c: Include struc-symbol.h.
(local_hash): New static variable.
(save_symbol_name): New static function, from symbol_create.
(symbol_create): Call save_symbol_name.
(local_symbol_count): New static variable.
(local_symbol_conversion_count): Likewise.
(LOCAL_SYMBOL_CHECK): Define.
(local_symbol_make): New static function.
(local_symbol_convert): New static function.
(colon): Handle local symbols. Create local symbol for local
label name.
(symbol_table_insert): Handle local symbols.
(symbol_find_or_make): Create local symbol for local label name.
(symbol_find_base): Check for local symbol.
(symbol_append, symbol_insert): Check for local symbols.
(symbol_clear_list_pointers, symbol_remove): Likewise.
(verify_symbol_chain): Likewise.
(copy_symbol_attributes): Likewise.
(resolve_symbol_value): Handle local symbols.
(resolve_local_symbol): New static function.
(resolve_local_symbol_values): New function.
(S_GET_VALUE, S_SET_VALUE): Handle local symbols.
(S_IS_FUNCTION, S_IS_EXTERNAL, S_IS_WEAK, S_IS_COMMON): Likewise.
(S_IS_DEFINED, S_IS_DEBUG, S_IS_LOCAL, S_GET_NAME): Likewise.
(S_GET_SEGMENT, S_SET_SEGMENT, S_SET_EXTERNAL): Likewise.
(S_CLEAR_EXTERNAL, S_SET_WEAK, S_SET_NAME): Likewise.
(symbol_previous, symbol_next): New functions.
(symbol_get_value_expression): Likewise.
(symbol_set_value_expression): Likewise.
(symbol_set_frag, symbol_get_frag): Likewise.
(symbol_mark_used, symbol_clear_used, symbol_used_p): Likewise.
(symbol_mark_used_in_reloc): Likewise.
(symbol_clear_used_in_reloc, symbol_used_in_reloc_p): Likewise.
(symbol_mark_mri_common, symbol_clear_mri_common): Likewise.
(symbol_mri_common_p): Likewise.
(symbol_mark_written, symbol_clear_written): Likewise.
(symbol_written_p): Likewise.
(symbol_mark_resolved, symbol_resolved_p): Likewise.
(symbol_section_p, symbol_equated_p): Likewise.
(symbol_constant_p): Likewise.
(symbol_get_bfdsym, symbol_set_bfdsym): Likewise.
(symbol_get_obj, symbol_set_obj): Likewise.
(symbol_get_tc, symbol_set_tc): Likewise.
(symbol_begin): Initialize local_hash.
(print_symbol_value_1): Handle local symbols.
(symbol_print_statistics): Print local symbol statistics.
* symbols.h: Include "struc-symbol.h" if not BFD_ASSEMBLER.
Declare new symbols.c functions. Move many declarations here from
struc-symbol.h.
(SYMBOLS_NEED_BACKPOINTERS): Define if needed.
* struc-symbol.h (SYMBOLS_NEED_BACKPOINTERS): Don't set.
(struct symbol): Move bsym to make it clearly the first field.
Remove TARGET_SYMBOL_FIELDS.
(symbolS): Don't typedef.
(struct broken_word): Remove.
(N_TYPE_seg, seg_N_TYPE): Move to symbol.h.
(SEGMENT_TO_SYMBOL_TYPE, N_REGISTER): Likewise.
(symbol_clear_list_pointers): Likewise.
(symbol_insert, symbol_remove): Likewise.
(symbol_previous, symbol_append): Likewise.
(verify_symbol_chain, verify_symbol_chain_2): Likewise.
(struct local_symbol): Define.
(local_symbol_converted_p, local_symbol_mark_converted): Define.
(local_symbol_resolved_p, local_symbol_mark_resolved): Define.
(local_symbol_get_frag, local_symbol_set_frag): Define.
(local_symbol_get_real_symbol): Define.
(local_symbol_set_real_symbol): Define.
Define.
* write.c (write_object_file): Call resolve_local_symbol_values.
* config/obj-ecoff.h (OBJ_SYMFIELD_TYPE): Define.
(TARGET_SYMBOL_FIELDS): Don't define.
* config/obj-elf.h (OBJ_SYMFIELD_TYPE): Add local field. If
ECOFF_DEBUGGING, add ECOFF fields.
(ELF_TARGET_SYMBOL_FIELDS, TARGET_SYMBOL_FIELDS): Don't define.
* config/obj-multi.h (struct elf_obj_sy): Add local field. If
ECOFF_DEBUGGING, add ECOFF fields.
(ELF_TARGET_SYMBOL_FIELDS, TARGET_SYMBOL_FIELDS): Don't define.
(ECOFF_DEBUG_TARGET_SYMBOL_FIELDS): Don't define.
* config/tc-mcore.h: Don't include struc-symbol.h.
(TARGET_SYMBOL_FIELDS): Don't define.
(struct mcore_tc_sy): Define.
(TC_SYMFIELD_TYPE): Define.
* Many files: Use symbolS instead of struct symbol. Use new
accessor functions rather than referring to symbolS fields
directly.
* read.c (s_mri_common): Don't add in value of line_label.
* config/tc-mips.c (md_apply_fix): Correct parenthesization when
checking for SEC_LINK_ONCE.
* config/tc-sh.h (sh_fix_adjustable): Declare.
1999-06-03 00:29:48 +00:00
|
|
|
|
symbol_mark_used (expressionP->X_add_symbol);
|
1999-05-03 07:29:11 +00:00
|
|
|
|
|
2005-10-11 11:16:17 +00:00
|
|
|
|
expressionP->X_add_symbol = symbol_clone_if_forward_ref (expressionP->X_add_symbol);
|
|
|
|
|
expressionP->X_op_symbol = symbol_clone_if_forward_ref (expressionP->X_op_symbol);
|
|
|
|
|
|
1999-05-03 07:29:11 +00:00
|
|
|
|
switch (expressionP->X_op)
|
|
|
|
|
{
|
|
|
|
|
default:
|
|
|
|
|
return absolute_section;
|
|
|
|
|
case O_symbol:
|
|
|
|
|
return S_GET_SEGMENT (expressionP->X_add_symbol);
|
|
|
|
|
case O_register:
|
|
|
|
|
return reg_section;
|
|
|
|
|
}
|
2000-08-10 23:13:37 +00:00
|
|
|
|
}
|
1999-05-03 07:29:11 +00:00
|
|
|
|
|
2000-08-10 23:13:37 +00:00
|
|
|
|
/* Internal. Simplify a struct expression for use by expr (). */
|
|
|
|
|
|
2001-10-11 12:20:25 +00:00
|
|
|
|
/* In: address of an expressionS.
|
2000-08-10 23:13:37 +00:00
|
|
|
|
The X_op field of the expressionS may only take certain values.
|
|
|
|
|
Elsewise we waste time special-case testing. Sigh. Ditto SEG_ABSENT.
|
|
|
|
|
|
|
|
|
|
Out: expressionS may have been modified:
|
|
|
|
|
Unused fields zeroed to help expr (). */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
|
|
|
|
|
static void
|
2003-11-22 16:03:03 +00:00
|
|
|
|
clean_up_expression (expressionS *expressionP)
|
1999-05-03 07:29:11 +00:00
|
|
|
|
{
|
|
|
|
|
switch (expressionP->X_op)
|
|
|
|
|
{
|
|
|
|
|
case O_illegal:
|
|
|
|
|
case O_absent:
|
|
|
|
|
expressionP->X_add_number = 0;
|
|
|
|
|
/* Fall through. */
|
|
|
|
|
case O_big:
|
|
|
|
|
case O_constant:
|
|
|
|
|
case O_register:
|
|
|
|
|
expressionP->X_add_symbol = NULL;
|
|
|
|
|
/* Fall through. */
|
|
|
|
|
case O_symbol:
|
|
|
|
|
case O_uminus:
|
|
|
|
|
case O_bit_not:
|
|
|
|
|
expressionP->X_op_symbol = NULL;
|
|
|
|
|
break;
|
|
|
|
|
default:
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2000-08-10 23:13:37 +00:00
|
|
|
|
/* Expression parser. */
|
|
|
|
|
|
|
|
|
|
/* We allow an empty expression, and just assume (absolute,0) silently.
|
|
|
|
|
Unary operators and parenthetical expressions are treated as operands.
|
|
|
|
|
As usual, Q==quantity==operand, O==operator, X==expression mnemonics.
|
|
|
|
|
|
2001-10-11 12:20:25 +00:00
|
|
|
|
We used to do an aho/ullman shift-reduce parser, but the logic got so
|
2000-08-10 23:13:37 +00:00
|
|
|
|
warped that I flushed it and wrote a recursive-descent parser instead.
|
|
|
|
|
Now things are stable, would anybody like to write a fast parser?
|
|
|
|
|
Most expressions are either register (which does not even reach here)
|
|
|
|
|
or 1 symbol. Then "symbol+constant" and "symbol-symbol" are common.
|
|
|
|
|
So I guess it doesn't really matter how inefficient more complex expressions
|
|
|
|
|
are parsed.
|
|
|
|
|
|
|
|
|
|
After expr(RANK,resultP) input_line_pointer->operator of rank <= RANK.
|
|
|
|
|
Also, we have consumed any leading or trailing spaces (operand does that)
|
|
|
|
|
and done all intervening operators.
|
|
|
|
|
|
|
|
|
|
This returns the segment of the result, which will be
|
|
|
|
|
absolute_section or the segment of a symbol. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
|
|
|
|
|
#undef __
|
|
|
|
|
#define __ O_illegal
|
2005-11-07 02:15:47 +00:00
|
|
|
|
#ifndef O_SINGLE_EQ
|
|
|
|
|
#define O_SINGLE_EQ O_illegal
|
|
|
|
|
#endif
|
1999-05-03 07:29:11 +00:00
|
|
|
|
|
2000-10-30 21:59:01 +00:00
|
|
|
|
/* Maps ASCII -> operators. */
|
|
|
|
|
static const operatorT op_encoding[256] = {
|
1999-05-03 07:29:11 +00:00
|
|
|
|
__, __, __, __, __, __, __, __, __, __, __, __, __, __, __, __,
|
|
|
|
|
__, __, __, __, __, __, __, __, __, __, __, __, __, __, __, __,
|
|
|
|
|
|
|
|
|
|
__, O_bit_or_not, __, __, __, O_modulus, O_bit_and, __,
|
|
|
|
|
__, __, O_multiply, O_add, __, O_subtract, __, O_divide,
|
|
|
|
|
__, __, __, __, __, __, __, __,
|
2005-11-07 02:15:47 +00:00
|
|
|
|
__, __, __, __, O_lt, O_SINGLE_EQ, O_gt, __,
|
1999-05-03 07:29:11 +00:00
|
|
|
|
__, __, __, __, __, __, __, __,
|
|
|
|
|
__, __, __, __, __, __, __, __,
|
|
|
|
|
__, __, __, __, __, __, __, __,
|
1999-06-03 02:51:27 +00:00
|
|
|
|
__, __, __,
|
|
|
|
|
#ifdef NEED_INDEX_OPERATOR
|
|
|
|
|
O_index,
|
|
|
|
|
#else
|
|
|
|
|
__,
|
|
|
|
|
#endif
|
|
|
|
|
__, __, O_bit_exclusive_or, __,
|
1999-05-03 07:29:11 +00:00
|
|
|
|
__, __, __, __, __, __, __, __,
|
|
|
|
|
__, __, __, __, __, __, __, __,
|
|
|
|
|
__, __, __, __, __, __, __, __,
|
|
|
|
|
__, __, __, __, O_bit_inclusive_or, __, __, __,
|
|
|
|
|
|
|
|
|
|
__, __, __, __, __, __, __, __, __, __, __, __, __, __, __, __,
|
|
|
|
|
__, __, __, __, __, __, __, __, __, __, __, __, __, __, __, __,
|
|
|
|
|
__, __, __, __, __, __, __, __, __, __, __, __, __, __, __, __,
|
|
|
|
|
__, __, __, __, __, __, __, __, __, __, __, __, __, __, __, __,
|
|
|
|
|
__, __, __, __, __, __, __, __, __, __, __, __, __, __, __, __,
|
|
|
|
|
__, __, __, __, __, __, __, __, __, __, __, __, __, __, __, __,
|
|
|
|
|
__, __, __, __, __, __, __, __, __, __, __, __, __, __, __, __,
|
|
|
|
|
__, __, __, __, __, __, __, __, __, __, __, __, __, __, __, __
|
|
|
|
|
};
|
|
|
|
|
|
2000-08-10 23:13:37 +00:00
|
|
|
|
/* Rank Examples
|
|
|
|
|
0 operand, (expression)
|
|
|
|
|
1 ||
|
|
|
|
|
2 &&
|
2001-06-13 11:29:53 +00:00
|
|
|
|
3 == <> < <= >= >
|
2000-08-10 23:13:37 +00:00
|
|
|
|
4 + -
|
|
|
|
|
5 used for * / % in MRI mode
|
|
|
|
|
6 & ^ ! |
|
|
|
|
|
7 * / % << >>
|
|
|
|
|
8 unary - unary ~
|
|
|
|
|
*/
|
2009-07-28 06:20:49 +00:00
|
|
|
|
static operator_rankT op_rank[O_max] = {
|
1999-05-03 07:29:11 +00:00
|
|
|
|
0, /* O_illegal */
|
|
|
|
|
0, /* O_absent */
|
|
|
|
|
0, /* O_constant */
|
|
|
|
|
0, /* O_symbol */
|
|
|
|
|
0, /* O_symbol_rva */
|
|
|
|
|
0, /* O_register */
|
2000-11-28 13:33:22 +00:00
|
|
|
|
0, /* O_big */
|
1999-06-03 02:51:27 +00:00
|
|
|
|
9, /* O_uminus */
|
|
|
|
|
9, /* O_bit_not */
|
|
|
|
|
9, /* O_logical_not */
|
|
|
|
|
8, /* O_multiply */
|
|
|
|
|
8, /* O_divide */
|
|
|
|
|
8, /* O_modulus */
|
|
|
|
|
8, /* O_left_shift */
|
|
|
|
|
8, /* O_right_shift */
|
|
|
|
|
7, /* O_bit_inclusive_or */
|
|
|
|
|
7, /* O_bit_or_not */
|
|
|
|
|
7, /* O_bit_exclusive_or */
|
|
|
|
|
7, /* O_bit_and */
|
|
|
|
|
5, /* O_add */
|
|
|
|
|
5, /* O_subtract */
|
|
|
|
|
4, /* O_eq */
|
|
|
|
|
4, /* O_ne */
|
|
|
|
|
4, /* O_lt */
|
|
|
|
|
4, /* O_le */
|
|
|
|
|
4, /* O_ge */
|
|
|
|
|
4, /* O_gt */
|
|
|
|
|
3, /* O_logical_and */
|
|
|
|
|
2, /* O_logical_or */
|
|
|
|
|
1, /* O_index */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
/* Unfortunately, in MRI mode for the m68k, multiplication and
|
|
|
|
|
division have lower precedence than the bit wise operators. This
|
|
|
|
|
function sets the operator precedences correctly for the current
|
|
|
|
|
mode. Also, MRI uses a different bit_not operator, and this fixes
|
|
|
|
|
that as well. */
|
|
|
|
|
|
2000-11-28 13:33:22 +00:00
|
|
|
|
#define STANDARD_MUL_PRECEDENCE 8
|
|
|
|
|
#define MRI_MUL_PRECEDENCE 6
|
1999-05-03 07:29:11 +00:00
|
|
|
|
|
|
|
|
|
void
|
2003-11-22 16:03:03 +00:00
|
|
|
|
expr_set_precedence (void)
|
1999-05-03 07:29:11 +00:00
|
|
|
|
{
|
|
|
|
|
if (flag_m68k_mri)
|
|
|
|
|
{
|
|
|
|
|
op_rank[O_multiply] = MRI_MUL_PRECEDENCE;
|
|
|
|
|
op_rank[O_divide] = MRI_MUL_PRECEDENCE;
|
|
|
|
|
op_rank[O_modulus] = MRI_MUL_PRECEDENCE;
|
|
|
|
|
}
|
|
|
|
|
else
|
|
|
|
|
{
|
|
|
|
|
op_rank[O_multiply] = STANDARD_MUL_PRECEDENCE;
|
|
|
|
|
op_rank[O_divide] = STANDARD_MUL_PRECEDENCE;
|
|
|
|
|
op_rank[O_modulus] = STANDARD_MUL_PRECEDENCE;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2009-04-20 06:26:23 +00:00
|
|
|
|
void
|
|
|
|
|
expr_set_rank (operatorT operator, operator_rankT rank)
|
|
|
|
|
{
|
* gas/app, gas/as.c, gas/as.h, gas/atof-generic.c, gas/cgen.c,
gas/config/atof-ieee.c, gas/config/obj-aout.c,
gas/config/obj-coff.c, gas/config/obj-ecoff.c,
gas/config/obj-elf.c, gas/config/obj-som.c, gas/config/tc-alpha.c,
gas/config/tc-arc.c, gas/config/tc-arm.c, gas/config/tc-cr16.c,
gas/config/tc-cris.c, gas/config/tc-crx.c, gas/config/tc-d30v.c,
gas/config/tc-dlx.c, gas/config/tc-hppa.c, gas/config/tc-i370.c,
gas/config/tc-i386-intel.c, gas/config/tc-i386.c,
gas/config/tc-i860.c, gas/config/tc-i960.c, gas/config/tc-ia64.c,
gas/config/tc-iq2000.c, gas/config/tc-m32c.c,
gas/config/tc-m32r.c, gas/config/tc-m68hc11.c,
gas/config/tc-m68k.c, gas/config/tc-maxq.c, gas/config/tc-mcore.c,
gas/config/tc-mep.c, gas/config/tc-mips.c, gas/config/tc-mmix.c,
gas/config/tc-mn10300.c, gas/config/tc-moxie.c,
gas/config/tc-ns32k.c, gas/config/tc-pj.c, gas/config/tc-ppc.c,
gas/config/tc-s390.c, gas/config/tc-score.c,
gas/config/tc-score7.c, gas/config/tc-sh.c, gas/config/tc-sparc.c,
gas/config/tc-spu.c, gas/config/tc-tic30.c, gas/config/tc-vax.c,
gas/config/tc-xtensa.c, gas/config/xtensa-relax.c,
gas/dw2gencfi.c, gas/dwarf2dbg.c, gas/ehopt.c, gas/expr.c,
gas/frags.c, gas/input-file.c, gas/read.c, gas/sb.c,
gas/subsegs.c, gas/symbols.c, gas/write.c: Change the name of the
gas macro `assert' to `gas_assert'.
2009-06-22 17:56:02 +00:00
|
|
|
|
gas_assert (operator >= O_md1 && operator < ARRAY_SIZE (op_rank));
|
2009-04-20 06:26:23 +00:00
|
|
|
|
op_rank[operator] = rank;
|
|
|
|
|
}
|
|
|
|
|
|
1999-05-03 07:29:11 +00:00
|
|
|
|
/* Initialize the expression parser. */
|
|
|
|
|
|
|
|
|
|
void
|
2003-11-22 16:03:03 +00:00
|
|
|
|
expr_begin (void)
|
1999-05-03 07:29:11 +00:00
|
|
|
|
{
|
|
|
|
|
expr_set_precedence ();
|
|
|
|
|
|
|
|
|
|
/* Verify that X_op field is wide enough. */
|
|
|
|
|
{
|
|
|
|
|
expressionS e;
|
|
|
|
|
e.X_op = O_max;
|
* gas/app, gas/as.c, gas/as.h, gas/atof-generic.c, gas/cgen.c,
gas/config/atof-ieee.c, gas/config/obj-aout.c,
gas/config/obj-coff.c, gas/config/obj-ecoff.c,
gas/config/obj-elf.c, gas/config/obj-som.c, gas/config/tc-alpha.c,
gas/config/tc-arc.c, gas/config/tc-arm.c, gas/config/tc-cr16.c,
gas/config/tc-cris.c, gas/config/tc-crx.c, gas/config/tc-d30v.c,
gas/config/tc-dlx.c, gas/config/tc-hppa.c, gas/config/tc-i370.c,
gas/config/tc-i386-intel.c, gas/config/tc-i386.c,
gas/config/tc-i860.c, gas/config/tc-i960.c, gas/config/tc-ia64.c,
gas/config/tc-iq2000.c, gas/config/tc-m32c.c,
gas/config/tc-m32r.c, gas/config/tc-m68hc11.c,
gas/config/tc-m68k.c, gas/config/tc-maxq.c, gas/config/tc-mcore.c,
gas/config/tc-mep.c, gas/config/tc-mips.c, gas/config/tc-mmix.c,
gas/config/tc-mn10300.c, gas/config/tc-moxie.c,
gas/config/tc-ns32k.c, gas/config/tc-pj.c, gas/config/tc-ppc.c,
gas/config/tc-s390.c, gas/config/tc-score.c,
gas/config/tc-score7.c, gas/config/tc-sh.c, gas/config/tc-sparc.c,
gas/config/tc-spu.c, gas/config/tc-tic30.c, gas/config/tc-vax.c,
gas/config/tc-xtensa.c, gas/config/xtensa-relax.c,
gas/dw2gencfi.c, gas/dwarf2dbg.c, gas/ehopt.c, gas/expr.c,
gas/frags.c, gas/input-file.c, gas/read.c, gas/sb.c,
gas/subsegs.c, gas/symbols.c, gas/write.c: Change the name of the
gas macro `assert' to `gas_assert'.
2009-06-22 17:56:02 +00:00
|
|
|
|
gas_assert (e.X_op == O_max);
|
1999-05-03 07:29:11 +00:00
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2001-02-13 11:13:53 +00:00
|
|
|
|
/* Return the encoding for the operator at INPUT_LINE_POINTER, and
|
|
|
|
|
sets NUM_CHARS to the number of characters in the operator.
|
|
|
|
|
Does not advance INPUT_LINE_POINTER. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
|
|
|
|
|
static inline operatorT
|
2003-11-22 16:03:03 +00:00
|
|
|
|
operator (int *num_chars)
|
1999-05-03 07:29:11 +00:00
|
|
|
|
{
|
|
|
|
|
int c;
|
|
|
|
|
operatorT ret;
|
|
|
|
|
|
|
|
|
|
c = *input_line_pointer & 0xff;
|
2001-02-13 11:13:53 +00:00
|
|
|
|
*num_chars = 1;
|
1999-05-03 07:29:11 +00:00
|
|
|
|
|
2000-06-02 02:52:10 +00:00
|
|
|
|
if (is_end_of_line[c])
|
|
|
|
|
return O_illegal;
|
|
|
|
|
|
2009-04-20 06:26:23 +00:00
|
|
|
|
#ifdef md_operator
|
|
|
|
|
if (is_name_beginner (c))
|
|
|
|
|
{
|
|
|
|
|
char *name = input_line_pointer;
|
|
|
|
|
char c = get_symbol_end ();
|
|
|
|
|
|
|
|
|
|
ret = md_operator (name, 2, &c);
|
|
|
|
|
switch (ret)
|
|
|
|
|
{
|
|
|
|
|
case O_absent:
|
|
|
|
|
*input_line_pointer = c;
|
|
|
|
|
input_line_pointer = name;
|
|
|
|
|
break;
|
|
|
|
|
case O_uminus:
|
|
|
|
|
case O_bit_not:
|
|
|
|
|
case O_logical_not:
|
|
|
|
|
as_bad (_("invalid use of operator \"%s\""), name);
|
|
|
|
|
ret = O_illegal;
|
|
|
|
|
/* FALLTHROUGH */
|
|
|
|
|
default:
|
|
|
|
|
*input_line_pointer = c;
|
|
|
|
|
*num_chars = input_line_pointer - name;
|
|
|
|
|
input_line_pointer = name;
|
|
|
|
|
return ret;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
#endif
|
|
|
|
|
|
1999-05-03 07:29:11 +00:00
|
|
|
|
switch (c)
|
|
|
|
|
{
|
|
|
|
|
default:
|
2009-04-20 06:26:23 +00:00
|
|
|
|
ret = op_encoding[c];
|
|
|
|
|
#ifdef md_operator
|
|
|
|
|
if (ret == O_illegal)
|
|
|
|
|
{
|
|
|
|
|
char *start = input_line_pointer;
|
|
|
|
|
|
|
|
|
|
ret = md_operator (NULL, 2, NULL);
|
|
|
|
|
if (ret != O_illegal)
|
|
|
|
|
*num_chars = input_line_pointer - start;
|
|
|
|
|
input_line_pointer = start;
|
|
|
|
|
}
|
|
|
|
|
#endif
|
|
|
|
|
return ret;
|
1999-05-03 07:29:11 +00:00
|
|
|
|
|
2004-03-18 09:19:20 +00:00
|
|
|
|
case '+':
|
|
|
|
|
case '-':
|
2006-05-09 04:54:32 +00:00
|
|
|
|
return op_encoding[c];
|
2004-03-18 09:19:20 +00:00
|
|
|
|
|
1999-05-03 07:29:11 +00:00
|
|
|
|
case '<':
|
|
|
|
|
switch (input_line_pointer[1])
|
|
|
|
|
{
|
|
|
|
|
default:
|
|
|
|
|
return op_encoding[c];
|
|
|
|
|
case '<':
|
|
|
|
|
ret = O_left_shift;
|
|
|
|
|
break;
|
|
|
|
|
case '>':
|
|
|
|
|
ret = O_ne;
|
|
|
|
|
break;
|
|
|
|
|
case '=':
|
|
|
|
|
ret = O_le;
|
|
|
|
|
break;
|
|
|
|
|
}
|
2001-02-13 11:13:53 +00:00
|
|
|
|
*num_chars = 2;
|
1999-05-03 07:29:11 +00:00
|
|
|
|
return ret;
|
|
|
|
|
|
|
|
|
|
case '=':
|
|
|
|
|
if (input_line_pointer[1] != '=')
|
|
|
|
|
return op_encoding[c];
|
|
|
|
|
|
2001-02-13 11:13:53 +00:00
|
|
|
|
*num_chars = 2;
|
1999-05-03 07:29:11 +00:00
|
|
|
|
return O_eq;
|
|
|
|
|
|
|
|
|
|
case '>':
|
|
|
|
|
switch (input_line_pointer[1])
|
|
|
|
|
{
|
|
|
|
|
default:
|
|
|
|
|
return op_encoding[c];
|
|
|
|
|
case '>':
|
|
|
|
|
ret = O_right_shift;
|
|
|
|
|
break;
|
|
|
|
|
case '=':
|
|
|
|
|
ret = O_ge;
|
|
|
|
|
break;
|
|
|
|
|
}
|
2001-02-13 11:13:53 +00:00
|
|
|
|
*num_chars = 2;
|
1999-05-03 07:29:11 +00:00
|
|
|
|
return ret;
|
|
|
|
|
|
|
|
|
|
case '!':
|
2005-10-10 15:32:44 +00:00
|
|
|
|
switch (input_line_pointer[1])
|
1999-05-03 07:29:11 +00:00
|
|
|
|
{
|
2005-10-10 15:32:44 +00:00
|
|
|
|
case '!':
|
|
|
|
|
/* We accept !! as equivalent to ^ for MRI compatibility. */
|
|
|
|
|
*num_chars = 2;
|
|
|
|
|
return O_bit_exclusive_or;
|
|
|
|
|
case '=':
|
|
|
|
|
/* We accept != as equivalent to <>. */
|
|
|
|
|
*num_chars = 2;
|
|
|
|
|
return O_ne;
|
|
|
|
|
default:
|
1999-05-03 07:29:11 +00:00
|
|
|
|
if (flag_m68k_mri)
|
|
|
|
|
return O_bit_inclusive_or;
|
|
|
|
|
return op_encoding[c];
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
case '|':
|
|
|
|
|
if (input_line_pointer[1] != '|')
|
|
|
|
|
return op_encoding[c];
|
|
|
|
|
|
2001-02-13 11:13:53 +00:00
|
|
|
|
*num_chars = 2;
|
1999-05-03 07:29:11 +00:00
|
|
|
|
return O_logical_or;
|
|
|
|
|
|
|
|
|
|
case '&':
|
|
|
|
|
if (input_line_pointer[1] != '&')
|
|
|
|
|
return op_encoding[c];
|
|
|
|
|
|
2001-02-13 11:13:53 +00:00
|
|
|
|
*num_chars = 2;
|
1999-05-03 07:29:11 +00:00
|
|
|
|
return O_logical_and;
|
|
|
|
|
}
|
|
|
|
|
|
2000-08-10 23:13:37 +00:00
|
|
|
|
/* NOTREACHED */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* Parse an expression. */
|
|
|
|
|
|
|
|
|
|
segT
|
2003-11-22 16:03:03 +00:00
|
|
|
|
expr (int rankarg, /* Larger # is higher rank. */
|
2005-10-11 11:16:17 +00:00
|
|
|
|
expressionS *resultP, /* Deliver result here. */
|
|
|
|
|
enum expr_mode mode /* Controls behavior. */)
|
1999-05-03 07:29:11 +00:00
|
|
|
|
{
|
1999-09-12 02:27:58 +00:00
|
|
|
|
operator_rankT rank = (operator_rankT) rankarg;
|
1999-05-03 07:29:11 +00:00
|
|
|
|
segT retval;
|
|
|
|
|
expressionS right;
|
|
|
|
|
operatorT op_left;
|
|
|
|
|
operatorT op_right;
|
2001-02-13 11:13:53 +00:00
|
|
|
|
int op_chars;
|
1999-05-03 07:29:11 +00:00
|
|
|
|
|
2007-04-21 06:54:57 +00:00
|
|
|
|
know (rankarg >= 0);
|
1999-05-03 07:29:11 +00:00
|
|
|
|
|
2002-09-19 23:51:35 +00:00
|
|
|
|
/* Save the value of dot for the fixup code. */
|
|
|
|
|
if (rank == 0)
|
|
|
|
|
dot_value = frag_now_fix ();
|
|
|
|
|
|
2005-10-11 11:16:17 +00:00
|
|
|
|
retval = operand (resultP, mode);
|
1999-05-03 07:29:11 +00:00
|
|
|
|
|
2000-08-10 23:13:37 +00:00
|
|
|
|
/* operand () gobbles spaces. */
|
|
|
|
|
know (*input_line_pointer != ' ');
|
1999-05-03 07:29:11 +00:00
|
|
|
|
|
2001-02-13 11:13:53 +00:00
|
|
|
|
op_left = operator (&op_chars);
|
1999-05-03 07:29:11 +00:00
|
|
|
|
while (op_left != O_illegal && op_rank[(int) op_left] > rank)
|
|
|
|
|
{
|
|
|
|
|
segT rightseg;
|
2006-04-04 08:04:57 +00:00
|
|
|
|
bfd_vma frag_off;
|
1999-05-03 07:29:11 +00:00
|
|
|
|
|
2001-02-13 11:13:53 +00:00
|
|
|
|
input_line_pointer += op_chars; /* -> after operator. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
|
2005-10-11 11:16:17 +00:00
|
|
|
|
rightseg = expr (op_rank[(int) op_left], &right, mode);
|
1999-05-03 07:29:11 +00:00
|
|
|
|
if (right.X_op == O_absent)
|
|
|
|
|
{
|
|
|
|
|
as_warn (_("missing operand; zero assumed"));
|
|
|
|
|
right.X_op = O_constant;
|
|
|
|
|
right.X_add_number = 0;
|
|
|
|
|
right.X_add_symbol = NULL;
|
|
|
|
|
right.X_op_symbol = NULL;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
know (*input_line_pointer != ' ');
|
|
|
|
|
|
1999-06-03 02:51:27 +00:00
|
|
|
|
if (op_left == O_index)
|
|
|
|
|
{
|
|
|
|
|
if (*input_line_pointer != ']')
|
|
|
|
|
as_bad ("missing right bracket");
|
|
|
|
|
else
|
|
|
|
|
{
|
|
|
|
|
++input_line_pointer;
|
|
|
|
|
SKIP_WHITESPACE ();
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2001-02-13 11:13:53 +00:00
|
|
|
|
op_right = operator (&op_chars);
|
1999-05-03 07:29:11 +00:00
|
|
|
|
|
2009-04-20 06:26:23 +00:00
|
|
|
|
know (op_right == O_illegal || op_left == O_index
|
2000-08-10 23:13:37 +00:00
|
|
|
|
|| op_rank[(int) op_right] <= op_rank[(int) op_left]);
|
2009-04-20 06:26:23 +00:00
|
|
|
|
know ((int) op_left >= (int) O_multiply);
|
|
|
|
|
#ifndef md_operator
|
|
|
|
|
know ((int) op_left <= (int) O_index);
|
|
|
|
|
#else
|
|
|
|
|
know ((int) op_left < (int) O_max);
|
|
|
|
|
#endif
|
1999-05-03 07:29:11 +00:00
|
|
|
|
|
2000-08-10 23:13:37 +00:00
|
|
|
|
/* input_line_pointer->after right-hand quantity. */
|
|
|
|
|
/* left-hand quantity in resultP. */
|
|
|
|
|
/* right-hand quantity in right. */
|
|
|
|
|
/* operator in op_left. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
|
|
|
|
|
if (resultP->X_op == O_big)
|
|
|
|
|
{
|
|
|
|
|
if (resultP->X_add_number > 0)
|
|
|
|
|
as_warn (_("left operand is a bignum; integer 0 assumed"));
|
|
|
|
|
else
|
|
|
|
|
as_warn (_("left operand is a float; integer 0 assumed"));
|
|
|
|
|
resultP->X_op = O_constant;
|
|
|
|
|
resultP->X_add_number = 0;
|
|
|
|
|
resultP->X_add_symbol = NULL;
|
|
|
|
|
resultP->X_op_symbol = NULL;
|
|
|
|
|
}
|
|
|
|
|
if (right.X_op == O_big)
|
|
|
|
|
{
|
|
|
|
|
if (right.X_add_number > 0)
|
|
|
|
|
as_warn (_("right operand is a bignum; integer 0 assumed"));
|
|
|
|
|
else
|
|
|
|
|
as_warn (_("right operand is a float; integer 0 assumed"));
|
|
|
|
|
right.X_op = O_constant;
|
|
|
|
|
right.X_add_number = 0;
|
|
|
|
|
right.X_add_symbol = NULL;
|
|
|
|
|
right.X_op_symbol = NULL;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* Optimize common cases. */
|
2000-04-21 20:22:24 +00:00
|
|
|
|
#ifdef md_optimize_expr
|
|
|
|
|
if (md_optimize_expr (resultP, op_left, &right))
|
|
|
|
|
{
|
2000-08-10 23:13:37 +00:00
|
|
|
|
/* Skip. */
|
|
|
|
|
;
|
2000-04-21 20:22:24 +00:00
|
|
|
|
}
|
|
|
|
|
else
|
|
|
|
|
#endif
|
2007-09-26 08:34:24 +00:00
|
|
|
|
#ifndef md_register_arithmetic
|
|
|
|
|
# define md_register_arithmetic 1
|
|
|
|
|
#endif
|
|
|
|
|
if (op_left == O_add && right.X_op == O_constant
|
|
|
|
|
&& (md_register_arithmetic || resultP->X_op != O_register))
|
1999-05-03 07:29:11 +00:00
|
|
|
|
{
|
|
|
|
|
/* X + constant. */
|
|
|
|
|
resultP->X_add_number += right.X_add_number;
|
|
|
|
|
}
|
|
|
|
|
/* This case comes up in PIC code. */
|
|
|
|
|
else if (op_left == O_subtract
|
|
|
|
|
&& right.X_op == O_symbol
|
|
|
|
|
&& resultP->X_op == O_symbol
|
2006-04-04 08:04:57 +00:00
|
|
|
|
&& retval == rightseg
|
2007-10-19 17:31:31 +00:00
|
|
|
|
#ifdef md_allow_local_subtract
|
|
|
|
|
&& md_allow_local_subtract (resultP, & right, rightseg)
|
|
|
|
|
#endif
|
2002-09-20 00:58:39 +00:00
|
|
|
|
&& (SEG_NORMAL (rightseg)
|
2006-04-04 08:04:57 +00:00
|
|
|
|
|| right.X_add_symbol == resultP->X_add_symbol)
|
|
|
|
|
&& frag_offset_fixed_p (symbol_get_frag (resultP->X_add_symbol),
|
|
|
|
|
symbol_get_frag (right.X_add_symbol),
|
|
|
|
|
&frag_off))
|
1999-05-03 07:29:11 +00:00
|
|
|
|
{
|
|
|
|
|
resultP->X_add_number -= right.X_add_number;
|
2006-04-04 08:04:57 +00:00
|
|
|
|
resultP->X_add_number -= frag_off / OCTETS_PER_BYTE;
|
1999-05-03 07:29:11 +00:00
|
|
|
|
resultP->X_add_number += (S_GET_VALUE (resultP->X_add_symbol)
|
|
|
|
|
- S_GET_VALUE (right.X_add_symbol));
|
|
|
|
|
resultP->X_op = O_constant;
|
|
|
|
|
resultP->X_add_symbol = 0;
|
|
|
|
|
}
|
2007-09-26 08:34:24 +00:00
|
|
|
|
else if (op_left == O_subtract && right.X_op == O_constant
|
|
|
|
|
&& (md_register_arithmetic || resultP->X_op != O_register))
|
1999-05-03 07:29:11 +00:00
|
|
|
|
{
|
|
|
|
|
/* X - constant. */
|
|
|
|
|
resultP->X_add_number -= right.X_add_number;
|
|
|
|
|
}
|
2007-09-26 08:34:24 +00:00
|
|
|
|
else if (op_left == O_add && resultP->X_op == O_constant
|
|
|
|
|
&& (md_register_arithmetic || right.X_op != O_register))
|
1999-05-03 07:29:11 +00:00
|
|
|
|
{
|
|
|
|
|
/* Constant + X. */
|
|
|
|
|
resultP->X_op = right.X_op;
|
|
|
|
|
resultP->X_add_symbol = right.X_add_symbol;
|
|
|
|
|
resultP->X_op_symbol = right.X_op_symbol;
|
|
|
|
|
resultP->X_add_number += right.X_add_number;
|
|
|
|
|
retval = rightseg;
|
|
|
|
|
}
|
|
|
|
|
else if (resultP->X_op == O_constant && right.X_op == O_constant)
|
|
|
|
|
{
|
|
|
|
|
/* Constant OP constant. */
|
|
|
|
|
offsetT v = right.X_add_number;
|
|
|
|
|
if (v == 0 && (op_left == O_divide || op_left == O_modulus))
|
|
|
|
|
{
|
|
|
|
|
as_warn (_("division by zero"));
|
|
|
|
|
v = 1;
|
|
|
|
|
}
|
2009-04-16 08:52:27 +00:00
|
|
|
|
if ((valueT) v >= sizeof(valueT) * CHAR_BIT
|
|
|
|
|
&& (op_left == O_left_shift || op_left == O_right_shift))
|
|
|
|
|
{
|
|
|
|
|
as_warn_value_out_of_range (_("shift count"), v, 0,
|
|
|
|
|
sizeof(valueT) * CHAR_BIT - 1,
|
|
|
|
|
NULL, 0);
|
|
|
|
|
resultP->X_add_number = v = 0;
|
|
|
|
|
}
|
1999-05-03 07:29:11 +00:00
|
|
|
|
switch (op_left)
|
|
|
|
|
{
|
2009-04-20 06:26:23 +00:00
|
|
|
|
default: goto general;
|
1999-05-03 07:29:11 +00:00
|
|
|
|
case O_multiply: resultP->X_add_number *= v; break;
|
|
|
|
|
case O_divide: resultP->X_add_number /= v; break;
|
|
|
|
|
case O_modulus: resultP->X_add_number %= v; break;
|
|
|
|
|
case O_left_shift: resultP->X_add_number <<= v; break;
|
|
|
|
|
case O_right_shift:
|
|
|
|
|
/* We always use unsigned shifts, to avoid relying on
|
2002-10-18 01:56:39 +00:00
|
|
|
|
characteristics of the compiler used to compile gas. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
resultP->X_add_number =
|
|
|
|
|
(offsetT) ((valueT) resultP->X_add_number >> (valueT) v);
|
|
|
|
|
break;
|
|
|
|
|
case O_bit_inclusive_or: resultP->X_add_number |= v; break;
|
|
|
|
|
case O_bit_or_not: resultP->X_add_number |= ~v; break;
|
|
|
|
|
case O_bit_exclusive_or: resultP->X_add_number ^= v; break;
|
|
|
|
|
case O_bit_and: resultP->X_add_number &= v; break;
|
2006-10-24 18:10:57 +00:00
|
|
|
|
/* Constant + constant (O_add) is handled by the
|
|
|
|
|
previous if statement for constant + X, so is omitted
|
|
|
|
|
here. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
case O_subtract: resultP->X_add_number -= v; break;
|
|
|
|
|
case O_eq:
|
|
|
|
|
resultP->X_add_number =
|
2000-09-03 21:51:27 +00:00
|
|
|
|
resultP->X_add_number == v ? ~ (offsetT) 0 : 0;
|
1999-05-03 07:29:11 +00:00
|
|
|
|
break;
|
|
|
|
|
case O_ne:
|
|
|
|
|
resultP->X_add_number =
|
2000-09-03 21:51:27 +00:00
|
|
|
|
resultP->X_add_number != v ? ~ (offsetT) 0 : 0;
|
1999-05-03 07:29:11 +00:00
|
|
|
|
break;
|
|
|
|
|
case O_lt:
|
|
|
|
|
resultP->X_add_number =
|
2000-09-03 21:51:27 +00:00
|
|
|
|
resultP->X_add_number < v ? ~ (offsetT) 0 : 0;
|
1999-05-03 07:29:11 +00:00
|
|
|
|
break;
|
|
|
|
|
case O_le:
|
|
|
|
|
resultP->X_add_number =
|
2000-09-03 21:51:27 +00:00
|
|
|
|
resultP->X_add_number <= v ? ~ (offsetT) 0 : 0;
|
1999-05-03 07:29:11 +00:00
|
|
|
|
break;
|
|
|
|
|
case O_ge:
|
|
|
|
|
resultP->X_add_number =
|
2000-09-03 21:51:27 +00:00
|
|
|
|
resultP->X_add_number >= v ? ~ (offsetT) 0 : 0;
|
1999-05-03 07:29:11 +00:00
|
|
|
|
break;
|
|
|
|
|
case O_gt:
|
|
|
|
|
resultP->X_add_number =
|
2000-09-03 21:51:27 +00:00
|
|
|
|
resultP->X_add_number > v ? ~ (offsetT) 0 : 0;
|
1999-05-03 07:29:11 +00:00
|
|
|
|
break;
|
|
|
|
|
case O_logical_and:
|
|
|
|
|
resultP->X_add_number = resultP->X_add_number && v;
|
|
|
|
|
break;
|
|
|
|
|
case O_logical_or:
|
|
|
|
|
resultP->X_add_number = resultP->X_add_number || v;
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
else if (resultP->X_op == O_symbol
|
|
|
|
|
&& right.X_op == O_symbol
|
|
|
|
|
&& (op_left == O_add
|
|
|
|
|
|| op_left == O_subtract
|
|
|
|
|
|| (resultP->X_add_number == 0
|
|
|
|
|
&& right.X_add_number == 0)))
|
|
|
|
|
{
|
|
|
|
|
/* Symbol OP symbol. */
|
|
|
|
|
resultP->X_op = op_left;
|
|
|
|
|
resultP->X_op_symbol = right.X_add_symbol;
|
|
|
|
|
if (op_left == O_add)
|
|
|
|
|
resultP->X_add_number += right.X_add_number;
|
|
|
|
|
else if (op_left == O_subtract)
|
2001-09-09 14:01:17 +00:00
|
|
|
|
{
|
|
|
|
|
resultP->X_add_number -= right.X_add_number;
|
|
|
|
|
if (retval == rightseg && SEG_NORMAL (retval))
|
|
|
|
|
{
|
|
|
|
|
retval = absolute_section;
|
|
|
|
|
rightseg = absolute_section;
|
|
|
|
|
}
|
|
|
|
|
}
|
1999-05-03 07:29:11 +00:00
|
|
|
|
}
|
|
|
|
|
else
|
|
|
|
|
{
|
2009-04-20 06:26:23 +00:00
|
|
|
|
general:
|
1999-05-03 07:29:11 +00:00
|
|
|
|
/* The general case. */
|
|
|
|
|
resultP->X_add_symbol = make_expr_symbol (resultP);
|
|
|
|
|
resultP->X_op_symbol = make_expr_symbol (&right);
|
|
|
|
|
resultP->X_op = op_left;
|
|
|
|
|
resultP->X_add_number = 0;
|
|
|
|
|
resultP->X_unsigned = 1;
|
|
|
|
|
}
|
|
|
|
|
|
2001-09-09 14:01:17 +00:00
|
|
|
|
if (retval != rightseg)
|
|
|
|
|
{
|
|
|
|
|
if (! SEG_NORMAL (retval))
|
|
|
|
|
{
|
|
|
|
|
if (retval != undefined_section || SEG_NORMAL (rightseg))
|
|
|
|
|
retval = rightseg;
|
|
|
|
|
}
|
|
|
|
|
else if (SEG_NORMAL (rightseg)
|
|
|
|
|
#ifdef DIFF_EXPR_OK
|
|
|
|
|
&& op_left != O_subtract
|
|
|
|
|
#endif
|
|
|
|
|
)
|
|
|
|
|
as_bad (_("operation combines symbols in different segments"));
|
|
|
|
|
}
|
|
|
|
|
|
1999-05-03 07:29:11 +00:00
|
|
|
|
op_left = op_right;
|
2000-08-10 23:13:37 +00:00
|
|
|
|
} /* While next operator is >= this rank. */
|
1999-05-03 07:29:11 +00:00
|
|
|
|
|
|
|
|
|
/* The PA port needs this information. */
|
|
|
|
|
if (resultP->X_add_symbol)
|
Add support for storing local symbols in a small structure to save
memory when assembling large files.
* as.h: Don't include struc-symbol.h.
(symbolS): Add typedef.
* symbols.c: Include struc-symbol.h.
(local_hash): New static variable.
(save_symbol_name): New static function, from symbol_create.
(symbol_create): Call save_symbol_name.
(local_symbol_count): New static variable.
(local_symbol_conversion_count): Likewise.
(LOCAL_SYMBOL_CHECK): Define.
(local_symbol_make): New static function.
(local_symbol_convert): New static function.
(colon): Handle local symbols. Create local symbol for local
label name.
(symbol_table_insert): Handle local symbols.
(symbol_find_or_make): Create local symbol for local label name.
(symbol_find_base): Check for local symbol.
(symbol_append, symbol_insert): Check for local symbols.
(symbol_clear_list_pointers, symbol_remove): Likewise.
(verify_symbol_chain): Likewise.
(copy_symbol_attributes): Likewise.
(resolve_symbol_value): Handle local symbols.
(resolve_local_symbol): New static function.
(resolve_local_symbol_values): New function.
(S_GET_VALUE, S_SET_VALUE): Handle local symbols.
(S_IS_FUNCTION, S_IS_EXTERNAL, S_IS_WEAK, S_IS_COMMON): Likewise.
(S_IS_DEFINED, S_IS_DEBUG, S_IS_LOCAL, S_GET_NAME): Likewise.
(S_GET_SEGMENT, S_SET_SEGMENT, S_SET_EXTERNAL): Likewise.
(S_CLEAR_EXTERNAL, S_SET_WEAK, S_SET_NAME): Likewise.
(symbol_previous, symbol_next): New functions.
(symbol_get_value_expression): Likewise.
(symbol_set_value_expression): Likewise.
(symbol_set_frag, symbol_get_frag): Likewise.
(symbol_mark_used, symbol_clear_used, symbol_used_p): Likewise.
(symbol_mark_used_in_reloc): Likewise.
(symbol_clear_used_in_reloc, symbol_used_in_reloc_p): Likewise.
(symbol_mark_mri_common, symbol_clear_mri_common): Likewise.
(symbol_mri_common_p): Likewise.
(symbol_mark_written, symbol_clear_written): Likewise.
(symbol_written_p): Likewise.
(symbol_mark_resolved, symbol_resolved_p): Likewise.
(symbol_section_p, symbol_equated_p): Likewise.
(symbol_constant_p): Likewise.
(symbol_get_bfdsym, symbol_set_bfdsym): Likewise.
(symbol_get_obj, symbol_set_obj): Likewise.
(symbol_get_tc, symbol_set_tc): Likewise.
(symbol_begin): Initialize local_hash.
(print_symbol_value_1): Handle local symbols.
(symbol_print_statistics): Print local symbol statistics.
* symbols.h: Include "struc-symbol.h" if not BFD_ASSEMBLER.
Declare new symbols.c functions. Move many declarations here from
struc-symbol.h.
(SYMBOLS_NEED_BACKPOINTERS): Define if needed.
* struc-symbol.h (SYMBOLS_NEED_BACKPOINTERS): Don't set.
(struct symbol): Move bsym to make it clearly the first field.
Remove TARGET_SYMBOL_FIELDS.
(symbolS): Don't typedef.
(struct broken_word): Remove.
(N_TYPE_seg, seg_N_TYPE): Move to symbol.h.
(SEGMENT_TO_SYMBOL_TYPE, N_REGISTER): Likewise.
(symbol_clear_list_pointers): Likewise.
(symbol_insert, symbol_remove): Likewise.
(symbol_previous, symbol_append): Likewise.
(verify_symbol_chain, verify_symbol_chain_2): Likewise.
(struct local_symbol): Define.
(local_symbol_converted_p, local_symbol_mark_converted): Define.
(local_symbol_resolved_p, local_symbol_mark_resolved): Define.
(local_symbol_get_frag, local_symbol_set_frag): Define.
(local_symbol_get_real_symbol): Define.
(local_symbol_set_real_symbol): Define.
Define.
* write.c (write_object_file): Call resolve_local_symbol_values.
* config/obj-ecoff.h (OBJ_SYMFIELD_TYPE): Define.
(TARGET_SYMBOL_FIELDS): Don't define.
* config/obj-elf.h (OBJ_SYMFIELD_TYPE): Add local field. If
ECOFF_DEBUGGING, add ECOFF fields.
(ELF_TARGET_SYMBOL_FIELDS, TARGET_SYMBOL_FIELDS): Don't define.
* config/obj-multi.h (struct elf_obj_sy): Add local field. If
ECOFF_DEBUGGING, add ECOFF fields.
(ELF_TARGET_SYMBOL_FIELDS, TARGET_SYMBOL_FIELDS): Don't define.
(ECOFF_DEBUG_TARGET_SYMBOL_FIELDS): Don't define.
* config/tc-mcore.h: Don't include struc-symbol.h.
(TARGET_SYMBOL_FIELDS): Don't define.
(struct mcore_tc_sy): Define.
(TC_SYMFIELD_TYPE): Define.
* Many files: Use symbolS instead of struct symbol. Use new
accessor functions rather than referring to symbolS fields
directly.
* read.c (s_mri_common): Don't add in value of line_label.
* config/tc-mips.c (md_apply_fix): Correct parenthesization when
checking for SEC_LINK_ONCE.
* config/tc-sh.h (sh_fix_adjustable): Declare.
1999-06-03 00:29:48 +00:00
|
|
|
|
symbol_mark_used (resultP->X_add_symbol);
|
1999-05-03 07:29:11 +00:00
|
|
|
|
|
2005-10-11 11:16:17 +00:00
|
|
|
|
if (rank == 0 && mode == expr_evaluate)
|
|
|
|
|
resolve_expression (resultP);
|
|
|
|
|
|
1999-05-03 07:29:11 +00:00
|
|
|
|
return resultP->X_op == O_constant ? absolute_section : retval;
|
|
|
|
|
}
|
2005-10-11 11:16:17 +00:00
|
|
|
|
|
|
|
|
|
/* Resolve an expression without changing any symbols/sub-expressions
|
|
|
|
|
used. */
|
|
|
|
|
|
|
|
|
|
int
|
|
|
|
|
resolve_expression (expressionS *expressionP)
|
|
|
|
|
{
|
|
|
|
|
/* Help out with CSE. */
|
|
|
|
|
valueT final_val = expressionP->X_add_number;
|
|
|
|
|
symbolS *add_symbol = expressionP->X_add_symbol;
|
|
|
|
|
symbolS *op_symbol = expressionP->X_op_symbol;
|
|
|
|
|
operatorT op = expressionP->X_op;
|
|
|
|
|
valueT left, right;
|
|
|
|
|
segT seg_left, seg_right;
|
|
|
|
|
fragS *frag_left, *frag_right;
|
2006-04-04 08:04:57 +00:00
|
|
|
|
bfd_vma frag_off;
|
2005-10-11 11:16:17 +00:00
|
|
|
|
|
|
|
|
|
switch (op)
|
|
|
|
|
{
|
|
|
|
|
default:
|
|
|
|
|
return 0;
|
|
|
|
|
|
|
|
|
|
case O_constant:
|
|
|
|
|
case O_register:
|
|
|
|
|
left = 0;
|
|
|
|
|
break;
|
|
|
|
|
|
|
|
|
|
case O_symbol:
|
|
|
|
|
case O_symbol_rva:
|
2005-12-22 17:05:40 +00:00
|
|
|
|
if (!snapshot_symbol (&add_symbol, &left, &seg_left, &frag_left))
|
2005-10-11 11:16:17 +00:00
|
|
|
|
return 0;
|
|
|
|
|
|
|
|
|
|
break;
|
|
|
|
|
|
|
|
|
|
case O_uminus:
|
|
|
|
|
case O_bit_not:
|
|
|
|
|
case O_logical_not:
|
2005-12-22 17:05:40 +00:00
|
|
|
|
if (!snapshot_symbol (&add_symbol, &left, &seg_left, &frag_left))
|
2005-10-11 11:16:17 +00:00
|
|
|
|
return 0;
|
|
|
|
|
|
|
|
|
|
if (seg_left != absolute_section)
|
|
|
|
|
return 0;
|
|
|
|
|
|
|
|
|
|
if (op == O_logical_not)
|
|
|
|
|
left = !left;
|
|
|
|
|
else if (op == O_uminus)
|
|
|
|
|
left = -left;
|
|
|
|
|
else
|
|
|
|
|
left = ~left;
|
|
|
|
|
op = O_constant;
|
|
|
|
|
break;
|
|
|
|
|
|
|
|
|
|
case O_multiply:
|
|
|
|
|
case O_divide:
|
|
|
|
|
case O_modulus:
|
|
|
|
|
case O_left_shift:
|
|
|
|
|
case O_right_shift:
|
|
|
|
|
case O_bit_inclusive_or:
|
|
|
|
|
case O_bit_or_not:
|
|
|
|
|
case O_bit_exclusive_or:
|
|
|
|
|
case O_bit_and:
|
|
|
|
|
case O_add:
|
|
|
|
|
case O_subtract:
|
|
|
|
|
case O_eq:
|
|
|
|
|
case O_ne:
|
|
|
|
|
case O_lt:
|
|
|
|
|
case O_le:
|
|
|
|
|
case O_ge:
|
|
|
|
|
case O_gt:
|
|
|
|
|
case O_logical_and:
|
|
|
|
|
case O_logical_or:
|
2005-12-22 17:05:40 +00:00
|
|
|
|
if (!snapshot_symbol (&add_symbol, &left, &seg_left, &frag_left)
|
|
|
|
|
|| !snapshot_symbol (&op_symbol, &right, &seg_right, &frag_right))
|
2005-10-11 11:16:17 +00:00
|
|
|
|
return 0;
|
|
|
|
|
|
|
|
|
|
/* Simplify addition or subtraction of a constant by folding the
|
|
|
|
|
constant into X_add_number. */
|
|
|
|
|
if (op == O_add)
|
|
|
|
|
{
|
|
|
|
|
if (seg_right == absolute_section)
|
|
|
|
|
{
|
|
|
|
|
final_val += right;
|
|
|
|
|
op = O_symbol;
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
else if (seg_left == absolute_section)
|
|
|
|
|
{
|
|
|
|
|
final_val += left;
|
|
|
|
|
left = right;
|
|
|
|
|
seg_left = seg_right;
|
2005-12-22 17:05:40 +00:00
|
|
|
|
add_symbol = op_symbol;
|
2005-10-11 11:16:17 +00:00
|
|
|
|
op = O_symbol;
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
else if (op == O_subtract)
|
|
|
|
|
{
|
|
|
|
|
if (seg_right == absolute_section)
|
|
|
|
|
{
|
|
|
|
|
final_val -= right;
|
|
|
|
|
op = O_symbol;
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* Equality and non-equality tests are permitted on anything.
|
|
|
|
|
Subtraction, and other comparison operators are permitted if
|
2005-12-22 17:05:40 +00:00
|
|
|
|
both operands are in the same section.
|
|
|
|
|
Shifts by constant zero are permitted on anything.
|
|
|
|
|
Multiplies, bit-ors, and bit-ands with constant zero are
|
|
|
|
|
permitted on anything.
|
|
|
|
|
Multiplies and divides by constant one are permitted on
|
|
|
|
|
anything.
|
|
|
|
|
Binary operations with both operands being the same register
|
|
|
|
|
or undefined symbol are permitted if the result doesn't depend
|
|
|
|
|
on the input value.
|
|
|
|
|
Otherwise, both operands must be absolute. We already handled
|
|
|
|
|
the case of addition or subtraction of a constant above. */
|
2006-04-04 08:04:57 +00:00
|
|
|
|
frag_off = 0;
|
2005-10-11 11:16:17 +00:00
|
|
|
|
if (!(seg_left == absolute_section
|
|
|
|
|
&& seg_right == absolute_section)
|
|
|
|
|
&& !(op == O_eq || op == O_ne)
|
|
|
|
|
&& !((op == O_subtract
|
|
|
|
|
|| op == O_lt || op == O_le || op == O_ge || op == O_gt)
|
|
|
|
|
&& seg_left == seg_right
|
2006-04-04 08:04:57 +00:00
|
|
|
|
&& (finalize_syms
|
|
|
|
|
|| frag_offset_fixed_p (frag_left, frag_right, &frag_off))
|
2005-12-22 17:05:40 +00:00
|
|
|
|
&& (seg_left != reg_section || left == right)
|
|
|
|
|
&& (seg_left != undefined_section || add_symbol == op_symbol)))
|
|
|
|
|
{
|
|
|
|
|
if ((seg_left == absolute_section && left == 0)
|
|
|
|
|
|| (seg_right == absolute_section && right == 0))
|
|
|
|
|
{
|
|
|
|
|
if (op == O_bit_exclusive_or || op == O_bit_inclusive_or)
|
|
|
|
|
{
|
|
|
|
|
if (seg_right != absolute_section || right != 0)
|
|
|
|
|
{
|
|
|
|
|
seg_left = seg_right;
|
|
|
|
|
left = right;
|
|
|
|
|
add_symbol = op_symbol;
|
|
|
|
|
}
|
|
|
|
|
op = O_symbol;
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
else if (op == O_left_shift || op == O_right_shift)
|
|
|
|
|
{
|
|
|
|
|
if (seg_left != absolute_section || left != 0)
|
|
|
|
|
{
|
|
|
|
|
op = O_symbol;
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
else if (op != O_multiply
|
|
|
|
|
&& op != O_bit_or_not && op != O_bit_and)
|
|
|
|
|
return 0;
|
|
|
|
|
}
|
|
|
|
|
else if (op == O_multiply
|
|
|
|
|
&& seg_left == absolute_section && left == 1)
|
|
|
|
|
{
|
|
|
|
|
seg_left = seg_right;
|
|
|
|
|
left = right;
|
|
|
|
|
add_symbol = op_symbol;
|
|
|
|
|
op = O_symbol;
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
else if ((op == O_multiply || op == O_divide)
|
|
|
|
|
&& seg_right == absolute_section && right == 1)
|
|
|
|
|
{
|
|
|
|
|
op = O_symbol;
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
else if (left != right
|
|
|
|
|
|| ((seg_left != reg_section || seg_right != reg_section)
|
|
|
|
|
&& (seg_left != undefined_section
|
|
|
|
|
|| seg_right != undefined_section
|
|
|
|
|
|| add_symbol != op_symbol)))
|
|
|
|
|
return 0;
|
|
|
|
|
else if (op == O_bit_and || op == O_bit_inclusive_or)
|
|
|
|
|
{
|
|
|
|
|
op = O_symbol;
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
else if (op != O_bit_exclusive_or && op != O_bit_or_not)
|
|
|
|
|
return 0;
|
|
|
|
|
}
|
2005-10-11 11:16:17 +00:00
|
|
|
|
|
2006-04-04 08:04:57 +00:00
|
|
|
|
right += frag_off / OCTETS_PER_BYTE;
|
2005-10-11 11:16:17 +00:00
|
|
|
|
switch (op)
|
|
|
|
|
{
|
|
|
|
|
case O_add: left += right; break;
|
|
|
|
|
case O_subtract: left -= right; break;
|
|
|
|
|
case O_multiply: left *= right; break;
|
|
|
|
|
case O_divide:
|
|
|
|
|
if (right == 0)
|
|
|
|
|
return 0;
|
|
|
|
|
left = (offsetT) left / (offsetT) right;
|
|
|
|
|
break;
|
|
|
|
|
case O_modulus:
|
|
|
|
|
if (right == 0)
|
|
|
|
|
return 0;
|
|
|
|
|
left = (offsetT) left % (offsetT) right;
|
|
|
|
|
break;
|
|
|
|
|
case O_left_shift: left <<= right; break;
|
|
|
|
|
case O_right_shift: left >>= right; break;
|
|
|
|
|
case O_bit_inclusive_or: left |= right; break;
|
|
|
|
|
case O_bit_or_not: left |= ~right; break;
|
|
|
|
|
case O_bit_exclusive_or: left ^= right; break;
|
|
|
|
|
case O_bit_and: left &= right; break;
|
|
|
|
|
case O_eq:
|
|
|
|
|
case O_ne:
|
|
|
|
|
left = (left == right
|
|
|
|
|
&& seg_left == seg_right
|
|
|
|
|
&& (finalize_syms || frag_left == frag_right)
|
2005-12-22 17:05:40 +00:00
|
|
|
|
&& (seg_left != undefined_section
|
2005-10-11 11:16:17 +00:00
|
|
|
|
|| add_symbol == op_symbol)
|
|
|
|
|
? ~ (valueT) 0 : 0);
|
|
|
|
|
if (op == O_ne)
|
|
|
|
|
left = ~left;
|
|
|
|
|
break;
|
|
|
|
|
case O_lt:
|
|
|
|
|
left = (offsetT) left < (offsetT) right ? ~ (valueT) 0 : 0;
|
|
|
|
|
break;
|
|
|
|
|
case O_le:
|
|
|
|
|
left = (offsetT) left <= (offsetT) right ? ~ (valueT) 0 : 0;
|
|
|
|
|
break;
|
|
|
|
|
case O_ge:
|
|
|
|
|
left = (offsetT) left >= (offsetT) right ? ~ (valueT) 0 : 0;
|
|
|
|
|
break;
|
|
|
|
|
case O_gt:
|
|
|
|
|
left = (offsetT) left > (offsetT) right ? ~ (valueT) 0 : 0;
|
|
|
|
|
break;
|
|
|
|
|
case O_logical_and: left = left && right; break;
|
|
|
|
|
case O_logical_or: left = left || right; break;
|
|
|
|
|
default: abort ();
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
op = O_constant;
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
if (op == O_symbol)
|
|
|
|
|
{
|
|
|
|
|
if (seg_left == absolute_section)
|
|
|
|
|
op = O_constant;
|
|
|
|
|
else if (seg_left == reg_section && final_val == 0)
|
|
|
|
|
op = O_register;
|
2005-12-22 17:05:40 +00:00
|
|
|
|
else if (add_symbol != expressionP->X_add_symbol)
|
|
|
|
|
final_val += left;
|
|
|
|
|
expressionP->X_add_symbol = add_symbol;
|
2005-10-11 11:16:17 +00:00
|
|
|
|
}
|
|
|
|
|
expressionP->X_op = op;
|
|
|
|
|
|
|
|
|
|
if (op == O_constant || op == O_register)
|
|
|
|
|
final_val += left;
|
|
|
|
|
expressionP->X_add_number = final_val;
|
|
|
|
|
|
|
|
|
|
return 1;
|
|
|
|
|
}
|
1999-05-03 07:29:11 +00:00
|
|
|
|
|
2000-08-10 23:13:37 +00:00
|
|
|
|
/* This lives here because it belongs equally in expr.c & read.c.
|
|
|
|
|
expr.c is just a branch office read.c anyway, and putting it
|
|
|
|
|
here lessens the crowd at read.c.
|
|
|
|
|
|
|
|
|
|
Assume input_line_pointer is at start of symbol name.
|
|
|
|
|
Advance input_line_pointer past symbol name.
|
|
|
|
|
Turn that character into a '\0', returning its former value.
|
|
|
|
|
This allows a string compare (RMS wants symbol names to be strings)
|
|
|
|
|
of the symbol name.
|
|
|
|
|
There will always be a char following symbol name, because all good
|
|
|
|
|
lines end in end-of-line. */
|
|
|
|
|
|
1999-05-03 07:29:11 +00:00
|
|
|
|
char
|
2003-11-22 16:03:03 +00:00
|
|
|
|
get_symbol_end (void)
|
1999-05-03 07:29:11 +00:00
|
|
|
|
{
|
|
|
|
|
char c;
|
|
|
|
|
|
|
|
|
|
/* We accept \001 in a name in case this is being called with a
|
|
|
|
|
constructed string. */
|
|
|
|
|
if (is_name_beginner (c = *input_line_pointer++) || c == '\001')
|
1999-06-05 18:19:09 +00:00
|
|
|
|
{
|
|
|
|
|
while (is_part_of_name (c = *input_line_pointer++)
|
|
|
|
|
|| c == '\001')
|
|
|
|
|
;
|
|
|
|
|
if (is_name_ender (c))
|
|
|
|
|
c = *input_line_pointer++;
|
|
|
|
|
}
|
1999-05-03 07:29:11 +00:00
|
|
|
|
*--input_line_pointer = 0;
|
|
|
|
|
return (c);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
unsigned int
|
2003-11-22 16:03:03 +00:00
|
|
|
|
get_single_number (void)
|
1999-05-03 07:29:11 +00:00
|
|
|
|
{
|
|
|
|
|
expressionS exp;
|
2005-10-11 11:16:17 +00:00
|
|
|
|
operand (&exp, expr_normal);
|
1999-05-03 07:29:11 +00:00
|
|
|
|
return exp.X_add_number;
|
|
|
|
|
}
|