1 /* tc-mcore.c -- Assemble code for M*Core
2 Copyright 1999, 2000, 2001, 2002, 2003 Free Software Foundation, Inc.
4 This file is part of GAS, the GNU Assembler.
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)
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.
16 You should have received a copy of the GNU General Public License
17 along with GAS; see the file COPYING. If not, write to the Free
18 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
26 #include "../opcodes/mcore-opc.h"
27 #include "safe-ctype.h"
31 #include "elf/mcore.h"
35 #define streq(a,b) (strcmp (a, b) == 0)
38 /* Forward declarations for dumb compilers. */
39 static void mcore_s_literals
PARAMS ((int));
40 static void mcore_pool_count
PARAMS ((void (*) (int), int));
41 static void mcore_cons
PARAMS ((int));
42 static void mcore_float_cons
PARAMS ((int));
43 static void mcore_stringer
PARAMS ((int));
44 static void mcore_fill
PARAMS ((int));
45 static int log2
PARAMS ((unsigned int));
46 static char * parse_reg
PARAMS ((char *, unsigned *));
47 static char * parse_creg
PARAMS ((char *, unsigned *));
48 static char * parse_exp
PARAMS ((char *, expressionS
*));
49 static char * parse_rt
PARAMS ((char *, char **, int, expressionS
*));
50 static char * parse_imm
PARAMS ((char *, unsigned *, unsigned, unsigned));
51 static char * parse_mem
PARAMS ((char *, unsigned *, unsigned *, unsigned));
52 static char * parse_psrmod
PARAMS ((char *, unsigned *));
53 static void make_name
PARAMS ((char *, char *, int));
54 static int enter_literal
PARAMS ((expressionS
*, int));
55 static void dump_literals
PARAMS ((int));
56 static void check_literals
PARAMS ((int, int));
57 static void mcore_s_text
PARAMS ((int));
58 static void mcore_s_data
PARAMS ((int));
59 static void mcore_s_section
PARAMS ((int));
60 static void mcore_s_bss
PARAMS ((int));
62 static void mcore_s_comm
PARAMS ((int));
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. */
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))
72 const char comment_chars
[] = "#/";
73 const char line_separator_chars
[] = ";";
74 const char line_comment_chars
[] = "#/";
76 const int md_reloc_size
= 8;
78 static int do_jsri2bsr
= 0; /* Change here from 1 by Cruess 19 August 97. */
79 static int sifilter_mode
= 0;
81 const char EXP_CHARS
[] = "eE";
83 /* Chars that mean this number is a floating point constant
86 const char FLT_CHARS
[] = "rRsSfFdDxXpP";
88 #define C(what,length) (((what) << 2) + (length))
89 #define GET_WHAT(x) ((x >> 2))
91 /* These are the two types of relaxable instruction */
98 #define UNDEF_WORD_DISP 3
101 #define C32_LEN 10 /* allow for align */
103 #define U32_LEN 8 /* allow for align */
114 /* Initialize the relax table. */
115 const relax_typeS md_relax_table
[] = {
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 */
128 { 0, 0, 0, 0 }, /* UNDEF_DISP */
129 { 2048, -2046, U12_LEN
, C(UNCD_JUMP
, DISP32
) }, /* DISP12 */
130 { 0, 0, U32_LEN
, 0 }, /* DISP32 */
131 { 0, 0, U32_LEN
, 0 } /* UNDEF_WORD_DISP */
135 /* Literal pool data structures. */
138 unsigned short refcnt
;
139 unsigned char ispcrel
;
140 unsigned char unused
;
144 #define MAX_POOL_SIZE (1024/4)
145 static struct literal litpool
[MAX_POOL_SIZE
];
146 static unsigned poolsize
;
147 static unsigned poolnumber
;
148 static unsigned long poolspan
;
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.
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.
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. */
162 #define SPANPANIC (1016) /* 1024 - 1 entry - 2 byte rounding. */
163 #define SPANCLOSE (900)
164 #define SPANEXIT (600)
165 static symbolS
* poolsym
; /* label for current pool. */
166 static char poolname
[8];
167 static struct hash_control
* opcode_hash_control
; /* Opcode mnemonics. */
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
173 Integer arg to pass to the function. */
174 const pseudo_typeS md_pseudo_table
[] =
176 { "export", s_globl
, 0 },
177 { "import", s_ignore
, 0 },
178 { "literals", mcore_s_literals
, 0 },
179 { "page", listing_eject
, 0 },
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 },
191 { "dc.d", mcore_float_cons
, 'd'},
192 { "dc.l", mcore_cons
, 4 },
193 { "dc.s", mcore_float_cons
, 'f'},
194 { "dc.w", mcore_cons
, 2 },
195 { "dc.x", mcore_float_cons
, 'x'},
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 },
207 { "fill", mcore_fill
, 0 },
209 /* Allow for the effect of section changes. */
210 { "text", mcore_s_text
, 0 },
211 { "data", mcore_s_data
, 0 },
212 { "bss", mcore_s_bss
, 1 },
214 { "comm", mcore_s_comm
, 0 },
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 },
225 mcore_s_literals (ignore
)
226 int ignore ATTRIBUTE_UNUSED
;
229 demand_empty_rest_of_line ();
232 /* Perform FUNC (ARG), and track number of bytes added to frag. */
235 mcore_pool_count (func
, arg
)
236 void (*func
) PARAMS ((int));
239 const fragS
*curr_frag
= frag_now
;
240 offsetT added
= -frag_now_fix_octets ();
244 while (curr_frag
!= frag_now
)
246 added
+= curr_frag
->fr_fix
;
247 curr_frag
= curr_frag
->fr_next
;
250 added
+= frag_now_fix_octets ();
258 if (now_seg
== text_section
)
259 mcore_pool_count (cons
, nbytes
);
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
267 contents. Instead we cross our fingers and pray... */
271 mcore_float_cons (float_type
)
274 if (now_seg
== text_section
)
275 mcore_pool_count (float_cons
, float_type
);
277 float_cons (float_type
);
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. */
287 mcore_stringer (append_zero
)
290 if (now_seg
== text_section
)
291 mcore_pool_count (stringer
, append_zero
);
293 stringer (append_zero
);
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);
307 if (now_seg
== text_section
)
308 mcore_pool_count (s_fill
, unused
);
312 check_literals (2, 0);
315 /* Handle the section changing pseudo-ops. These call through to the
316 normal implementations, but they dump the literal pool first. */
318 mcore_s_text (ignore
)
324 obj_elf_text (ignore
);
331 mcore_s_data (ignore
)
337 obj_elf_data (ignore
);
344 mcore_s_section (ignore
)
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 arbitrarily 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
353 char * ilp
= input_line_pointer
;
355 while (*ilp
!= 0 && ISSPACE (*ilp
))
358 if (strncmp (ilp
, ".line", 5) == 0
359 && (ISSPACE (ilp
[5]) || *ilp
== '\n' || *ilp
== '\r'))
365 obj_elf_section (ignore
);
368 obj_coff_section (ignore
);
373 mcore_s_bss (needs_align
)
378 s_lcomm_bytes (needs_align
);
383 mcore_s_comm (needs_align
)
388 obj_elf_common (needs_align
);
392 /* This function is called once, at assembler startup time. This should
393 set up all the tables, etc that the MD part of the assembler needs. */
397 const mcore_opcode_info
* opcode
;
398 char * prev_name
= "";
400 opcode_hash_control
= hash_new ();
402 /* Insert unique names into hash table */
403 for (opcode
= mcore_table
; opcode
->name
; opcode
++)
405 if (! streq (prev_name
, opcode
->name
))
407 prev_name
= opcode
->name
;
408 hash_insert (opcode_hash_control
, opcode
->name
, (char *) opcode
);
413 /* Get a log2(val). */
428 /* Try to parse a reg name. */
434 /* Strip leading whitespace. */
435 while (ISSPACE (* s
))
438 if (TOLOWER (s
[0]) == 'r')
440 if (s
[1] == '1' && s
[2] >= '0' && s
[2] <= '5')
442 *reg
= 10 + s
[2] - '0';
446 if (s
[1] >= '0' && s
[1] <= '9')
452 else if ( TOLOWER (s
[0]) == 's'
453 && TOLOWER (s
[1]) == 'p'
460 as_bad (_("register expected, but saw '%.6s'"), s
);
494 /* Strip leading whitespace. */
495 while (ISSPACE (* s
))
498 if ((TOLOWER (s
[0]) == 'c' && TOLOWER (s
[1]) == 'r'))
500 if (s
[2] == '3' && s
[3] >= '0' && s
[3] <= '1')
502 *reg
= 30 + s
[3] - '0';
506 if (s
[2] == '2' && s
[3] >= '0' && s
[3] <= '9')
508 *reg
= 20 + s
[3] - '0';
512 if (s
[2] == '1' && s
[3] >= '0' && s
[3] <= '9')
514 *reg
= 10 + s
[3] - '0';
518 if (s
[2] >= '0' && s
[2] <= '9')
525 /* Look at alternate creg names before giving error. */
526 for (i
= 0; cregs
[i
].name
[0] != '\0'; i
++)
532 length
= strlen (cregs
[i
].name
);
534 for (j
= 0; j
< length
; j
++)
535 buf
[j
] = TOLOWER (s
[j
]);
537 if (strncmp (cregs
[i
].name
, buf
, length
) == 0)
539 *reg
= cregs
[i
].crnum
;
544 as_bad (_("control register expected, but saw '%.6s'"), s
);
550 parse_psrmod (s
, reg
)
556 static struct psrmods
566 { "af", 8 } /* Really 0 and non-combinable. */
569 for (i
= 0; i
< 2; i
++)
570 buf
[i
] = TOLOWER (s
[i
]);
572 for (i
= sizeof (psrmods
) / sizeof (psrmods
[0]); i
--;)
574 if (! strncmp (psrmods
[i
].name
, buf
, 2))
576 * reg
= psrmods
[i
].value
;
582 as_bad (_("bad/missing psr specifier"));
597 /* Skip whitespace. */
598 while (ISSPACE (* s
))
601 save
= input_line_pointer
;
602 input_line_pointer
= s
;
606 if (e
->X_op
== O_absent
)
607 as_bad (_("missing operand"));
609 new = input_line_pointer
;
610 input_line_pointer
= save
;
621 static const char hex
[] = "0123456789ABCDEF";
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];
633 #define POOL_END_LABEL ".LE"
634 #define POOL_START_LABEL ".LS"
637 dump_literals (isforce
)
642 symbolS
* brarsym
= NULL
;
647 /* Must we branch around the literal table? */
653 make_name (brarname
, POOL_END_LABEL
, poolnumber
);
655 brarsym
= symbol_make (brarname
);
657 symbol_table_insert (brarsym
);
659 output
= frag_var (rs_machine_dependent
,
660 md_relax_table
[C (UNCD_JUMP
, DISP32
)].rlx_length
,
661 md_relax_table
[C (UNCD_JUMP
, DISP12
)].rlx_length
,
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
);
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);
672 colon (S_GET_NAME (poolsym
));
674 for (i
= 0, p
= litpool
; i
< poolsize
; i
++, p
++)
675 emit_expr (& p
->e
, 4);
678 colon (S_GET_NAME (brarsym
));
684 check_literals (kind
, offset
)
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
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
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. */
712 if (poolspan
> SPANCLOSE
&& kind
> 0)
714 else if (poolspan
> SPANEXIT
&& kind
> 1)
716 else if (poolspan
>= (SPANPANIC
- poolsize
* 2))
721 enter_literal (e
, ispcrel
)
728 if (poolsize
>= MAX_POOL_SIZE
- 2)
730 /* The literal pool is as full as we can handle. We have
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
741 /* Create new literal pool. */
742 if (++ poolnumber
> 0xFFFF)
743 as_fatal (_("more than 65K literal pools"));
745 make_name (poolname
, POOL_START_LABEL
, poolnumber
);
746 poolsym
= symbol_make (poolname
);
747 symbol_table_insert (poolsym
);
751 /* Search pool for value so we don't have duplicates. */
752 for (p
= litpool
, i
= 0; i
< poolsize
; i
++, p
++)
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
)
765 p
->ispcrel
= ispcrel
;
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. */
777 parse_rt (s
, outputp
, ispcrel
, ep
)
787 /* Indicate nothing there. */
792 s
= parse_exp (s
+ 1, & e
);
797 as_bad (_("missing ']'"));
801 s
= parse_exp (s
, & e
);
803 n
= enter_literal (& e
, ispcrel
);
808 /* Create a reference to pool entry. */
810 e
.X_add_symbol
= poolsym
;
811 e
.X_add_number
= n
<< 2;
814 * outputp
= frag_more (2);
816 fix_new_exp (frag_now
, (*outputp
) - frag_now
->fr_literal
, 2, & e
, 1,
817 BFD_RELOC_MCORE_PCREL_IMM8BY4
);
823 parse_imm (s
, val
, min
, max
)
832 new = parse_exp (s
, & e
);
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"));
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
);
842 * val
= e
.X_add_number
;
848 parse_mem (s
, reg
, off
, siz
)
856 while (ISSPACE (* s
))
861 s
= parse_reg (s
+ 1, reg
);
863 while (ISSPACE (* s
))
868 s
= parse_imm (s
+ 1, off
, 0, 63);
875 as_bad (_("operand must be a multiple of 4"));
882 as_bad (_("operand must be a multiple of 2"));
889 while (ISSPACE (* s
))
896 as_bad (_("base register expected"));
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. */
911 mcore_opcode_info
* opcode
;
921 /* Drop leading whitespace. */
922 while (ISSPACE (* str
))
925 /* Find the op code end. */
926 for (op_start
= op_end
= str
;
927 nlen
< 20 && !is_end_of_line
[(unsigned char) *op_end
] && *op_end
!= ' ';
930 name
[nlen
] = op_start
[nlen
];
938 as_bad (_("can't find opcode "));
942 opcode
= (mcore_opcode_info
*) hash_find (opcode_hash_control
, name
);
945 as_bad (_("unknown opcode \"%s\""), name
);
952 switch (opcode
->opclass
)
955 output
= frag_more (2);
959 op_end
= parse_imm (op_end
+ 1, & reg
, 0, 3);
961 output
= frag_more (2);
965 op_end
= parse_reg (op_end
+ 1, & reg
);
967 output
= frag_more (2);
971 op_end
= parse_reg (op_end
+ 1, & reg
);
973 output
= frag_more (2);
974 /* In a sifilter mode, we emit this insn 2 times,
975 fixes problem of an interrupt during a jmp.. */
978 output
[0] = INST_BYTE0 (inst
);
979 output
[1] = INST_BYTE1 (inst
);
980 output
= frag_more (2);
985 op_end
= parse_reg (op_end
+ 1, & reg
);
988 as_bad (_("invalid register: r15 illegal"));
991 output
= frag_more (2);
995 /* Replace with: bsr .+2 ; addi r15,6; jmp rx ; jmp rx */
996 inst
= MCORE_INST_BSR
; /* with 0 displacement */
997 output
[0] = INST_BYTE0 (inst
);
998 output
[1] = INST_BYTE1 (inst
);
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 */
1004 output
[0] = INST_BYTE0 (inst
);
1005 output
[1] = INST_BYTE1 (inst
);
1007 output
= frag_more (2);
1008 inst
= MCORE_INST_JMP
| reg
;
1009 output
[0] = INST_BYTE0 (inst
);
1010 output
[1] = INST_BYTE1 (inst
);
1012 output
= frag_more (2); /* 2nd emitted in fallthru */
1017 op_end
= parse_reg (op_end
+ 1, & reg
);
1020 /* Skip whitespace. */
1021 while (ISSPACE (* op_end
))
1026 op_end
= parse_creg (op_end
+ 1, & reg
);
1030 output
= frag_more (2);
1036 as_bad (_("M340 specific opcode used when assembling for M210"));
1039 /* drop through... */
1041 op_end
= parse_reg (op_end
+ 1, & reg
);
1044 /* Skip whitespace. */
1045 while (ISSPACE (* op_end
))
1048 if (* op_end
== ',')
1050 op_end
= parse_reg (op_end
+ 1, & reg
);
1054 as_bad (_("second operand missing"));
1056 output
= frag_more (2);
1059 case X1
: /* Handle both syntax-> xtrb- r1,rx OR xtrb- rx */
1060 op_end
= parse_reg (op_end
+ 1, & reg
);
1062 /* Skip whitespace. */
1063 while (ISSPACE (* op_end
))
1066 if (* op_end
== ',') /* xtrb- r1,rx */
1069 as_bad (_("destination register must be r1"));
1071 op_end
= parse_reg (op_end
+ 1, & reg
);
1075 output
= frag_more (2);
1078 case O1R1
: /* div- rx,r1 */
1079 op_end
= parse_reg (op_end
+ 1, & reg
);
1082 /* Skip whitespace. */
1083 while (ISSPACE (* op_end
))
1086 if (* op_end
== ',')
1088 op_end
= parse_reg (op_end
+ 1, & reg
);
1090 as_bad (_("source register must be r1"));
1093 as_bad (_("second operand missing"));
1095 output
= frag_more (2);
1099 op_end
= parse_reg (op_end
+ 1, & reg
);
1102 /* Skip whitespace. */
1103 while (ISSPACE (* op_end
))
1106 if (* op_end
== ',')
1108 op_end
= parse_imm (op_end
+ 1, & reg
, 1, 32);
1109 inst
|= (reg
- 1) << 4;
1112 as_bad (_("second operand missing"));
1114 output
= frag_more (2);
1118 op_end
= parse_reg (op_end
+ 1, & reg
);
1121 /* Skip whitespace. */
1122 while (ISSPACE (* op_end
))
1125 if (* op_end
== ',')
1127 op_end
= parse_imm (op_end
+ 1, & reg
, 0, 31);
1131 as_bad (_("second operand missing"));
1133 output
= frag_more (2);
1136 case OB2
: /* like OB, but arg is 2^n instead of n */
1137 op_end
= parse_reg (op_end
+ 1, & reg
);
1140 /* Skip whitespace. */
1141 while (ISSPACE (* op_end
))
1144 if (* op_end
== ',')
1146 op_end
= parse_imm (op_end
+ 1, & reg
, 1, 1 << 31);
1147 /* Further restrict the immediate to a power of two. */
1148 if ((reg
& (reg
- 1)) == 0)
1153 as_bad (_("immediate is not a power of two"));
1158 as_bad (_("second operand missing"));
1160 output
= frag_more (2);
1163 case OBRa
: /* Specific for bgeni: imm of 0->6 translate to movi. */
1166 op_end
= parse_reg (op_end
+ 1, & reg
);
1169 /* Skip whitespace. */
1170 while (ISSPACE (* op_end
))
1173 if (* op_end
== ',')
1175 op_end
= parse_imm (op_end
+ 1, & reg
, 0, 31);
1176 /* immediate values of 0 -> 6 translate to movi */
1179 inst
= (inst
& 0xF) | MCORE_INST_BGENI_ALT
;
1181 as_warn (_("translating bgeni to movi"));
1187 as_bad (_("second operand missing"));
1189 output
= frag_more (2);
1192 case OBR2
: /* like OBR, but arg is 2^n instead of n */
1193 op_end
= parse_reg (op_end
+ 1, & reg
);
1196 /* Skip whitespace. */
1197 while (ISSPACE (* op_end
))
1200 if (* op_end
== ',')
1202 op_end
= parse_imm (op_end
+ 1, & reg
, 1, 1 << 31);
1204 /* Further restrict the immediate to a power of two. */
1205 if ((reg
& (reg
- 1)) == 0)
1210 as_bad (_("immediate is not a power of two"));
1213 /* Immediate values of 0 -> 6 translate to movi. */
1216 inst
= (inst
& 0xF) | MCORE_INST_BGENI_ALT
;
1218 as_warn (_("translating mgeni to movi"));
1224 as_bad (_("second operand missing"));
1226 output
= frag_more (2);
1229 case OMa
: /* Specific for bmaski: imm 1->7 translate to movi. */
1232 op_end
= parse_reg (op_end
+ 1, & reg
);
1235 /* Skip whitespace. */
1236 while (ISSPACE (* op_end
))
1239 if (* op_end
== ',')
1241 op_end
= parse_imm (op_end
+ 1, & reg
, 1, 32);
1243 /* Immediate values of 1 -> 7 translate to movi. */
1246 inst
= (inst
& 0xF) | MCORE_INST_BMASKI_ALT
;
1247 reg
= (0x1 << reg
) - 1;
1250 as_warn (_("translating bmaski to movi"));
1255 inst
|= (reg
& 0x1F) << 4;
1259 as_bad (_("second operand missing"));
1261 output
= frag_more (2);
1265 op_end
= parse_reg (op_end
+ 1, & reg
);
1268 /* Skip whitespace. */
1269 while (ISSPACE (* op_end
))
1272 if (* op_end
== ',')
1274 op_end
= parse_imm (op_end
+ 1, & reg
, 1, 31);
1278 as_bad (_("second operand missing"));
1280 output
= frag_more (2);
1284 op_end
= parse_reg (op_end
+ 1, & reg
);
1287 /* Skip whitespace. */
1288 while (ISSPACE (* op_end
))
1291 if (* op_end
== ',')
1293 op_end
= parse_imm (op_end
+ 1, & reg
, 0, 0x7F);
1297 as_bad (_("second operand missing"));
1299 output
= frag_more (2);
1303 op_end
= parse_reg (op_end
+ 1, & reg
);
1306 /* Skip whitespace. */
1307 while (ISSPACE (* op_end
))
1310 if (* op_end
== ',')
1314 if ((inst
& 0x6000) == 0)
1316 else if ((inst
& 0x6000) == 0x4000)
1318 else if ((inst
& 0x6000) == 0x2000)
1323 op_end
= parse_mem (op_end
+ 1, & reg
, & off
, size
);
1326 as_bad (_("displacement too large (%d)"), off
);
1328 inst
|= (reg
) | (off
<< 4);
1331 as_bad (_("second operand missing"));
1333 output
= frag_more (2);
1337 op_end
= parse_reg (op_end
+ 1, & reg
);
1339 if (reg
== 0 || reg
== 15)
1340 as_bad (_("Invalid register: r0 and r15 illegal"));
1344 /* Skip whitespace. */
1345 while (ISSPACE (* op_end
))
1348 if (* op_end
== ',')
1350 /* parse_rt calls frag_more() for us. */
1351 input_line_pointer
= parse_rt (op_end
+ 1, & output
, 0, 0);
1352 op_end
= input_line_pointer
;
1356 as_bad (_("second operand missing"));
1357 output
= frag_more (2); /* save its space */
1362 input_line_pointer
= parse_rt (op_end
+ 1, & output
, 1, 0);
1363 /* parse_rt() calls frag_more() for us. */
1364 op_end
= input_line_pointer
;
1368 op_end
= parse_reg (op_end
+ 1, & reg
);
1370 if (reg
== 0 || reg
== 15)
1371 as_bad (_("bad starting register: r0 and r15 invalid"));
1375 /* Skip whitespace. */
1376 while (ISSPACE (* op_end
))
1379 if (* op_end
== '-')
1381 op_end
= parse_reg (op_end
+ 1, & reg
);
1384 as_bad (_("ending register must be r15"));
1386 /* Skip whitespace. */
1387 while (ISSPACE (* op_end
))
1391 if (* op_end
== ',')
1395 /* Skip whitespace. */
1396 while (ISSPACE (* op_end
))
1399 if (* op_end
== '(')
1401 op_end
= parse_reg (op_end
+ 1, & reg
);
1404 as_bad (_("bad base register: must be r0"));
1406 if (* op_end
== ')')
1410 as_bad (_("base register expected"));
1413 as_bad (_("second operand missing"));
1415 output
= frag_more (2);
1419 op_end
= parse_reg (op_end
+ 1, & reg
);
1422 as_fatal (_("first register must be r4"));
1424 /* Skip whitespace. */
1425 while (ISSPACE (* op_end
))
1428 if (* op_end
== '-')
1430 op_end
= parse_reg (op_end
+ 1, & reg
);
1433 as_fatal (_("last register must be r7"));
1435 /* Skip whitespace. */
1436 while (ISSPACE (* op_end
))
1439 if (* op_end
== ',')
1443 /* Skip whitespace. */
1444 while (ISSPACE (* op_end
))
1447 if (* op_end
== '(')
1449 op_end
= parse_reg (op_end
+ 1, & reg
);
1451 if (reg
>= 4 && reg
<= 7)
1452 as_fatal ("base register cannot be r4, r5, r6, or r7");
1456 /* Skip whitespace. */
1457 while (ISSPACE (* op_end
))
1460 if (* op_end
== ')')
1464 as_bad (_("base register expected"));
1467 as_bad (_("second operand missing"));
1470 as_bad (_("reg-reg expected"));
1472 output
= frag_more (2);
1476 input_line_pointer
= parse_exp (op_end
+ 1, & e
);
1477 op_end
= input_line_pointer
;
1479 output
= frag_more (2);
1481 fix_new_exp (frag_now
, output
-frag_now
->fr_literal
,
1482 2, & e
, 1, BFD_RELOC_MCORE_PCREL_IMM11BY2
);
1486 op_end
= parse_reg (op_end
+ 1, & reg
);
1489 /* Skip whitespace. */
1490 while (ISSPACE (* op_end
))
1493 if (* op_end
== ',')
1495 op_end
= parse_exp (op_end
+ 1, & e
);
1496 output
= frag_more (2);
1498 fix_new_exp (frag_now
, output
-frag_now
->fr_literal
,
1499 2, & e
, 1, BFD_RELOC_MCORE_PCREL_IMM4BY2
);
1503 as_bad (_("second operand missing"));
1504 output
= frag_more (2);
1509 input_line_pointer
= parse_exp (op_end
+ 1, & e
);
1510 op_end
= input_line_pointer
;
1512 output
= frag_var (rs_machine_dependent
,
1513 md_relax_table
[C (COND_JUMP
, DISP32
)].rlx_length
,
1514 md_relax_table
[C (COND_JUMP
, DISP12
)].rlx_length
,
1515 C (COND_JUMP
, 0), e
.X_add_symbol
, e
.X_add_number
, 0);
1520 input_line_pointer
= parse_exp (op_end
+ 1, & e
);
1521 op_end
= input_line_pointer
;
1523 output
= frag_var (rs_machine_dependent
,
1524 md_relax_table
[C (UNCD_JUMP
, DISP32
)].rlx_length
,
1525 md_relax_table
[C (UNCD_JUMP
, DISP12
)].rlx_length
,
1526 C (UNCD_JUMP
, 0), e
.X_add_symbol
, e
.X_add_number
, 0);
1531 inst
= MCORE_INST_JSRI
; /* jsri */
1532 input_line_pointer
= parse_rt (op_end
+ 1, & output
, 1, & e
);
1533 /* parse_rt() calls frag_more for us. */
1534 op_end
= input_line_pointer
;
1536 /* Only do this if we know how to do it ... */
1537 if (e
.X_op
!= O_absent
&& do_jsri2bsr
)
1539 /* Look at adding the R_PCREL_JSRIMM11BY2. */
1540 fix_new_exp (frag_now
, output
-frag_now
->fr_literal
,
1541 2, & e
, 1, BFD_RELOC_MCORE_PCREL_JSR_IMM11BY2
);
1545 case RSI
: /* SI, but imm becomes 32-imm */
1546 op_end
= parse_reg (op_end
+ 1, & reg
);
1549 /* Skip whitespace. */
1550 while (ISSPACE (* op_end
))
1553 if (* op_end
== ',')
1555 op_end
= parse_imm (op_end
+ 1, & reg
, 1, 31);
1561 as_bad (_("second operand missing"));
1563 output
= frag_more (2);
1566 case DO21
: /* O2, dup rd, lit must be 1 */
1567 op_end
= parse_reg (op_end
+ 1, & reg
);
1571 /* Skip whitespace. */
1572 while (ISSPACE (* op_end
))
1575 if (* op_end
== ',')
1577 op_end
= parse_imm (op_end
+ 1, & reg
, 1, 31);
1580 as_bad (_("second operand must be 1"));
1583 as_bad (_("second operand missing"));
1585 output
= frag_more (2);
1589 op_end
= parse_reg (op_end
+ 1, & reg
);
1592 /* Skip whitespace. */
1593 while (ISSPACE (* op_end
))
1596 if (* op_end
== ',')
1598 op_end
= parse_imm (op_end
+ 1, & reg
, 1, 31);
1601 as_bad (_("zero used as immediate value"));
1606 as_bad (_("second operand missing"));
1608 output
= frag_more (2);
1614 as_bad (_("M340 specific opcode used when assembling for M210"));
1618 op_end
= parse_psrmod (op_end
+ 1, & reg
);
1620 /* Look for further selectors. */
1621 while (* op_end
== ',')
1625 op_end
= parse_psrmod (op_end
+ 1, & value
);
1628 as_bad (_("duplicated psr bit specifier"));
1634 as_bad (_("`af' must appear alone"));
1636 inst
|= (reg
& 0x7);
1637 output
= frag_more (2);
1641 as_bad (_("unimplemented opcode \"%s\""), name
);
1644 /* Drop whitespace after all the operands have been parsed. */
1645 while (ISSPACE (* op_end
))
1648 /* Give warning message if the insn has more operands than required. */
1649 if (strcmp (op_end
, opcode
->name
) && strcmp (op_end
, ""))
1650 as_warn (_("ignoring operands: %s "), op_end
);
1652 output
[0] = INST_BYTE0 (inst
);
1653 output
[1] = INST_BYTE1 (inst
);
1655 check_literals (opcode
->transfer
, isize
);
1659 md_undefined_symbol (name
)
1660 char *name ATTRIBUTE_UNUSED
;
1669 subseg_set (text_section
, 0);
1672 /* Various routines to kill one day. */
1673 /* Equal to MAX_PRECISION in atof-ieee.c */
1674 #define MAX_LITTLENUMS 6
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.*/
1680 md_atof (type
, litP
, sizeP
)
1686 LITTLENUM_TYPE words
[MAX_LITTLENUMS
];
1718 return _("Bad call to MD_NTOF()");
1721 t
= atof_ieee (input_line_pointer
, type
, words
);
1724 input_line_pointer
= t
;
1726 *sizeP
= prec
* sizeof (LITTLENUM_TYPE
);
1728 if (! target_big_endian
)
1730 for (i
= prec
- 1; i
>= 0; i
--)
1732 md_number_to_chars (litP
, (valueT
) words
[i
],
1733 sizeof (LITTLENUM_TYPE
));
1734 litP
+= sizeof (LITTLENUM_TYPE
);
1738 for (i
= 0; i
< prec
; i
++)
1740 md_number_to_chars (litP
, (valueT
) words
[i
],
1741 sizeof (LITTLENUM_TYPE
));
1742 litP
+= sizeof (LITTLENUM_TYPE
);
1748 const char * md_shortopts
= "";
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)
1754 #define OPTION_CPU (OPTION_MD_BASE + 4)
1755 #define OPTION_EB (OPTION_MD_BASE + 5)
1756 #define OPTION_EL (OPTION_MD_BASE + 6)
1758 struct option md_longopts
[] =
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
},
1764 { "cpu", required_argument
, NULL
, OPTION_CPU
},
1765 { "EB", no_argument
, NULL
, OPTION_EB
},
1766 { "EL", no_argument
, NULL
, OPTION_EL
},
1767 { NULL
, no_argument
, NULL
, 0}
1770 size_t md_longopts_size
= sizeof (md_longopts
);
1773 md_parse_option (c
, arg
)
1780 if (streq (arg
, "210"))
1783 target_big_endian
= 1;
1785 else if (streq (arg
, "340"))
1788 as_warn (_("unrecognised cpu type '%s'"), arg
);
1791 case OPTION_EB
: target_big_endian
= 1; break;
1792 case OPTION_EL
: target_big_endian
= 0; cpu
= M340
; break;
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;
1804 md_show_usage (stream
)
1807 fprintf (stream
, _("\
1808 MCORE specific options:\n\
1809 -{no-}jsri2bsr {dis}able jsri to bsr transformation (def: dis)\n\
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"));
1816 int md_short_jump_size
;
1819 md_create_short_jump (ptr
, from_Nddr
, to_Nddr
, frag
, to_symbol
)
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
;
1826 as_fatal (_("failed sanity check: short_jump"));
1830 md_create_long_jump (ptr
, from_Nddr
, to_Nddr
, frag
, to_symbol
)
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
;
1837 as_fatal (_("failed sanity check: long_jump"));
1840 /* Called after relaxing, change the frags so they know how big they are. */
1842 md_convert_frag (abfd
, sec
, fragP
)
1843 bfd
* abfd ATTRIBUTE_UNUSED
;
1844 segT sec ATTRIBUTE_UNUSED
;
1845 register fragS
* fragP
;
1847 unsigned char * buffer
;
1848 int targ_addr
= S_GET_VALUE (fragP
->fr_symbol
) + fragP
->fr_offset
;
1850 buffer
= (unsigned char *) (fragP
->fr_fix
+ fragP
->fr_literal
);
1852 switch (fragP
->fr_subtype
)
1854 case C (COND_JUMP
, DISP12
):
1855 case C (UNCD_JUMP
, DISP12
):
1857 /* Get the address of the end of the instruction. */
1858 int next_inst
= fragP
->fr_fix
+ fragP
->fr_address
+ 2;
1860 int disp
= targ_addr
- next_inst
;
1863 as_bad (_("odd displacement at %x"), next_inst
- 2);
1867 if (! target_big_endian
)
1869 t0
= buffer
[1] & 0xF8;
1871 md_number_to_chars (buffer
, disp
, 2);
1873 buffer
[1] = (buffer
[1] & 0x07) | t0
;
1877 t0
= buffer
[0] & 0xF8;
1879 md_number_to_chars (buffer
, disp
, 2);
1881 buffer
[0] = (buffer
[0] & 0x07) | t0
;
1888 case C (COND_JUMP
, DISP32
):
1889 case C (COND_JUMP
, UNDEF_WORD_DISP
):
1891 /* A conditional branch wont fit into 12 bits so:
1898 * if the b!cond is 4 byte aligned, the literal which would
1899 * go at x+4 will also be aligned.
1901 int first_inst
= fragP
->fr_fix
+ fragP
->fr_address
;
1902 int needpad
= (first_inst
& 3);
1904 if (! target_big_endian
)
1907 buffer
[0] ^= 0x08; /* Toggle T/F bit */
1909 buffer
[2] = INST_BYTE0 (MCORE_INST_JMPI
); /* Build jmpi */
1910 buffer
[3] = INST_BYTE1 (MCORE_INST_JMPI
);
1914 if (! target_big_endian
)
1916 buffer
[0] = 4; /* branch over jmpi, pad, and ptr */
1917 buffer
[2] = 1; /* jmpi offset of 1 gets the pointer */
1921 buffer
[1] = 4; /* branch over jmpi, pad, and ptr */
1922 buffer
[3] = 1; /* jmpi offset of 1 gets the pointer */
1925 buffer
[4] = 0; /* alignment/pad */
1927 buffer
[6] = 0; /* space for 32 bit address */
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
);
1936 fragP
->fr_fix
+= C32_LEN
;
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
1943 for this fragment. */
1944 if (! target_big_endian
)
1946 buffer
[0] = 3; /* branch over jmpi, and ptr */
1947 buffer
[2] = 0; /* jmpi offset of 0 gets the pointer */
1951 buffer
[1] = 3; /* branch over jmpi, and ptr */
1952 buffer
[3] = 0; /* jmpi offset of 0 gets the pointer */
1955 buffer
[4] = 0; /* space for 32 bit address */
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
;
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
1967 the branch displacement so that it goes beyond the
1968 full length of the fragment, not just what we actually
1970 if (! target_big_endian
)
1971 buffer
[0] = 4; /* jmpi, ptr, and the 'tail pad' */
1973 buffer
[1] = 4; /* jmpi, ptr, and the 'tail pad' */
1978 case C (UNCD_JUMP
, DISP32
):
1979 case C (UNCD_JUMP
, UNDEF_WORD_DISP
):
1981 /* An unconditional branch will not fit in 12 bits, make code which
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);
1991 buffer
[0] = INST_BYTE0 (MCORE_INST_JMPI
); /* Build jmpi */
1992 buffer
[1] = INST_BYTE1 (MCORE_INST_JMPI
);
1996 if (! target_big_endian
)
1997 buffer
[0] = 1; /* jmpi offset of 1 since padded */
1999 buffer
[1] = 1; /* jmpi offset of 1 since padded */
2000 buffer
[2] = 0; /* alignment */
2002 buffer
[4] = 0; /* space for 32 bit address */
2007 /* Make reloc for the long disp. */
2008 fix_new (fragP
, fragP
->fr_fix
+ 4, 4,
2009 fragP
->fr_symbol
, fragP
->fr_offset
, 0, BFD_RELOC_32
);
2011 fragP
->fr_fix
+= U32_LEN
;
2015 if (! target_big_endian
)
2016 buffer
[0] = 0; /* jmpi offset of 0 if no pad */
2018 buffer
[1] = 0; /* jmpi offset of 0 if no pad */
2019 buffer
[2] = 0; /* space for 32 bit address */
2024 /* Make reloc for the long disp. */
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
;
2037 /* Applies the desired value to the specified location.
2038 Also sets up addends for 'rela' type relocations. */
2041 md_apply_fix3 (fixP
, valP
, segment
)
2044 segT segment ATTRIBUTE_UNUSED
;
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. */
2050 offsetT val
= *valP
;
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
;
2056 if (fixP
->fx_addsy
!= NULL
)
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. */
2068 switch (fixP
->fx_r_type
)
2070 case BFD_RELOC_MCORE_PCREL_IMM11BY2
: /* second byte of 2 byte opcode */
2072 as_bad_where (file
, fixP
->fx_line
,
2073 _("odd distance branch (0x%lx bytes)"), (long) val
);
2075 if (((val
& ~0x3ff) != 0) && ((val
| 0x3ff) != -1))
2076 as_bad_where (file
, fixP
->fx_line
,
2077 _("pcrel for branch to %s too far (0x%lx)"),
2078 symname
, (long) val
);
2079 if (target_big_endian
)
2081 buf
[0] |= ((val
>> 8) & 0x7);
2082 buf
[1] |= (val
& 0xff);
2086 buf
[1] |= ((val
>> 8) & 0x7);
2087 buf
[0] |= (val
& 0xff);
2091 case BFD_RELOC_MCORE_PCREL_IMM8BY4
: /* lower 8 bits of 2 byte opcode */
2095 as_bad_where (file
, fixP
->fx_line
,
2096 _("pcrel for lrw/jmpi/jsri to %s too far (0x%lx)"),
2097 symname
, (long) val
);
2098 else if (! target_big_endian
)
2099 buf
[0] |= (val
& 0xff);
2101 buf
[1] |= (val
& 0xff);
2104 case BFD_RELOC_MCORE_PCREL_IMM4BY2
: /* loopt instruction */
2105 if ((val
< -32) || (val
> -2))
2106 as_bad_where (file
, fixP
->fx_line
,
2107 _("pcrel for loopt too far (0x%lx)"), (long) val
);
2109 if (! target_big_endian
)
2110 buf
[0] |= (val
& 0xf);
2112 buf
[1] |= (val
& 0xf);
2115 case BFD_RELOC_MCORE_PCREL_JSR_IMM11BY2
:
2116 /* Conditional linker map jsri to bsr. */
2117 /* If its a local target and close enough, fix it.
2118 NB: >= -2k for backwards bsr; < 2k for forwards... */
2119 if (fixP
->fx_addsy
== 0 && val
>= -2048 && val
< 2048)
2121 long nval
= (val
/ 2) & 0x7ff;
2122 nval
|= MCORE_INST_BSR
;
2124 /* REPLACE the instruction, don't just modify it. */
2125 buf
[0] = INST_BYTE0 (nval
);
2126 buf
[1] = INST_BYTE1 (nval
);
2132 case BFD_RELOC_MCORE_PCREL_32
:
2133 case BFD_RELOC_VTABLE_INHERIT
:
2134 case BFD_RELOC_VTABLE_ENTRY
:
2139 if (fixP
->fx_addsy
!= NULL
)
2141 /* If the fix is an absolute reloc based on a symbol's
2142 address, then it cannot be resolved until the final link. */
2149 if (fixP
->fx_size
== 4)
2151 else if (fixP
->fx_size
== 2 && val
>= -32768 && val
<= 32767)
2153 else if (fixP
->fx_size
== 1 && val
>= -256 && val
<= 255)
2157 md_number_to_chars (buf
, val
, fixP
->fx_size
);
2164 md_operand (expressionP
)
2165 expressionS
* expressionP
;
2167 /* Ignore leading hash symbol, if poresent. */
2168 if (* input_line_pointer
== '#')
2170 input_line_pointer
++;
2171 expression (expressionP
);
2175 int md_long_jump_size
;
2177 /* Called just before address relaxation, return the length
2178 by which a fragment must grow to reach it's destination. */
2180 md_estimate_size_before_relax (fragP
, segment_type
)
2181 register fragS
* fragP
;
2182 register segT segment_type
;
2184 switch (fragP
->fr_subtype
)
2189 case C (UNCD_JUMP
, UNDEF_DISP
):
2190 /* Used to be a branch to somewhere which was unknown. */
2191 if (!fragP
->fr_symbol
)
2193 fragP
->fr_subtype
= C (UNCD_JUMP
, DISP12
);
2195 else if (S_GET_SEGMENT (fragP
->fr_symbol
) == segment_type
)
2197 fragP
->fr_subtype
= C (UNCD_JUMP
, DISP12
);
2201 fragP
->fr_subtype
= C (UNCD_JUMP
, UNDEF_WORD_DISP
);
2205 case C (COND_JUMP
, UNDEF_DISP
):
2206 /* Used to be a branch to somewhere which was unknown. */
2207 if (fragP
->fr_symbol
2208 && S_GET_SEGMENT (fragP
->fr_symbol
) == segment_type
)
2210 /* Got a symbol and it's defined in this segment, become byte
2211 sized - maybe it will fix up */
2212 fragP
->fr_subtype
= C (COND_JUMP
, DISP12
);
2214 else if (fragP
->fr_symbol
)
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
);
2221 /* We know the abs value. */
2222 fragP
->fr_subtype
= C (COND_JUMP
, DISP12
);
2226 case C (UNCD_JUMP
, DISP12
):
2227 case C (UNCD_JUMP
, DISP32
):
2228 case C (UNCD_JUMP
, UNDEF_WORD_DISP
):
2229 case C (COND_JUMP
, DISP12
):
2230 case C (COND_JUMP
, DISP32
):
2231 case C (COND_JUMP
, UNDEF_WORD_DISP
):
2232 /* When relaxing a section for the second time, we don't need to
2233 do anything besides return the current size. */
2237 return md_relax_table
[fragP
->fr_subtype
].rlx_length
;
2240 /* Put number into target byte order. */
2242 md_number_to_chars (ptr
, use
, nbytes
)
2247 if (! target_big_endian
)
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;
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;
2267 /* Round up a section size to the appropriate boundary. */
2269 md_section_align (segment
, size
)
2270 segT segment ATTRIBUTE_UNUSED
;
2273 return size
; /* Byte alignment is fine */
2276 /* The location from which a PC relative jump should be calculated,
2277 given a PC relative reloc. */
2279 md_pcrel_from_section (fixp
, sec
)
2281 segT sec ATTRIBUTE_UNUSED
;
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.
2286 Only account for the PC pre-bump (which is 2 bytes on the MCore). */
2287 if (fixp
->fx_addsy
!= (symbolS
*) NULL
2288 && (! S_IS_DEFINED (fixp
->fx_addsy
)
2289 || (S_GET_SEGMENT (fixp
->fx_addsy
) != sec
)))
2292 assert (fixp
->fx_size
== 2); /* must be an insn */
2293 return fixp
->fx_size
;
2297 /* The case where we are going to resolve things... */
2298 return fixp
->fx_size
+ fixp
->fx_where
+ fixp
->fx_frag
->fr_address
;
2301 #define F(SZ,PCREL) (((SZ) << 1) + (PCREL))
2302 #define MAP(SZ,PCREL,TYPE) case F (SZ, PCREL): code = (TYPE); break
2305 tc_gen_reloc (section
, fixp
)
2306 asection
* section ATTRIBUTE_UNUSED
;
2310 bfd_reloc_code_real_type code
;
2312 switch (fixp
->fx_r_type
)
2314 /* These confuse the size/pcrel macro approach. */
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
:
2322 code
= fixp
->fx_r_type
;
2326 switch (F (fixp
->fx_size
, fixp
->fx_pcrel
))
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
);
2335 code
= fixp
->fx_r_type
;
2336 as_bad (_("Can not do %d byte %srelocation"),
2338 fixp
->fx_pcrel
? _("pc-relative") : "");
2343 rel
= (arelent
*) xmalloc (sizeof (arelent
));
2344 rel
->sym_ptr_ptr
= (asymbol
**) xmalloc (sizeof (asymbol
*));
2345 *rel
->sym_ptr_ptr
= symbol_get_bfdsym (fixp
->fx_addsy
);
2346 rel
->address
= fixp
->fx_frag
->fr_address
+ fixp
->fx_where
;
2347 /* Always pass the addend along! */
2348 rel
->addend
= fixp
->fx_addnumber
;
2350 rel
->howto
= bfd_reloc_type_lookup (stdoutput
, code
);
2352 if (rel
->howto
== NULL
)
2354 as_bad_where (fixp
->fx_file
, fixp
->fx_line
,
2355 _("Cannot represent relocation type %s"),
2356 bfd_get_reloc_code_name (code
));
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
);
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
2371 mcore_force_relocation (fix
)
2374 if (fix
->fx_r_type
== BFD_RELOC_RVA
)
2377 return generic_force_reloc (fix
);
2380 /* Return true if the fix can be handled by GAS, false if it must
2381 be passed through to the linker. */
2383 mcore_fix_adjustable (fixP
)
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
)
2393 #endif /* OBJ_ELF */