* elf32-m32c.c (ELF_MAXPAGESIZE): Change page size to 256 bytes.
[deliverable/binutils-gdb.git] / gas / config / tc-mn10300.c
CommitLineData
252b5132 1/* tc-mn10300.c -- Assembler code for the Matsushita 10300
8ad7c533 2 Copyright 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005,
87975d2a 3 2006, 2007, 2008, 2009, 2010 Free Software Foundation, Inc.
252b5132
RH
4
5 This file is part of GAS, the GNU Assembler.
6
7 GAS is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
ec2655a6 9 the Free Software Foundation; either version 3, or (at your option)
252b5132
RH
10 any later version.
11
12 GAS is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
16
17 You should have received a copy of the GNU General Public License
18 along with GAS; see the file COPYING. If not, write to
4b4da160
NC
19 the Free Software Foundation, 51 Franklin Street - Fifth Floor,
20 Boston, MA 02110-1301, USA. */
252b5132 21
252b5132 22#include "as.h"
3882b010 23#include "safe-ctype.h"
87271fa6 24#include "subsegs.h"
252b5132 25#include "opcode/mn10300.h"
e8b1cae5 26#include "dwarf2dbg.h"
603b7257 27#include "libiberty.h"
252b5132
RH
28\f
29/* Structure to hold information about predefined registers. */
30struct reg_name
31{
32 const char *name;
33 int value;
34};
35
87271fa6
NC
36/* Generic assembler global variables which must be defined by all
37 targets. */
252b5132 38
87271fa6 39/* Characters which always start a comment. */
252b5132
RH
40const char comment_chars[] = "#";
41
42/* Characters which start a comment at the beginning of a line. */
43const char line_comment_chars[] = ";#";
44
87271fa6 45/* Characters which may be used to separate multiple commands on a
252b5132
RH
46 single line. */
47const char line_separator_chars[] = ";";
48
87271fa6 49/* Characters which are used to indicate an exponent in a floating
252b5132
RH
50 point number. */
51const char EXP_CHARS[] = "eE";
52
87271fa6 53/* Characters which mean that a number is a floating point constant,
252b5132
RH
54 as in 0d1.0. */
55const char FLT_CHARS[] = "dD";
56\f
dae1b34e
NC
57const relax_typeS md_relax_table[] =
58{
59 /* The plus values for the bCC and fBCC instructions in the table below
60 are because the branch instruction is translated into a jump
61 instruction that is now +2 or +3 bytes further on in memory, and the
62 correct size of jump instruction must be selected. */
603b7257 63 /* bCC relaxing. */
252b5132 64 {0x7f, -0x80, 2, 1},
dae1b34e 65 {0x7fff + 2, -0x8000 + 2, 5, 2},
252b5132
RH
66 {0x7fffffff, -0x80000000, 7, 0},
67
dae1b34e 68 /* bCC relaxing (uncommon cases for 3byte length instructions) */
252b5132 69 {0x7f, -0x80, 3, 4},
dae1b34e 70 {0x7fff + 3, -0x8000 + 3, 6, 5},
252b5132
RH
71 {0x7fffffff, -0x80000000, 8, 0},
72
603b7257 73 /* call relaxing. */
252b5132
RH
74 {0x7fff, -0x8000, 5, 7},
75 {0x7fffffff, -0x80000000, 7, 0},
76
603b7257 77 /* calls relaxing. */
252b5132
RH
78 {0x7fff, -0x8000, 4, 9},
79 {0x7fffffff, -0x80000000, 6, 0},
80
603b7257 81 /* jmp relaxing. */
252b5132
RH
82 {0x7f, -0x80, 2, 11},
83 {0x7fff, -0x8000, 3, 12},
84 {0x7fffffff, -0x80000000, 5, 0},
85
603b7257 86 /* fbCC relaxing. */
e7b71525 87 {0x7f, -0x80, 3, 14},
dae1b34e 88 {0x7fff + 3, -0x8000 + 3, 6, 15},
e7b71525
AO
89 {0x7fffffff, -0x80000000, 8, 0},
90
252b5132
RH
91};
92
1485d400
EC
93/* Set linkrelax here to avoid fixups in most sections. */
94int linkrelax = 1;
95
252b5132
RH
96static int current_machine;
97
87271fa6 98/* Fixups. */
603b7257
NC
99#define MAX_INSN_FIXUPS 5
100
252b5132
RH
101struct mn10300_fixup
102{
103 expressionS exp;
104 int opindex;
105 bfd_reloc_code_real_type reloc;
106};
107struct mn10300_fixup fixups[MAX_INSN_FIXUPS];
108static int fc;
109
110/* We must store the value of each register operand so that we can
111 verify that certain registers do not match. */
112int mn10300_reg_operands[MN10300_MAX_OPERANDS];
113\f
114const char *md_shortopts = "";
252b5132 115
603b7257 116struct option md_longopts[] =
252b5132 117{
603b7257 118 {NULL, no_argument, NULL, 0}
252b5132
RH
119};
120
603b7257
NC
121size_t md_longopts_size = sizeof (md_longopts);
122
e7b71525 123#define HAVE_AM33_2 (current_machine == AM33_2)
603b7257
NC
124#define HAVE_AM33 (current_machine == AM33 || HAVE_AM33_2)
125#define HAVE_AM30 (current_machine == AM30)
0a727238 126
252b5132
RH
127/* Opcode hash table. */
128static struct hash_control *mn10300_hash;
129
87271fa6 130/* This table is sorted. Suitable for searching by a binary search. */
252b5132
RH
131static const struct reg_name data_registers[] =
132{
133 { "d0", 0 },
134 { "d1", 1 },
135 { "d2", 2 },
136 { "d3", 3 },
137};
252b5132
RH
138
139static const struct reg_name address_registers[] =
140{
141 { "a0", 0 },
142 { "a1", 1 },
143 { "a2", 2 },
144 { "a3", 3 },
145};
87271fa6 146
85cb2cf9
JL
147static const struct reg_name r_registers[] =
148{
149 { "a0", 8 },
150 { "a1", 9 },
151 { "a2", 10 },
152 { "a3", 11 },
153 { "d0", 12 },
154 { "d1", 13 },
155 { "d2", 14 },
156 { "d3", 15 },
157 { "e0", 0 },
158 { "e1", 1 },
159 { "e10", 10 },
160 { "e11", 11 },
161 { "e12", 12 },
162 { "e13", 13 },
163 { "e14", 14 },
164 { "e15", 15 },
165 { "e2", 2 },
166 { "e3", 3 },
167 { "e4", 4 },
168 { "e5", 5 },
169 { "e6", 6 },
170 { "e7", 7 },
171 { "e8", 8 },
172 { "e9", 9 },
173 { "r0", 0 },
174 { "r1", 1 },
175 { "r10", 10 },
176 { "r11", 11 },
177 { "r12", 12 },
178 { "r13", 13 },
179 { "r14", 14 },
180 { "r15", 15 },
181 { "r2", 2 },
182 { "r3", 3 },
183 { "r4", 4 },
184 { "r5", 5 },
185 { "r6", 6 },
186 { "r7", 7 },
187 { "r8", 8 },
188 { "r9", 9 },
189};
87271fa6 190
85cb2cf9
JL
191static const struct reg_name xr_registers[] =
192{
193 { "mcrh", 2 },
194 { "mcrl", 3 },
195 { "mcvf", 4 },
196 { "mdrq", 1 },
197 { "sp", 0 },
198 { "xr0", 0 },
199 { "xr1", 1 },
200 { "xr10", 10 },
201 { "xr11", 11 },
202 { "xr12", 12 },
203 { "xr13", 13 },
204 { "xr14", 14 },
205 { "xr15", 15 },
206 { "xr2", 2 },
207 { "xr3", 3 },
208 { "xr4", 4 },
209 { "xr5", 5 },
210 { "xr6", 6 },
211 { "xr7", 7 },
212 { "xr8", 8 },
213 { "xr9", 9 },
214};
85cb2cf9 215
e7b71525
AO
216static const struct reg_name float_registers[] =
217{
218 { "fs0", 0 },
219 { "fs1", 1 },
220 { "fs10", 10 },
221 { "fs11", 11 },
222 { "fs12", 12 },
223 { "fs13", 13 },
224 { "fs14", 14 },
225 { "fs15", 15 },
226 { "fs16", 16 },
227 { "fs17", 17 },
228 { "fs18", 18 },
229 { "fs19", 19 },
230 { "fs2", 2 },
231 { "fs20", 20 },
232 { "fs21", 21 },
233 { "fs22", 22 },
234 { "fs23", 23 },
235 { "fs24", 24 },
236 { "fs25", 25 },
237 { "fs26", 26 },
238 { "fs27", 27 },
239 { "fs28", 28 },
240 { "fs29", 29 },
241 { "fs3", 3 },
242 { "fs30", 30 },
243 { "fs31", 31 },
244 { "fs4", 4 },
245 { "fs5", 5 },
246 { "fs6", 6 },
247 { "fs7", 7 },
248 { "fs8", 8 },
249 { "fs9", 9 },
250};
251
e7b71525
AO
252static const struct reg_name double_registers[] =
253{
254 { "fd0", 0 },
255 { "fd10", 10 },
256 { "fd12", 12 },
257 { "fd14", 14 },
258 { "fd16", 16 },
259 { "fd18", 18 },
260 { "fd2", 2 },
261 { "fd20", 20 },
262 { "fd22", 22 },
263 { "fd24", 24 },
264 { "fd26", 26 },
265 { "fd28", 28 },
266 { "fd30", 30 },
267 { "fd4", 4 },
268 { "fd6", 6 },
269 { "fd8", 8 },
270};
271
603b7257
NC
272/* We abuse the `value' field, that would be otherwise unused, to
273 encode the architecture on which (access to) the register was
274 introduced. FIXME: we should probably warn when we encounter a
275 register name when assembling for an architecture that doesn't
276 support it, before parsing it as a symbol name. */
277static const struct reg_name other_registers[] =
278{
279 { "epsw", AM33 },
280 { "mdr", 0 },
281 { "pc", AM33 },
282 { "psw", 0 },
283 { "sp", 0 },
284};
e7b71525 285
603b7257 286#define OTHER_REG_NAME_CNT ARRAY_SIZE (other_registers)
e7b71525 287
603b7257
NC
288/* Perform a binary search of the given register table REGS to see
289 if NAME is a valid regiter name. Returns the register number from
290 the array on success, or -1 on failure. */
252b5132
RH
291
292static int
603b7257
NC
293reg_name_search (const struct reg_name *regs,
294 int regcount,
295 const char *name)
252b5132 296{
603b7257 297 int low, high;
252b5132
RH
298
299 low = 0;
300 high = regcount - 1;
301
302 do
303 {
603b7257
NC
304 int cmp, middle;
305
252b5132
RH
306 middle = (low + high) / 2;
307 cmp = strcasecmp (name, regs[middle].name);
308 if (cmp < 0)
309 high = middle - 1;
310 else if (cmp > 0)
311 low = middle + 1;
87271fa6
NC
312 else
313 return regs[middle].value;
252b5132
RH
314 }
315 while (low <= high);
603b7257 316
252b5132
RH
317 return -1;
318}
319
603b7257
NC
320/* Looks at the current position in the input line to see if it is
321 the name of a register in TABLE. If it is, then the name is
322 converted into an expression returned in EXPRESSIONP (with X_op
323 set to O_register and X_add_number set to the register number), the
324 input pointer is left pointing at the first non-blank character after
325 the name and the function returns TRUE. Otherwise the input pointer
326 is left alone and the function returns FALSE. */
87271fa6 327
b34976b6 328static bfd_boolean
603b7257
NC
329get_register_name (expressionS * expressionP,
330 const struct reg_name * table,
331 size_t table_length)
85cb2cf9
JL
332{
333 int reg_number;
334 char *name;
335 char *start;
336 char c;
337
87271fa6 338 /* Find the spelling of the operand. */
85cb2cf9
JL
339 start = name = input_line_pointer;
340
341 c = get_symbol_end ();
603b7257 342 reg_number = reg_name_search (table, table_length, name);
85cb2cf9 343
468cced8
AM
344 /* Put back the delimiting char. */
345 *input_line_pointer = c;
346
87271fa6
NC
347 /* Look to see if it's in the register table. */
348 if (reg_number >= 0)
85cb2cf9
JL
349 {
350 expressionP->X_op = O_register;
351 expressionP->X_add_number = reg_number;
352
87271fa6 353 /* Make the rest nice. */
85cb2cf9
JL
354 expressionP->X_add_symbol = NULL;
355 expressionP->X_op_symbol = NULL;
87271fa6 356
b34976b6 357 return TRUE;
85cb2cf9 358 }
87271fa6 359
468cced8
AM
360 /* Reset the line as if we had not done anything. */
361 input_line_pointer = start;
b34976b6 362 return FALSE;
85cb2cf9
JL
363}
364
b34976b6 365static bfd_boolean
603b7257 366r_register_name (expressionS *expressionP)
85cb2cf9 367{
603b7257 368 return get_register_name (expressionP, r_registers, ARRAY_SIZE (r_registers));
85cb2cf9 369}
252b5132 370
87271fa6 371
b34976b6 372static bfd_boolean
603b7257 373xr_register_name (expressionS *expressionP)
252b5132 374{
603b7257 375 return get_register_name (expressionP, xr_registers, ARRAY_SIZE (xr_registers));
252b5132
RH
376}
377
b34976b6 378static bfd_boolean
603b7257 379data_register_name (expressionS *expressionP)
252b5132 380{
603b7257 381 return get_register_name (expressionP, data_registers, ARRAY_SIZE (data_registers));
252b5132
RH
382}
383
b34976b6 384static bfd_boolean
603b7257 385address_register_name (expressionS *expressionP)
252b5132 386{
603b7257 387 return get_register_name (expressionP, address_registers, ARRAY_SIZE (address_registers));
252b5132
RH
388}
389
e7b71525 390static bfd_boolean
603b7257 391float_register_name (expressionS *expressionP)
e7b71525 392{
603b7257 393 return get_register_name (expressionP, float_registers, ARRAY_SIZE (float_registers));
e7b71525
AO
394}
395
603b7257
NC
396static bfd_boolean
397double_register_name (expressionS *expressionP)
398{
399 return get_register_name (expressionP, double_registers, ARRAY_SIZE (double_registers));
400}
e7b71525
AO
401
402static bfd_boolean
603b7257 403other_register_name (expressionS *expressionP)
e7b71525
AO
404{
405 int reg_number;
406 char *name;
407 char *start;
408 char c;
409
410 /* Find the spelling of the operand. */
411 start = name = input_line_pointer;
412
413 c = get_symbol_end ();
603b7257 414 reg_number = reg_name_search (other_registers, ARRAY_SIZE (other_registers), name);
e7b71525
AO
415
416 /* Put back the delimiting char. */
603b7257 417 *input_line_pointer = c;
e7b71525
AO
418
419 /* Look to see if it's in the register table. */
603b7257
NC
420 if (reg_number == 0
421 || (reg_number == AM33 && HAVE_AM33))
e7b71525
AO
422 {
423 expressionP->X_op = O_register;
603b7257 424 expressionP->X_add_number = 0;
e7b71525
AO
425
426 /* Make the rest nice. */
427 expressionP->X_add_symbol = NULL;
428 expressionP->X_op_symbol = NULL;
429
430 return TRUE;
431 }
432
433 /* Reset the line as if we had not done anything. */
434 input_line_pointer = start;
435 return FALSE;
436}
437
252b5132 438void
603b7257 439md_show_usage (FILE *stream)
252b5132 440{
b3549761 441 fprintf (stream, _("MN10300 assembler options:\n\
252b5132 442none yet\n"));
87271fa6 443}
252b5132
RH
444
445int
603b7257 446md_parse_option (int c ATTRIBUTE_UNUSED, char *arg ATTRIBUTE_UNUSED)
252b5132
RH
447{
448 return 0;
449}
450
451symbolS *
603b7257 452md_undefined_symbol (char *name ATTRIBUTE_UNUSED)
252b5132
RH
453{
454 return 0;
455}
456
457char *
499ac353 458md_atof (int type, char *litp, int *sizep)
252b5132 459{
499ac353 460 return ieee_md_atof (type, litp, sizep, FALSE);
252b5132
RH
461}
462
252b5132 463void
603b7257
NC
464md_convert_frag (bfd *abfd ATTRIBUTE_UNUSED,
465 asection *sec,
466 fragS *fragP)
252b5132
RH
467{
468 static unsigned long label_count = 0;
469 char buf[40];
470
471 subseg_change (sec, 0);
472 if (fragP->fr_subtype == 0)
473 {
474 fix_new (fragP, fragP->fr_fix + 1, 1, fragP->fr_symbol,
475 fragP->fr_offset + 1, 1, BFD_RELOC_8_PCREL);
476 fragP->fr_var = 0;
477 fragP->fr_fix += 2;
478 }
479 else if (fragP->fr_subtype == 1)
480 {
481 /* Reverse the condition of the first branch. */
482 int offset = fragP->fr_fix;
483 int opcode = fragP->fr_literal[offset] & 0xff;
484
485 switch (opcode)
486 {
487 case 0xc8:
488 opcode = 0xc9;
489 break;
490 case 0xc9:
491 opcode = 0xc8;
492 break;
493 case 0xc0:
494 opcode = 0xc2;
495 break;
496 case 0xc2:
497 opcode = 0xc0;
498 break;
499 case 0xc3:
500 opcode = 0xc1;
501 break;
502 case 0xc1:
503 opcode = 0xc3;
504 break;
505 case 0xc4:
506 opcode = 0xc6;
507 break;
508 case 0xc6:
509 opcode = 0xc4;
510 break;
511 case 0xc7:
512 opcode = 0xc5;
513 break;
514 case 0xc5:
515 opcode = 0xc7;
516 break;
517 default:
518 abort ();
519 }
520 fragP->fr_literal[offset] = opcode;
521
522 /* Create a fixup for the reversed conditional branch. */
0aa529cb 523 sprintf (buf, ".%s_%ld", FAKE_LABEL_NAME, label_count++);
252b5132
RH
524 fix_new (fragP, fragP->fr_fix + 1, 1,
525 symbol_new (buf, sec, 0, fragP->fr_next),
526 fragP->fr_offset + 1, 1, BFD_RELOC_8_PCREL);
527
528 /* Now create the unconditional branch + fixup to the
529 final target. */
530 fragP->fr_literal[offset + 2] = 0xcc;
531 fix_new (fragP, fragP->fr_fix + 3, 2, fragP->fr_symbol,
532 fragP->fr_offset + 1, 1, BFD_RELOC_16_PCREL);
533 fragP->fr_var = 0;
534 fragP->fr_fix += 5;
535 }
536 else if (fragP->fr_subtype == 2)
537 {
538 /* Reverse the condition of the first branch. */
539 int offset = fragP->fr_fix;
540 int opcode = fragP->fr_literal[offset] & 0xff;
541
542 switch (opcode)
543 {
544 case 0xc8:
545 opcode = 0xc9;
546 break;
547 case 0xc9:
548 opcode = 0xc8;
549 break;
550 case 0xc0:
551 opcode = 0xc2;
552 break;
553 case 0xc2:
554 opcode = 0xc0;
555 break;
556 case 0xc3:
557 opcode = 0xc1;
558 break;
559 case 0xc1:
560 opcode = 0xc3;
561 break;
562 case 0xc4:
563 opcode = 0xc6;
564 break;
565 case 0xc6:
566 opcode = 0xc4;
567 break;
568 case 0xc7:
569 opcode = 0xc5;
570 break;
571 case 0xc5:
572 opcode = 0xc7;
573 break;
574 default:
575 abort ();
576 }
577 fragP->fr_literal[offset] = opcode;
578
579 /* Create a fixup for the reversed conditional branch. */
0aa529cb 580 sprintf (buf, ".%s_%ld", FAKE_LABEL_NAME, label_count++);
252b5132
RH
581 fix_new (fragP, fragP->fr_fix + 1, 1,
582 symbol_new (buf, sec, 0, fragP->fr_next),
583 fragP->fr_offset + 1, 1, BFD_RELOC_8_PCREL);
584
585 /* Now create the unconditional branch + fixup to the
586 final target. */
587 fragP->fr_literal[offset + 2] = 0xdc;
588 fix_new (fragP, fragP->fr_fix + 3, 4, fragP->fr_symbol,
589 fragP->fr_offset + 1, 1, BFD_RELOC_32_PCREL);
590 fragP->fr_var = 0;
591 fragP->fr_fix += 7;
592 }
593 else if (fragP->fr_subtype == 3)
594 {
595 fix_new (fragP, fragP->fr_fix + 2, 1, fragP->fr_symbol,
596 fragP->fr_offset + 2, 1, BFD_RELOC_8_PCREL);
597 fragP->fr_var = 0;
598 fragP->fr_fix += 3;
599 }
600 else if (fragP->fr_subtype == 4)
601 {
602 /* Reverse the condition of the first branch. */
603 int offset = fragP->fr_fix;
604 int opcode = fragP->fr_literal[offset + 1] & 0xff;
605
606 switch (opcode)
607 {
608 case 0xe8:
609 opcode = 0xe9;
610 break;
611 case 0xe9:
612 opcode = 0xe8;
613 break;
614 case 0xea:
615 opcode = 0xeb;
616 break;
617 case 0xeb:
618 opcode = 0xea;
619 break;
620 default:
621 abort ();
622 }
623 fragP->fr_literal[offset + 1] = opcode;
624
625 /* Create a fixup for the reversed conditional branch. */
0aa529cb 626 sprintf (buf, ".%s_%ld", FAKE_LABEL_NAME, label_count++);
252b5132
RH
627 fix_new (fragP, fragP->fr_fix + 2, 1,
628 symbol_new (buf, sec, 0, fragP->fr_next),
629 fragP->fr_offset + 2, 1, BFD_RELOC_8_PCREL);
630
631 /* Now create the unconditional branch + fixup to the
632 final target. */
633 fragP->fr_literal[offset + 3] = 0xcc;
634 fix_new (fragP, fragP->fr_fix + 4, 2, fragP->fr_symbol,
635 fragP->fr_offset + 1, 1, BFD_RELOC_16_PCREL);
636 fragP->fr_var = 0;
637 fragP->fr_fix += 6;
638 }
639 else if (fragP->fr_subtype == 5)
640 {
641 /* Reverse the condition of the first branch. */
642 int offset = fragP->fr_fix;
643 int opcode = fragP->fr_literal[offset + 1] & 0xff;
644
645 switch (opcode)
646 {
647 case 0xe8:
648 opcode = 0xe9;
649 break;
650 case 0xea:
651 opcode = 0xeb;
652 break;
653 case 0xeb:
654 opcode = 0xea;
655 break;
656 default:
657 abort ();
658 }
659 fragP->fr_literal[offset + 1] = opcode;
660
661 /* Create a fixup for the reversed conditional branch. */
0aa529cb 662 sprintf (buf, ".%s_%ld", FAKE_LABEL_NAME, label_count++);
252b5132
RH
663 fix_new (fragP, fragP->fr_fix + 2, 1,
664 symbol_new (buf, sec, 0, fragP->fr_next),
665 fragP->fr_offset + 2, 1, BFD_RELOC_8_PCREL);
666
667 /* Now create the unconditional branch + fixup to the
668 final target. */
669 fragP->fr_literal[offset + 3] = 0xdc;
670 fix_new (fragP, fragP->fr_fix + 4, 4, fragP->fr_symbol,
671 fragP->fr_offset + 1, 1, BFD_RELOC_32_PCREL);
672 fragP->fr_var = 0;
673 fragP->fr_fix += 8;
674 }
675 else if (fragP->fr_subtype == 6)
676 {
677 int offset = fragP->fr_fix;
ca75ed2d 678
252b5132
RH
679 fragP->fr_literal[offset] = 0xcd;
680 fix_new (fragP, fragP->fr_fix + 1, 2, fragP->fr_symbol,
681 fragP->fr_offset + 1, 1, BFD_RELOC_16_PCREL);
682 fragP->fr_var = 0;
683 fragP->fr_fix += 5;
684 }
685 else if (fragP->fr_subtype == 7)
686 {
687 int offset = fragP->fr_fix;
ca75ed2d 688
252b5132
RH
689 fragP->fr_literal[offset] = 0xdd;
690 fragP->fr_literal[offset + 5] = fragP->fr_literal[offset + 3];
691 fragP->fr_literal[offset + 6] = fragP->fr_literal[offset + 4];
692
693 fix_new (fragP, fragP->fr_fix + 1, 4, fragP->fr_symbol,
694 fragP->fr_offset + 1, 1, BFD_RELOC_32_PCREL);
695 fragP->fr_var = 0;
696 fragP->fr_fix += 7;
697 }
698 else if (fragP->fr_subtype == 8)
699 {
700 int offset = fragP->fr_fix;
ca75ed2d 701
252b5132
RH
702 fragP->fr_literal[offset] = 0xfa;
703 fragP->fr_literal[offset + 1] = 0xff;
704 fix_new (fragP, fragP->fr_fix + 2, 2, fragP->fr_symbol,
705 fragP->fr_offset + 2, 1, BFD_RELOC_16_PCREL);
706 fragP->fr_var = 0;
707 fragP->fr_fix += 4;
708 }
709 else if (fragP->fr_subtype == 9)
710 {
711 int offset = fragP->fr_fix;
ca75ed2d 712
252b5132
RH
713 fragP->fr_literal[offset] = 0xfc;
714 fragP->fr_literal[offset + 1] = 0xff;
715
716 fix_new (fragP, fragP->fr_fix + 2, 4, fragP->fr_symbol,
717 fragP->fr_offset + 2, 1, BFD_RELOC_32_PCREL);
718 fragP->fr_var = 0;
719 fragP->fr_fix += 6;
720 }
721 else if (fragP->fr_subtype == 10)
722 {
723 fragP->fr_literal[fragP->fr_fix] = 0xca;
724 fix_new (fragP, fragP->fr_fix + 1, 1, fragP->fr_symbol,
725 fragP->fr_offset + 1, 1, BFD_RELOC_8_PCREL);
726 fragP->fr_var = 0;
727 fragP->fr_fix += 2;
728 }
729 else if (fragP->fr_subtype == 11)
730 {
731 int offset = fragP->fr_fix;
ca75ed2d 732
252b5132
RH
733 fragP->fr_literal[offset] = 0xcc;
734
acb02403 735 fix_new (fragP, fragP->fr_fix + 1, 2, fragP->fr_symbol,
252b5132
RH
736 fragP->fr_offset + 1, 1, BFD_RELOC_16_PCREL);
737 fragP->fr_var = 0;
738 fragP->fr_fix += 3;
739 }
740 else if (fragP->fr_subtype == 12)
741 {
742 int offset = fragP->fr_fix;
ca75ed2d 743
252b5132
RH
744 fragP->fr_literal[offset] = 0xdc;
745
746 fix_new (fragP, fragP->fr_fix + 1, 4, fragP->fr_symbol,
747 fragP->fr_offset + 1, 1, BFD_RELOC_32_PCREL);
748 fragP->fr_var = 0;
749 fragP->fr_fix += 5;
750 }
e7b71525
AO
751 else if (fragP->fr_subtype == 13)
752 {
753 fix_new (fragP, fragP->fr_fix + 2, 1, fragP->fr_symbol,
754 fragP->fr_offset + 2, 1, BFD_RELOC_8_PCREL);
755 fragP->fr_var = 0;
756 fragP->fr_fix += 3;
757 }
758 else if (fragP->fr_subtype == 14)
759 {
760 /* Reverse the condition of the first branch. */
761 int offset = fragP->fr_fix;
762 int opcode = fragP->fr_literal[offset + 1] & 0xff;
763
764 switch (opcode)
765 {
766 case 0xd0:
767 opcode = 0xd1;
768 break;
769 case 0xd1:
770 opcode = 0xd0;
771 break;
772 case 0xd2:
773 opcode = 0xdc;
774 break;
775 case 0xd3:
776 opcode = 0xdb;
777 break;
778 case 0xd4:
779 opcode = 0xda;
780 break;
781 case 0xd5:
782 opcode = 0xd9;
783 break;
784 case 0xd6:
785 opcode = 0xd8;
786 break;
787 case 0xd7:
788 opcode = 0xdd;
789 break;
790 case 0xd8:
791 opcode = 0xd6;
792 break;
793 case 0xd9:
794 opcode = 0xd5;
795 break;
796 case 0xda:
797 opcode = 0xd4;
798 break;
799 case 0xdb:
800 opcode = 0xd3;
801 break;
802 case 0xdc:
803 opcode = 0xd2;
804 break;
805 case 0xdd:
806 opcode = 0xd7;
807 break;
808 default:
809 abort ();
810 }
811 fragP->fr_literal[offset + 1] = opcode;
812
813 /* Create a fixup for the reversed conditional branch. */
814 sprintf (buf, ".%s_%ld", FAKE_LABEL_NAME, label_count++);
815 fix_new (fragP, fragP->fr_fix + 2, 1,
816 symbol_new (buf, sec, 0, fragP->fr_next),
817 fragP->fr_offset + 2, 1, BFD_RELOC_8_PCREL);
818
819 /* Now create the unconditional branch + fixup to the
820 final target. */
821 fragP->fr_literal[offset + 3] = 0xcc;
822 fix_new (fragP, fragP->fr_fix + 4, 2, fragP->fr_symbol,
823 fragP->fr_offset + 1, 1, BFD_RELOC_16_PCREL);
824 fragP->fr_var = 0;
825 fragP->fr_fix += 6;
826 }
827 else if (fragP->fr_subtype == 15)
828 {
829 /* Reverse the condition of the first branch. */
830 int offset = fragP->fr_fix;
831 int opcode = fragP->fr_literal[offset + 1] & 0xff;
832
833 switch (opcode)
834 {
835 case 0xd0:
836 opcode = 0xd1;
837 break;
838 case 0xd1:
839 opcode = 0xd0;
840 break;
841 case 0xd2:
842 opcode = 0xdc;
843 break;
844 case 0xd3:
845 opcode = 0xdb;
846 break;
847 case 0xd4:
848 opcode = 0xda;
849 break;
850 case 0xd5:
851 opcode = 0xd9;
852 break;
853 case 0xd6:
854 opcode = 0xd8;
855 break;
856 case 0xd7:
857 opcode = 0xdd;
858 break;
859 case 0xd8:
860 opcode = 0xd6;
861 break;
862 case 0xd9:
863 opcode = 0xd5;
864 break;
865 case 0xda:
866 opcode = 0xd4;
867 break;
868 case 0xdb:
869 opcode = 0xd3;
870 break;
871 case 0xdc:
872 opcode = 0xd2;
873 break;
874 case 0xdd:
875 opcode = 0xd7;
876 break;
877 default:
878 abort ();
879 }
880 fragP->fr_literal[offset + 1] = opcode;
881
882 /* Create a fixup for the reversed conditional branch. */
883 sprintf (buf, ".%s_%ld", FAKE_LABEL_NAME, label_count++);
884 fix_new (fragP, fragP->fr_fix + 2, 1,
885 symbol_new (buf, sec, 0, fragP->fr_next),
886 fragP->fr_offset + 2, 1, BFD_RELOC_8_PCREL);
887
888 /* Now create the unconditional branch + fixup to the
889 final target. */
890 fragP->fr_literal[offset + 3] = 0xdc;
891 fix_new (fragP, fragP->fr_fix + 4, 4, fragP->fr_symbol,
892 fragP->fr_offset + 1, 1, BFD_RELOC_32_PCREL);
893 fragP->fr_var = 0;
894 fragP->fr_fix += 8;
895 }
252b5132
RH
896 else
897 abort ();
898}
899
900valueT
603b7257 901md_section_align (asection *seg, valueT addr)
252b5132
RH
902{
903 int align = bfd_get_section_alignment (stdoutput, seg);
603b7257 904
252b5132
RH
905 return ((addr + (1 << align) - 1) & (-1 << align));
906}
907
908void
603b7257 909md_begin (void)
252b5132
RH
910{
911 char *prev_name = "";
603b7257 912 const struct mn10300_opcode *op;
252b5132 913
87271fa6 914 mn10300_hash = hash_new ();
252b5132
RH
915
916 /* Insert unique names into hash table. The MN10300 instruction set
917 has many identical opcode names that have different opcodes based
918 on the operands. This hash table then provides a quick index to
919 the first opcode with a particular name in the opcode table. */
920
921 op = mn10300_opcodes;
922 while (op->name)
923 {
87271fa6 924 if (strcmp (prev_name, op->name))
252b5132
RH
925 {
926 prev_name = (char *) op->name;
927 hash_insert (mn10300_hash, op->name, (char *) op);
928 }
929 op++;
930 }
931
252b5132 932 /* Set the default machine type. */
2ce28d43
AO
933#ifdef TE_LINUX
934 if (!bfd_set_arch_mach (stdoutput, bfd_arch_mn10300, AM33_2))
935 as_warn (_("could not set architecture and machine"));
936
937 current_machine = AM33_2;
938#else
0a727238 939 if (!bfd_set_arch_mach (stdoutput, bfd_arch_mn10300, MN103))
252b5132
RH
940 as_warn (_("could not set architecture and machine"));
941
0a727238 942 current_machine = MN103;
2ce28d43 943#endif
252b5132
RH
944}
945
bf6f0d0c
AO
946static symbolS *GOT_symbol;
947
bf6f0d0c 948static inline int
603b7257 949mn10300_PIC_related_p (symbolS *sym)
bf6f0d0c
AO
950{
951 expressionS *exp;
952
953 if (! sym)
954 return 0;
955
956 if (sym == GOT_symbol)
957 return 1;
958
959 exp = symbol_get_value_expression (sym);
960
961 return (exp->X_op == O_PIC_reloc
962 || mn10300_PIC_related_p (exp->X_add_symbol)
963 || mn10300_PIC_related_p (exp->X_op_symbol));
964}
965
966static inline int
603b7257 967mn10300_check_fixup (struct mn10300_fixup *fixup)
bf6f0d0c
AO
968{
969 expressionS *exp = &fixup->exp;
970
971 repeat:
972 switch (exp->X_op)
973 {
974 case O_add:
975 case O_subtract: /* If we're sufficiently unlucky that the label
976 and the expression that references it happen
977 to end up in different frags, the subtract
978 won't be simplified within expression(). */
979 /* The PIC-related operand must be the first operand of a sum. */
980 if (exp != &fixup->exp || mn10300_PIC_related_p (exp->X_op_symbol))
981 return 1;
982
983 if (exp->X_add_symbol && exp->X_add_symbol == GOT_symbol)
984 fixup->reloc = BFD_RELOC_32_GOT_PCREL;
985
986 exp = symbol_get_value_expression (exp->X_add_symbol);
987 goto repeat;
988
989 case O_symbol:
990 if (exp->X_add_symbol && exp->X_add_symbol == GOT_symbol)
991 fixup->reloc = BFD_RELOC_32_GOT_PCREL;
992 break;
993
994 case O_PIC_reloc:
995 fixup->reloc = exp->X_md;
996 exp->X_op = O_symbol;
997 if (fixup->reloc == BFD_RELOC_32_PLT_PCREL
998 && fixup->opindex >= 0
999 && (mn10300_operands[fixup->opindex].flags
1000 & MN10300_OPERAND_RELAX))
1001 return 1;
1002 break;
1003
1004 default:
1005 return (mn10300_PIC_related_p (exp->X_add_symbol)
1006 || mn10300_PIC_related_p (exp->X_op_symbol));
1007 }
1008
1009 return 0;
1010}
1011
1012void
603b7257 1013mn10300_cons_fix_new (fragS *frag, int off, int size, expressionS *exp)
bf6f0d0c
AO
1014{
1015 struct mn10300_fixup fixup;
1016
1017 fixup.opindex = -1;
1018 fixup.exp = *exp;
1019 fixup.reloc = BFD_RELOC_UNUSED;
1020
1021 mn10300_check_fixup (&fixup);
1022
1023 if (fixup.reloc == BFD_RELOC_MN10300_GOT32)
1024 switch (size)
1025 {
1026 case 2:
1027 fixup.reloc = BFD_RELOC_MN10300_GOT16;
1028 break;
1029
1030 case 3:
1031 fixup.reloc = BFD_RELOC_MN10300_GOT24;
1032 break;
1033
1034 case 4:
1035 break;
1036
1037 default:
1038 goto error;
1039 }
1040 else if (fixup.reloc == BFD_RELOC_UNUSED)
1041 switch (size)
1042 {
1043 case 1:
1044 fixup.reloc = BFD_RELOC_8;
1045 break;
1046
1047 case 2:
1048 fixup.reloc = BFD_RELOC_16;
1049 break;
1050
1051 case 3:
1052 fixup.reloc = BFD_RELOC_24;
1053 break;
1054
1055 case 4:
1056 fixup.reloc = BFD_RELOC_32;
1057 break;
1058
1059 default:
1060 goto error;
1061 }
1062 else if (size != 4)
1063 {
1064 error:
1065 as_bad (_("unsupported BFD relocation size %u"), size);
1066 fixup.reloc = BFD_RELOC_UNUSED;
1067 }
1068
1069 fix_new_exp (frag, off, size, &fixup.exp, 0, fixup.reloc);
1070}
1071
603b7257
NC
1072static bfd_boolean
1073check_operand (const struct mn10300_operand *operand,
1074 offsetT val)
1075{
1076 /* No need to check 32bit operands for a bit. Note that
1077 MN10300_OPERAND_SPLIT is an implicit 32bit operand. */
1078 if (operand->bits != 32
1079 && (operand->flags & MN10300_OPERAND_SPLIT) == 0)
1080 {
1081 long min, max;
1082 offsetT test;
1083 int bits;
1084
1085 bits = operand->bits;
1086 if (operand->flags & MN10300_OPERAND_24BIT)
1087 bits = 24;
1088
1089 if ((operand->flags & MN10300_OPERAND_SIGNED) != 0)
1090 {
1091 max = (1 << (bits - 1)) - 1;
1092 min = - (1 << (bits - 1));
1093 }
1094 else
1095 {
1096 max = (1 << bits) - 1;
1097 min = 0;
1098 }
1099
1100 test = val;
1101
1102 if (test < (offsetT) min || test > (offsetT) max)
1103 return FALSE;
1104 }
1105 return TRUE;
1106}
1107
1108/* Insert an operand value into an instruction. */
1109
1110static void
1111mn10300_insert_operand (unsigned long *insnp,
1112 unsigned long *extensionp,
1113 const struct mn10300_operand *operand,
1114 offsetT val,
1115 char *file,
1116 unsigned int line,
1117 unsigned int shift)
1118{
1119 /* No need to check 32bit operands for a bit. Note that
1120 MN10300_OPERAND_SPLIT is an implicit 32bit operand. */
1121 if (operand->bits != 32
1122 && (operand->flags & MN10300_OPERAND_SPLIT) == 0)
1123 {
1124 long min, max;
1125 offsetT test;
1126 int bits;
1127
1128 bits = operand->bits;
1129 if (operand->flags & MN10300_OPERAND_24BIT)
1130 bits = 24;
1131
1132 if ((operand->flags & MN10300_OPERAND_SIGNED) != 0)
1133 {
1134 max = (1 << (bits - 1)) - 1;
1135 min = - (1 << (bits - 1));
1136 }
1137 else
1138 {
1139 max = (1 << bits) - 1;
1140 min = 0;
1141 }
1142
1143 test = val;
1144
1145 if (test < (offsetT) min || test > (offsetT) max)
1146 as_warn_value_out_of_range (_("operand"), test, (offsetT) min, (offsetT) max, file, line);
1147 }
1148
1149 if ((operand->flags & MN10300_OPERAND_SPLIT) != 0)
1150 {
1151 *insnp |= (val >> (32 - operand->bits)) & ((1 << operand->bits) - 1);
1152 *extensionp |= ((val & ((1 << (32 - operand->bits)) - 1))
1153 << operand->shift);
1154 }
1155 else if ((operand->flags & MN10300_OPERAND_24BIT) != 0)
1156 {
1157 *insnp |= (val >> (24 - operand->bits)) & ((1 << operand->bits) - 1);
1158 *extensionp |= ((val & ((1 << (24 - operand->bits)) - 1))
1159 << operand->shift);
1160 }
1161 else if ((operand->flags & (MN10300_OPERAND_FSREG | MN10300_OPERAND_FDREG)))
1162 {
1163 /* See devo/opcodes/m10300-opc.c just before #define FSM0 for an
1164 explanation of these variables. Note that FMT-implied shifts
1165 are not taken into account for FP registers. */
1166 unsigned long mask_low, mask_high;
1167 int shl_low, shr_high, shl_high;
1168
1169 switch (operand->bits)
1170 {
1171 case 5:
1172 /* Handle regular FP registers. */
1173 if (operand->shift >= 0)
1174 {
1175 /* This is an `m' register. */
1176 shl_low = operand->shift;
1177 shl_high = 8 + (8 & shl_low) + (shl_low & 4) / 4;
1178 }
1179 else
1180 {
1181 /* This is an `n' register. */
1182 shl_low = -operand->shift;
1183 shl_high = shl_low / 4;
1184 }
1185
1186 mask_low = 0x0f;
1187 mask_high = 0x10;
1188 shr_high = 4;
1189 break;
1190
1191 case 3:
1192 /* Handle accumulators. */
1193 shl_low = -operand->shift;
1194 shl_high = 0;
1195 mask_low = 0x03;
1196 mask_high = 0x04;
1197 shr_high = 2;
1198 break;
1199
1200 default:
1201 abort ();
1202 }
1203 *insnp |= ((((val & mask_high) >> shr_high) << shl_high)
1204 | ((val & mask_low) << shl_low));
1205 }
1206 else if ((operand->flags & MN10300_OPERAND_EXTENDED) == 0)
1207 {
1208 *insnp |= (((long) val & ((1 << operand->bits) - 1))
1209 << (operand->shift + shift));
1210
1211 if ((operand->flags & MN10300_OPERAND_REPEATED) != 0)
1212 *insnp |= (((long) val & ((1 << operand->bits) - 1))
1213 << (operand->shift + shift + operand->bits));
1214 }
1215 else
1216 {
1217 *extensionp |= (((long) val & ((1 << operand->bits) - 1))
1218 << (operand->shift + shift));
1219
1220 if ((operand->flags & MN10300_OPERAND_REPEATED) != 0)
1221 *extensionp |= (((long) val & ((1 << operand->bits) - 1))
1222 << (operand->shift + shift + operand->bits));
1223 }
1224}
1225
252b5132 1226void
603b7257 1227md_assemble (char *str)
252b5132
RH
1228{
1229 char *s;
1230 struct mn10300_opcode *opcode;
1231 struct mn10300_opcode *next_opcode;
1232 const unsigned char *opindex_ptr;
1233 int next_opindex, relaxable;
eb0dfd58 1234 unsigned long insn, extension, size = 0;
252b5132
RH
1235 char *f;
1236 int i;
1237 int match;
1238
1239 /* Get the opcode. */
3882b010 1240 for (s = str; *s != '\0' && !ISSPACE (*s); s++)
252b5132
RH
1241 ;
1242 if (*s != '\0')
1243 *s++ = '\0';
1244
87271fa6
NC
1245 /* Find the first opcode with the proper name. */
1246 opcode = (struct mn10300_opcode *) hash_find (mn10300_hash, str);
252b5132
RH
1247 if (opcode == NULL)
1248 {
1249 as_bad (_("Unrecognized opcode: `%s'"), str);
1250 return;
1251 }
1252
1253 str = s;
3882b010 1254 while (ISSPACE (*str))
252b5132
RH
1255 ++str;
1256
1257 input_line_pointer = str;
1258
87271fa6 1259 for (;;)
252b5132
RH
1260 {
1261 const char *errmsg;
1262 int op_idx;
1263 char *hold;
1264 int extra_shift = 0;
1265
252b5132
RH
1266 errmsg = _("Invalid opcode/operands");
1267
1268 /* Reset the array of register operands. */
1269 memset (mn10300_reg_operands, -1, sizeof (mn10300_reg_operands));
1270
1271 relaxable = 0;
1272 fc = 0;
1273 match = 0;
1274 next_opindex = 0;
1275 insn = opcode->opcode;
1276 extension = 0;
1277
1278 /* If the instruction is not available on the current machine
1279 then it can not possibly match. */
1280 if (opcode->machine
e7b71525 1281 && !(opcode->machine == AM33_2 && HAVE_AM33_2)
aa15f6f7
AO
1282 && !(opcode->machine == AM33 && HAVE_AM33)
1283 && !(opcode->machine == AM30 && HAVE_AM30))
252b5132
RH
1284 goto error;
1285
1286 for (op_idx = 1, opindex_ptr = opcode->operands;
1287 *opindex_ptr != 0;
1288 opindex_ptr++, op_idx++)
1289 {
1290 const struct mn10300_operand *operand;
1291 expressionS ex;
1292
1293 if (next_opindex == 0)
1294 {
1295 operand = &mn10300_operands[*opindex_ptr];
1296 }
1297 else
1298 {
1299 operand = &mn10300_operands[next_opindex];
1300 next_opindex = 0;
1301 }
1302
1303 while (*str == ' ' || *str == ',')
1304 ++str;
1305
1306 if (operand->flags & MN10300_OPERAND_RELAX)
1307 relaxable = 1;
1308
87271fa6 1309 /* Gather the operand. */
252b5132
RH
1310 hold = input_line_pointer;
1311 input_line_pointer = str;
1312
1313 if (operand->flags & MN10300_OPERAND_PAREN)
1314 {
1315 if (*input_line_pointer != ')' && *input_line_pointer != '(')
1316 {
1317 input_line_pointer = hold;
1318 str = hold;
1319 goto error;
1320 }
1321 input_line_pointer++;
1322 goto keep_going;
1323 }
1324 /* See if we can match the operands. */
1325 else if (operand->flags & MN10300_OPERAND_DREG)
1326 {
1327 if (!data_register_name (&ex))
1328 {
1329 input_line_pointer = hold;
1330 str = hold;
1331 goto error;
1332 }
1333 }
1334 else if (operand->flags & MN10300_OPERAND_AREG)
1335 {
1336 if (!address_register_name (&ex))
1337 {
1338 input_line_pointer = hold;
1339 str = hold;
1340 goto error;
1341 }
1342 }
1343 else if (operand->flags & MN10300_OPERAND_SP)
1344 {
1345 char *start = input_line_pointer;
1346 char c = get_symbol_end ();
1347
1348 if (strcasecmp (start, "sp") != 0)
1349 {
1350 *input_line_pointer = c;
1351 input_line_pointer = hold;
1352 str = hold;
1353 goto error;
1354 }
1355 *input_line_pointer = c;
1356 goto keep_going;
1357 }
85cb2cf9
JL
1358 else if (operand->flags & MN10300_OPERAND_RREG)
1359 {
1360 if (!r_register_name (&ex))
1361 {
1362 input_line_pointer = hold;
1363 str = hold;
1364 goto error;
1365 }
1366 }
1367 else if (operand->flags & MN10300_OPERAND_XRREG)
1368 {
1369 if (!xr_register_name (&ex))
1370 {
1371 input_line_pointer = hold;
1372 str = hold;
1373 goto error;
1374 }
1375 }
e7b71525
AO
1376 else if (operand->flags & MN10300_OPERAND_FSREG)
1377 {
1378 if (!float_register_name (&ex))
1379 {
1380 input_line_pointer = hold;
1381 str = hold;
1382 goto error;
1383 }
1384 }
1385 else if (operand->flags & MN10300_OPERAND_FDREG)
1386 {
1387 if (!double_register_name (&ex))
1388 {
1389 input_line_pointer = hold;
1390 str = hold;
1391 goto error;
1392 }
1393 }
1394 else if (operand->flags & MN10300_OPERAND_FPCR)
1395 {
1396 char *start = input_line_pointer;
1397 char c = get_symbol_end ();
1398
1399 if (strcasecmp (start, "fpcr") != 0)
1400 {
1401 *input_line_pointer = c;
1402 input_line_pointer = hold;
1403 str = hold;
1404 goto error;
1405 }
1406 *input_line_pointer = c;
1407 goto keep_going;
1408 }
85cb2cf9
JL
1409 else if (operand->flags & MN10300_OPERAND_USP)
1410 {
1411 char *start = input_line_pointer;
1412 char c = get_symbol_end ();
1413
1414 if (strcasecmp (start, "usp") != 0)
1415 {
1416 *input_line_pointer = c;
1417 input_line_pointer = hold;
1418 str = hold;
1419 goto error;
1420 }
1421 *input_line_pointer = c;
1422 goto keep_going;
1423 }
1424 else if (operand->flags & MN10300_OPERAND_SSP)
1425 {
1426 char *start = input_line_pointer;
1427 char c = get_symbol_end ();
1428
1429 if (strcasecmp (start, "ssp") != 0)
1430 {
1431 *input_line_pointer = c;
1432 input_line_pointer = hold;
1433 str = hold;
1434 goto error;
1435 }
1436 *input_line_pointer = c;
1437 goto keep_going;
1438 }
1439 else if (operand->flags & MN10300_OPERAND_MSP)
1440 {
1441 char *start = input_line_pointer;
1442 char c = get_symbol_end ();
1443
1444 if (strcasecmp (start, "msp") != 0)
1445 {
1446 *input_line_pointer = c;
1447 input_line_pointer = hold;
1448 str = hold;
1449 goto error;
1450 }
1451 *input_line_pointer = c;
1452 goto keep_going;
1453 }
1454 else if (operand->flags & MN10300_OPERAND_PC)
1455 {
1456 char *start = input_line_pointer;
1457 char c = get_symbol_end ();
1458
1459 if (strcasecmp (start, "pc") != 0)
1460 {
1461 *input_line_pointer = c;
1462 input_line_pointer = hold;
1463 str = hold;
1464 goto error;
1465 }
1466 *input_line_pointer = c;
1467 goto keep_going;
1468 }
1469 else if (operand->flags & MN10300_OPERAND_EPSW)
1470 {
1471 char *start = input_line_pointer;
1472 char c = get_symbol_end ();
1473
1474 if (strcasecmp (start, "epsw") != 0)
1475 {
1476 *input_line_pointer = c;
1477 input_line_pointer = hold;
1478 str = hold;
1479 goto error;
1480 }
1481 *input_line_pointer = c;
1482 goto keep_going;
1483 }
1484 else if (operand->flags & MN10300_OPERAND_PLUS)
1485 {
1486 if (*input_line_pointer != '+')
1487 {
1488 input_line_pointer = hold;
1489 str = hold;
1490 goto error;
1491 }
1492 input_line_pointer++;
1493 goto keep_going;
1494 }
252b5132
RH
1495 else if (operand->flags & MN10300_OPERAND_PSW)
1496 {
1497 char *start = input_line_pointer;
1498 char c = get_symbol_end ();
1499
1500 if (strcasecmp (start, "psw") != 0)
1501 {
1502 *input_line_pointer = c;
1503 input_line_pointer = hold;
1504 str = hold;
1505 goto error;
1506 }
1507 *input_line_pointer = c;
1508 goto keep_going;
1509 }
1510 else if (operand->flags & MN10300_OPERAND_MDR)
1511 {
1512 char *start = input_line_pointer;
1513 char c = get_symbol_end ();
1514
1515 if (strcasecmp (start, "mdr") != 0)
1516 {
1517 *input_line_pointer = c;
1518 input_line_pointer = hold;
1519 str = hold;
1520 goto error;
1521 }
1522 *input_line_pointer = c;
1523 goto keep_going;
1524 }
1525 else if (operand->flags & MN10300_OPERAND_REG_LIST)
1526 {
1527 unsigned int value = 0;
1528 if (*input_line_pointer != '[')
1529 {
1530 input_line_pointer = hold;
1531 str = hold;
1532 goto error;
1533 }
1534
1535 /* Eat the '['. */
1536 input_line_pointer++;
87271fa6 1537
252b5132 1538 /* We used to reject a null register list here; however,
87271fa6
NC
1539 we accept it now so the compiler can emit "call"
1540 instructions for all calls to named functions.
252b5132
RH
1541
1542 The linker can then fill in the appropriate bits for the
1543 register list and stack size or change the instruction
1544 into a "calls" if using "call" is not profitable. */
1545 while (*input_line_pointer != ']')
1546 {
1547 char *start;
1548 char c;
1549
1550 if (*input_line_pointer == ',')
1551 input_line_pointer++;
1552
1553 start = input_line_pointer;
1554 c = get_symbol_end ();
1555
1556 if (strcasecmp (start, "d2") == 0)
1557 {
1558 value |= 0x80;
1559 *input_line_pointer = c;
1560 }
1561 else if (strcasecmp (start, "d3") == 0)
1562 {
1563 value |= 0x40;
1564 *input_line_pointer = c;
1565 }
1566 else if (strcasecmp (start, "a2") == 0)
1567 {
1568 value |= 0x20;
1569 *input_line_pointer = c;
1570 }
1571 else if (strcasecmp (start, "a3") == 0)
1572 {
1573 value |= 0x10;
1574 *input_line_pointer = c;
1575 }
1576 else if (strcasecmp (start, "other") == 0)
1577 {
1578 value |= 0x08;
1579 *input_line_pointer = c;
1580 }
0a727238 1581 else if (HAVE_AM33
85cb2cf9
JL
1582 && strcasecmp (start, "exreg0") == 0)
1583 {
1584 value |= 0x04;
1585 *input_line_pointer = c;
1586 }
0a727238 1587 else if (HAVE_AM33
85cb2cf9
JL
1588 && strcasecmp (start, "exreg1") == 0)
1589 {
1590 value |= 0x02;
1591 *input_line_pointer = c;
1592 }
0a727238 1593 else if (HAVE_AM33
85cb2cf9
JL
1594 && strcasecmp (start, "exother") == 0)
1595 {
1596 value |= 0x01;
1597 *input_line_pointer = c;
1598 }
0a727238 1599 else if (HAVE_AM33
85cb2cf9
JL
1600 && strcasecmp (start, "all") == 0)
1601 {
1602 value |= 0xff;
1603 *input_line_pointer = c;
1604 }
252b5132
RH
1605 else
1606 {
1607 input_line_pointer = hold;
1608 str = hold;
1609 goto error;
1610 }
1611 }
1612 input_line_pointer++;
603b7257
NC
1613 mn10300_insert_operand (& insn, & extension, operand,
1614 value, NULL, 0, 0);
252b5132
RH
1615 goto keep_going;
1616
1617 }
1618 else if (data_register_name (&ex))
1619 {
1620 input_line_pointer = hold;
1621 str = hold;
1622 goto error;
1623 }
1624 else if (address_register_name (&ex))
1625 {
1626 input_line_pointer = hold;
1627 str = hold;
1628 goto error;
1629 }
1630 else if (other_register_name (&ex))
1631 {
1632 input_line_pointer = hold;
1633 str = hold;
1634 goto error;
1635 }
0a727238 1636 else if (HAVE_AM33 && r_register_name (&ex))
85cb2cf9
JL
1637 {
1638 input_line_pointer = hold;
1639 str = hold;
1640 goto error;
1641 }
0a727238 1642 else if (HAVE_AM33 && xr_register_name (&ex))
85cb2cf9
JL
1643 {
1644 input_line_pointer = hold;
1645 str = hold;
1646 goto error;
1647 }
e7b71525
AO
1648 else if (HAVE_AM33_2 && float_register_name (&ex))
1649 {
1650 input_line_pointer = hold;
1651 str = hold;
1652 goto error;
1653 }
1654 else if (HAVE_AM33_2 && double_register_name (&ex))
1655 {
1656 input_line_pointer = hold;
1657 str = hold;
1658 goto error;
1659 }
252b5132
RH
1660 else if (*str == ')' || *str == '(')
1661 {
1662 input_line_pointer = hold;
1663 str = hold;
1664 goto error;
1665 }
1666 else
1667 {
1668 expression (&ex);
1669 }
1670
87271fa6 1671 switch (ex.X_op)
252b5132
RH
1672 {
1673 case O_illegal:
1674 errmsg = _("illegal operand");
1675 goto error;
1676 case O_absent:
1677 errmsg = _("missing operand");
1678 goto error;
1679 case O_register:
1680 {
1681 int mask;
1682
1683 mask = MN10300_OPERAND_DREG | MN10300_OPERAND_AREG;
0a727238
AO
1684 if (HAVE_AM33)
1685 mask |= MN10300_OPERAND_RREG | MN10300_OPERAND_XRREG;
e7b71525
AO
1686 if (HAVE_AM33_2)
1687 mask |= MN10300_OPERAND_FSREG | MN10300_OPERAND_FDREG;
252b5132
RH
1688 if ((operand->flags & mask) == 0)
1689 {
1690 input_line_pointer = hold;
1691 str = hold;
1692 goto error;
1693 }
87271fa6 1694
252b5132
RH
1695 if (opcode->format == FMT_D1 || opcode->format == FMT_S1)
1696 extra_shift = 8;
1697 else if (opcode->format == FMT_D2
1698 || opcode->format == FMT_D4
1699 || opcode->format == FMT_S2
1700 || opcode->format == FMT_S4
1701 || opcode->format == FMT_S6
1702 || opcode->format == FMT_D5)
1703 extra_shift = 16;
85cb2cf9
JL
1704 else if (opcode->format == FMT_D7)
1705 extra_shift = 8;
1706 else if (opcode->format == FMT_D8 || opcode->format == FMT_D9)
1707 extra_shift = 8;
252b5132
RH
1708 else
1709 extra_shift = 0;
87271fa6 1710
603b7257
NC
1711 mn10300_insert_operand (& insn, & extension, operand,
1712 ex.X_add_number, NULL,
252b5132
RH
1713 0, extra_shift);
1714
252b5132
RH
1715 /* And note the register number in the register array. */
1716 mn10300_reg_operands[op_idx - 1] = ex.X_add_number;
1717 break;
1718 }
1719
1720 case O_constant:
1721 /* If this operand can be promoted, and it doesn't
1722 fit into the allocated bitfield for this insn,
1723 then promote it (ie this opcode does not match). */
1724 if (operand->flags
1725 & (MN10300_OPERAND_PROMOTE | MN10300_OPERAND_RELAX)
603b7257 1726 && !check_operand (operand, ex.X_add_number))
252b5132
RH
1727 {
1728 input_line_pointer = hold;
1729 str = hold;
1730 goto error;
1731 }
1732
603b7257
NC
1733 mn10300_insert_operand (& insn, & extension, operand,
1734 ex.X_add_number, NULL, 0, 0);
252b5132
RH
1735 break;
1736
1737 default:
1738 /* If this operand can be promoted, then this opcode didn't
1739 match since we can't know if it needed promotion! */
1740 if (operand->flags & MN10300_OPERAND_PROMOTE)
1741 {
1742 input_line_pointer = hold;
1743 str = hold;
1744 goto error;
1745 }
1746
1747 /* We need to generate a fixup for this expression. */
1748 if (fc >= MAX_INSN_FIXUPS)
1749 as_fatal (_("too many fixups"));
1750 fixups[fc].exp = ex;
1751 fixups[fc].opindex = *opindex_ptr;
1752 fixups[fc].reloc = BFD_RELOC_UNUSED;
bf6f0d0c
AO
1753 if (mn10300_check_fixup (& fixups[fc]))
1754 goto error;
252b5132
RH
1755 ++fc;
1756 break;
1757 }
1758
1759keep_going:
1760 str = input_line_pointer;
1761 input_line_pointer = hold;
1762
1763 while (*str == ' ' || *str == ',')
1764 ++str;
252b5132
RH
1765 }
1766
1767 /* Make sure we used all the operands! */
1768 if (*str != ',')
1769 match = 1;
1770
1771 /* If this instruction has registers that must not match, verify
1772 that they do indeed not match. */
1773 if (opcode->no_match_operands)
1774 {
252b5132
RH
1775 /* Look at each operand to see if it's marked. */
1776 for (i = 0; i < MN10300_MAX_OPERANDS; i++)
1777 {
1778 if ((1 << i) & opcode->no_match_operands)
1779 {
1780 int j;
1781
1782 /* operand I is marked. Check that it does not match any
1783 operands > I which are marked. */
1784 for (j = i + 1; j < MN10300_MAX_OPERANDS; j++)
1785 {
1786 if (((1 << j) & opcode->no_match_operands)
1787 && mn10300_reg_operands[i] == mn10300_reg_operands[j])
1788 {
1789 errmsg = _("Invalid register specification.");
1790 match = 0;
1791 goto error;
1792 }
1793 }
1794 }
1795 }
1796 }
1797
1798 error:
1799 if (match == 0)
87271fa6 1800 {
252b5132 1801 next_opcode = opcode + 1;
87271fa6 1802 if (!strcmp (next_opcode->name, opcode->name))
252b5132
RH
1803 {
1804 opcode = next_opcode;
1805 continue;
1806 }
87271fa6 1807
252b5132
RH
1808 as_bad ("%s", errmsg);
1809 return;
87271fa6 1810 }
252b5132
RH
1811 break;
1812 }
87271fa6 1813
3882b010 1814 while (ISSPACE (*str))
252b5132
RH
1815 ++str;
1816
1817 if (*str != '\0')
1818 as_bad (_("junk at end of line: `%s'"), str);
1819
1820 input_line_pointer = str;
1821
1822 /* Determine the size of the instruction. */
1823 if (opcode->format == FMT_S0)
1824 size = 1;
1825
1826 if (opcode->format == FMT_S1 || opcode->format == FMT_D0)
1827 size = 2;
1828
1829 if (opcode->format == FMT_S2 || opcode->format == FMT_D1)
1830 size = 3;
1831
85cb2cf9
JL
1832 if (opcode->format == FMT_D6)
1833 size = 3;
1834
1835 if (opcode->format == FMT_D7 || opcode->format == FMT_D10)
1836 size = 4;
1837
1838 if (opcode->format == FMT_D8)
1839 size = 6;
1840
1841 if (opcode->format == FMT_D9)
1842 size = 7;
252b5132
RH
1843
1844 if (opcode->format == FMT_S4)
1845 size = 5;
1846
1847 if (opcode->format == FMT_S6 || opcode->format == FMT_D5)
1848 size = 7;
1849
1850 if (opcode->format == FMT_D2)
1851 size = 4;
1852
e7b71525
AO
1853 if (opcode->format == FMT_D3)
1854 size = 5;
1855
252b5132
RH
1856 if (opcode->format == FMT_D4)
1857 size = 6;
1858
1859 if (relaxable && fc > 0)
1860 {
8ad7c533
NC
1861 /* On a 64-bit host the size of an 'int' is not the same
1862 as the size of a pointer, so we need a union to convert
1863 the opindex field of the fr_cgen structure into a char *
1864 so that it can be stored in the frag. We do not have
1865 to worry about loosing accuracy as we are not going to
1866 be even close to the 32bit limit of the int. */
1867 union
1868 {
1869 int opindex;
1870 char * ptr;
1871 }
1872 opindex_converter;
252b5132
RH
1873 int type;
1874
076dc439
AO
1875 /* We want to anchor the line info to the previous frag (if
1876 there isn't one, create it), so that, when the insn is
1877 resized, we still get the right address for the beginning of
1878 the region. */
1879 f = frag_more (0);
1880 dwarf2_emit_insn (0);
1881
87271fa6 1882 /* bCC */
252b5132
RH
1883 if (size == 2)
1884 {
1885 /* Handle bra specially. Basically treat it like jmp so
1886 that we automatically handle 8, 16 and 32 bit offsets
1887 correctly as well as jumps to an undefined address.
1888
1889 It is also important to not treat it like other bCC
1890 instructions since the long forms of bra is different
1891 from other bCC instructions. */
1892 if (opcode->opcode == 0xca00)
1893 type = 10;
1894 else
1895 type = 0;
1896 }
87271fa6 1897 /* call */
252b5132 1898 else if (size == 5)
87271fa6
NC
1899 type = 6;
1900 /* calls */
252b5132
RH
1901 else if (size == 4)
1902 type = 8;
87271fa6 1903 /* jmp */
252b5132
RH
1904 else if (size == 3 && opcode->opcode == 0xcc0000)
1905 type = 10;
e7b71525
AO
1906 else if (size == 3 && (opcode->opcode & 0xfff000) == 0xf8d000)
1907 type = 13;
87271fa6 1908 /* bCC (uncommon cases) */
252b5132
RH
1909 else
1910 type = 3;
1911
8ad7c533 1912 opindex_converter.opindex = fixups[0].opindex;
252b5132
RH
1913 f = frag_var (rs_machine_dependent, 8, 8 - size, type,
1914 fixups[0].exp.X_add_symbol,
1915 fixups[0].exp.X_add_number,
8ad7c533 1916 opindex_converter.ptr);
87271fa6 1917
252b5132
RH
1918 /* This is pretty hokey. We basically just care about the
1919 opcode, so we have to write out the first word big endian.
1920
1921 The exception is "call", which has two operands that we
1922 care about.
1923
1924 The first operand (the register list) happens to be in the
1925 first instruction word, and will be in the right place if
1926 we output the first word in big endian mode.
1927
1928 The second operand (stack size) is in the extension word,
1929 and we want it to appear as the first character in the extension
1930 word (as it appears in memory). Luckily, writing the extension
1931 word in big endian format will do what we want. */
1932 number_to_chars_bigendian (f, insn, size > 4 ? 4 : size);
1933 if (size > 8)
1934 {
1935 number_to_chars_bigendian (f + 4, extension, 4);
1936 number_to_chars_bigendian (f + 8, 0, size - 8);
1937 }
1938 else if (size > 4)
1939 number_to_chars_bigendian (f + 4, extension, size - 4);
1940 }
1941 else
1942 {
1943 /* Allocate space for the instruction. */
1944 f = frag_more (size);
1945
1946 /* Fill in bytes for the instruction. Note that opcode fields
1947 are written big-endian, 16 & 32bit immediates are written
1948 little endian. Egad. */
1949 if (opcode->format == FMT_S0
1950 || opcode->format == FMT_S1
1951 || opcode->format == FMT_D0
85cb2cf9
JL
1952 || opcode->format == FMT_D6
1953 || opcode->format == FMT_D7
1954 || opcode->format == FMT_D10
252b5132
RH
1955 || opcode->format == FMT_D1)
1956 {
1957 number_to_chars_bigendian (f, insn, size);
1958 }
1959 else if (opcode->format == FMT_S2
1960 && opcode->opcode != 0xdf0000
1961 && opcode->opcode != 0xde0000)
1962 {
1963 /* A format S2 instruction that is _not_ "ret" and "retf". */
1964 number_to_chars_bigendian (f, (insn >> 16) & 0xff, 1);
1965 number_to_chars_littleendian (f + 1, insn & 0xffff, 2);
1966 }
1967 else if (opcode->format == FMT_S2)
1968 {
1969 /* This must be a ret or retf, which is written entirely in
1970 big-endian format. */
1971 number_to_chars_bigendian (f, insn, 3);
1972 }
1973 else if (opcode->format == FMT_S4
1974 && opcode->opcode != 0xdc000000)
1975 {
1976 /* This must be a format S4 "call" instruction. What a pain. */
1977 unsigned long temp = (insn >> 8) & 0xffff;
1978 number_to_chars_bigendian (f, (insn >> 24) & 0xff, 1);
1979 number_to_chars_littleendian (f + 1, temp, 2);
1980 number_to_chars_bigendian (f + 3, insn & 0xff, 1);
1981 number_to_chars_bigendian (f + 4, extension & 0xff, 1);
1982 }
1983 else if (opcode->format == FMT_S4)
1984 {
1985 /* This must be a format S4 "jmp" instruction. */
1986 unsigned long temp = ((insn & 0xffffff) << 8) | (extension & 0xff);
1987 number_to_chars_bigendian (f, (insn >> 24) & 0xff, 1);
1988 number_to_chars_littleendian (f + 1, temp, 4);
1989 }
1990 else if (opcode->format == FMT_S6)
1991 {
1992 unsigned long temp = ((insn & 0xffffff) << 8)
1993 | ((extension >> 16) & 0xff);
1994 number_to_chars_bigendian (f, (insn >> 24) & 0xff, 1);
1995 number_to_chars_littleendian (f + 1, temp, 4);
1996 number_to_chars_bigendian (f + 5, (extension >> 8) & 0xff, 1);
1997 number_to_chars_bigendian (f + 6, extension & 0xff, 1);
1998 }
1999 else if (opcode->format == FMT_D2
2000 && opcode->opcode != 0xfaf80000
2001 && opcode->opcode != 0xfaf00000
2002 && opcode->opcode != 0xfaf40000)
2003 {
2004 /* A format D2 instruction where the 16bit immediate is
2005 really a single 16bit value, not two 8bit values. */
2006 number_to_chars_bigendian (f, (insn >> 16) & 0xffff, 2);
2007 number_to_chars_littleendian (f + 2, insn & 0xffff, 2);
2008 }
2009 else if (opcode->format == FMT_D2)
2010 {
2011 /* A format D2 instruction where the 16bit immediate
2012 is really two 8bit immediates. */
2013 number_to_chars_bigendian (f, insn, 4);
2014 }
e7b71525
AO
2015 else if (opcode->format == FMT_D3)
2016 {
2017 number_to_chars_bigendian (f, (insn >> 16) & 0xffff, 2);
2018 number_to_chars_littleendian (f + 2, insn & 0xffff, 2);
2019 number_to_chars_bigendian (f + 4, extension & 0xff, 1);
2020 }
252b5132
RH
2021 else if (opcode->format == FMT_D4)
2022 {
2023 unsigned long temp = ((insn & 0xffff) << 16) | (extension & 0xffff);
87271fa6 2024
252b5132
RH
2025 number_to_chars_bigendian (f, (insn >> 16) & 0xffff, 2);
2026 number_to_chars_littleendian (f + 2, temp, 4);
2027 }
2028 else if (opcode->format == FMT_D5)
2029 {
87271fa6
NC
2030 unsigned long temp = (((insn & 0xffff) << 16)
2031 | ((extension >> 8) & 0xffff));
2032
252b5132
RH
2033 number_to_chars_bigendian (f, (insn >> 16) & 0xffff, 2);
2034 number_to_chars_littleendian (f + 2, temp, 4);
2035 number_to_chars_bigendian (f + 6, extension & 0xff, 1);
2036 }
85cb2cf9
JL
2037 else if (opcode->format == FMT_D8)
2038 {
87271fa6
NC
2039 unsigned long temp = ((insn & 0xff) << 16) | (extension & 0xffff);
2040
2041 number_to_chars_bigendian (f, (insn >> 8) & 0xffffff, 3);
2042 number_to_chars_bigendian (f + 3, (temp & 0xff), 1);
2043 number_to_chars_littleendian (f + 4, temp >> 8, 2);
85cb2cf9
JL
2044 }
2045 else if (opcode->format == FMT_D9)
2046 {
87271fa6
NC
2047 unsigned long temp = ((insn & 0xff) << 24) | (extension & 0xffffff);
2048
2049 number_to_chars_bigendian (f, (insn >> 8) & 0xffffff, 3);
2050 number_to_chars_littleendian (f + 3, temp, 4);
85cb2cf9 2051 }
252b5132
RH
2052
2053 /* Create any fixups. */
2054 for (i = 0; i < fc; i++)
2055 {
2056 const struct mn10300_operand *operand;
91d6fa6a 2057 int reloc_size;
252b5132
RH
2058
2059 operand = &mn10300_operands[fixups[i].opindex];
bf6f0d0c
AO
2060 if (fixups[i].reloc != BFD_RELOC_UNUSED
2061 && fixups[i].reloc != BFD_RELOC_32_GOT_PCREL
2062 && fixups[i].reloc != BFD_RELOC_32_GOTOFF
2063 && fixups[i].reloc != BFD_RELOC_32_PLT_PCREL
2064 && fixups[i].reloc != BFD_RELOC_MN10300_GOT32)
252b5132
RH
2065 {
2066 reloc_howto_type *reloc_howto;
252b5132 2067 int offset;
252b5132 2068
87271fa6
NC
2069 reloc_howto = bfd_reloc_type_lookup (stdoutput,
2070 fixups[i].reloc);
252b5132
RH
2071
2072 if (!reloc_howto)
87271fa6
NC
2073 abort ();
2074
91d6fa6a 2075 reloc_size = bfd_get_reloc_size (reloc_howto);
252b5132 2076
91d6fa6a 2077 if (reloc_size < 1 || reloc_size > 4)
87271fa6 2078 abort ();
252b5132
RH
2079
2080 offset = 4 - size;
87975d2a
AM
2081 fix_new_exp (frag_now, f - frag_now->fr_literal + offset,
2082 reloc_size, &fixups[i].exp,
2083 reloc_howto->pc_relative,
2084 fixups[i].reloc);
252b5132
RH
2085 }
2086 else
2087 {
91d6fa6a 2088 int reloc, pcrel, offset;
252b5132
RH
2089 fixS *fixP;
2090
2091 reloc = BFD_RELOC_NONE;
bf6f0d0c
AO
2092 if (fixups[i].reloc != BFD_RELOC_UNUSED)
2093 reloc = fixups[i].reloc;
252b5132
RH
2094 /* How big is the reloc? Remember SPLIT relocs are
2095 implicitly 32bits. */
2096 if ((operand->flags & MN10300_OPERAND_SPLIT) != 0)
2097 reloc_size = 32;
85cb2cf9
JL
2098 else if ((operand->flags & MN10300_OPERAND_24BIT) != 0)
2099 reloc_size = 24;
252b5132
RH
2100 else
2101 reloc_size = operand->bits;
2102
2103 /* Is the reloc pc-relative? */
2104 pcrel = (operand->flags & MN10300_OPERAND_PCREL) != 0;
bf6f0d0c
AO
2105 if (reloc != BFD_RELOC_NONE)
2106 pcrel = bfd_reloc_type_lookup (stdoutput, reloc)->pc_relative;
252b5132 2107
a7c92dae 2108 offset = size - (reloc_size + operand->shift) / 8;
eb0dfd58 2109
252b5132 2110 /* Choose a proper BFD relocation type. */
bf6f0d0c
AO
2111 if (reloc != BFD_RELOC_NONE)
2112 ;
2113 else if (pcrel)
252b5132
RH
2114 {
2115 if (reloc_size == 32)
2116 reloc = BFD_RELOC_32_PCREL;
2117 else if (reloc_size == 16)
2118 reloc = BFD_RELOC_16_PCREL;
2119 else if (reloc_size == 8)
2120 reloc = BFD_RELOC_8_PCREL;
2121 else
2122 abort ();
2123 }
2124 else
2125 {
2126 if (reloc_size == 32)
2127 reloc = BFD_RELOC_32;
2128 else if (reloc_size == 16)
2129 reloc = BFD_RELOC_16;
2130 else if (reloc_size == 8)
2131 reloc = BFD_RELOC_8;
2132 else
2133 abort ();
2134 }
2135
252b5132 2136 fixP = fix_new_exp (frag_now, f - frag_now->fr_literal + offset,
acb02403 2137 reloc_size / 8, &fixups[i].exp, pcrel,
252b5132
RH
2138 ((bfd_reloc_code_real_type) reloc));
2139
2140 if (pcrel)
2141 fixP->fx_offset += offset;
2142 }
2143 }
e8b1cae5 2144
076dc439
AO
2145 dwarf2_emit_insn (size);
2146 }
bfff1642
NC
2147
2148 /* Label this frag as one that contains instructions. */
2149 frag_now->tc_frag_data = TRUE;
252b5132
RH
2150}
2151
87271fa6
NC
2152/* If while processing a fixup, a reloc really needs to be created
2153 then it is done here. */
252b5132 2154
bfff1642 2155arelent **
603b7257 2156tc_gen_reloc (asection *seg ATTRIBUTE_UNUSED, fixS *fixp)
252b5132 2157{
bfff1642
NC
2158 static arelent * no_relocs = NULL;
2159 static arelent * relocs[MAX_RELOC_EXPANSION + 1];
252b5132 2160 arelent *reloc;
bfff1642 2161
603b7257 2162 reloc = xmalloc (sizeof (arelent));
252b5132
RH
2163
2164 reloc->howto = bfd_reloc_type_lookup (stdoutput, fixp->fx_r_type);
603b7257 2165 if (reloc->howto == NULL)
252b5132
RH
2166 {
2167 as_bad_where (fixp->fx_file, fixp->fx_line,
87271fa6
NC
2168 _("reloc %d not supported by object file format"),
2169 (int) fixp->fx_r_type);
bfff1642
NC
2170 free (reloc);
2171 return & no_relocs;
252b5132 2172 }
bfff1642 2173
252b5132 2174 reloc->address = fixp->fx_frag->fr_address + fixp->fx_where;
bfff1642
NC
2175 relocs[0] = reloc;
2176 relocs[1] = NULL;
252b5132 2177
bf6f0d0c
AO
2178 if (fixp->fx_subsy
2179 && S_GET_SEGMENT (fixp->fx_subsy) == absolute_section)
2180 {
2181 fixp->fx_offset -= S_GET_VALUE (fixp->fx_subsy);
603b7257 2182 fixp->fx_subsy = NULL;
bf6f0d0c
AO
2183 }
2184
252b5132
RH
2185 if (fixp->fx_addsy && fixp->fx_subsy)
2186 {
569006e5
NC
2187 asection *asec, *ssec;
2188
2189 asec = S_GET_SEGMENT (fixp->fx_addsy);
2190 ssec = S_GET_SEGMENT (fixp->fx_subsy);
2191
7dc8f5ce
AO
2192 reloc->sym_ptr_ptr = NULL;
2193
bfff1642
NC
2194 /* If we have a difference between two (non-absolute) symbols we must
2195 generate two relocs (one for each symbol) and allow the linker to
2196 resolve them - relaxation may change the distances between symbols,
569006e5
NC
2197 even local symbols defined in the same section. */
2198 if (ssec != absolute_section || asec != absolute_section)
4e75439a 2199 {
bfff1642 2200 arelent * reloc2 = xmalloc (sizeof * reloc);
4e75439a 2201
bfff1642
NC
2202 relocs[0] = reloc2;
2203 relocs[1] = reloc;
5d6255fe 2204
bfff1642
NC
2205 reloc2->address = reloc->address;
2206 reloc2->howto = bfd_reloc_type_lookup (stdoutput, BFD_RELOC_MN10300_SYM_DIFF);
2207 reloc2->addend = - S_GET_VALUE (fixp->fx_subsy);
2208 reloc2->sym_ptr_ptr = xmalloc (sizeof (asymbol *));
2209 *reloc2->sym_ptr_ptr = symbol_get_bfdsym (fixp->fx_subsy);
4e75439a 2210
bfff1642 2211 reloc->addend = fixp->fx_offset;
569006e5 2212 if (asec == absolute_section)
bfff1642 2213 reloc->addend += S_GET_VALUE (fixp->fx_addsy);
4e75439a 2214
bfff1642
NC
2215 reloc->sym_ptr_ptr = xmalloc (sizeof (asymbol *));
2216 *reloc->sym_ptr_ptr = symbol_get_bfdsym (fixp->fx_addsy);
4e75439a 2217
bfff1642
NC
2218 fixp->fx_pcrel = 0;
2219 fixp->fx_done = 1;
2220 return relocs;
4e75439a 2221 }
6e22e505
AO
2222 else
2223 {
2224 char *fixpos = fixp->fx_where + fixp->fx_frag->fr_literal;
2225
2226 reloc->addend = (S_GET_VALUE (fixp->fx_addsy)
2227 - S_GET_VALUE (fixp->fx_subsy) + fixp->fx_offset);
2228
2229 switch (fixp->fx_r_type)
2230 {
2231 case BFD_RELOC_8:
2232 md_number_to_chars (fixpos, reloc->addend, 1);
2233 break;
5d6255fe 2234
6e22e505
AO
2235 case BFD_RELOC_16:
2236 md_number_to_chars (fixpos, reloc->addend, 2);
2237 break;
252b5132 2238
6e22e505
AO
2239 case BFD_RELOC_24:
2240 md_number_to_chars (fixpos, reloc->addend, 3);
2241 break;
2242
2243 case BFD_RELOC_32:
2244 md_number_to_chars (fixpos, reloc->addend, 4);
2245 break;
2246
2247 default:
f592407e
AM
2248 reloc->sym_ptr_ptr
2249 = (asymbol **) bfd_abs_section_ptr->symbol_ptr_ptr;
bfff1642 2250 return relocs;
6e22e505 2251 }
6e22e505 2252
569006e5
NC
2253 if (reloc->sym_ptr_ptr)
2254 free (reloc->sym_ptr_ptr);
2255 free (reloc);
2256 return & no_relocs;
2257 }
252b5132 2258 }
87271fa6 2259 else
252b5132 2260 {
603b7257 2261 reloc->sym_ptr_ptr = xmalloc (sizeof (asymbol *));
310b5aa2 2262 *reloc->sym_ptr_ptr = symbol_get_bfdsym (fixp->fx_addsy);
252b5132
RH
2263 reloc->addend = fixp->fx_offset;
2264 }
bfff1642 2265 return relocs;
252b5132
RH
2266}
2267
ca75ed2d
NC
2268/* Returns true iff the symbol attached to the frag is at a known location
2269 in the given section, (and hence the relocation to it can be relaxed by
2270 the assembler). */
2271static inline bfd_boolean
2272has_known_symbol_location (fragS * fragp, asection * sec)
2273{
2274 symbolS * sym = fragp->fr_symbol;
2275
2276 return sym != NULL
2277 && S_IS_DEFINED (sym)
2278 && ! S_IS_WEAK (sym)
2279 && S_GET_SEGMENT (sym) == sec;
2280}
2281
252b5132 2282int
603b7257 2283md_estimate_size_before_relax (fragS *fragp, asection *seg)
252b5132 2284{
93c2a809 2285 if (fragp->fr_subtype == 6
ca75ed2d 2286 && ! has_known_symbol_location (fragp, seg))
93c2a809
AM
2287 fragp->fr_subtype = 7;
2288 else if (fragp->fr_subtype == 8
ca75ed2d 2289 && ! has_known_symbol_location (fragp, seg))
93c2a809
AM
2290 fragp->fr_subtype = 9;
2291 else if (fragp->fr_subtype == 10
ca75ed2d 2292 && ! has_known_symbol_location (fragp, seg))
93c2a809
AM
2293 fragp->fr_subtype = 12;
2294
e7b71525
AO
2295 if (fragp->fr_subtype == 13)
2296 return 3;
ca75ed2d 2297
93c2a809
AM
2298 if (fragp->fr_subtype >= sizeof (md_relax_table) / sizeof (md_relax_table[0]))
2299 abort ();
2300
2301 return md_relax_table[fragp->fr_subtype].rlx_length;
87271fa6 2302}
252b5132
RH
2303
2304long
603b7257 2305md_pcrel_from (fixS *fixp)
252b5132 2306{
ca75ed2d
NC
2307 if (fixp->fx_addsy != (symbolS *) NULL
2308 && (!S_IS_DEFINED (fixp->fx_addsy) || S_IS_WEAK (fixp->fx_addsy)))
2309 /* The symbol is undefined or weak. Let the linker figure it out. */
2310 return 0;
2311
252b5132 2312 return fixp->fx_frag->fr_address + fixp->fx_where;
252b5132
RH
2313}
2314
94f592af 2315void
603b7257 2316md_apply_fix (fixS * fixP, valueT * valP, segT seg)
252b5132 2317{
94f592af 2318 char * fixpos = fixP->fx_where + fixP->fx_frag->fr_literal;
58a77e41 2319 int size = 0;
94f592af 2320 int value = (int) * valP;
58a77e41 2321
9c2799c2 2322 gas_assert (fixP->fx_r_type < BFD_RELOC_UNUSED);
58a77e41
EC
2323
2324 /* This should never happen. */
2325 if (seg->flags & SEC_ALLOC)
94f592af 2326 abort ();
58a77e41 2327
c51ce5f0 2328 /* The value we are passed in *valuep includes the symbol values.
7be1c489
AM
2329 If we are doing this relocation the code in write.c is going to
2330 call bfd_install_relocation, which is also going to use the symbol
2331 value. That means that if the reloc is fully resolved we want to
2332 use *valuep since bfd_install_relocation is not being used.
c51ce5f0
EC
2333
2334 However, if the reloc is not fully resolved we do not want to use
2335 *valuep, and must use fx_offset instead. However, if the reloc
2336 is PC relative, we do want to use *valuep since it includes the
2337 result of md_pcrel_from. */
603b7257 2338 if (fixP->fx_addsy != NULL && ! fixP->fx_pcrel)
94f592af 2339 value = fixP->fx_offset;
c51ce5f0 2340
58a77e41
EC
2341 /* If the fix is relative to a symbol which is not defined, or not
2342 in the same segment as the fix, we cannot resolve it here. */
94f592af
NC
2343 if (fixP->fx_addsy != NULL
2344 && (! S_IS_DEFINED (fixP->fx_addsy)
2345 || (S_GET_SEGMENT (fixP->fx_addsy) != seg)))
58a77e41 2346 {
94f592af
NC
2347 fixP->fx_done = 0;
2348 return;
58a77e41
EC
2349 }
2350
94f592af 2351 switch (fixP->fx_r_type)
58a77e41
EC
2352 {
2353 case BFD_RELOC_8:
96f37af6 2354 case BFD_RELOC_8_PCREL:
58a77e41
EC
2355 size = 1;
2356 break;
2357
2358 case BFD_RELOC_16:
96f37af6 2359 case BFD_RELOC_16_PCREL:
58a77e41
EC
2360 size = 2;
2361 break;
2362
2363 case BFD_RELOC_32:
96f37af6 2364 case BFD_RELOC_32_PCREL:
58a77e41
EC
2365 size = 4;
2366 break;
2367
2368 case BFD_RELOC_VTABLE_INHERIT:
2369 case BFD_RELOC_VTABLE_ENTRY:
94f592af
NC
2370 fixP->fx_done = 0;
2371 return;
58a77e41 2372
569006e5
NC
2373 case BFD_RELOC_MN10300_ALIGN:
2374 fixP->fx_done = 1;
2375 return;
2376
58a77e41
EC
2377 case BFD_RELOC_NONE:
2378 default:
94f592af
NC
2379 as_bad_where (fixP->fx_file, fixP->fx_line,
2380 _("Bad relocation fixup type (%d)"), fixP->fx_r_type);
58a77e41
EC
2381 }
2382
c51ce5f0 2383 md_number_to_chars (fixpos, value, size);
58a77e41 2384
b653e7f9 2385 /* If a symbol remains, pass the fixup, as a reloc, onto the linker. */
94f592af
NC
2386 if (fixP->fx_addsy == NULL)
2387 fixP->fx_done = 1;
58a77e41
EC
2388}
2389
58a77e41
EC
2390/* Return zero if the fixup in fixp should be left alone and not
2391 adjusted. */
2392
b34976b6 2393bfd_boolean
603b7257 2394mn10300_fix_adjustable (struct fix *fixp)
58a77e41 2395{
bfff1642
NC
2396 if (fixp->fx_pcrel)
2397 {
2398 if (TC_FORCE_RELOCATION_LOCAL (fixp))
2399 return FALSE;
2400 }
2401 /* Non-relative relocs can (and must) be adjusted if they do
2402 not meet the criteria below, or the generic criteria. */
2403 else if (TC_FORCE_RELOCATION (fixp))
603b7257 2404 return FALSE;
58a77e41 2405
7e8f4100
AO
2406 /* Do not adjust relocations involving symbols in code sections,
2407 because it breaks linker relaxations. This could be fixed in the
2408 linker, but this fix is simpler, and it pretty much only affects
2409 object size a little bit. */
2410 if (S_GET_SEGMENT (fixp->fx_addsy)->flags & SEC_CODE)
603b7257 2411 return FALSE;
7e8f4100 2412
53cb0362
DD
2413 /* Likewise, do not adjust symbols that won't be merged, or debug
2414 symbols, because they too break relaxation. We do want to adjust
2415 other mergable symbols, like .rodata, because code relaxations
2416 need section-relative symbols to properly relax them. */
bfff1642 2417 if (! (S_GET_SEGMENT (fixp->fx_addsy)->flags & SEC_MERGE))
603b7257 2418 return FALSE;
bfff1642 2419
53cb0362 2420 if (strncmp (S_GET_SEGMENT (fixp->fx_addsy)->name, ".debug", 6) == 0)
603b7257 2421 return FALSE;
252b5132 2422
603b7257 2423 return TRUE;
252b5132
RH
2424}
2425
2426static void
603b7257 2427set_arch_mach (int mach)
252b5132
RH
2428{
2429 if (!bfd_set_arch_mach (stdoutput, bfd_arch_mn10300, mach))
2430 as_warn (_("could not set architecture and machine"));
2431
2432 current_machine = mach;
2433}
bf6f0d0c 2434
bf6f0d0c 2435static inline char *
603b7257 2436mn10300_end_of_match (char *cont, char *what)
bf6f0d0c
AO
2437{
2438 int len = strlen (what);
2439
2440 if (strncmp (cont, what, strlen (what)) == 0
2441 && ! is_part_of_name (cont[len]))
2442 return cont + len;
2443
2444 return NULL;
2445}
2446
2447int
603b7257
NC
2448mn10300_parse_name (char const *name,
2449 expressionS *exprP,
2450 enum expr_mode mode,
2451 char *nextcharP)
bf6f0d0c
AO
2452{
2453 char *next = input_line_pointer;
2454 char *next_end;
2455 int reloc_type;
2456 segT segment;
2457
2458 exprP->X_op_symbol = NULL;
2459
2460 if (strcmp (name, GLOBAL_OFFSET_TABLE_NAME) == 0)
2461 {
2462 if (! GOT_symbol)
2463 GOT_symbol = symbol_find_or_make (name);
2464
2465 exprP->X_add_symbol = GOT_symbol;
2466 no_suffix:
2467 /* If we have an absolute symbol or a reg,
2468 then we know its value now. */
2469 segment = S_GET_SEGMENT (exprP->X_add_symbol);
9497f5ac 2470 if (mode != expr_defer && segment == absolute_section)
bf6f0d0c
AO
2471 {
2472 exprP->X_op = O_constant;
2473 exprP->X_add_number = S_GET_VALUE (exprP->X_add_symbol);
2474 exprP->X_add_symbol = NULL;
2475 }
9497f5ac 2476 else if (mode != expr_defer && segment == reg_section)
bf6f0d0c
AO
2477 {
2478 exprP->X_op = O_register;
2479 exprP->X_add_number = S_GET_VALUE (exprP->X_add_symbol);
2480 exprP->X_add_symbol = NULL;
2481 }
2482 else
2483 {
2484 exprP->X_op = O_symbol;
2485 exprP->X_add_number = 0;
2486 }
2487
2488 return 1;
2489 }
2490
2491 exprP->X_add_symbol = symbol_find_or_make (name);
2492
2493 if (*nextcharP != '@')
2494 goto no_suffix;
2495 else if ((next_end = mn10300_end_of_match (next + 1, "GOTOFF")))
2496 reloc_type = BFD_RELOC_32_GOTOFF;
2497 else if ((next_end = mn10300_end_of_match (next + 1, "GOT")))
2498 reloc_type = BFD_RELOC_MN10300_GOT32;
2499 else if ((next_end = mn10300_end_of_match (next + 1, "PLT")))
2500 reloc_type = BFD_RELOC_32_PLT_PCREL;
2501 else
2502 goto no_suffix;
2503
2504 *input_line_pointer = *nextcharP;
2505 input_line_pointer = next_end;
2506 *nextcharP = *input_line_pointer;
2507 *input_line_pointer = '\0';
2508
2509 exprP->X_op = O_PIC_reloc;
2510 exprP->X_add_number = 0;
2511 exprP->X_md = reloc_type;
2512
2513 return 1;
2514}
603b7257
NC
2515
2516/* The target specific pseudo-ops which we support. */
2517const pseudo_typeS md_pseudo_table[] =
2518{
2519 { "am30", set_arch_mach, AM30 },
2520 { "am33", set_arch_mach, AM33 },
2521 { "am33_2", set_arch_mach, AM33_2 },
2522 { "mn10300", set_arch_mach, MN103 },
2523 {NULL, 0, 0}
2524};
bfff1642
NC
2525
2526/* Returns FALSE if there is some mn10300 specific reason why the
2527 subtraction of two same-section symbols cannot be computed by
2528 the assembler. */
2529
2530bfd_boolean
2531mn10300_allow_local_subtract (expressionS * left, expressionS * right, segT section)
2532{
2533 bfd_boolean result;
2534 fragS * left_frag;
2535 fragS * right_frag;
2536 fragS * frag;
2537
2538 /* If we are not performing linker relaxation then we have nothing
2539 to worry about. */
2540 if (linkrelax == 0)
2541 return TRUE;
2542
2543 /* If the symbols are not in a code section then they are OK. */
2544 if ((section->flags & SEC_CODE) == 0)
2545 return TRUE;
2546
2547 /* Otherwise we have to scan the fragments between the two symbols.
2548 If any instructions are found then we have to assume that linker
2549 relaxation may change their size and so we must delay resolving
2550 the subtraction until the final link. */
2551 left_frag = symbol_get_frag (left->X_add_symbol);
2552 right_frag = symbol_get_frag (right->X_add_symbol);
2553
2554 if (left_frag == right_frag)
2555 return ! left_frag->tc_frag_data;
2556
2557 result = TRUE;
2558 for (frag = left_frag; frag != NULL; frag = frag->fr_next)
2559 {
2560 if (frag->tc_frag_data)
2561 result = FALSE;
2562 if (frag == right_frag)
2563 break;
2564 }
2565
2566 if (frag == NULL)
2567 for (frag = right_frag; frag != NULL; frag = frag->fr_next)
2568 {
2569 if (frag->tc_frag_data)
2570 result = FALSE;
2571 if (frag == left_frag)
2572 break;
2573 }
2574
2575 if (frag == NULL)
2576 /* The two symbols are on disjoint fragment chains
2577 - we cannot possibly compute their difference. */
2578 return FALSE;
2579
2580 return result;
2581}
569006e5
NC
2582
2583/* When relaxing, we need to output a reloc for any .align directive
2584 that requests alignment to a two byte boundary or larger. */
2585
2586void
2587mn10300_handle_align (fragS *frag)
2588{
b5f5fd96
NC
2589 if (linkrelax
2590 && (frag->fr_type == rs_align
2591 || frag->fr_type == rs_align_code)
569006e5
NC
2592 && frag->fr_address + frag->fr_fix > 0
2593 && frag->fr_offset > 1
2594 && now_seg != bss_section
2595 /* Do not create relocs for the merging sections - such
2596 relocs will prevent the contents from being merged. */
2597 && (bfd_get_section_flags (now_seg->owner, now_seg) & SEC_MERGE) == 0)
2598 /* Create a new fixup to record the alignment request. The symbol is
2599 irrelevent but must be present so we use the absolute section symbol.
2600 The offset from the symbol is used to record the power-of-two alignment
2601 value. The size is set to 0 because the frag may already be aligned,
2602 thus causing cvt_frag_to_fill to reduce the size of the frag to zero. */
2603 fix_new (frag, frag->fr_fix, 0, & abs_symbol, frag->fr_offset, FALSE,
2604 BFD_RELOC_MN10300_ALIGN);
2605}
b5f5fd96
NC
2606
2607bfd_boolean
2608mn10300_force_relocation (struct fix * fixp)
2609{
2610 if (linkrelax
2611 && (fixp->fx_pcrel
2612 || fixp->fx_r_type == BFD_RELOC_MN10300_ALIGN))
2613 return TRUE;
2614
2615 return generic_force_reloc (fixp);
2616}
This page took 0.986981 seconds and 4 git commands to generate.