bfd/
[binutils.git] / gas / config / tc-mcore.c
blobfa7c911e6851b7184593d92c3dd1658cfd81bd6a
1 /* tc-mcore.c -- Assemble code for M*Core
2 Copyright 1999, 2000, 2001, 2002, 2003, 2005, 2006, 2007
3 Free Software Foundation, Inc.
5 This file is part of GAS, the GNU Assembler.
7 GAS is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 3, or (at your option)
10 any later version.
12 GAS is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with GAS; see the file COPYING. If not, write to the Free
19 Software Foundation, 51 Franklin Street - Fifth Floor, Boston, MA
20 02110-1301, USA. */
22 #include "as.h"
23 #include "subsegs.h"
24 #define DEFINE_TABLE
25 #include "../opcodes/mcore-opc.h"
26 #include "safe-ctype.h"
28 #ifdef OBJ_ELF
29 #include "elf/mcore.h"
30 #endif
32 #ifndef streq
33 #define streq(a,b) (strcmp (a, b) == 0)
34 #endif
36 /* Forward declarations for dumb compilers. */
38 /* Several places in this file insert raw instructions into the
39 object. They should use MCORE_INST_XXX macros to get the opcodes
40 and then use these two macros to crack the MCORE_INST value into
41 the appropriate byte values. */
42 #define INST_BYTE0(x) (target_big_endian ? (((x) >> 8) & 0xFF) : ((x) & 0xFF))
43 #define INST_BYTE1(x) (target_big_endian ? ((x) & 0xFF) : (((x) >> 8) & 0xFF))
45 const char comment_chars[] = "#/";
46 const char line_separator_chars[] = ";";
47 const char line_comment_chars[] = "#/";
49 static int do_jsri2bsr = 0; /* Change here from 1 by Cruess 19 August 97. */
50 static int sifilter_mode = 0;
52 const char EXP_CHARS[] = "eE";
54 /* Chars that mean this number is a floating point constant
55 As in 0f12.456
56 or 0d1.2345e12 */
57 const char FLT_CHARS[] = "rRsSfFdDxXpP";
59 #define C(what,length) (((what) << 2) + (length))
60 #define GET_WHAT(x) ((x >> 2))
62 /* These are the two types of relaxable instruction. */
63 #define COND_JUMP 1
64 #define UNCD_JUMP 2
66 #define UNDEF_DISP 0
67 #define DISP12 1
68 #define DISP32 2
69 #define UNDEF_WORD_DISP 3
71 #define C12_LEN 2
72 #define C32_LEN 10 /* Allow for align. */
73 #define U12_LEN 2
74 #define U32_LEN 8 /* Allow for align. */
76 typedef enum
78 M210,
79 M340
81 cpu_type;
83 cpu_type cpu = M340;
85 /* Initialize the relax table. */
86 const relax_typeS md_relax_table[] =
88 { 0, 0, 0, 0 },
89 { 0, 0, 0, 0 },
90 { 0, 0, 0, 0 },
91 { 0, 0, 0, 0 },
93 /* COND_JUMP */
94 { 0, 0, 0, 0 }, /* UNDEF_DISP */
95 { 2048, -2046, C12_LEN, C(COND_JUMP, DISP32) }, /* DISP12 */
96 { 0, 0, C32_LEN, 0 }, /* DISP32 */
97 { 0, 0, C32_LEN, 0 }, /* UNDEF_WORD_DISP */
99 /* UNCD_JUMP */
100 { 0, 0, 0, 0 }, /* UNDEF_DISP */
101 { 2048, -2046, U12_LEN, C(UNCD_JUMP, DISP32) }, /* DISP12 */
102 { 0, 0, U32_LEN, 0 }, /* DISP32 */
103 { 0, 0, U32_LEN, 0 } /* UNDEF_WORD_DISP */
107 /* Literal pool data structures. */
108 struct literal
110 unsigned short refcnt;
111 unsigned char ispcrel;
112 unsigned char unused;
113 expressionS e;
116 #define MAX_POOL_SIZE (1024/4)
117 static struct literal litpool [MAX_POOL_SIZE];
118 static unsigned poolsize;
119 static unsigned poolnumber;
120 static unsigned long poolspan;
122 /* SPANPANIC: the point at which we get too scared and force a dump
123 of the literal pool, and perhaps put a branch in place.
124 Calculated as:
125 1024 span of lrw/jmpi/jsri insn (actually span+1)
126 -2 possible alignment at the insn.
127 -2 possible alignment to get the table aligned.
128 -2 an inserted branch around the table.
129 == 1018
130 at 1018, we might be in trouble.
131 -- so we have to be smaller than 1018 and since we deal with 2-byte
132 instructions, the next good choice is 1016.
133 -- Note we have a test case that fails when we've got 1018 here. */
134 #define SPANPANIC (1016) /* 1024 - 1 entry - 2 byte rounding. */
135 #define SPANCLOSE (900)
136 #define SPANEXIT (600)
137 static symbolS * poolsym; /* Label for current pool. */
138 static char poolname[8];
139 static struct hash_control * opcode_hash_control; /* Opcode mnemonics. */
141 #define POOL_END_LABEL ".LE"
142 #define POOL_START_LABEL ".LS"
144 static void
145 make_name (char * s, char * p, int n)
147 static const char hex[] = "0123456789ABCDEF";
149 s[0] = p[0];
150 s[1] = p[1];
151 s[2] = p[2];
152 s[3] = hex[(n >> 12) & 0xF];
153 s[4] = hex[(n >> 8) & 0xF];
154 s[5] = hex[(n >> 4) & 0xF];
155 s[6] = hex[(n) & 0xF];
156 s[7] = 0;
159 static void
160 dump_literals (int isforce)
162 unsigned int i;
163 struct literal * p;
164 symbolS * brarsym = NULL;
166 if (poolsize == 0)
167 return;
169 /* Must we branch around the literal table? */
170 if (isforce)
172 char * output;
173 char brarname[8];
175 make_name (brarname, POOL_END_LABEL, poolnumber);
177 brarsym = symbol_make (brarname);
179 symbol_table_insert (brarsym);
181 output = frag_var (rs_machine_dependent,
182 md_relax_table[C (UNCD_JUMP, DISP32)].rlx_length,
183 md_relax_table[C (UNCD_JUMP, DISP12)].rlx_length,
184 C (UNCD_JUMP, 0), brarsym, 0, 0);
185 output[0] = INST_BYTE0 (MCORE_INST_BR); /* br .+xxx */
186 output[1] = INST_BYTE1 (MCORE_INST_BR);
189 /* Make sure that the section is sufficiently aligned and that
190 the literal table is aligned within it. */
191 record_alignment (now_seg, 2);
192 frag_align (2, 0, 0);
194 colon (S_GET_NAME (poolsym));
196 for (i = 0, p = litpool; i < poolsize; i++, p++)
197 emit_expr (& p->e, 4);
199 if (brarsym != NULL)
200 colon (S_GET_NAME (brarsym));
202 poolsize = 0;
205 static void
206 mcore_s_literals (int ignore ATTRIBUTE_UNUSED)
208 dump_literals (0);
209 demand_empty_rest_of_line ();
212 /* Perform FUNC (ARG), and track number of bytes added to frag. */
214 static void
215 mcore_pool_count (void (*func) (int), int arg)
217 const fragS *curr_frag = frag_now;
218 offsetT added = -frag_now_fix_octets ();
220 (*func) (arg);
222 while (curr_frag != frag_now)
224 added += curr_frag->fr_fix;
225 curr_frag = curr_frag->fr_next;
228 added += frag_now_fix_octets ();
229 poolspan += added;
232 static void
233 check_literals (int kind, int offset)
235 poolspan += offset;
237 /* SPANCLOSE and SPANEXIT are smaller numbers than SPANPANIC.
238 SPANPANIC means that we must dump now.
239 kind == 0 is any old instruction.
240 kind > 0 means we just had a control transfer instruction.
241 kind == 1 means within a function
242 kind == 2 means we just left a function
244 The dump_literals (1) call inserts a branch around the table, so
245 we first look to see if its a situation where we won't have to
246 insert a branch (e.g., the previous instruction was an unconditional
247 branch).
249 SPANPANIC is the point where we must dump a single-entry pool.
250 it accounts for alignments and an inserted branch.
251 the 'poolsize*2' accounts for the scenario where we do:
252 lrw r1,lit1; lrw r2,lit2; lrw r3,lit3
253 Note that the 'lit2' reference is 2 bytes further along
254 but the literal it references will be 4 bytes further along,
255 so we must consider the poolsize into this equation.
256 This is slightly over-cautious, but guarantees that we won't
257 panic because a relocation is too distant. */
259 if (poolspan > SPANCLOSE && kind > 0)
260 dump_literals (0);
261 else if (poolspan > SPANEXIT && kind > 1)
262 dump_literals (0);
263 else if (poolspan >= (SPANPANIC - poolsize * 2))
264 dump_literals (1);
267 static void
268 mcore_cons (int nbytes)
270 if (now_seg == text_section)
271 mcore_pool_count (cons, nbytes);
272 else
273 cons (nbytes);
275 /* In theory we ought to call check_literals (2,0) here in case
276 we need to dump the literal table. We cannot do this however,
277 as the directives that we are intercepting may be being used
278 to build a switch table, and we must not interfere with its
279 contents. Instead we cross our fingers and pray... */
282 static void
283 mcore_float_cons (int float_type)
285 if (now_seg == text_section)
286 mcore_pool_count (float_cons, float_type);
287 else
288 float_cons (float_type);
290 /* See the comment in mcore_cons () about calling check_literals.
291 It is unlikely that a switch table will be constructed using
292 floating point values, but it is still likely that an indexed
293 table of floating point constants is being created by these
294 directives, so again we must not interfere with their placement. */
297 static void
298 mcore_stringer (int append_zero)
300 if (now_seg == text_section)
301 mcore_pool_count (stringer, append_zero);
302 else
303 stringer (append_zero);
305 /* We call check_literals here in case a large number of strings are
306 being placed into the text section with a sequence of stringer
307 directives. In theory we could be upsetting something if these
308 strings are actually in an indexed table instead of referenced by
309 individual labels. Let us hope that that never happens. */
310 check_literals (2, 0);
313 static void
314 mcore_fill (int unused)
316 if (now_seg == text_section)
317 mcore_pool_count (s_fill, unused);
318 else
319 s_fill (unused);
321 check_literals (2, 0);
324 /* Handle the section changing pseudo-ops. These call through to the
325 normal implementations, but they dump the literal pool first. */
327 static void
328 mcore_s_text (int ignore)
330 dump_literals (0);
332 #ifdef OBJ_ELF
333 obj_elf_text (ignore);
334 #else
335 s_text (ignore);
336 #endif
339 static void
340 mcore_s_data (int ignore)
342 dump_literals (0);
344 #ifdef OBJ_ELF
345 obj_elf_data (ignore);
346 #else
347 s_data (ignore);
348 #endif
351 static void
352 mcore_s_section (int ignore)
354 /* Scan forwards to find the name of the section. If the section
355 being switched to is ".line" then this is a DWARF1 debug section
356 which is arbitrarily placed inside generated code. In this case
357 do not dump the literal pool because it is a) inefficient and
358 b) would require the generation of extra code to jump around the
359 pool. */
360 char * ilp = input_line_pointer;
362 while (*ilp != 0 && ISSPACE (*ilp))
363 ++ ilp;
365 if (strncmp (ilp, ".line", 5) == 0
366 && (ISSPACE (ilp[5]) || *ilp == '\n' || *ilp == '\r'))
368 else
369 dump_literals (0);
371 #ifdef OBJ_ELF
372 obj_elf_section (ignore);
373 #endif
374 #ifdef OBJ_COFF
375 obj_coff_section (ignore);
376 #endif
379 static void
380 mcore_s_bss (int needs_align)
382 dump_literals (0);
384 s_lcomm_bytes (needs_align);
387 #ifdef OBJ_ELF
388 static void
389 mcore_s_comm (int needs_align)
391 dump_literals (0);
393 obj_elf_common (needs_align);
395 #endif
397 /* This table describes all the machine specific pseudo-ops the assembler
398 has to support. The fields are:
399 Pseudo-op name without dot
400 Function to call to execute this pseudo-op
401 Integer arg to pass to the function. */
402 const pseudo_typeS md_pseudo_table[] =
404 { "export", s_globl, 0 },
405 { "import", s_ignore, 0 },
406 { "literals", mcore_s_literals, 0 },
407 { "page", listing_eject, 0 },
409 /* The following are to intercept the placement of data into the text
410 section (eg addresses for a switch table), so that the space they
411 occupy can be taken into account when deciding whether or not to
412 dump the current literal pool.
413 XXX - currently we do not cope with the .space and .dcb.d directives. */
414 { "ascii", mcore_stringer, 0 },
415 { "asciz", mcore_stringer, 1 },
416 { "byte", mcore_cons, 1 },
417 { "dc", mcore_cons, 2 },
418 { "dc.b", mcore_cons, 1 },
419 { "dc.d", mcore_float_cons, 'd'},
420 { "dc.l", mcore_cons, 4 },
421 { "dc.s", mcore_float_cons, 'f'},
422 { "dc.w", mcore_cons, 2 },
423 { "dc.x", mcore_float_cons, 'x'},
424 { "double", mcore_float_cons, 'd'},
425 { "float", mcore_float_cons, 'f'},
426 { "hword", mcore_cons, 2 },
427 { "int", mcore_cons, 4 },
428 { "long", mcore_cons, 4 },
429 { "octa", mcore_cons, 16 },
430 { "quad", mcore_cons, 8 },
431 { "short", mcore_cons, 2 },
432 { "single", mcore_float_cons, 'f'},
433 { "string", mcore_stringer, 1 },
434 { "word", mcore_cons, 2 },
435 { "fill", mcore_fill, 0 },
437 /* Allow for the effect of section changes. */
438 { "text", mcore_s_text, 0 },
439 { "data", mcore_s_data, 0 },
440 { "bss", mcore_s_bss, 1 },
441 #ifdef OBJ_ELF
442 { "comm", mcore_s_comm, 0 },
443 #endif
444 { "section", mcore_s_section, 0 },
445 { "section.s", mcore_s_section, 0 },
446 { "sect", mcore_s_section, 0 },
447 { "sect.s", mcore_s_section, 0 },
449 { 0, 0, 0 }
452 /* This function is called once, at assembler startup time. This should
453 set up all the tables, etc that the MD part of the assembler needs. */
455 void
456 md_begin (void)
458 const mcore_opcode_info * opcode;
459 char * prev_name = "";
461 opcode_hash_control = hash_new ();
463 /* Insert unique names into hash table. */
464 for (opcode = mcore_table; opcode->name; opcode ++)
466 if (! streq (prev_name, opcode->name))
468 prev_name = opcode->name;
469 hash_insert (opcode_hash_control, opcode->name, (char *) opcode);
474 /* Get a log2(val). */
476 static int
477 mylog2 (unsigned int val)
479 int log = -1;
481 while (val != 0)
483 log ++;
484 val >>= 1;
487 return log;
490 /* Try to parse a reg name. */
492 static char *
493 parse_reg (char * s, unsigned * reg)
495 /* Strip leading whitespace. */
496 while (ISSPACE (* s))
497 ++ s;
499 if (TOLOWER (s[0]) == 'r')
501 if (s[1] == '1' && s[2] >= '0' && s[2] <= '5')
503 *reg = 10 + s[2] - '0';
504 return s + 3;
507 if (s[1] >= '0' && s[1] <= '9')
509 *reg = s[1] - '0';
510 return s + 2;
513 else if ( TOLOWER (s[0]) == 's'
514 && TOLOWER (s[1]) == 'p'
515 && ! ISALNUM (s[2]))
517 * reg = 0;
518 return s + 2;
521 as_bad (_("register expected, but saw '%.6s'"), s);
522 return s;
525 static struct Cregs
527 char * name;
528 unsigned int crnum;
530 cregs[] =
532 { "psr", 0},
533 { "vbr", 1},
534 { "epsr", 2},
535 { "fpsr", 3},
536 { "epc", 4},
537 { "fpc", 5},
538 { "ss0", 6},
539 { "ss1", 7},
540 { "ss2", 8},
541 { "ss3", 9},
542 { "ss4", 10},
543 { "gcr", 11},
544 { "gsr", 12},
545 { "", 0}
548 static char *
549 parse_creg (char * s, unsigned * reg)
551 int i;
553 /* Strip leading whitespace. */
554 while (ISSPACE (* s))
555 ++s;
557 if ((TOLOWER (s[0]) == 'c' && TOLOWER (s[1]) == 'r'))
559 if (s[2] == '3' && s[3] >= '0' && s[3] <= '1')
561 *reg = 30 + s[3] - '0';
562 return s + 4;
565 if (s[2] == '2' && s[3] >= '0' && s[3] <= '9')
567 *reg = 20 + s[3] - '0';
568 return s + 4;
571 if (s[2] == '1' && s[3] >= '0' && s[3] <= '9')
573 *reg = 10 + s[3] - '0';
574 return s + 4;
577 if (s[2] >= '0' && s[2] <= '9')
579 *reg = s[2] - '0';
580 return s + 3;
584 /* Look at alternate creg names before giving error. */
585 for (i = 0; cregs[i].name[0] != '\0'; i++)
587 char buf [10];
588 int length;
589 int j;
591 length = strlen (cregs[i].name);
593 for (j = 0; j < length; j++)
594 buf[j] = TOLOWER (s[j]);
596 if (strncmp (cregs[i].name, buf, length) == 0)
598 *reg = cregs[i].crnum;
599 return s + length;
603 as_bad (_("control register expected, but saw '%.6s'"), s);
605 return s;
608 static char *
609 parse_psrmod (char * s, unsigned * reg)
611 int i;
612 char buf[10];
613 static struct psrmods
615 char * name;
616 unsigned int value;
618 psrmods[] =
620 { "ie", 1 },
621 { "fe", 2 },
622 { "ee", 4 },
623 { "af", 8 } /* Really 0 and non-combinable. */
626 for (i = 0; i < 2; i++)
627 buf[i] = TOLOWER (s[i]);
629 for (i = sizeof (psrmods) / sizeof (psrmods[0]); i--;)
631 if (! strncmp (psrmods[i].name, buf, 2))
633 * reg = psrmods[i].value;
635 return s + 2;
639 as_bad (_("bad/missing psr specifier"));
641 * reg = 0;
643 return s;
646 static char *
647 parse_exp (char * s, expressionS * e)
649 char * save;
650 char * new;
652 /* Skip whitespace. */
653 while (ISSPACE (* s))
654 ++ s;
656 save = input_line_pointer;
657 input_line_pointer = s;
659 expression (e);
661 if (e->X_op == O_absent)
662 as_bad (_("missing operand"));
664 new = input_line_pointer;
665 input_line_pointer = save;
667 return new;
670 static int
671 enter_literal (expressionS * e, int ispcrel)
673 unsigned int i;
674 struct literal * p;
676 if (poolsize >= MAX_POOL_SIZE - 2)
677 /* The literal pool is as full as we can handle. We have
678 to be 2 entries shy of the 1024/4=256 entries because we
679 have to allow for the branch (2 bytes) and the alignment
680 (2 bytes before the first insn referencing the pool and
681 2 bytes before the pool itself) == 6 bytes, rounds up
682 to 2 entries. */
683 dump_literals (1);
685 if (poolsize == 0)
687 /* Create new literal pool. */
688 if (++ poolnumber > 0xFFFF)
689 as_fatal (_("more than 65K literal pools"));
691 make_name (poolname, POOL_START_LABEL, poolnumber);
692 poolsym = symbol_make (poolname);
693 symbol_table_insert (poolsym);
694 poolspan = 0;
697 /* Search pool for value so we don't have duplicates. */
698 for (p = litpool, i = 0; i < poolsize; i++, p++)
700 if (e->X_op == p->e.X_op
701 && e->X_add_symbol == p->e.X_add_symbol
702 && e->X_add_number == p->e.X_add_number
703 && ispcrel == p->ispcrel)
705 p->refcnt ++;
706 return i;
710 p->refcnt = 1;
711 p->ispcrel = ispcrel;
712 p->e = * e;
714 poolsize ++;
716 return i;
719 /* Parse a literal specification. -- either new or old syntax.
720 old syntax: the user supplies the label and places the literal.
721 new syntax: we put it into the literal pool. */
723 static char *
724 parse_rt (char * s,
725 char ** outputp,
726 int ispcrel,
727 expressionS * ep)
729 expressionS e;
730 int n;
732 if (ep)
733 /* Indicate nothing there. */
734 ep->X_op = O_absent;
736 if (*s == '[')
738 s = parse_exp (s + 1, & e);
740 if (*s == ']')
741 s++;
742 else
743 as_bad (_("missing ']'"));
745 else
747 s = parse_exp (s, & e);
749 n = enter_literal (& e, ispcrel);
751 if (ep)
752 *ep = e;
754 /* Create a reference to pool entry. */
755 e.X_op = O_symbol;
756 e.X_add_symbol = poolsym;
757 e.X_add_number = n << 2;
760 * outputp = frag_more (2);
762 fix_new_exp (frag_now, (*outputp) - frag_now->fr_literal, 2, & e, 1,
763 BFD_RELOC_MCORE_PCREL_IMM8BY4);
765 return s;
768 static char *
769 parse_imm (char * s,
770 unsigned * val,
771 unsigned min,
772 unsigned max)
774 char * new;
775 expressionS e;
777 new = parse_exp (s, & e);
779 if (e.X_op == O_absent)
780 ; /* An error message has already been emitted. */
781 else if (e.X_op != O_constant)
782 as_bad (_("operand must be a constant"));
783 else if ((addressT) e.X_add_number < min || (addressT) e.X_add_number > max)
784 as_bad (_("operand must be absolute in range %u..%u, not %ld"),
785 min, max, (long) e.X_add_number);
787 * val = e.X_add_number;
789 return new;
792 static char *
793 parse_mem (char * s,
794 unsigned * reg,
795 unsigned * off,
796 unsigned siz)
798 * off = 0;
800 while (ISSPACE (* s))
801 ++ s;
803 if (* s == '(')
805 s = parse_reg (s + 1, reg);
807 while (ISSPACE (* s))
808 ++ s;
810 if (* s == ',')
812 s = parse_imm (s + 1, off, 0, 63);
814 if (siz > 1)
816 if (siz > 2)
818 if (* off & 0x3)
819 as_bad (_("operand must be a multiple of 4"));
821 * off >>= 2;
823 else
825 if (* off & 0x1)
826 as_bad (_("operand must be a multiple of 2"));
828 * off >>= 1;
833 while (ISSPACE (* s))
834 ++ s;
836 if (* s == ')')
837 s ++;
839 else
840 as_bad (_("base register expected"));
842 return s;
845 /* This is the guts of the machine-dependent assembler. STR points to a
846 machine dependent instruction. This function is supposed to emit
847 the frags/bytes it assembles to. */
849 void
850 md_assemble (char * str)
852 char * op_start;
853 char * op_end;
854 mcore_opcode_info * opcode;
855 char * output;
856 int nlen = 0;
857 unsigned short inst;
858 unsigned reg;
859 unsigned off;
860 unsigned isize;
861 expressionS e;
862 char name[20];
864 /* Drop leading whitespace. */
865 while (ISSPACE (* str))
866 str ++;
868 /* Find the op code end. */
869 for (op_start = op_end = str;
870 nlen < 20 && !is_end_of_line [(unsigned char) *op_end] && *op_end != ' ';
871 op_end++)
873 name[nlen] = op_start[nlen];
874 nlen++;
877 name [nlen] = 0;
879 if (nlen == 0)
881 as_bad (_("can't find opcode "));
882 return;
885 opcode = (mcore_opcode_info *) hash_find (opcode_hash_control, name);
886 if (opcode == NULL)
888 as_bad (_("unknown opcode \"%s\""), name);
889 return;
892 inst = opcode->inst;
893 isize = 2;
895 switch (opcode->opclass)
897 case O0:
898 output = frag_more (2);
899 break;
901 case OT:
902 op_end = parse_imm (op_end + 1, & reg, 0, 3);
903 inst |= reg;
904 output = frag_more (2);
905 break;
907 case O1:
908 op_end = parse_reg (op_end + 1, & reg);
909 inst |= reg;
910 output = frag_more (2);
911 break;
913 case JMP:
914 op_end = parse_reg (op_end + 1, & reg);
915 inst |= reg;
916 output = frag_more (2);
917 /* In a sifilter mode, we emit this insn 2 times,
918 fixes problem of an interrupt during a jmp.. */
919 if (sifilter_mode)
921 output[0] = INST_BYTE0 (inst);
922 output[1] = INST_BYTE1 (inst);
923 output = frag_more (2);
925 break;
927 case JSR:
928 op_end = parse_reg (op_end + 1, & reg);
930 if (reg == 15)
931 as_bad (_("invalid register: r15 illegal"));
933 inst |= reg;
934 output = frag_more (2);
936 if (sifilter_mode)
938 /* Replace with: bsr .+2 ; addi r15,6; jmp rx ; jmp rx. */
939 inst = MCORE_INST_BSR; /* With 0 displacement. */
940 output[0] = INST_BYTE0 (inst);
941 output[1] = INST_BYTE1 (inst);
943 output = frag_more (2);
944 inst = MCORE_INST_ADDI;
945 inst |= 15; /* addi r15,6 */
946 inst |= (6 - 1) << 4; /* Over the jmp's. */
947 output[0] = INST_BYTE0 (inst);
948 output[1] = INST_BYTE1 (inst);
950 output = frag_more (2);
951 inst = MCORE_INST_JMP | reg;
952 output[0] = INST_BYTE0 (inst);
953 output[1] = INST_BYTE1 (inst);
955 /* 2nd emitted in fallthrough. */
956 output = frag_more (2);
958 break;
960 case OC:
961 op_end = parse_reg (op_end + 1, & reg);
962 inst |= reg;
964 /* Skip whitespace. */
965 while (ISSPACE (* op_end))
966 ++ op_end;
968 if (*op_end == ',')
970 op_end = parse_creg (op_end + 1, & reg);
971 inst |= reg << 4;
974 output = frag_more (2);
975 break;
977 case MULSH:
978 if (cpu == M210)
980 as_bad (_("M340 specific opcode used when assembling for M210"));
981 break;
983 /* drop through... */
984 case O2:
985 op_end = parse_reg (op_end + 1, & reg);
986 inst |= reg;
988 /* Skip whitespace. */
989 while (ISSPACE (* op_end))
990 ++ op_end;
992 if (* op_end == ',')
994 op_end = parse_reg (op_end + 1, & reg);
995 inst |= reg << 4;
997 else
998 as_bad (_("second operand missing"));
1000 output = frag_more (2);
1001 break;
1003 case X1:
1004 /* Handle both syntax-> xtrb- r1,rx OR xtrb- rx. */
1005 op_end = parse_reg (op_end + 1, & reg);
1007 /* Skip whitespace. */
1008 while (ISSPACE (* op_end))
1009 ++ op_end;
1011 if (* op_end == ',') /* xtrb- r1,rx. */
1013 if (reg != 1)
1014 as_bad (_("destination register must be r1"));
1016 op_end = parse_reg (op_end + 1, & reg);
1019 inst |= reg;
1020 output = frag_more (2);
1021 break;
1023 case O1R1: /* div- rx,r1. */
1024 op_end = parse_reg (op_end + 1, & reg);
1025 inst |= reg;
1027 /* Skip whitespace. */
1028 while (ISSPACE (* op_end))
1029 ++ op_end;
1031 if (* op_end == ',')
1033 op_end = parse_reg (op_end + 1, & reg);
1034 if (reg != 1)
1035 as_bad (_("source register must be r1"));
1037 else
1038 as_bad (_("second operand missing"));
1040 output = frag_more (2);
1041 break;
1043 case OI:
1044 op_end = parse_reg (op_end + 1, & reg);
1045 inst |= reg;
1047 /* Skip whitespace. */
1048 while (ISSPACE (* op_end))
1049 ++ op_end;
1051 if (* op_end == ',')
1053 op_end = parse_imm (op_end + 1, & reg, 1, 32);
1054 inst |= (reg - 1) << 4;
1056 else
1057 as_bad (_("second operand missing"));
1059 output = frag_more (2);
1060 break;
1062 case OB:
1063 op_end = parse_reg (op_end + 1, & reg);
1064 inst |= reg;
1066 /* Skip whitespace. */
1067 while (ISSPACE (* op_end))
1068 ++ op_end;
1070 if (* op_end == ',')
1072 op_end = parse_imm (op_end + 1, & reg, 0, 31);
1073 inst |= reg << 4;
1075 else
1076 as_bad (_("second operand missing"));
1078 output = frag_more (2);
1079 break;
1081 case OB2:
1082 /* Like OB, but arg is 2^n instead of n. */
1083 op_end = parse_reg (op_end + 1, & reg);
1084 inst |= reg;
1086 /* Skip whitespace. */
1087 while (ISSPACE (* op_end))
1088 ++ op_end;
1090 if (* op_end == ',')
1092 op_end = parse_imm (op_end + 1, & reg, 1, 1 << 31);
1093 /* Further restrict the immediate to a power of two. */
1094 if ((reg & (reg - 1)) == 0)
1095 reg = mylog2 (reg);
1096 else
1098 reg = 0;
1099 as_bad (_("immediate is not a power of two"));
1101 inst |= (reg) << 4;
1103 else
1104 as_bad (_("second operand missing"));
1106 output = frag_more (2);
1107 break;
1109 case OBRa: /* Specific for bgeni: imm of 0->6 translate to movi. */
1110 case OBRb:
1111 case OBRc:
1112 op_end = parse_reg (op_end + 1, & reg);
1113 inst |= reg;
1115 /* Skip whitespace. */
1116 while (ISSPACE (* op_end))
1117 ++ op_end;
1119 if (* op_end == ',')
1121 op_end = parse_imm (op_end + 1, & reg, 0, 31);
1122 /* Immediate values of 0 -> 6 translate to movi. */
1123 if (reg <= 6)
1125 inst = (inst & 0xF) | MCORE_INST_BGENI_ALT;
1126 reg = 0x1 << reg;
1127 as_warn (_("translating bgeni to movi"));
1129 inst &= ~ 0x01f0;
1130 inst |= reg << 4;
1132 else
1133 as_bad (_("second operand missing"));
1135 output = frag_more (2);
1136 break;
1138 case OBR2: /* Like OBR, but arg is 2^n instead of n. */
1139 op_end = parse_reg (op_end + 1, & reg);
1140 inst |= reg;
1142 /* Skip whitespace. */
1143 while (ISSPACE (* op_end))
1144 ++ op_end;
1146 if (* op_end == ',')
1148 op_end = parse_imm (op_end + 1, & reg, 1, 1 << 31);
1150 /* Further restrict the immediate to a power of two. */
1151 if ((reg & (reg - 1)) == 0)
1152 reg = mylog2 (reg);
1153 else
1155 reg = 0;
1156 as_bad (_("immediate is not a power of two"));
1159 /* Immediate values of 0 -> 6 translate to movi. */
1160 if (reg <= 6)
1162 inst = (inst & 0xF) | MCORE_INST_BGENI_ALT;
1163 reg = 0x1 << reg;
1164 as_warn (_("translating mgeni to movi"));
1167 inst |= reg << 4;
1169 else
1170 as_bad (_("second operand missing"));
1172 output = frag_more (2);
1173 break;
1175 case OMa: /* Specific for bmaski: imm 1->7 translate to movi. */
1176 case OMb:
1177 case OMc:
1178 op_end = parse_reg (op_end + 1, & reg);
1179 inst |= reg;
1181 /* Skip whitespace. */
1182 while (ISSPACE (* op_end))
1183 ++ op_end;
1185 if (* op_end == ',')
1187 op_end = parse_imm (op_end + 1, & reg, 1, 32);
1189 /* Immediate values of 1 -> 7 translate to movi. */
1190 if (reg <= 7)
1192 inst = (inst & 0xF) | MCORE_INST_BMASKI_ALT;
1193 reg = (0x1 << reg) - 1;
1194 inst |= reg << 4;
1196 as_warn (_("translating bmaski to movi"));
1198 else
1200 inst &= ~ 0x01F0;
1201 inst |= (reg & 0x1F) << 4;
1204 else
1205 as_bad (_("second operand missing"));
1207 output = frag_more (2);
1208 break;
1210 case SI:
1211 op_end = parse_reg (op_end + 1, & reg);
1212 inst |= reg;
1214 /* Skip whitespace. */
1215 while (ISSPACE (* op_end))
1216 ++ op_end;
1218 if (* op_end == ',')
1220 op_end = parse_imm (op_end + 1, & reg, 1, 31);
1221 inst |= reg << 4;
1223 else
1224 as_bad (_("second operand missing"));
1226 output = frag_more (2);
1227 break;
1229 case I7:
1230 op_end = parse_reg (op_end + 1, & reg);
1231 inst |= reg;
1233 /* Skip whitespace. */
1234 while (ISSPACE (* op_end))
1235 ++ op_end;
1237 if (* op_end == ',')
1239 op_end = parse_imm (op_end + 1, & reg, 0, 0x7F);
1240 inst |= reg << 4;
1242 else
1243 as_bad (_("second operand missing"));
1245 output = frag_more (2);
1246 break;
1248 case LS:
1249 op_end = parse_reg (op_end + 1, & reg);
1250 inst |= reg << 8;
1252 /* Skip whitespace. */
1253 while (ISSPACE (* op_end))
1254 ++ op_end;
1256 if (* op_end == ',')
1258 int size;
1260 if ((inst & 0x6000) == 0)
1261 size = 4;
1262 else if ((inst & 0x6000) == 0x4000)
1263 size = 2;
1264 else if ((inst & 0x6000) == 0x2000)
1265 size = 1;
1266 else
1267 abort ();
1269 op_end = parse_mem (op_end + 1, & reg, & off, size);
1271 if (off > 16)
1272 as_bad (_("displacement too large (%d)"), off);
1273 else
1274 inst |= (reg) | (off << 4);
1276 else
1277 as_bad (_("second operand missing"));
1279 output = frag_more (2);
1280 break;
1282 case LR:
1283 op_end = parse_reg (op_end + 1, & reg);
1285 if (reg == 0 || reg == 15)
1286 as_bad (_("Invalid register: r0 and r15 illegal"));
1288 inst |= (reg << 8);
1290 /* Skip whitespace. */
1291 while (ISSPACE (* op_end))
1292 ++ op_end;
1294 if (* op_end == ',')
1296 /* parse_rt calls frag_more() for us. */
1297 input_line_pointer = parse_rt (op_end + 1, & output, 0, 0);
1298 op_end = input_line_pointer;
1300 else
1302 as_bad (_("second operand missing"));
1303 output = frag_more (2); /* save its space */
1305 break;
1307 case LJ:
1308 input_line_pointer = parse_rt (op_end + 1, & output, 1, 0);
1309 /* parse_rt() calls frag_more() for us. */
1310 op_end = input_line_pointer;
1311 break;
1313 case RM:
1314 op_end = parse_reg (op_end + 1, & reg);
1316 if (reg == 0 || reg == 15)
1317 as_bad (_("bad starting register: r0 and r15 invalid"));
1319 inst |= reg;
1321 /* Skip whitespace. */
1322 while (ISSPACE (* op_end))
1323 ++ op_end;
1325 if (* op_end == '-')
1327 op_end = parse_reg (op_end + 1, & reg);
1329 if (reg != 15)
1330 as_bad (_("ending register must be r15"));
1332 /* Skip whitespace. */
1333 while (ISSPACE (* op_end))
1334 ++ op_end;
1337 if (* op_end == ',')
1339 op_end ++;
1341 /* Skip whitespace. */
1342 while (ISSPACE (* op_end))
1343 ++ op_end;
1345 if (* op_end == '(')
1347 op_end = parse_reg (op_end + 1, & reg);
1349 if (reg != 0)
1350 as_bad (_("bad base register: must be r0"));
1352 if (* op_end == ')')
1353 op_end ++;
1355 else
1356 as_bad (_("base register expected"));
1358 else
1359 as_bad (_("second operand missing"));
1361 output = frag_more (2);
1362 break;
1364 case RQ:
1365 op_end = parse_reg (op_end + 1, & reg);
1367 if (reg != 4)
1368 as_fatal (_("first register must be r4"));
1370 /* Skip whitespace. */
1371 while (ISSPACE (* op_end))
1372 ++ op_end;
1374 if (* op_end == '-')
1376 op_end = parse_reg (op_end + 1, & reg);
1378 if (reg != 7)
1379 as_fatal (_("last register must be r7"));
1381 /* Skip whitespace. */
1382 while (ISSPACE (* op_end))
1383 ++ op_end;
1385 if (* op_end == ',')
1387 op_end ++;
1389 /* Skip whitespace. */
1390 while (ISSPACE (* op_end))
1391 ++ op_end;
1393 if (* op_end == '(')
1395 op_end = parse_reg (op_end + 1, & reg);
1397 if (reg >= 4 && reg <= 7)
1398 as_fatal ("base register cannot be r4, r5, r6, or r7");
1400 inst |= reg;
1402 /* Skip whitespace. */
1403 while (ISSPACE (* op_end))
1404 ++ op_end;
1406 if (* op_end == ')')
1407 op_end ++;
1409 else
1410 as_bad (_("base register expected"));
1412 else
1413 as_bad (_("second operand missing"));
1415 else
1416 as_bad (_("reg-reg expected"));
1418 output = frag_more (2);
1419 break;
1421 case BR:
1422 input_line_pointer = parse_exp (op_end + 1, & e);
1423 op_end = input_line_pointer;
1425 output = frag_more (2);
1427 fix_new_exp (frag_now, output-frag_now->fr_literal,
1428 2, & e, 1, BFD_RELOC_MCORE_PCREL_IMM11BY2);
1429 break;
1431 case BL:
1432 op_end = parse_reg (op_end + 1, & reg);
1433 inst |= reg << 4;
1435 /* Skip whitespace. */
1436 while (ISSPACE (* op_end))
1437 ++ op_end;
1439 if (* op_end == ',')
1441 op_end = parse_exp (op_end + 1, & e);
1442 output = frag_more (2);
1444 fix_new_exp (frag_now, output-frag_now->fr_literal,
1445 2, & e, 1, BFD_RELOC_MCORE_PCREL_IMM4BY2);
1447 else
1449 as_bad (_("second operand missing"));
1450 output = frag_more (2);
1452 break;
1454 case JC:
1455 input_line_pointer = parse_exp (op_end + 1, & e);
1456 op_end = input_line_pointer;
1458 output = frag_var (rs_machine_dependent,
1459 md_relax_table[C (COND_JUMP, DISP32)].rlx_length,
1460 md_relax_table[C (COND_JUMP, DISP12)].rlx_length,
1461 C (COND_JUMP, 0), e.X_add_symbol, e.X_add_number, 0);
1462 isize = C32_LEN;
1463 break;
1465 case JU:
1466 input_line_pointer = parse_exp (op_end + 1, & e);
1467 op_end = input_line_pointer;
1469 output = frag_var (rs_machine_dependent,
1470 md_relax_table[C (UNCD_JUMP, DISP32)].rlx_length,
1471 md_relax_table[C (UNCD_JUMP, DISP12)].rlx_length,
1472 C (UNCD_JUMP, 0), e.X_add_symbol, e.X_add_number, 0);
1473 isize = U32_LEN;
1474 break;
1476 case JL:
1477 inst = MCORE_INST_JSRI; /* jsri */
1478 input_line_pointer = parse_rt (op_end + 1, & output, 1, & e);
1479 /* parse_rt() calls frag_more for us. */
1480 op_end = input_line_pointer;
1482 /* Only do this if we know how to do it ... */
1483 if (e.X_op != O_absent && do_jsri2bsr)
1485 /* Look at adding the R_PCREL_JSRIMM11BY2. */
1486 fix_new_exp (frag_now, output-frag_now->fr_literal,
1487 2, & e, 1, BFD_RELOC_MCORE_PCREL_JSR_IMM11BY2);
1489 break;
1491 case RSI:
1492 /* SI, but imm becomes 32-imm. */
1493 op_end = parse_reg (op_end + 1, & reg);
1494 inst |= reg;
1496 /* Skip whitespace. */
1497 while (ISSPACE (* op_end))
1498 ++ op_end;
1500 if (* op_end == ',')
1502 op_end = parse_imm (op_end + 1, & reg, 1, 31);
1504 reg = 32 - reg;
1505 inst |= reg << 4;
1507 else
1508 as_bad (_("second operand missing"));
1510 output = frag_more (2);
1511 break;
1513 case DO21: /* O2, dup rd, lit must be 1 */
1514 op_end = parse_reg (op_end + 1, & reg);
1515 inst |= reg;
1516 inst |= reg << 4;
1518 /* Skip whitespace. */
1519 while (ISSPACE (* op_end))
1520 ++ op_end;
1522 if (* op_end == ',')
1524 op_end = parse_imm (op_end + 1, & reg, 1, 31);
1526 if (reg != 1)
1527 as_bad (_("second operand must be 1"));
1529 else
1530 as_bad (_("second operand missing"));
1532 output = frag_more (2);
1533 break;
1535 case SIa:
1536 op_end = parse_reg (op_end + 1, & reg);
1537 inst |= reg;
1539 /* Skip whitespace. */
1540 while (ISSPACE (* op_end))
1541 ++ op_end;
1543 if (* op_end == ',')
1545 op_end = parse_imm (op_end + 1, & reg, 1, 31);
1547 if (reg == 0)
1548 as_bad (_("zero used as immediate value"));
1550 inst |= reg << 4;
1552 else
1553 as_bad (_("second operand missing"));
1555 output = frag_more (2);
1556 break;
1558 case OPSR:
1559 if (cpu == M210)
1561 as_bad (_("M340 specific opcode used when assembling for M210"));
1562 break;
1565 op_end = parse_psrmod (op_end + 1, & reg);
1567 /* Look for further selectors. */
1568 while (* op_end == ',')
1570 unsigned value;
1572 op_end = parse_psrmod (op_end + 1, & value);
1574 if (value & reg)
1575 as_bad (_("duplicated psr bit specifier"));
1577 reg |= value;
1580 if (reg > 8)
1581 as_bad (_("`af' must appear alone"));
1583 inst |= (reg & 0x7);
1584 output = frag_more (2);
1585 break;
1587 default:
1588 as_bad (_("unimplemented opcode \"%s\""), name);
1591 /* Drop whitespace after all the operands have been parsed. */
1592 while (ISSPACE (* op_end))
1593 op_end ++;
1595 /* Give warning message if the insn has more operands than required. */
1596 if (strcmp (op_end, opcode->name) && strcmp (op_end, ""))
1597 as_warn (_("ignoring operands: %s "), op_end);
1599 output[0] = INST_BYTE0 (inst);
1600 output[1] = INST_BYTE1 (inst);
1602 check_literals (opcode->transfer, isize);
1605 symbolS *
1606 md_undefined_symbol (char *name ATTRIBUTE_UNUSED)
1608 return 0;
1611 void
1612 md_mcore_end (void)
1614 dump_literals (0);
1615 subseg_set (text_section, 0);
1618 /* Various routines to kill one day. */
1619 /* Equal to MAX_PRECISION in atof-ieee.c. */
1620 #define MAX_LITTLENUMS 6
1622 /* Turn a string in input_line_pointer into a floating point constant of type
1623 type, and store the appropriate bytes in *litP. The number of LITTLENUMS
1624 emitted is stored in *sizeP. An error message is returned, or NULL on OK. */
1626 char *
1627 md_atof (int type, char * litP, int * sizeP)
1629 int prec;
1630 LITTLENUM_TYPE words[MAX_LITTLENUMS];
1631 int i;
1632 char * t;
1634 switch (type)
1636 case 'f':
1637 case 'F':
1638 case 's':
1639 case 'S':
1640 prec = 2;
1641 break;
1643 case 'd':
1644 case 'D':
1645 case 'r':
1646 case 'R':
1647 prec = 4;
1648 break;
1650 case 'x':
1651 case 'X':
1652 prec = 6;
1653 break;
1655 case 'p':
1656 case 'P':
1657 prec = 6;
1658 break;
1660 default:
1661 *sizeP = 0;
1662 return _("Bad call to MD_NTOF()");
1665 t = atof_ieee (input_line_pointer, type, words);
1667 if (t)
1668 input_line_pointer = t;
1670 *sizeP = prec * sizeof (LITTLENUM_TYPE);
1672 if (! target_big_endian)
1674 for (i = prec - 1; i >= 0; i--)
1676 md_number_to_chars (litP, (valueT) words[i],
1677 sizeof (LITTLENUM_TYPE));
1678 litP += sizeof (LITTLENUM_TYPE);
1681 else
1682 for (i = 0; i < prec; i++)
1684 md_number_to_chars (litP, (valueT) words[i],
1685 sizeof (LITTLENUM_TYPE));
1686 litP += sizeof (LITTLENUM_TYPE);
1689 return 0;
1692 const char * md_shortopts = "";
1694 enum options
1696 OPTION_JSRI2BSR_ON = OPTION_MD_BASE,
1697 OPTION_JSRI2BSR_OFF,
1698 OPTION_SIFILTER_ON,
1699 OPTION_SIFILTER_OFF,
1700 OPTION_CPU,
1701 OPTION_EB,
1702 OPTION_EL,
1705 struct option md_longopts[] =
1707 { "no-jsri2bsr", no_argument, NULL, OPTION_JSRI2BSR_OFF},
1708 { "jsri2bsr", no_argument, NULL, OPTION_JSRI2BSR_ON},
1709 { "sifilter", no_argument, NULL, OPTION_SIFILTER_ON},
1710 { "no-sifilter", no_argument, NULL, OPTION_SIFILTER_OFF},
1711 { "cpu", required_argument, NULL, OPTION_CPU},
1712 { "EB", no_argument, NULL, OPTION_EB},
1713 { "EL", no_argument, NULL, OPTION_EL},
1714 { NULL, no_argument, NULL, 0}
1717 size_t md_longopts_size = sizeof (md_longopts);
1720 md_parse_option (int c, char * arg)
1722 switch (c)
1724 case OPTION_CPU:
1725 if (streq (arg, "210"))
1727 cpu = M210;
1728 target_big_endian = 1;
1730 else if (streq (arg, "340"))
1731 cpu = M340;
1732 else
1733 as_warn (_("unrecognised cpu type '%s'"), arg);
1734 break;
1736 case OPTION_EB: target_big_endian = 1; break;
1737 case OPTION_EL: target_big_endian = 0; cpu = M340; break;
1738 case OPTION_JSRI2BSR_ON: do_jsri2bsr = 1; break;
1739 case OPTION_JSRI2BSR_OFF: do_jsri2bsr = 0; break;
1740 case OPTION_SIFILTER_ON: sifilter_mode = 1; break;
1741 case OPTION_SIFILTER_OFF: sifilter_mode = 0; break;
1742 default: return 0;
1745 return 1;
1748 void
1749 md_show_usage (FILE * stream)
1751 fprintf (stream, _("\
1752 MCORE specific options:\n\
1753 -{no-}jsri2bsr {dis}able jsri to bsr transformation (def: dis)\n\
1754 -{no-}sifilter {dis}able silicon filter behavior (def: dis)\n\
1755 -cpu=[210|340] select CPU type\n\
1756 -EB assemble for a big endian system (default)\n\
1757 -EL assemble for a little endian system\n"));
1760 int md_short_jump_size;
1762 void
1763 md_create_short_jump (char * ptr ATTRIBUTE_UNUSED,
1764 addressT from_Nddr ATTRIBUTE_UNUSED,
1765 addressT to_Nddr ATTRIBUTE_UNUSED,
1766 fragS * frag ATTRIBUTE_UNUSED,
1767 symbolS * to_symbol ATTRIBUTE_UNUSED)
1769 as_fatal (_("failed sanity check: short_jump"));
1772 void
1773 md_create_long_jump (char * ptr ATTRIBUTE_UNUSED,
1774 addressT from_Nddr ATTRIBUTE_UNUSED,
1775 addressT to_Nddr ATTRIBUTE_UNUSED,
1776 fragS * frag ATTRIBUTE_UNUSED,
1777 symbolS * to_symbol ATTRIBUTE_UNUSED)
1779 as_fatal (_("failed sanity check: long_jump"));
1782 /* Called after relaxing, change the frags so they know how big they are. */
1784 void
1785 md_convert_frag (bfd * abfd ATTRIBUTE_UNUSED,
1786 segT sec ATTRIBUTE_UNUSED,
1787 fragS * fragP)
1789 char *buffer;
1790 int targ_addr = S_GET_VALUE (fragP->fr_symbol) + fragP->fr_offset;
1792 buffer = fragP->fr_fix + fragP->fr_literal;
1794 switch (fragP->fr_subtype)
1796 case C (COND_JUMP, DISP12):
1797 case C (UNCD_JUMP, DISP12):
1799 /* Get the address of the end of the instruction. */
1800 int next_inst = fragP->fr_fix + fragP->fr_address + 2;
1801 unsigned char t0;
1802 int disp = targ_addr - next_inst;
1804 if (disp & 1)
1805 as_bad (_("odd displacement at %x"), next_inst - 2);
1807 disp >>= 1;
1809 if (! target_big_endian)
1811 t0 = buffer[1] & 0xF8;
1813 md_number_to_chars (buffer, disp, 2);
1815 buffer[1] = (buffer[1] & 0x07) | t0;
1817 else
1819 t0 = buffer[0] & 0xF8;
1821 md_number_to_chars (buffer, disp, 2);
1823 buffer[0] = (buffer[0] & 0x07) | t0;
1826 fragP->fr_fix += 2;
1828 break;
1830 case C (COND_JUMP, DISP32):
1831 case C (COND_JUMP, UNDEF_WORD_DISP):
1833 /* A conditional branch wont fit into 12 bits so:
1834 b!cond 1f
1835 jmpi 0f
1836 .align 2
1837 0: .long disp
1840 If the b!cond is 4 byte aligned, the literal which would
1841 go at x+4 will also be aligned. */
1842 int first_inst = fragP->fr_fix + fragP->fr_address;
1843 int needpad = (first_inst & 3);
1845 if (! target_big_endian)
1846 buffer[1] ^= 0x08;
1847 else
1848 buffer[0] ^= 0x08; /* Toggle T/F bit. */
1850 buffer[2] = INST_BYTE0 (MCORE_INST_JMPI); /* Build jmpi. */
1851 buffer[3] = INST_BYTE1 (MCORE_INST_JMPI);
1853 if (needpad)
1855 if (! target_big_endian)
1857 buffer[0] = 4; /* Branch over jmpi, pad, and ptr. */
1858 buffer[2] = 1; /* Jmpi offset of 1 gets the pointer. */
1860 else
1862 buffer[1] = 4; /* Branch over jmpi, pad, and ptr. */
1863 buffer[3] = 1; /* Jmpi offset of 1 gets the pointer. */
1866 buffer[4] = 0; /* Alignment/pad. */
1867 buffer[5] = 0;
1868 buffer[6] = 0; /* Space for 32 bit address. */
1869 buffer[7] = 0;
1870 buffer[8] = 0;
1871 buffer[9] = 0;
1873 /* Make reloc for the long disp. */
1874 fix_new (fragP, fragP->fr_fix + 6, 4,
1875 fragP->fr_symbol, fragP->fr_offset, 0, BFD_RELOC_32);
1877 fragP->fr_fix += C32_LEN;
1879 else
1881 /* See comment below about this given gas' limitations for
1882 shrinking the fragment. '3' is the amount of code that
1883 we inserted here, but '4' is right for the space we reserved
1884 for this fragment. */
1885 if (! target_big_endian)
1887 buffer[0] = 3; /* Branch over jmpi, and ptr. */
1888 buffer[2] = 0; /* Jmpi offset of 0 gets the pointer. */
1890 else
1892 buffer[1] = 3; /* Branch over jmpi, and ptr. */
1893 buffer[3] = 0; /* Jmpi offset of 0 gets the pointer. */
1896 buffer[4] = 0; /* Space for 32 bit address. */
1897 buffer[5] = 0;
1898 buffer[6] = 0;
1899 buffer[7] = 0;
1901 /* Make reloc for the long disp. */
1902 fix_new (fragP, fragP->fr_fix + 4, 4,
1903 fragP->fr_symbol, fragP->fr_offset, 0, BFD_RELOC_32);
1904 fragP->fr_fix += C32_LEN;
1906 /* Frag is actually shorter (see the other side of this ifdef)
1907 but gas isn't prepared for that. We have to re-adjust
1908 the branch displacement so that it goes beyond the
1909 full length of the fragment, not just what we actually
1910 filled in. */
1911 if (! target_big_endian)
1912 buffer[0] = 4; /* Jmpi, ptr, and the 'tail pad'. */
1913 else
1914 buffer[1] = 4; /* Jmpi, ptr, and the 'tail pad'. */
1917 break;
1919 case C (UNCD_JUMP, DISP32):
1920 case C (UNCD_JUMP, UNDEF_WORD_DISP):
1922 /* An unconditional branch will not fit in 12 bits, make code which
1923 looks like:
1924 jmpi 0f
1925 .align 2
1926 0: .long disp
1927 we need a pad if "first_inst" is 4 byte aligned.
1928 [because the natural literal place is x + 2]. */
1929 int first_inst = fragP->fr_fix + fragP->fr_address;
1930 int needpad = !(first_inst & 3);
1932 buffer[0] = INST_BYTE0 (MCORE_INST_JMPI); /* Build jmpi. */
1933 buffer[1] = INST_BYTE1 (MCORE_INST_JMPI);
1935 if (needpad)
1937 if (! target_big_endian)
1938 buffer[0] = 1; /* Jmpi offset of 1 since padded. */
1939 else
1940 buffer[1] = 1; /* Jmpi offset of 1 since padded. */
1941 buffer[2] = 0; /* Alignment. */
1942 buffer[3] = 0;
1943 buffer[4] = 0; /* Space for 32 bit address. */
1944 buffer[5] = 0;
1945 buffer[6] = 0;
1946 buffer[7] = 0;
1948 /* Make reloc for the long disp. */
1949 fix_new (fragP, fragP->fr_fix + 4, 4,
1950 fragP->fr_symbol, fragP->fr_offset, 0, BFD_RELOC_32);
1952 fragP->fr_fix += U32_LEN;
1954 else
1956 if (! target_big_endian)
1957 buffer[0] = 0; /* Jmpi offset of 0 if no pad. */
1958 else
1959 buffer[1] = 0; /* Jmpi offset of 0 if no pad. */
1960 buffer[2] = 0; /* Space for 32 bit address. */
1961 buffer[3] = 0;
1962 buffer[4] = 0;
1963 buffer[5] = 0;
1965 /* Make reloc for the long disp. */
1966 fix_new (fragP, fragP->fr_fix + 2, 4,
1967 fragP->fr_symbol, fragP->fr_offset, 0, BFD_RELOC_32);
1968 fragP->fr_fix += U32_LEN;
1971 break;
1973 default:
1974 abort ();
1978 /* Applies the desired value to the specified location.
1979 Also sets up addends for 'rela' type relocations. */
1981 void
1982 md_apply_fix (fixS * fixP,
1983 valueT * valP,
1984 segT segment ATTRIBUTE_UNUSED)
1986 char * buf = fixP->fx_where + fixP->fx_frag->fr_literal;
1987 char * file = fixP->fx_file ? fixP->fx_file : _("unknown");
1988 const char * symname;
1989 /* Note: use offsetT because it is signed, valueT is unsigned. */
1990 offsetT val = *valP;
1992 symname = fixP->fx_addsy ? S_GET_NAME (fixP->fx_addsy) : _("<unknown>");
1993 /* Save this for the addend in the relocation record. */
1994 fixP->fx_addnumber = val;
1996 if (fixP->fx_addsy != NULL)
1998 #ifdef OBJ_ELF
1999 /* For ELF we can just return and let the reloc that will be generated
2000 take care of everything. For COFF we still have to insert 'val'
2001 into the insn since the addend field will be ignored. */
2002 return;
2003 #endif
2005 else
2006 fixP->fx_done = 1;
2008 switch (fixP->fx_r_type)
2010 /* Second byte of 2 byte opcode. */
2011 case BFD_RELOC_MCORE_PCREL_IMM11BY2:
2012 if ((val & 1) != 0)
2013 as_bad_where (file, fixP->fx_line,
2014 _("odd distance branch (0x%lx bytes)"), (long) val);
2015 val /= 2;
2016 if (((val & ~0x3ff) != 0) && ((val | 0x3ff) != -1))
2017 as_bad_where (file, fixP->fx_line,
2018 _("pcrel for branch to %s too far (0x%lx)"),
2019 symname, (long) val);
2020 if (target_big_endian)
2022 buf[0] |= ((val >> 8) & 0x7);
2023 buf[1] |= (val & 0xff);
2025 else
2027 buf[1] |= ((val >> 8) & 0x7);
2028 buf[0] |= (val & 0xff);
2030 break;
2032 /* Lower 8 bits of 2 byte opcode. */
2033 case BFD_RELOC_MCORE_PCREL_IMM8BY4:
2034 val += 3;
2035 val /= 4;
2036 if (val & ~0xff)
2037 as_bad_where (file, fixP->fx_line,
2038 _("pcrel for lrw/jmpi/jsri to %s too far (0x%lx)"),
2039 symname, (long) val);
2040 else if (! target_big_endian)
2041 buf[0] |= (val & 0xff);
2042 else
2043 buf[1] |= (val & 0xff);
2044 break;
2046 /* Loopt instruction. */
2047 case BFD_RELOC_MCORE_PCREL_IMM4BY2:
2048 if ((val < -32) || (val > -2))
2049 as_bad_where (file, fixP->fx_line,
2050 _("pcrel for loopt too far (0x%lx)"), (long) val);
2051 val /= 2;
2052 if (! target_big_endian)
2053 buf[0] |= (val & 0xf);
2054 else
2055 buf[1] |= (val & 0xf);
2056 break;
2058 case BFD_RELOC_MCORE_PCREL_JSR_IMM11BY2:
2059 /* Conditional linker map jsri to bsr. */
2060 /* If its a local target and close enough, fix it.
2061 NB: >= -2k for backwards bsr; < 2k for forwards... */
2062 if (fixP->fx_addsy == 0 && val >= -2048 && val < 2048)
2064 long nval = (val / 2) & 0x7ff;
2065 nval |= MCORE_INST_BSR;
2067 /* REPLACE the instruction, don't just modify it. */
2068 buf[0] = INST_BYTE0 (nval);
2069 buf[1] = INST_BYTE1 (nval);
2071 else
2072 fixP->fx_done = 0;
2073 break;
2075 case BFD_RELOC_MCORE_PCREL_32:
2076 case BFD_RELOC_VTABLE_INHERIT:
2077 case BFD_RELOC_VTABLE_ENTRY:
2078 fixP->fx_done = 0;
2079 break;
2081 default:
2082 if (fixP->fx_addsy != NULL)
2084 /* If the fix is an absolute reloc based on a symbol's
2085 address, then it cannot be resolved until the final link. */
2086 fixP->fx_done = 0;
2088 #ifdef OBJ_ELF
2089 else
2090 #endif
2092 if (fixP->fx_size == 4)
2094 else if (fixP->fx_size == 2 && val >= -32768 && val <= 32767)
2096 else if (fixP->fx_size == 1 && val >= -256 && val <= 255)
2098 else
2099 abort ();
2100 md_number_to_chars (buf, val, fixP->fx_size);
2102 break;
2106 void
2107 md_operand (expressionS * expressionP)
2109 /* Ignore leading hash symbol, if poresent. */
2110 if (* input_line_pointer == '#')
2112 input_line_pointer ++;
2113 expression (expressionP);
2117 int md_long_jump_size;
2119 /* Called just before address relaxation, return the length
2120 by which a fragment must grow to reach it's destination. */
2122 md_estimate_size_before_relax (fragS * fragP, segT segment_type)
2124 switch (fragP->fr_subtype)
2126 default:
2127 abort ();
2129 case C (UNCD_JUMP, UNDEF_DISP):
2130 /* Used to be a branch to somewhere which was unknown. */
2131 if (!fragP->fr_symbol)
2132 fragP->fr_subtype = C (UNCD_JUMP, DISP12);
2133 else if (S_GET_SEGMENT (fragP->fr_symbol) == segment_type)
2134 fragP->fr_subtype = C (UNCD_JUMP, DISP12);
2135 else
2136 fragP->fr_subtype = C (UNCD_JUMP, UNDEF_WORD_DISP);
2137 break;
2139 case C (COND_JUMP, UNDEF_DISP):
2140 /* Used to be a branch to somewhere which was unknown. */
2141 if (fragP->fr_symbol
2142 && S_GET_SEGMENT (fragP->fr_symbol) == segment_type)
2143 /* Got a symbol and it's defined in this segment, become byte
2144 sized - maybe it will fix up */
2145 fragP->fr_subtype = C (COND_JUMP, DISP12);
2146 else if (fragP->fr_symbol)
2147 /* Its got a segment, but its not ours, so it will always be long. */
2148 fragP->fr_subtype = C (COND_JUMP, UNDEF_WORD_DISP);
2149 else
2150 /* We know the abs value. */
2151 fragP->fr_subtype = C (COND_JUMP, DISP12);
2152 break;
2154 case C (UNCD_JUMP, DISP12):
2155 case C (UNCD_JUMP, DISP32):
2156 case C (UNCD_JUMP, UNDEF_WORD_DISP):
2157 case C (COND_JUMP, DISP12):
2158 case C (COND_JUMP, DISP32):
2159 case C (COND_JUMP, UNDEF_WORD_DISP):
2160 /* When relaxing a section for the second time, we don't need to
2161 do anything besides return the current size. */
2162 break;
2165 return md_relax_table[fragP->fr_subtype].rlx_length;
2168 /* Put number into target byte order. */
2170 void
2171 md_number_to_chars (char * ptr, valueT use, int nbytes)
2173 if (target_big_endian)
2174 number_to_chars_bigendian (ptr, use, nbytes);
2175 else
2176 number_to_chars_littleendian (ptr, use, nbytes);
2179 /* Round up a section size to the appropriate boundary. */
2181 valueT
2182 md_section_align (segT segment ATTRIBUTE_UNUSED,
2183 valueT size)
2185 /* Byte alignment is fine. */
2186 return size;
2189 /* The location from which a PC relative jump should be calculated,
2190 given a PC relative reloc. */
2192 long
2193 md_pcrel_from_section (fixS * fixp, segT sec ATTRIBUTE_UNUSED)
2195 #ifdef OBJ_ELF
2196 /* If the symbol is undefined or defined in another section
2197 we leave the add number alone for the linker to fix it later.
2198 Only account for the PC pre-bump (which is 2 bytes on the MCore). */
2199 if (fixp->fx_addsy != (symbolS *) NULL
2200 && (! S_IS_DEFINED (fixp->fx_addsy)
2201 || (S_GET_SEGMENT (fixp->fx_addsy) != sec)))
2204 assert (fixp->fx_size == 2); /* must be an insn */
2205 return fixp->fx_size;
2207 #endif
2209 /* The case where we are going to resolve things... */
2210 return fixp->fx_size + fixp->fx_where + fixp->fx_frag->fr_address;
2213 #define F(SZ,PCREL) (((SZ) << 1) + (PCREL))
2214 #define MAP(SZ,PCREL,TYPE) case F (SZ, PCREL): code = (TYPE); break
2216 arelent *
2217 tc_gen_reloc (asection * section ATTRIBUTE_UNUSED, fixS * fixp)
2219 arelent * rel;
2220 bfd_reloc_code_real_type code;
2222 switch (fixp->fx_r_type)
2224 /* These confuse the size/pcrel macro approach. */
2225 case BFD_RELOC_VTABLE_INHERIT:
2226 case BFD_RELOC_VTABLE_ENTRY:
2227 case BFD_RELOC_MCORE_PCREL_IMM4BY2:
2228 case BFD_RELOC_MCORE_PCREL_IMM8BY4:
2229 case BFD_RELOC_MCORE_PCREL_IMM11BY2:
2230 case BFD_RELOC_MCORE_PCREL_JSR_IMM11BY2:
2231 case BFD_RELOC_RVA:
2232 code = fixp->fx_r_type;
2233 break;
2235 default:
2236 switch (F (fixp->fx_size, fixp->fx_pcrel))
2238 MAP (1, 0, BFD_RELOC_8);
2239 MAP (2, 0, BFD_RELOC_16);
2240 MAP (4, 0, BFD_RELOC_32);
2241 MAP (1, 1, BFD_RELOC_8_PCREL);
2242 MAP (2, 1, BFD_RELOC_16_PCREL);
2243 MAP (4, 1, BFD_RELOC_32_PCREL);
2244 default:
2245 code = fixp->fx_r_type;
2246 as_bad (_("Can not do %d byte %srelocation"),
2247 fixp->fx_size,
2248 fixp->fx_pcrel ? _("pc-relative") : "");
2250 break;
2253 rel = xmalloc (sizeof (arelent));
2254 rel->sym_ptr_ptr = xmalloc (sizeof (asymbol *));
2255 *rel->sym_ptr_ptr = symbol_get_bfdsym (fixp->fx_addsy);
2256 rel->address = fixp->fx_frag->fr_address + fixp->fx_where;
2257 /* Always pass the addend along! */
2258 rel->addend = fixp->fx_addnumber;
2260 rel->howto = bfd_reloc_type_lookup (stdoutput, code);
2262 if (rel->howto == NULL)
2264 as_bad_where (fixp->fx_file, fixp->fx_line,
2265 _("Cannot represent relocation type %s"),
2266 bfd_get_reloc_code_name (code));
2268 /* Set howto to a garbage value so that we can keep going. */
2269 rel->howto = bfd_reloc_type_lookup (stdoutput, BFD_RELOC_32);
2270 assert (rel->howto != NULL);
2273 return rel;
2276 #ifdef OBJ_ELF
2277 /* See whether we need to force a relocation into the output file.
2278 This is used to force out switch and PC relative relocations when
2279 relaxing. */
2281 mcore_force_relocation (fixS * fix)
2283 if (fix->fx_r_type == BFD_RELOC_RVA)
2284 return 1;
2286 return generic_force_reloc (fix);
2289 /* Return true if the fix can be handled by GAS, false if it must
2290 be passed through to the linker. */
2292 bfd_boolean
2293 mcore_fix_adjustable (fixS * fixP)
2295 /* We need the symbol name for the VTABLE entries. */
2296 if ( fixP->fx_r_type == BFD_RELOC_VTABLE_INHERIT
2297 || fixP->fx_r_type == BFD_RELOC_VTABLE_ENTRY)
2298 return 0;
2300 return 1;
2302 #endif /* OBJ_ELF */