* symbols.c (S_FORCE_RELOC): Add "strict" param.
[deliverable/binutils-gdb.git] / gas / config / tc-mcore.c
CommitLineData
252b5132 1/* tc-mcore.c -- Assemble code for M*Core
ae6063d4 2 Copyright 1999, 2000, 2001, 2002, 2003 Free Software Foundation, Inc.
252b5132
RH
3
4 This file is part of GAS, the GNU Assembler.
5
6 GAS is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 2, or (at your option)
9 any later version.
10
11 GAS is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
15
16 You should have received a copy of the GNU General Public License
d7f1f2b0
ILT
17 along with GAS; see the file COPYING. If not, write to the Free
18 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
19 02111-1307, USA. */
252b5132
RH
20
21#include <stdio.h>
22#include "as.h"
23#include "bfd.h"
24#include "subsegs.h"
25#define DEFINE_TABLE
26#include "../opcodes/mcore-opc.h"
3882b010 27#include "safe-ctype.h"
252b5132
RH
28#include <string.h>
29
30#ifdef OBJ_ELF
31#include "elf/mcore.h"
32#endif
33
34#ifndef streq
35#define streq(a,b) (strcmp (a, b) == 0)
36#endif
37
38/* Forward declarations for dumb compilers. */
39static void mcore_s_literals PARAMS ((int));
5f8075fa 40static void mcore_pool_count PARAMS ((void (*) (int), int));
252b5132
RH
41static void mcore_cons PARAMS ((int));
42static void mcore_float_cons PARAMS ((int));
43static void mcore_stringer PARAMS ((int));
bcef92fa 44static void mcore_fill PARAMS ((int));
252b5132 45static int log2 PARAMS ((unsigned int));
9cac79d3
NC
46static char * parse_reg PARAMS ((char *, unsigned *));
47static char * parse_creg PARAMS ((char *, unsigned *));
48static char * parse_exp PARAMS ((char *, expressionS *));
49static char * parse_rt PARAMS ((char *, char **, int, expressionS *));
50static char * parse_imm PARAMS ((char *, unsigned *, unsigned, unsigned));
51static char * parse_mem PARAMS ((char *, unsigned *, unsigned *, unsigned));
bec50466 52static char * parse_psrmod PARAMS ((char *, unsigned *));
252b5132
RH
53static void make_name PARAMS ((char *, char *, int));
54static int enter_literal PARAMS ((expressionS *, int));
252b5132
RH
55static void dump_literals PARAMS ((int));
56static void check_literals PARAMS ((int, int));
57static void mcore_s_text PARAMS ((int));
58static void mcore_s_data PARAMS ((int));
252b5132 59static void mcore_s_section PARAMS ((int));
16b93d88
NC
60static void mcore_s_bss PARAMS ((int));
61#ifdef OBJ_ELF
62static void mcore_s_comm PARAMS ((int));
252b5132
RH
63#endif
64
65/* Several places in this file insert raw instructions into the
66 object. They should use MCORE_INST_XXX macros to get the opcodes
67 and then use these two macros to crack the MCORE_INST value into
68 the appropriate byte values. */
bec50466
NC
69#define INST_BYTE0(x) (target_big_endian ? (((x) >> 8) & 0xFF) : ((x) & 0xFF))
70#define INST_BYTE1(x) (target_big_endian ? ((x) & 0xFF) : (((x) >> 8) & 0xFF))
252b5132
RH
71
72const char comment_chars[] = "#/";
73const char line_separator_chars[] = ";";
74const char line_comment_chars[] = "#/";
75
76const int md_reloc_size = 8;
77
eaa15ab8 78static int do_jsri2bsr = 0; /* Change here from 1 by Cruess 19 August 97. */
252b5132
RH
79static int sifilter_mode = 0;
80
81const char EXP_CHARS[] = "eE";
82
eaa15ab8
NC
83/* Chars that mean this number is a floating point constant
84 As in 0f12.456
85 or 0d1.2345e12 */
252b5132
RH
86const char FLT_CHARS[] = "rRsSfFdDxXpP";
87
88#define C(what,length) (((what) << 2) + (length))
89#define GET_WHAT(x) ((x >> 2))
90
91/* These are the two types of relaxable instruction */
92#define COND_JUMP 1
93#define UNCD_JUMP 2
94
95#define UNDEF_DISP 0
93c2a809
AM
96#define DISP12 1
97#define DISP32 2
98#define UNDEF_WORD_DISP 3
252b5132
RH
99
100#define C12_LEN 2
101#define C32_LEN 10 /* allow for align */
102#define U12_LEN 2
103#define U32_LEN 8 /* allow for align */
104
bec50466
NC
105typedef enum
106{
107 M210,
108 M340
109}
110cpu_type;
111
112cpu_type cpu = M340;
252b5132 113
eaa15ab8 114/* Initialize the relax table. */
e66457fb
AM
115const relax_typeS md_relax_table[] = {
116 { 0, 0, 0, 0 },
117 { 0, 0, 0, 0 },
118 { 0, 0, 0, 0 },
119 { 0, 0, 0, 0 },
120
121 /* COND_JUMP */
122 { 0, 0, 0, 0 }, /* UNDEF_DISP */
123 { 2048, -2046, C12_LEN, C(COND_JUMP, DISP32) }, /* DISP12 */
124 { 0, 0, C32_LEN, 0 }, /* DISP32 */
125 { 0, 0, C32_LEN, 0 }, /* UNDEF_WORD_DISP */
126
127 /* UNCD_JUMP */
5d6255fe
KH
128 { 0, 0, 0, 0 }, /* UNDEF_DISP */
129 { 2048, -2046, U12_LEN, C(UNCD_JUMP, DISP32) }, /* DISP12 */
130 { 0, 0, U32_LEN, 0 }, /* DISP32 */
e66457fb
AM
131 { 0, 0, U32_LEN, 0 } /* UNDEF_WORD_DISP */
132
252b5132
RH
133};
134
eaa15ab8 135/* Literal pool data structures. */
252b5132
RH
136struct literal
137{
138 unsigned short refcnt;
139 unsigned char ispcrel;
140 unsigned char unused;
141 expressionS e;
142};
143
144#define MAX_POOL_SIZE (1024/4)
145static struct literal litpool [MAX_POOL_SIZE];
146static unsigned poolsize;
147static unsigned poolnumber;
148static unsigned long poolspan;
149
150/* SPANPANIC: the point at which we get too scared and force a dump
151 of the literal pool, and perhaps put a branch in place.
152 Calculated as:
153 1024 span of lrw/jmpi/jsri insn (actually span+1)
154 -2 possible alignment at the insn.
155 -2 possible alignment to get the table aligned.
156 -2 an inserted branch around the table.
157 == 1018
158 at 1018, we might be in trouble.
159 -- so we have to be smaller than 1018 and since we deal with 2-byte
160 instructions, the next good choice is 1016.
161 -- Note we have a test case that fails when we've got 1018 here. */
eaa15ab8 162#define SPANPANIC (1016) /* 1024 - 1 entry - 2 byte rounding. */
252b5132
RH
163#define SPANCLOSE (900)
164#define SPANEXIT (600)
eaa15ab8 165static symbolS * poolsym; /* label for current pool. */
252b5132 166static char poolname[8];
eaa15ab8 167static struct hash_control * opcode_hash_control; /* Opcode mnemonics. */
252b5132
RH
168
169/* This table describes all the machine specific pseudo-ops the assembler
170 has to support. The fields are:
171 Pseudo-op name without dot
172 Function to call to execute this pseudo-op
eaa15ab8 173 Integer arg to pass to the function. */
252b5132
RH
174const pseudo_typeS md_pseudo_table[] =
175{
176 { "export", s_globl, 0 },
177 { "import", s_ignore, 0 },
178 { "literals", mcore_s_literals, 0 },
179 { "page", listing_eject, 0 },
252b5132
RH
180
181 /* The following are to intercept the placement of data into the text
182 section (eg addresses for a switch table), so that the space they
183 occupy can be taken into account when deciding whether or not to
184 dump the current literal pool.
185 XXX - currently we do not cope with the .space and .dcb.d directives. */
186 { "ascii", mcore_stringer, 0 },
187 { "asciz", mcore_stringer, 1 },
188 { "byte", mcore_cons, 1 },
189 { "dc", mcore_cons, 2 },
190 { "dc.b", mcore_cons, 1 },
bcef92fa 191 { "dc.d", mcore_float_cons, 'd'},
252b5132 192 { "dc.l", mcore_cons, 4 },
bcef92fa 193 { "dc.s", mcore_float_cons, 'f'},
252b5132 194 { "dc.w", mcore_cons, 2 },
bcef92fa 195 { "dc.x", mcore_float_cons, 'x'},
252b5132
RH
196 { "double", mcore_float_cons, 'd'},
197 { "float", mcore_float_cons, 'f'},
198 { "hword", mcore_cons, 2 },
199 { "int", mcore_cons, 4 },
200 { "long", mcore_cons, 4 },
201 { "octa", mcore_cons, 16 },
202 { "quad", mcore_cons, 8 },
203 { "short", mcore_cons, 2 },
204 { "single", mcore_float_cons, 'f'},
205 { "string", mcore_stringer, 1 },
206 { "word", mcore_cons, 2 },
bcef92fa 207 { "fill", mcore_fill, 0 },
252b5132
RH
208
209 /* Allow for the effect of section changes. */
210 { "text", mcore_s_text, 0 },
211 { "data", mcore_s_data, 0 },
16b93d88 212 { "bss", mcore_s_bss, 1 },
30cdfbed 213#ifdef OBJ_ELF
16b93d88
NC
214 { "comm", mcore_s_comm, 0 },
215#endif
252b5132
RH
216 { "section", mcore_s_section, 0 },
217 { "section.s", mcore_s_section, 0 },
218 { "sect", mcore_s_section, 0 },
219 { "sect.s", mcore_s_section, 0 },
a75214e5 220
252b5132
RH
221 { 0, 0, 0 }
222};
223
224static void
225mcore_s_literals (ignore)
aa699a2c 226 int ignore ATTRIBUTE_UNUSED;
252b5132
RH
227{
228 dump_literals (0);
229 demand_empty_rest_of_line ();
230}
231
5f8075fa
AM
232/* Perform FUNC (ARG), and track number of bytes added to frag. */
233
252b5132 234static void
5f8075fa
AM
235mcore_pool_count (func, arg)
236 void (*func) PARAMS ((int));
237 int arg;
252b5132 238{
5f8075fa
AM
239 const fragS *curr_frag = frag_now;
240 offsetT added = -frag_now_fix_octets ();
a75214e5 241
5f8075fa 242 (*func) (arg);
a75214e5 243
5f8075fa
AM
244 while (curr_frag != frag_now)
245 {
246 added += curr_frag->fr_fix;
247 curr_frag = curr_frag->fr_next;
252b5132 248 }
a75214e5 249
5f8075fa
AM
250 added += frag_now_fix_octets ();
251 poolspan += added;
252}
253
254static void
255mcore_cons (nbytes)
256 int nbytes;
257{
258 if (now_seg == text_section)
259 mcore_pool_count (cons, nbytes);
260 else
261 cons (nbytes);
252b5132
RH
262
263 /* In theory we ought to call check_literals (2,0) here in case
264 we need to dump the literal table. We cannot do this however,
265 as the directives that we are intercepting may be being used
266 to build a switch table, and we must not interfere with its
a75214e5 267 contents. Instead we cross our fingers and pray... */
252b5132
RH
268}
269
270static void
271mcore_float_cons (float_type)
272 int float_type;
273{
274 if (now_seg == text_section)
5f8075fa
AM
275 mcore_pool_count (float_cons, float_type);
276 else
277 float_cons (float_type);
a75214e5 278
252b5132
RH
279 /* See the comment in mcore_cons () about calling check_literals.
280 It is unlikely that a switch table will be constructed using
281 floating point values, but it is still likely that an indexed
282 table of floating point constants is being created by these
283 directives, so again we must not interfere with their placement. */
284}
285
286static void
287mcore_stringer (append_zero)
288 int append_zero;
289{
290 if (now_seg == text_section)
5f8075fa
AM
291 mcore_pool_count (stringer, append_zero);
292 else
293 stringer (append_zero);
252b5132
RH
294
295 /* We call check_literals here in case a large number of strings are
296 being placed into the text section with a sequence of stringer
297 directives. In theory we could be upsetting something if these
298 strings are actually in an indexed table instead of referenced by
299 individual labels. Let us hope that that never happens. */
300 check_literals (2, 0);
301}
302
bcef92fa
NC
303static void
304mcore_fill (unused)
305 int unused;
306{
307 if (now_seg == text_section)
5f8075fa
AM
308 mcore_pool_count (s_fill, unused);
309 else
310 s_fill (unused);
bcef92fa 311
4c1102fd 312 check_literals (2, 0);
bcef92fa
NC
313}
314
16b93d88
NC
315/* Handle the section changing pseudo-ops. These call through to the
316 normal implementations, but they dump the literal pool first. */
252b5132
RH
317static void
318mcore_s_text (ignore)
319 int ignore;
320{
321 dump_literals (0);
a75214e5 322
16b93d88
NC
323#ifdef OBJ_ELF
324 obj_elf_text (ignore);
325#else
252b5132 326 s_text (ignore);
16b93d88 327#endif
252b5132
RH
328}
329
330static void
331mcore_s_data (ignore)
332 int ignore;
333{
334 dump_literals (0);
a75214e5 335
16b93d88
NC
336#ifdef OBJ_ELF
337 obj_elf_data (ignore);
338#else
252b5132 339 s_data (ignore);
16b93d88
NC
340#endif
341}
342
343static void
344mcore_s_section (ignore)
345 int ignore;
346{
bcef92fa
NC
347 /* Scan forwards to find the name of the section. If the section
348 being switched to is ".line" then this is a DWARF1 debug section
349 which is arbitarily placed inside generated code. In this case
350 do not dump the literal pool because it is a) inefficient and
351 b) would require the generation of extra code to jump around the
352 pool. */
353 char * ilp = input_line_pointer;
354
3882b010 355 while (*ilp != 0 && ISSPACE (*ilp))
bcef92fa
NC
356 ++ ilp;
357
358 if (strncmp (ilp, ".line", 5) == 0
3882b010 359 && (ISSPACE (ilp[5]) || *ilp == '\n' || *ilp == '\r'))
bcef92fa
NC
360 ;
361 else
362 dump_literals (0);
16b93d88
NC
363
364#ifdef OBJ_ELF
365 obj_elf_section (ignore);
366#endif
367#ifdef OBJ_COFF
368 obj_coff_section (ignore);
369#endif
252b5132
RH
370}
371
16b93d88
NC
372static void
373mcore_s_bss (needs_align)
374 int needs_align;
375{
376 dump_literals (0);
a75214e5 377
16b93d88
NC
378 s_lcomm_bytes (needs_align);
379}
380
381#ifdef OBJ_ELF
382static void
383mcore_s_comm (needs_align)
384 int needs_align;
385{
386 dump_literals (0);
a75214e5 387
16b93d88
NC
388 obj_elf_common (needs_align);
389}
390#endif
391
252b5132 392/* This function is called once, at assembler startup time. This should
bcef92fa 393 set up all the tables, etc that the MD part of the assembler needs. */
252b5132
RH
394void
395md_begin ()
396{
5ff37431 397 const mcore_opcode_info * opcode;
252b5132
RH
398 char * prev_name = "";
399
400 opcode_hash_control = hash_new ();
401
402 /* Insert unique names into hash table */
403 for (opcode = mcore_table; opcode->name; opcode ++)
404 {
5ff37431 405 if (! streq (prev_name, opcode->name))
252b5132
RH
406 {
407 prev_name = opcode->name;
408 hash_insert (opcode_hash_control, opcode->name, (char *) opcode);
409 }
410 }
411}
412
252b5132
RH
413/* Get a log2(val). */
414static int
415log2 (val)
416 unsigned int val;
417{
418 int log = -1;
419 while (val != 0)
420 {
5f8075fa
AM
421 log ++;
422 val >>= 1;
252b5132 423 }
a75214e5 424
252b5132
RH
425 return log;
426}
427
428/* Try to parse a reg name. */
429static char *
430parse_reg (s, reg)
431 char * s;
432 unsigned * reg;
433{
434 /* Strip leading whitespace. */
3882b010 435 while (ISSPACE (* s))
252b5132 436 ++ s;
a75214e5 437
3882b010 438 if (TOLOWER (s[0]) == 'r')
252b5132
RH
439 {
440 if (s[1] == '1' && s[2] >= '0' && s[2] <= '5')
441 {
442 *reg = 10 + s[2] - '0';
443 return s + 3;
444 }
a75214e5 445
252b5132
RH
446 if (s[1] >= '0' && s[1] <= '9')
447 {
448 *reg = s[1] - '0';
449 return s + 2;
450 }
451 }
3882b010
L
452 else if ( TOLOWER (s[0]) == 's'
453 && TOLOWER (s[1]) == 'p'
454 && ! ISALNUM (s[2]))
252b5132
RH
455 {
456 * reg = 0;
457 return s + 2;
458 }
a75214e5 459
252b5132
RH
460 as_bad (_("register expected, but saw '%.6s'"), s);
461 return s;
462}
463
464static struct Cregs
465{
466 char * name;
467 unsigned int crnum;
468}
469cregs[] =
470{
471 { "psr", 0},
472 { "vbr", 1},
473 { "epsr", 2},
474 { "fpsr", 3},
475 { "epc", 4},
476 { "fpc", 5},
477 { "ss0", 6},
478 { "ss1", 7},
479 { "ss2", 8},
480 { "ss3", 9},
481 { "ss4", 10},
482 { "gcr", 11},
483 { "gsr", 12},
484 { "", 0}
485};
486
487static char *
488parse_creg (s, reg)
489 char * s;
490 unsigned * reg;
491{
492 int i;
493
494 /* Strip leading whitespace. */
3882b010 495 while (ISSPACE (* s))
252b5132 496 ++s;
a75214e5 497
3882b010 498 if ((TOLOWER (s[0]) == 'c' && TOLOWER (s[1]) == 'r'))
252b5132
RH
499 {
500 if (s[2] == '3' && s[3] >= '0' && s[3] <= '1')
501 {
502 *reg = 30 + s[3] - '0';
503 return s + 4;
504 }
a75214e5 505
252b5132
RH
506 if (s[2] == '2' && s[3] >= '0' && s[3] <= '9')
507 {
508 *reg = 20 + s[3] - '0';
509 return s + 4;
510 }
a75214e5 511
252b5132
RH
512 if (s[2] == '1' && s[3] >= '0' && s[3] <= '9')
513 {
514 *reg = 10 + s[3] - '0';
515 return s + 4;
516 }
a75214e5 517
252b5132
RH
518 if (s[2] >= '0' && s[2] <= '9')
519 {
520 *reg = s[2] - '0';
521 return s + 3;
522 }
523 }
a75214e5 524
252b5132
RH
525 /* Look at alternate creg names before giving error. */
526 for (i = 0; cregs[i].name[0] != '\0'; i++)
527 {
528 char buf [10];
529 int length;
530 int j;
a75214e5 531
252b5132 532 length = strlen (cregs[i].name);
a75214e5 533
252b5132 534 for (j = 0; j < length; j++)
3882b010 535 buf[j] = TOLOWER (s[j]);
a75214e5 536
252b5132
RH
537 if (strncmp (cregs[i].name, buf, length) == 0)
538 {
539 *reg = cregs[i].crnum;
540 return s + length;
541 }
542 }
a75214e5 543
252b5132 544 as_bad (_("control register expected, but saw '%.6s'"), s);
a75214e5 545
252b5132
RH
546 return s;
547}
548
bec50466
NC
549static char *
550parse_psrmod (s, reg)
551 char * s;
552 unsigned * reg;
553{
554 int i;
555 char buf[10];
556 static struct psrmods
557 {
558 char * name;
559 unsigned int value;
560 }
561 psrmods[] =
562 {
563 { "ie", 1 },
564 { "fe", 2 },
565 { "ee", 4 },
566 { "af", 8 } /* Really 0 and non-combinable. */
567 };
a75214e5 568
bec50466 569 for (i = 0; i < 2; i++)
3882b010 570 buf[i] = TOLOWER (s[i]);
a75214e5 571
bec50466
NC
572 for (i = sizeof (psrmods) / sizeof (psrmods[0]); i--;)
573 {
574 if (! strncmp (psrmods[i].name, buf, 2))
575 {
5f8075fa 576 * reg = psrmods[i].value;
a75214e5 577
5f8075fa 578 return s + 2;
bec50466
NC
579 }
580 }
a75214e5 581
bec50466 582 as_bad (_("bad/missing psr specifier"));
a75214e5 583
bec50466 584 * reg = 0;
a75214e5 585
bec50466
NC
586 return s;
587}
588
252b5132
RH
589static char *
590parse_exp (s, e)
591 char * s;
592 expressionS * e;
593{
594 char * save;
595 char * new;
596
597 /* Skip whitespace. */
3882b010 598 while (ISSPACE (* s))
252b5132 599 ++ s;
a75214e5 600
252b5132
RH
601 save = input_line_pointer;
602 input_line_pointer = s;
603
604 expression (e);
a75214e5 605
252b5132
RH
606 if (e->X_op == O_absent)
607 as_bad (_("missing operand"));
a75214e5 608
252b5132
RH
609 new = input_line_pointer;
610 input_line_pointer = save;
a75214e5 611
252b5132
RH
612 return new;
613}
614
615static void
616make_name (s, p, n)
617 char * s;
618 char * p;
619 int n;
620{
621 static const char hex[] = "0123456789ABCDEF";
622
623 s[0] = p[0];
624 s[1] = p[1];
625 s[2] = p[2];
626 s[3] = hex[(n >> 12) & 0xF];
627 s[4] = hex[(n >> 8) & 0xF];
628 s[5] = hex[(n >> 4) & 0xF];
629 s[6] = hex[(n) & 0xF];
630 s[7] = 0;
631}
632
b8a40f53
NC
633#define POOL_END_LABEL ".LE"
634#define POOL_START_LABEL ".LS"
635
252b5132
RH
636static void
637dump_literals (isforce)
638 int isforce;
639{
aa699a2c 640 unsigned int i;
252b5132 641 struct literal * p;
30cdfbed 642 symbolS * brarsym = NULL;
a75214e5 643
252b5132
RH
644 if (poolsize == 0)
645 return;
646
647 /* Must we branch around the literal table? */
648 if (isforce)
649 {
650 char * output;
651 char brarname[8];
a75214e5 652
b8a40f53 653 make_name (brarname, POOL_END_LABEL, poolnumber);
a75214e5 654
252b5132 655 brarsym = symbol_make (brarname);
a75214e5 656
252b5132 657 symbol_table_insert (brarsym);
a75214e5 658
252b5132 659 output = frag_var (rs_machine_dependent,
93c2a809
AM
660 md_relax_table[C (UNCD_JUMP, DISP32)].rlx_length,
661 md_relax_table[C (UNCD_JUMP, DISP12)].rlx_length,
252b5132
RH
662 C (UNCD_JUMP, 0), brarsym, 0, 0);
663 output[0] = INST_BYTE0 (MCORE_INST_BR); /* br .+xxx */
664 output[1] = INST_BYTE1 (MCORE_INST_BR);
665 }
a75214e5 666
252b5132
RH
667 /* Make sure that the section is sufficiently aligned and that
668 the literal table is aligned within it. */
669 record_alignment (now_seg, 2);
670 frag_align (2, 0, 0);
a75214e5 671
252b5132 672 colon (S_GET_NAME (poolsym));
a75214e5 673
252b5132
RH
674 for (i = 0, p = litpool; i < poolsize; i++, p++)
675 emit_expr (& p->e, 4);
a75214e5 676
30cdfbed 677 if (brarsym != NULL)
252b5132 678 colon (S_GET_NAME (brarsym));
a75214e5 679
252b5132
RH
680 poolsize = 0;
681}
682
683static void
684check_literals (kind, offset)
685 int kind;
686 int offset;
687{
688 poolspan += offset;
a75214e5 689
252b5132
RH
690 /* SPANCLOSE and SPANEXIT are smaller numbers than SPANPANIC.
691 SPANPANIC means that we must dump now.
692 kind == 0 is any old instruction.
693 kind > 0 means we just had a control transfer instruction.
694 kind == 1 means within a function
695 kind == 2 means we just left a function
a75214e5 696
252b5132
RH
697 The dump_literals (1) call inserts a branch around the table, so
698 we first look to see if its a situation where we won't have to
699 insert a branch (e.g., the previous instruction was an unconditional
700 branch).
a75214e5 701
252b5132
RH
702 SPANPANIC is the point where we must dump a single-entry pool.
703 it accounts for alignments and an inserted branch.
704 the 'poolsize*2' accounts for the scenario where we do:
705 lrw r1,lit1; lrw r2,lit2; lrw r3,lit3
706 Note that the 'lit2' reference is 2 bytes further along
707 but the literal it references will be 4 bytes further along,
708 so we must consider the poolsize into this equation.
709 This is slightly over-cautious, but guarantees that we won't
710 panic because a relocation is too distant. */
a75214e5 711
252b5132
RH
712 if (poolspan > SPANCLOSE && kind > 0)
713 dump_literals (0);
4c1102fd 714 else if (poolspan > SPANEXIT && kind > 1)
252b5132
RH
715 dump_literals (0);
716 else if (poolspan >= (SPANPANIC - poolsize * 2))
717 dump_literals (1);
718}
719
720static int
721enter_literal (e, ispcrel)
722 expressionS * e;
723 int ispcrel;
724{
aa699a2c 725 unsigned int i;
252b5132
RH
726 struct literal * p;
727
728 if (poolsize >= MAX_POOL_SIZE - 2)
729 {
730 /* The literal pool is as full as we can handle. We have
5f8075fa
AM
731 to be 2 entries shy of the 1024/4=256 entries because we
732 have to allow for the branch (2 bytes) and the alignment
733 (2 bytes before the first insn referencing the pool and
734 2 bytes before the pool itself) == 6 bytes, rounds up
735 to 2 entries. */
252b5132
RH
736 dump_literals (1);
737 }
738
739 if (poolsize == 0)
740 {
741 /* Create new literal pool. */
742 if (++ poolnumber > 0xFFFF)
743 as_fatal (_("more than 65K literal pools"));
a75214e5 744
b8a40f53 745 make_name (poolname, POOL_START_LABEL, poolnumber);
252b5132
RH
746 poolsym = symbol_make (poolname);
747 symbol_table_insert (poolsym);
748 poolspan = 0;
749 }
a75214e5 750
252b5132
RH
751 /* Search pool for value so we don't have duplicates. */
752 for (p = litpool, i = 0; i < poolsize; i++, p++)
753 {
754 if (e->X_op == p->e.X_op
755 && e->X_add_symbol == p->e.X_add_symbol
756 && e->X_add_number == p->e.X_add_number
757 && ispcrel == p->ispcrel)
758 {
759 p->refcnt ++;
760 return i;
761 }
762 }
763
764 p->refcnt = 1;
765 p->ispcrel = ispcrel;
766 p->e = * e;
a75214e5 767
252b5132
RH
768 poolsize ++;
769
a75214e5 770 return i;
252b5132
RH
771}
772
773/* Parse a literal specification. -- either new or old syntax.
774 old syntax: the user supplies the label and places the literal.
775 new syntax: we put it into the literal pool. */
776static char *
777parse_rt (s, outputp, ispcrel, ep)
778 char * s;
779 char ** outputp;
780 int ispcrel;
781 expressionS * ep;
782{
783 expressionS e;
784 int n;
a75214e5 785
252b5132
RH
786 if (ep)
787 /* Indicate nothing there. */
788 ep->X_op = O_absent;
a75214e5 789
252b5132
RH
790 if (*s == '[')
791 {
792 s = parse_exp (s + 1, & e);
a75214e5 793
252b5132
RH
794 if (*s == ']')
795 s++;
796 else
797 as_bad (_("missing ']'"));
798 }
799 else
800 {
801 s = parse_exp (s, & e);
a75214e5 802
252b5132 803 n = enter_literal (& e, ispcrel);
a75214e5 804
252b5132
RH
805 if (ep)
806 *ep = e;
807
808 /* Create a reference to pool entry. */
809 e.X_op = O_symbol;
810 e.X_add_symbol = poolsym;
811 e.X_add_number = n << 2;
812 }
a75214e5 813
252b5132
RH
814 * outputp = frag_more (2);
815
816 fix_new_exp (frag_now, (*outputp) - frag_now->fr_literal, 2, & e, 1,
817 BFD_RELOC_MCORE_PCREL_IMM8BY4);
818
819 return s;
820}
821
822static char *
823parse_imm (s, val, min, max)
824 char * s;
825 unsigned * val;
826 unsigned min;
827 unsigned max;
828{
829 char * new;
830 expressionS e;
a75214e5 831
252b5132 832 new = parse_exp (s, & e);
a75214e5 833
252b5132
RH
834 if (e.X_op == O_absent)
835 ; /* An error message has already been emitted. */
836 else if (e.X_op != O_constant)
837 as_bad (_("operand must be a constant"));
aa699a2c
AM
838 else if ((addressT) e.X_add_number < min || (addressT) e.X_add_number > max)
839 as_bad (_("operand must be absolute in range %u..%u, not %ld"),
840 min, max, (long) e.X_add_number);
252b5132
RH
841
842 * val = e.X_add_number;
a75214e5 843
252b5132
RH
844 return new;
845}
846
847static char *
848parse_mem (s, reg, off, siz)
849 char * s;
850 unsigned * reg;
851 unsigned * off;
852 unsigned siz;
853{
252b5132 854 * off = 0;
a75214e5 855
3882b010 856 while (ISSPACE (* s))
252b5132 857 ++ s;
a75214e5 858
252b5132
RH
859 if (* s == '(')
860 {
861 s = parse_reg (s + 1, reg);
862
3882b010 863 while (ISSPACE (* s))
252b5132 864 ++ s;
a75214e5 865
252b5132
RH
866 if (* s == ',')
867 {
868 s = parse_imm (s + 1, off, 0, 63);
a75214e5 869
252b5132
RH
870 if (siz > 1)
871 {
872 if (siz > 2)
873 {
874 if (* off & 0x3)
875 as_bad (_("operand must be a multiple of 4"));
a75214e5 876
252b5132
RH
877 * off >>= 2;
878 }
879 else
880 {
881 if (* off & 0x1)
882 as_bad (_("operand must be a multiple of 2"));
a75214e5 883
252b5132
RH
884 * off >>= 1;
885 }
886 }
887 }
a75214e5 888
3882b010 889 while (ISSPACE (* s))
252b5132 890 ++ s;
a75214e5 891
252b5132
RH
892 if (* s == ')')
893 s ++;
894 }
895 else
896 as_bad (_("base register expected"));
a75214e5 897
252b5132
RH
898 return s;
899}
900
901/* This is the guts of the machine-dependent assembler. STR points to a
902 machine dependent instruction. This function is supposed to emit
903 the frags/bytes it assembles to. */
904
905void
906md_assemble (str)
907 char * str;
908{
909 char * op_start;
910 char * op_end;
911 mcore_opcode_info * opcode;
912 char * output;
913 int nlen = 0;
914 unsigned short inst;
915 unsigned reg;
916 unsigned off;
917 unsigned isize;
918 expressionS e;
919 char name[20];
920
921 /* Drop leading whitespace. */
3882b010 922 while (ISSPACE (* str))
252b5132
RH
923 str ++;
924
925 /* Find the op code end. */
926 for (op_start = op_end = str;
b75c0c92 927 nlen < 20 && !is_end_of_line [(unsigned char) *op_end] && *op_end != ' ';
252b5132
RH
928 op_end++)
929 {
930 name[nlen] = op_start[nlen];
931 nlen++;
932 }
a75214e5 933
252b5132 934 name [nlen] = 0;
a75214e5 935
252b5132
RH
936 if (nlen == 0)
937 {
938 as_bad (_("can't find opcode "));
939 return;
940 }
941
942 opcode = (mcore_opcode_info *) hash_find (opcode_hash_control, name);
943 if (opcode == NULL)
944 {
945 as_bad (_("unknown opcode \"%s\""), name);
946 return;
947 }
a75214e5 948
252b5132
RH
949 inst = opcode->inst;
950 isize = 2;
a75214e5 951
252b5132
RH
952 switch (opcode->opclass)
953 {
954 case O0:
955 output = frag_more (2);
956 break;
a75214e5 957
252b5132
RH
958 case OT:
959 op_end = parse_imm (op_end + 1, & reg, 0, 3);
960 inst |= reg;
961 output = frag_more (2);
962 break;
a75214e5 963
252b5132
RH
964 case O1:
965 op_end = parse_reg (op_end + 1, & reg);
966 inst |= reg;
967 output = frag_more (2);
968 break;
a75214e5 969
252b5132
RH
970 case JMP:
971 op_end = parse_reg (op_end + 1, & reg);
972 inst |= reg;
973 output = frag_more (2);
974 /* In a sifilter mode, we emit this insn 2 times,
5f8075fa 975 fixes problem of an interrupt during a jmp.. */
252b5132
RH
976 if (sifilter_mode)
977 {
b8a40f53
NC
978 output[0] = INST_BYTE0 (inst);
979 output[1] = INST_BYTE1 (inst);
252b5132
RH
980 output = frag_more (2);
981 }
982 break;
a75214e5 983
252b5132
RH
984 case JSR:
985 op_end = parse_reg (op_end + 1, & reg);
a75214e5 986
252b5132
RH
987 if (reg == 15)
988 as_bad (_("invalid register: r15 illegal"));
a75214e5 989
252b5132
RH
990 inst |= reg;
991 output = frag_more (2);
a75214e5 992
252b5132
RH
993 if (sifilter_mode)
994 {
995 /* Replace with: bsr .+2 ; addi r15,6; jmp rx ; jmp rx */
996 inst = MCORE_INST_BSR; /* with 0 displacement */
b8a40f53
NC
997 output[0] = INST_BYTE0 (inst);
998 output[1] = INST_BYTE1 (inst);
252b5132
RH
999
1000 output = frag_more (2);
1001 inst = MCORE_INST_ADDI;
1002 inst |= 15; /* addi r15,6 */
1003 inst |= (6 - 1) << 4; /* over the jmp's */
b8a40f53
NC
1004 output[0] = INST_BYTE0 (inst);
1005 output[1] = INST_BYTE1 (inst);
252b5132
RH
1006
1007 output = frag_more (2);
1008 inst = MCORE_INST_JMP | reg;
b8a40f53
NC
1009 output[0] = INST_BYTE0 (inst);
1010 output[1] = INST_BYTE1 (inst);
252b5132
RH
1011
1012 output = frag_more (2); /* 2nd emitted in fallthru */
1013 }
1014 break;
a75214e5 1015
252b5132
RH
1016 case OC:
1017 op_end = parse_reg (op_end + 1, & reg);
1018 inst |= reg;
a75214e5 1019
252b5132 1020 /* Skip whitespace. */
3882b010 1021 while (ISSPACE (* op_end))
252b5132 1022 ++ op_end;
a75214e5 1023
252b5132
RH
1024 if (*op_end == ',')
1025 {
1026 op_end = parse_creg (op_end + 1, & reg);
1027 inst |= reg << 4;
1028 }
a75214e5 1029
252b5132
RH
1030 output = frag_more (2);
1031 break;
1032
bec50466
NC
1033 case MULSH:
1034 if (cpu == M210)
1035 {
1036 as_bad (_("M340 specific opcode used when assembling for M210"));
1037 break;
1038 }
a75214e5 1039 /* drop through... */
252b5132
RH
1040 case O2:
1041 op_end = parse_reg (op_end + 1, & reg);
1042 inst |= reg;
a75214e5 1043
252b5132 1044 /* Skip whitespace. */
3882b010 1045 while (ISSPACE (* op_end))
252b5132 1046 ++ op_end;
a75214e5 1047
252b5132
RH
1048 if (* op_end == ',')
1049 {
1050 op_end = parse_reg (op_end + 1, & reg);
1051 inst |= reg << 4;
1052 }
1053 else
1054 as_bad (_("second operand missing"));
a75214e5 1055
252b5132
RH
1056 output = frag_more (2);
1057 break;
a75214e5 1058
252b5132
RH
1059 case X1: /* Handle both syntax-> xtrb- r1,rx OR xtrb- rx */
1060 op_end = parse_reg (op_end + 1, & reg);
a75214e5 1061
252b5132 1062 /* Skip whitespace. */
3882b010 1063 while (ISSPACE (* op_end))
252b5132 1064 ++ op_end;
a75214e5 1065
252b5132
RH
1066 if (* op_end == ',') /* xtrb- r1,rx */
1067 {
1068 if (reg != 1)
1069 as_bad (_("destination register must be r1"));
a75214e5 1070
252b5132
RH
1071 op_end = parse_reg (op_end + 1, & reg);
1072 }
a75214e5 1073
252b5132
RH
1074 inst |= reg;
1075 output = frag_more (2);
1076 break;
a75214e5 1077
252b5132
RH
1078 case O1R1: /* div- rx,r1 */
1079 op_end = parse_reg (op_end + 1, & reg);
1080 inst |= reg;
a75214e5 1081
252b5132 1082 /* Skip whitespace. */
3882b010 1083 while (ISSPACE (* op_end))
252b5132 1084 ++ op_end;
a75214e5 1085
252b5132
RH
1086 if (* op_end == ',')
1087 {
1088 op_end = parse_reg (op_end + 1, & reg);
1089 if (reg != 1)
1090 as_bad (_("source register must be r1"));
1091 }
1092 else
1093 as_bad (_("second operand missing"));
a75214e5 1094
252b5132
RH
1095 output = frag_more (2);
1096 break;
a75214e5 1097
252b5132
RH
1098 case OI:
1099 op_end = parse_reg (op_end + 1, & reg);
1100 inst |= reg;
a75214e5 1101
252b5132 1102 /* Skip whitespace. */
3882b010 1103 while (ISSPACE (* op_end))
252b5132 1104 ++ op_end;
a75214e5 1105
252b5132
RH
1106 if (* op_end == ',')
1107 {
1108 op_end = parse_imm (op_end + 1, & reg, 1, 32);
1109 inst |= (reg - 1) << 4;
1110 }
1111 else
1112 as_bad (_("second operand missing"));
a75214e5 1113
252b5132
RH
1114 output = frag_more (2);
1115 break;
a75214e5 1116
252b5132
RH
1117 case OB:
1118 op_end = parse_reg (op_end + 1, & reg);
1119 inst |= reg;
a75214e5 1120
252b5132 1121 /* Skip whitespace. */
3882b010 1122 while (ISSPACE (* op_end))
252b5132 1123 ++ op_end;
a75214e5 1124
252b5132
RH
1125 if (* op_end == ',')
1126 {
1127 op_end = parse_imm (op_end + 1, & reg, 0, 31);
1128 inst |= reg << 4;
1129 }
1130 else
1131 as_bad (_("second operand missing"));
a75214e5 1132
252b5132
RH
1133 output = frag_more (2);
1134 break;
a75214e5 1135
252b5132
RH
1136 case OB2: /* like OB, but arg is 2^n instead of n */
1137 op_end = parse_reg (op_end + 1, & reg);
1138 inst |= reg;
a75214e5 1139
252b5132 1140 /* Skip whitespace. */
3882b010 1141 while (ISSPACE (* op_end))
252b5132 1142 ++ op_end;
a75214e5 1143
252b5132
RH
1144 if (* op_end == ',')
1145 {
1146 op_end = parse_imm (op_end + 1, & reg, 1, 1 << 31);
a75214e5 1147 /* Further restrict the immediate to a power of two. */
252b5132
RH
1148 if ((reg & (reg - 1)) == 0)
1149 reg = log2 (reg);
1150 else
1151 {
1152 reg = 0;
1153 as_bad (_("immediate is not a power of two"));
1154 }
1155 inst |= (reg) << 4;
1156 }
1157 else
1158 as_bad (_("second operand missing"));
a75214e5 1159
252b5132
RH
1160 output = frag_more (2);
1161 break;
a75214e5
KH
1162
1163 case OBRa: /* Specific for bgeni: imm of 0->6 translate to movi. */
252b5132
RH
1164 case OBRb:
1165 case OBRc:
1166 op_end = parse_reg (op_end + 1, & reg);
1167 inst |= reg;
a75214e5 1168
252b5132 1169 /* Skip whitespace. */
3882b010 1170 while (ISSPACE (* op_end))
252b5132 1171 ++ op_end;
a75214e5 1172
252b5132
RH
1173 if (* op_end == ',')
1174 {
1175 op_end = parse_imm (op_end + 1, & reg, 0, 31);
1176 /* immediate values of 0 -> 6 translate to movi */
1177 if (reg <= 6)
1178 {
1179 inst = (inst & 0xF) | MCORE_INST_BGENI_ALT;
1180 reg = 0x1 << reg;
1181 as_warn (_("translating bgeni to movi"));
1182 }
1183 inst &= ~ 0x01f0;
1184 inst |= reg << 4;
1185 }
1186 else
1187 as_bad (_("second operand missing"));
a75214e5 1188
252b5132
RH
1189 output = frag_more (2);
1190 break;
a75214e5 1191
252b5132
RH
1192 case OBR2: /* like OBR, but arg is 2^n instead of n */
1193 op_end = parse_reg (op_end + 1, & reg);
1194 inst |= reg;
a75214e5 1195
252b5132 1196 /* Skip whitespace. */
3882b010 1197 while (ISSPACE (* op_end))
252b5132 1198 ++ op_end;
a75214e5 1199
252b5132
RH
1200 if (* op_end == ',')
1201 {
1202 op_end = parse_imm (op_end + 1, & reg, 1, 1 << 31);
a75214e5 1203
252b5132
RH
1204 /* Further restrict the immediate to a power of two. */
1205 if ((reg & (reg - 1)) == 0)
1206 reg = log2 (reg);
1207 else
1208 {
1209 reg = 0;
1210 as_bad (_("immediate is not a power of two"));
1211 }
a75214e5
KH
1212
1213 /* Immediate values of 0 -> 6 translate to movi. */
252b5132
RH
1214 if (reg <= 6)
1215 {
1216 inst = (inst & 0xF) | MCORE_INST_BGENI_ALT;
1217 reg = 0x1 << reg;
1218 as_warn (_("translating mgeni to movi"));
1219 }
a75214e5 1220
252b5132
RH
1221 inst |= reg << 4;
1222 }
1223 else
1224 as_bad (_("second operand missing"));
a75214e5 1225
252b5132
RH
1226 output = frag_more (2);
1227 break;
a75214e5 1228
252b5132
RH
1229 case OMa: /* Specific for bmaski: imm 1->7 translate to movi. */
1230 case OMb:
1231 case OMc:
1232 op_end = parse_reg (op_end + 1, & reg);
1233 inst |= reg;
a75214e5 1234
252b5132 1235 /* Skip whitespace. */
3882b010 1236 while (ISSPACE (* op_end))
252b5132 1237 ++ op_end;
a75214e5 1238
252b5132
RH
1239 if (* op_end == ',')
1240 {
1241 op_end = parse_imm (op_end + 1, & reg, 1, 32);
a75214e5
KH
1242
1243 /* Immediate values of 1 -> 7 translate to movi. */
252b5132
RH
1244 if (reg <= 7)
1245 {
1246 inst = (inst & 0xF) | MCORE_INST_BMASKI_ALT;
1247 reg = (0x1 << reg) - 1;
1248 inst |= reg << 4;
a75214e5 1249
252b5132
RH
1250 as_warn (_("translating bmaski to movi"));
1251 }
1252 else
1253 {
1254 inst &= ~ 0x01F0;
1255 inst |= (reg & 0x1F) << 4;
1256 }
1257 }
1258 else
1259 as_bad (_("second operand missing"));
a75214e5 1260
252b5132
RH
1261 output = frag_more (2);
1262 break;
a75214e5 1263
252b5132
RH
1264 case SI:
1265 op_end = parse_reg (op_end + 1, & reg);
1266 inst |= reg;
a75214e5 1267
252b5132 1268 /* Skip whitespace. */
3882b010 1269 while (ISSPACE (* op_end))
252b5132 1270 ++ op_end;
a75214e5 1271
252b5132
RH
1272 if (* op_end == ',')
1273 {
1274 op_end = parse_imm (op_end + 1, & reg, 1, 31);
1275 inst |= reg << 4;
1276 }
1277 else
1278 as_bad (_("second operand missing"));
a75214e5 1279
252b5132
RH
1280 output = frag_more (2);
1281 break;
1282
1283 case I7:
1284 op_end = parse_reg (op_end + 1, & reg);
1285 inst |= reg;
a75214e5 1286
252b5132 1287 /* Skip whitespace. */
3882b010 1288 while (ISSPACE (* op_end))
252b5132 1289 ++ op_end;
a75214e5 1290
252b5132
RH
1291 if (* op_end == ',')
1292 {
1293 op_end = parse_imm (op_end + 1, & reg, 0, 0x7F);
1294 inst |= reg << 4;
1295 }
1296 else
1297 as_bad (_("second operand missing"));
a75214e5 1298
252b5132
RH
1299 output = frag_more (2);
1300 break;
a75214e5 1301
252b5132
RH
1302 case LS:
1303 op_end = parse_reg (op_end + 1, & reg);
1304 inst |= reg << 8;
a75214e5 1305
252b5132 1306 /* Skip whitespace. */
3882b010 1307 while (ISSPACE (* op_end))
252b5132 1308 ++ op_end;
a75214e5 1309
252b5132
RH
1310 if (* op_end == ',')
1311 {
1312 int size;
a75214e5 1313
252b5132
RH
1314 if ((inst & 0x6000) == 0)
1315 size = 4;
1316 else if ((inst & 0x6000) == 0x4000)
1317 size = 2;
1318 else if ((inst & 0x6000) == 0x2000)
1319 size = 1;
aa699a2c
AM
1320 else
1321 abort ();
a75214e5 1322
252b5132 1323 op_end = parse_mem (op_end + 1, & reg, & off, size);
a75214e5 1324
252b5132
RH
1325 if (off > 16)
1326 as_bad (_("displacement too large (%d)"), off);
1327 else
1328 inst |= (reg) | (off << 4);
1329 }
1330 else
1331 as_bad (_("second operand missing"));
a75214e5 1332
252b5132
RH
1333 output = frag_more (2);
1334 break;
a75214e5 1335
252b5132
RH
1336 case LR:
1337 op_end = parse_reg (op_end + 1, & reg);
a75214e5 1338
252b5132
RH
1339 if (reg == 0 || reg == 15)
1340 as_bad (_("Invalid register: r0 and r15 illegal"));
a75214e5 1341
252b5132 1342 inst |= (reg << 8);
a75214e5 1343
252b5132 1344 /* Skip whitespace. */
3882b010 1345 while (ISSPACE (* op_end))
252b5132 1346 ++ op_end;
a75214e5 1347
252b5132 1348 if (* op_end == ',')
2d473ce9
NC
1349 {
1350 /* parse_rt calls frag_more() for us. */
1351 input_line_pointer = parse_rt (op_end + 1, & output, 0, 0);
5f8075fa 1352 op_end = input_line_pointer;
2d473ce9 1353 }
252b5132
RH
1354 else
1355 {
1356 as_bad (_("second operand missing"));
1357 output = frag_more (2); /* save its space */
1358 }
1359 break;
a75214e5 1360
252b5132
RH
1361 case LJ:
1362 input_line_pointer = parse_rt (op_end + 1, & output, 1, 0);
1363 /* parse_rt() calls frag_more() for us. */
2d473ce9 1364 op_end = input_line_pointer;
252b5132 1365 break;
a75214e5 1366
252b5132
RH
1367 case RM:
1368 op_end = parse_reg (op_end + 1, & reg);
a75214e5 1369
252b5132
RH
1370 if (reg == 0 || reg == 15)
1371 as_bad (_("bad starting register: r0 and r15 invalid"));
a75214e5 1372
252b5132 1373 inst |= reg;
a75214e5 1374
252b5132 1375 /* Skip whitespace. */
3882b010 1376 while (ISSPACE (* op_end))
252b5132 1377 ++ op_end;
a75214e5 1378
252b5132
RH
1379 if (* op_end == '-')
1380 {
1381 op_end = parse_reg (op_end + 1, & reg);
a75214e5 1382
252b5132
RH
1383 if (reg != 15)
1384 as_bad (_("ending register must be r15"));
a75214e5 1385
252b5132 1386 /* Skip whitespace. */
3882b010 1387 while (ISSPACE (* op_end))
252b5132
RH
1388 ++ op_end;
1389 }
a75214e5 1390
252b5132
RH
1391 if (* op_end == ',')
1392 {
1393 op_end ++;
a75214e5 1394
252b5132 1395 /* Skip whitespace. */
3882b010 1396 while (ISSPACE (* op_end))
252b5132 1397 ++ op_end;
a75214e5 1398
252b5132
RH
1399 if (* op_end == '(')
1400 {
1401 op_end = parse_reg (op_end + 1, & reg);
a75214e5 1402
252b5132
RH
1403 if (reg != 0)
1404 as_bad (_("bad base register: must be r0"));
a75214e5 1405
252b5132
RH
1406 if (* op_end == ')')
1407 op_end ++;
1408 }
1409 else
1410 as_bad (_("base register expected"));
1411 }
1412 else
1413 as_bad (_("second operand missing"));
a75214e5 1414
252b5132
RH
1415 output = frag_more (2);
1416 break;
a75214e5 1417
252b5132
RH
1418 case RQ:
1419 op_end = parse_reg (op_end + 1, & reg);
a75214e5 1420
252b5132
RH
1421 if (reg != 4)
1422 as_fatal (_("first register must be r4"));
a75214e5 1423
252b5132 1424 /* Skip whitespace. */
3882b010 1425 while (ISSPACE (* op_end))
252b5132 1426 ++ op_end;
a75214e5 1427
252b5132
RH
1428 if (* op_end == '-')
1429 {
1430 op_end = parse_reg (op_end + 1, & reg);
a75214e5 1431
252b5132
RH
1432 if (reg != 7)
1433 as_fatal (_("last register must be r7"));
a75214e5 1434
252b5132 1435 /* Skip whitespace. */
3882b010 1436 while (ISSPACE (* op_end))
252b5132 1437 ++ op_end;
a75214e5 1438
252b5132
RH
1439 if (* op_end == ',')
1440 {
1441 op_end ++;
a75214e5 1442
252b5132 1443 /* Skip whitespace. */
3882b010 1444 while (ISSPACE (* op_end))
252b5132 1445 ++ op_end;
a75214e5 1446
252b5132
RH
1447 if (* op_end == '(')
1448 {
1449 op_end = parse_reg (op_end + 1, & reg);
a75214e5 1450
252b5132
RH
1451 if (reg >= 4 && reg <= 7)
1452 as_fatal ("base register cannot be r4, r5, r6, or r7");
a75214e5 1453
252b5132 1454 inst |= reg;
a75214e5 1455
252b5132 1456 /* Skip whitespace. */
3882b010 1457 while (ISSPACE (* op_end))
252b5132 1458 ++ op_end;
a75214e5 1459
252b5132
RH
1460 if (* op_end == ')')
1461 op_end ++;
1462 }
1463 else
1464 as_bad (_("base register expected"));
1465 }
1466 else
1467 as_bad (_("second operand missing"));
1468 }
1469 else
1470 as_bad (_("reg-reg expected"));
a75214e5 1471
252b5132
RH
1472 output = frag_more (2);
1473 break;
a75214e5 1474
252b5132
RH
1475 case BR:
1476 input_line_pointer = parse_exp (op_end + 1, & e);
2d473ce9 1477 op_end = input_line_pointer;
a75214e5 1478
252b5132 1479 output = frag_more (2);
a75214e5
KH
1480
1481 fix_new_exp (frag_now, output-frag_now->fr_literal,
252b5132
RH
1482 2, & e, 1, BFD_RELOC_MCORE_PCREL_IMM11BY2);
1483 break;
a75214e5 1484
252b5132
RH
1485 case BL:
1486 op_end = parse_reg (op_end + 1, & reg);
1487 inst |= reg << 4;
a75214e5 1488
252b5132 1489 /* Skip whitespace. */
3882b010 1490 while (ISSPACE (* op_end))
252b5132 1491 ++ op_end;
a75214e5 1492
252b5132
RH
1493 if (* op_end == ',')
1494 {
1495 op_end = parse_exp (op_end + 1, & e);
1496 output = frag_more (2);
a75214e5
KH
1497
1498 fix_new_exp (frag_now, output-frag_now->fr_literal,
252b5132
RH
1499 2, & e, 1, BFD_RELOC_MCORE_PCREL_IMM4BY2);
1500 }
1501 else
1502 {
1503 as_bad (_("second operand missing"));
1504 output = frag_more (2);
1505 }
1506 break;
a75214e5 1507
252b5132
RH
1508 case JC:
1509 input_line_pointer = parse_exp (op_end + 1, & e);
2d473ce9 1510 op_end = input_line_pointer;
a75214e5 1511
252b5132 1512 output = frag_var (rs_machine_dependent,
93c2a809
AM
1513 md_relax_table[C (COND_JUMP, DISP32)].rlx_length,
1514 md_relax_table[C (COND_JUMP, DISP12)].rlx_length,
252b5132
RH
1515 C (COND_JUMP, 0), e.X_add_symbol, e.X_add_number, 0);
1516 isize = C32_LEN;
1517 break;
a75214e5 1518
252b5132
RH
1519 case JU:
1520 input_line_pointer = parse_exp (op_end + 1, & e);
2d473ce9
NC
1521 op_end = input_line_pointer;
1522
252b5132 1523 output = frag_var (rs_machine_dependent,
93c2a809
AM
1524 md_relax_table[C (UNCD_JUMP, DISP32)].rlx_length,
1525 md_relax_table[C (UNCD_JUMP, DISP12)].rlx_length,
252b5132
RH
1526 C (UNCD_JUMP, 0), e.X_add_symbol, e.X_add_number, 0);
1527 isize = U32_LEN;
1528 break;
a75214e5 1529
252b5132
RH
1530 case JL:
1531 inst = MCORE_INST_JSRI; /* jsri */
1532 input_line_pointer = parse_rt (op_end + 1, & output, 1, & e);
bcef92fa 1533 /* parse_rt() calls frag_more for us. */
2d473ce9 1534 op_end = input_line_pointer;
a75214e5
KH
1535
1536 /* Only do this if we know how to do it ... */
252b5132
RH
1537 if (e.X_op != O_absent && do_jsri2bsr)
1538 {
1539 /* Look at adding the R_PCREL_JSRIMM11BY2. */
a75214e5 1540 fix_new_exp (frag_now, output-frag_now->fr_literal,
252b5132
RH
1541 2, & e, 1, BFD_RELOC_MCORE_PCREL_JSR_IMM11BY2);
1542 }
1543 break;
1544
1545 case RSI: /* SI, but imm becomes 32-imm */
1546 op_end = parse_reg (op_end + 1, & reg);
1547 inst |= reg;
a75214e5 1548
252b5132 1549 /* Skip whitespace. */
3882b010 1550 while (ISSPACE (* op_end))
252b5132 1551 ++ op_end;
a75214e5 1552
252b5132
RH
1553 if (* op_end == ',')
1554 {
1555 op_end = parse_imm (op_end + 1, & reg, 1, 31);
a75214e5 1556
252b5132
RH
1557 reg = 32 - reg;
1558 inst |= reg << 4;
1559 }
1560 else
1561 as_bad (_("second operand missing"));
a75214e5 1562
252b5132
RH
1563 output = frag_more (2);
1564 break;
a75214e5 1565
252b5132
RH
1566 case DO21: /* O2, dup rd, lit must be 1 */
1567 op_end = parse_reg (op_end + 1, & reg);
1568 inst |= reg;
1569 inst |= reg << 4;
a75214e5 1570
252b5132 1571 /* Skip whitespace. */
3882b010 1572 while (ISSPACE (* op_end))
252b5132 1573 ++ op_end;
a75214e5 1574
252b5132
RH
1575 if (* op_end == ',')
1576 {
1577 op_end = parse_imm (op_end + 1, & reg, 1, 31);
a75214e5 1578
252b5132
RH
1579 if (reg != 1)
1580 as_bad (_("second operand must be 1"));
1581 }
1582 else
1583 as_bad (_("second operand missing"));
a75214e5 1584
252b5132
RH
1585 output = frag_more (2);
1586 break;
a75214e5 1587
252b5132
RH
1588 case SIa:
1589 op_end = parse_reg (op_end + 1, & reg);
1590 inst |= reg;
a75214e5 1591
252b5132 1592 /* Skip whitespace. */
3882b010 1593 while (ISSPACE (* op_end))
252b5132 1594 ++ op_end;
a75214e5 1595
252b5132
RH
1596 if (* op_end == ',')
1597 {
1598 op_end = parse_imm (op_end + 1, & reg, 1, 31);
1599
1600 if (reg == 0)
1601 as_bad (_("zero used as immediate value"));
a75214e5 1602
252b5132
RH
1603 inst |= reg << 4;
1604 }
1605 else
1606 as_bad (_("second operand missing"));
a75214e5 1607
252b5132
RH
1608 output = frag_more (2);
1609 break;
1610
bec50466
NC
1611 case OPSR:
1612 if (cpu == M210)
1613 {
1614 as_bad (_("M340 specific opcode used when assembling for M210"));
1615 break;
1616 }
a75214e5 1617
bec50466 1618 op_end = parse_psrmod (op_end + 1, & reg);
a75214e5 1619
bec50466
NC
1620 /* Look for further selectors. */
1621 while (* op_end == ',')
1622 {
1623 unsigned value;
a75214e5 1624
bec50466 1625 op_end = parse_psrmod (op_end + 1, & value);
a75214e5 1626
bec50466
NC
1627 if (value & reg)
1628 as_bad (_("duplicated psr bit specifier"));
a75214e5 1629
bec50466
NC
1630 reg |= value;
1631 }
a75214e5 1632
bec50466
NC
1633 if (reg > 8)
1634 as_bad (_("`af' must appear alone"));
a75214e5 1635
bec50466
NC
1636 inst |= (reg & 0x7);
1637 output = frag_more (2);
1638 break;
a75214e5 1639
252b5132
RH
1640 default:
1641 as_bad (_("unimplemented opcode \"%s\""), name);
1642 }
2d473ce9
NC
1643
1644 /* Drop whitespace after all the operands have been parsed. */
3882b010 1645 while (ISSPACE (* op_end))
2d473ce9
NC
1646 op_end ++;
1647
a75214e5 1648 /* Give warning message if the insn has more operands than required. */
2d473ce9
NC
1649 if (strcmp (op_end, opcode->name) && strcmp (op_end, ""))
1650 as_warn (_("ignoring operands: %s "), op_end);
a75214e5 1651
b8a40f53
NC
1652 output[0] = INST_BYTE0 (inst);
1653 output[1] = INST_BYTE1 (inst);
a75214e5 1654
252b5132
RH
1655 check_literals (opcode->transfer, isize);
1656}
1657
1658symbolS *
1659md_undefined_symbol (name)
aa699a2c 1660 char *name ATTRIBUTE_UNUSED;
252b5132
RH
1661{
1662 return 0;
1663}
1664
1665void
1666md_mcore_end ()
1667{
1668 dump_literals (0);
1669 subseg_set (text_section, 0);
1670}
1671
1672/* Various routines to kill one day. */
1673/* Equal to MAX_PRECISION in atof-ieee.c */
1674#define MAX_LITTLENUMS 6
1675
1676/* Turn a string in input_line_pointer into a floating point constant of type
1677 type, and store the appropriate bytes in *litP. The number of LITTLENUMS
1678 emitted is stored in *sizeP. An error message is returned, or NULL on OK.*/
1679char *
1680md_atof (type, litP, sizeP)
1681 int type;
1682 char * litP;
1683 int * sizeP;
1684{
1685 int prec;
1686 LITTLENUM_TYPE words[MAX_LITTLENUMS];
b8a40f53 1687 int i;
252b5132 1688 char * t;
252b5132
RH
1689
1690 switch (type)
1691 {
1692 case 'f':
1693 case 'F':
1694 case 's':
1695 case 'S':
1696 prec = 2;
1697 break;
1698
1699 case 'd':
1700 case 'D':
1701 case 'r':
1702 case 'R':
1703 prec = 4;
1704 break;
1705
1706 case 'x':
1707 case 'X':
1708 prec = 6;
1709 break;
1710
1711 case 'p':
1712 case 'P':
1713 prec = 6;
1714 break;
1715
1716 default:
1717 *sizeP = 0;
1718 return _("Bad call to MD_NTOF()");
1719 }
a75214e5 1720
252b5132 1721 t = atof_ieee (input_line_pointer, type, words);
a75214e5 1722
252b5132
RH
1723 if (t)
1724 input_line_pointer = t;
1725
1726 *sizeP = prec * sizeof (LITTLENUM_TYPE);
a75214e5 1727
bec50466
NC
1728 if (! target_big_endian)
1729 {
1730 for (i = prec - 1; i >= 0; i--)
1731 {
1732 md_number_to_chars (litP, (valueT) words[i],
1733 sizeof (LITTLENUM_TYPE));
1734 litP += sizeof (LITTLENUM_TYPE);
1735 }
1736 }
1737 else
b8a40f53
NC
1738 for (i = 0; i < prec; i++)
1739 {
1740 md_number_to_chars (litP, (valueT) words[i],
1741 sizeof (LITTLENUM_TYPE));
1742 litP += sizeof (LITTLENUM_TYPE);
1743 }
a75214e5 1744
252b5132
RH
1745 return 0;
1746}
1747\f
5a38dc70 1748const char * md_shortopts = "";
252b5132 1749
b8a40f53
NC
1750#define OPTION_JSRI2BSR_ON (OPTION_MD_BASE + 0)
1751#define OPTION_JSRI2BSR_OFF (OPTION_MD_BASE + 1)
1752#define OPTION_SIFILTER_ON (OPTION_MD_BASE + 2)
1753#define OPTION_SIFILTER_OFF (OPTION_MD_BASE + 3)
bec50466
NC
1754#define OPTION_CPU (OPTION_MD_BASE + 4)
1755#define OPTION_EB (OPTION_MD_BASE + 5)
1756#define OPTION_EL (OPTION_MD_BASE + 6)
252b5132
RH
1757
1758struct option md_longopts[] =
1759{
252b5132
RH
1760 { "no-jsri2bsr", no_argument, NULL, OPTION_JSRI2BSR_OFF},
1761 { "jsri2bsr", no_argument, NULL, OPTION_JSRI2BSR_ON},
1762 { "sifilter", no_argument, NULL, OPTION_SIFILTER_ON},
1763 { "no-sifilter", no_argument, NULL, OPTION_SIFILTER_OFF},
bec50466
NC
1764 { "cpu", required_argument, NULL, OPTION_CPU},
1765 { "EB", no_argument, NULL, OPTION_EB},
1766 { "EL", no_argument, NULL, OPTION_EL},
252b5132
RH
1767 { NULL, no_argument, NULL, 0}
1768};
1769
1770size_t md_longopts_size = sizeof (md_longopts);
1771
1772int
1773md_parse_option (c, arg)
1774 int c;
1775 char * arg;
1776{
252b5132
RH
1777 switch (c)
1778 {
bec50466
NC
1779 case OPTION_CPU:
1780 if (streq (arg, "210"))
1781 {
1782 cpu = M210;
1783 target_big_endian = 1;
1784 }
1785 else if (streq (arg, "340"))
1786 cpu = M340;
1787 else
5f8075fa 1788 as_warn (_("unrecognised cpu type '%s'"), arg);
bec50466 1789 break;
a75214e5 1790
bec50466
NC
1791 case OPTION_EB: target_big_endian = 1; break;
1792 case OPTION_EL: target_big_endian = 0; cpu = M340; break;
252b5132
RH
1793 case OPTION_JSRI2BSR_ON: do_jsri2bsr = 1; break;
1794 case OPTION_JSRI2BSR_OFF: do_jsri2bsr = 0; break;
1795 case OPTION_SIFILTER_ON: sifilter_mode = 1; break;
1796 case OPTION_SIFILTER_OFF: sifilter_mode = 0; break;
1797 default: return 0;
1798 }
1799
1800 return 1;
1801}
1802
1803void
1804md_show_usage (stream)
1805 FILE * stream;
1806{
1807 fprintf (stream, _("\
1808MCORE specific options:\n\
b8a40f53 1809 -{no-}jsri2bsr {dis}able jsri to bsr transformation (def: dis)\n\
bec50466
NC
1810 -{no-}sifilter {dis}able silicon filter behavior (def: dis)\n\
1811 -cpu=[210|340] select CPU type\n\
1812 -EB assemble for a big endian system (default)\n\
1813 -EL assemble for a little endian system\n"));
252b5132
RH
1814}
1815\f
1816int md_short_jump_size;
1817
1818void
1819md_create_short_jump (ptr, from_Nddr, to_Nddr, frag, to_symbol)
aa699a2c
AM
1820 char * ptr ATTRIBUTE_UNUSED;
1821 addressT from_Nddr ATTRIBUTE_UNUSED;
1822 addressT to_Nddr ATTRIBUTE_UNUSED;
1823 fragS * frag ATTRIBUTE_UNUSED;
1824 symbolS * to_symbol ATTRIBUTE_UNUSED;
252b5132
RH
1825{
1826 as_fatal (_("failed sanity check: short_jump"));
1827}
1828
1829void
1830md_create_long_jump (ptr, from_Nddr, to_Nddr, frag, to_symbol)
aa699a2c
AM
1831 char * ptr ATTRIBUTE_UNUSED;
1832 addressT from_Nddr ATTRIBUTE_UNUSED;
1833 addressT to_Nddr ATTRIBUTE_UNUSED;
1834 fragS * frag ATTRIBUTE_UNUSED;
1835 symbolS * to_symbol ATTRIBUTE_UNUSED;
252b5132
RH
1836{
1837 as_fatal (_("failed sanity check: long_jump"));
1838}
1839
1840/* Called after relaxing, change the frags so they know how big they are. */
1841void
1842md_convert_frag (abfd, sec, fragP)
aa699a2c
AM
1843 bfd * abfd ATTRIBUTE_UNUSED;
1844 segT sec ATTRIBUTE_UNUSED;
252b5132
RH
1845 register fragS * fragP;
1846{
1847 unsigned char * buffer;
1848 int targ_addr = S_GET_VALUE (fragP->fr_symbol) + fragP->fr_offset;
a75214e5 1849
252b5132 1850 buffer = (unsigned char *) (fragP->fr_fix + fragP->fr_literal);
252b5132
RH
1851
1852 switch (fragP->fr_subtype)
1853 {
93c2a809
AM
1854 case C (COND_JUMP, DISP12):
1855 case C (UNCD_JUMP, DISP12):
252b5132 1856 {
bcef92fa 1857 /* Get the address of the end of the instruction. */
252b5132
RH
1858 int next_inst = fragP->fr_fix + fragP->fr_address + 2;
1859 unsigned char t0;
1860 int disp = targ_addr - next_inst;
a75214e5 1861
252b5132 1862 if (disp & 1)
b8a40f53 1863 as_bad (_("odd displacement at %x"), next_inst - 2);
a75214e5 1864
252b5132 1865 disp >>= 1;
a75214e5 1866
bec50466
NC
1867 if (! target_big_endian)
1868 {
1869 t0 = buffer[1] & 0xF8;
a75214e5 1870
bec50466 1871 md_number_to_chars (buffer, disp, 2);
a75214e5 1872
bec50466
NC
1873 buffer[1] = (buffer[1] & 0x07) | t0;
1874 }
1875 else
b8a40f53
NC
1876 {
1877 t0 = buffer[0] & 0xF8;
a75214e5 1878
b8a40f53 1879 md_number_to_chars (buffer, disp, 2);
a75214e5 1880
b8a40f53
NC
1881 buffer[0] = (buffer[0] & 0x07) | t0;
1882 }
a75214e5 1883
252b5132 1884 fragP->fr_fix += 2;
252b5132
RH
1885 }
1886 break;
1887
93c2a809 1888 case C (COND_JUMP, DISP32):
252b5132
RH
1889 case C (COND_JUMP, UNDEF_WORD_DISP):
1890 {
1891 /* A conditional branch wont fit into 12 bits so:
1892 * b!cond 1f
1893 * jmpi 0f
1894 * .align 2
1895 * 0: .long disp
1896 * 1:
1897 *
1898 * if the b!cond is 4 byte aligned, the literal which would
1899 * go at x+4 will also be aligned.
1900 */
1901 int first_inst = fragP->fr_fix + fragP->fr_address;
1902 int needpad = (first_inst & 3);
1903
bec50466
NC
1904 if (! target_big_endian)
1905 buffer[1] ^= 0x08;
1906 else
b8a40f53 1907 buffer[0] ^= 0x08; /* Toggle T/F bit */
252b5132
RH
1908
1909 buffer[2] = INST_BYTE0 (MCORE_INST_JMPI); /* Build jmpi */
1910 buffer[3] = INST_BYTE1 (MCORE_INST_JMPI);
a75214e5 1911
252b5132
RH
1912 if (needpad)
1913 {
bec50466
NC
1914 if (! target_big_endian)
1915 {
1916 buffer[0] = 4; /* branch over jmpi, pad, and ptr */
1917 buffer[2] = 1; /* jmpi offset of 1 gets the pointer */
1918 }
1919 else
b8a40f53
NC
1920 {
1921 buffer[1] = 4; /* branch over jmpi, pad, and ptr */
1922 buffer[3] = 1; /* jmpi offset of 1 gets the pointer */
1923 }
a75214e5 1924
252b5132
RH
1925 buffer[4] = 0; /* alignment/pad */
1926 buffer[5] = 0;
1927 buffer[6] = 0; /* space for 32 bit address */
1928 buffer[7] = 0;
1929 buffer[8] = 0;
1930 buffer[9] = 0;
a75214e5 1931
252b5132
RH
1932 /* Make reloc for the long disp */
1933 fix_new (fragP, fragP->fr_fix + 6, 4,
1934 fragP->fr_symbol, fragP->fr_offset, 0, BFD_RELOC_32);
a75214e5 1935
252b5132
RH
1936 fragP->fr_fix += C32_LEN;
1937 }
1938 else
1939 {
1940 /* See comment below about this given gas' limitations for
1941 shrinking the fragment. '3' is the amount of code that
1942 we inserted here, but '4' is right for the space we reserved
a75214e5 1943 for this fragment. */
bec50466
NC
1944 if (! target_big_endian)
1945 {
1946 buffer[0] = 3; /* branch over jmpi, and ptr */
1947 buffer[2] = 0; /* jmpi offset of 0 gets the pointer */
1948 }
1949 else
b8a40f53
NC
1950 {
1951 buffer[1] = 3; /* branch over jmpi, and ptr */
1952 buffer[3] = 0; /* jmpi offset of 0 gets the pointer */
1953 }
a75214e5 1954
252b5132
RH
1955 buffer[4] = 0; /* space for 32 bit address */
1956 buffer[5] = 0;
1957 buffer[6] = 0;
1958 buffer[7] = 0;
a75214e5 1959
252b5132
RH
1960 /* Make reloc for the long disp. */
1961 fix_new (fragP, fragP->fr_fix + 4, 4,
1962 fragP->fr_symbol, fragP->fr_offset, 0, BFD_RELOC_32);
1963 fragP->fr_fix += C32_LEN;
1964
b8a40f53
NC
1965 /* Frag is actually shorter (see the other side of this ifdef)
1966 but gas isn't prepared for that. We have to re-adjust
a75214e5 1967 the branch displacement so that it goes beyond the
252b5132
RH
1968 full length of the fragment, not just what we actually
1969 filled in. */
bec50466
NC
1970 if (! target_big_endian)
1971 buffer[0] = 4; /* jmpi, ptr, and the 'tail pad' */
1972 else
b8a40f53 1973 buffer[1] = 4; /* jmpi, ptr, and the 'tail pad' */
252b5132 1974 }
252b5132
RH
1975 }
1976 break;
1977
93c2a809 1978 case C (UNCD_JUMP, DISP32):
252b5132
RH
1979 case C (UNCD_JUMP, UNDEF_WORD_DISP):
1980 {
1981 /* An unconditional branch will not fit in 12 bits, make code which
1982 looks like:
1983 jmpi 0f
1984 .align 2
1985 0: .long disp
1986 we need a pad if "first_inst" is 4 byte aligned.
1987 [because the natural literal place is x + 2] */
1988 int first_inst = fragP->fr_fix + fragP->fr_address;
1989 int needpad = !(first_inst & 3);
1990
1991 buffer[0] = INST_BYTE0 (MCORE_INST_JMPI); /* Build jmpi */
1992 buffer[1] = INST_BYTE1 (MCORE_INST_JMPI);
1993
1994 if (needpad)
1995 {
bec50466
NC
1996 if (! target_big_endian)
1997 buffer[0] = 1; /* jmpi offset of 1 since padded */
1998 else
b8a40f53 1999 buffer[1] = 1; /* jmpi offset of 1 since padded */
252b5132
RH
2000 buffer[2] = 0; /* alignment */
2001 buffer[3] = 0;
2002 buffer[4] = 0; /* space for 32 bit address */
2003 buffer[5] = 0;
2004 buffer[6] = 0;
2005 buffer[7] = 0;
a75214e5 2006
bcef92fa 2007 /* Make reloc for the long disp. */
252b5132
RH
2008 fix_new (fragP, fragP->fr_fix + 4, 4,
2009 fragP->fr_symbol, fragP->fr_offset, 0, BFD_RELOC_32);
a75214e5 2010
252b5132
RH
2011 fragP->fr_fix += U32_LEN;
2012 }
2013 else
2014 {
bec50466
NC
2015 if (! target_big_endian)
2016 buffer[0] = 0; /* jmpi offset of 0 if no pad */
2017 else
b8a40f53 2018 buffer[1] = 0; /* jmpi offset of 0 if no pad */
252b5132
RH
2019 buffer[2] = 0; /* space for 32 bit address */
2020 buffer[3] = 0;
2021 buffer[4] = 0;
2022 buffer[5] = 0;
a75214e5 2023
bcef92fa 2024 /* Make reloc for the long disp. */
252b5132
RH
2025 fix_new (fragP, fragP->fr_fix + 2, 4,
2026 fragP->fr_symbol, fragP->fr_offset, 0, BFD_RELOC_32);
2027 fragP->fr_fix += U32_LEN;
2028 }
252b5132
RH
2029 }
2030 break;
2031
2032 default:
2033 abort ();
2034 }
2035}
2036
2037/* Applies the desired value to the specified location.
2038 Also sets up addends for 'rela' type relocations. */
94f592af
NC
2039
2040void
2041md_apply_fix3 (fixP, valP, segment)
252b5132 2042 fixS * fixP;
94f592af 2043 valueT * valP;
aa699a2c 2044 segT segment ATTRIBUTE_UNUSED;
252b5132
RH
2045{
2046 char * buf = fixP->fx_where + fixP->fx_frag->fr_literal;
2047 char * file = fixP->fx_file ? fixP->fx_file : _("unknown");
2048 const char * symname;
2049 /* Note: use offsetT because it is signed, valueT is unsigned. */
a161fe53 2050 offsetT val = *valP;
a75214e5 2051
252b5132
RH
2052 symname = fixP->fx_addsy ? S_GET_NAME (fixP->fx_addsy) : _("<unknown>");
2053 /* Save this for the addend in the relocation record. */
2054 fixP->fx_addnumber = val;
2055
a161fe53 2056 if (fixP->fx_addsy != NULL)
252b5132 2057 {
252b5132
RH
2058#ifdef OBJ_ELF
2059 /* For ELF we can just return and let the reloc that will be generated
2060 take care of everything. For COFF we still have to insert 'val'
2061 into the insn since the addend field will be ignored. */
94f592af 2062 return;
252b5132
RH
2063#endif
2064 }
2065 else
2066 fixP->fx_done = 1;
a75214e5 2067
252b5132
RH
2068 switch (fixP->fx_r_type)
2069 {
2070 case BFD_RELOC_MCORE_PCREL_IMM11BY2: /* second byte of 2 byte opcode */
2071 if ((val & 1) != 0)
2072 as_bad_where (file, fixP->fx_line,
aa699a2c 2073 _("odd distance branch (0x%lx bytes)"), (long) val);
252b5132
RH
2074 val /= 2;
2075 if (((val & ~0x3ff) != 0) && ((val | 0x3ff) != -1))
2076 as_bad_where (file, fixP->fx_line,
aa699a2c
AM
2077 _("pcrel for branch to %s too far (0x%lx)"),
2078 symname, (long) val);
bec50466
NC
2079 if (target_big_endian)
2080 {
2081 buf[0] |= ((val >> 8) & 0x7);
2082 buf[1] |= (val & 0xff);
2083 }
2084 else
2085 {
eaa15ab8
NC
2086 buf[1] |= ((val >> 8) & 0x7);
2087 buf[0] |= (val & 0xff);
bec50466 2088 }
b8a40f53 2089 break;
252b5132
RH
2090
2091 case BFD_RELOC_MCORE_PCREL_IMM8BY4: /* lower 8 bits of 2 byte opcode */
2092 val += 3;
2093 val /= 4;
2094 if (val & ~0xff)
2095 as_bad_where (file, fixP->fx_line,
aa699a2c
AM
2096 _("pcrel for lrw/jmpi/jsri to %s too far (0x%lx)"),
2097 symname, (long) val);
bec50466
NC
2098 else if (! target_big_endian)
2099 buf[0] |= (val & 0xff);
252b5132
RH
2100 else
2101 buf[1] |= (val & 0xff);
b8a40f53 2102 break;
252b5132
RH
2103
2104 case BFD_RELOC_MCORE_PCREL_IMM4BY2: /* loopt instruction */
2105 if ((val < -32) || (val > -2))
2106 as_bad_where (file, fixP->fx_line,
aa699a2c 2107 _("pcrel for loopt too far (0x%lx)"), (long) val);
252b5132 2108 val /= 2;
bec50466
NC
2109 if (! target_big_endian)
2110 buf[0] |= (val & 0xf);
2111 else
2d473ce9 2112 buf[1] |= (val & 0xf);
252b5132
RH
2113 break;
2114
2115 case BFD_RELOC_MCORE_PCREL_JSR_IMM11BY2:
2116 /* Conditional linker map jsri to bsr. */
a75214e5 2117 /* If its a local target and close enough, fix it.
5f8075fa 2118 NB: >= -2k for backwards bsr; < 2k for forwards... */
252b5132
RH
2119 if (fixP->fx_addsy == 0 && val >= -2048 && val < 2048)
2120 {
2121 long nval = (val / 2) & 0x7ff;
2122 nval |= MCORE_INST_BSR;
a75214e5 2123
252b5132 2124 /* REPLACE the instruction, don't just modify it. */
b8a40f53
NC
2125 buf[0] = INST_BYTE0 (nval);
2126 buf[1] = INST_BYTE1 (nval);
252b5132
RH
2127 }
2128 else
2129 fixP->fx_done = 0;
2130 break;
2131
2132 case BFD_RELOC_MCORE_PCREL_32:
2133 case BFD_RELOC_VTABLE_INHERIT:
2134 case BFD_RELOC_VTABLE_ENTRY:
2135 fixP->fx_done = 0;
2136 break;
a75214e5 2137
252b5132
RH
2138 default:
2139 if (fixP->fx_addsy != NULL)
2140 {
2141 /* If the fix is an absolute reloc based on a symbol's
2142 address, then it cannot be resolved until the final link. */
2143 fixP->fx_done = 0;
2144 }
a75214e5 2145#ifdef OBJ_ELF
252b5132
RH
2146 else
2147#endif
2148 {
2149 if (fixP->fx_size == 4)
b8a40f53 2150 ;
252b5132 2151 else if (fixP->fx_size == 2 && val >= -32768 && val <= 32767)
b8a40f53 2152 ;
252b5132 2153 else if (fixP->fx_size == 1 && val >= -256 && val <= 255)
b8a40f53 2154 ;
252b5132
RH
2155 else
2156 abort ();
b8a40f53 2157 md_number_to_chars (buf, val, fixP->fx_size);
252b5132
RH
2158 }
2159 break;
2160 }
252b5132
RH
2161}
2162
2163void
2164md_operand (expressionP)
2165 expressionS * expressionP;
2166{
2167 /* Ignore leading hash symbol, if poresent. */
2168 if (* input_line_pointer == '#')
2169 {
2170 input_line_pointer ++;
2171 expression (expressionP);
2172 }
2173}
2174
2175int md_long_jump_size;
2176
2177/* Called just before address relaxation, return the length
2178 by which a fragment must grow to reach it's destination. */
2179int
2180md_estimate_size_before_relax (fragP, segment_type)
2181 register fragS * fragP;
2182 register segT segment_type;
2183{
2184 switch (fragP->fr_subtype)
2185 {
93c2a809
AM
2186 default:
2187 abort ();
2188
252b5132
RH
2189 case C (UNCD_JUMP, UNDEF_DISP):
2190 /* Used to be a branch to somewhere which was unknown. */
2191 if (!fragP->fr_symbol)
2192 {
93c2a809 2193 fragP->fr_subtype = C (UNCD_JUMP, DISP12);
252b5132
RH
2194 }
2195 else if (S_GET_SEGMENT (fragP->fr_symbol) == segment_type)
2196 {
93c2a809 2197 fragP->fr_subtype = C (UNCD_JUMP, DISP12);
252b5132
RH
2198 }
2199 else
2200 {
2201 fragP->fr_subtype = C (UNCD_JUMP, UNDEF_WORD_DISP);
252b5132
RH
2202 }
2203 break;
2204
252b5132 2205 case C (COND_JUMP, UNDEF_DISP):
a75214e5 2206 /* Used to be a branch to somewhere which was unknown. */
252b5132
RH
2207 if (fragP->fr_symbol
2208 && S_GET_SEGMENT (fragP->fr_symbol) == segment_type)
2209 {
2210 /* Got a symbol and it's defined in this segment, become byte
2211 sized - maybe it will fix up */
93c2a809 2212 fragP->fr_subtype = C (COND_JUMP, DISP12);
252b5132
RH
2213 }
2214 else if (fragP->fr_symbol)
2215 {
2216 /* Its got a segment, but its not ours, so it will always be long. */
2217 fragP->fr_subtype = C (COND_JUMP, UNDEF_WORD_DISP);
252b5132
RH
2218 }
2219 else
2220 {
2221 /* We know the abs value. */
93c2a809 2222 fragP->fr_subtype = C (COND_JUMP, DISP12);
252b5132 2223 }
93c2a809 2224 break;
252b5132 2225
93c2a809 2226 case C (UNCD_JUMP, DISP12):
e66457fb 2227 case C (UNCD_JUMP, DISP32):
93c2a809
AM
2228 case C (UNCD_JUMP, UNDEF_WORD_DISP):
2229 case C (COND_JUMP, DISP12):
e66457fb 2230 case C (COND_JUMP, DISP32):
93c2a809
AM
2231 case C (COND_JUMP, UNDEF_WORD_DISP):
2232 /* When relaxing a section for the second time, we don't need to
e66457fb 2233 do anything besides return the current size. */
252b5132
RH
2234 break;
2235 }
a75214e5 2236
606ab118 2237 return md_relax_table[fragP->fr_subtype].rlx_length;
252b5132
RH
2238}
2239
bcef92fa 2240/* Put number into target byte order. */
252b5132
RH
2241void
2242md_number_to_chars (ptr, use, nbytes)
2243 char * ptr;
2244 valueT use;
2245 int nbytes;
2246{
bec50466
NC
2247 if (! target_big_endian)
2248 switch (nbytes)
2249 {
2250 case 4: ptr[3] = (use >> 24) & 0xff; /* fall through */
2251 case 3: ptr[2] = (use >> 16) & 0xff; /* fall through */
2252 case 2: ptr[1] = (use >> 8) & 0xff; /* fall through */
2253 case 1: ptr[0] = (use >> 0) & 0xff; break;
2254 default: abort ();
2255 }
2256 else
b8a40f53
NC
2257 switch (nbytes)
2258 {
2259 case 4: *ptr++ = (use >> 24) & 0xff; /* fall through */
2260 case 3: *ptr++ = (use >> 16) & 0xff; /* fall through */
2261 case 2: *ptr++ = (use >> 8) & 0xff; /* fall through */
2262 case 1: *ptr++ = (use >> 0) & 0xff; break;
2263 default: abort ();
2264 }
252b5132
RH
2265}
2266
2267/* Round up a section size to the appropriate boundary. */
2268valueT
2269md_section_align (segment, size)
aa699a2c 2270 segT segment ATTRIBUTE_UNUSED;
252b5132
RH
2271 valueT size;
2272{
2273 return size; /* Byte alignment is fine */
2274}
2275
252b5132
RH
2276/* The location from which a PC relative jump should be calculated,
2277 given a PC relative reloc. */
2278long
2279md_pcrel_from_section (fixp, sec)
2280 fixS * fixp;
aa699a2c 2281 segT sec ATTRIBUTE_UNUSED;
252b5132
RH
2282{
2283#ifdef OBJ_ELF
2284 /* If the symbol is undefined or defined in another section
2285 we leave the add number alone for the linker to fix it later.
a75214e5 2286 Only account for the PC pre-bump (which is 2 bytes on the MCore). */
252b5132
RH
2287 if (fixp->fx_addsy != (symbolS *) NULL
2288 && (! S_IS_DEFINED (fixp->fx_addsy)
2289 || (S_GET_SEGMENT (fixp->fx_addsy) != sec)))
a75214e5 2290
252b5132
RH
2291 {
2292 assert (fixp->fx_size == 2); /* must be an insn */
2293 return fixp->fx_size;
2294 }
2295#endif
2296
a75214e5 2297 /* The case where we are going to resolve things... */
252b5132
RH
2298 return fixp->fx_size + fixp->fx_where + fixp->fx_frag->fr_address;
2299}
2300
2301#define F(SZ,PCREL) (((SZ) << 1) + (PCREL))
2302#define MAP(SZ,PCREL,TYPE) case F (SZ, PCREL): code = (TYPE); break
2303
2304arelent *
2305tc_gen_reloc (section, fixp)
aa699a2c 2306 asection * section ATTRIBUTE_UNUSED;
252b5132
RH
2307 fixS * fixp;
2308{
2309 arelent * rel;
2310 bfd_reloc_code_real_type code;
252b5132
RH
2311
2312 switch (fixp->fx_r_type)
2313 {
a75214e5 2314 /* These confuse the size/pcrel macro approach. */
252b5132
RH
2315 case BFD_RELOC_VTABLE_INHERIT:
2316 case BFD_RELOC_VTABLE_ENTRY:
2317 case BFD_RELOC_MCORE_PCREL_IMM4BY2:
2318 case BFD_RELOC_MCORE_PCREL_IMM8BY4:
2319 case BFD_RELOC_MCORE_PCREL_IMM11BY2:
2320 case BFD_RELOC_MCORE_PCREL_JSR_IMM11BY2:
a75214e5 2321 case BFD_RELOC_RVA:
252b5132
RH
2322 code = fixp->fx_r_type;
2323 break;
a75214e5 2324
252b5132
RH
2325 default:
2326 switch (F (fixp->fx_size, fixp->fx_pcrel))
5f8075fa
AM
2327 {
2328 MAP (1, 0, BFD_RELOC_8);
2329 MAP (2, 0, BFD_RELOC_16);
2330 MAP (4, 0, BFD_RELOC_32);
2331 MAP (1, 1, BFD_RELOC_8_PCREL);
2332 MAP (2, 1, BFD_RELOC_16_PCREL);
2333 MAP (4, 1, BFD_RELOC_32_PCREL);
2334 default:
252b5132 2335 code = fixp->fx_r_type;
5f8075fa 2336 as_bad (_("Can not do %d byte %srelocation"),
252b5132 2337 fixp->fx_size,
5f8075fa
AM
2338 fixp->fx_pcrel ? _("pc-relative") : "");
2339 }
252b5132
RH
2340 break;
2341 }
2342
2343 rel = (arelent *) xmalloc (sizeof (arelent));
310b5aa2
ILT
2344 rel->sym_ptr_ptr = (asymbol **) xmalloc (sizeof (asymbol *));
2345 *rel->sym_ptr_ptr = symbol_get_bfdsym (fixp->fx_addsy);
252b5132
RH
2346 rel->address = fixp->fx_frag->fr_address + fixp->fx_where;
2347 /* Always pass the addend along! */
2348 rel->addend = fixp->fx_addnumber;
2349
2350 rel->howto = bfd_reloc_type_lookup (stdoutput, code);
a75214e5 2351
252b5132
RH
2352 if (rel->howto == NULL)
2353 {
2354 as_bad_where (fixp->fx_file, fixp->fx_line,
5f8075fa
AM
2355 _("Cannot represent relocation type %s"),
2356 bfd_get_reloc_code_name (code));
a75214e5 2357
252b5132
RH
2358 /* Set howto to a garbage value so that we can keep going. */
2359 rel->howto = bfd_reloc_type_lookup (stdoutput, BFD_RELOC_32);
2360 assert (rel->howto != NULL);
2361 }
2362
2363 return rel;
2364}
2365
2366#ifdef OBJ_ELF
2367/* See whether we need to force a relocation into the output file.
2368 This is used to force out switch and PC relative relocations when
2369 relaxing. */
2370int
2371mcore_force_relocation (fix)
2372 fixS * fix;
2373{
ae6063d4 2374 if (fix->fx_r_type == BFD_RELOC_RVA)
252b5132
RH
2375 return 1;
2376
ae6063d4 2377 return generic_force_reloc (fix);
252b5132
RH
2378}
2379
2380/* Return true if the fix can be handled by GAS, false if it must
2381 be passed through to the linker. */
b34976b6 2382bfd_boolean
252b5132
RH
2383mcore_fix_adjustable (fixP)
2384 fixS * fixP;
2385{
252b5132
RH
2386 /* We need the symbol name for the VTABLE entries. */
2387 if ( fixP->fx_r_type == BFD_RELOC_VTABLE_INHERIT
2388 || fixP->fx_r_type == BFD_RELOC_VTABLE_ENTRY)
2389 return 0;
2390
2391 return 1;
2392}
252b5132 2393#endif /* OBJ_ELF */
This page took 0.375544 seconds and 4 git commands to generate.