1027 lines
28 KiB
C
1027 lines
28 KiB
C
/* expr.c -operands, expressions-
|
||
Copyright (C) 1987, 1990, 1991, 1992, 1993 Free Software Foundation, Inc.
|
||
|
||
This file is part of GAS, the GNU Assembler.
|
||
|
||
GAS is free software; you can redistribute it and/or modify
|
||
it under the terms of the GNU General Public License as published by
|
||
the Free Software Foundation; either version 2, or (at your option)
|
||
any later version.
|
||
|
||
GAS is distributed in the hope that it will be useful,
|
||
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
||
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
||
GNU General Public License for more details.
|
||
|
||
You should have received a copy of the GNU General Public License
|
||
along with GAS; see the file COPYING. If not, write to
|
||
the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. */
|
||
|
||
/*
|
||
* 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.
|
||
*/
|
||
|
||
#include <ctype.h>
|
||
#include <string.h>
|
||
|
||
#include "as.h"
|
||
|
||
#include "obstack.h"
|
||
|
||
static void floating_constant PARAMS ((expressionS * expressionP));
|
||
static void integer_constant PARAMS ((int radix, expressionS * expressionP));
|
||
static void clean_up_expression PARAMS ((expressionS * expressionP));
|
||
static symbolS *make_expr_symbol PARAMS ((expressionS * expressionP));
|
||
|
||
extern const char EXP_CHARS[], FLT_CHARS[];
|
||
|
||
/* 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. */
|
||
|
||
static symbolS *
|
||
make_expr_symbol (expressionP)
|
||
expressionS *expressionP;
|
||
{
|
||
const char *fake;
|
||
symbolS *symbolP;
|
||
|
||
/* FIXME: This should be something which decode_local_label_name
|
||
will handle. */
|
||
fake = FAKE_LABEL_NAME;
|
||
|
||
/* 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. */
|
||
symbolP = symbol_new (fake,
|
||
(expressionP->X_op == O_constant
|
||
? absolute_section
|
||
: expr_section),
|
||
0, &zero_address_frag);
|
||
symbolP->sy_value = *expressionP;
|
||
return symbolP;
|
||
}
|
||
|
||
/*
|
||
* Build any floating-point literal here.
|
||
* Also build any bignum literal here.
|
||
*/
|
||
|
||
/* 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];
|
||
FLONUM_TYPE generic_floating_point_number =
|
||
{
|
||
&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 */
|
||
};
|
||
/* If nonzero, we've been asked to assemble nan, +inf or -inf */
|
||
int generic_floating_point_magic;
|
||
|
||
static void
|
||
floating_constant (expressionP)
|
||
expressionS *expressionP;
|
||
{
|
||
/* input_line_pointer->*/
|
||
/* floating-point constant. */
|
||
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)
|
||
{
|
||
as_bad ("bad floating-point constant: exponent overflow, probably assembling junk");
|
||
}
|
||
else
|
||
{
|
||
as_bad ("bad floating-point constant: unknown error code=%d.", error_code);
|
||
}
|
||
}
|
||
expressionP->X_op = O_big;
|
||
/* input_line_pointer->just after constant, */
|
||
/* which may point to whitespace. */
|
||
expressionP->X_add_number = -1;
|
||
}
|
||
|
||
static void
|
||
integer_constant (radix, expressionP)
|
||
int radix;
|
||
expressionS *expressionP;
|
||
{
|
||
char *start; /* start of number. */
|
||
char c;
|
||
|
||
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 */
|
||
|
||
int small; /* true if fits in 32 bits. */
|
||
extern const char hex_value[]; /* in hex_value.c */
|
||
|
||
/* May be bignum, or may fit in 32 bits. */
|
||
/* 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
|
||
number. The cavalier approach is for speed in ordinary cases. */
|
||
/* 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
|
||
|
||
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;
|
||
too_many_digits = (valuesize + 12) / 4; /* very rough */
|
||
}
|
||
#undef valuesize
|
||
start = input_line_pointer;
|
||
c = *input_line_pointer++;
|
||
for (number = 0;
|
||
(digit = hex_value[(unsigned char) c]) < maxdig;
|
||
c = *input_line_pointer++)
|
||
{
|
||
number = number * radix + digit;
|
||
}
|
||
/* c contains character after number. */
|
||
/* input_line_pointer->char after c. */
|
||
small = (input_line_pointer - start - 1) < too_many_digits;
|
||
if (!small)
|
||
{
|
||
/*
|
||
* 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. */
|
||
long carry;
|
||
|
||
leader = generic_bignum;
|
||
generic_bignum[0] = 0;
|
||
generic_bignum[1] = 0;
|
||
input_line_pointer = start; /*->1st digit. */
|
||
c = *input_line_pointer++;
|
||
for (;
|
||
(carry = hex_value[(unsigned char) c]) < maxdig;
|
||
c = *input_line_pointer++)
|
||
{
|
||
for (pointer = generic_bignum;
|
||
pointer <= leader;
|
||
pointer++)
|
||
{
|
||
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)
|
||
{
|
||
/* room to grow a longer bignum. */
|
||
*++leader = carry;
|
||
}
|
||
}
|
||
}
|
||
/* again, c is char after number, */
|
||
/* input_line_pointer->after c. */
|
||
know (LITTLENUM_NUMBER_OF_BITS == 16);
|
||
if (leader < generic_bignum + 2)
|
||
{
|
||
/* will fit into 32 bits. */
|
||
number =
|
||
((generic_bignum[1] & LITTLENUM_MASK) << LITTLENUM_NUMBER_OF_BITS)
|
||
| (generic_bignum[0] & LITTLENUM_MASK);
|
||
small = 1;
|
||
}
|
||
else
|
||
{
|
||
number = leader - generic_bignum + 1; /* number of littlenums in the bignum. */
|
||
}
|
||
}
|
||
if (small)
|
||
{
|
||
/*
|
||
* 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!
|
||
*/
|
||
|
||
switch (c)
|
||
{
|
||
|
||
#ifdef LOCAL_LABELS_FB
|
||
case 'b':
|
||
{
|
||
/*
|
||
* backward ref to local label.
|
||
* because it is backward, expect it to be defined.
|
||
*/
|
||
/* Construct a local label. */
|
||
name = fb_label_name ((int) number, 0);
|
||
|
||
/* seen before, or symbol is defined: ok */
|
||
symbolP = symbol_find (name);
|
||
if ((symbolP != NULL) && (S_IS_DEFINED (symbolP)))
|
||
{
|
||
|
||
/* local labels are never absolute. don't waste time
|
||
checking absoluteness. */
|
||
know (SEG_NORMAL (S_GET_SEGMENT (symbolP)));
|
||
|
||
expressionP->X_op = O_symbol;
|
||
expressionP->X_add_symbol = symbolP;
|
||
|
||
}
|
||
else
|
||
{
|
||
/* either not seen or not defined. */
|
||
/* @@ Should print out the original string instead of
|
||
the parsed number. */
|
||
as_bad ("backw. ref to unknown label \"%d:\", 0 assumed.",
|
||
(int) number);
|
||
expressionP->X_op = O_constant;
|
||
}
|
||
|
||
expressionP->X_add_number = 0;
|
||
break;
|
||
} /* case 'b' */
|
||
|
||
case 'f':
|
||
{
|
||
/*
|
||
* 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.
|
||
*/
|
||
name = fb_label_name ((int) number, 1);
|
||
symbolP = symbol_find_or_make (name);
|
||
/* we have no need to check symbol properties. */
|
||
#ifndef many_segments
|
||
/* since "know" puts its arg into a "string", we
|
||
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;
|
||
|
||
break;
|
||
} /* case 'f' */
|
||
|
||
#endif /* LOCAL_LABELS_FB */
|
||
|
||
#ifdef LOCAL_LABELS_DOLLAR
|
||
|
||
case '$':
|
||
{
|
||
|
||
/* 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;
|
||
|
||
break;
|
||
} /* case '$' */
|
||
|
||
#endif /* LOCAL_LABELS_DOLLAR */
|
||
|
||
default:
|
||
{
|
||
expressionP->X_op = O_constant;
|
||
expressionP->X_add_number = number;
|
||
input_line_pointer--; /* restore following character. */
|
||
break;
|
||
} /* really just a number */
|
||
|
||
} /* switch on char following the number */
|
||
|
||
}
|
||
else
|
||
{
|
||
/* not a small number */
|
||
expressionP->X_op = O_big;
|
||
expressionP->X_add_number = number; /* number of littlenums */
|
||
input_line_pointer--; /*->char following number. */
|
||
}
|
||
}
|
||
|
||
|
||
/*
|
||
* Summary of operand().
|
||
*
|
||
* in: Input_line_pointer points to 1st char of operand, which may
|
||
* be a space.
|
||
*
|
||
* out: A expressionS.
|
||
* The operand may have been empty: in this case X_op == O_absent.
|
||
* Input_line_pointer->(next non-blank) char after operand.
|
||
*/
|
||
|
||
static segT
|
||
operand (expressionP)
|
||
expressionS *expressionP;
|
||
{
|
||
char c;
|
||
symbolS *symbolP; /* points to symbol */
|
||
char *name; /* points to name of symbol */
|
||
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;
|
||
|
||
/* digits, assume it is a bignum. */
|
||
|
||
SKIP_WHITESPACE (); /* leading whitespace is part of operand. */
|
||
c = *input_line_pointer++; /* input_line_pointer->past char in c. */
|
||
|
||
switch (c)
|
||
{
|
||
#ifdef MRI
|
||
case '%':
|
||
integer_constant (2, expressionP);
|
||
break;
|
||
case '@':
|
||
integer_constant (8, expressionP);
|
||
break;
|
||
case '$':
|
||
integer_constant (16, expressionP);
|
||
break;
|
||
#endif
|
||
case '1':
|
||
case '2':
|
||
case '3':
|
||
case '4':
|
||
case '5':
|
||
case '6':
|
||
case '7':
|
||
case '8':
|
||
case '9':
|
||
input_line_pointer--;
|
||
|
||
integer_constant (10, expressionP);
|
||
break;
|
||
|
||
case '0':
|
||
/* non-decimal radix */
|
||
|
||
c = *input_line_pointer;
|
||
switch (c)
|
||
{
|
||
|
||
default:
|
||
if (c && strchr (FLT_CHARS, c))
|
||
{
|
||
input_line_pointer++;
|
||
floating_constant (expressionP);
|
||
expressionP->X_add_number = -(isupper (c) ? tolower (c) : c);
|
||
}
|
||
else
|
||
{
|
||
/* The string was only zero */
|
||
expressionP->X_op = O_constant;
|
||
expressionP->X_add_number = 0;
|
||
}
|
||
|
||
break;
|
||
|
||
case 'x':
|
||
case 'X':
|
||
input_line_pointer++;
|
||
integer_constant (16, expressionP);
|
||
break;
|
||
|
||
case 'b':
|
||
#ifdef LOCAL_LABELS_FB
|
||
if (!input_line_pointer[1]
|
||
/* Strictly speaking, we should only need to check for
|
||
"+-01", since that's all you'd normally have in a
|
||
binary constant. But some of our code does permit
|
||
digits greater than the base we're expecting. */
|
||
|| !strchr ("+-0123456789", input_line_pointer[1]))
|
||
{
|
||
input_line_pointer--;
|
||
integer_constant (10, expressionP);
|
||
break;
|
||
}
|
||
#endif
|
||
case 'B':
|
||
input_line_pointer++;
|
||
integer_constant (2, expressionP);
|
||
break;
|
||
|
||
case '0':
|
||
case '1':
|
||
case '2':
|
||
case '3':
|
||
case '4':
|
||
case '5':
|
||
case '6':
|
||
case '7':
|
||
integer_constant (8, expressionP);
|
||
break;
|
||
|
||
case 'f':
|
||
#ifdef LOCAL_LABELS_FB
|
||
/* if it says '0f' and the line ends or it doesn't look like
|
||
a floating point #, its a local label ref. dtrt */
|
||
/* likewise for the b's. xoxorich. */
|
||
if (c == 'f'
|
||
&& (!input_line_pointer[1]
|
||
|| (!strchr ("+-.0123456789", input_line_pointer[1])
|
||
&& !strchr (EXP_CHARS, input_line_pointer[1]))))
|
||
{
|
||
input_line_pointer -= 1;
|
||
integer_constant (10, expressionP);
|
||
break;
|
||
}
|
||
#endif
|
||
|
||
case 'd':
|
||
case 'D':
|
||
case 'F':
|
||
case 'r':
|
||
case 'e':
|
||
case 'E':
|
||
case 'g':
|
||
case 'G':
|
||
|
||
input_line_pointer++;
|
||
floating_constant (expressionP);
|
||
expressionP->X_add_number = -(isupper (c) ? tolower (c) : c);
|
||
break;
|
||
|
||
#ifdef LOCAL_LABELS_DOLLAR
|
||
case '$':
|
||
integer_constant (10, expressionP);
|
||
break;
|
||
#endif
|
||
}
|
||
|
||
break;
|
||
|
||
case '(':
|
||
/* didn't begin with digit & not a name */
|
||
segment = expression (expressionP);
|
||
/* Expression() will pass trailing whitespace */
|
||
if (*input_line_pointer++ != ')')
|
||
{
|
||
as_bad ("Missing ')' assumed");
|
||
input_line_pointer--;
|
||
}
|
||
/* here with input_line_pointer->char after "(...)" */
|
||
return segment;
|
||
|
||
case '\'':
|
||
/* Warning: to conform to other people's assemblers NO ESCAPEMENT is
|
||
permitted for a single quote. The next character, parity errors and
|
||
all, is taken as the value of the operand. VERY KINKY. */
|
||
expressionP->X_op = O_constant;
|
||
expressionP->X_add_number = *input_line_pointer++;
|
||
break;
|
||
|
||
case '+':
|
||
(void) operand (expressionP);
|
||
break;
|
||
|
||
case '~':
|
||
case '-':
|
||
{
|
||
operand (expressionP);
|
||
if (expressionP->X_op == O_constant)
|
||
{
|
||
/* input_line_pointer -> char after operand */
|
||
if (c == '-')
|
||
{
|
||
expressionP->X_add_number = - expressionP->X_add_number;
|
||
/* Notice: '-' may overflow: no warning is given. This is
|
||
compatible with other people's assemblers. Sigh. */
|
||
expressionP->X_unsigned = 0;
|
||
}
|
||
else
|
||
expressionP->X_add_number = ~ expressionP->X_add_number;
|
||
}
|
||
else if (expressionP->X_op != O_illegal
|
||
&& expressionP->X_op != O_absent)
|
||
{
|
||
expressionP->X_add_symbol = make_expr_symbol (expressionP);
|
||
if (c == '-')
|
||
expressionP->X_op = O_uminus;
|
||
else
|
||
expressionP->X_op = O_bit_not;
|
||
expressionP->X_add_number = 0;
|
||
}
|
||
else
|
||
as_warn ("Unary operator %c ignored because bad operand follows",
|
||
c);
|
||
}
|
||
break;
|
||
|
||
case '.':
|
||
if (!is_part_of_name (*input_line_pointer))
|
||
{
|
||
const char *fake;
|
||
|
||
/* JF: '.' is pseudo symbol with value of current location
|
||
in current segment. */
|
||
fake = FAKE_LABEL_NAME;
|
||
symbolP = symbol_new (fake,
|
||
now_seg,
|
||
(valueT) frag_now_fix (),
|
||
frag_now);
|
||
|
||
expressionP->X_op = O_symbol;
|
||
expressionP->X_add_symbol = symbolP;
|
||
expressionP->X_add_number = 0;
|
||
break;
|
||
}
|
||
else
|
||
{
|
||
goto isname;
|
||
}
|
||
case ',':
|
||
case '\n':
|
||
case '\0':
|
||
eol:
|
||
/* can't imagine any other kind of operand */
|
||
expressionP->X_op = O_absent;
|
||
input_line_pointer--;
|
||
md_operand (expressionP);
|
||
break;
|
||
|
||
default:
|
||
if (is_end_of_line[(unsigned char) c])
|
||
goto eol;
|
||
if (is_name_beginner (c)) /* here if did not begin with a digit */
|
||
{
|
||
/*
|
||
* Identifier begins here.
|
||
* This is kludged for speed, so code is repeated.
|
||
*/
|
||
isname:
|
||
name = --input_line_pointer;
|
||
c = get_symbol_end ();
|
||
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);
|
||
if (segment == absolute_section)
|
||
{
|
||
expressionP->X_op = O_constant;
|
||
expressionP->X_add_number = S_GET_VALUE (symbolP);
|
||
}
|
||
else if (segment == reg_section)
|
||
{
|
||
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
|
||
{
|
||
as_bad ("Bad expression");
|
||
expressionP->X_op = O_constant;
|
||
expressionP->X_add_number = 0;
|
||
}
|
||
}
|
||
|
||
/*
|
||
* It is more 'efficient' to clean up the expressionS when they are created.
|
||
* Doing it here saves lines of code.
|
||
*/
|
||
clean_up_expression (expressionP);
|
||
SKIP_WHITESPACE (); /*->1st char after operand. */
|
||
know (*input_line_pointer != ' ');
|
||
|
||
/* The PA port needs this information. */
|
||
if (expressionP->X_add_symbol)
|
||
expressionP->X_add_symbol->sy_used = 1;
|
||
|
||
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;
|
||
}
|
||
} /* operand() */
|
||
|
||
/* Internal. Simplify a struct expression for use by expr() */
|
||
|
||
/*
|
||
* In: address of a expressionS.
|
||
* 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:
|
||
* 'foo-foo' symbol references cancelled to 0,
|
||
* which changes X_op from O_subtract to O_constant.
|
||
* Unused fields zeroed to help expr().
|
||
*/
|
||
|
||
static void
|
||
clean_up_expression (expressionP)
|
||
expressionS *expressionP;
|
||
{
|
||
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;
|
||
case O_subtract:
|
||
if (expressionP->X_op_symbol == expressionP->X_add_symbol
|
||
|| ((expressionP->X_op_symbol->sy_frag
|
||
== expressionP->X_add_symbol->sy_frag)
|
||
&& SEG_NORMAL (S_GET_SEGMENT (expressionP->X_add_symbol))
|
||
&& (S_GET_VALUE (expressionP->X_op_symbol)
|
||
== S_GET_VALUE (expressionP->X_add_symbol))))
|
||
{
|
||
expressionP->X_op = O_constant;
|
||
expressionP->X_add_symbol = NULL;
|
||
expressionP->X_op_symbol = NULL;
|
||
}
|
||
break;
|
||
default:
|
||
break;
|
||
}
|
||
}
|
||
|
||
/* 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.
|
||
*
|
||
* We used to do a aho/ullman shift-reduce parser, but the logic got so
|
||
* 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.
|
||
*/
|
||
|
||
#undef __
|
||
#define __ O_illegal
|
||
|
||
static const operatorT op_encoding[256] =
|
||
{ /* maps ASCII->operators */
|
||
|
||
__, __, __, __, __, __, __, __, __, __, __, __, __, __, __, __,
|
||
__, __, __, __, __, __, __, __, __, __, __, __, __, __, __, __,
|
||
|
||
__, O_bit_or_not, __, __, __, O_modulus, O_bit_and, __,
|
||
__, __, O_multiply, O_add, __, O_subtract, __, O_divide,
|
||
__, __, __, __, __, __, __, __,
|
||
__, __, __, __, O_left_shift, __, O_right_shift, __,
|
||
__, __, __, __, __, __, __, __,
|
||
__, __, __, __, __, __, __, __,
|
||
__, __, __, __, __, __, __, __,
|
||
__, __, __, __, __, __, O_bit_exclusive_or, __,
|
||
__, __, __, __, __, __, __, __,
|
||
__, __, __, __, __, __, __, __,
|
||
__, __, __, __, __, __, __, __,
|
||
__, __, __, __, O_bit_inclusive_or, __, __, __,
|
||
|
||
__, __, __, __, __, __, __, __, __, __, __, __, __, __, __, __,
|
||
__, __, __, __, __, __, __, __, __, __, __, __, __, __, __, __,
|
||
__, __, __, __, __, __, __, __, __, __, __, __, __, __, __, __,
|
||
__, __, __, __, __, __, __, __, __, __, __, __, __, __, __, __,
|
||
__, __, __, __, __, __, __, __, __, __, __, __, __, __, __, __,
|
||
__, __, __, __, __, __, __, __, __, __, __, __, __, __, __, __,
|
||
__, __, __, __, __, __, __, __, __, __, __, __, __, __, __, __,
|
||
__, __, __, __, __, __, __, __, __, __, __, __, __, __, __, __
|
||
};
|
||
|
||
|
||
/*
|
||
* Rank Examples
|
||
* 0 operand, (expression)
|
||
* 1 + -
|
||
* 2 & ^ ! |
|
||
* 3 * / % << >>
|
||
* 4 unary - unary ~
|
||
*/
|
||
static const operator_rankT op_rank[] =
|
||
{
|
||
0, /* O_illegal */
|
||
0, /* O_absent */
|
||
0, /* O_constant */
|
||
0, /* O_symbol */
|
||
0, /* O_register */
|
||
0, /* O_bit */
|
||
4, /* O_uminus */
|
||
4, /* O_bit_now */
|
||
3, /* O_multiply */
|
||
3, /* O_divide */
|
||
3, /* O_modulus */
|
||
3, /* O_left_shift */
|
||
3, /* O_right_shift */
|
||
2, /* O_bit_inclusive_or */
|
||
2, /* O_bit_or_not */
|
||
2, /* O_bit_exclusive_or */
|
||
2, /* O_bit_and */
|
||
1, /* O_add */
|
||
1, /* O_subtract */
|
||
};
|
||
|
||
segT
|
||
expr (rank, resultP)
|
||
operator_rankT rank; /* Larger # is higher rank. */
|
||
expressionS *resultP; /* Deliver result here. */
|
||
{
|
||
segT retval;
|
||
expressionS right;
|
||
operatorT op_left;
|
||
char c_left; /* 1st operator character. */
|
||
operatorT op_right;
|
||
char c_right;
|
||
|
||
know (rank >= 0);
|
||
|
||
retval = operand (resultP);
|
||
|
||
know (*input_line_pointer != ' '); /* Operand() gobbles spaces. */
|
||
|
||
c_left = *input_line_pointer; /* Potential operator character. */
|
||
op_left = op_encoding[(unsigned char) c_left];
|
||
while (op_left != O_illegal && op_rank[(int) op_left] > rank)
|
||
{
|
||
segT rightseg;
|
||
|
||
input_line_pointer++; /*->after 1st character of operator. */
|
||
/* Operators "<<" and ">>" have 2 characters. */
|
||
if (*input_line_pointer == c_left && (c_left == '<' || c_left == '>'))
|
||
++input_line_pointer;
|
||
|
||
rightseg = expr (op_rank[(int) op_left], &right);
|
||
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 != ' ');
|
||
|
||
if (retval == undefined_section)
|
||
{
|
||
if (SEG_NORMAL (rightseg))
|
||
retval = rightseg;
|
||
}
|
||
else if (! SEG_NORMAL (retval))
|
||
retval = rightseg;
|
||
else if (SEG_NORMAL (rightseg)
|
||
&& retval != rightseg
|
||
#ifdef DIFF_EXPR_OK
|
||
&& op_left != O_subtract
|
||
#endif
|
||
)
|
||
as_bad ("operation combines symbols in different segments");
|
||
|
||
c_right = *input_line_pointer;
|
||
op_right = op_encoding[(unsigned char) c_right];
|
||
if (*input_line_pointer == c_right && (c_right == '<' || c_right == '>'))
|
||
++input_line_pointer;
|
||
|
||
know (op_right == O_illegal || op_rank[(int) op_right] <= op_rank[(int) op_left]);
|
||
know ((int) op_left >= (int) O_multiply && (int) op_left <= (int) O_subtract);
|
||
|
||
/* input_line_pointer->after right-hand quantity. */
|
||
/* left-hand quantity in resultP */
|
||
/* right-hand quantity in right. */
|
||
/* operator in op_left. */
|
||
|
||
if (resultP->X_op == O_big)
|
||
{
|
||
as_warn ("left operand of %c is a %s; integer 0 assumed",
|
||
c_left, resultP->X_add_number > 0 ? "bignum" : "float");
|
||
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)
|
||
{
|
||
as_warn ("right operand of %c is a %s; integer 0 assumed",
|
||
c_left, right.X_add_number > 0 ? "bignum" : "float");
|
||
right.X_op = O_constant;
|
||
right.X_add_number = 0;
|
||
right.X_add_symbol = NULL;
|
||
right.X_op_symbol = NULL;
|
||
}
|
||
|
||
/* Optimize common cases. */
|
||
if (op_left == O_add && right.X_op == O_constant)
|
||
{
|
||
/* X + constant. */
|
||
resultP->X_add_number += right.X_add_number;
|
||
}
|
||
else if (op_left == O_subtract && right.X_op == O_constant)
|
||
{
|
||
/* X - constant. */
|
||
resultP->X_add_number -= right.X_add_number;
|
||
}
|
||
else if (op_left == O_add && resultP->X_op == O_constant)
|
||
{
|
||
/* 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;
|
||
}
|
||
switch (op_left)
|
||
{
|
||
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: resultP->X_add_number >>= 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;
|
||
case O_add: resultP->X_add_number += v; break;
|
||
case O_subtract: resultP->X_add_number -= v; break;
|
||
default: abort ();
|
||
}
|
||
}
|
||
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)
|
||
resultP->X_add_number -= right.X_add_number;
|
||
}
|
||
else
|
||
{
|
||
/* 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;
|
||
}
|
||
|
||
op_left = op_right;
|
||
} /* While next operator is >= this rank. */
|
||
|
||
/* The PA port needs this information. */
|
||
if (resultP->X_add_symbol)
|
||
resultP->X_add_symbol->sy_used = 1;
|
||
|
||
return resultP->X_op == O_constant ? absolute_section : retval;
|
||
}
|
||
|
||
/*
|
||
* get_symbol_end()
|
||
*
|
||
* 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.
|
||
*/
|
||
char
|
||
get_symbol_end ()
|
||
{
|
||
char c;
|
||
|
||
while (is_part_of_name (c = *input_line_pointer++))
|
||
;
|
||
*--input_line_pointer = 0;
|
||
return (c);
|
||
}
|
||
|
||
|
||
unsigned int
|
||
get_single_number ()
|
||
{
|
||
expressionS exp;
|
||
operand (&exp);
|
||
return exp.X_add_number;
|
||
|
||
}
|
||
|
||
/* end of expr.c */
|