expr.c revision 1.1.1.10 1 1.1 skrll /* expr.c -operands, expressions-
2 1.1.1.10 christos Copyright (C) 1987-2024 Free Software Foundation, Inc.
3 1.1 skrll
4 1.1 skrll This file is part of GAS, the GNU Assembler.
5 1.1 skrll
6 1.1 skrll GAS is free software; you can redistribute it and/or modify
7 1.1 skrll it under the terms of the GNU General Public License as published by
8 1.1 skrll the Free Software Foundation; either version 3, or (at your option)
9 1.1 skrll any later version.
10 1.1 skrll
11 1.1 skrll GAS is distributed in the hope that it will be useful,
12 1.1 skrll but WITHOUT ANY WARRANTY; without even the implied warranty of
13 1.1 skrll MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 1.1 skrll GNU General Public License for more details.
15 1.1 skrll
16 1.1 skrll You should have received a copy of the GNU General Public License
17 1.1 skrll along with GAS; see the file COPYING. If not, write to the Free
18 1.1 skrll Software Foundation, 51 Franklin Street - Fifth Floor, Boston, MA
19 1.1 skrll 02110-1301, USA. */
20 1.1 skrll
21 1.1 skrll /* This is really a branch office of as-read.c. I split it out to clearly
22 1.1 skrll distinguish the world of expressions from the world of statements.
23 1.1 skrll (It also gives smaller files to re-compile.)
24 1.1 skrll Here, "operand"s are of expressions, not instructions. */
25 1.1 skrll
26 1.1 skrll #define min(a, b) ((a) < (b) ? (a) : (b))
27 1.1 skrll
28 1.1 skrll #include "as.h"
29 1.1 skrll #include "safe-ctype.h"
30 1.1 skrll
31 1.1.1.2 christos #include <limits.h>
32 1.1.1.2 christos #ifndef CHAR_BIT
33 1.1.1.2 christos #define CHAR_BIT 8
34 1.1.1.2 christos #endif
35 1.1.1.2 christos
36 1.1.1.9 christos bool literal_prefix_dollar_hex = false;
37 1.1.1.8 christos
38 1.1 skrll static void clean_up_expression (expressionS * expressionP);
39 1.1 skrll
40 1.1 skrll /* We keep a mapping of expression symbols to file positions, so that
41 1.1 skrll we can provide better error messages. */
42 1.1 skrll
43 1.1 skrll struct expr_symbol_line {
44 1.1 skrll struct expr_symbol_line *next;
45 1.1 skrll symbolS *sym;
46 1.1.1.5 christos const char *file;
47 1.1 skrll unsigned int line;
48 1.1 skrll };
49 1.1 skrll
50 1.1 skrll static struct expr_symbol_line *expr_symbol_lines;
51 1.1.1.10 christos
52 1.1.1.10 christos static const expressionS zero = { .X_op = O_constant };
53 1.1 skrll
54 1.1 skrll /* Build a dummy symbol to hold a complex expression. This is how we
56 1.1 skrll build expressions up out of other expressions. The symbol is put
57 1.1 skrll into the fake section expr_section. */
58 1.1 skrll
59 1.1.1.10 christos symbolS *
60 1.1 skrll make_expr_symbol (const expressionS *expressionP)
61 1.1 skrll {
62 1.1 skrll symbolS *symbolP;
63 1.1 skrll struct expr_symbol_line *n;
64 1.1 skrll
65 1.1 skrll if (expressionP->X_op == O_symbol
66 1.1 skrll && expressionP->X_add_number == 0)
67 1.1 skrll return expressionP->X_add_symbol;
68 1.1 skrll
69 1.1 skrll if (expressionP->X_op == O_big)
70 1.1 skrll {
71 1.1 skrll /* This won't work, because the actual value is stored in
72 1.1 skrll generic_floating_point_number or generic_bignum, and we are
73 1.1 skrll going to lose it if we haven't already. */
74 1.1 skrll if (expressionP->X_add_number > 0)
75 1.1 skrll as_bad (_("bignum invalid"));
76 1.1 skrll else
77 1.1 skrll as_bad (_("floating point number invalid"));
78 1.1 skrll expressionP = &zero;
79 1.1 skrll }
80 1.1 skrll
81 1.1 skrll /* Putting constant symbols in absolute_section rather than
82 1.1 skrll expr_section is convenient for the old a.out code, for which
83 1.1 skrll S_GET_SEGMENT does not always retrieve the value put in by
84 1.1 skrll S_SET_SEGMENT. */
85 1.1 skrll symbolP = symbol_create (FAKE_LABEL_NAME,
86 1.1 skrll (expressionP->X_op == O_constant
87 1.1 skrll ? absolute_section
88 1.1 skrll : expressionP->X_op == O_register
89 1.1 skrll ? reg_section
90 1.1.1.9 christos : expr_section),
91 1.1 skrll &zero_address_frag, 0);
92 1.1 skrll symbol_set_value_expression (symbolP, expressionP);
93 1.1 skrll
94 1.1 skrll if (expressionP->X_op == O_constant)
95 1.1 skrll resolve_symbol_value (symbolP);
96 1.1.1.10 christos
97 1.1 skrll n = notes_alloc (sizeof (*n));
98 1.1.1.5 christos n->sym = symbolP;
99 1.1 skrll n->file = as_where (&n->line);
100 1.1 skrll n->next = expr_symbol_lines;
101 1.1 skrll expr_symbol_lines = n;
102 1.1 skrll
103 1.1 skrll return symbolP;
104 1.1 skrll }
105 1.1 skrll
106 1.1 skrll /* Return the file and line number for an expr symbol. Return
107 1.1 skrll non-zero if something was found, 0 if no information is known for
108 1.1 skrll the symbol. */
109 1.1 skrll
110 1.1.1.5 christos int
111 1.1 skrll expr_symbol_where (symbolS *sym, const char **pfile, unsigned int *pline)
112 1.1.1.4 christos {
113 1.1 skrll struct expr_symbol_line *l;
114 1.1 skrll
115 1.1 skrll for (l = expr_symbol_lines; l != NULL; l = l->next)
116 1.1 skrll {
117 1.1 skrll if (l->sym == sym)
118 1.1 skrll {
119 1.1 skrll *pfile = l->file;
120 1.1 skrll *pline = l->line;
121 1.1 skrll return 1;
122 1.1 skrll }
123 1.1 skrll }
124 1.1 skrll
125 1.1 skrll return 0;
126 1.1.1.9 christos }
127 1.1.1.9 christos
128 1.1.1.9 christos /* Look up a previously used .startof. / .sizeof. symbol, or make a fresh
129 1.1.1.10 christos one. */
130 1.1.1.10 christos static symbolS **seen[2];
131 1.1.1.9 christos static unsigned int nr_seen[2];
132 1.1.1.9 christos
133 1.1.1.9 christos static symbolS *
134 1.1.1.9 christos symbol_lookup_or_make (const char *name, bool start)
135 1.1.1.9 christos {
136 1.1.1.9 christos char *buf = concat (start ? ".startof." : ".sizeof.", name, NULL);
137 1.1.1.9 christos symbolS *symbolP;
138 1.1.1.9 christos unsigned int i;
139 1.1.1.9 christos
140 1.1.1.9 christos for (i = 0; i < nr_seen[start]; ++i)
141 1.1.1.9 christos {
142 1.1.1.9 christos symbolP = seen[start][i];
143 1.1.1.9 christos
144 1.1.1.9 christos if (! symbolP)
145 1.1.1.9 christos break;
146 1.1.1.9 christos
147 1.1.1.9 christos name = S_GET_NAME (symbolP);
148 1.1.1.10 christos if ((symbols_case_sensitive
149 1.1.1.10 christos ? strcmp (buf, name)
150 1.1.1.9 christos : strcasecmp (buf, name)) == 0)
151 1.1.1.9 christos {
152 1.1.1.9 christos free (buf);
153 1.1.1.9 christos return symbolP;
154 1.1.1.9 christos }
155 1.1.1.9 christos }
156 1.1.1.9 christos
157 1.1.1.9 christos symbolP = symbol_make (buf);
158 1.1.1.9 christos free (buf);
159 1.1.1.9 christos
160 1.1.1.9 christos if (i >= nr_seen[start])
161 1.1.1.9 christos {
162 1.1.1.9 christos unsigned int nr = (i + 1) * 2;
163 1.1.1.9 christos
164 1.1.1.9 christos seen[start] = XRESIZEVEC (symbolS *, seen[start], nr);
165 1.1.1.9 christos nr_seen[start] = nr;
166 1.1.1.9 christos memset (&seen[start][i + 1], 0, (nr - i - 1) * sizeof(seen[0][0]));
167 1.1.1.9 christos }
168 1.1.1.9 christos
169 1.1.1.9 christos seen[start][i] = symbolP;
170 1.1.1.9 christos
171 1.1.1.9 christos return symbolP;
172 1.1 skrll }
173 1.1 skrll
174 1.1 skrll /* Utilities for building expressions.
176 1.1 skrll Since complex expressions are recorded as symbols for use in other
177 1.1 skrll expressions these return a symbolS * and not an expressionS *.
178 1.1 skrll These explicitly do not take an "add_number" argument. */
179 1.1 skrll /* ??? For completeness' sake one might want expr_build_symbol.
180 1.1 skrll It would just return its argument. */
181 1.1 skrll
182 1.1 skrll /* Build an expression for an unsigned constant.
183 1.1 skrll The corresponding one for signed constants is missing because
184 1.1 skrll there's currently no need for it. One could add an unsigned_p flag
185 1.1 skrll but that seems more clumsy. */
186 1.1 skrll
187 1.1 skrll symbolS *
188 1.1 skrll expr_build_uconstant (offsetT value)
189 1.1 skrll {
190 1.1 skrll expressionS e;
191 1.1 skrll
192 1.1 skrll e.X_op = O_constant;
193 1.1.1.4 christos e.X_add_number = value;
194 1.1 skrll e.X_unsigned = 1;
195 1.1 skrll e.X_extrabit = 0;
196 1.1 skrll return make_expr_symbol (&e);
197 1.1 skrll }
198 1.1 skrll
199 1.1 skrll /* Build an expression for the current location ('.'). */
200 1.1 skrll
201 1.1 skrll symbolS *
202 1.1 skrll expr_build_dot (void)
203 1.1 skrll {
204 1.1 skrll expressionS e;
205 1.1.1.2 christos
206 1.1 skrll current_location (&e);
207 1.1 skrll return symbol_clone_if_forward_ref (make_expr_symbol (&e));
208 1.1 skrll }
209 1.1 skrll
210 1.1 skrll /* Build any floating-point literal here.
212 1.1 skrll Also build any bignum literal here. */
213 1.1 skrll
214 1.1 skrll /* Seems atof_machine can backscan through generic_bignum and hit whatever
215 1.1 skrll happens to be loaded before it in memory. And its way too complicated
216 1.1 skrll for me to fix right. Thus a hack. JF: Just make generic_bignum bigger,
217 1.1 skrll and never write into the early words, thus they'll always be zero.
218 1.1 skrll I hate Dean's floating-point code. Bleh. */
219 1.1 skrll LITTLENUM_TYPE generic_bignum[SIZE_OF_LARGE_NUMBER + 6];
220 1.1 skrll
221 1.1 skrll FLONUM_TYPE generic_floating_point_number = {
222 1.1 skrll &generic_bignum[6], /* low. (JF: Was 0) */
223 1.1 skrll &generic_bignum[SIZE_OF_LARGE_NUMBER + 6 - 1], /* high. JF: (added +6) */
224 1.1 skrll 0, /* leader. */
225 1.1 skrll 0, /* exponent. */
226 1.1 skrll 0 /* sign. */
227 1.1 skrll };
228 1.1 skrll
229 1.1 skrll
230 1.1 skrll static void
232 1.1 skrll floating_constant (expressionS *expressionP)
233 1.1 skrll {
234 1.1 skrll /* input_line_pointer -> floating-point constant. */
235 1.1 skrll int error_code;
236 1.1 skrll
237 1.1 skrll error_code = atof_generic (&input_line_pointer, ".", EXP_CHARS,
238 1.1 skrll &generic_floating_point_number);
239 1.1 skrll
240 1.1 skrll if (error_code)
241 1.1 skrll {
242 1.1 skrll if (error_code == ERROR_EXPONENT_OVERFLOW)
243 1.1 skrll {
244 1.1 skrll as_bad (_("bad floating-point constant: exponent overflow"));
245 1.1 skrll }
246 1.1 skrll else
247 1.1 skrll {
248 1.1 skrll as_bad (_("bad floating-point constant: unknown error code=%d"),
249 1.1 skrll error_code);
250 1.1 skrll }
251 1.1 skrll }
252 1.1 skrll expressionP->X_op = O_big;
253 1.1 skrll /* input_line_pointer -> just after constant, which may point to
254 1.1.1.9 christos whitespace. */
255 1.1 skrll expressionP->X_add_number = -1;
256 1.1 skrll }
257 1.1.1.9 christos
258 1.1.1.9 christos uint32_t
259 1.1.1.9 christos generic_bignum_to_int32 (void)
260 1.1 skrll {
261 1.1 skrll return ((((uint32_t) generic_bignum[1] & LITTLENUM_MASK)
262 1.1.1.9 christos << LITTLENUM_NUMBER_OF_BITS)
263 1.1 skrll | ((uint32_t) generic_bignum[0] & LITTLENUM_MASK));
264 1.1 skrll }
265 1.1.1.9 christos
266 1.1.1.9 christos uint64_t
267 1.1.1.9 christos generic_bignum_to_int64 (void)
268 1.1.1.9 christos {
269 1.1.1.9 christos return ((((((((uint64_t) generic_bignum[3] & LITTLENUM_MASK)
270 1.1.1.9 christos << LITTLENUM_NUMBER_OF_BITS)
271 1.1.1.9 christos | ((uint64_t) generic_bignum[2] & LITTLENUM_MASK))
272 1.1 skrll << LITTLENUM_NUMBER_OF_BITS)
273 1.1 skrll | ((uint64_t) generic_bignum[1] & LITTLENUM_MASK))
274 1.1 skrll << LITTLENUM_NUMBER_OF_BITS)
275 1.1 skrll | ((uint64_t) generic_bignum[0] & LITTLENUM_MASK));
276 1.1 skrll }
277 1.1 skrll
278 1.1 skrll static void
279 1.1 skrll integer_constant (int radix, expressionS *expressionP)
280 1.1 skrll {
281 1.1 skrll char *start; /* Start of number. */
282 1.1 skrll char *suffix = NULL;
283 1.1 skrll char c;
284 1.1 skrll valueT number; /* Offset or (absolute) value. */
285 1.1 skrll short int digit; /* Value of next digit in current radix. */
286 1.1 skrll short int maxdig = 0; /* Highest permitted digit value. */
287 1.1 skrll int too_many_digits = 0; /* If we see >= this number of. */
288 1.1 skrll char *name; /* Points to name of symbol. */
289 1.1 skrll symbolS *symbolP; /* Points to symbol. */
290 1.1 skrll
291 1.1 skrll int small; /* True if fits in 32 bits. */
292 1.1 skrll
293 1.1 skrll /* May be bignum, or may fit in 32 bits. */
294 1.1 skrll /* Most numbers fit into 32 bits, and we want this case to be fast.
295 1.1 skrll so we pretend it will fit into 32 bits. If, after making up a 32
296 1.1 skrll bit number, we realise that we have scanned more digits than
297 1.1 skrll comfortably fit into 32 bits, we re-scan the digits coding them
298 1.1 skrll into a bignum. For decimal and octal numbers we are
299 1.1 skrll conservative: Some numbers may be assumed bignums when in fact
300 1.1 skrll they do fit into 32 bits. Numbers of any radix can have excess
301 1.1 skrll leading zeros: We strive to recognise this and cast them back
302 1.1 skrll into 32 bits. We must check that the bignum really is more than
303 1.1 skrll 32 bits, and change it back to a 32-bit number if it fits. The
304 1.1 skrll number we are looking for is expected to be positive, but if it
305 1.1 skrll fits into 32 bits as an unsigned number, we let it be a 32-bit
306 1.1 skrll number. The cavalier approach is for speed in ordinary cases. */
307 1.1 skrll /* This has been extended for 64 bits. We blindly assume that if
308 1.1 skrll you're compiling in 64-bit mode, the target is a 64-bit machine.
309 1.1 skrll This should be cleaned up. */
310 1.1 skrll
311 1.1 skrll #ifdef BFD64
312 1.1 skrll #define valuesize 64
313 1.1.1.4 christos #else /* includes non-bfd case, mostly */
314 1.1.1.4 christos #define valuesize 32
315 1.1.1.4 christos #endif
316 1.1.1.4 christos
317 1.1.1.4 christos if (is_end_of_line[(unsigned char) *input_line_pointer])
318 1.1.1.4 christos {
319 1.1 skrll expressionP->X_op = O_absent;
320 1.1 skrll return;
321 1.1 skrll }
322 1.1 skrll
323 1.1 skrll if ((NUMBERS_WITH_SUFFIX || flag_m68k_mri) && radix == 0)
324 1.1 skrll {
325 1.1 skrll int flt = 0;
326 1.1 skrll
327 1.1 skrll /* In MRI mode, the number may have a suffix indicating the
328 1.1 skrll radix. For that matter, it might actually be a floating
329 1.1 skrll point constant. */
330 1.1 skrll for (suffix = input_line_pointer; ISALNUM (*suffix); suffix++)
331 1.1 skrll {
332 1.1 skrll if (*suffix == 'e' || *suffix == 'E')
333 1.1 skrll flt = 1;
334 1.1 skrll }
335 1.1 skrll
336 1.1 skrll if (suffix == input_line_pointer)
337 1.1 skrll {
338 1.1 skrll radix = 10;
339 1.1 skrll suffix = NULL;
340 1.1 skrll }
341 1.1 skrll else
342 1.1 skrll {
343 1.1 skrll c = *--suffix;
344 1.1 skrll c = TOUPPER (c);
345 1.1 skrll /* If we have both NUMBERS_WITH_SUFFIX and LOCAL_LABELS_FB,
346 1.1 skrll we distinguish between 'B' and 'b'. This is the case for
347 1.1 skrll Z80. */
348 1.1 skrll if ((NUMBERS_WITH_SUFFIX && LOCAL_LABELS_FB ? *suffix : c) == 'B')
349 1.1 skrll radix = 2;
350 1.1 skrll else if (c == 'D')
351 1.1 skrll radix = 10;
352 1.1 skrll else if (c == 'O' || c == 'Q')
353 1.1 skrll radix = 8;
354 1.1 skrll else if (c == 'H')
355 1.1 skrll radix = 16;
356 1.1 skrll else if (suffix[1] == '.' || c == 'E' || flt)
357 1.1 skrll {
358 1.1 skrll floating_constant (expressionP);
359 1.1 skrll return;
360 1.1 skrll }
361 1.1 skrll else
362 1.1 skrll {
363 1.1 skrll radix = 10;
364 1.1 skrll suffix = NULL;
365 1.1 skrll }
366 1.1 skrll }
367 1.1 skrll }
368 1.1 skrll
369 1.1 skrll switch (radix)
370 1.1 skrll {
371 1.1 skrll case 2:
372 1.1 skrll maxdig = 2;
373 1.1 skrll too_many_digits = valuesize + 1;
374 1.1 skrll break;
375 1.1 skrll case 8:
376 1.1 skrll maxdig = radix = 8;
377 1.1 skrll too_many_digits = (valuesize + 2) / 3 + 1;
378 1.1 skrll break;
379 1.1 skrll case 16:
380 1.1 skrll maxdig = radix = 16;
381 1.1 skrll too_many_digits = (valuesize + 3) / 4 + 1;
382 1.1 skrll break;
383 1.1 skrll case 10:
384 1.1 skrll maxdig = radix = 10;
385 1.1 skrll too_many_digits = (valuesize + 11) / 4; /* Very rough. */
386 1.1 skrll }
387 1.1 skrll #undef valuesize
388 1.1 skrll start = input_line_pointer;
389 1.1 skrll c = *input_line_pointer++;
390 1.1 skrll for (number = 0;
391 1.1 skrll (digit = hex_value (c)) < maxdig;
392 1.1 skrll c = *input_line_pointer++)
393 1.1 skrll {
394 1.1 skrll number = number * radix + digit;
395 1.1 skrll }
396 1.1 skrll /* c contains character after number. */
397 1.1 skrll /* input_line_pointer->char after c. */
398 1.1 skrll small = (input_line_pointer - start - 1) < too_many_digits;
399 1.1 skrll
400 1.1 skrll if (radix == 16 && c == '_')
401 1.1 skrll {
402 1.1 skrll /* This is literal of the form 0x333_0_12345678_1.
403 1.1 skrll This example is equivalent to 0x00000333000000001234567800000001. */
404 1.1 skrll
405 1.1 skrll int num_little_digits = 0;
406 1.1 skrll int i;
407 1.1 skrll input_line_pointer = start; /* -> 1st digit. */
408 1.1 skrll
409 1.1 skrll know (LITTLENUM_NUMBER_OF_BITS == 16);
410 1.1 skrll
411 1.1 skrll for (c = '_'; c == '_'; num_little_digits += 2)
412 1.1 skrll {
413 1.1 skrll
414 1.1 skrll /* Convert one 64-bit word. */
415 1.1 skrll int ndigit = 0;
416 1.1 skrll number = 0;
417 1.1 skrll for (c = *input_line_pointer++;
418 1.1 skrll (digit = hex_value (c)) < maxdig;
419 1.1 skrll c = *(input_line_pointer++))
420 1.1 skrll {
421 1.1 skrll number = number * radix + digit;
422 1.1 skrll ndigit++;
423 1.1 skrll }
424 1.1 skrll
425 1.1 skrll /* Check for 8 digit per word max. */
426 1.1 skrll if (ndigit > 8)
427 1.1 skrll as_bad (_("a bignum with underscores may not have more than 8 hex digits in any word"));
428 1.1 skrll
429 1.1 skrll /* Add this chunk to the bignum.
430 1.1 skrll Shift things down 2 little digits. */
431 1.1 skrll know (LITTLENUM_NUMBER_OF_BITS == 16);
432 1.1 skrll for (i = min (num_little_digits + 1, SIZE_OF_LARGE_NUMBER - 1);
433 1.1 skrll i >= 2;
434 1.1 skrll i--)
435 1.1 skrll generic_bignum[i] = generic_bignum[i - 2];
436 1.1 skrll
437 1.1 skrll /* Add the new digits as the least significant new ones. */
438 1.1 skrll generic_bignum[0] = number & 0xffffffff;
439 1.1 skrll generic_bignum[1] = number >> 16;
440 1.1 skrll }
441 1.1 skrll
442 1.1 skrll /* Again, c is char after number, input_line_pointer->after c. */
443 1.1.1.2 christos
444 1.1 skrll if (num_little_digits > SIZE_OF_LARGE_NUMBER - 1)
445 1.1 skrll num_little_digits = SIZE_OF_LARGE_NUMBER - 1;
446 1.1 skrll
447 1.1 skrll gas_assert (num_little_digits >= 4);
448 1.1 skrll
449 1.1 skrll if (num_little_digits != 8)
450 1.1 skrll as_bad (_("a bignum with underscores must have exactly 4 words"));
451 1.1 skrll
452 1.1 skrll /* We might have some leading zeros. These can be trimmed to give
453 1.1 skrll us a change to fit this constant into a small number. */
454 1.1 skrll while (generic_bignum[num_little_digits - 1] == 0
455 1.1 skrll && num_little_digits > 1)
456 1.1 skrll num_little_digits--;
457 1.1 skrll
458 1.1 skrll if (num_little_digits <= 2)
459 1.1 skrll {
460 1.1 skrll /* will fit into 32 bits. */
461 1.1 skrll number = generic_bignum_to_int32 ();
462 1.1 skrll small = 1;
463 1.1 skrll }
464 1.1 skrll #ifdef BFD64
465 1.1 skrll else if (num_little_digits <= 4)
466 1.1 skrll {
467 1.1 skrll /* Will fit into 64 bits. */
468 1.1 skrll number = generic_bignum_to_int64 ();
469 1.1 skrll small = 1;
470 1.1 skrll }
471 1.1 skrll #endif
472 1.1 skrll else
473 1.1 skrll {
474 1.1 skrll small = 0;
475 1.1 skrll
476 1.1 skrll /* Number of littlenums in the bignum. */
477 1.1 skrll number = num_little_digits;
478 1.1 skrll }
479 1.1 skrll }
480 1.1 skrll else if (!small)
481 1.1 skrll {
482 1.1 skrll /* We saw a lot of digits. manufacture a bignum the hard way. */
483 1.1 skrll LITTLENUM_TYPE *leader; /* -> high order littlenum of the bignum. */
484 1.1 skrll LITTLENUM_TYPE *pointer; /* -> littlenum we are frobbing now. */
485 1.1 skrll long carry;
486 1.1 skrll
487 1.1 skrll leader = generic_bignum;
488 1.1 skrll generic_bignum[0] = 0;
489 1.1 skrll generic_bignum[1] = 0;
490 1.1 skrll generic_bignum[2] = 0;
491 1.1 skrll generic_bignum[3] = 0;
492 1.1 skrll input_line_pointer = start; /* -> 1st digit. */
493 1.1 skrll c = *input_line_pointer++;
494 1.1 skrll for (; (carry = hex_value (c)) < maxdig; c = *input_line_pointer++)
495 1.1 skrll {
496 1.1 skrll for (pointer = generic_bignum; pointer <= leader; pointer++)
497 1.1 skrll {
498 1.1 skrll long work;
499 1.1 skrll
500 1.1 skrll work = carry + radix * *pointer;
501 1.1 skrll *pointer = work & LITTLENUM_MASK;
502 1.1 skrll carry = work >> LITTLENUM_NUMBER_OF_BITS;
503 1.1 skrll }
504 1.1 skrll if (carry)
505 1.1 skrll {
506 1.1 skrll if (leader < generic_bignum + SIZE_OF_LARGE_NUMBER - 1)
507 1.1 skrll {
508 1.1 skrll /* Room to grow a longer bignum. */
509 1.1 skrll *++leader = carry;
510 1.1 skrll }
511 1.1 skrll }
512 1.1 skrll }
513 1.1 skrll /* Again, c is char after number. */
514 1.1 skrll /* input_line_pointer -> after c. */
515 1.1 skrll know (LITTLENUM_NUMBER_OF_BITS == 16);
516 1.1 skrll if (leader < generic_bignum + 2)
517 1.1 skrll {
518 1.1 skrll /* Will fit into 32 bits. */
519 1.1 skrll number = generic_bignum_to_int32 ();
520 1.1 skrll small = 1;
521 1.1 skrll }
522 1.1 skrll #ifdef BFD64
523 1.1 skrll else if (leader < generic_bignum + 4)
524 1.1 skrll {
525 1.1 skrll /* Will fit into 64 bits. */
526 1.1 skrll number = generic_bignum_to_int64 ();
527 1.1 skrll small = 1;
528 1.1 skrll }
529 1.1 skrll #endif
530 1.1 skrll else
531 1.1 skrll {
532 1.1 skrll /* Number of littlenums in the bignum. */
533 1.1 skrll number = leader - generic_bignum + 1;
534 1.1 skrll }
535 1.1 skrll }
536 1.1 skrll
537 1.1 skrll if ((NUMBERS_WITH_SUFFIX || flag_m68k_mri)
538 1.1.1.5 christos && suffix != NULL
539 1.1.1.5 christos && input_line_pointer - 1 == suffix)
540 1.1.1.5 christos c = *input_line_pointer++;
541 1.1.1.10 christos
542 1.1.1.5 christos #ifndef tc_allow_U_suffix
543 1.1.1.10 christos #define tc_allow_U_suffix 1
544 1.1.1.10 christos #endif
545 1.1.1.10 christos bool u_seen = !tc_allow_U_suffix;
546 1.1.1.10 christos /* PR 19910: Look for, and ignore, a U suffix to the number. */
547 1.1.1.10 christos if (!u_seen && (c == 'U' || c == 'u'))
548 1.1.1.5 christos {
549 1.1.1.6 christos c = *input_line_pointer++;
550 1.1.1.6 christos u_seen = true;
551 1.1.1.6 christos }
552 1.1.1.6 christos
553 1.1.1.10 christos #ifndef tc_allow_L_suffix
554 1.1.1.10 christos #define tc_allow_L_suffix 1
555 1.1.1.6 christos #endif
556 1.1.1.10 christos /* PR 20732: Look for, and ignore, a L or LL suffix to the number. */
557 1.1.1.10 christos if (tc_allow_L_suffix && (c == 'L' || c == 'l'))
558 1.1.1.10 christos {
559 1.1.1.10 christos c = * input_line_pointer++;
560 1.1.1.10 christos if (c == 'L' || c == 'l')
561 1.1.1.6 christos c = *input_line_pointer++;
562 1.1 skrll if (!u_seen && (c == 'U' || c == 'u'))
563 1.1 skrll c = *input_line_pointer++;
564 1.1 skrll }
565 1.1 skrll
566 1.1 skrll if (small)
567 1.1 skrll {
568 1.1 skrll /* Here with number, in correct radix. c is the next char.
569 1.1 skrll Note that unlike un*x, we allow "011f" "0x9f" to both mean
570 1.1 skrll the same as the (conventional) "9f".
571 1.1 skrll This is simply easier than checking for strict canonical
572 1.1 skrll form. Syntax sux! */
573 1.1 skrll
574 1.1 skrll if (LOCAL_LABELS_FB && c == 'b')
575 1.1.1.9 christos {
576 1.1 skrll /* Backward ref to local label.
577 1.1 skrll Because it is backward, expect it to be defined. */
578 1.1 skrll /* Construct a local label. */
579 1.1 skrll name = fb_label_name (number, 0);
580 1.1 skrll
581 1.1 skrll /* Seen before, or symbol is defined: OK. */
582 1.1 skrll symbolP = symbol_find (name);
583 1.1 skrll if ((symbolP != NULL) && (S_IS_DEFINED (symbolP)))
584 1.1 skrll {
585 1.1 skrll expressionP->X_op = O_symbol;
586 1.1 skrll expressionP->X_add_symbol = symbolP;
587 1.1 skrll }
588 1.1 skrll else
589 1.1 skrll {
590 1.1 skrll /* Either not seen or not defined. */
591 1.1 skrll /* @@ Should print out the original string instead of
592 1.1 skrll the parsed number. */
593 1.1 skrll as_bad (_("backward ref to unknown label \"%d:\""),
594 1.1 skrll (int) number);
595 1.1 skrll expressionP->X_op = O_constant;
596 1.1 skrll }
597 1.1 skrll
598 1.1 skrll expressionP->X_add_number = 0;
599 1.1 skrll } /* case 'b' */
600 1.1 skrll else if (LOCAL_LABELS_FB && c == 'f')
601 1.1 skrll {
602 1.1 skrll /* Forward reference. Expect symbol to be undefined or
603 1.1 skrll unknown. undefined: seen it before. unknown: never seen
604 1.1 skrll it before.
605 1.1.1.9 christos
606 1.1 skrll Construct a local label name, then an undefined symbol.
607 1.1 skrll Don't create a xseg frag for it: caller may do that.
608 1.1 skrll Just return it as never seen before. */
609 1.1 skrll name = fb_label_name (number, 1);
610 1.1 skrll symbolP = symbol_find_or_make (name);
611 1.1 skrll /* We have no need to check symbol properties. */
612 1.1 skrll expressionP->X_op = O_symbol;
613 1.1 skrll expressionP->X_add_symbol = symbolP;
614 1.1 skrll expressionP->X_add_number = 0;
615 1.1 skrll } /* case 'f' */
616 1.1 skrll else if (LOCAL_LABELS_DOLLAR && c == '$')
617 1.1 skrll {
618 1.1 skrll /* If the dollar label is *currently* defined, then this is just
619 1.1.1.9 christos another reference to it. If it is not *currently* defined,
620 1.1 skrll then this is a fresh instantiation of that number, so create
621 1.1.1.9 christos it. */
622 1.1 skrll
623 1.1 skrll if (dollar_label_defined (number))
624 1.1 skrll {
625 1.1 skrll name = dollar_label_name (number, 0);
626 1.1 skrll symbolP = symbol_find (name);
627 1.1.1.9 christos know (symbolP != NULL);
628 1.1 skrll }
629 1.1 skrll else
630 1.1 skrll {
631 1.1 skrll name = dollar_label_name (number, 1);
632 1.1 skrll symbolP = symbol_find_or_make (name);
633 1.1 skrll }
634 1.1 skrll
635 1.1 skrll expressionP->X_op = O_symbol;
636 1.1 skrll expressionP->X_add_symbol = symbolP;
637 1.1 skrll expressionP->X_add_number = 0;
638 1.1 skrll } /* case '$' */
639 1.1 skrll else
640 1.1 skrll {
641 1.1 skrll expressionP->X_op = O_constant;
642 1.1 skrll expressionP->X_add_number = number;
643 1.1 skrll input_line_pointer--; /* Restore following character. */
644 1.1 skrll } /* Really just a number. */
645 1.1 skrll }
646 1.1 skrll else
647 1.1 skrll {
648 1.1 skrll /* Not a small number. */
649 1.1 skrll expressionP->X_op = O_big;
650 1.1 skrll expressionP->X_add_number = number; /* Number of littlenums. */
651 1.1 skrll input_line_pointer--; /* -> char following number. */
652 1.1 skrll }
653 1.1 skrll }
654 1.1 skrll
655 1.1 skrll /* Parse an MRI multi character constant. */
656 1.1 skrll
657 1.1 skrll static void
658 1.1 skrll mri_char_constant (expressionS *expressionP)
659 1.1 skrll {
660 1.1 skrll int i;
661 1.1 skrll
662 1.1 skrll if (*input_line_pointer == '\''
663 1.1 skrll && input_line_pointer[1] != '\'')
664 1.1 skrll {
665 1.1 skrll expressionP->X_op = O_constant;
666 1.1 skrll expressionP->X_add_number = 0;
667 1.1 skrll return;
668 1.1 skrll }
669 1.1 skrll
670 1.1 skrll /* In order to get the correct byte ordering, we must build the
671 1.1 skrll number in reverse. */
672 1.1 skrll for (i = SIZE_OF_LARGE_NUMBER - 1; i >= 0; i--)
673 1.1 skrll {
674 1.1 skrll int j;
675 1.1 skrll
676 1.1 skrll generic_bignum[i] = 0;
677 1.1 skrll for (j = 0; j < CHARS_PER_LITTLENUM; j++)
678 1.1 skrll {
679 1.1 skrll if (*input_line_pointer == '\'')
680 1.1 skrll {
681 1.1 skrll if (input_line_pointer[1] != '\'')
682 1.1 skrll break;
683 1.1 skrll ++input_line_pointer;
684 1.1 skrll }
685 1.1 skrll generic_bignum[i] <<= 8;
686 1.1 skrll generic_bignum[i] += *input_line_pointer;
687 1.1 skrll ++input_line_pointer;
688 1.1 skrll }
689 1.1 skrll
690 1.1 skrll if (i < SIZE_OF_LARGE_NUMBER - 1)
691 1.1 skrll {
692 1.1 skrll /* If there is more than one littlenum, left justify the
693 1.1 skrll last one to make it match the earlier ones. If there is
694 1.1 skrll only one, we can just use the value directly. */
695 1.1 skrll for (; j < CHARS_PER_LITTLENUM; j++)
696 1.1 skrll generic_bignum[i] <<= 8;
697 1.1 skrll }
698 1.1 skrll
699 1.1 skrll if (*input_line_pointer == '\''
700 1.1 skrll && input_line_pointer[1] != '\'')
701 1.1 skrll break;
702 1.1 skrll }
703 1.1 skrll
704 1.1 skrll if (i < 0)
705 1.1 skrll {
706 1.1 skrll as_bad (_("character constant too large"));
707 1.1 skrll i = 0;
708 1.1 skrll }
709 1.1 skrll
710 1.1 skrll if (i > 0)
711 1.1 skrll {
712 1.1 skrll int c;
713 1.1 skrll int j;
714 1.1 skrll
715 1.1 skrll c = SIZE_OF_LARGE_NUMBER - i;
716 1.1 skrll for (j = 0; j < c; j++)
717 1.1 skrll generic_bignum[j] = generic_bignum[i + j];
718 1.1 skrll i = c;
719 1.1 skrll }
720 1.1 skrll
721 1.1 skrll know (LITTLENUM_NUMBER_OF_BITS == 16);
722 1.1 skrll if (i > 2)
723 1.1 skrll {
724 1.1 skrll expressionP->X_op = O_big;
725 1.1 skrll expressionP->X_add_number = i;
726 1.1 skrll }
727 1.1 skrll else
728 1.1 skrll {
729 1.1 skrll expressionP->X_op = O_constant;
730 1.1 skrll if (i < 2)
731 1.1 skrll expressionP->X_add_number = generic_bignum[0] & LITTLENUM_MASK;
732 1.1 skrll else
733 1.1 skrll expressionP->X_add_number =
734 1.1 skrll (((generic_bignum[1] & LITTLENUM_MASK)
735 1.1 skrll << LITTLENUM_NUMBER_OF_BITS)
736 1.1 skrll | (generic_bignum[0] & LITTLENUM_MASK));
737 1.1 skrll }
738 1.1 skrll
739 1.1 skrll /* Skip the final closing quote. */
740 1.1 skrll ++input_line_pointer;
741 1.1 skrll }
742 1.1.1.2 christos
743 1.1 skrll /* Return an expression representing the current location. This
744 1.1 skrll handles the magic symbol `.'. */
745 1.1 skrll
746 1.1 skrll void
747 1.1 skrll current_location (expressionS *expressionp)
748 1.1 skrll {
749 1.1 skrll if (now_seg == absolute_section)
750 1.1 skrll {
751 1.1 skrll expressionp->X_op = O_constant;
752 1.1 skrll expressionp->X_add_number = abs_section_offset;
753 1.1.1.2 christos }
754 1.1 skrll else
755 1.1 skrll {
756 1.1 skrll expressionp->X_op = O_symbol;
757 1.1 skrll expressionp->X_add_symbol = &dot_symbol;
758 1.1.1.10 christos expressionp->X_add_number = 0;
759 1.1.1.10 christos }
760 1.1.1.10 christos }
761 1.1.1.10 christos
762 1.1 skrll #ifndef md_register_arithmetic
763 1.1 skrll # define md_register_arithmetic 1
764 1.1 skrll #endif
765 1.1 skrll
766 1.1 skrll /* In: Input_line_pointer points to 1st char of operand, which may
767 1.1 skrll be a space.
768 1.1 skrll
769 1.1 skrll Out: An expressionS.
770 1.1 skrll The operand may have been empty: in this case X_op == O_absent.
771 1.1 skrll Input_line_pointer->(next non-blank) char after operand. */
772 1.1 skrll
773 1.1 skrll static segT
774 1.1 skrll operand (expressionS *expressionP, enum expr_mode mode)
775 1.1 skrll {
776 1.1.1.10 christos char c;
777 1.1 skrll symbolS *symbolP; /* Points to symbol. */
778 1.1 skrll char *name; /* Points to name of symbol. */
779 1.1 skrll segT segment;
780 1.1 skrll operatorT op = O_absent; /* For unary operators. */
781 1.1 skrll
782 1.1 skrll /* All integers are regarded as unsigned unless they are negated.
783 1.1 skrll This is because the only thing which cares whether a number is
784 1.1 skrll unsigned is the code in emit_expr which extends constants into
785 1.1.1.4 christos bignums. It should only sign extend negative numbers, so that
786 1.1 skrll something like ``.quad 0x80000000'' is not sign extended even
787 1.1 skrll though it appears negative if valueT is 32 bits. */
788 1.1 skrll expressionP->X_unsigned = 1;
789 1.1 skrll expressionP->X_extrabit = 0;
790 1.1 skrll
791 1.1 skrll /* Digits, assume it is a bignum. */
792 1.1 skrll
793 1.1 skrll SKIP_WHITESPACE (); /* Leading whitespace is part of operand. */
794 1.1 skrll c = *input_line_pointer++; /* input_line_pointer -> past char in c. */
795 1.1 skrll
796 1.1 skrll if (is_end_of_line[(unsigned char) c])
797 1.1 skrll goto eol;
798 1.1 skrll
799 1.1 skrll switch (c)
800 1.1 skrll {
801 1.1 skrll case '1':
802 1.1 skrll case '2':
803 1.1 skrll case '3':
804 1.1 skrll case '4':
805 1.1 skrll case '5':
806 1.1 skrll case '6':
807 1.1 skrll case '7':
808 1.1 skrll case '8':
809 1.1 skrll case '9':
810 1.1 skrll input_line_pointer--;
811 1.1 skrll
812 1.1 skrll integer_constant ((NUMBERS_WITH_SUFFIX || flag_m68k_mri)
813 1.1 skrll ? 0 : 10,
814 1.1 skrll expressionP);
815 1.1 skrll break;
816 1.1 skrll
817 1.1 skrll #ifdef LITERAL_PREFIXPERCENT_BIN
818 1.1 skrll case '%':
819 1.1 skrll integer_constant (2, expressionP);
820 1.1 skrll break;
821 1.1 skrll #endif
822 1.1 skrll
823 1.1 skrll case '0':
824 1.1 skrll /* Non-decimal radix. */
825 1.1 skrll
826 1.1 skrll if (NUMBERS_WITH_SUFFIX || flag_m68k_mri)
827 1.1 skrll {
828 1.1 skrll char *s;
829 1.1 skrll
830 1.1 skrll /* Check for a hex or float constant. */
831 1.1 skrll for (s = input_line_pointer; hex_p (*s); s++)
832 1.1 skrll ;
833 1.1 skrll if (*s == 'h' || *s == 'H' || *input_line_pointer == '.')
834 1.1 skrll {
835 1.1 skrll --input_line_pointer;
836 1.1 skrll integer_constant (0, expressionP);
837 1.1 skrll break;
838 1.1 skrll }
839 1.1 skrll }
840 1.1 skrll c = *input_line_pointer;
841 1.1 skrll switch (c)
842 1.1 skrll {
843 1.1 skrll case 'o':
844 1.1 skrll case 'O':
845 1.1 skrll case 'q':
846 1.1 skrll case 'Q':
847 1.1 skrll case '8':
848 1.1 skrll case '9':
849 1.1 skrll if (NUMBERS_WITH_SUFFIX || flag_m68k_mri)
850 1.1 skrll {
851 1.1 skrll integer_constant (0, expressionP);
852 1.1 skrll break;
853 1.1 skrll }
854 1.1 skrll /* Fall through. */
855 1.1 skrll default:
856 1.1 skrll default_case:
857 1.1 skrll if (c && strchr (FLT_CHARS, c))
858 1.1 skrll {
859 1.1 skrll input_line_pointer++;
860 1.1 skrll floating_constant (expressionP);
861 1.1 skrll expressionP->X_add_number = - TOLOWER (c);
862 1.1 skrll }
863 1.1 skrll else
864 1.1 skrll {
865 1.1 skrll /* The string was only zero. */
866 1.1 skrll expressionP->X_op = O_constant;
867 1.1 skrll expressionP->X_add_number = 0;
868 1.1 skrll }
869 1.1 skrll
870 1.1 skrll break;
871 1.1 skrll
872 1.1 skrll case 'x':
873 1.1 skrll case 'X':
874 1.1 skrll if (flag_m68k_mri)
875 1.1 skrll goto default_case;
876 1.1 skrll input_line_pointer++;
877 1.1.1.4 christos integer_constant (16, expressionP);
878 1.1.1.4 christos break;
879 1.1.1.4 christos
880 1.1 skrll case 'b':
881 1.1.1.4 christos if (LOCAL_LABELS_FB && !flag_m68k_mri
882 1.1.1.4 christos && input_line_pointer[1] != '0'
883 1.1.1.4 christos && input_line_pointer[1] != '1')
884 1.1.1.4 christos {
885 1.1 skrll /* Parse this as a back reference to label 0. */
886 1.1.1.4 christos input_line_pointer--;
887 1.1 skrll integer_constant (10, expressionP);
888 1.1 skrll break;
889 1.1.1.4 christos }
890 1.1.1.4 christos /* Otherwise, parse this as a binary number. */
891 1.1.1.4 christos /* Fall through. */
892 1.1.1.4 christos case 'B':
893 1.1.1.4 christos if (input_line_pointer[1] == '0'
894 1.1.1.4 christos || input_line_pointer[1] == '1')
895 1.1.1.4 christos {
896 1.1 skrll input_line_pointer++;
897 1.1.1.4 christos integer_constant (2, expressionP);
898 1.1.1.4 christos break;
899 1.1 skrll }
900 1.1.1.10 christos if (flag_m68k_mri || NUMBERS_WITH_SUFFIX)
901 1.1.1.10 christos input_line_pointer++;
902 1.1.1.10 christos goto default_case;
903 1.1.1.10 christos
904 1.1.1.10 christos case 'l':
905 1.1.1.10 christos case 'L':
906 1.1.1.10 christos /* Accept an L suffix to the zero. */
907 1.1.1.10 christos if (tc_allow_L_suffix)
908 1.1.1.10 christos goto numeric;
909 1.1.1.10 christos goto default_case;
910 1.1.1.10 christos
911 1.1.1.10 christos case 'u':
912 1.1.1.10 christos case 'U':
913 1.1 skrll /* Accept a U suffix to the zero. */
914 1.1 skrll if (!tc_allow_U_suffix)
915 1.1 skrll goto default_case;
916 1.1 skrll /* Fall through. */
917 1.1 skrll case '0':
918 1.1 skrll case '1':
919 1.1 skrll case '2':
920 1.1 skrll case '3':
921 1.1.1.10 christos case '4':
922 1.1 skrll case '5':
923 1.1 skrll case '6':
924 1.1 skrll case '7':
925 1.1 skrll numeric:
926 1.1 skrll integer_constant ((flag_m68k_mri || NUMBERS_WITH_SUFFIX)
927 1.1 skrll ? 0 : 8,
928 1.1 skrll expressionP);
929 1.1 skrll break;
930 1.1.1.4 christos
931 1.1.1.4 christos case 'f':
932 1.1 skrll if (LOCAL_LABELS_FB)
933 1.1 skrll {
934 1.1 skrll int is_label = 1;
935 1.1.1.4 christos
936 1.1.1.4 christos /* If it says "0f" and it could possibly be a floating point
937 1.1.1.4 christos number, make it one. Otherwise, make it a local label,
938 1.1.1.4 christos and try to deal with parsing the rest later. */
939 1.1 skrll if (!is_end_of_line[(unsigned char) input_line_pointer[1]]
940 1.1.1.4 christos && strchr (FLT_CHARS, 'f') != NULL)
941 1.1.1.4 christos {
942 1.1 skrll char *cp = input_line_pointer + 1;
943 1.1.1.4 christos
944 1.1.1.4 christos atof_generic (&cp, ".", EXP_CHARS,
945 1.1.1.4 christos &generic_floating_point_number);
946 1.1.1.4 christos
947 1.1.1.4 christos /* Was nothing parsed, or does it look like an
948 1.1.1.4 christos expression? */
949 1.1.1.4 christos is_label = (cp == input_line_pointer + 1
950 1.1.1.4 christos || (cp == input_line_pointer + 2
951 1.1.1.4 christos && (cp[-1] == '-' || cp[-1] == '+'))
952 1.1.1.4 christos || *cp == 'f'
953 1.1.1.4 christos || *cp == 'b');
954 1.1.1.4 christos }
955 1.1.1.4 christos if (is_label)
956 1.1.1.4 christos {
957 1.1 skrll input_line_pointer--;
958 1.1.1.4 christos integer_constant (10, expressionP);
959 1.1 skrll break;
960 1.1 skrll }
961 1.1 skrll }
962 1.1 skrll /* Fall through. */
963 1.1 skrll
964 1.1 skrll case 'd':
965 1.1 skrll case 'D':
966 1.1 skrll if (flag_m68k_mri || NUMBERS_WITH_SUFFIX)
967 1.1 skrll {
968 1.1 skrll integer_constant (0, expressionP);
969 1.1 skrll break;
970 1.1 skrll }
971 1.1 skrll /* Fall through. */
972 1.1 skrll case 'F':
973 1.1 skrll case 'r':
974 1.1 skrll case 'e':
975 1.1 skrll case 'E':
976 1.1 skrll case 'g':
977 1.1 skrll case 'G':
978 1.1 skrll input_line_pointer++;
979 1.1 skrll floating_constant (expressionP);
980 1.1 skrll expressionP->X_add_number = - TOLOWER (c);
981 1.1 skrll break;
982 1.1 skrll
983 1.1 skrll case '$':
984 1.1 skrll if (LOCAL_LABELS_DOLLAR)
985 1.1 skrll {
986 1.1 skrll integer_constant (10, expressionP);
987 1.1 skrll break;
988 1.1 skrll }
989 1.1 skrll else
990 1.1 skrll goto default_case;
991 1.1 skrll }
992 1.1 skrll
993 1.1.1.2 christos break;
994 1.1.1.2 christos
995 1.1.1.2 christos #ifndef NEED_INDEX_OPERATOR
996 1.1.1.2 christos case '[':
997 1.1 skrll # ifdef md_need_index_operator
998 1.1.1.6 christos if (md_need_index_operator())
999 1.1.1.2 christos goto de_fault;
1000 1.1 skrll # endif
1001 1.1.1.2 christos #endif
1002 1.1 skrll /* Fall through. */
1003 1.1 skrll case '(':
1004 1.1 skrll /* Didn't begin with digit & not a name. */
1005 1.1.1.5 christos segment = expr (0, expressionP, mode);
1006 1.1.1.5 christos /* expression () will pass trailing whitespace. */
1007 1.1.1.5 christos if ((c == '(' && *input_line_pointer != ')')
1008 1.1.1.5 christos || (c == '[' && *input_line_pointer != ']'))
1009 1.1.1.5 christos {
1010 1.1.1.5 christos if (* input_line_pointer)
1011 1.1.1.5 christos as_bad (_("found '%c', expected: '%c'"),
1012 1.1 skrll * input_line_pointer, c == '(' ? ')' : ']');
1013 1.1 skrll else
1014 1.1.1.10 christos as_bad (_("missing '%c'"), c == '(' ? ')' : ']');
1015 1.1 skrll }
1016 1.1 skrll else
1017 1.1 skrll input_line_pointer++;
1018 1.1 skrll SKIP_ALL_WHITESPACE ();
1019 1.1 skrll /* Here with input_line_pointer -> char after "(...)". */
1020 1.1 skrll return segment;
1021 1.1 skrll
1022 1.1 skrll #ifdef TC_M68K
1023 1.1 skrll case 'E':
1024 1.1 skrll if (! flag_m68k_mri || *input_line_pointer != '\'')
1025 1.1 skrll goto de_fault;
1026 1.1 skrll as_bad (_("EBCDIC constants are not supported"));
1027 1.1 skrll /* Fall through. */
1028 1.1 skrll case 'A':
1029 1.1.1.6 christos if (! flag_m68k_mri || *input_line_pointer != '\'')
1030 1.1 skrll goto de_fault;
1031 1.1 skrll ++input_line_pointer;
1032 1.1 skrll #endif
1033 1.1 skrll /* Fall through. */
1034 1.1 skrll case '\'':
1035 1.1 skrll if (! flag_m68k_mri)
1036 1.1 skrll {
1037 1.1 skrll /* Warning: to conform to other people's assemblers NO
1038 1.1 skrll ESCAPEMENT is permitted for a single quote. The next
1039 1.1 skrll character, parity errors and all, is taken as the value
1040 1.1 skrll of the operand. VERY KINKY. */
1041 1.1 skrll expressionP->X_op = O_constant;
1042 1.1 skrll expressionP->X_add_number = *input_line_pointer++;
1043 1.1 skrll break;
1044 1.1 skrll }
1045 1.1 skrll
1046 1.1 skrll mri_char_constant (expressionP);
1047 1.1 skrll break;
1048 1.1 skrll
1049 1.1 skrll #ifdef TC_M68K
1050 1.1 skrll case '"':
1051 1.1.1.6 christos /* Double quote is the bitwise not operator in MRI mode. */
1052 1.1 skrll if (! flag_m68k_mri)
1053 1.1 skrll goto de_fault;
1054 1.1 skrll #endif
1055 1.1 skrll /* Fall through. */
1056 1.1.1.10 christos case '~':
1057 1.1.1.10 christos /* '~' is permitted to start a label on the Delta. */
1058 1.1.1.10 christos if (is_name_beginner (c))
1059 1.1 skrll goto isname;
1060 1.1.1.10 christos op = O_bit_not;
1061 1.1.1.10 christos goto unary;
1062 1.1.1.10 christos
1063 1.1 skrll case '!':
1064 1.1.1.10 christos op = O_logical_not;
1065 1.1.1.10 christos goto unary;
1066 1.1 skrll
1067 1.1 skrll case '-':
1068 1.1.1.2 christos op = O_uminus;
1069 1.1 skrll /* Fall through. */
1070 1.1.1.10 christos case '+':
1071 1.1.1.10 christos {
1072 1.1.1.10 christos unary:
1073 1.1.1.10 christos operand (expressionP, mode);
1074 1.1.1.10 christos
1075 1.1.1.10 christos #ifdef md_optimize_expr
1076 1.1.1.10 christos if (md_optimize_expr (NULL, op, expressionP))
1077 1.1.1.10 christos {
1078 1.1.1.10 christos /* Skip. */
1079 1.1 skrll ;
1080 1.1 skrll }
1081 1.1 skrll else
1082 1.1.1.10 christos #endif
1083 1.1 skrll if (expressionP->X_op == O_constant)
1084 1.1.1.4 christos {
1085 1.1.1.4 christos /* input_line_pointer -> char after operand. */
1086 1.1 skrll if (op == O_uminus)
1087 1.1 skrll {
1088 1.1 skrll expressionP->X_add_number
1089 1.1 skrll = - (addressT) expressionP->X_add_number;
1090 1.1.1.4 christos /* Notice: '-' may overflow: no warning is given.
1091 1.1.1.4 christos This is compatible with other people's
1092 1.1 skrll assemblers. Sigh. */
1093 1.1.1.10 christos expressionP->X_unsigned = 0;
1094 1.1.1.9 christos if (expressionP->X_add_number)
1095 1.1.1.9 christos expressionP->X_extrabit ^= 1;
1096 1.1.1.9 christos }
1097 1.1.1.10 christos else if (op == O_bit_not)
1098 1.1.1.9 christos {
1099 1.1.1.10 christos expressionP->X_add_number = ~ expressionP->X_add_number;
1100 1.1.1.9 christos expressionP->X_extrabit ^= 1;
1101 1.1.1.9 christos expressionP->X_unsigned = 0;
1102 1.1.1.9 christos }
1103 1.1.1.9 christos else if (op == O_logical_not)
1104 1.1.1.9 christos {
1105 1.1 skrll expressionP->X_add_number = ! expressionP->X_add_number;
1106 1.1 skrll expressionP->X_unsigned = 1;
1107 1.1 skrll expressionP->X_extrabit = 0;
1108 1.1.1.10 christos }
1109 1.1 skrll }
1110 1.1 skrll else if (expressionP->X_op == O_big
1111 1.1 skrll && expressionP->X_add_number <= 0
1112 1.1 skrll && op == O_uminus
1113 1.1 skrll && (generic_floating_point_number.sign == '+'
1114 1.1 skrll || generic_floating_point_number.sign == 'P'))
1115 1.1 skrll {
1116 1.1 skrll /* Negative flonum (eg, -1.000e0). */
1117 1.1 skrll if (generic_floating_point_number.sign == '+')
1118 1.1 skrll generic_floating_point_number.sign = '-';
1119 1.1 skrll else
1120 1.1 skrll generic_floating_point_number.sign = 'N';
1121 1.1 skrll }
1122 1.1 skrll else if (expressionP->X_op == O_big
1123 1.1.1.10 christos && expressionP->X_add_number > 0)
1124 1.1 skrll {
1125 1.1 skrll int i;
1126 1.1 skrll
1127 1.1.1.2 christos if (op == O_uminus || op == O_bit_not)
1128 1.1.1.2 christos {
1129 1.1.1.2 christos for (i = 0; i < expressionP->X_add_number; ++i)
1130 1.1.1.2 christos generic_bignum[i] = ~generic_bignum[i];
1131 1.1.1.2 christos
1132 1.1.1.2 christos /* Extend the bignum to at least the size of .octa. */
1133 1.1.1.2 christos if (expressionP->X_add_number < SIZE_OF_LARGE_NUMBER)
1134 1.1.1.2 christos {
1135 1.1.1.2 christos expressionP->X_add_number = SIZE_OF_LARGE_NUMBER;
1136 1.1.1.10 christos for (; i < expressionP->X_add_number; ++i)
1137 1.1 skrll generic_bignum[i] = ~(LITTLENUM_TYPE) 0;
1138 1.1 skrll }
1139 1.1 skrll
1140 1.1 skrll if (op == O_uminus)
1141 1.1 skrll for (i = 0; i < expressionP->X_add_number; ++i)
1142 1.1 skrll {
1143 1.1 skrll generic_bignum[i] += 1;
1144 1.1.1.10 christos if (generic_bignum[i])
1145 1.1 skrll break;
1146 1.1 skrll }
1147 1.1.1.2 christos }
1148 1.1.1.2 christos else if (op == O_logical_not)
1149 1.1.1.2 christos {
1150 1.1.1.2 christos for (i = 0; i < expressionP->X_add_number; ++i)
1151 1.1.1.2 christos if (generic_bignum[i] != 0)
1152 1.1.1.4 christos break;
1153 1.1 skrll expressionP->X_add_number = i >= expressionP->X_add_number;
1154 1.1 skrll expressionP->X_op = O_constant;
1155 1.1 skrll expressionP->X_unsigned = 1;
1156 1.1 skrll expressionP->X_extrabit = 0;
1157 1.1 skrll }
1158 1.1.1.10 christos }
1159 1.1 skrll else if (expressionP->X_op != O_illegal
1160 1.1 skrll && expressionP->X_op != O_absent)
1161 1.1.1.10 christos {
1162 1.1 skrll if (op != O_absent)
1163 1.1 skrll {
1164 1.1.1.10 christos expressionP->X_add_symbol = make_expr_symbol (expressionP);
1165 1.1.1.10 christos expressionP->X_op = op;
1166 1.1.1.10 christos expressionP->X_add_number = 0;
1167 1.1.1.10 christos }
1168 1.1.1.10 christos else if (!md_register_arithmetic && expressionP->X_op == O_register)
1169 1.1.1.10 christos {
1170 1.1.1.10 christos /* Convert to binary '+'. */
1171 1.1.1.10 christos expressionP->X_op_symbol = make_expr_symbol (expressionP);
1172 1.1 skrll expressionP->X_add_symbol = make_expr_symbol (&zero);
1173 1.1 skrll expressionP->X_add_number = 0;
1174 1.1 skrll expressionP->X_op = O_add;
1175 1.1 skrll }
1176 1.1 skrll }
1177 1.1 skrll else
1178 1.1 skrll as_warn (_("Unary operator %c ignored because bad operand follows"),
1179 1.1.1.8 christos c);
1180 1.1.1.8 christos }
1181 1.1.1.8 christos break;
1182 1.1.1.8 christos
1183 1.1.1.8 christos #if !defined (DOLLAR_DOT) && !defined (TC_M68K)
1184 1.1.1.8 christos case '$':
1185 1.1.1.8 christos if (literal_prefix_dollar_hex)
1186 1.1.1.8 christos {
1187 1.1.1.8 christos /* $L is the start of a local label, not a hex constant. */
1188 1.1.1.8 christos if (* input_line_pointer == 'L')
1189 1.1.1.8 christos goto isname;
1190 1.1.1.8 christos integer_constant (16, expressionP);
1191 1.1.1.8 christos }
1192 1.1.1.8 christos else
1193 1.1.1.8 christos {
1194 1.1 skrll goto isname;
1195 1.1 skrll }
1196 1.1 skrll break;
1197 1.1 skrll #else
1198 1.1 skrll case '$':
1199 1.1 skrll /* '$' is the program counter when in MRI mode, or when
1200 1.1 skrll DOLLAR_DOT is defined. */
1201 1.1 skrll #ifndef DOLLAR_DOT
1202 1.1 skrll if (! flag_m68k_mri)
1203 1.1 skrll goto de_fault;
1204 1.1 skrll #endif
1205 1.1 skrll if (DOLLAR_AMBIGU && hex_p (*input_line_pointer))
1206 1.1 skrll {
1207 1.1 skrll /* In MRI mode and on Z80, '$' is also used as the prefix
1208 1.1 skrll for a hexadecimal constant. */
1209 1.1 skrll integer_constant (16, expressionP);
1210 1.1 skrll break;
1211 1.1 skrll }
1212 1.1 skrll
1213 1.1 skrll if (is_part_of_name (*input_line_pointer))
1214 1.1 skrll goto isname;
1215 1.1 skrll
1216 1.1 skrll current_location (expressionP);
1217 1.1 skrll break;
1218 1.1 skrll #endif
1219 1.1 skrll
1220 1.1 skrll case '.':
1221 1.1 skrll if (!is_part_of_name (*input_line_pointer))
1222 1.1 skrll {
1223 1.1 skrll current_location (expressionP);
1224 1.1 skrll break;
1225 1.1 skrll }
1226 1.1 skrll else if ((strncasecmp (input_line_pointer, "startof.", 8) == 0
1227 1.1 skrll && ! is_part_of_name (input_line_pointer[8]))
1228 1.1 skrll || (strncasecmp (input_line_pointer, "sizeof.", 7) == 0
1229 1.1 skrll && ! is_part_of_name (input_line_pointer[7])))
1230 1.1 skrll {
1231 1.1 skrll int start;
1232 1.1 skrll
1233 1.1.1.6 christos start = (input_line_pointer[1] == 't'
1234 1.1.1.6 christos || input_line_pointer[1] == 'T');
1235 1.1.1.6 christos input_line_pointer += start ? 8 : 7;
1236 1.1.1.6 christos SKIP_WHITESPACE ();
1237 1.1 skrll
1238 1.1 skrll /* Cover for the as_bad () invocations below. */
1239 1.1 skrll expressionP->X_op = O_absent;
1240 1.1 skrll
1241 1.1 skrll if (*input_line_pointer != '(')
1242 1.1 skrll as_bad (_("syntax error in .startof. or .sizeof."));
1243 1.1.1.4 christos else
1244 1.1.1.6 christos {
1245 1.1.1.6 christos ++input_line_pointer;
1246 1.1.1.6 christos SKIP_WHITESPACE ();
1247 1.1.1.6 christos c = get_symbol_name (& name);
1248 1.1.1.9 christos if (! *name)
1249 1.1.1.6 christos {
1250 1.1.1.6 christos as_bad (_("expected symbol name"));
1251 1.1.1.6 christos (void) restore_line_pointer (c);
1252 1.1 skrll if (c == ')')
1253 1.1 skrll ++input_line_pointer;
1254 1.1.1.9 christos break;
1255 1.1 skrll }
1256 1.1 skrll
1257 1.1 skrll expressionP->X_op = O_symbol;
1258 1.1.1.4 christos expressionP->X_add_symbol = symbol_lookup_or_make (name, start);
1259 1.1 skrll expressionP->X_add_number = 0;
1260 1.1 skrll
1261 1.1 skrll *input_line_pointer = c;
1262 1.1 skrll SKIP_WHITESPACE_AFTER_NAME ();
1263 1.1 skrll if (*input_line_pointer != ')')
1264 1.1 skrll as_bad (_("syntax error in .startof. or .sizeof."));
1265 1.1 skrll else
1266 1.1 skrll ++input_line_pointer;
1267 1.1 skrll }
1268 1.1 skrll break;
1269 1.1 skrll }
1270 1.1 skrll else
1271 1.1 skrll {
1272 1.1 skrll goto isname;
1273 1.1 skrll }
1274 1.1 skrll
1275 1.1 skrll case ',':
1276 1.1 skrll eol:
1277 1.1 skrll /* Can't imagine any other kind of operand. */
1278 1.1 skrll expressionP->X_op = O_absent;
1279 1.1 skrll input_line_pointer--;
1280 1.1 skrll break;
1281 1.1 skrll
1282 1.1 skrll #ifdef TC_M68K
1283 1.1 skrll case '%':
1284 1.1 skrll if (! flag_m68k_mri)
1285 1.1 skrll goto de_fault;
1286 1.1 skrll integer_constant (2, expressionP);
1287 1.1 skrll break;
1288 1.1 skrll
1289 1.1 skrll case '@':
1290 1.1 skrll if (! flag_m68k_mri)
1291 1.1 skrll goto de_fault;
1292 1.1 skrll integer_constant (8, expressionP);
1293 1.1 skrll break;
1294 1.1 skrll
1295 1.1 skrll case ':':
1296 1.1 skrll if (! flag_m68k_mri)
1297 1.1 skrll goto de_fault;
1298 1.1 skrll
1299 1.1 skrll /* In MRI mode, this is a floating point constant represented
1300 1.1 skrll using hexadecimal digits. */
1301 1.1 skrll
1302 1.1 skrll ++input_line_pointer;
1303 1.1 skrll integer_constant (16, expressionP);
1304 1.1 skrll break;
1305 1.1 skrll
1306 1.1 skrll case '*':
1307 1.1 skrll if (! flag_m68k_mri || is_part_of_name (*input_line_pointer))
1308 1.1 skrll goto de_fault;
1309 1.1 skrll
1310 1.1 skrll current_location (expressionP);
1311 1.1.1.2 christos break;
1312 1.1 skrll #endif
1313 1.1 skrll
1314 1.1.1.4 christos default:
1315 1.1 skrll #if defined(md_need_index_operator) || defined(TC_M68K)
1316 1.1 skrll de_fault:
1317 1.1 skrll #endif
1318 1.1 skrll if (is_name_beginner (c) || c == '"') /* Here if did not begin with a digit. */
1319 1.1.1.4 christos {
1320 1.1.1.4 christos /* Identifier begins here.
1321 1.1 skrll This is kludged for speed, so code is repeated. */
1322 1.1.1.2 christos isname:
1323 1.1.1.2 christos -- input_line_pointer;
1324 1.1.1.10 christos c = get_symbol_name (&name);
1325 1.1.1.2 christos
1326 1.1.1.2 christos #ifdef md_operator
1327 1.1.1.2 christos {
1328 1.1.1.4 christos op = md_operator (name, 1, &c);
1329 1.1.1.2 christos switch (op)
1330 1.1.1.2 christos {
1331 1.1.1.2 christos case O_uminus:
1332 1.1.1.4 christos restore_line_pointer (c);
1333 1.1.1.2 christos c = '-';
1334 1.1.1.2 christos goto unary;
1335 1.1.1.2 christos case O_bit_not:
1336 1.1.1.4 christos restore_line_pointer (c);
1337 1.1.1.2 christos c = '~';
1338 1.1.1.2 christos goto unary;
1339 1.1.1.2 christos case O_logical_not:
1340 1.1.1.2 christos restore_line_pointer (c);
1341 1.1.1.2 christos c = '!';
1342 1.1.1.2 christos goto unary;
1343 1.1.1.2 christos case O_illegal:
1344 1.1.1.2 christos as_bad (_("invalid use of operator \"%s\""), name);
1345 1.1.1.4 christos break;
1346 1.1.1.2 christos default:
1347 1.1.1.2 christos break;
1348 1.1.1.4 christos }
1349 1.1.1.2 christos
1350 1.1.1.2 christos if (op != O_absent && op != O_illegal)
1351 1.1.1.2 christos {
1352 1.1.1.2 christos restore_line_pointer (c);
1353 1.1.1.2 christos expr (9, expressionP, mode);
1354 1.1.1.2 christos expressionP->X_add_symbol = make_expr_symbol (expressionP);
1355 1.1.1.2 christos expressionP->X_op_symbol = NULL;
1356 1.1.1.2 christos expressionP->X_add_number = 0;
1357 1.1.1.2 christos expressionP->X_op = op;
1358 1.1.1.2 christos break;
1359 1.1 skrll }
1360 1.1 skrll }
1361 1.1 skrll #endif
1362 1.1 skrll
1363 1.1 skrll #ifdef md_parse_name
1364 1.1 skrll /* This is a hook for the backend to parse certain names
1365 1.1 skrll specially in certain contexts. If a name always has a
1366 1.1.1.4 christos specific value, it can often be handled by simply
1367 1.1 skrll entering it in the symbol table. */
1368 1.1 skrll if (md_parse_name (name, expressionP, mode, &c))
1369 1.1 skrll {
1370 1.1 skrll restore_line_pointer (c);
1371 1.1 skrll break;
1372 1.1 skrll }
1373 1.1 skrll #endif
1374 1.1 skrll
1375 1.1 skrll symbolP = symbol_find_or_make (name);
1376 1.1.1.2 christos
1377 1.1.1.2 christos /* If we have an absolute symbol or a reg, then we know its
1378 1.1.1.2 christos value now. */
1379 1.1 skrll segment = S_GET_SEGMENT (symbolP);
1380 1.1 skrll if (mode != expr_defer
1381 1.1 skrll && segment == absolute_section
1382 1.1 skrll && !S_FORCE_RELOC (symbolP, 0))
1383 1.1 skrll {
1384 1.1 skrll expressionP->X_op = O_constant;
1385 1.1 skrll expressionP->X_add_number = S_GET_VALUE (symbolP);
1386 1.1 skrll }
1387 1.1 skrll else if (mode != expr_defer && segment == reg_section)
1388 1.1 skrll {
1389 1.1 skrll expressionP->X_op = O_register;
1390 1.1 skrll expressionP->X_add_number = S_GET_VALUE (symbolP);
1391 1.1 skrll }
1392 1.1 skrll else
1393 1.1 skrll {
1394 1.1.1.4 christos expressionP->X_op = O_symbol;
1395 1.1.1.4 christos expressionP->X_add_symbol = symbolP;
1396 1.1 skrll expressionP->X_add_number = 0;
1397 1.1 skrll }
1398 1.1 skrll
1399 1.1 skrll restore_line_pointer (c);
1400 1.1 skrll }
1401 1.1 skrll else
1402 1.1 skrll {
1403 1.1 skrll /* Let the target try to parse it. Success is indicated by changing
1404 1.1 skrll the X_op field to something other than O_absent and pointing
1405 1.1 skrll input_line_pointer past the expression. If it can't parse the
1406 1.1 skrll expression, X_op and input_line_pointer should be unchanged. */
1407 1.1 skrll expressionP->X_op = O_absent;
1408 1.1 skrll --input_line_pointer;
1409 1.1 skrll md_operand (expressionP);
1410 1.1 skrll if (expressionP->X_op == O_absent)
1411 1.1 skrll {
1412 1.1 skrll ++input_line_pointer;
1413 1.1 skrll as_bad (_("bad expression"));
1414 1.1 skrll expressionP->X_op = O_constant;
1415 1.1 skrll expressionP->X_add_number = 0;
1416 1.1 skrll }
1417 1.1 skrll }
1418 1.1 skrll break;
1419 1.1 skrll }
1420 1.1.1.6 christos
1421 1.1 skrll /* It is more 'efficient' to clean up the expressionS when they are
1422 1.1 skrll created. Doing it here saves lines of code. */
1423 1.1 skrll clean_up_expression (expressionP);
1424 1.1 skrll SKIP_ALL_WHITESPACE (); /* -> 1st char after operand. */
1425 1.1 skrll know (*input_line_pointer != ' ');
1426 1.1 skrll
1427 1.1.1.2 christos /* The PA port needs this information. */
1428 1.1.1.2 christos if (expressionP->X_add_symbol)
1429 1.1.1.2 christos symbol_mark_used (expressionP->X_add_symbol);
1430 1.1.1.2 christos
1431 1.1.1.2 christos if (mode != expr_defer)
1432 1.1.1.2 christos {
1433 1.1.1.2 christos expressionP->X_add_symbol
1434 1.1 skrll = symbol_clone_if_forward_ref (expressionP->X_add_symbol);
1435 1.1 skrll expressionP->X_op_symbol
1436 1.1 skrll = symbol_clone_if_forward_ref (expressionP->X_op_symbol);
1437 1.1 skrll }
1438 1.1 skrll
1439 1.1 skrll switch (expressionP->X_op)
1440 1.1 skrll {
1441 1.1 skrll default:
1442 1.1 skrll return absolute_section;
1443 1.1 skrll case O_symbol:
1444 1.1 skrll return S_GET_SEGMENT (expressionP->X_add_symbol);
1445 1.1 skrll case O_register:
1446 1.1 skrll return reg_section;
1447 1.1 skrll }
1448 1.1 skrll }
1449 1.1 skrll
1450 1.1 skrll /* Internal. Simplify a struct expression for use by expr (). */
1452 1.1 skrll
1453 1.1 skrll /* In: address of an expressionS.
1454 1.1 skrll The X_op field of the expressionS may only take certain values.
1455 1.1 skrll Elsewise we waste time special-case testing. Sigh. Ditto SEG_ABSENT.
1456 1.1 skrll
1457 1.1 skrll Out: expressionS may have been modified:
1458 1.1 skrll Unused fields zeroed to help expr (). */
1459 1.1 skrll
1460 1.1 skrll static void
1461 1.1 skrll clean_up_expression (expressionS *expressionP)
1462 1.1 skrll {
1463 1.1 skrll switch (expressionP->X_op)
1464 1.1 skrll {
1465 1.1 skrll case O_illegal:
1466 1.1 skrll case O_absent:
1467 1.1 skrll expressionP->X_add_number = 0;
1468 1.1 skrll /* Fall through. */
1469 1.1 skrll case O_big:
1470 1.1 skrll case O_constant:
1471 1.1 skrll case O_register:
1472 1.1 skrll expressionP->X_add_symbol = NULL;
1473 1.1 skrll /* Fall through. */
1474 1.1 skrll case O_symbol:
1475 1.1 skrll case O_uminus:
1476 1.1 skrll case O_bit_not:
1477 1.1 skrll expressionP->X_op_symbol = NULL;
1478 1.1 skrll break;
1479 1.1 skrll default:
1480 1.1 skrll break;
1481 1.1 skrll }
1482 1.1 skrll }
1483 1.1 skrll
1484 1.1 skrll /* Expression parser. */
1486 1.1 skrll
1487 1.1 skrll /* We allow an empty expression, and just assume (absolute,0) silently.
1488 1.1 skrll Unary operators and parenthetical expressions are treated as operands.
1489 1.1 skrll As usual, Q==quantity==operand, O==operator, X==expression mnemonics.
1490 1.1 skrll
1491 1.1 skrll We used to do an aho/ullman shift-reduce parser, but the logic got so
1492 1.1 skrll warped that I flushed it and wrote a recursive-descent parser instead.
1493 1.1 skrll Now things are stable, would anybody like to write a fast parser?
1494 1.1 skrll Most expressions are either register (which does not even reach here)
1495 1.1 skrll or 1 symbol. Then "symbol+constant" and "symbol-symbol" are common.
1496 1.1 skrll So I guess it doesn't really matter how inefficient more complex expressions
1497 1.1 skrll are parsed.
1498 1.1 skrll
1499 1.1 skrll After expr(RANK,resultP) input_line_pointer->operator of rank <= RANK.
1500 1.1 skrll Also, we have consumed any leading or trailing spaces (operand does that)
1501 1.1 skrll and done all intervening operators.
1502 1.1 skrll
1503 1.1 skrll This returns the segment of the result, which will be
1504 1.1 skrll absolute_section or the segment of a symbol. */
1505 1.1 skrll
1506 1.1 skrll #undef __
1507 1.1 skrll #define __ O_illegal
1508 1.1 skrll #ifndef O_SINGLE_EQ
1509 1.1 skrll #define O_SINGLE_EQ O_illegal
1510 1.1 skrll #endif
1511 1.1 skrll
1512 1.1 skrll /* Maps ASCII -> operators. */
1513 1.1 skrll static const operatorT op_encoding[256] = {
1514 1.1 skrll __, __, __, __, __, __, __, __, __, __, __, __, __, __, __, __,
1515 1.1 skrll __, __, __, __, __, __, __, __, __, __, __, __, __, __, __, __,
1516 1.1 skrll
1517 1.1 skrll __, O_bit_or_not, __, __, __, O_modulus, O_bit_and, __,
1518 1.1 skrll __, __, O_multiply, O_add, __, O_subtract, __, O_divide,
1519 1.1 skrll __, __, __, __, __, __, __, __,
1520 1.1 skrll __, __, __, __, O_lt, O_SINGLE_EQ, O_gt, __,
1521 1.1 skrll __, __, __, __, __, __, __, __,
1522 1.1 skrll __, __, __, __, __, __, __, __,
1523 1.1 skrll __, __, __, __, __, __, __, __,
1524 1.1 skrll __, __, __,
1525 1.1 skrll #ifdef NEED_INDEX_OPERATOR
1526 1.1 skrll O_index,
1527 1.1 skrll #else
1528 1.1 skrll __,
1529 1.1 skrll #endif
1530 1.1 skrll __, __, O_bit_exclusive_or, __,
1531 1.1 skrll __, __, __, __, __, __, __, __,
1532 1.1 skrll __, __, __, __, __, __, __, __,
1533 1.1 skrll __, __, __, __, __, __, __, __,
1534 1.1 skrll __, __, __, __, O_bit_inclusive_or, __, __, __,
1535 1.1 skrll
1536 1.1 skrll __, __, __, __, __, __, __, __, __, __, __, __, __, __, __, __,
1537 1.1 skrll __, __, __, __, __, __, __, __, __, __, __, __, __, __, __, __,
1538 1.1 skrll __, __, __, __, __, __, __, __, __, __, __, __, __, __, __, __,
1539 1.1 skrll __, __, __, __, __, __, __, __, __, __, __, __, __, __, __, __,
1540 1.1 skrll __, __, __, __, __, __, __, __, __, __, __, __, __, __, __, __,
1541 1.1 skrll __, __, __, __, __, __, __, __, __, __, __, __, __, __, __, __,
1542 1.1 skrll __, __, __, __, __, __, __, __, __, __, __, __, __, __, __, __,
1543 1.1 skrll __, __, __, __, __, __, __, __, __, __, __, __, __, __, __, __
1544 1.1 skrll };
1545 1.1 skrll
1546 1.1 skrll /* Rank Examples
1547 1.1 skrll 0 operand, (expression)
1548 1.1 skrll 1 ||
1549 1.1 skrll 2 &&
1550 1.1 skrll 3 == <> < <= >= >
1551 1.1.1.2 christos 4 + -
1552 1.1 skrll 5 used for * / % in MRI mode
1553 1.1 skrll 6 & ^ ! |
1554 1.1 skrll 7 * / % << >>
1555 1.1 skrll 8 unary - unary ~
1556 1.1 skrll */
1557 1.1.1.9 christos static operator_rankT op_rank[O_max] = {
1558 1.1 skrll 0, /* O_illegal */
1559 1.1 skrll 0, /* O_absent */
1560 1.1 skrll 0, /* O_constant */
1561 1.1 skrll 0, /* O_symbol */
1562 1.1 skrll 0, /* O_symbol_rva */
1563 1.1 skrll 0, /* O_secidx */
1564 1.1 skrll 0, /* O_register */
1565 1.1 skrll 0, /* O_big */
1566 1.1 skrll 9, /* O_uminus */
1567 1.1 skrll 9, /* O_bit_not */
1568 1.1 skrll 9, /* O_logical_not */
1569 1.1 skrll 8, /* O_multiply */
1570 1.1 skrll 8, /* O_divide */
1571 1.1 skrll 8, /* O_modulus */
1572 1.1 skrll 8, /* O_left_shift */
1573 1.1 skrll 8, /* O_right_shift */
1574 1.1 skrll 7, /* O_bit_inclusive_or */
1575 1.1 skrll 7, /* O_bit_or_not */
1576 1.1 skrll 7, /* O_bit_exclusive_or */
1577 1.1 skrll 7, /* O_bit_and */
1578 1.1 skrll 5, /* O_add */
1579 1.1 skrll 5, /* O_subtract */
1580 1.1 skrll 4, /* O_eq */
1581 1.1 skrll 4, /* O_ne */
1582 1.1 skrll 4, /* O_lt */
1583 1.1 skrll 4, /* O_le */
1584 1.1 skrll 4, /* O_ge */
1585 1.1 skrll 4, /* O_gt */
1586 1.1 skrll 3, /* O_logical_and */
1587 1.1 skrll 2, /* O_logical_or */
1588 1.1 skrll 1, /* O_index */
1589 1.1 skrll };
1590 1.1 skrll
1591 1.1 skrll /* Unfortunately, in MRI mode for the m68k, multiplication and
1592 1.1 skrll division have lower precedence than the bit wise operators. This
1593 1.1 skrll function sets the operator precedences correctly for the current
1594 1.1 skrll mode. Also, MRI uses a different bit_not operator, and this fixes
1595 1.1 skrll that as well. */
1596 1.1 skrll
1597 1.1 skrll #define STANDARD_MUL_PRECEDENCE 8
1598 1.1 skrll #define MRI_MUL_PRECEDENCE 6
1599 1.1 skrll
1600 1.1 skrll void
1601 1.1 skrll expr_set_precedence (void)
1602 1.1 skrll {
1603 1.1 skrll if (flag_m68k_mri)
1604 1.1 skrll {
1605 1.1 skrll op_rank[O_multiply] = MRI_MUL_PRECEDENCE;
1606 1.1 skrll op_rank[O_divide] = MRI_MUL_PRECEDENCE;
1607 1.1 skrll op_rank[O_modulus] = MRI_MUL_PRECEDENCE;
1608 1.1 skrll }
1609 1.1 skrll else
1610 1.1 skrll {
1611 1.1.1.2 christos op_rank[O_multiply] = STANDARD_MUL_PRECEDENCE;
1612 1.1.1.2 christos op_rank[O_divide] = STANDARD_MUL_PRECEDENCE;
1613 1.1.1.2 christos op_rank[O_modulus] = STANDARD_MUL_PRECEDENCE;
1614 1.1.1.2 christos }
1615 1.1.1.2 christos }
1616 1.1.1.2 christos
1617 1.1.1.2 christos void
1618 1.1 skrll expr_set_rank (operatorT op, operator_rankT rank)
1619 1.1 skrll {
1620 1.1 skrll gas_assert (op >= O_md1 && op < ARRAY_SIZE (op_rank));
1621 1.1 skrll op_rank[op] = rank;
1622 1.1 skrll }
1623 1.1 skrll
1624 1.1 skrll /* Initialize the expression parser. */
1625 1.1 skrll
1626 1.1 skrll void
1627 1.1 skrll expr_begin (void)
1628 1.1 skrll {
1629 1.1.1.2 christos expr_set_precedence ();
1630 1.1 skrll
1631 1.1.1.10 christos /* Verify that X_op field is wide enough. */
1632 1.1.1.10 christos {
1633 1.1.1.10 christos expressionS e;
1634 1.1.1.10 christos e.X_op = O_max;
1635 1.1.1.10 christos gas_assert (e.X_op == O_max);
1636 1.1.1.10 christos }
1637 1.1.1.10 christos
1638 1.1.1.10 christos memset (seen, 0, sizeof seen);
1639 1.1.1.10 christos memset (nr_seen, 0, sizeof nr_seen);
1640 1.1.1.10 christos expr_symbol_lines = NULL;
1641 1.1.1.10 christos }
1642 1.1 skrll
1643 1.1 skrll void
1644 1.1 skrll expr_end (void)
1645 1.1 skrll {
1646 1.1 skrll for (size_t i = 0; i < ARRAY_SIZE (seen); i++)
1647 1.1 skrll free (seen[i]);
1648 1.1 skrll }
1649 1.1.1.2 christos
1650 1.1 skrll /* Return the encoding for the operator at INPUT_LINE_POINTER, and
1652 1.1 skrll sets NUM_CHARS to the number of characters in the operator.
1653 1.1 skrll Does not advance INPUT_LINE_POINTER. */
1654 1.1 skrll
1655 1.1 skrll static inline operatorT
1656 1.1 skrll operatorf (int *num_chars)
1657 1.1 skrll {
1658 1.1 skrll int c;
1659 1.1 skrll operatorT ret;
1660 1.1.1.2 christos
1661 1.1.1.2 christos c = *input_line_pointer & 0xff;
1662 1.1.1.2 christos *num_chars = 1;
1663 1.1.1.4 christos
1664 1.1.1.4 christos if (is_end_of_line[c])
1665 1.1.1.2 christos return O_illegal;
1666 1.1.1.2 christos
1667 1.1.1.2 christos #ifdef md_operator
1668 1.1.1.2 christos if (is_name_beginner (c))
1669 1.1.1.2 christos {
1670 1.1.1.2 christos char *name;
1671 1.1.1.2 christos char ec = get_symbol_name (& name);
1672 1.1.1.2 christos
1673 1.1.1.2 christos ret = md_operator (name, 2, &ec);
1674 1.1.1.2 christos switch (ret)
1675 1.1.1.2 christos {
1676 1.1.1.2 christos case O_absent:
1677 1.1.1.2 christos *input_line_pointer = ec;
1678 1.1.1.2 christos input_line_pointer = name;
1679 1.1.1.2 christos break;
1680 1.1.1.2 christos case O_uminus:
1681 1.1.1.2 christos case O_bit_not:
1682 1.1.1.2 christos case O_logical_not:
1683 1.1.1.2 christos as_bad (_("invalid use of operator \"%s\""), name);
1684 1.1.1.2 christos ret = O_illegal;
1685 1.1.1.2 christos /* FALLTHROUGH */
1686 1.1.1.2 christos default:
1687 1.1.1.2 christos *input_line_pointer = ec;
1688 1.1 skrll *num_chars = input_line_pointer - name;
1689 1.1 skrll input_line_pointer = name;
1690 1.1 skrll return ret;
1691 1.1.1.2 christos }
1692 1.1.1.2 christos }
1693 1.1.1.2 christos #endif
1694 1.1.1.2 christos
1695 1.1.1.2 christos switch (c)
1696 1.1.1.2 christos {
1697 1.1.1.2 christos default:
1698 1.1.1.2 christos ret = op_encoding[c];
1699 1.1.1.2 christos #ifdef md_operator
1700 1.1.1.2 christos if (ret == O_illegal)
1701 1.1.1.2 christos {
1702 1.1.1.2 christos char *start = input_line_pointer;
1703 1.1.1.2 christos
1704 1.1 skrll ret = md_operator (NULL, 2, NULL);
1705 1.1 skrll if (ret != O_illegal)
1706 1.1 skrll *num_chars = input_line_pointer - start;
1707 1.1 skrll input_line_pointer = start;
1708 1.1 skrll }
1709 1.1 skrll #endif
1710 1.1 skrll return ret;
1711 1.1 skrll
1712 1.1 skrll case '+':
1713 1.1 skrll case '-':
1714 1.1 skrll return op_encoding[c];
1715 1.1 skrll
1716 1.1 skrll case '<':
1717 1.1 skrll switch (input_line_pointer[1])
1718 1.1 skrll {
1719 1.1 skrll default:
1720 1.1 skrll return op_encoding[c];
1721 1.1 skrll case '<':
1722 1.1 skrll ret = O_left_shift;
1723 1.1 skrll break;
1724 1.1 skrll case '>':
1725 1.1 skrll ret = O_ne;
1726 1.1 skrll break;
1727 1.1 skrll case '=':
1728 1.1 skrll ret = O_le;
1729 1.1 skrll break;
1730 1.1 skrll }
1731 1.1 skrll *num_chars = 2;
1732 1.1 skrll return ret;
1733 1.1 skrll
1734 1.1 skrll case '=':
1735 1.1 skrll if (input_line_pointer[1] != '=')
1736 1.1 skrll return op_encoding[c];
1737 1.1 skrll
1738 1.1 skrll *num_chars = 2;
1739 1.1 skrll return O_eq;
1740 1.1 skrll
1741 1.1 skrll case '>':
1742 1.1 skrll switch (input_line_pointer[1])
1743 1.1 skrll {
1744 1.1 skrll default:
1745 1.1 skrll return op_encoding[c];
1746 1.1 skrll case '>':
1747 1.1 skrll ret = O_right_shift;
1748 1.1 skrll break;
1749 1.1 skrll case '=':
1750 1.1 skrll ret = O_ge;
1751 1.1 skrll break;
1752 1.1 skrll }
1753 1.1 skrll *num_chars = 2;
1754 1.1 skrll return ret;
1755 1.1 skrll
1756 1.1 skrll case '!':
1757 1.1 skrll switch (input_line_pointer[1])
1758 1.1 skrll {
1759 1.1 skrll case '!':
1760 1.1 skrll /* We accept !! as equivalent to ^ for MRI compatibility. */
1761 1.1 skrll *num_chars = 2;
1762 1.1 skrll return O_bit_exclusive_or;
1763 1.1 skrll case '=':
1764 1.1 skrll /* We accept != as equivalent to <>. */
1765 1.1 skrll *num_chars = 2;
1766 1.1 skrll return O_ne;
1767 1.1 skrll default:
1768 1.1 skrll if (flag_m68k_mri)
1769 1.1 skrll return O_bit_inclusive_or;
1770 1.1 skrll return op_encoding[c];
1771 1.1 skrll }
1772 1.1 skrll
1773 1.1 skrll case '|':
1774 1.1 skrll if (input_line_pointer[1] != '|')
1775 1.1 skrll return op_encoding[c];
1776 1.1 skrll
1777 1.1 skrll *num_chars = 2;
1778 1.1 skrll return O_logical_or;
1779 1.1 skrll
1780 1.1 skrll case '&':
1781 1.1 skrll if (input_line_pointer[1] != '&')
1782 1.1 skrll return op_encoding[c];
1783 1.1 skrll
1784 1.1.1.4 christos *num_chars = 2;
1785 1.1.1.4 christos return O_logical_and;
1786 1.1.1.4 christos }
1787 1.1.1.4 christos
1788 1.1.1.4 christos /* NOTREACHED */
1789 1.1.1.4 christos }
1790 1.1.1.4 christos
1791 1.1.1.4 christos /* Implement "word-size + 1 bit" addition for
1792 1.1.1.4 christos {resultP->X_extrabit:resultP->X_add_number} + {rhs_highbit:amount}. This
1793 1.1.1.4 christos is used so that the full range of unsigned word values and the full range of
1794 1.1.1.4 christos signed word values can be represented in an O_constant expression, which is
1795 1.1.1.4 christos useful e.g. for .sleb128 directives. */
1796 1.1.1.9 christos
1797 1.1.1.4 christos void
1798 1.1.1.4 christos add_to_result (expressionS *resultP, offsetT amount, int rhs_highbit)
1799 1.1.1.4 christos {
1800 1.1.1.4 christos valueT ures = resultP->X_add_number;
1801 1.1.1.4 christos valueT uamount = amount;
1802 1.1.1.4 christos
1803 1.1.1.4 christos resultP->X_add_number += uamount;
1804 1.1.1.4 christos
1805 1.1.1.4 christos resultP->X_extrabit ^= rhs_highbit;
1806 1.1.1.4 christos
1807 1.1.1.4 christos if (ures + uamount < ures)
1808 1.1.1.4 christos resultP->X_extrabit ^= 1;
1809 1.1.1.4 christos }
1810 1.1.1.4 christos
1811 1.1.1.4 christos /* Similarly, for subtraction. */
1812 1.1.1.9 christos
1813 1.1.1.4 christos void
1814 1.1.1.4 christos subtract_from_result (expressionS *resultP, offsetT amount, int rhs_highbit)
1815 1.1.1.4 christos {
1816 1.1.1.4 christos valueT ures = resultP->X_add_number;
1817 1.1.1.4 christos valueT uamount = amount;
1818 1.1.1.4 christos
1819 1.1.1.4 christos resultP->X_add_number -= uamount;
1820 1.1 skrll
1821 1.1 skrll resultP->X_extrabit ^= rhs_highbit;
1822 1.1 skrll
1823 1.1 skrll if (ures < uamount)
1824 1.1 skrll resultP->X_extrabit ^= 1;
1825 1.1 skrll }
1826 1.1 skrll
1827 1.1 skrll /* Parse an expression. */
1828 1.1 skrll
1829 1.1 skrll segT
1830 1.1 skrll expr (int rankarg, /* Larger # is higher rank. */
1831 1.1 skrll expressionS *resultP, /* Deliver result here. */
1832 1.1 skrll enum expr_mode mode /* Controls behavior. */)
1833 1.1 skrll {
1834 1.1 skrll operator_rankT rank = (operator_rankT) rankarg;
1835 1.1 skrll segT retval;
1836 1.1 skrll expressionS right;
1837 1.1 skrll operatorT op_left;
1838 1.1.1.4 christos operatorT op_right;
1839 1.1.1.4 christos int op_chars;
1840 1.1.1.4 christos
1841 1.1.1.4 christos know (rankarg >= 0);
1842 1.1 skrll
1843 1.1 skrll /* Save the value of dot for the fixup code. */
1844 1.1 skrll if (rank == 0)
1845 1.1 skrll {
1846 1.1 skrll dot_value = frag_now_fix ();
1847 1.1 skrll dot_frag = frag_now;
1848 1.1.1.2 christos }
1849 1.1 skrll
1850 1.1 skrll retval = operand (resultP, mode);
1851 1.1 skrll
1852 1.1.1.10 christos /* operand () gobbles spaces. */
1853 1.1.1.3 christos know (*input_line_pointer != ' ');
1854 1.1 skrll
1855 1.1 skrll op_left = operatorf (&op_chars);
1856 1.1 skrll while (op_left != O_illegal && op_rank[(int) op_left] > rank)
1857 1.1.1.2 christos {
1858 1.1 skrll segT rightseg;
1859 1.1 skrll bool is_unsigned;
1860 1.1 skrll offsetT frag_off;
1861 1.1 skrll
1862 1.1 skrll input_line_pointer += op_chars; /* -> after operator. */
1863 1.1 skrll
1864 1.1 skrll right.X_md = 0;
1865 1.1 skrll rightseg = expr (op_rank[(int) op_left], &right, mode);
1866 1.1 skrll if (right.X_op == O_absent)
1867 1.1 skrll {
1868 1.1 skrll as_warn (_("missing operand; zero assumed"));
1869 1.1 skrll right.X_op = O_constant;
1870 1.1 skrll right.X_add_number = 0;
1871 1.1 skrll right.X_add_symbol = NULL;
1872 1.1 skrll right.X_op_symbol = NULL;
1873 1.1 skrll }
1874 1.1 skrll
1875 1.1 skrll know (*input_line_pointer != ' ');
1876 1.1 skrll
1877 1.1 skrll if (op_left == O_index)
1878 1.1 skrll {
1879 1.1 skrll if (*input_line_pointer != ']')
1880 1.1 skrll as_bad ("missing right bracket");
1881 1.1.1.2 christos else
1882 1.1 skrll {
1883 1.1.1.2 christos ++input_line_pointer;
1884 1.1 skrll SKIP_WHITESPACE ();
1885 1.1.1.2 christos }
1886 1.1.1.2 christos }
1887 1.1.1.2 christos
1888 1.1.1.2 christos op_right = operatorf (&op_chars);
1889 1.1.1.2 christos
1890 1.1.1.2 christos know (op_right == O_illegal || op_left == O_index
1891 1.1 skrll || op_rank[(int) op_right] <= op_rank[(int) op_left]);
1892 1.1 skrll know ((int) op_left >= (int) O_multiply);
1893 1.1 skrll #ifndef md_operator
1894 1.1 skrll know ((int) op_left <= (int) O_index);
1895 1.1 skrll #else
1896 1.1 skrll know ((int) op_left < (int) O_max);
1897 1.1 skrll #endif
1898 1.1 skrll
1899 1.1 skrll /* input_line_pointer->after right-hand quantity. */
1900 1.1 skrll /* left-hand quantity in resultP. */
1901 1.1 skrll /* right-hand quantity in right. */
1902 1.1 skrll /* operator in op_left. */
1903 1.1 skrll
1904 1.1 skrll if (resultP->X_op == O_big)
1905 1.1 skrll {
1906 1.1 skrll if (resultP->X_add_number > 0)
1907 1.1 skrll as_warn (_("left operand is a bignum; integer 0 assumed"));
1908 1.1 skrll else
1909 1.1 skrll as_warn (_("left operand is a float; integer 0 assumed"));
1910 1.1 skrll resultP->X_op = O_constant;
1911 1.1 skrll resultP->X_add_number = 0;
1912 1.1 skrll resultP->X_add_symbol = NULL;
1913 1.1 skrll resultP->X_op_symbol = NULL;
1914 1.1 skrll }
1915 1.1 skrll if (right.X_op == O_big)
1916 1.1 skrll {
1917 1.1 skrll if (right.X_add_number > 0)
1918 1.1 skrll as_warn (_("right operand is a bignum; integer 0 assumed"));
1919 1.1 skrll else
1920 1.1.1.10 christos as_warn (_("right operand is a float; integer 0 assumed"));
1921 1.1.1.10 christos right.X_op = O_constant;
1922 1.1.1.8 christos right.X_add_number = 0;
1923 1.1.1.8 christos right.X_add_symbol = NULL;
1924 1.1.1.8 christos right.X_op_symbol = NULL;
1925 1.1.1.8 christos }
1926 1.1.1.8 christos
1927 1.1.1.8 christos is_unsigned = resultP->X_unsigned && right.X_unsigned;
1928 1.1.1.8 christos
1929 1.1 skrll if (mode == expr_defer
1930 1.1 skrll && ((resultP->X_add_symbol != NULL
1931 1.1 skrll && S_IS_FORWARD_REF (resultP->X_add_symbol))
1932 1.1 skrll || (right.X_add_symbol != NULL
1933 1.1 skrll && S_IS_FORWARD_REF (right.X_add_symbol))))
1934 1.1.1.10 christos goto general;
1935 1.1 skrll
1936 1.1 skrll /* Optimize common cases. */
1937 1.1 skrll #ifdef md_optimize_expr
1938 1.1 skrll if (md_optimize_expr (resultP, op_left, &right))
1939 1.1 skrll {
1940 1.1 skrll /* Skip. */
1941 1.1 skrll is_unsigned = resultP->X_unsigned;
1942 1.1.1.4 christos }
1943 1.1 skrll else
1944 1.1 skrll #endif
1945 1.1 skrll if (op_left == O_add && right.X_op == O_constant
1946 1.1 skrll && (md_register_arithmetic || resultP->X_op != O_register))
1947 1.1 skrll {
1948 1.1 skrll /* X + constant. */
1949 1.1 skrll add_to_result (resultP, right.X_add_number, right.X_extrabit);
1950 1.1 skrll }
1951 1.1 skrll /* This case comes up in PIC code. */
1952 1.1.1.2 christos else if (op_left == O_subtract
1953 1.1.1.2 christos && right.X_op == O_symbol
1954 1.1.1.2 christos && resultP->X_op == O_symbol
1955 1.1 skrll && retval == rightseg
1956 1.1 skrll #ifdef md_allow_local_subtract
1957 1.1 skrll && md_allow_local_subtract (resultP, & right, rightseg)
1958 1.1 skrll #endif
1959 1.1 skrll && ((SEG_NORMAL (rightseg)
1960 1.1.1.4 christos && !S_FORCE_RELOC (resultP->X_add_symbol, 0)
1961 1.1.1.4 christos && !S_FORCE_RELOC (right.X_add_symbol, 0))
1962 1.1.1.4 christos || right.X_add_symbol == resultP->X_add_symbol)
1963 1.1.1.4 christos && frag_offset_fixed_p (symbol_get_frag (resultP->X_add_symbol),
1964 1.1.1.4 christos symbol_get_frag (right.X_add_symbol),
1965 1.1 skrll &frag_off))
1966 1.1 skrll {
1967 1.1.1.10 christos offsetT symval_diff = S_GET_VALUE (resultP->X_add_symbol)
1968 1.1 skrll - S_GET_VALUE (right.X_add_symbol);
1969 1.1 skrll subtract_from_result (resultP, right.X_add_number, right.X_extrabit);
1970 1.1 skrll subtract_from_result (resultP, frag_off / OCTETS_PER_BYTE, 0);
1971 1.1 skrll add_to_result (resultP, symval_diff, symval_diff < 0);
1972 1.1 skrll resultP->X_op = O_constant;
1973 1.1.1.4 christos resultP->X_add_symbol = 0;
1974 1.1.1.10 christos is_unsigned = false;
1975 1.1 skrll }
1976 1.1 skrll else if (op_left == O_subtract && right.X_op == O_constant
1977 1.1 skrll && (md_register_arithmetic || resultP->X_op != O_register))
1978 1.1 skrll {
1979 1.1 skrll /* X - constant. */
1980 1.1 skrll subtract_from_result (resultP, right.X_add_number, right.X_extrabit);
1981 1.1 skrll is_unsigned = false;
1982 1.1 skrll }
1983 1.1.1.4 christos else if (op_left == O_add && resultP->X_op == O_constant
1984 1.1 skrll && (md_register_arithmetic || right.X_op != O_register))
1985 1.1 skrll {
1986 1.1 skrll /* Constant + X. */
1987 1.1 skrll resultP->X_op = right.X_op;
1988 1.1 skrll resultP->X_add_symbol = right.X_add_symbol;
1989 1.1 skrll resultP->X_op_symbol = right.X_op_symbol;
1990 1.1 skrll add_to_result (resultP, right.X_add_number, right.X_extrabit);
1991 1.1 skrll retval = rightseg;
1992 1.1 skrll }
1993 1.1 skrll else if (resultP->X_op == O_constant && right.X_op == O_constant)
1994 1.1 skrll {
1995 1.1 skrll /* Constant OP constant. */
1996 1.1 skrll offsetT v = right.X_add_number;
1997 1.1.1.2 christos if (v == 0 && (op_left == O_divide || op_left == O_modulus))
1998 1.1.1.9 christos {
1999 1.1.1.9 christos as_warn (_("division by zero"));
2000 1.1.1.9 christos v = 1;
2001 1.1.1.9 christos }
2002 1.1.1.9 christos switch (op_left)
2003 1.1.1.9 christos {
2004 1.1 skrll default: goto general;
2005 1.1 skrll case O_multiply:
2006 1.1.1.9 christos /* Do the multiply as unsigned to silence ubsan. The
2007 1.1.1.10 christos result is of course the same when we throw away high
2008 1.1.1.9 christos bits of the result. */
2009 1.1.1.9 christos resultP->X_add_number *= (valueT) v;
2010 1.1.1.9 christos break;
2011 1.1.1.9 christos case O_divide: resultP->X_add_number /= v; break;
2012 1.1.1.9 christos case O_modulus: resultP->X_add_number %= v; break;
2013 1.1.1.9 christos case O_left_shift:
2014 1.1.1.9 christos case O_right_shift:
2015 1.1.1.9 christos /* We always use unsigned shifts. According to the ISO
2016 1.1.1.10 christos C standard, left shift of a signed type having a
2017 1.1.1.10 christos negative value is undefined behaviour, and right
2018 1.1.1.10 christos shift of a signed type having negative value is
2019 1.1.1.10 christos implementation defined. Left shift of a signed type
2020 1.1.1.10 christos when the result overflows is also undefined
2021 1.1.1.10 christos behaviour. So don't trigger ubsan warnings or rely
2022 1.1.1.10 christos on characteristics of the compiler. */
2023 1.1.1.10 christos if ((valueT) v >= sizeof (valueT) * CHAR_BIT)
2024 1.1.1.10 christos {
2025 1.1.1.10 christos as_warn_value_out_of_range (_("shift count"), v, 0,
2026 1.1.1.10 christos sizeof (valueT) * CHAR_BIT - 1,
2027 1.1.1.10 christos NULL, 0);
2028 1.1.1.10 christos resultP->X_add_number = 0;
2029 1.1.1.10 christos }
2030 1.1 skrll else if (op_left == O_left_shift)
2031 1.1 skrll resultP->X_add_number
2032 1.1 skrll = (valueT) resultP->X_add_number << (valueT) v;
2033 1.1 skrll else
2034 1.1 skrll resultP->X_add_number
2035 1.1 skrll = (valueT) resultP->X_add_number >> (valueT) v;
2036 1.1 skrll is_unsigned = resultP->X_unsigned;
2037 1.1 skrll break;
2038 1.1.1.4 christos case O_bit_inclusive_or: resultP->X_add_number |= v; break;
2039 1.1.1.4 christos case O_bit_or_not: resultP->X_add_number |= ~v; break;
2040 1.1.1.10 christos case O_bit_exclusive_or: resultP->X_add_number ^= v; break;
2041 1.1.1.4 christos case O_bit_and: resultP->X_add_number &= v; break;
2042 1.1 skrll /* Constant + constant (O_add) is handled by the
2043 1.1 skrll previous if statement for constant + X, so is omitted
2044 1.1 skrll here. */
2045 1.1.1.10 christos case O_subtract:
2046 1.1 skrll subtract_from_result (resultP, v, 0);
2047 1.1 skrll is_unsigned = false;
2048 1.1 skrll break;
2049 1.1 skrll case O_eq:
2050 1.1.1.10 christos resultP->X_add_number =
2051 1.1 skrll resultP->X_add_number == v ? ~ (offsetT) 0 : 0;
2052 1.1 skrll is_unsigned = false;
2053 1.1 skrll break;
2054 1.1 skrll case O_ne:
2055 1.1.1.10 christos resultP->X_add_number =
2056 1.1 skrll resultP->X_add_number != v ? ~ (offsetT) 0 : 0;
2057 1.1 skrll is_unsigned = false;
2058 1.1 skrll break;
2059 1.1 skrll case O_lt:
2060 1.1.1.10 christos resultP->X_add_number =
2061 1.1 skrll resultP->X_add_number < v ? ~ (offsetT) 0 : 0;
2062 1.1 skrll is_unsigned = false;
2063 1.1 skrll break;
2064 1.1 skrll case O_le:
2065 1.1.1.10 christos resultP->X_add_number =
2066 1.1 skrll resultP->X_add_number <= v ? ~ (offsetT) 0 : 0;
2067 1.1 skrll is_unsigned = false;
2068 1.1 skrll break;
2069 1.1 skrll case O_ge:
2070 1.1.1.10 christos resultP->X_add_number =
2071 1.1 skrll resultP->X_add_number >= v ? ~ (offsetT) 0 : 0;
2072 1.1 skrll is_unsigned = false;
2073 1.1 skrll break;
2074 1.1.1.10 christos case O_gt:
2075 1.1 skrll resultP->X_add_number =
2076 1.1 skrll resultP->X_add_number > v ? ~ (offsetT) 0 : 0;
2077 1.1 skrll is_unsigned = false;
2078 1.1.1.10 christos break;
2079 1.1 skrll case O_logical_and:
2080 1.1 skrll resultP->X_add_number = resultP->X_add_number && v;
2081 1.1 skrll is_unsigned = true;
2082 1.1 skrll break;
2083 1.1 skrll case O_logical_or:
2084 1.1 skrll resultP->X_add_number = resultP->X_add_number || v;
2085 1.1 skrll is_unsigned = true;
2086 1.1 skrll break;
2087 1.1 skrll }
2088 1.1 skrll }
2089 1.1 skrll else if (resultP->X_op == O_symbol
2090 1.1 skrll && right.X_op == O_symbol
2091 1.1 skrll && (op_left == O_add
2092 1.1 skrll || op_left == O_subtract
2093 1.1.1.4 christos || (resultP->X_add_number == 0
2094 1.1 skrll && right.X_add_number == 0)))
2095 1.1 skrll {
2096 1.1.1.4 christos /* Symbol OP symbol. */
2097 1.1.1.4 christos resultP->X_op = op_left;
2098 1.1.1.2 christos resultP->X_op_symbol = right.X_add_symbol;
2099 1.1.1.2 christos if (op_left == O_add)
2100 1.1.1.2 christos add_to_result (resultP, right.X_add_number, right.X_extrabit);
2101 1.1.1.2 christos else if (op_left == O_subtract)
2102 1.1 skrll {
2103 1.1 skrll subtract_from_result (resultP, right.X_add_number,
2104 1.1 skrll right.X_extrabit);
2105 1.1 skrll if (retval == rightseg
2106 1.1 skrll && SEG_NORMAL (retval)
2107 1.1 skrll && !S_FORCE_RELOC (resultP->X_add_symbol, 0)
2108 1.1 skrll && !S_FORCE_RELOC (right.X_add_symbol, 0))
2109 1.1 skrll {
2110 1.1.1.2 christos retval = absolute_section;
2111 1.1 skrll rightseg = absolute_section;
2112 1.1 skrll }
2113 1.1 skrll }
2114 1.1 skrll }
2115 1.1 skrll else
2116 1.1.1.4 christos {
2117 1.1 skrll general:
2118 1.1 skrll /* The general case. */
2119 1.1.1.10 christos resultP->X_add_symbol = make_expr_symbol (resultP);
2120 1.1.1.10 christos resultP->X_op_symbol = make_expr_symbol (&right);
2121 1.1 skrll resultP->X_op = op_left;
2122 1.1 skrll resultP->X_add_number = 0;
2123 1.1.1.2 christos resultP->X_extrabit = 0;
2124 1.1.1.2 christos }
2125 1.1.1.2 christos
2126 1.1.1.2 christos resultP->X_unsigned = is_unsigned;
2127 1.1.1.2 christos
2128 1.1.1.2 christos if (retval != rightseg)
2129 1.1.1.2 christos {
2130 1.1.1.2 christos if (retval == undefined_section)
2131 1.1.1.2 christos ;
2132 1.1.1.2 christos else if (rightseg == undefined_section)
2133 1.1.1.2 christos retval = rightseg;
2134 1.1.1.2 christos else if (retval == expr_section)
2135 1.1.1.2 christos ;
2136 1.1.1.2 christos else if (rightseg == expr_section)
2137 1.1.1.2 christos retval = rightseg;
2138 1.1.1.2 christos else if (retval == reg_section)
2139 1.1 skrll ;
2140 1.1.1.2 christos else if (rightseg == reg_section)
2141 1.1.1.2 christos retval = rightseg;
2142 1.1 skrll else if (rightseg == absolute_section)
2143 1.1.1.2 christos ;
2144 1.1 skrll else if (retval == absolute_section)
2145 1.1 skrll retval = rightseg;
2146 1.1 skrll #ifdef DIFF_EXPR_OK
2147 1.1 skrll else if (op_left == O_subtract)
2148 1.1 skrll ;
2149 1.1 skrll #endif
2150 1.1 skrll else
2151 1.1 skrll as_bad (_("operation combines symbols in different segments"));
2152 1.1 skrll }
2153 1.1 skrll
2154 1.1 skrll op_left = op_right;
2155 1.1 skrll } /* While next operator is >= this rank. */
2156 1.1 skrll
2157 1.1 skrll /* The PA port needs this information. */
2158 1.1 skrll if (resultP->X_add_symbol)
2159 1.1 skrll symbol_mark_used (resultP->X_add_symbol);
2160 1.1 skrll
2161 1.1 skrll if (rank == 0 && mode == expr_evaluate)
2162 1.1 skrll resolve_expression (resultP);
2163 1.1 skrll
2164 1.1 skrll return resultP->X_op == O_constant ? absolute_section : retval;
2165 1.1 skrll }
2166 1.1 skrll
2167 1.1 skrll /* Resolve an expression without changing any symbols/sub-expressions
2168 1.1 skrll used. */
2169 1.1.1.2 christos
2170 1.1 skrll int
2171 1.1 skrll resolve_expression (expressionS *expressionP)
2172 1.1 skrll {
2173 1.1 skrll /* Help out with CSE. */
2174 1.1 skrll valueT final_val = expressionP->X_add_number;
2175 1.1.1.3 christos symbolS *add_symbol = expressionP->X_add_symbol;
2176 1.1 skrll symbolS *orig_add_symbol = add_symbol;
2177 1.1 skrll symbolS *op_symbol = expressionP->X_op_symbol;
2178 1.1 skrll operatorT op = expressionP->X_op;
2179 1.1 skrll valueT left, right;
2180 1.1 skrll segT seg_left, seg_right;
2181 1.1 skrll fragS *frag_left, *frag_right;
2182 1.1 skrll offsetT frag_off;
2183 1.1 skrll
2184 1.1 skrll switch (op)
2185 1.1 skrll {
2186 1.1 skrll default:
2187 1.1 skrll return 0;
2188 1.1 skrll
2189 1.1 skrll case O_constant:
2190 1.1 skrll case O_register:
2191 1.1 skrll left = 0;
2192 1.1 skrll break;
2193 1.1 skrll
2194 1.1 skrll case O_symbol:
2195 1.1 skrll case O_symbol_rva:
2196 1.1 skrll if (!snapshot_symbol (&add_symbol, &left, &seg_left, &frag_left))
2197 1.1 skrll return 0;
2198 1.1 skrll
2199 1.1 skrll break;
2200 1.1 skrll
2201 1.1 skrll case O_uminus:
2202 1.1 skrll case O_bit_not:
2203 1.1 skrll case O_logical_not:
2204 1.1 skrll if (!snapshot_symbol (&add_symbol, &left, &seg_left, &frag_left))
2205 1.1 skrll return 0;
2206 1.1 skrll
2207 1.1 skrll if (seg_left != absolute_section)
2208 1.1 skrll return 0;
2209 1.1 skrll
2210 1.1 skrll if (op == O_logical_not)
2211 1.1 skrll left = !left;
2212 1.1 skrll else if (op == O_uminus)
2213 1.1 skrll left = -left;
2214 1.1 skrll else
2215 1.1 skrll left = ~left;
2216 1.1 skrll op = O_constant;
2217 1.1 skrll break;
2218 1.1 skrll
2219 1.1 skrll case O_multiply:
2220 1.1 skrll case O_divide:
2221 1.1 skrll case O_modulus:
2222 1.1 skrll case O_left_shift:
2223 1.1 skrll case O_right_shift:
2224 1.1 skrll case O_bit_inclusive_or:
2225 1.1 skrll case O_bit_or_not:
2226 1.1 skrll case O_bit_exclusive_or:
2227 1.1 skrll case O_bit_and:
2228 1.1 skrll case O_add:
2229 1.1 skrll case O_subtract:
2230 1.1 skrll case O_eq:
2231 1.1 skrll case O_ne:
2232 1.1 skrll case O_lt:
2233 1.1 skrll case O_le:
2234 1.1 skrll case O_ge:
2235 1.1 skrll case O_gt:
2236 1.1 skrll case O_logical_and:
2237 1.1 skrll case O_logical_or:
2238 1.1 skrll if (!snapshot_symbol (&add_symbol, &left, &seg_left, &frag_left)
2239 1.1 skrll || !snapshot_symbol (&op_symbol, &right, &seg_right, &frag_right))
2240 1.1 skrll return 0;
2241 1.1 skrll
2242 1.1 skrll /* Simplify addition or subtraction of a constant by folding the
2243 1.1 skrll constant into X_add_number. */
2244 1.1 skrll if (op == O_add)
2245 1.1 skrll {
2246 1.1 skrll if (seg_right == absolute_section)
2247 1.1 skrll {
2248 1.1 skrll final_val += right;
2249 1.1 skrll op = O_symbol;
2250 1.1 skrll break;
2251 1.1.1.2 christos }
2252 1.1 skrll else if (seg_left == absolute_section)
2253 1.1 skrll {
2254 1.1 skrll final_val += left;
2255 1.1 skrll left = right;
2256 1.1 skrll seg_left = seg_right;
2257 1.1 skrll add_symbol = op_symbol;
2258 1.1 skrll orig_add_symbol = expressionP->X_op_symbol;
2259 1.1 skrll op = O_symbol;
2260 1.1 skrll break;
2261 1.1 skrll }
2262 1.1 skrll }
2263 1.1 skrll else if (op == O_subtract)
2264 1.1 skrll {
2265 1.1 skrll if (seg_right == absolute_section)
2266 1.1 skrll {
2267 1.1 skrll final_val -= right;
2268 1.1 skrll op = O_symbol;
2269 1.1 skrll break;
2270 1.1 skrll }
2271 1.1 skrll }
2272 1.1 skrll
2273 1.1 skrll /* Equality and non-equality tests are permitted on anything.
2274 1.1 skrll Subtraction, and other comparison operators are permitted if
2275 1.1 skrll both operands are in the same section.
2276 1.1 skrll Shifts by constant zero are permitted on anything.
2277 1.1 skrll Multiplies, bit-ors, and bit-ands with constant zero are
2278 1.1 skrll permitted on anything.
2279 1.1 skrll Multiplies and divides by constant one are permitted on
2280 1.1 skrll anything.
2281 1.1 skrll Binary operations with both operands being the same register
2282 1.1 skrll or undefined symbol are permitted if the result doesn't depend
2283 1.1 skrll on the input value.
2284 1.1 skrll Otherwise, both operands must be absolute. We already handled
2285 1.1 skrll the case of addition or subtraction of a constant above. */
2286 1.1 skrll frag_off = 0;
2287 1.1.1.8 christos if (!(seg_left == absolute_section
2288 1.1.1.8 christos && seg_right == absolute_section)
2289 1.1.1.8 christos && !(op == O_eq || op == O_ne)
2290 1.1.1.8 christos && !((op == O_subtract
2291 1.1 skrll || op == O_lt || op == O_le || op == O_ge || op == O_gt)
2292 1.1 skrll && seg_left == seg_right
2293 1.1 skrll && (finalize_syms
2294 1.1 skrll || frag_offset_fixed_p (frag_left, frag_right, &frag_off)
2295 1.1 skrll || (op == O_gt
2296 1.1 skrll && frag_gtoffset_p (left, frag_left,
2297 1.1 skrll right, frag_right, &frag_off)))
2298 1.1 skrll && (seg_left != reg_section || left == right)
2299 1.1.1.2 christos && (seg_left != undefined_section || add_symbol == op_symbol)))
2300 1.1 skrll {
2301 1.1 skrll if ((seg_left == absolute_section && left == 0)
2302 1.1 skrll || (seg_right == absolute_section && right == 0))
2303 1.1 skrll {
2304 1.1.1.2 christos if (op == O_bit_exclusive_or || op == O_bit_inclusive_or)
2305 1.1 skrll {
2306 1.1 skrll if (!(seg_right == absolute_section && right == 0))
2307 1.1 skrll {
2308 1.1 skrll seg_left = seg_right;
2309 1.1 skrll left = right;
2310 1.1 skrll add_symbol = op_symbol;
2311 1.1.1.2 christos orig_add_symbol = expressionP->X_op_symbol;
2312 1.1 skrll }
2313 1.1 skrll op = O_symbol;
2314 1.1 skrll break;
2315 1.1 skrll }
2316 1.1 skrll else if (op == O_left_shift || op == O_right_shift)
2317 1.1 skrll {
2318 1.1 skrll if (!(seg_left == absolute_section && left == 0))
2319 1.1 skrll {
2320 1.1 skrll op = O_symbol;
2321 1.1 skrll break;
2322 1.1 skrll }
2323 1.1 skrll }
2324 1.1 skrll else if (op != O_multiply
2325 1.1 skrll && op != O_bit_or_not && op != O_bit_and)
2326 1.1 skrll return 0;
2327 1.1.1.2 christos }
2328 1.1 skrll else if (op == O_multiply
2329 1.1 skrll && seg_left == absolute_section && left == 1)
2330 1.1 skrll {
2331 1.1 skrll seg_left = seg_right;
2332 1.1 skrll left = right;
2333 1.1 skrll add_symbol = op_symbol;
2334 1.1 skrll orig_add_symbol = expressionP->X_op_symbol;
2335 1.1 skrll op = O_symbol;
2336 1.1 skrll break;
2337 1.1.1.2 christos }
2338 1.1.1.2 christos else if ((op == O_multiply || op == O_divide)
2339 1.1.1.2 christos && seg_right == absolute_section && right == 1)
2340 1.1.1.2 christos {
2341 1.1.1.2 christos op = O_symbol;
2342 1.1 skrll break;
2343 1.1 skrll }
2344 1.1 skrll else if (!(left == right
2345 1.1 skrll && ((seg_left == reg_section && seg_right == reg_section)
2346 1.1 skrll || (seg_left == undefined_section
2347 1.1 skrll && seg_right == undefined_section
2348 1.1 skrll && add_symbol == op_symbol))))
2349 1.1 skrll return 0;
2350 1.1 skrll else if (op == O_bit_and || op == O_bit_inclusive_or)
2351 1.1 skrll {
2352 1.1 skrll op = O_symbol;
2353 1.1 skrll break;
2354 1.1 skrll }
2355 1.1 skrll else if (op != O_bit_exclusive_or && op != O_bit_or_not)
2356 1.1 skrll return 0;
2357 1.1 skrll }
2358 1.1 skrll
2359 1.1 skrll right += frag_off / OCTETS_PER_BYTE;
2360 1.1 skrll switch (op)
2361 1.1 skrll {
2362 1.1 skrll case O_add: left += right; break;
2363 1.1 skrll case O_subtract: left -= right; break;
2364 1.1 skrll case O_multiply: left *= right; break;
2365 1.1 skrll case O_divide:
2366 1.1 skrll if (right == 0)
2367 1.1 skrll return 0;
2368 1.1.1.10 christos left = (offsetT) left / (offsetT) right;
2369 1.1.1.10 christos break;
2370 1.1.1.10 christos case O_modulus:
2371 1.1.1.10 christos if (right == 0)
2372 1.1.1.10 christos return 0;
2373 1.1.1.10 christos left = (offsetT) left % (offsetT) right;
2374 1.1.1.10 christos break;
2375 1.1.1.10 christos case O_left_shift:
2376 1.1.1.10 christos if (right >= sizeof (left) * CHAR_BIT)
2377 1.1.1.10 christos left = 0;
2378 1.1.1.10 christos else
2379 1.1.1.10 christos left <<= right;
2380 1.1 skrll break;
2381 1.1 skrll case O_right_shift:
2382 1.1 skrll if (right >= sizeof (left) * CHAR_BIT)
2383 1.1 skrll left = 0;
2384 1.1 skrll else
2385 1.1 skrll left >>= right;
2386 1.1 skrll break;
2387 1.1 skrll case O_bit_inclusive_or: left |= right; break;
2388 1.1 skrll case O_bit_or_not: left |= ~right; break;
2389 1.1 skrll case O_bit_exclusive_or: left ^= right; break;
2390 1.1 skrll case O_bit_and: left &= right; break;
2391 1.1 skrll case O_eq:
2392 1.1 skrll case O_ne:
2393 1.1 skrll left = (left == right
2394 1.1 skrll && seg_left == seg_right
2395 1.1 skrll && (finalize_syms || frag_left == frag_right)
2396 1.1 skrll && (seg_left != undefined_section
2397 1.1 skrll || add_symbol == op_symbol)
2398 1.1 skrll ? ~ (valueT) 0 : 0);
2399 1.1 skrll if (op == O_ne)
2400 1.1 skrll left = ~left;
2401 1.1 skrll break;
2402 1.1 skrll case O_lt:
2403 1.1 skrll left = (offsetT) left < (offsetT) right ? ~ (valueT) 0 : 0;
2404 1.1 skrll break;
2405 1.1 skrll case O_le:
2406 1.1 skrll left = (offsetT) left <= (offsetT) right ? ~ (valueT) 0 : 0;
2407 1.1 skrll break;
2408 1.1 skrll case O_ge:
2409 1.1 skrll left = (offsetT) left >= (offsetT) right ? ~ (valueT) 0 : 0;
2410 1.1 skrll break;
2411 1.1 skrll case O_gt:
2412 1.1 skrll left = (offsetT) left > (offsetT) right ? ~ (valueT) 0 : 0;
2413 1.1 skrll break;
2414 1.1 skrll case O_logical_and: left = left && right; break;
2415 1.1 skrll case O_logical_or: left = left || right; break;
2416 1.1 skrll default: abort ();
2417 1.1 skrll }
2418 1.1 skrll
2419 1.1 skrll op = O_constant;
2420 1.1 skrll break;
2421 1.1 skrll }
2422 1.1.1.2 christos
2423 1.1 skrll if (op == O_symbol)
2424 1.1 skrll {
2425 1.1 skrll if (seg_left == absolute_section)
2426 1.1 skrll op = O_constant;
2427 1.1 skrll else if (seg_left == reg_section && final_val == 0)
2428 1.1 skrll op = O_register;
2429 1.1 skrll else if (!symbol_same_p (add_symbol, orig_add_symbol))
2430 1.1 skrll final_val += left;
2431 1.1 skrll expressionP->X_add_symbol = add_symbol;
2432 1.1 skrll }
2433 1.1 skrll expressionP->X_op = op;
2434 1.1.1.10 christos
2435 1.1.1.10 christos if (op == O_constant || op == O_register)
2436 1.1.1.10 christos final_val += left;
2437 1.1.1.10 christos expressionP->X_add_number = final_val;
2438 1.1.1.10 christos
2439 1.1.1.10 christos return 1;
2440 1.1.1.10 christos }
2441 1.1.1.10 christos
2442 1.1.1.10 christos /* "Look through" register equates. */
2443 1.1.1.10 christos void resolve_register (expressionS *expP)
2444 1.1.1.10 christos {
2445 1.1.1.10 christos symbolS *sym;
2446 1.1.1.10 christos offsetT acc = 0;
2447 1.1.1.10 christos const expressionS *e = expP;
2448 1.1.1.10 christos
2449 1.1.1.10 christos if (expP->X_op != O_symbol)
2450 1.1.1.10 christos return;
2451 1.1.1.10 christos
2452 1.1.1.10 christos do
2453 1.1.1.10 christos {
2454 1.1.1.10 christos sym = e->X_add_symbol;
2455 1.1.1.10 christos acc += e->X_add_number;
2456 1.1.1.10 christos e = symbol_get_value_expression (sym);
2457 1.1.1.10 christos }
2458 1.1.1.10 christos while (symbol_equated_p (sym));
2459 1.1 skrll
2460 1.1 skrll if (e->X_op == O_register)
2461 1.1 skrll {
2462 1.1 skrll *expP = *e;
2463 1.1 skrll expP->X_add_number += acc;
2464 1.1.1.4 christos }
2465 1.1.1.10 christos }
2466 1.1.1.10 christos
2467 1.1.1.10 christos /* This lives here because it belongs equally in expr.c & read.c.
2469 1.1 skrll expr.c is just a branch office read.c anyway, and putting it
2470 1.1.1.10 christos here lessens the crowd at read.c.
2471 1.1.1.10 christos
2472 1.1.1.10 christos Assume input_line_pointer is at start of symbol name, or the
2473 1.1.1.10 christos start of a double quote enclosed symbol name. Advance
2474 1.1.1.10 christos input_line_pointer past symbol name. Turn that character into a '\0',
2475 1.1.1.10 christos returning its former value, which may be the closing double quote.
2476 1.1 skrll
2477 1.1 skrll This allows a string compare (RMS wants symbol names to be strings)
2478 1.1 skrll of the symbol name.
2479 1.1 skrll
2480 1.1.1.4 christos NOTE: The input buffer is further altered when adjacent strings are
2481 1.1 skrll concatenated by the function. Callers caring about the original buffer
2482 1.1 skrll contents will need to make a copy before calling here.
2483 1.1 skrll
2484 1.1.1.4 christos There will always be a char following symbol name, because all good
2485 1.1.1.6 christos lines end in end-of-line. */
2486 1.1 skrll
2487 1.1.1.6 christos char
2488 1.1.1.6 christos get_symbol_name (char ** ilp_return)
2489 1.1 skrll {
2490 1.1 skrll char c;
2491 1.1.1.6 christos
2492 1.1 skrll * ilp_return = input_line_pointer;
2493 1.1 skrll /* We accept FAKE_LABEL_CHAR in a name in case this is being called with a
2494 1.1 skrll constructed string. */
2495 1.1 skrll if (is_name_beginner (c = *input_line_pointer++)
2496 1.1.1.4 christos || (input_from_string && c == FAKE_LABEL_CHAR))
2497 1.1.1.4 christos {
2498 1.1.1.9 christos while (is_part_of_name (c = *input_line_pointer++)
2499 1.1.1.4 christos || (input_from_string && c == FAKE_LABEL_CHAR))
2500 1.1.1.4 christos ;
2501 1.1.1.9 christos if (is_name_ender (c))
2502 1.1.1.4 christos c = *input_line_pointer++;
2503 1.1.1.9 christos }
2504 1.1.1.9 christos else if (c == '"')
2505 1.1.1.9 christos {
2506 1.1.1.9 christos char *dst = input_line_pointer;
2507 1.1.1.9 christos
2508 1.1.1.9 christos * ilp_return = input_line_pointer;
2509 1.1.1.9 christos for (;;)
2510 1.1.1.9 christos {
2511 1.1.1.9 christos c = *input_line_pointer++;
2512 1.1.1.9 christos
2513 1.1.1.9 christos if (c == 0)
2514 1.1.1.4 christos {
2515 1.1.1.9 christos as_warn (_("missing closing '\"'"));
2516 1.1.1.9 christos break;
2517 1.1.1.9 christos }
2518 1.1.1.9 christos
2519 1.1.1.9 christos if (c == '"')
2520 1.1.1.9 christos {
2521 1.1.1.9 christos char *ilp_save = input_line_pointer;
2522 1.1.1.9 christos
2523 1.1.1.9 christos SKIP_WHITESPACE ();
2524 1.1.1.9 christos if (*input_line_pointer == '"')
2525 1.1.1.9 christos {
2526 1.1.1.9 christos ++input_line_pointer;
2527 1.1.1.9 christos continue;
2528 1.1.1.9 christos }
2529 1.1.1.9 christos input_line_pointer = ilp_save;
2530 1.1.1.9 christos break;
2531 1.1.1.9 christos }
2532 1.1.1.9 christos
2533 1.1.1.9 christos if (c == '\\')
2534 1.1.1.9 christos switch (*input_line_pointer)
2535 1.1.1.9 christos {
2536 1.1.1.9 christos case '"':
2537 1.1.1.9 christos case '\\':
2538 1.1.1.9 christos c = *input_line_pointer++;
2539 1.1.1.9 christos break;
2540 1.1.1.9 christos
2541 1.1.1.9 christos default:
2542 1.1.1.9 christos if (c != 0)
2543 1.1.1.9 christos as_warn (_("'\\%c' in quoted symbol name; "
2544 1.1.1.4 christos "behavior may change in the future"),
2545 1.1 skrll *input_line_pointer);
2546 1.1.1.4 christos break;
2547 1.1.1.4 christos }
2548 1.1.1.4 christos
2549 1.1.1.4 christos *dst++ = c;
2550 1.1.1.4 christos }
2551 1.1.1.4 christos *dst = 0;
2552 1.1.1.4 christos }
2553 1.1.1.4 christos *--input_line_pointer = 0;
2554 1.1.1.4 christos return c;
2555 1.1.1.4 christos }
2556 1.1.1.4 christos
2557 1.1.1.4 christos /* Replace the NUL character pointed to by input_line_pointer
2558 1.1.1.4 christos with C. If C is \" then advance past it. Return the character
2559 1.1.1.4 christos now pointed to by input_line_pointer. */
2560 1.1 skrll
2561 1.1 skrll char
2562 1.1 skrll restore_line_pointer (char c)
2563 1.1 skrll {
2564 1.1 skrll * input_line_pointer = c;
2565 1.1 skrll if (c == '"')
2566 1.1 skrll c = * ++ input_line_pointer;
2567 1.1 skrll return c;
2568 1.1 skrll }
2569
2570 unsigned int
2571 get_single_number (void)
2572 {
2573 expressionS exp;
2574 operand (&exp, expr_normal);
2575 return exp.X_add_number;
2576 }
2577