2752d031cb38b1ab9f7cb722d55cf20c1f1f755b
[deliverable/binutils-gdb.git] / gas / config / tc-sh.c
1 /* tc-sh.c -- Assemble code for the Hitachi Super-H
2 Copyright (C) 1993, 94, 95, 96, 97, 98, 1999 Free Software Foundation.
3
4 This file is part of GAS, the GNU Assembler.
5
6 GAS is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 2, or (at your option)
9 any later version.
10
11 GAS is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
15
16 You should have received a copy of the GNU General Public License
17 along with GAS; see the file COPYING. If not, write to
18 the Free Software Foundation, 59 Temple Place - Suite 330,
19 Boston, MA 02111-1307, USA. */
20
21 /*
22 Written By Steve Chamberlain
23 sac@cygnus.com
24 */
25
26 #include <stdio.h>
27 #include "as.h"
28 #include "bfd.h"
29 #include "subsegs.h"
30 #define DEFINE_TABLE
31 #include "opcodes/sh-opc.h"
32 #include <ctype.h>
33 const char comment_chars[] = "!";
34 const char line_separator_chars[] = ";";
35 const char line_comment_chars[] = "!#";
36
37 static void s_uses PARAMS ((int));
38
39 static void sh_count_relocs PARAMS ((bfd *, segT, PTR));
40 static void sh_frob_section PARAMS ((bfd *, segT, PTR));
41
42 /* This table describes all the machine specific pseudo-ops the assembler
43 has to support. The fields are:
44 pseudo-op name without dot
45 function to call to execute this pseudo-op
46 Integer arg to pass to the function
47 */
48
49 void cons ();
50 void s_align_bytes ();
51 static void s_uacons PARAMS ((int));
52
53 int shl = 0;
54
55 static void
56 little (ignore)
57 int ignore;
58 {
59 shl = 1;
60 target_big_endian = 0;
61 }
62
63 const pseudo_typeS md_pseudo_table[] =
64 {
65 {"int", cons, 4},
66 {"word", cons, 2},
67 {"form", listing_psize, 0},
68 {"little", little, 0},
69 {"heading", listing_title, 0},
70 {"import", s_ignore, 0},
71 {"page", listing_eject, 0},
72 {"program", s_ignore, 0},
73 {"uses", s_uses, 0},
74 {"uaword", s_uacons, 2},
75 {"ualong", s_uacons, 4},
76 {0, 0, 0}
77 };
78
79 /*int md_reloc_size; */
80
81 int sh_relax; /* set if -relax seen */
82
83 /* Whether -small was seen. */
84
85 int sh_small;
86
87 const char EXP_CHARS[] = "eE";
88
89 /* Chars that mean this number is a floating point constant */
90 /* As in 0f12.456 */
91 /* or 0d1.2345e12 */
92 const char FLT_CHARS[] = "rRsSfFdDxXpP";
93
94 #define C(a,b) ENCODE_RELAX(a,b)
95
96 #define JREG 14 /* Register used as a temp when relaxing */
97 #define ENCODE_RELAX(what,length) (((what) << 4) + (length))
98 #define GET_WHAT(x) ((x>>4))
99
100 /* These are the three types of relaxable instrction */
101 #define COND_JUMP 1
102 #define COND_JUMP_DELAY 2
103 #define UNCOND_JUMP 3
104 #define END 4
105
106 #define UNDEF_DISP 0
107 #define COND8 1
108 #define COND12 2
109 #define COND32 3
110 #define UNCOND12 1
111 #define UNCOND32 2
112 #define UNDEF_WORD_DISP 4
113
114 #define UNCOND12 1
115 #define UNCOND32 2
116
117 /* Branch displacements are from the address of the branch plus
118 four, thus all minimum and maximum values have 4 added to them. */
119 #define COND8_F 258
120 #define COND8_M -252
121 #define COND8_LENGTH 2
122
123 /* There is one extra instruction before the branch, so we must add
124 two more bytes to account for it. */
125 #define COND12_F 4100
126 #define COND12_M -4090
127 #define COND12_LENGTH 6
128
129 #define COND12_DELAY_LENGTH 4
130
131 /* ??? The minimum and maximum values are wrong, but this does not matter
132 since this relocation type is not supported yet. */
133 #define COND32_F (1<<30)
134 #define COND32_M -(1<<30)
135 #define COND32_LENGTH 14
136
137 #define UNCOND12_F 4098
138 #define UNCOND12_M -4092
139 #define UNCOND12_LENGTH 2
140
141 /* ??? The minimum and maximum values are wrong, but this does not matter
142 since this relocation type is not supported yet. */
143 #define UNCOND32_F (1<<30)
144 #define UNCOND32_M -(1<<30)
145 #define UNCOND32_LENGTH 14
146
147 const relax_typeS md_relax_table[C (END, 0)] = {
148 { 0 }, { 0 }, { 0 }, { 0 }, { 0 }, { 0 }, { 0 }, { 0 },
149 { 0 }, { 0 }, { 0 }, { 0 }, { 0 }, { 0 }, { 0 }, { 0 },
150
151 { 0 },
152 /* C (COND_JUMP, COND8) */
153 { COND8_F, COND8_M, COND8_LENGTH, C (COND_JUMP, COND12) },
154 /* C (COND_JUMP, COND12) */
155 { COND12_F, COND12_M, COND12_LENGTH, C (COND_JUMP, COND32), },
156 /* C (COND_JUMP, COND32) */
157 { COND32_F, COND32_M, COND32_LENGTH, 0, },
158 { 0 }, { 0 }, { 0 }, { 0 },
159 { 0 }, { 0 }, { 0 }, { 0 }, { 0 }, { 0 }, { 0 }, { 0 },
160
161 { 0 },
162 /* C (COND_JUMP_DELAY, COND8) */
163 { COND8_F, COND8_M, COND8_LENGTH, C (COND_JUMP_DELAY, COND12) },
164 /* C (COND_JUMP_DELAY, COND12) */
165 { COND12_F, COND12_M, COND12_DELAY_LENGTH, C (COND_JUMP_DELAY, COND32), },
166 /* C (COND_JUMP_DELAY, COND32) */
167 { COND32_F, COND32_M, COND32_LENGTH, 0, },
168 { 0 }, { 0 }, { 0 }, { 0 },
169 { 0 }, { 0 }, { 0 }, { 0 }, { 0 }, { 0 }, { 0 }, { 0 },
170
171 { 0 },
172 /* C (UNCOND_JUMP, UNCOND12) */
173 { UNCOND12_F, UNCOND12_M, UNCOND12_LENGTH, C (UNCOND_JUMP, UNCOND32), },
174 /* C (UNCOND_JUMP, UNCOND32) */
175 { UNCOND32_F, UNCOND32_M, UNCOND32_LENGTH, 0, },
176 { 0 }, { 0 }, { 0 }, { 0 }, { 0 },
177 { 0 }, { 0 }, { 0 }, { 0 }, { 0 }, { 0 }, { 0 }, { 0 },
178 };
179
180 static struct hash_control *opcode_hash_control; /* Opcode mnemonics */
181
182 /*
183 This function is called once, at assembler startup time. This should
184 set up all the tables, etc that the MD part of the assembler needs
185 */
186
187 void
188 md_begin ()
189 {
190 sh_opcode_info *opcode;
191 char *prev_name = "";
192
193 if (! shl)
194 target_big_endian = 1;
195
196 opcode_hash_control = hash_new ();
197
198 /* Insert unique names into hash table */
199 for (opcode = sh_table; opcode->name; opcode++)
200 {
201 if (strcmp (prev_name, opcode->name))
202 {
203 prev_name = opcode->name;
204 hash_insert (opcode_hash_control, opcode->name, (char *) opcode);
205 }
206 else
207 {
208 /* Make all the opcodes with the same name point to the same
209 string */
210 opcode->name = prev_name;
211 }
212 }
213 }
214
215 static int reg_m;
216 static int reg_n;
217 static int reg_b;
218
219 static expressionS immediate; /* absolute expression */
220
221 typedef struct
222 {
223 sh_arg_type type;
224 int reg;
225 }
226
227 sh_operand_info;
228
229 /* try and parse a reg name, returns number of chars consumed */
230 static int
231 parse_reg (src, mode, reg)
232 char *src;
233 int *mode;
234 int *reg;
235 {
236 /* We use !isalnum for the next character after the register name, to
237 make sure that we won't accidentally recognize a symbol name such as
238 'sram' as being a reference to the register 'sr'. */
239
240 if (src[0] == 'r')
241 {
242 if (src[1] >= '0' && src[1] <= '7' && strncmp(&src[2], "_bank", 5) == 0
243 && ! isalnum ((unsigned char) src[7]))
244 {
245 *mode = A_REG_B;
246 *reg = (src[1] - '0');
247 return 7;
248 }
249 }
250
251 if (src[0] == 'r')
252 {
253 if (src[1] == '1')
254 {
255 if (src[2] >= '0' && src[2] <= '5'
256 && ! isalnum ((unsigned char) src[3]))
257 {
258 *mode = A_REG_N;
259 *reg = 10 + src[2] - '0';
260 return 3;
261 }
262 }
263 if (src[1] >= '0' && src[1] <= '9'
264 && ! isalnum ((unsigned char) src[2]))
265 {
266 *mode = A_REG_N;
267 *reg = (src[1] - '0');
268 return 2;
269 }
270 }
271
272 if (src[0] == 's'
273 && src[1] == 's'
274 && src[2] == 'r' && ! isalnum ((unsigned char) src[3]))
275 {
276 *mode = A_SSR;
277 return 3;
278 }
279
280 if (src[0] == 's' && src[1] == 'p' && src[2] == 'c'
281 && ! isalnum ((unsigned char) src[3]))
282 {
283 *mode = A_SPC;
284 return 3;
285 }
286
287 if (src[0] == 's' && src[1] == 'g' && src[2] == 'r'
288 && ! isalnum ((unsigned char) src[3]))
289 {
290 *mode = A_SGR;
291 return 3;
292 }
293
294 if (src[0] == 'd' && src[1] == 'b' && src[2] == 'r'
295 && ! isalnum ((unsigned char) src[3]))
296 {
297 *mode = A_DBR;
298 return 3;
299 }
300
301 if (src[0] == 's' && src[1] == 'r' && ! isalnum ((unsigned char) src[2]))
302 {
303 *mode = A_SR;
304 return 2;
305 }
306
307 if (src[0] == 's' && src[1] == 'p' && ! isalnum ((unsigned char) src[2]))
308 {
309 *mode = A_REG_N;
310 *reg = 15;
311 return 2;
312 }
313
314 if (src[0] == 'p' && src[1] == 'r' && ! isalnum ((unsigned char) src[2]))
315 {
316 *mode = A_PR;
317 return 2;
318 }
319 if (src[0] == 'p' && src[1] == 'c' && ! isalnum ((unsigned char) src[2]))
320 {
321 *mode = A_DISP_PC;
322 return 2;
323 }
324 if (src[0] == 'g' && src[1] == 'b' && src[2] == 'r'
325 && ! isalnum ((unsigned char) src[3]))
326 {
327 *mode = A_GBR;
328 return 3;
329 }
330 if (src[0] == 'v' && src[1] == 'b' && src[2] == 'r'
331 && ! isalnum ((unsigned char) src[3]))
332 {
333 *mode = A_VBR;
334 return 3;
335 }
336
337 if (src[0] == 'm' && src[1] == 'a' && src[2] == 'c'
338 && ! isalnum ((unsigned char) src[4]))
339 {
340 if (src[3] == 'l')
341 {
342 *mode = A_MACL;
343 return 4;
344 }
345 if (src[3] == 'h')
346 {
347 *mode = A_MACH;
348 return 4;
349 }
350 }
351 if (src[0] == 'f' && src[1] == 'r')
352 {
353 if (src[2] == '1')
354 {
355 if (src[3] >= '0' && src[3] <= '5'
356 && ! isalnum ((unsigned char) src[4]))
357 {
358 *mode = F_REG_N;
359 *reg = 10 + src[3] - '0';
360 return 4;
361 }
362 }
363 if (src[2] >= '0' && src[2] <= '9'
364 && ! isalnum ((unsigned char) src[3]))
365 {
366 *mode = F_REG_N;
367 *reg = (src[2] - '0');
368 return 3;
369 }
370 }
371 if (src[0] == 'd' && src[1] == 'r')
372 {
373 if (src[2] == '1')
374 {
375 if (src[3] >= '0' && src[3] <= '4' && ! ((src[3] - '0') & 1)
376 && ! isalnum ((unsigned char) src[4]))
377 {
378 *mode = D_REG_N;
379 *reg = 10 + src[3] - '0';
380 return 4;
381 }
382 }
383 if (src[2] >= '0' && src[2] <= '8' && ! ((src[2] - '0') & 1)
384 && ! isalnum ((unsigned char) src[3]))
385 {
386 *mode = D_REG_N;
387 *reg = (src[2] - '0');
388 return 3;
389 }
390 }
391 if (src[0] == 'x' && src[1] == 'd')
392 {
393 if (src[2] == '1')
394 {
395 if (src[3] >= '0' && src[3] <= '4' && ! ((src[3] - '0') & 1)
396 && ! isalnum ((unsigned char) src[4]))
397 {
398 *mode = X_REG_N;
399 *reg = 11 + src[3] - '0';
400 return 4;
401 }
402 }
403 if (src[2] >= '0' && src[2] <= '8' && ! ((src[2] - '0') & 1)
404 && ! isalnum ((unsigned char) src[3]))
405 {
406 *mode = X_REG_N;
407 *reg = (src[2] - '0') + 1;
408 return 3;
409 }
410 }
411 if (src[0] == 'f' && src[1] == 'v')
412 {
413 if (src[2] == '1'&& src[3] == '2' && ! isalnum ((unsigned char) src[4]))
414 {
415 *mode = V_REG_N;
416 *reg = 12;
417 return 4;
418 }
419 if ((src[2] == '0' || src[2] == '4' || src[2] == '8')
420 && ! isalnum ((unsigned char) src[3]))
421 {
422 *mode = V_REG_N;
423 *reg = (src[2] - '0');
424 return 3;
425 }
426 }
427 if (src[0] == 'f' && src[1] == 'p' && src[2] == 'u' && src[3] == 'l'
428 && ! isalnum ((unsigned char) src[4]))
429 {
430 *mode = FPUL_N;
431 return 4;
432 }
433
434 if (src[0] == 'f' && src[1] == 'p' && src[2] == 's' && src[3] == 'c'
435 && src[4] == 'r' && ! isalnum ((unsigned char) src[5]))
436 {
437 *mode = FPSCR_N;
438 return 5;
439 }
440
441 if (src[0] == 'x' && src[1] == 'm' && src[2] == 't' && src[3] == 'r'
442 && src[4] == 'x' && ! isalnum ((unsigned char) src[5]))
443 {
444 *mode = XMTRX_M4;
445 return 5;
446 }
447
448 return 0;
449 }
450
451 static symbolS *dot()
452 {
453 const char *fake;
454
455 /* JF: '.' is pseudo symbol with value of current location
456 in current segment. */
457 fake = FAKE_LABEL_NAME;
458 return symbol_new (fake,
459 now_seg,
460 (valueT) frag_now_fix (),
461 frag_now);
462
463 }
464
465
466 static
467 char *
468 parse_exp (s)
469 char *s;
470 {
471 char *save;
472 char *new;
473
474 save = input_line_pointer;
475 input_line_pointer = s;
476 expression (&immediate);
477 if (immediate.X_op == O_absent)
478 as_bad (_("missing operand"));
479 new = input_line_pointer;
480 input_line_pointer = save;
481 return new;
482 }
483
484
485 /* The many forms of operand:
486
487 Rn Register direct
488 @Rn Register indirect
489 @Rn+ Autoincrement
490 @-Rn Autodecrement
491 @(disp:4,Rn)
492 @(disp:8,GBR)
493 @(disp:8,PC)
494
495 @(R0,Rn)
496 @(R0,GBR)
497
498 disp:8
499 disp:12
500 #imm8
501 pr, gbr, vbr, macl, mach
502
503 */
504
505 static
506 char *
507 parse_at (src, op)
508 char *src;
509 sh_operand_info *op;
510 {
511 int len;
512 int mode;
513 src++;
514 if (src[0] == '-')
515 {
516 /* Must be predecrement */
517 src++;
518
519 len = parse_reg (src, &mode, &(op->reg));
520 if (mode != A_REG_N)
521 as_bad (_("illegal register after @-"));
522
523 op->type = A_DEC_N;
524 src += len;
525 }
526 else if (src[0] == '(')
527 {
528 /* Could be @(disp, rn), @(disp, gbr), @(disp, pc), @(r0, gbr) or
529 @(r0, rn) */
530 src++;
531 len = parse_reg (src, &mode, &(op->reg));
532 if (len && mode == A_REG_N)
533 {
534 src += len;
535 if (op->reg != 0)
536 {
537 as_bad (_("must be @(r0,...)"));
538 }
539 if (src[0] == ',')
540 src++;
541 /* Now can be rn or gbr */
542 len = parse_reg (src, &mode, &(op->reg));
543 if (mode == A_GBR)
544 {
545 op->type = A_R0_GBR;
546 }
547 else if (mode == A_REG_N)
548 {
549 op->type = A_IND_R0_REG_N;
550 }
551 else
552 {
553 as_bad (_("syntax error in @(r0,...)"));
554 }
555 }
556 else
557 {
558 /* Must be an @(disp,.. thing) */
559 src = parse_exp (src);
560 if (src[0] == ',')
561 src++;
562 /* Now can be rn, gbr or pc */
563 len = parse_reg (src, &mode, &op->reg);
564 if (len)
565 {
566 if (mode == A_REG_N)
567 {
568 op->type = A_DISP_REG_N;
569 }
570 else if (mode == A_GBR)
571 {
572 op->type = A_DISP_GBR;
573 }
574 else if (mode == A_DISP_PC)
575 {
576 /* Turn a plain @(4,pc) into @(.+4,pc) */
577 if (immediate.X_op == O_constant) {
578 immediate.X_add_symbol = dot();
579 immediate.X_op = O_symbol;
580 }
581 op->type = A_DISP_PC;
582 }
583 else
584 {
585 as_bad (_("syntax error in @(disp,[Rn, gbr, pc])"));
586 }
587 }
588 else
589 {
590 as_bad (_("syntax error in @(disp,[Rn, gbr, pc])"));
591 }
592 }
593 src += len;
594 if (src[0] != ')')
595 as_bad (_("expecting )"));
596 else
597 src++;
598 }
599 else
600 {
601 src += parse_reg (src, &mode, &(op->reg));
602 if (mode != A_REG_N)
603 {
604 as_bad (_("illegal register after @"));
605 }
606 if (src[0] == '+')
607 {
608 op->type = A_INC_N;
609 src++;
610 }
611 else
612 {
613 op->type = A_IND_N;
614 }
615 }
616 return src;
617 }
618
619 static void
620 get_operand (ptr, op)
621 char **ptr;
622 sh_operand_info *op;
623 {
624 char *src = *ptr;
625 int mode = -1;
626 unsigned int len;
627
628 if (src[0] == '#')
629 {
630 src++;
631 *ptr = parse_exp (src);
632 op->type = A_IMM;
633 return;
634 }
635
636 else if (src[0] == '@')
637 {
638 *ptr = parse_at (src, op);
639 return;
640 }
641 len = parse_reg (src, &mode, &(op->reg));
642 if (len)
643 {
644 *ptr = src + len;
645 op->type = mode;
646 return;
647 }
648 else
649 {
650 /* Not a reg, the only thing left is a displacement */
651 *ptr = parse_exp (src);
652 op->type = A_DISP_PC;
653 return;
654 }
655 }
656
657 static
658 char *
659 get_operands (info, args, operand)
660 sh_opcode_info *info;
661 char *args;
662 sh_operand_info *operand;
663
664 {
665 char *ptr = args;
666 if (info->arg[0])
667 {
668 ptr++;
669
670 get_operand (&ptr, operand + 0);
671 if (info->arg[1])
672 {
673 if (*ptr == ',')
674 {
675 ptr++;
676 }
677 get_operand (&ptr, operand + 1);
678 if (info->arg[2])
679 {
680 if (*ptr == ',')
681 {
682 ptr++;
683 }
684 get_operand (&ptr, operand + 2);
685 }
686 else
687 {
688 operand[2].type = 0;
689 }
690 }
691 else
692 {
693 operand[1].type = 0;
694 operand[2].type = 0;
695 }
696 }
697 else
698 {
699 operand[0].type = 0;
700 operand[1].type = 0;
701 operand[2].type = 0;
702 }
703 return ptr;
704 }
705
706 /* Passed a pointer to a list of opcodes which use different
707 addressing modes, return the opcode which matches the opcodes
708 provided
709 */
710
711 static
712 sh_opcode_info *
713 get_specific (opcode, operands)
714 sh_opcode_info *opcode;
715 sh_operand_info *operands;
716 {
717 sh_opcode_info *this_try = opcode;
718 char *name = opcode->name;
719 int n = 0;
720 while (opcode->name)
721 {
722 this_try = opcode++;
723 if (this_try->name != name)
724 {
725 /* We've looked so far down the table that we've run out of
726 opcodes with the same name */
727 return 0;
728 }
729 /* look at both operands needed by the opcodes and provided by
730 the user - since an arg test will often fail on the same arg
731 again and again, we'll try and test the last failing arg the
732 first on each opcode try */
733
734 for (n = 0; this_try->arg[n]; n++)
735 {
736 sh_operand_info *user = operands + n;
737 sh_arg_type arg = this_try->arg[n];
738 switch (arg)
739 {
740 case A_IMM:
741 case A_BDISP12:
742 case A_BDISP8:
743 case A_DISP_GBR:
744 case A_DISP_PC:
745 case A_MACH:
746 case A_PR:
747 case A_MACL:
748 if (user->type != arg)
749 goto fail;
750 break;
751 case A_R0:
752 /* opcode needs r0 */
753 if (user->type != A_REG_N || user->reg != 0)
754 goto fail;
755 break;
756 case A_R0_GBR:
757 if (user->type != A_R0_GBR || user->reg != 0)
758 goto fail;
759 break;
760 case F_FR0:
761 if (user->type != F_REG_N || user->reg != 0)
762 goto fail;
763 break;
764
765 case A_REG_N:
766 case A_INC_N:
767 case A_DEC_N:
768 case A_IND_N:
769 case A_IND_R0_REG_N:
770 case A_DISP_REG_N:
771 case F_REG_N:
772 case D_REG_N:
773 case X_REG_N:
774 case V_REG_N:
775 case FPUL_N:
776 case FPSCR_N:
777 /* Opcode needs rn */
778 if (user->type != arg)
779 goto fail;
780 reg_n = user->reg;
781 break;
782 case FD_REG_N:
783 if (user->type != F_REG_N && user->type != D_REG_N)
784 goto fail;
785 reg_n = user->reg;
786 break;
787 case DX_REG_N:
788 if (user->type != D_REG_N && user->type != X_REG_N)
789 goto fail;
790 reg_n = user->reg;
791 break;
792 case A_GBR:
793 case A_SR:
794 case A_VBR:
795 case A_SSR:
796 case A_SPC:
797 case A_SGR:
798 case A_DBR:
799 if (user->type != arg)
800 goto fail;
801 break;
802
803 case A_REG_B:
804 if (user->type != arg)
805 goto fail;
806 reg_b = user->reg;
807 break;
808
809 case A_REG_M:
810 case A_INC_M:
811 case A_DEC_M:
812 case A_IND_M:
813 case A_IND_R0_REG_M:
814 case A_DISP_REG_M:
815 /* Opcode needs rn */
816 if (user->type != arg - A_REG_M + A_REG_N)
817 goto fail;
818 reg_m = user->reg;
819 break;
820
821 case F_REG_M:
822 case D_REG_M:
823 case X_REG_M:
824 case V_REG_M:
825 case FPUL_M:
826 case FPSCR_M:
827 /* Opcode needs rn */
828 if (user->type != arg - F_REG_M + F_REG_N)
829 goto fail;
830 reg_m = user->reg;
831 break;
832 case DX_REG_M:
833 if (user->type != D_REG_N && user->type != X_REG_N)
834 goto fail;
835 reg_m = user->reg;
836 break;
837 case XMTRX_M4:
838 if (user->type != XMTRX_M4)
839 goto fail;
840 reg_m = 4;
841 break;
842
843 default:
844 printf (_("unhandled %d\n"), arg);
845 goto fail;
846 }
847 }
848 return this_try;
849 fail:;
850 }
851
852 return 0;
853 }
854
855 int
856 check (operand, low, high)
857 expressionS *operand;
858 int low;
859 int high;
860 {
861 if (operand->X_op != O_constant
862 || operand->X_add_number < low
863 || operand->X_add_number > high)
864 {
865 as_bad (_("operand must be absolute in range %d..%d"), low, high);
866 }
867 return operand->X_add_number;
868 }
869
870
871 static void
872 insert (where, how, pcrel)
873 char *where;
874 int how;
875 int pcrel;
876 {
877 fix_new_exp (frag_now,
878 where - frag_now->fr_literal,
879 2,
880 &immediate,
881 pcrel,
882 how);
883 }
884
885 static void
886 build_relax (opcode)
887 sh_opcode_info *opcode;
888 {
889 int high_byte = target_big_endian ? 0 : 1;
890 char *p;
891
892 if (opcode->arg[0] == A_BDISP8)
893 {
894 int what = (opcode->nibbles[1] & 4) ? COND_JUMP_DELAY : COND_JUMP;
895 p = frag_var (rs_machine_dependent,
896 md_relax_table[C (what, COND32)].rlx_length,
897 md_relax_table[C (what, COND8)].rlx_length,
898 C (what, 0),
899 immediate.X_add_symbol,
900 immediate.X_add_number,
901 0);
902 p[high_byte] = (opcode->nibbles[0] << 4) | (opcode->nibbles[1]);
903 }
904 else if (opcode->arg[0] == A_BDISP12)
905 {
906 p = frag_var (rs_machine_dependent,
907 md_relax_table[C (UNCOND_JUMP, UNCOND32)].rlx_length,
908 md_relax_table[C (UNCOND_JUMP, UNCOND12)].rlx_length,
909 C (UNCOND_JUMP, 0),
910 immediate.X_add_symbol,
911 immediate.X_add_number,
912 0);
913 p[high_byte] = (opcode->nibbles[0] << 4);
914 }
915
916 }
917
918 /* Now we know what sort of opcodes it is, lets build the bytes -
919 */
920 static void
921 build_Mytes (opcode, operand)
922 sh_opcode_info *opcode;
923 sh_operand_info *operand;
924
925 {
926 int index;
927 char nbuf[4];
928 char *output = frag_more (2);
929 int low_byte = target_big_endian ? 1 : 0;
930 nbuf[0] = 0;
931 nbuf[1] = 0;
932 nbuf[2] = 0;
933 nbuf[3] = 0;
934
935 for (index = 0; index < 4; index++)
936 {
937 sh_nibble_type i = opcode->nibbles[index];
938 if (i < 16)
939 {
940 nbuf[index] = i;
941 }
942 else
943 {
944 switch (i)
945 {
946 case REG_N:
947 nbuf[index] = reg_n;
948 break;
949 case REG_M:
950 nbuf[index] = reg_m;
951 break;
952 case REG_NM:
953 nbuf[index] = reg_n | (reg_m >> 2);
954 break;
955 case REG_B:
956 nbuf[index] = reg_b | 0x08;
957 break;
958 case DISP_4:
959 insert (output + low_byte, BFD_RELOC_SH_IMM4, 0);
960 break;
961 case IMM_4BY4:
962 insert (output + low_byte, BFD_RELOC_SH_IMM4BY4, 0);
963 break;
964 case IMM_4BY2:
965 insert (output + low_byte, BFD_RELOC_SH_IMM4BY2, 0);
966 break;
967 case IMM_4:
968 insert (output + low_byte, BFD_RELOC_SH_IMM4, 0);
969 break;
970 case IMM_8BY4:
971 insert (output + low_byte, BFD_RELOC_SH_IMM8BY4, 0);
972 break;
973 case IMM_8BY2:
974 insert (output + low_byte, BFD_RELOC_SH_IMM8BY2, 0);
975 break;
976 case IMM_8:
977 insert (output + low_byte, BFD_RELOC_SH_IMM8, 0);
978 break;
979 case PCRELIMM_8BY4:
980 insert (output, BFD_RELOC_SH_PCRELIMM8BY4, 1);
981 break;
982 case PCRELIMM_8BY2:
983 insert (output, BFD_RELOC_SH_PCRELIMM8BY2, 1);
984 break;
985 default:
986 printf (_("failed for %d\n"), i);
987 }
988 }
989 }
990 if (! target_big_endian) {
991 output[1] = (nbuf[0] << 4) | (nbuf[1]);
992 output[0] = (nbuf[2] << 4) | (nbuf[3]);
993 }
994 else {
995 output[0] = (nbuf[0] << 4) | (nbuf[1]);
996 output[1] = (nbuf[2] << 4) | (nbuf[3]);
997 }
998 }
999
1000 /* This is the guts of the machine-dependent assembler. STR points to a
1001 machine dependent instruction. This function is supposed to emit
1002 the frags/bytes it assembles to.
1003 */
1004
1005 void
1006 md_assemble (str)
1007 char *str;
1008 {
1009 unsigned char *op_start;
1010 unsigned char *op_end;
1011 sh_operand_info operand[3];
1012 sh_opcode_info *opcode;
1013 char name[20];
1014 int nlen = 0;
1015 /* Drop leading whitespace */
1016 while (*str == ' ')
1017 str++;
1018
1019 /* find the op code end */
1020 for (op_start = op_end = (unsigned char *) (str);
1021 *op_end
1022 && nlen < 20
1023 && !is_end_of_line[*op_end] && *op_end != ' ';
1024 op_end++)
1025 {
1026 unsigned char c = op_start[nlen];
1027
1028 /* The machine independent code will convert CMP/EQ into cmp/EQ
1029 because it thinks the '/' is the end of the symbol. Instead of
1030 hacking up the machine independent code, we just deal with it
1031 here. */
1032 c = isupper (c) ? tolower (c) : c;
1033 name[nlen] = c;
1034 nlen++;
1035 }
1036 name[nlen] = 0;
1037
1038 if (nlen == 0)
1039 {
1040 as_bad (_("can't find opcode "));
1041 }
1042
1043 opcode = (sh_opcode_info *) hash_find (opcode_hash_control, name);
1044
1045 if (opcode == NULL)
1046 {
1047 as_bad (_("unknown opcode"));
1048 return;
1049 }
1050
1051 if (sh_relax
1052 && ! seg_info (now_seg)->tc_segment_info_data.in_code)
1053 {
1054 /* Output a CODE reloc to tell the linker that the following
1055 bytes are instructions, not data. */
1056 fix_new (frag_now, frag_now_fix (), 2, &abs_symbol, 0, 0,
1057 BFD_RELOC_SH_CODE);
1058 seg_info (now_seg)->tc_segment_info_data.in_code = 1;
1059 }
1060
1061 if (opcode->arg[0] == A_BDISP12
1062 || opcode->arg[0] == A_BDISP8)
1063 {
1064 parse_exp (op_end + 1);
1065 build_relax (opcode);
1066 }
1067 else
1068 {
1069 if (opcode->arg[0] != A_END)
1070 {
1071 get_operands (opcode, op_end, operand);
1072 }
1073 opcode = get_specific (opcode, operand);
1074
1075 if (opcode == 0)
1076 {
1077 /* Couldn't find an opcode which matched the operands */
1078 char *where = frag_more (2);
1079
1080 where[0] = 0x0;
1081 where[1] = 0x0;
1082 as_bad (_("invalid operands for opcode"));
1083 return;
1084 }
1085
1086 build_Mytes (opcode, operand);
1087 }
1088
1089 }
1090
1091 /* This routine is called each time a label definition is seen. It
1092 emits a BFD_RELOC_SH_LABEL reloc if necessary. */
1093
1094 void
1095 sh_frob_label ()
1096 {
1097 static fragS *last_label_frag;
1098 static int last_label_offset;
1099
1100 if (sh_relax
1101 && seg_info (now_seg)->tc_segment_info_data.in_code)
1102 {
1103 int offset;
1104
1105 offset = frag_now_fix ();
1106 if (frag_now != last_label_frag
1107 || offset != last_label_offset)
1108 {
1109 fix_new (frag_now, offset, 2, &abs_symbol, 0, 0, BFD_RELOC_SH_LABEL);
1110 last_label_frag = frag_now;
1111 last_label_offset = offset;
1112 }
1113 }
1114 }
1115
1116 /* This routine is called when the assembler is about to output some
1117 data. It emits a BFD_RELOC_SH_DATA reloc if necessary. */
1118
1119 void
1120 sh_flush_pending_output ()
1121 {
1122 if (sh_relax
1123 && seg_info (now_seg)->tc_segment_info_data.in_code)
1124 {
1125 fix_new (frag_now, frag_now_fix (), 2, &abs_symbol, 0, 0,
1126 BFD_RELOC_SH_DATA);
1127 seg_info (now_seg)->tc_segment_info_data.in_code = 0;
1128 }
1129 }
1130
1131 symbolS *
1132 DEFUN (md_undefined_symbol, (name),
1133 char *name)
1134 {
1135 return 0;
1136 }
1137
1138 #ifdef OBJ_COFF
1139
1140 void
1141 DEFUN (tc_crawl_symbol_chain, (headers),
1142 object_headers * headers)
1143 {
1144 printf (_("call to tc_crawl_symbol_chain \n"));
1145 }
1146
1147 void
1148 DEFUN (tc_headers_hook, (headers),
1149 object_headers * headers)
1150 {
1151 printf (_("call to tc_headers_hook \n"));
1152 }
1153
1154 #endif
1155
1156 /* Various routines to kill one day */
1157 /* Equal to MAX_PRECISION in atof-ieee.c */
1158 #define MAX_LITTLENUMS 6
1159
1160 /* Turn a string in input_line_pointer into a floating point constant of type
1161 type, and store the appropriate bytes in *litP. The number of LITTLENUMS
1162 emitted is stored in *sizeP . An error message is returned, or NULL on OK.
1163 */
1164 char *
1165 md_atof (type, litP, sizeP)
1166 int type;
1167 char *litP;
1168 int *sizeP;
1169 {
1170 int prec;
1171 LITTLENUM_TYPE words[4];
1172 char *t;
1173 int i;
1174
1175 switch (type)
1176 {
1177 case 'f':
1178 prec = 2;
1179 break;
1180
1181 case 'd':
1182 prec = 4;
1183 break;
1184
1185 default:
1186 *sizeP = 0;
1187 return _("bad call to md_atof");
1188 }
1189
1190 t = atof_ieee (input_line_pointer, type, words);
1191 if (t)
1192 input_line_pointer = t;
1193
1194 *sizeP = prec * 2;
1195
1196 if (! target_big_endian)
1197 {
1198 for (i = prec - 1; i >= 0; i--)
1199 {
1200 md_number_to_chars (litP, (valueT) words[i], 2);
1201 litP += 2;
1202 }
1203 }
1204 else
1205 {
1206 for (i = 0; i < prec; i++)
1207 {
1208 md_number_to_chars (litP, (valueT) words[i], 2);
1209 litP += 2;
1210 }
1211 }
1212
1213 return NULL;
1214 }
1215
1216 /* Handle the .uses pseudo-op. This pseudo-op is used just before a
1217 call instruction. It refers to a label of the instruction which
1218 loads the register which the call uses. We use it to generate a
1219 special reloc for the linker. */
1220
1221 static void
1222 s_uses (ignore)
1223 int ignore;
1224 {
1225 expressionS ex;
1226
1227 if (! sh_relax)
1228 as_warn (_(".uses pseudo-op seen when not relaxing"));
1229
1230 expression (&ex);
1231
1232 if (ex.X_op != O_symbol || ex.X_add_number != 0)
1233 {
1234 as_bad (_("bad .uses format"));
1235 ignore_rest_of_line ();
1236 return;
1237 }
1238
1239 fix_new_exp (frag_now, frag_now_fix (), 2, &ex, 1, BFD_RELOC_SH_USES);
1240
1241 demand_empty_rest_of_line ();
1242 }
1243 \f
1244 CONST char *md_shortopts = "";
1245 struct option md_longopts[] = {
1246
1247 #define OPTION_RELAX (OPTION_MD_BASE)
1248 #define OPTION_LITTLE (OPTION_MD_BASE + 1)
1249 #define OPTION_SMALL (OPTION_LITTLE + 1)
1250
1251 {"relax", no_argument, NULL, OPTION_RELAX},
1252 {"little", no_argument, NULL, OPTION_LITTLE},
1253 {"small", no_argument, NULL, OPTION_SMALL},
1254 {NULL, no_argument, NULL, 0}
1255 };
1256 size_t md_longopts_size = sizeof(md_longopts);
1257
1258 int
1259 md_parse_option (c, arg)
1260 int c;
1261 char *arg;
1262 {
1263 switch (c)
1264 {
1265 case OPTION_RELAX:
1266 sh_relax = 1;
1267 break;
1268
1269 case OPTION_LITTLE:
1270 shl = 1;
1271 target_big_endian = 0;
1272 break;
1273
1274 case OPTION_SMALL:
1275 sh_small = 1;
1276 break;
1277
1278 default:
1279 return 0;
1280 }
1281
1282 return 1;
1283 }
1284
1285 void
1286 md_show_usage (stream)
1287 FILE *stream;
1288 {
1289 fprintf(stream, _("\
1290 SH options:\n\
1291 -little generate little endian code\n\
1292 -relax alter jump instructions for long displacements\n\
1293 -small align sections to 4 byte boundaries, not 16\n"));
1294 }
1295 \f
1296 void
1297 tc_Nout_fix_to_chars ()
1298 {
1299 printf (_("call to tc_Nout_fix_to_chars \n"));
1300 abort ();
1301 }
1302
1303 /* This struct is used to pass arguments to sh_count_relocs through
1304 bfd_map_over_sections. */
1305
1306 struct sh_count_relocs
1307 {
1308 /* Symbol we are looking for. */
1309 symbolS *sym;
1310 /* Count of relocs found. */
1311 int count;
1312 };
1313
1314 /* Count the number of fixups in a section which refer to a particular
1315 symbol. When using BFD_ASSEMBLER, this is called via
1316 bfd_map_over_sections. */
1317
1318 /*ARGSUSED*/
1319 static void
1320 sh_count_relocs (abfd, sec, data)
1321 bfd *abfd;
1322 segT sec;
1323 PTR data;
1324 {
1325 struct sh_count_relocs *info = (struct sh_count_relocs *) data;
1326 segment_info_type *seginfo;
1327 symbolS *sym;
1328 fixS *fix;
1329
1330 seginfo = seg_info (sec);
1331 if (seginfo == NULL)
1332 return;
1333
1334 sym = info->sym;
1335 for (fix = seginfo->fix_root; fix != NULL; fix = fix->fx_next)
1336 {
1337 if (fix->fx_addsy == sym)
1338 {
1339 ++info->count;
1340 fix->fx_tcbit = 1;
1341 }
1342 }
1343 }
1344
1345 /* Handle the count relocs for a particular section. When using
1346 BFD_ASSEMBLER, this is called via bfd_map_over_sections. */
1347
1348 /*ARGSUSED*/
1349 static void
1350 sh_frob_section (abfd, sec, ignore)
1351 bfd *abfd;
1352 segT sec;
1353 PTR ignore;
1354 {
1355 segment_info_type *seginfo;
1356 fixS *fix;
1357
1358 seginfo = seg_info (sec);
1359 if (seginfo == NULL)
1360 return;
1361
1362 for (fix = seginfo->fix_root; fix != NULL; fix = fix->fx_next)
1363 {
1364 symbolS *sym;
1365 bfd_vma val;
1366 fixS *fscan;
1367 struct sh_count_relocs info;
1368
1369 if (fix->fx_r_type != BFD_RELOC_SH_USES)
1370 continue;
1371
1372 /* The BFD_RELOC_SH_USES reloc should refer to a defined local
1373 symbol in the same section. */
1374 sym = fix->fx_addsy;
1375 if (sym == NULL
1376 || fix->fx_subsy != NULL
1377 || fix->fx_addnumber != 0
1378 || S_GET_SEGMENT (sym) != sec
1379 #if ! defined (BFD_ASSEMBLER) && defined (OBJ_COFF)
1380 || S_GET_STORAGE_CLASS (sym) == C_EXT
1381 #endif
1382 || S_IS_EXTERNAL (sym))
1383 {
1384 as_warn_where (fix->fx_file, fix->fx_line,
1385 _(".uses does not refer to a local symbol in the same section"));
1386 continue;
1387 }
1388
1389 /* Look through the fixups again, this time looking for one
1390 at the same location as sym. */
1391 val = S_GET_VALUE (sym);
1392 for (fscan = seginfo->fix_root;
1393 fscan != NULL;
1394 fscan = fscan->fx_next)
1395 if (val == fscan->fx_frag->fr_address + fscan->fx_where
1396 && fscan->fx_r_type != BFD_RELOC_SH_ALIGN
1397 && fscan->fx_r_type != BFD_RELOC_SH_CODE
1398 && fscan->fx_r_type != BFD_RELOC_SH_DATA
1399 && fscan->fx_r_type != BFD_RELOC_SH_LABEL)
1400 break;
1401 if (fscan == NULL)
1402 {
1403 as_warn_where (fix->fx_file, fix->fx_line,
1404 _("can't find fixup pointed to by .uses"));
1405 continue;
1406 }
1407
1408 if (fscan->fx_tcbit)
1409 {
1410 /* We've already done this one. */
1411 continue;
1412 }
1413
1414 /* fscan should also be a fixup to a local symbol in the same
1415 section. */
1416 sym = fscan->fx_addsy;
1417 if (sym == NULL
1418 || fscan->fx_subsy != NULL
1419 || fscan->fx_addnumber != 0
1420 || S_GET_SEGMENT (sym) != sec
1421 #if ! defined (BFD_ASSEMBLER) && defined (OBJ_COFF)
1422 || S_GET_STORAGE_CLASS (sym) == C_EXT
1423 #endif
1424 || S_IS_EXTERNAL (sym))
1425 {
1426 as_warn_where (fix->fx_file, fix->fx_line,
1427 _(".uses target does not refer to a local symbol in the same section"));
1428 continue;
1429 }
1430
1431 /* Now we look through all the fixups of all the sections,
1432 counting the number of times we find a reference to sym. */
1433 info.sym = sym;
1434 info.count = 0;
1435 #ifdef BFD_ASSEMBLER
1436 bfd_map_over_sections (stdoutput, sh_count_relocs, (PTR) &info);
1437 #else
1438 {
1439 int iscan;
1440
1441 for (iscan = SEG_E0; iscan < SEG_UNKNOWN; iscan++)
1442 sh_count_relocs ((bfd *) NULL, iscan, (PTR) &info);
1443 }
1444 #endif
1445
1446 if (info.count < 1)
1447 abort ();
1448
1449 /* Generate a BFD_RELOC_SH_COUNT fixup at the location of sym.
1450 We have already adjusted the value of sym to include the
1451 fragment address, so we undo that adjustment here. */
1452 subseg_change (sec, 0);
1453 fix_new (symbol_get_frag (sym),
1454 S_GET_VALUE (sym) - symbol_get_frag (sym)->fr_address,
1455 4, &abs_symbol, info.count, 0, BFD_RELOC_SH_COUNT);
1456 }
1457 }
1458
1459 /* This function is called after the symbol table has been completed,
1460 but before the relocs or section contents have been written out.
1461 If we have seen any .uses pseudo-ops, they point to an instruction
1462 which loads a register with the address of a function. We look
1463 through the fixups to find where the function address is being
1464 loaded from. We then generate a COUNT reloc giving the number of
1465 times that function address is referred to. The linker uses this
1466 information when doing relaxing, to decide when it can eliminate
1467 the stored function address entirely. */
1468
1469 void
1470 sh_frob_file ()
1471 {
1472 if (! sh_relax)
1473 return;
1474
1475 #ifdef BFD_ASSEMBLER
1476 bfd_map_over_sections (stdoutput, sh_frob_section, (PTR) NULL);
1477 #else
1478 {
1479 int iseg;
1480
1481 for (iseg = SEG_E0; iseg < SEG_UNKNOWN; iseg++)
1482 sh_frob_section ((bfd *) NULL, iseg, (PTR) NULL);
1483 }
1484 #endif
1485 }
1486
1487 /* Called after relaxing. Set the correct sizes of the fragments, and
1488 create relocs so that md_apply_fix will fill in the correct values. */
1489
1490 void
1491 md_convert_frag (headers, seg, fragP)
1492 #ifdef BFD_ASSEMBLER
1493 bfd *headers;
1494 #else
1495 object_headers *headers;
1496 #endif
1497 segT seg;
1498 fragS *fragP;
1499 {
1500 int donerelax = 0;
1501
1502 switch (fragP->fr_subtype)
1503 {
1504 case C (COND_JUMP, COND8):
1505 case C (COND_JUMP_DELAY, COND8):
1506 subseg_change (seg, 0);
1507 fix_new (fragP, fragP->fr_fix, 2, fragP->fr_symbol, fragP->fr_offset,
1508 1, BFD_RELOC_SH_PCDISP8BY2);
1509 fragP->fr_fix += 2;
1510 fragP->fr_var = 0;
1511 break;
1512
1513 case C (UNCOND_JUMP, UNCOND12):
1514 subseg_change (seg, 0);
1515 fix_new (fragP, fragP->fr_fix, 2, fragP->fr_symbol, fragP->fr_offset,
1516 1, BFD_RELOC_SH_PCDISP12BY2);
1517 fragP->fr_fix += 2;
1518 fragP->fr_var = 0;
1519 break;
1520
1521 case C (UNCOND_JUMP, UNCOND32):
1522 case C (UNCOND_JUMP, UNDEF_WORD_DISP):
1523 if (fragP->fr_symbol == NULL)
1524 as_bad (_("at 0x%lx, displacement overflows 12-bit field"),
1525 (unsigned long) fragP->fr_address);
1526 else if (S_IS_DEFINED (fragP->fr_symbol))
1527 as_bad (_("at 0x%lx, displacement to defined symbol %s overflows 12-bit field"),
1528 (unsigned long) fragP->fr_address,
1529 S_GET_NAME (fragP->fr_symbol));
1530 else
1531 as_bad (_("at 0x%lx, displacement to undefined symbol %s overflows 12-bit field"),
1532 (unsigned long) fragP->fr_address,
1533 S_GET_NAME (fragP->fr_symbol));
1534
1535 #if 0 /* This code works, but generates poor code and the compiler
1536 should never produce a sequence that requires it to be used. */
1537
1538 /* A jump wont fit in 12 bits, make code which looks like
1539 bra foo
1540 mov.w @(0, PC), r14
1541 .long disp
1542 foo: bra @r14
1543 */
1544 int t = buffer[0] & 0x10;
1545
1546 buffer[highbyte] = 0xa0; /* branch over move and disp */
1547 buffer[lowbyte] = 3;
1548 buffer[highbyte+2] = 0xd0 | JREG; /* Build mov insn */
1549 buffer[lowbyte+2] = 0x00;
1550
1551 buffer[highbyte+4] = 0; /* space for 32 bit jump disp */
1552 buffer[lowbyte+4] = 0;
1553 buffer[highbyte+6] = 0;
1554 buffer[lowbyte+6] = 0;
1555
1556 buffer[highbyte+8] = 0x40 | JREG; /* Build jmp @JREG */
1557 buffer[lowbyte+8] = t ? 0xb : 0x2b;
1558
1559 buffer[highbyte+10] = 0x20; /* build nop */
1560 buffer[lowbyte+10] = 0x0b;
1561
1562 /* Make reloc for the long disp */
1563 fix_new (fragP,
1564 fragP->fr_fix + 4,
1565 4,
1566 fragP->fr_symbol,
1567 fragP->fr_offset,
1568 0,
1569 BFD_RELOC_32);
1570 fragP->fr_fix += UNCOND32_LENGTH;
1571 fragP->fr_var = 0;
1572 donerelax = 1;
1573 #endif
1574
1575 break;
1576
1577 case C (COND_JUMP, COND12):
1578 case C (COND_JUMP_DELAY, COND12):
1579 /* A bcond won't fit, so turn it into a b!cond; bra disp; nop */
1580 /* I found that a relax failure for gcc.c-torture/execute/930628-1.c
1581 was due to gas incorrectly relaxing an out-of-range conditional
1582 branch with delay slot. It turned:
1583 bf.s L6 (slot mov.l r12,@(44,r0))
1584 into:
1585
1586 2c: 8f 01 a0 8b bf.s 32 <_main+32> (slot bra L6)
1587 30: 00 09 nop
1588 32: 10 cb mov.l r12,@(44,r0)
1589 Therefore, branches with delay slots have to be handled
1590 differently from ones without delay slots. */
1591 {
1592 unsigned char *buffer =
1593 (unsigned char *) (fragP->fr_fix + fragP->fr_literal);
1594 int highbyte = target_big_endian ? 0 : 1;
1595 int lowbyte = target_big_endian ? 1 : 0;
1596 int delay = fragP->fr_subtype == C (COND_JUMP_DELAY, COND12);
1597
1598 /* Toggle the true/false bit of the bcond. */
1599 buffer[highbyte] ^= 0x2;
1600
1601 /* If this is a dalayed branch, we may not put the the bra in the
1602 slot. So we change it to a non-delayed branch, like that:
1603 b! cond slot_label; bra disp; slot_label: slot_insn
1604 ??? We should try if swapping the conditional branch and
1605 its delay-slot insn already makes the branch reach. */
1606
1607 /* Build a relocation to six / four bytes farther on. */
1608 subseg_change (seg, 0);
1609 fix_new (fragP, fragP->fr_fix, 2,
1610 #ifdef BFD_ASSEMBLER
1611 section_symbol (seg),
1612 #else
1613 seg_info (seg)->dot,
1614 #endif
1615 fragP->fr_address + fragP->fr_fix + (delay ? 4 : 6),
1616 1, BFD_RELOC_SH_PCDISP8BY2);
1617
1618 /* Set up a jump instruction. */
1619 buffer[highbyte + 2] = 0xa0;
1620 buffer[lowbyte + 2] = 0;
1621 fix_new (fragP, fragP->fr_fix + 2, 2, fragP->fr_symbol,
1622 fragP->fr_offset, 1, BFD_RELOC_SH_PCDISP12BY2);
1623
1624 if (delay)
1625 {
1626 buffer[highbyte] &= ~0x4; /* Removes delay slot from branch. */
1627 fragP->fr_fix += 4;
1628 }
1629 else
1630 {
1631 /* Fill in a NOP instruction. */
1632 buffer[highbyte + 4] = 0x0;
1633 buffer[lowbyte + 4] = 0x9;
1634
1635 fragP->fr_fix += 6;
1636 }
1637 fragP->fr_var = 0;
1638 donerelax = 1;
1639 }
1640 break;
1641
1642 case C (COND_JUMP, COND32):
1643 case C (COND_JUMP_DELAY, COND32):
1644 case C (COND_JUMP, UNDEF_WORD_DISP):
1645 case C (COND_JUMP_DELAY, UNDEF_WORD_DISP):
1646 if (fragP->fr_symbol == NULL)
1647 as_bad (_("at 0x%lx, displacement overflows 8-bit field"),
1648 (unsigned long) fragP->fr_address);
1649 else if (S_IS_DEFINED (fragP->fr_symbol))
1650 as_bad (_("at 0x%lx, displacement to defined symbol %s overflows 8-bit field "),
1651 (unsigned long) fragP->fr_address,
1652 S_GET_NAME (fragP->fr_symbol));
1653 else
1654 as_bad (_("at 0x%lx, displacement to undefined symbol %s overflows 8-bit field "),
1655 (unsigned long) fragP->fr_address,
1656 S_GET_NAME (fragP->fr_symbol));
1657
1658 #if 0 /* This code works, but generates poor code, and the compiler
1659 should never produce a sequence that requires it to be used. */
1660
1661 /* A bcond won't fit and it won't go into a 12 bit
1662 displacement either, the code sequence looks like:
1663 b!cond foop
1664 mov.w @(n, PC), r14
1665 jmp @r14
1666 nop
1667 .long where
1668 foop:
1669 */
1670
1671 buffer[0] ^= 0x2; /* Toggle T/F bit */
1672 #define JREG 14
1673 buffer[1] = 5; /* branch over mov, jump, nop and ptr */
1674 buffer[2] = 0xd0 | JREG; /* Build mov insn */
1675 buffer[3] = 0x2;
1676 buffer[4] = 0x40 | JREG; /* Build jmp @JREG */
1677 buffer[5] = 0x0b;
1678 buffer[6] = 0x20; /* build nop */
1679 buffer[7] = 0x0b;
1680 buffer[8] = 0; /* space for 32 bit jump disp */
1681 buffer[9] = 0;
1682 buffer[10] = 0;
1683 buffer[11] = 0;
1684 buffer[12] = 0;
1685 buffer[13] = 0;
1686 /* Make reloc for the long disp */
1687 fix_new (fragP,
1688 fragP->fr_fix + 8,
1689 4,
1690 fragP->fr_symbol,
1691 fragP->fr_offset,
1692 0,
1693 BFD_RELOC_32);
1694 fragP->fr_fix += COND32_LENGTH;
1695 fragP->fr_var = 0;
1696 donerelax = 1;
1697 #endif
1698
1699 break;
1700
1701 default:
1702 abort ();
1703 }
1704
1705 if (donerelax && !sh_relax)
1706 as_warn_where (fragP->fr_file, fragP->fr_line,
1707 _("overflow in branch to %s; converted into longer instruction sequence"),
1708 (fragP->fr_symbol != NULL
1709 ? S_GET_NAME (fragP->fr_symbol)
1710 : ""));
1711 }
1712
1713 valueT
1714 DEFUN (md_section_align, (seg, size),
1715 segT seg AND
1716 valueT size)
1717 {
1718 #ifdef BFD_ASSEMBLER
1719 #ifdef OBJ_ELF
1720 return size;
1721 #else /* ! OBJ_ELF */
1722 return ((size + (1 << bfd_get_section_alignment (stdoutput, seg)) - 1)
1723 & (-1 << bfd_get_section_alignment (stdoutput, seg)));
1724 #endif /* ! OBJ_ELF */
1725 #else /* ! BFD_ASSEMBLER */
1726 return ((size + (1 << section_alignment[(int) seg]) - 1)
1727 & (-1 << section_alignment[(int) seg]));
1728 #endif /* ! BFD_ASSEMBLER */
1729 }
1730
1731 /* This static variable is set by s_uacons to tell sh_cons_align that
1732 the expession does not need to be aligned. */
1733
1734 static int sh_no_align_cons = 0;
1735
1736 /* This handles the unaligned space allocation pseudo-ops, such as
1737 .uaword. .uaword is just like .word, but the value does not need
1738 to be aligned. */
1739
1740 static void
1741 s_uacons (bytes)
1742 int bytes;
1743 {
1744 /* Tell sh_cons_align not to align this value. */
1745 sh_no_align_cons = 1;
1746 cons (bytes);
1747 }
1748
1749 /* If a .word, et. al., pseud-op is seen, warn if the value is not
1750 aligned correctly. Note that this can cause warnings to be issued
1751 when assembling initialized structured which were declared with the
1752 packed attribute. FIXME: Perhaps we should require an option to
1753 enable this warning? */
1754
1755 void
1756 sh_cons_align (nbytes)
1757 int nbytes;
1758 {
1759 int nalign;
1760 char *p;
1761
1762 if (sh_no_align_cons)
1763 {
1764 /* This is an unaligned pseudo-op. */
1765 sh_no_align_cons = 0;
1766 return;
1767 }
1768
1769 nalign = 0;
1770 while ((nbytes & 1) == 0)
1771 {
1772 ++nalign;
1773 nbytes >>= 1;
1774 }
1775
1776 if (nalign == 0)
1777 return;
1778
1779 if (now_seg == absolute_section)
1780 {
1781 if ((abs_section_offset & ((1 << nalign) - 1)) != 0)
1782 as_warn (_("misaligned data"));
1783 return;
1784 }
1785
1786 p = frag_var (rs_align_code, 1, 1, (relax_substateT) 0,
1787 (symbolS *) NULL, (offsetT) nalign, (char *) NULL);
1788
1789 record_alignment (now_seg, nalign);
1790 }
1791
1792 /* When relaxing, we need to output a reloc for any .align directive
1793 that requests alignment to a four byte boundary or larger. This is
1794 also where we check for misaligned data. */
1795
1796 void
1797 sh_handle_align (frag)
1798 fragS *frag;
1799 {
1800 if (sh_relax
1801 && frag->fr_type == rs_align
1802 && frag->fr_address + frag->fr_fix > 0
1803 && frag->fr_offset > 1
1804 && now_seg != bss_section)
1805 fix_new (frag, frag->fr_fix, 2, &abs_symbol, frag->fr_offset, 0,
1806 BFD_RELOC_SH_ALIGN);
1807
1808 if (frag->fr_type == rs_align_code
1809 && frag->fr_next->fr_address - frag->fr_address - frag->fr_fix != 0)
1810 as_warn_where (frag->fr_file, frag->fr_line, _("misaligned data"));
1811 }
1812
1813 /* This macro decides whether a particular reloc is an entry in a
1814 switch table. It is used when relaxing, because the linker needs
1815 to know about all such entries so that it can adjust them if
1816 necessary. */
1817
1818 #ifdef BFD_ASSEMBLER
1819 #define SWITCH_TABLE_CONS(fix) (0)
1820 #else
1821 #define SWITCH_TABLE_CONS(fix) \
1822 ((fix)->fx_r_type == 0 \
1823 && ((fix)->fx_size == 2 \
1824 || (fix)->fx_size == 1 \
1825 || (fix)->fx_size == 4))
1826 #endif
1827
1828 #define SWITCH_TABLE(fix) \
1829 ((fix)->fx_addsy != NULL \
1830 && (fix)->fx_subsy != NULL \
1831 && S_GET_SEGMENT ((fix)->fx_addsy) == text_section \
1832 && S_GET_SEGMENT ((fix)->fx_subsy) == text_section \
1833 && ((fix)->fx_r_type == BFD_RELOC_32 \
1834 || (fix)->fx_r_type == BFD_RELOC_16 \
1835 || (fix)->fx_r_type == BFD_RELOC_8 \
1836 || SWITCH_TABLE_CONS (fix)))
1837
1838 /* See whether we need to force a relocation into the output file.
1839 This is used to force out switch and PC relative relocations when
1840 relaxing. */
1841
1842 int
1843 sh_force_relocation (fix)
1844 fixS *fix;
1845 {
1846
1847 if (fix->fx_r_type == BFD_RELOC_VTABLE_INHERIT
1848 || fix->fx_r_type == BFD_RELOC_VTABLE_ENTRY)
1849 return 1;
1850
1851 if (! sh_relax)
1852 return 0;
1853
1854 return (fix->fx_pcrel
1855 || SWITCH_TABLE (fix)
1856 || fix->fx_r_type == BFD_RELOC_SH_COUNT
1857 || fix->fx_r_type == BFD_RELOC_SH_ALIGN
1858 || fix->fx_r_type == BFD_RELOC_SH_CODE
1859 || fix->fx_r_type == BFD_RELOC_SH_DATA
1860 || fix->fx_r_type == BFD_RELOC_SH_LABEL);
1861 }
1862
1863 #ifdef OBJ_ELF
1864 boolean
1865 sh_fix_adjustable (fixP)
1866 fixS *fixP;
1867 {
1868
1869 if (fixP->fx_addsy == NULL)
1870 return 1;
1871
1872 /* We need the symbol name for the VTABLE entries */
1873 if (fixP->fx_r_type == BFD_RELOC_VTABLE_INHERIT
1874 || fixP->fx_r_type == BFD_RELOC_VTABLE_ENTRY)
1875 return 0;
1876
1877 return 1;
1878 }
1879 #endif
1880
1881 /* Apply a fixup to the object file. */
1882
1883 #ifdef BFD_ASSEMBLER
1884 int
1885 md_apply_fix (fixP, valp)
1886 fixS *fixP;
1887 valueT *valp;
1888 #else
1889 void
1890 md_apply_fix (fixP, val)
1891 fixS *fixP;
1892 long val;
1893 #endif
1894 {
1895 char *buf = fixP->fx_where + fixP->fx_frag->fr_literal;
1896 int lowbyte = target_big_endian ? 1 : 0;
1897 int highbyte = target_big_endian ? 0 : 1;
1898 #ifdef BFD_ASSEMBLER
1899 long val = *valp;
1900 #endif
1901 long max, min;
1902 int shift;
1903
1904 #ifdef BFD_ASSEMBLER
1905 /* adjust_reloc_syms won't convert a reloc against a weak symbol
1906 into a reloc against a section, but bfd_install_relocation will
1907 screw up if the symbol is defined, so we have to adjust val here
1908 to avoid the screw up later. */
1909 if (fixP->fx_addsy != NULL
1910 && S_IS_WEAK (fixP->fx_addsy))
1911 val -= S_GET_VALUE (fixP->fx_addsy);
1912 #endif
1913
1914 #ifndef BFD_ASSEMBLER
1915 if (fixP->fx_r_type == 0)
1916 {
1917 if (fixP->fx_size == 2)
1918 fixP->fx_r_type = BFD_RELOC_16;
1919 else if (fixP->fx_size == 4)
1920 fixP->fx_r_type = BFD_RELOC_32;
1921 else if (fixP->fx_size == 1)
1922 fixP->fx_r_type = BFD_RELOC_8;
1923 else
1924 abort ();
1925 }
1926 #endif
1927
1928 max = min = 0;
1929 shift = 0;
1930 switch (fixP->fx_r_type)
1931 {
1932 case BFD_RELOC_SH_IMM4:
1933 max = 0xf;
1934 *buf = (*buf & 0xf0) | (val & 0xf);
1935 break;
1936
1937 case BFD_RELOC_SH_IMM4BY2:
1938 max = 0xf;
1939 shift = 1;
1940 *buf = (*buf & 0xf0) | ((val >> 1) & 0xf);
1941 break;
1942
1943 case BFD_RELOC_SH_IMM4BY4:
1944 max = 0xf;
1945 shift = 2;
1946 *buf = (*buf & 0xf0) | ((val >> 2) & 0xf);
1947 break;
1948
1949 case BFD_RELOC_SH_IMM8BY2:
1950 max = 0xff;
1951 shift = 1;
1952 *buf = val >> 1;
1953 break;
1954
1955 case BFD_RELOC_SH_IMM8BY4:
1956 max = 0xff;
1957 shift = 2;
1958 *buf = val >> 2;
1959 break;
1960
1961 case BFD_RELOC_8:
1962 case BFD_RELOC_SH_IMM8:
1963 /* Sometimes the 8 bit value is sign extended (e.g., add) and
1964 sometimes it is not (e.g., and). We permit any 8 bit value.
1965 Note that adding further restrictions may invalidate
1966 reasonable looking assembly code, such as ``and -0x1,r0''. */
1967 max = 0xff;
1968 min = - 0xff;
1969 *buf++ = val;
1970 break;
1971
1972 case BFD_RELOC_SH_PCRELIMM8BY4:
1973 /* The lower two bits of the PC are cleared before the
1974 displacement is added in. We can assume that the destination
1975 is on a 4 byte bounday. If this instruction is also on a 4
1976 byte boundary, then we want
1977 (target - here) / 4
1978 and target - here is a multiple of 4.
1979 Otherwise, we are on a 2 byte boundary, and we want
1980 (target - (here - 2)) / 4
1981 and target - here is not a multiple of 4. Computing
1982 (target - (here - 2)) / 4 == (target - here + 2) / 4
1983 works for both cases, since in the first case the addition of
1984 2 will be removed by the division. target - here is in the
1985 variable val. */
1986 val = (val + 2) / 4;
1987 if (val & ~0xff)
1988 as_bad_where (fixP->fx_file, fixP->fx_line, _("pcrel too far"));
1989 buf[lowbyte] = val;
1990 break;
1991
1992 case BFD_RELOC_SH_PCRELIMM8BY2:
1993 val /= 2;
1994 if (val & ~0xff)
1995 as_bad_where (fixP->fx_file, fixP->fx_line, _("pcrel too far"));
1996 buf[lowbyte] = val;
1997 break;
1998
1999 case BFD_RELOC_SH_PCDISP8BY2:
2000 val /= 2;
2001 if (val < -0x80 || val > 0x7f)
2002 as_bad_where (fixP->fx_file, fixP->fx_line, _("pcrel too far"));
2003 buf[lowbyte] = val;
2004 break;
2005
2006 case BFD_RELOC_SH_PCDISP12BY2:
2007 val /= 2;
2008 if (val < -0x800 || val >= 0x7ff)
2009 as_bad_where (fixP->fx_file, fixP->fx_line, _("pcrel too far"));
2010 buf[lowbyte] = val & 0xff;
2011 buf[highbyte] |= (val >> 8) & 0xf;
2012 break;
2013
2014 case BFD_RELOC_32:
2015 if (! target_big_endian)
2016 {
2017 *buf++ = val >> 0;
2018 *buf++ = val >> 8;
2019 *buf++ = val >> 16;
2020 *buf++ = val >> 24;
2021 }
2022 else
2023 {
2024 *buf++ = val >> 24;
2025 *buf++ = val >> 16;
2026 *buf++ = val >> 8;
2027 *buf++ = val >> 0;
2028 }
2029 break;
2030
2031 case BFD_RELOC_16:
2032 if (! target_big_endian)
2033 {
2034 *buf++ = val >> 0;
2035 *buf++ = val >> 8;
2036 }
2037 else
2038 {
2039 *buf++ = val >> 8;
2040 *buf++ = val >> 0;
2041 }
2042 break;
2043
2044 case BFD_RELOC_SH_USES:
2045 /* Pass the value into sh_coff_reloc_mangle. */
2046 fixP->fx_addnumber = val;
2047 break;
2048
2049 case BFD_RELOC_SH_COUNT:
2050 case BFD_RELOC_SH_ALIGN:
2051 case BFD_RELOC_SH_CODE:
2052 case BFD_RELOC_SH_DATA:
2053 case BFD_RELOC_SH_LABEL:
2054 /* Nothing to do here. */
2055 break;
2056
2057 case BFD_RELOC_VTABLE_INHERIT:
2058 case BFD_RELOC_VTABLE_ENTRY:
2059 fixP->fx_done = 0;
2060 #ifdef BFD_ASSEMBLER
2061 return 0;
2062 #else
2063 return;
2064 #endif
2065
2066 default:
2067 abort ();
2068 }
2069
2070 if (shift != 0)
2071 {
2072 if ((val & ((1 << shift) - 1)) != 0)
2073 as_bad_where (fixP->fx_file, fixP->fx_line, _("misaligned offset"));
2074 if (val >= 0)
2075 val >>= shift;
2076 else
2077 val = ((val >> shift)
2078 | ((long) -1 & ~ ((long) -1 >> shift)));
2079 }
2080 if (max != 0 && (val < min || val > max))
2081 as_bad_where (fixP->fx_file, fixP->fx_line, _("offset out of range"));
2082
2083 #ifdef BFD_ASSEMBLER
2084 return 0;
2085 #endif
2086 }
2087
2088 /* Called just before address relaxation. Return the length
2089 by which a fragment must grow to reach it's destination. */
2090
2091 int
2092 md_estimate_size_before_relax (fragP, segment_type)
2093 register fragS *fragP;
2094 register segT segment_type;
2095 {
2096 switch (fragP->fr_subtype)
2097 {
2098 case C (UNCOND_JUMP, UNDEF_DISP):
2099 /* used to be a branch to somewhere which was unknown */
2100 if (!fragP->fr_symbol)
2101 {
2102 fragP->fr_subtype = C (UNCOND_JUMP, UNCOND12);
2103 fragP->fr_var = md_relax_table[C (UNCOND_JUMP, UNCOND12)].rlx_length;
2104 }
2105 else if (S_GET_SEGMENT (fragP->fr_symbol) == segment_type)
2106 {
2107 fragP->fr_subtype = C (UNCOND_JUMP, UNCOND12);
2108 fragP->fr_var = md_relax_table[C (UNCOND_JUMP, UNCOND12)].rlx_length;
2109 }
2110 else
2111 {
2112 fragP->fr_subtype = C (UNCOND_JUMP, UNDEF_WORD_DISP);
2113 fragP->fr_var = md_relax_table[C (UNCOND_JUMP, UNCOND32)].rlx_length;
2114 return md_relax_table[C (UNCOND_JUMP, UNCOND32)].rlx_length;
2115 }
2116 break;
2117
2118 default:
2119 abort ();
2120 case C (COND_JUMP, UNDEF_DISP):
2121 case C (COND_JUMP_DELAY, UNDEF_DISP):
2122 /* used to be a branch to somewhere which was unknown */
2123 if (fragP->fr_symbol
2124 && S_GET_SEGMENT (fragP->fr_symbol) == segment_type)
2125 {
2126 int what = GET_WHAT (fragP->fr_subtype);
2127 /* Got a symbol and it's defined in this segment, become byte
2128 sized - maybe it will fix up */
2129 fragP->fr_subtype = C (what, COND8);
2130 fragP->fr_var = md_relax_table[C (what, COND8)].rlx_length;
2131 }
2132 else if (fragP->fr_symbol)
2133 {
2134 int what = GET_WHAT (fragP->fr_subtype);
2135 /* Its got a segment, but its not ours, so it will always be long */
2136 fragP->fr_subtype = C (what, UNDEF_WORD_DISP);
2137 fragP->fr_var = md_relax_table[C (what, COND32)].rlx_length;
2138 return md_relax_table[C (what, COND32)].rlx_length;
2139 }
2140 else
2141 {
2142 int what = GET_WHAT (fragP->fr_subtype);
2143 /* We know the abs value */
2144 fragP->fr_subtype = C (what, COND8);
2145 fragP->fr_var = md_relax_table[C (what, COND8)].rlx_length;
2146 }
2147
2148 break;
2149 }
2150 return fragP->fr_var;
2151 }
2152
2153 /* Put number into target byte order */
2154
2155 void
2156 md_number_to_chars (ptr, use, nbytes)
2157 char *ptr;
2158 valueT use;
2159 int nbytes;
2160 {
2161 if (! target_big_endian)
2162 number_to_chars_littleendian (ptr, use, nbytes);
2163 else
2164 number_to_chars_bigendian (ptr, use, nbytes);
2165 }
2166
2167 long
2168 md_pcrel_from (fixP)
2169 fixS *fixP;
2170 {
2171 return fixP->fx_size + fixP->fx_where + fixP->fx_frag->fr_address + 2;
2172 }
2173
2174 #ifdef OBJ_COFF
2175
2176 int
2177 tc_coff_sizemachdep (frag)
2178 fragS *frag;
2179 {
2180 return md_relax_table[frag->fr_subtype].rlx_length;
2181 }
2182
2183 #endif /* OBJ_COFF */
2184
2185 /* When we align the .text section, insert the correct NOP pattern. */
2186
2187 int
2188 sh_do_align (n, fill, len, max)
2189 int n;
2190 const char *fill;
2191 int len;
2192 int max;
2193 {
2194 if (fill == NULL
2195 && subseg_text_p (now_seg)
2196 && n > 1)
2197 {
2198 static const unsigned char big_nop_pattern[] = { 0x00, 0x09 };
2199 static const unsigned char little_nop_pattern[] = { 0x09, 0x00 };
2200
2201 /* First align to a 2 byte boundary, in case there is an odd
2202 .byte. */
2203 frag_align (1, 0, 0);
2204 if (target_big_endian)
2205 frag_align_pattern (n, big_nop_pattern, sizeof big_nop_pattern, max);
2206 else
2207 frag_align_pattern (n, little_nop_pattern, sizeof little_nop_pattern,
2208 max);
2209 return 1;
2210 }
2211
2212 return 0;
2213 }
2214
2215 #ifndef BFD_ASSEMBLER
2216 #ifdef OBJ_COFF
2217
2218 /* Map BFD relocs to SH COFF relocs. */
2219
2220 struct reloc_map
2221 {
2222 bfd_reloc_code_real_type bfd_reloc;
2223 int sh_reloc;
2224 };
2225
2226 static const struct reloc_map coff_reloc_map[] =
2227 {
2228 { BFD_RELOC_32, R_SH_IMM32 },
2229 { BFD_RELOC_16, R_SH_IMM16 },
2230 { BFD_RELOC_8, R_SH_IMM8 },
2231 { BFD_RELOC_SH_PCDISP8BY2, R_SH_PCDISP8BY2 },
2232 { BFD_RELOC_SH_PCDISP12BY2, R_SH_PCDISP },
2233 { BFD_RELOC_SH_IMM4, R_SH_IMM4 },
2234 { BFD_RELOC_SH_IMM4BY2, R_SH_IMM4BY2 },
2235 { BFD_RELOC_SH_IMM4BY4, R_SH_IMM4BY4 },
2236 { BFD_RELOC_SH_IMM8, R_SH_IMM8 },
2237 { BFD_RELOC_SH_IMM8BY2, R_SH_IMM8BY2 },
2238 { BFD_RELOC_SH_IMM8BY4, R_SH_IMM8BY4 },
2239 { BFD_RELOC_SH_PCRELIMM8BY2, R_SH_PCRELIMM8BY2 },
2240 { BFD_RELOC_SH_PCRELIMM8BY4, R_SH_PCRELIMM8BY4 },
2241 { BFD_RELOC_8_PCREL, R_SH_SWITCH8 },
2242 { BFD_RELOC_SH_SWITCH16, R_SH_SWITCH16 },
2243 { BFD_RELOC_SH_SWITCH32, R_SH_SWITCH32 },
2244 { BFD_RELOC_SH_USES, R_SH_USES },
2245 { BFD_RELOC_SH_COUNT, R_SH_COUNT },
2246 { BFD_RELOC_SH_ALIGN, R_SH_ALIGN },
2247 { BFD_RELOC_SH_CODE, R_SH_CODE },
2248 { BFD_RELOC_SH_DATA, R_SH_DATA },
2249 { BFD_RELOC_SH_LABEL, R_SH_LABEL },
2250 { BFD_RELOC_UNUSED, 0 }
2251 };
2252
2253 /* Adjust a reloc for the SH. This is similar to the generic code,
2254 but does some minor tweaking. */
2255
2256 void
2257 sh_coff_reloc_mangle (seg, fix, intr, paddr)
2258 segment_info_type *seg;
2259 fixS *fix;
2260 struct internal_reloc *intr;
2261 unsigned int paddr;
2262 {
2263 symbolS *symbol_ptr = fix->fx_addsy;
2264 symbolS *dot;
2265
2266 intr->r_vaddr = paddr + fix->fx_frag->fr_address + fix->fx_where;
2267
2268 if (! SWITCH_TABLE (fix))
2269 {
2270 const struct reloc_map *rm;
2271
2272 for (rm = coff_reloc_map; rm->bfd_reloc != BFD_RELOC_UNUSED; rm++)
2273 if (rm->bfd_reloc == (bfd_reloc_code_real_type) fix->fx_r_type)
2274 break;
2275 if (rm->bfd_reloc == BFD_RELOC_UNUSED)
2276 as_bad_where (fix->fx_file, fix->fx_line,
2277 _("Can not represent %s relocation in this object file format"),
2278 bfd_get_reloc_code_name (fix->fx_r_type));
2279 intr->r_type = rm->sh_reloc;
2280 intr->r_offset = 0;
2281 }
2282 else
2283 {
2284 know (sh_relax);
2285
2286 if (fix->fx_r_type == BFD_RELOC_16)
2287 intr->r_type = R_SH_SWITCH16;
2288 else if (fix->fx_r_type == BFD_RELOC_8)
2289 intr->r_type = R_SH_SWITCH8;
2290 else if (fix->fx_r_type == BFD_RELOC_32)
2291 intr->r_type = R_SH_SWITCH32;
2292 else
2293 abort ();
2294
2295 /* For a switch reloc, we set r_offset to the difference between
2296 the reloc address and the subtrahend. When the linker is
2297 doing relaxing, it can use the determine the starting and
2298 ending points of the switch difference expression. */
2299 intr->r_offset = intr->r_vaddr - S_GET_VALUE (fix->fx_subsy);
2300 }
2301
2302 /* PC relative relocs are always against the current section. */
2303 if (symbol_ptr == NULL)
2304 {
2305 switch (fix->fx_r_type)
2306 {
2307 case BFD_RELOC_SH_PCRELIMM8BY2:
2308 case BFD_RELOC_SH_PCRELIMM8BY4:
2309 case BFD_RELOC_SH_PCDISP8BY2:
2310 case BFD_RELOC_SH_PCDISP12BY2:
2311 case BFD_RELOC_SH_USES:
2312 symbol_ptr = seg->dot;
2313 break;
2314 default:
2315 break;
2316 }
2317 }
2318
2319 if (fix->fx_r_type == BFD_RELOC_SH_USES)
2320 {
2321 /* We can't store the offset in the object file, since this
2322 reloc does not take up any space, so we store it in r_offset.
2323 The fx_addnumber field was set in md_apply_fix. */
2324 intr->r_offset = fix->fx_addnumber;
2325 }
2326 else if (fix->fx_r_type == BFD_RELOC_SH_COUNT)
2327 {
2328 /* We can't store the count in the object file, since this reloc
2329 does not take up any space, so we store it in r_offset. The
2330 fx_offset field was set when the fixup was created in
2331 sh_coff_frob_file. */
2332 intr->r_offset = fix->fx_offset;
2333 /* This reloc is always absolute. */
2334 symbol_ptr = NULL;
2335 }
2336 else if (fix->fx_r_type == BFD_RELOC_SH_ALIGN)
2337 {
2338 /* Store the alignment in the r_offset field. */
2339 intr->r_offset = fix->fx_offset;
2340 /* This reloc is always absolute. */
2341 symbol_ptr = NULL;
2342 }
2343 else if (fix->fx_r_type == BFD_RELOC_SH_CODE
2344 || fix->fx_r_type == BFD_RELOC_SH_DATA
2345 || fix->fx_r_type == BFD_RELOC_SH_LABEL)
2346 {
2347 /* These relocs are always absolute. */
2348 symbol_ptr = NULL;
2349 }
2350
2351 /* Turn the segment of the symbol into an offset. */
2352 if (symbol_ptr != NULL)
2353 {
2354 dot = segment_info[S_GET_SEGMENT (symbol_ptr)].dot;
2355 if (dot != NULL)
2356 intr->r_symndx = dot->sy_number;
2357 else
2358 intr->r_symndx = symbol_ptr->sy_number;
2359 }
2360 else
2361 intr->r_symndx = -1;
2362 }
2363
2364 #endif /* OBJ_COFF */
2365 #endif /* ! BFD_ASSEMBLER */
2366
2367 #ifdef BFD_ASSEMBLER
2368
2369 /* Create a reloc. */
2370
2371 arelent *
2372 tc_gen_reloc (section, fixp)
2373 asection *section;
2374 fixS *fixp;
2375 {
2376 arelent *rel;
2377 bfd_reloc_code_real_type r_type;
2378
2379 rel = (arelent *) xmalloc (sizeof (arelent));
2380 rel->sym_ptr_ptr = (asymbol **) xmalloc (sizeof (asymbol *));
2381 *rel->sym_ptr_ptr = symbol_get_bfdsym (fixp->fx_addsy);
2382 rel->address = fixp->fx_frag->fr_address + fixp->fx_where;
2383
2384 r_type = fixp->fx_r_type;
2385
2386 if (SWITCH_TABLE (fixp))
2387 {
2388 rel->addend = rel->address - S_GET_VALUE (fixp->fx_subsy);
2389 if (r_type == BFD_RELOC_16)
2390 r_type = BFD_RELOC_SH_SWITCH16;
2391 else if (r_type == BFD_RELOC_8)
2392 r_type = BFD_RELOC_8_PCREL;
2393 else if (r_type == BFD_RELOC_32)
2394 r_type = BFD_RELOC_SH_SWITCH32;
2395 else
2396 abort ();
2397 }
2398 else if (r_type == BFD_RELOC_SH_USES)
2399 rel->addend = fixp->fx_addnumber;
2400 else if (r_type == BFD_RELOC_SH_COUNT)
2401 rel->addend = fixp->fx_offset;
2402 else if (r_type == BFD_RELOC_SH_ALIGN)
2403 rel->addend = fixp->fx_offset;
2404 else if (r_type == BFD_RELOC_VTABLE_INHERIT
2405 || r_type == BFD_RELOC_VTABLE_ENTRY)
2406 rel->addend = fixp->fx_offset;
2407 else if (fixp->fx_pcrel)
2408 rel->addend = fixp->fx_addnumber;
2409 else
2410 rel->addend = 0;
2411
2412 rel->howto = bfd_reloc_type_lookup (stdoutput, r_type);
2413 if (rel->howto == NULL)
2414 {
2415 as_bad_where (fixp->fx_file, fixp->fx_line,
2416 _("Cannot represent relocation type %s"),
2417 bfd_get_reloc_code_name (r_type));
2418 /* Set howto to a garbage value so that we can keep going. */
2419 rel->howto = bfd_reloc_type_lookup (stdoutput, BFD_RELOC_32);
2420 assert (rel->howto != NULL);
2421 }
2422
2423 return rel;
2424 }
2425
2426 #endif /* BFD_ASSEMBLER */
This page took 0.081152 seconds and 4 git commands to generate.