Typo.
[binutils.git] / gas / expr.c
blobc50e2c2f33d444608a8c5b7f94eb1019b625ca65
1 /* expr.c -operands, expressions-
2 Copyright (C) 1987, 90, 91, 92, 93, 94, 95, 96, 97, 98, 1999
3 Free Software Foundation, Inc.
5 This file is part of GAS, the GNU Assembler.
7 GAS is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 2, or (at your option)
10 any later version.
12 GAS is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with GAS; see the file COPYING. If not, write to the Free
19 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
20 02111-1307, USA. */
23 * This is really a branch office of as-read.c. I split it out to clearly
24 * distinguish the world of expressions from the world of statements.
25 * (It also gives smaller files to re-compile.)
26 * Here, "operand"s are of expressions, not instructions.
29 #include <ctype.h>
30 #include <string.h>
31 #define min(a, b) ((a) < (b) ? (a) : (b))
33 #include "as.h"
34 #include "obstack.h"
36 static void floating_constant PARAMS ((expressionS * expressionP));
37 static valueT generic_bignum_to_int32 PARAMS ((void));
38 #ifdef BFD64
39 static valueT generic_bignum_to_int64 PARAMS ((void));
40 #endif
41 static void integer_constant PARAMS ((int radix, expressionS * expressionP));
42 static void mri_char_constant PARAMS ((expressionS *));
43 static void current_location PARAMS ((expressionS *));
44 static void clean_up_expression PARAMS ((expressionS * expressionP));
45 static segT operand PARAMS ((expressionS *));
46 static operatorT operator PARAMS ((void));
48 extern const char EXP_CHARS[], FLT_CHARS[];
50 /* We keep a mapping of expression symbols to file positions, so that
51 we can provide better error messages. */
53 struct expr_symbol_line
55 struct expr_symbol_line *next;
56 symbolS *sym;
57 char *file;
58 unsigned int line;
61 static struct expr_symbol_line *expr_symbol_lines;
63 /* Build a dummy symbol to hold a complex expression. This is how we
64 build expressions up out of other expressions. The symbol is put
65 into the fake section expr_section. */
67 symbolS *
68 make_expr_symbol (expressionP)
69 expressionS *expressionP;
71 expressionS zero;
72 const char *fake;
73 symbolS *symbolP;
74 struct expr_symbol_line *n;
76 if (expressionP->X_op == O_symbol
77 && expressionP->X_add_number == 0)
78 return expressionP->X_add_symbol;
80 if (expressionP->X_op == O_big)
82 /* This won't work, because the actual value is stored in
83 generic_floating_point_number or generic_bignum, and we are
84 going to lose it if we haven't already. */
85 if (expressionP->X_add_number > 0)
86 as_bad (_("bignum invalid; zero assumed"));
87 else
88 as_bad (_("floating point number invalid; zero assumed"));
89 zero.X_op = O_constant;
90 zero.X_add_number = 0;
91 zero.X_unsigned = 0;
92 clean_up_expression (&zero);
93 expressionP = &zero;
96 fake = FAKE_LABEL_NAME;
98 /* Putting constant symbols in absolute_section rather than
99 expr_section is convenient for the old a.out code, for which
100 S_GET_SEGMENT does not always retrieve the value put in by
101 S_SET_SEGMENT. */
102 symbolP = symbol_create (fake,
103 (expressionP->X_op == O_constant
104 ? absolute_section
105 : expr_section),
106 0, &zero_address_frag);
107 symbol_set_value_expression (symbolP, expressionP);
109 if (expressionP->X_op == O_constant)
110 resolve_symbol_value (symbolP, 1);
112 n = (struct expr_symbol_line *) xmalloc (sizeof *n);
113 n->sym = symbolP;
114 as_where (&n->file, &n->line);
115 n->next = expr_symbol_lines;
116 expr_symbol_lines = n;
118 return symbolP;
121 /* Return the file and line number for an expr symbol. Return
122 non-zero if something was found, 0 if no information is known for
123 the symbol. */
126 expr_symbol_where (sym, pfile, pline)
127 symbolS *sym;
128 char **pfile;
129 unsigned int *pline;
131 register struct expr_symbol_line *l;
133 for (l = expr_symbol_lines; l != NULL; l = l->next)
135 if (l->sym == sym)
137 *pfile = l->file;
138 *pline = l->line;
139 return 1;
143 return 0;
146 /* Utilities for building expressions.
147 Since complex expressions are recorded as symbols for use in other
148 expressions these return a symbolS * and not an expressionS *.
149 These explicitly do not take an "add_number" argument. */
150 /* ??? For completeness' sake one might want expr_build_symbol.
151 It would just return its argument. */
153 /* Build an expression for an unsigned constant.
154 The corresponding one for signed constants is missing because
155 there's currently no need for it. One could add an unsigned_p flag
156 but that seems more clumsy. */
158 symbolS *
159 expr_build_uconstant (value)
160 offsetT value;
162 expressionS e;
164 e.X_op = O_constant;
165 e.X_add_number = value;
166 e.X_unsigned = 1;
167 return make_expr_symbol (&e);
170 /* Build an expression for OP s1. */
172 symbolS *
173 expr_build_unary (op, s1)
174 operatorT op;
175 symbolS *s1;
177 expressionS e;
179 e.X_op = op;
180 e.X_add_symbol = s1;
181 e.X_add_number = 0;
182 return make_expr_symbol (&e);
185 /* Build an expression for s1 OP s2. */
187 symbolS *
188 expr_build_binary (op, s1, s2)
189 operatorT op;
190 symbolS *s1;
191 symbolS *s2;
193 expressionS e;
195 e.X_op = op;
196 e.X_add_symbol = s1;
197 e.X_op_symbol = s2;
198 e.X_add_number = 0;
199 return make_expr_symbol (&e);
202 /* Build an expression for the current location ('.'). */
204 symbolS *
205 expr_build_dot ()
207 expressionS e;
209 current_location (&e);
210 return make_expr_symbol (&e);
214 * Build any floating-point literal here.
215 * Also build any bignum literal here.
218 /* Seems atof_machine can backscan through generic_bignum and hit whatever
219 happens to be loaded before it in memory. And its way too complicated
220 for me to fix right. Thus a hack. JF: Just make generic_bignum bigger,
221 and never write into the early words, thus they'll always be zero.
222 I hate Dean's floating-point code. Bleh. */
223 LITTLENUM_TYPE generic_bignum[SIZE_OF_LARGE_NUMBER + 6];
224 FLONUM_TYPE generic_floating_point_number =
226 &generic_bignum[6], /* low (JF: Was 0) */
227 &generic_bignum[SIZE_OF_LARGE_NUMBER + 6 - 1], /* high JF: (added +6) */
228 0, /* leader */
229 0, /* exponent */
230 0 /* sign */
232 /* If nonzero, we've been asked to assemble nan, +inf or -inf */
233 int generic_floating_point_magic;
235 static void
236 floating_constant (expressionP)
237 expressionS *expressionP;
239 /* input_line_pointer->*/
240 /* floating-point constant. */
241 int error_code;
243 error_code = atof_generic (&input_line_pointer, ".", EXP_CHARS,
244 &generic_floating_point_number);
246 if (error_code)
248 if (error_code == ERROR_EXPONENT_OVERFLOW)
250 as_bad (_("bad floating-point constant: exponent overflow, probably assembling junk"));
252 else
254 as_bad (_("bad floating-point constant: unknown error code=%d."), error_code);
257 expressionP->X_op = O_big;
258 /* input_line_pointer->just after constant, */
259 /* which may point to whitespace. */
260 expressionP->X_add_number = -1;
263 static valueT
264 generic_bignum_to_int32 ()
266 valueT number =
267 ((generic_bignum[1] & LITTLENUM_MASK) << LITTLENUM_NUMBER_OF_BITS)
268 | (generic_bignum[0] & LITTLENUM_MASK);
269 number &= 0xffffffff;
270 return number;
273 #ifdef BFD64
274 static valueT
275 generic_bignum_to_int64 ()
277 valueT number =
278 ((((((((valueT) generic_bignum[3] & LITTLENUM_MASK)
279 << LITTLENUM_NUMBER_OF_BITS)
280 | ((valueT) generic_bignum[2] & LITTLENUM_MASK))
281 << LITTLENUM_NUMBER_OF_BITS)
282 | ((valueT) generic_bignum[1] & LITTLENUM_MASK))
283 << LITTLENUM_NUMBER_OF_BITS)
284 | ((valueT) generic_bignum[0] & LITTLENUM_MASK));
285 return number;
287 #endif
289 static void
290 integer_constant (radix, expressionP)
291 int radix;
292 expressionS *expressionP;
294 char *start; /* start of number. */
295 char *suffix = NULL;
296 char c;
297 valueT number; /* offset or (absolute) value */
298 short int digit; /* value of next digit in current radix */
299 short int maxdig = 0;/* highest permitted digit value. */
300 int too_many_digits = 0; /* if we see >= this number of */
301 char *name; /* points to name of symbol */
302 symbolS *symbolP; /* points to symbol */
304 int small; /* true if fits in 32 bits. */
306 /* May be bignum, or may fit in 32 bits. */
307 /* Most numbers fit into 32 bits, and we want this case to be fast.
308 so we pretend it will fit into 32 bits. If, after making up a 32
309 bit number, we realise that we have scanned more digits than
310 comfortably fit into 32 bits, we re-scan the digits coding them
311 into a bignum. For decimal and octal numbers we are
312 conservative: Some numbers may be assumed bignums when in fact
313 they do fit into 32 bits. Numbers of any radix can have excess
314 leading zeros: We strive to recognise this and cast them back
315 into 32 bits. We must check that the bignum really is more than
316 32 bits, and change it back to a 32-bit number if it fits. The
317 number we are looking for is expected to be positive, but if it
318 fits into 32 bits as an unsigned number, we let it be a 32-bit
319 number. The cavalier approach is for speed in ordinary cases. */
320 /* This has been extended for 64 bits. We blindly assume that if
321 you're compiling in 64-bit mode, the target is a 64-bit machine.
322 This should be cleaned up. */
324 #ifdef BFD64
325 #define valuesize 64
326 #else /* includes non-bfd case, mostly */
327 #define valuesize 32
328 #endif
330 if (flag_m68k_mri && radix == 0)
332 int flt = 0;
334 /* In MRI mode, the number may have a suffix indicating the
335 radix. For that matter, it might actually be a floating
336 point constant. */
337 for (suffix = input_line_pointer;
338 isalnum ((unsigned char) *suffix);
339 suffix++)
341 if (*suffix == 'e' || *suffix == 'E')
342 flt = 1;
345 if (suffix == input_line_pointer)
347 radix = 10;
348 suffix = NULL;
350 else
352 c = *--suffix;
353 if (islower ((unsigned char) c))
354 c = toupper (c);
355 if (c == 'B')
356 radix = 2;
357 else if (c == 'D')
358 radix = 10;
359 else if (c == 'O' || c == 'Q')
360 radix = 8;
361 else if (c == 'H')
362 radix = 16;
363 else if (suffix[1] == '.' || c == 'E' || flt)
365 floating_constant (expressionP);
366 return;
368 else
370 radix = 10;
371 suffix = NULL;
376 switch (radix)
378 case 2:
379 maxdig = 2;
380 too_many_digits = valuesize + 1;
381 break;
382 case 8:
383 maxdig = radix = 8;
384 too_many_digits = (valuesize + 2) / 3 + 1;
385 break;
386 case 16:
387 maxdig = radix = 16;
388 too_many_digits = (valuesize + 3) / 4 + 1;
389 break;
390 case 10:
391 maxdig = radix = 10;
392 too_many_digits = (valuesize + 12) / 4; /* very rough */
394 #undef valuesize
395 start = input_line_pointer;
396 c = *input_line_pointer++;
397 for (number = 0;
398 (digit = hex_value (c)) < maxdig;
399 c = *input_line_pointer++)
401 number = number * radix + digit;
403 /* c contains character after number. */
404 /* input_line_pointer->char after c. */
405 small = (input_line_pointer - start - 1) < too_many_digits;
407 if (radix == 16 && c == '_')
409 /* This is literal of the form 0x333_0_12345678_1.
410 This example is equivalent to 0x00000333000000001234567800000001. */
412 int num_little_digits = 0;
413 int i;
414 input_line_pointer = start; /*->1st digit. */
416 know (LITTLENUM_NUMBER_OF_BITS == 16);
418 for (c = '_'; c == '_'; num_little_digits+=2)
421 /* Convert one 64-bit word. */
422 int ndigit = 0;
423 number = 0;
424 for (c = *input_line_pointer++;
425 (digit = hex_value (c)) < maxdig;
426 c = *(input_line_pointer++))
428 number = number * radix + digit;
429 ndigit++;
432 /* Check for 8 digit per word max. */
433 if (ndigit > 8)
434 as_bad (_("A bignum with underscores may not have more than 8 hex digits in any word."));
436 /* Add this chunk to the bignum. Shift things down 2 little digits.*/
437 know (LITTLENUM_NUMBER_OF_BITS == 16);
438 for (i = min (num_little_digits + 1, SIZE_OF_LARGE_NUMBER - 1); i >= 2; i--)
439 generic_bignum[i] = generic_bignum[i-2];
441 /* Add the new digits as the least significant new ones. */
442 generic_bignum[0] = number & 0xffffffff;
443 generic_bignum[1] = number >> 16;
446 /* Again, c is char after number, input_line_pointer->after c. */
448 if (num_little_digits > SIZE_OF_LARGE_NUMBER - 1)
449 num_little_digits = SIZE_OF_LARGE_NUMBER - 1;
451 assert (num_little_digits >= 4);
453 if (num_little_digits != 8)
454 as_bad (_("A bignum with underscores must have exactly 4 words."));
456 /* We might have some leading zeros. These can be trimmed to give
457 * us a change to fit this constant into a small number.
459 while (generic_bignum[num_little_digits-1] == 0 && num_little_digits > 1)
460 num_little_digits--;
462 if (num_little_digits <= 2)
464 /* will fit into 32 bits. */
465 number = generic_bignum_to_int32 ();
466 small = 1;
468 #ifdef BFD64
469 else if (num_little_digits <= 4)
471 /* Will fit into 64 bits. */
472 number = generic_bignum_to_int64 ();
473 small = 1;
475 #endif
476 else
478 small = 0;
479 number = num_little_digits; /* number of littlenums in the bignum. */
482 else if (!small)
485 * we saw a lot of digits. manufacture a bignum the hard way.
487 LITTLENUM_TYPE *leader; /*->high order littlenum of the bignum. */
488 LITTLENUM_TYPE *pointer; /*->littlenum we are frobbing now. */
489 long carry;
491 leader = generic_bignum;
492 generic_bignum[0] = 0;
493 generic_bignum[1] = 0;
494 generic_bignum[2] = 0;
495 generic_bignum[3] = 0;
496 input_line_pointer = start; /*->1st digit. */
497 c = *input_line_pointer++;
498 for (;
499 (carry = hex_value (c)) < maxdig;
500 c = *input_line_pointer++)
502 for (pointer = generic_bignum;
503 pointer <= leader;
504 pointer++)
506 long work;
508 work = carry + radix * *pointer;
509 *pointer = work & LITTLENUM_MASK;
510 carry = work >> LITTLENUM_NUMBER_OF_BITS;
512 if (carry)
514 if (leader < generic_bignum + SIZE_OF_LARGE_NUMBER - 1)
516 /* room to grow a longer bignum. */
517 *++leader = carry;
521 /* again, c is char after number, */
522 /* input_line_pointer->after c. */
523 know (LITTLENUM_NUMBER_OF_BITS == 16);
524 if (leader < generic_bignum + 2)
526 /* will fit into 32 bits. */
527 number = generic_bignum_to_int32 ();
528 small = 1;
530 #ifdef BFD64
531 else if (leader < generic_bignum + 4)
533 /* Will fit into 64 bits. */
534 number = generic_bignum_to_int64 ();
535 small = 1;
537 #endif
538 else
540 number = leader - generic_bignum + 1; /* number of littlenums in the bignum. */
544 if (flag_m68k_mri && suffix != NULL && input_line_pointer - 1 == suffix)
545 c = *input_line_pointer++;
547 if (small)
550 * here with number, in correct radix. c is the next char.
551 * note that unlike un*x, we allow "011f" "0x9f" to
552 * both mean the same as the (conventional) "9f". this is simply easier
553 * than checking for strict canonical form. syntax sux!
556 if (LOCAL_LABELS_FB && c == 'b')
559 * backward ref to local label.
560 * because it is backward, expect it to be defined.
562 /* Construct a local label. */
563 name = fb_label_name ((int) number, 0);
565 /* seen before, or symbol is defined: ok */
566 symbolP = symbol_find (name);
567 if ((symbolP != NULL) && (S_IS_DEFINED (symbolP)))
569 /* local labels are never absolute. don't waste time
570 checking absoluteness. */
571 know (SEG_NORMAL (S_GET_SEGMENT (symbolP)));
573 expressionP->X_op = O_symbol;
574 expressionP->X_add_symbol = symbolP;
576 else
578 /* either not seen or not defined. */
579 /* @@ Should print out the original string instead of
580 the parsed number. */
581 as_bad (_("backw. ref to unknown label \"%d:\", 0 assumed."),
582 (int) number);
583 expressionP->X_op = O_constant;
586 expressionP->X_add_number = 0;
587 } /* case 'b' */
588 else if (LOCAL_LABELS_FB && c == 'f')
591 * forward reference. expect symbol to be undefined or
592 * unknown. undefined: seen it before. unknown: never seen
593 * it before.
594 * construct a local label name, then an undefined symbol.
595 * don't create a xseg frag for it: caller may do that.
596 * just return it as never seen before.
598 name = fb_label_name ((int) number, 1);
599 symbolP = symbol_find_or_make (name);
600 /* we have no need to check symbol properties. */
601 #ifndef many_segments
602 /* since "know" puts its arg into a "string", we
603 can't have newlines in the argument. */
604 know (S_GET_SEGMENT (symbolP) == undefined_section || S_GET_SEGMENT (symbolP) == text_section || S_GET_SEGMENT (symbolP) == data_section);
605 #endif
606 expressionP->X_op = O_symbol;
607 expressionP->X_add_symbol = symbolP;
608 expressionP->X_add_number = 0;
609 } /* case 'f' */
610 else if (LOCAL_LABELS_DOLLAR && c == '$')
612 /* If the dollar label is *currently* defined, then this is just
613 another reference to it. If it is not *currently* defined,
614 then this is a fresh instantiation of that number, so create
615 it. */
617 if (dollar_label_defined ((long) number))
619 name = dollar_label_name ((long) number, 0);
620 symbolP = symbol_find (name);
621 know (symbolP != NULL);
623 else
625 name = dollar_label_name ((long) number, 1);
626 symbolP = symbol_find_or_make (name);
629 expressionP->X_op = O_symbol;
630 expressionP->X_add_symbol = symbolP;
631 expressionP->X_add_number = 0;
632 } /* case '$' */
633 else
635 expressionP->X_op = O_constant;
636 #ifdef TARGET_WORD_SIZE
637 /* Sign extend NUMBER. */
638 number |= (-(number >> (TARGET_WORD_SIZE - 1))) << (TARGET_WORD_SIZE - 1);
639 #endif
640 expressionP->X_add_number = number;
641 input_line_pointer--; /* restore following character. */
642 } /* really just a number */
644 else
646 /* not a small number */
647 expressionP->X_op = O_big;
648 expressionP->X_add_number = number; /* number of littlenums */
649 input_line_pointer--; /*->char following number. */
653 /* Parse an MRI multi character constant. */
655 static void
656 mri_char_constant (expressionP)
657 expressionS *expressionP;
659 int i;
661 if (*input_line_pointer == '\''
662 && input_line_pointer[1] != '\'')
664 expressionP->X_op = O_constant;
665 expressionP->X_add_number = 0;
666 return;
669 /* In order to get the correct byte ordering, we must build the
670 number in reverse. */
671 for (i = SIZE_OF_LARGE_NUMBER - 1; i >= 0; i--)
673 int j;
675 generic_bignum[i] = 0;
676 for (j = 0; j < CHARS_PER_LITTLENUM; j++)
678 if (*input_line_pointer == '\'')
680 if (input_line_pointer[1] != '\'')
681 break;
682 ++input_line_pointer;
684 generic_bignum[i] <<= 8;
685 generic_bignum[i] += *input_line_pointer;
686 ++input_line_pointer;
689 if (i < SIZE_OF_LARGE_NUMBER - 1)
691 /* If there is more than one littlenum, left justify the
692 last one to make it match the earlier ones. If there is
693 only one, we can just use the value directly. */
694 for (; j < CHARS_PER_LITTLENUM; j++)
695 generic_bignum[i] <<= 8;
698 if (*input_line_pointer == '\''
699 && input_line_pointer[1] != '\'')
700 break;
703 if (i < 0)
705 as_bad (_("Character constant too large"));
706 i = 0;
709 if (i > 0)
711 int c;
712 int j;
714 c = SIZE_OF_LARGE_NUMBER - i;
715 for (j = 0; j < c; j++)
716 generic_bignum[j] = generic_bignum[i + j];
717 i = c;
720 know (LITTLENUM_NUMBER_OF_BITS == 16);
721 if (i > 2)
723 expressionP->X_op = O_big;
724 expressionP->X_add_number = i;
726 else
728 expressionP->X_op = O_constant;
729 if (i < 2)
730 expressionP->X_add_number = generic_bignum[0] & LITTLENUM_MASK;
731 else
732 expressionP->X_add_number =
733 (((generic_bignum[1] & LITTLENUM_MASK)
734 << LITTLENUM_NUMBER_OF_BITS)
735 | (generic_bignum[0] & LITTLENUM_MASK));
738 /* Skip the final closing quote. */
739 ++input_line_pointer;
742 /* Return an expression representing the current location. This
743 handles the magic symbol `.'. */
745 static void
746 current_location (expressionp)
747 expressionS *expressionp;
749 if (now_seg == absolute_section)
751 expressionp->X_op = O_constant;
752 expressionp->X_add_number = abs_section_offset;
754 else
756 symbolS *symbolp;
758 symbolp = symbol_new (FAKE_LABEL_NAME, now_seg,
759 (valueT) frag_now_fix (),
760 frag_now);
761 expressionp->X_op = O_symbol;
762 expressionp->X_add_symbol = symbolp;
763 expressionp->X_add_number = 0;
768 * Summary of operand().
770 * in: Input_line_pointer points to 1st char of operand, which may
771 * be a space.
773 * out: A expressionS.
774 * The operand may have been empty: in this case X_op == O_absent.
775 * Input_line_pointer->(next non-blank) char after operand.
778 static segT
779 operand (expressionP)
780 expressionS *expressionP;
782 char c;
783 symbolS *symbolP; /* points to symbol */
784 char *name; /* points to name of symbol */
785 segT segment;
787 /* All integers are regarded as unsigned unless they are negated.
788 This is because the only thing which cares whether a number is
789 unsigned is the code in emit_expr which extends constants into
790 bignums. It should only sign extend negative numbers, so that
791 something like ``.quad 0x80000000'' is not sign extended even
792 though it appears negative if valueT is 32 bits. */
793 expressionP->X_unsigned = 1;
795 /* digits, assume it is a bignum. */
797 SKIP_WHITESPACE (); /* leading whitespace is part of operand. */
798 c = *input_line_pointer++; /* input_line_pointer->past char in c. */
800 switch (c)
802 case '1':
803 case '2':
804 case '3':
805 case '4':
806 case '5':
807 case '6':
808 case '7':
809 case '8':
810 case '9':
811 input_line_pointer--;
813 integer_constant (flag_m68k_mri ? 0 : 10, expressionP);
814 break;
816 case '0':
817 /* non-decimal radix */
819 if (flag_m68k_mri)
821 char *s;
823 /* Check for a hex constant. */
824 for (s = input_line_pointer; hex_p (*s); s++)
826 if (*s == 'h' || *s == 'H')
828 --input_line_pointer;
829 integer_constant (0, expressionP);
830 break;
834 c = *input_line_pointer;
835 switch (c)
837 case 'o':
838 case 'O':
839 case 'q':
840 case 'Q':
841 case '8':
842 case '9':
843 if (flag_m68k_mri)
845 integer_constant (0, expressionP);
846 break;
848 /* Fall through. */
849 default:
850 default_case:
851 if (c && strchr (FLT_CHARS, c))
853 input_line_pointer++;
854 floating_constant (expressionP);
855 expressionP->X_add_number =
856 - (isupper ((unsigned char) c) ? tolower (c) : c);
858 else
860 /* The string was only zero */
861 expressionP->X_op = O_constant;
862 expressionP->X_add_number = 0;
865 break;
867 case 'x':
868 case 'X':
869 if (flag_m68k_mri)
870 goto default_case;
871 input_line_pointer++;
872 integer_constant (16, expressionP);
873 break;
875 case 'b':
876 if (LOCAL_LABELS_FB && ! flag_m68k_mri)
878 /* This code used to check for '+' and '-' here, and, in
879 some conditions, fall through to call
880 integer_constant. However, that didn't make sense,
881 as integer_constant only accepts digits. */
882 /* Some of our code elsewhere does permit digits greater
883 than the expected base; for consistency, do the same
884 here. */
885 if (input_line_pointer[1] < '0'
886 || input_line_pointer[1] > '9')
888 /* Parse this as a back reference to label 0. */
889 input_line_pointer--;
890 integer_constant (10, expressionP);
891 break;
893 /* Otherwise, parse this as a binary number. */
895 /* Fall through. */
896 case 'B':
897 input_line_pointer++;
898 if (flag_m68k_mri)
899 goto default_case;
900 integer_constant (2, expressionP);
901 break;
903 case '0':
904 case '1':
905 case '2':
906 case '3':
907 case '4':
908 case '5':
909 case '6':
910 case '7':
911 integer_constant (flag_m68k_mri ? 0 : 8, expressionP);
912 break;
914 case 'f':
915 if (LOCAL_LABELS_FB)
917 /* If it says "0f" and it could possibly be a floating point
918 number, make it one. Otherwise, make it a local label,
919 and try to deal with parsing the rest later. */
920 if (!input_line_pointer[1]
921 || (is_end_of_line[0xff & input_line_pointer[1]]))
922 goto is_0f_label;
924 char *cp = input_line_pointer + 1;
925 int r = atof_generic (&cp, ".", EXP_CHARS,
926 &generic_floating_point_number);
927 switch (r)
929 case 0:
930 case ERROR_EXPONENT_OVERFLOW:
931 if (*cp == 'f' || *cp == 'b')
932 /* looks like a difference expression */
933 goto is_0f_label;
934 else if (cp == input_line_pointer + 1)
935 /* No characters has been accepted -- looks like
936 end of operand. */
937 goto is_0f_label;
938 else
939 goto is_0f_float;
940 default:
941 as_fatal (_("expr.c(operand): bad atof_generic return val %d"),
946 /* Okay, now we've sorted it out. We resume at one of these
947 two labels, depending on what we've decided we're probably
948 looking at. */
949 is_0f_label:
950 input_line_pointer--;
951 integer_constant (10, expressionP);
952 break;
954 is_0f_float:
955 /* fall through */
959 case 'd':
960 case 'D':
961 if (flag_m68k_mri)
963 integer_constant (0, expressionP);
964 break;
966 /* Fall through. */
967 case 'F':
968 case 'r':
969 case 'e':
970 case 'E':
971 case 'g':
972 case 'G':
973 input_line_pointer++;
974 floating_constant (expressionP);
975 expressionP->X_add_number =
976 - (isupper ((unsigned char) c) ? tolower (c) : c);
977 break;
979 case '$':
980 if (LOCAL_LABELS_DOLLAR)
982 integer_constant (10, expressionP);
983 break;
985 else
986 goto default_case;
989 break;
991 case '(':
992 #ifndef NEED_INDEX_OPERATOR
993 case '[':
994 #endif
995 /* didn't begin with digit & not a name */
996 segment = expression (expressionP);
997 /* Expression() will pass trailing whitespace */
998 if ((c == '(' && *input_line_pointer++ != ')')
999 || (c == '[' && *input_line_pointer++ != ']'))
1001 as_bad (_("Missing ')' assumed"));
1002 input_line_pointer--;
1004 SKIP_WHITESPACE ();
1005 /* here with input_line_pointer->char after "(...)" */
1006 return segment;
1008 case 'E':
1009 if (! flag_m68k_mri || *input_line_pointer != '\'')
1010 goto de_fault;
1011 as_bad (_("EBCDIC constants are not supported"));
1012 /* Fall through. */
1013 case 'A':
1014 if (! flag_m68k_mri || *input_line_pointer != '\'')
1015 goto de_fault;
1016 ++input_line_pointer;
1017 /* Fall through. */
1018 case '\'':
1019 if (! flag_m68k_mri)
1021 /* Warning: to conform to other people's assemblers NO
1022 ESCAPEMENT is permitted for a single quote. The next
1023 character, parity errors and all, is taken as the value
1024 of the operand. VERY KINKY. */
1025 expressionP->X_op = O_constant;
1026 expressionP->X_add_number = *input_line_pointer++;
1027 break;
1030 mri_char_constant (expressionP);
1031 break;
1033 case '+':
1034 (void) operand (expressionP);
1035 break;
1037 case '"':
1038 /* Double quote is the bitwise not operator in MRI mode. */
1039 if (! flag_m68k_mri)
1040 goto de_fault;
1041 /* Fall through. */
1042 case '~':
1043 /* ~ is permitted to start a label on the Delta. */
1044 if (is_name_beginner (c))
1045 goto isname;
1046 case '!':
1047 case '-':
1049 operand (expressionP);
1050 if (expressionP->X_op == O_constant)
1052 /* input_line_pointer -> char after operand */
1053 if (c == '-')
1055 expressionP->X_add_number = - expressionP->X_add_number;
1056 /* Notice: '-' may overflow: no warning is given. This is
1057 compatible with other people's assemblers. Sigh. */
1058 expressionP->X_unsigned = 0;
1060 else if (c == '~' || c == '"')
1061 expressionP->X_add_number = ~ expressionP->X_add_number;
1062 else
1063 expressionP->X_add_number = ! expressionP->X_add_number;
1065 else if (expressionP->X_op != O_illegal
1066 && expressionP->X_op != O_absent)
1068 expressionP->X_add_symbol = make_expr_symbol (expressionP);
1069 if (c == '-')
1070 expressionP->X_op = O_uminus;
1071 else if (c == '~' || c == '"')
1072 expressionP->X_op = O_bit_not;
1073 else
1074 expressionP->X_op = O_logical_not;
1075 expressionP->X_add_number = 0;
1077 else
1078 as_warn (_("Unary operator %c ignored because bad operand follows"),
1081 break;
1083 case '$':
1084 /* $ is the program counter when in MRI mode, or when DOLLAR_DOT
1085 is defined. */
1086 #ifndef DOLLAR_DOT
1087 if (! flag_m68k_mri)
1088 goto de_fault;
1089 #endif
1090 if (flag_m68k_mri && hex_p (*input_line_pointer))
1092 /* In MRI mode, $ is also used as the prefix for a
1093 hexadecimal constant. */
1094 integer_constant (16, expressionP);
1095 break;
1098 if (is_part_of_name (*input_line_pointer))
1099 goto isname;
1101 current_location (expressionP);
1102 break;
1104 case '.':
1105 if (!is_part_of_name (*input_line_pointer))
1107 current_location (expressionP);
1108 break;
1110 else if ((strncasecmp (input_line_pointer, "startof.", 8) == 0
1111 && ! is_part_of_name (input_line_pointer[8]))
1112 || (strncasecmp (input_line_pointer, "sizeof.", 7) == 0
1113 && ! is_part_of_name (input_line_pointer[7])))
1115 int start;
1117 start = (input_line_pointer[1] == 't'
1118 || input_line_pointer[1] == 'T');
1119 input_line_pointer += start ? 8 : 7;
1120 SKIP_WHITESPACE ();
1121 if (*input_line_pointer != '(')
1122 as_bad (_("syntax error in .startof. or .sizeof."));
1123 else
1125 char *buf;
1127 ++input_line_pointer;
1128 SKIP_WHITESPACE ();
1129 name = input_line_pointer;
1130 c = get_symbol_end ();
1132 buf = (char *) xmalloc (strlen (name) + 10);
1133 if (start)
1134 sprintf (buf, ".startof.%s", name);
1135 else
1136 sprintf (buf, ".sizeof.%s", name);
1137 symbolP = symbol_make (buf);
1138 free (buf);
1140 expressionP->X_op = O_symbol;
1141 expressionP->X_add_symbol = symbolP;
1142 expressionP->X_add_number = 0;
1144 *input_line_pointer = c;
1145 SKIP_WHITESPACE ();
1146 if (*input_line_pointer != ')')
1147 as_bad (_("syntax error in .startof. or .sizeof."));
1148 else
1149 ++input_line_pointer;
1151 break;
1153 else
1155 goto isname;
1157 case ',':
1158 case '\n':
1159 case '\0':
1160 eol:
1161 /* can't imagine any other kind of operand */
1162 expressionP->X_op = O_absent;
1163 input_line_pointer--;
1164 break;
1166 case '%':
1167 if (! flag_m68k_mri)
1168 goto de_fault;
1169 integer_constant (2, expressionP);
1170 break;
1172 case '@':
1173 if (! flag_m68k_mri)
1174 goto de_fault;
1175 integer_constant (8, expressionP);
1176 break;
1178 case ':':
1179 if (! flag_m68k_mri)
1180 goto de_fault;
1182 /* In MRI mode, this is a floating point constant represented
1183 using hexadecimal digits. */
1185 ++input_line_pointer;
1186 integer_constant (16, expressionP);
1187 break;
1189 case '*':
1190 if (! flag_m68k_mri || is_part_of_name (*input_line_pointer))
1191 goto de_fault;
1193 current_location (expressionP);
1194 break;
1196 default:
1197 de_fault:
1198 if (is_end_of_line[(unsigned char) c])
1199 goto eol;
1200 if (is_name_beginner (c)) /* here if did not begin with a digit */
1203 * Identifier begins here.
1204 * This is kludged for speed, so code is repeated.
1206 isname:
1207 name = --input_line_pointer;
1208 c = get_symbol_end ();
1210 #ifdef md_parse_name
1211 /* This is a hook for the backend to parse certain names
1212 specially in certain contexts. If a name always has a
1213 specific value, it can often be handled by simply
1214 entering it in the symbol table. */
1215 if (md_parse_name (name, expressionP))
1217 *input_line_pointer = c;
1218 break;
1220 #endif
1222 #ifdef TC_I960
1223 /* The MRI i960 assembler permits
1224 lda sizeof code,g13
1225 FIXME: This should use md_parse_name. */
1226 if (flag_mri
1227 && (strcasecmp (name, "sizeof") == 0
1228 || strcasecmp (name, "startof") == 0))
1230 int start;
1231 char *buf;
1233 start = (name[1] == 't'
1234 || name[1] == 'T');
1236 *input_line_pointer = c;
1237 SKIP_WHITESPACE ();
1239 name = input_line_pointer;
1240 c = get_symbol_end ();
1242 buf = (char *) xmalloc (strlen (name) + 10);
1243 if (start)
1244 sprintf (buf, ".startof.%s", name);
1245 else
1246 sprintf (buf, ".sizeof.%s", name);
1247 symbolP = symbol_make (buf);
1248 free (buf);
1250 expressionP->X_op = O_symbol;
1251 expressionP->X_add_symbol = symbolP;
1252 expressionP->X_add_number = 0;
1254 *input_line_pointer = c;
1255 SKIP_WHITESPACE ();
1257 break;
1259 #endif
1261 symbolP = symbol_find_or_make (name);
1263 /* If we have an absolute symbol or a reg, then we know its
1264 value now. */
1265 segment = S_GET_SEGMENT (symbolP);
1266 if (segment == absolute_section)
1268 expressionP->X_op = O_constant;
1269 expressionP->X_add_number = S_GET_VALUE (symbolP);
1271 else if (segment == reg_section)
1273 expressionP->X_op = O_register;
1274 expressionP->X_add_number = S_GET_VALUE (symbolP);
1276 else
1278 expressionP->X_op = O_symbol;
1279 expressionP->X_add_symbol = symbolP;
1280 expressionP->X_add_number = 0;
1282 *input_line_pointer = c;
1284 else
1286 /* Let the target try to parse it. Success is indicated by changing
1287 the X_op field to something other than O_absent and pointing
1288 input_line_pointer passed the expression. If it can't parse the
1289 expression, X_op and input_line_pointer should be unchanged. */
1290 expressionP->X_op = O_absent;
1291 --input_line_pointer;
1292 md_operand (expressionP);
1293 if (expressionP->X_op == O_absent)
1295 ++input_line_pointer;
1296 as_bad (_("Bad expression"));
1297 expressionP->X_op = O_constant;
1298 expressionP->X_add_number = 0;
1301 break;
1305 * It is more 'efficient' to clean up the expressionS when they are created.
1306 * Doing it here saves lines of code.
1308 clean_up_expression (expressionP);
1309 SKIP_WHITESPACE (); /*->1st char after operand. */
1310 know (*input_line_pointer != ' ');
1312 /* The PA port needs this information. */
1313 if (expressionP->X_add_symbol)
1314 symbol_mark_used (expressionP->X_add_symbol);
1316 switch (expressionP->X_op)
1318 default:
1319 return absolute_section;
1320 case O_symbol:
1321 return S_GET_SEGMENT (expressionP->X_add_symbol);
1322 case O_register:
1323 return reg_section;
1325 } /* operand() */
1327 /* Internal. Simplify a struct expression for use by expr() */
1330 * In: address of a expressionS.
1331 * The X_op field of the expressionS may only take certain values.
1332 * Elsewise we waste time special-case testing. Sigh. Ditto SEG_ABSENT.
1333 * Out: expressionS may have been modified:
1334 * 'foo-foo' symbol references cancelled to 0,
1335 * which changes X_op from O_subtract to O_constant.
1336 * Unused fields zeroed to help expr().
1339 static void
1340 clean_up_expression (expressionP)
1341 expressionS *expressionP;
1343 switch (expressionP->X_op)
1345 case O_illegal:
1346 case O_absent:
1347 expressionP->X_add_number = 0;
1348 /* Fall through. */
1349 case O_big:
1350 case O_constant:
1351 case O_register:
1352 expressionP->X_add_symbol = NULL;
1353 /* Fall through. */
1354 case O_symbol:
1355 case O_uminus:
1356 case O_bit_not:
1357 expressionP->X_op_symbol = NULL;
1358 break;
1359 case O_subtract:
1360 if (expressionP->X_op_symbol == expressionP->X_add_symbol
1361 || ((symbol_get_frag (expressionP->X_op_symbol)
1362 == symbol_get_frag (expressionP->X_add_symbol))
1363 && SEG_NORMAL (S_GET_SEGMENT (expressionP->X_add_symbol))
1364 && (S_GET_VALUE (expressionP->X_op_symbol)
1365 == S_GET_VALUE (expressionP->X_add_symbol))))
1367 addressT diff = (S_GET_VALUE (expressionP->X_add_symbol)
1368 - S_GET_VALUE (expressionP->X_op_symbol));
1370 expressionP->X_op = O_constant;
1371 expressionP->X_add_symbol = NULL;
1372 expressionP->X_op_symbol = NULL;
1373 expressionP->X_add_number += diff;
1375 break;
1376 default:
1377 break;
1381 /* Expression parser. */
1384 * We allow an empty expression, and just assume (absolute,0) silently.
1385 * Unary operators and parenthetical expressions are treated as operands.
1386 * As usual, Q==quantity==operand, O==operator, X==expression mnemonics.
1388 * We used to do a aho/ullman shift-reduce parser, but the logic got so
1389 * warped that I flushed it and wrote a recursive-descent parser instead.
1390 * Now things are stable, would anybody like to write a fast parser?
1391 * Most expressions are either register (which does not even reach here)
1392 * or 1 symbol. Then "symbol+constant" and "symbol-symbol" are common.
1393 * So I guess it doesn't really matter how inefficient more complex expressions
1394 * are parsed.
1396 * After expr(RANK,resultP) input_line_pointer->operator of rank <= RANK.
1397 * Also, we have consumed any leading or trailing spaces (operand does that)
1398 * and done all intervening operators.
1400 * This returns the segment of the result, which will be
1401 * absolute_section or the segment of a symbol.
1404 #undef __
1405 #define __ O_illegal
1407 static const operatorT op_encoding[256] =
1408 { /* maps ASCII->operators */
1410 __, __, __, __, __, __, __, __, __, __, __, __, __, __, __, __,
1411 __, __, __, __, __, __, __, __, __, __, __, __, __, __, __, __,
1413 __, O_bit_or_not, __, __, __, O_modulus, O_bit_and, __,
1414 __, __, O_multiply, O_add, __, O_subtract, __, O_divide,
1415 __, __, __, __, __, __, __, __,
1416 __, __, __, __, O_lt, __, O_gt, __,
1417 __, __, __, __, __, __, __, __,
1418 __, __, __, __, __, __, __, __,
1419 __, __, __, __, __, __, __, __,
1420 __, __, __,
1421 #ifdef NEED_INDEX_OPERATOR
1422 O_index,
1423 #else
1425 #endif
1426 __, __, O_bit_exclusive_or, __,
1427 __, __, __, __, __, __, __, __,
1428 __, __, __, __, __, __, __, __,
1429 __, __, __, __, __, __, __, __,
1430 __, __, __, __, O_bit_inclusive_or, __, __, __,
1432 __, __, __, __, __, __, __, __, __, __, __, __, __, __, __, __,
1433 __, __, __, __, __, __, __, __, __, __, __, __, __, __, __, __,
1434 __, __, __, __, __, __, __, __, __, __, __, __, __, __, __, __,
1435 __, __, __, __, __, __, __, __, __, __, __, __, __, __, __, __,
1436 __, __, __, __, __, __, __, __, __, __, __, __, __, __, __, __,
1437 __, __, __, __, __, __, __, __, __, __, __, __, __, __, __, __,
1438 __, __, __, __, __, __, __, __, __, __, __, __, __, __, __, __,
1439 __, __, __, __, __, __, __, __, __, __, __, __, __, __, __, __
1444 * Rank Examples
1445 * 0 operand, (expression)
1446 * 1 ||
1447 * 2 &&
1448 * 3 = <> < <= >= >
1449 * 4 + -
1450 * 5 used for * / % in MRI mode
1451 * 6 & ^ ! |
1452 * 7 * / % << >>
1453 * 8 unary - unary ~
1455 static operator_rankT op_rank[] =
1457 0, /* O_illegal */
1458 0, /* O_absent */
1459 0, /* O_constant */
1460 0, /* O_symbol */
1461 0, /* O_symbol_rva */
1462 0, /* O_register */
1463 0, /* O_bit */
1464 9, /* O_uminus */
1465 9, /* O_bit_not */
1466 9, /* O_logical_not */
1467 8, /* O_multiply */
1468 8, /* O_divide */
1469 8, /* O_modulus */
1470 8, /* O_left_shift */
1471 8, /* O_right_shift */
1472 7, /* O_bit_inclusive_or */
1473 7, /* O_bit_or_not */
1474 7, /* O_bit_exclusive_or */
1475 7, /* O_bit_and */
1476 5, /* O_add */
1477 5, /* O_subtract */
1478 4, /* O_eq */
1479 4, /* O_ne */
1480 4, /* O_lt */
1481 4, /* O_le */
1482 4, /* O_ge */
1483 4, /* O_gt */
1484 3, /* O_logical_and */
1485 2, /* O_logical_or */
1486 1, /* O_index */
1489 /* Unfortunately, in MRI mode for the m68k, multiplication and
1490 division have lower precedence than the bit wise operators. This
1491 function sets the operator precedences correctly for the current
1492 mode. Also, MRI uses a different bit_not operator, and this fixes
1493 that as well. */
1495 #define STANDARD_MUL_PRECEDENCE (7)
1496 #define MRI_MUL_PRECEDENCE (5)
1498 void
1499 expr_set_precedence ()
1501 if (flag_m68k_mri)
1503 op_rank[O_multiply] = MRI_MUL_PRECEDENCE;
1504 op_rank[O_divide] = MRI_MUL_PRECEDENCE;
1505 op_rank[O_modulus] = MRI_MUL_PRECEDENCE;
1507 else
1509 op_rank[O_multiply] = STANDARD_MUL_PRECEDENCE;
1510 op_rank[O_divide] = STANDARD_MUL_PRECEDENCE;
1511 op_rank[O_modulus] = STANDARD_MUL_PRECEDENCE;
1515 /* Initialize the expression parser. */
1517 void
1518 expr_begin ()
1520 expr_set_precedence ();
1522 /* Verify that X_op field is wide enough. */
1524 expressionS e;
1525 e.X_op = O_max;
1526 assert (e.X_op == O_max);
1530 /* Return the encoding for the operator at INPUT_LINE_POINTER.
1531 Advance INPUT_LINE_POINTER to the last character in the operator
1532 (i.e., don't change it for a single character operator). */
1534 static inline operatorT
1535 operator ()
1537 int c;
1538 operatorT ret;
1540 c = *input_line_pointer & 0xff;
1542 switch (c)
1544 default:
1545 return op_encoding[c];
1547 case '<':
1548 switch (input_line_pointer[1])
1550 default:
1551 return op_encoding[c];
1552 case '<':
1553 ret = O_left_shift;
1554 break;
1555 case '>':
1556 ret = O_ne;
1557 break;
1558 case '=':
1559 ret = O_le;
1560 break;
1562 ++input_line_pointer;
1563 return ret;
1565 case '=':
1566 if (input_line_pointer[1] != '=')
1567 return op_encoding[c];
1569 ++input_line_pointer;
1570 return O_eq;
1572 case '>':
1573 switch (input_line_pointer[1])
1575 default:
1576 return op_encoding[c];
1577 case '>':
1578 ret = O_right_shift;
1579 break;
1580 case '=':
1581 ret = O_ge;
1582 break;
1584 ++input_line_pointer;
1585 return ret;
1587 case '!':
1588 /* We accept !! as equivalent to ^ for MRI compatibility. */
1589 if (input_line_pointer[1] != '!')
1591 if (flag_m68k_mri)
1592 return O_bit_inclusive_or;
1593 return op_encoding[c];
1595 ++input_line_pointer;
1596 return O_bit_exclusive_or;
1598 case '|':
1599 if (input_line_pointer[1] != '|')
1600 return op_encoding[c];
1602 ++input_line_pointer;
1603 return O_logical_or;
1605 case '&':
1606 if (input_line_pointer[1] != '&')
1607 return op_encoding[c];
1609 ++input_line_pointer;
1610 return O_logical_and;
1613 /*NOTREACHED*/
1616 /* Parse an expression. */
1618 segT
1619 expr (rank, resultP)
1620 operator_rankT rank; /* Larger # is higher rank. */
1621 expressionS *resultP; /* Deliver result here. */
1623 segT retval;
1624 expressionS right;
1625 operatorT op_left;
1626 operatorT op_right;
1628 know (rank >= 0);
1630 retval = operand (resultP);
1632 know (*input_line_pointer != ' '); /* Operand() gobbles spaces. */
1634 op_left = operator ();
1635 while (op_left != O_illegal && op_rank[(int) op_left] > rank)
1637 segT rightseg;
1639 input_line_pointer++; /*->after 1st character of operator. */
1641 rightseg = expr (op_rank[(int) op_left], &right);
1642 if (right.X_op == O_absent)
1644 as_warn (_("missing operand; zero assumed"));
1645 right.X_op = O_constant;
1646 right.X_add_number = 0;
1647 right.X_add_symbol = NULL;
1648 right.X_op_symbol = NULL;
1651 know (*input_line_pointer != ' ');
1653 if (op_left == O_index)
1655 if (*input_line_pointer != ']')
1656 as_bad ("missing right bracket");
1657 else
1659 ++input_line_pointer;
1660 SKIP_WHITESPACE ();
1664 if (retval == undefined_section)
1666 if (SEG_NORMAL (rightseg))
1667 retval = rightseg;
1669 else if (! SEG_NORMAL (retval))
1670 retval = rightseg;
1671 else if (SEG_NORMAL (rightseg)
1672 && retval != rightseg
1673 #ifdef DIFF_EXPR_OK
1674 && op_left != O_subtract
1675 #endif
1677 as_bad (_("operation combines symbols in different segments"));
1679 op_right = operator ();
1681 know (op_right == O_illegal || op_rank[(int) op_right] <= op_rank[(int) op_left]);
1682 know ((int) op_left >= (int) O_multiply
1683 && (int) op_left <= (int) O_logical_or);
1685 /* input_line_pointer->after right-hand quantity. */
1686 /* left-hand quantity in resultP */
1687 /* right-hand quantity in right. */
1688 /* operator in op_left. */
1690 if (resultP->X_op == O_big)
1692 if (resultP->X_add_number > 0)
1693 as_warn (_("left operand is a bignum; integer 0 assumed"));
1694 else
1695 as_warn (_("left operand is a float; integer 0 assumed"));
1696 resultP->X_op = O_constant;
1697 resultP->X_add_number = 0;
1698 resultP->X_add_symbol = NULL;
1699 resultP->X_op_symbol = NULL;
1701 if (right.X_op == O_big)
1703 if (right.X_add_number > 0)
1704 as_warn (_("right operand is a bignum; integer 0 assumed"));
1705 else
1706 as_warn (_("right operand is a float; integer 0 assumed"));
1707 right.X_op = O_constant;
1708 right.X_add_number = 0;
1709 right.X_add_symbol = NULL;
1710 right.X_op_symbol = NULL;
1713 /* Optimize common cases. */
1714 if (op_left == O_add && right.X_op == O_constant)
1716 /* X + constant. */
1717 resultP->X_add_number += right.X_add_number;
1719 /* This case comes up in PIC code. */
1720 else if (op_left == O_subtract
1721 && right.X_op == O_symbol
1722 && resultP->X_op == O_symbol
1723 && (symbol_get_frag (right.X_add_symbol)
1724 == symbol_get_frag (resultP->X_add_symbol))
1725 && SEG_NORMAL (S_GET_SEGMENT (right.X_add_symbol)))
1728 resultP->X_add_number -= right.X_add_number;
1729 resultP->X_add_number += (S_GET_VALUE (resultP->X_add_symbol)
1730 - S_GET_VALUE (right.X_add_symbol));
1731 resultP->X_op = O_constant;
1732 resultP->X_add_symbol = 0;
1734 else if (op_left == O_subtract && right.X_op == O_constant)
1736 /* X - constant. */
1737 resultP->X_add_number -= right.X_add_number;
1739 else if (op_left == O_add && resultP->X_op == O_constant)
1741 /* Constant + X. */
1742 resultP->X_op = right.X_op;
1743 resultP->X_add_symbol = right.X_add_symbol;
1744 resultP->X_op_symbol = right.X_op_symbol;
1745 resultP->X_add_number += right.X_add_number;
1746 retval = rightseg;
1748 else if (resultP->X_op == O_constant && right.X_op == O_constant)
1750 /* Constant OP constant. */
1751 offsetT v = right.X_add_number;
1752 if (v == 0 && (op_left == O_divide || op_left == O_modulus))
1754 as_warn (_("division by zero"));
1755 v = 1;
1757 switch (op_left)
1759 default: abort ();
1760 case O_multiply: resultP->X_add_number *= v; break;
1761 case O_divide: resultP->X_add_number /= v; break;
1762 case O_modulus: resultP->X_add_number %= v; break;
1763 case O_left_shift: resultP->X_add_number <<= v; break;
1764 case O_right_shift:
1765 /* We always use unsigned shifts, to avoid relying on
1766 characteristics of the compiler used to compile gas. */
1767 resultP->X_add_number =
1768 (offsetT) ((valueT) resultP->X_add_number >> (valueT) v);
1769 break;
1770 case O_bit_inclusive_or: resultP->X_add_number |= v; break;
1771 case O_bit_or_not: resultP->X_add_number |= ~v; break;
1772 case O_bit_exclusive_or: resultP->X_add_number ^= v; break;
1773 case O_bit_and: resultP->X_add_number &= v; break;
1774 case O_add: resultP->X_add_number += v; break;
1775 case O_subtract: resultP->X_add_number -= v; break;
1776 case O_eq:
1777 resultP->X_add_number =
1778 resultP->X_add_number == v ? ~ (offsetT) 0 : 0;
1779 break;
1780 case O_ne:
1781 resultP->X_add_number =
1782 resultP->X_add_number != v ? ~ (offsetT) 0 : 0;
1783 break;
1784 case O_lt:
1785 resultP->X_add_number =
1786 resultP->X_add_number < v ? ~ (offsetT) 0 : 0;
1787 break;
1788 case O_le:
1789 resultP->X_add_number =
1790 resultP->X_add_number <= v ? ~ (offsetT) 0 : 0;
1791 break;
1792 case O_ge:
1793 resultP->X_add_number =
1794 resultP->X_add_number >= v ? ~ (offsetT) 0 : 0;
1795 break;
1796 case O_gt:
1797 resultP->X_add_number =
1798 resultP->X_add_number > v ? ~ (offsetT) 0 : 0;
1799 break;
1800 case O_logical_and:
1801 resultP->X_add_number = resultP->X_add_number && v;
1802 break;
1803 case O_logical_or:
1804 resultP->X_add_number = resultP->X_add_number || v;
1805 break;
1808 else if (resultP->X_op == O_symbol
1809 && right.X_op == O_symbol
1810 && (op_left == O_add
1811 || op_left == O_subtract
1812 || (resultP->X_add_number == 0
1813 && right.X_add_number == 0)))
1815 /* Symbol OP symbol. */
1816 resultP->X_op = op_left;
1817 resultP->X_op_symbol = right.X_add_symbol;
1818 if (op_left == O_add)
1819 resultP->X_add_number += right.X_add_number;
1820 else if (op_left == O_subtract)
1821 resultP->X_add_number -= right.X_add_number;
1823 else
1825 /* The general case. */
1826 resultP->X_add_symbol = make_expr_symbol (resultP);
1827 resultP->X_op_symbol = make_expr_symbol (&right);
1828 resultP->X_op = op_left;
1829 resultP->X_add_number = 0;
1830 resultP->X_unsigned = 1;
1833 op_left = op_right;
1834 } /* While next operator is >= this rank. */
1836 /* The PA port needs this information. */
1837 if (resultP->X_add_symbol)
1838 symbol_mark_used (resultP->X_add_symbol);
1840 return resultP->X_op == O_constant ? absolute_section : retval;
1844 * get_symbol_end()
1846 * This lives here because it belongs equally in expr.c & read.c.
1847 * Expr.c is just a branch office read.c anyway, and putting it
1848 * here lessens the crowd at read.c.
1850 * Assume input_line_pointer is at start of symbol name.
1851 * Advance input_line_pointer past symbol name.
1852 * Turn that character into a '\0', returning its former value.
1853 * This allows a string compare (RMS wants symbol names to be strings)
1854 * of the symbol name.
1855 * There will always be a char following symbol name, because all good
1856 * lines end in end-of-line.
1858 char
1859 get_symbol_end ()
1861 char c;
1863 /* We accept \001 in a name in case this is being called with a
1864 constructed string. */
1865 if (is_name_beginner (c = *input_line_pointer++) || c == '\001')
1867 while (is_part_of_name (c = *input_line_pointer++)
1868 || c == '\001')
1870 if (is_name_ender (c))
1871 c = *input_line_pointer++;
1873 *--input_line_pointer = 0;
1874 return (c);
1878 unsigned int
1879 get_single_number ()
1881 expressionS exp;
1882 operand (&exp);
1883 return exp.X_add_number;
1887 /* end of expr.c */