OpenCores
URL https://opencores.org/ocsvn/or1k/or1k/trunk

Subversion Repositories or1k

[/] [or1k/] [trunk/] [insight/] [bfd/] [coff-sh.c] - Blame information for rev 1771

Go to most recent revision | Details | Compare with Previous | View Log

Line No. Rev Author Line
1 578 markom
/* BFD back-end for Hitachi Super-H COFF binaries.
2
   Copyright 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000
3
   Free Software Foundation, Inc.
4
   Contributed by Cygnus Support.
5
   Written by Steve Chamberlain, <sac@cygnus.com>.
6
   Relaxing code written by Ian Lance Taylor, <ian@cygnus.com>.
7
 
8
This file is part of BFD, the Binary File Descriptor library.
9
 
10
This program is free software; you can redistribute it and/or modify
11
it under the terms of the GNU General Public License as published by
12
the Free Software Foundation; either version 2 of the License, or
13
(at your option) any later version.
14
 
15
This program is distributed in the hope that it will be useful,
16
but WITHOUT ANY WARRANTY; without even the implied warranty of
17
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
18
GNU General Public License for more details.
19
 
20
You should have received a copy of the GNU General Public License
21
along with this program; if not, write to the Free Software
22
Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.  */
23
 
24
#include "bfd.h"
25
#include "sysdep.h"
26
#include "libbfd.h"
27
#include "bfdlink.h"
28
#include "coff/sh.h"
29
#include "coff/internal.h"
30
 
31
#ifdef COFF_WITH_PE
32
#include "coff/pe.h"
33
 
34
#ifndef COFF_IMAGE_WITH_PE
35
static boolean sh_align_load_span
36
  PARAMS ((bfd *, asection *, bfd_byte *,
37
           boolean (*) (bfd *, asection *, PTR, bfd_byte *, bfd_vma),
38
           PTR, bfd_vma **, bfd_vma *, bfd_vma, bfd_vma, boolean *));
39
 
40
#define _bfd_sh_align_load_span sh_align_load_span
41
#endif
42
#endif
43
 
44
#include "libcoff.h"
45
 
46
/* Internal functions.  */
47
static bfd_reloc_status_type sh_reloc
48
  PARAMS ((bfd *, arelent *, asymbol *, PTR, asection *, bfd *, char **));
49
static long get_symbol_value PARAMS ((asymbol *));
50
static boolean sh_relax_section
51
  PARAMS ((bfd *, asection *, struct bfd_link_info *, boolean *));
52
static boolean sh_relax_delete_bytes
53
  PARAMS ((bfd *, asection *, bfd_vma, int));
54
#ifndef COFF_IMAGE_WITH_PE
55
static const struct sh_opcode *sh_insn_info PARAMS ((unsigned int));
56
#endif
57
static boolean sh_align_loads
58
  PARAMS ((bfd *, asection *, struct internal_reloc *, bfd_byte *, boolean *));
59
static boolean sh_swap_insns
60
  PARAMS ((bfd *, asection *, PTR, bfd_byte *, bfd_vma));
61
static boolean sh_relocate_section
62
  PARAMS ((bfd *, struct bfd_link_info *, bfd *, asection *, bfd_byte *,
63
           struct internal_reloc *, struct internal_syment *, asection **));
64
static bfd_byte *sh_coff_get_relocated_section_contents
65
  PARAMS ((bfd *, struct bfd_link_info *, struct bfd_link_order *,
66
           bfd_byte *, boolean, asymbol **));
67
 
68
#ifdef COFF_WITH_PE
69
/* Can't build import tables with 2**4 alignment.  */
70
#define COFF_DEFAULT_SECTION_ALIGNMENT_POWER    2
71
#else
72
/* Default section alignment to 2**4.  */
73
#define COFF_DEFAULT_SECTION_ALIGNMENT_POWER    4
74
#endif
75
 
76
#ifdef COFF_IMAGE_WITH_PE
77
/* Align PE executables.  */
78
#define COFF_PAGE_SIZE 0x1000
79
#endif
80
 
81
/* Generate long file names.  */
82
#define COFF_LONG_FILENAMES
83
 
84
#ifdef COFF_WITH_PE
85
/* Return true if this relocation should
86
   appear in the output .reloc section.  */
87
static boolean in_reloc_p (abfd, howto)
88
     bfd * abfd ATTRIBUTE_UNUSED;
89
     reloc_howto_type * howto;
90
{
91
  return ! howto->pc_relative && howto->type != R_SH_IMAGEBASE;
92
}
93
#endif
94
 
95
/* The supported relocations.  There are a lot of relocations defined
96
   in coff/internal.h which we do not expect to ever see.  */
97
static reloc_howto_type sh_coff_howtos[] =
98
{
99
  EMPTY_HOWTO (0),
100
  EMPTY_HOWTO (1),
101
#ifdef COFF_WITH_PE
102
  /* Windows CE */
103
  HOWTO (R_SH_IMM32CE,          /* type */
104
         0,                      /* rightshift */
105
         2,                     /* size (0 = byte, 1 = short, 2 = long) */
106
         32,                    /* bitsize */
107
         false,                 /* pc_relative */
108
         0,                      /* bitpos */
109
         complain_overflow_bitfield, /* complain_on_overflow */
110
         sh_reloc,              /* special_function */
111
         "r_imm32ce",           /* name */
112
         true,                  /* partial_inplace */
113
         0xffffffff,            /* src_mask */
114
         0xffffffff,            /* dst_mask */
115
         false),                /* pcrel_offset */
116
#else
117
  EMPTY_HOWTO (2),
118
#endif
119
  EMPTY_HOWTO (3), /* R_SH_PCREL8 */
120
  EMPTY_HOWTO (4), /* R_SH_PCREL16 */
121
  EMPTY_HOWTO (5), /* R_SH_HIGH8 */
122
  EMPTY_HOWTO (6), /* R_SH_IMM24 */
123
  EMPTY_HOWTO (7), /* R_SH_LOW16 */
124
  EMPTY_HOWTO (8),
125
  EMPTY_HOWTO (9), /* R_SH_PCDISP8BY4 */
126
 
127
  HOWTO (R_SH_PCDISP8BY2,       /* type */
128
         1,                     /* rightshift */
129
         1,                     /* size (0 = byte, 1 = short, 2 = long) */
130
         8,                     /* bitsize */
131
         true,                  /* pc_relative */
132
         0,                      /* bitpos */
133
         complain_overflow_signed, /* complain_on_overflow */
134
         sh_reloc,              /* special_function */
135
         "r_pcdisp8by2",        /* name */
136
         true,                  /* partial_inplace */
137
         0xff,                  /* src_mask */
138
         0xff,                  /* dst_mask */
139
         true),                 /* pcrel_offset */
140
 
141
  EMPTY_HOWTO (11), /* R_SH_PCDISP8 */
142
 
143
  HOWTO (R_SH_PCDISP,           /* type */
144
         1,                     /* rightshift */
145
         1,                     /* size (0 = byte, 1 = short, 2 = long) */
146
         12,                    /* bitsize */
147
         true,                  /* pc_relative */
148
         0,                      /* bitpos */
149
         complain_overflow_signed, /* complain_on_overflow */
150
         sh_reloc,              /* special_function */
151
         "r_pcdisp12by2",       /* name */
152
         true,                  /* partial_inplace */
153
         0xfff,                 /* src_mask */
154
         0xfff,                 /* dst_mask */
155
         true),                 /* pcrel_offset */
156
 
157
  EMPTY_HOWTO (13),
158
 
159
  HOWTO (R_SH_IMM32,            /* type */
160
         0,                      /* rightshift */
161
         2,                     /* size (0 = byte, 1 = short, 2 = long) */
162
         32,                    /* bitsize */
163
         false,                 /* pc_relative */
164
         0,                      /* bitpos */
165
         complain_overflow_bitfield, /* complain_on_overflow */
166
         sh_reloc,              /* special_function */
167
         "r_imm32",             /* name */
168
         true,                  /* partial_inplace */
169
         0xffffffff,            /* src_mask */
170
         0xffffffff,            /* dst_mask */
171
         false),                /* pcrel_offset */
172
 
173
  EMPTY_HOWTO (15),
174
#ifdef COFF_WITH_PE
175
  HOWTO (R_SH_IMAGEBASE,        /* type */
176
         0,                      /* rightshift */
177
         2,                     /* size (0 = byte, 1 = short, 2 = long) */
178
         32,                    /* bitsize */
179
         false,                 /* pc_relative */
180
         0,                      /* bitpos */
181
         complain_overflow_bitfield, /* complain_on_overflow */
182
         sh_reloc,              /* special_function */
183
         "rva32",               /* name */
184
         true,                  /* partial_inplace */
185
         0xffffffff,            /* src_mask */
186
         0xffffffff,            /* dst_mask */
187
         false),                /* pcrel_offset */
188
#else
189
  EMPTY_HOWTO (16), /* R_SH_IMM8 */
190
#endif
191
  EMPTY_HOWTO (17), /* R_SH_IMM8BY2 */
192
  EMPTY_HOWTO (18), /* R_SH_IMM8BY4 */
193
  EMPTY_HOWTO (19), /* R_SH_IMM4 */
194
  EMPTY_HOWTO (20), /* R_SH_IMM4BY2 */
195
  EMPTY_HOWTO (21), /* R_SH_IMM4BY4 */
196
 
197
  HOWTO (R_SH_PCRELIMM8BY2,     /* type */
198
         1,                     /* rightshift */
199
         1,                     /* size (0 = byte, 1 = short, 2 = long) */
200
         8,                     /* bitsize */
201
         true,                  /* pc_relative */
202
         0,                      /* bitpos */
203
         complain_overflow_unsigned, /* complain_on_overflow */
204
         sh_reloc,              /* special_function */
205
         "r_pcrelimm8by2",      /* name */
206
         true,                  /* partial_inplace */
207
         0xff,                  /* src_mask */
208
         0xff,                  /* dst_mask */
209
         true),                 /* pcrel_offset */
210
 
211
  HOWTO (R_SH_PCRELIMM8BY4,     /* type */
212
         2,                     /* rightshift */
213
         1,                     /* size (0 = byte, 1 = short, 2 = long) */
214
         8,                     /* bitsize */
215
         true,                  /* pc_relative */
216
         0,                      /* bitpos */
217
         complain_overflow_unsigned, /* complain_on_overflow */
218
         sh_reloc,              /* special_function */
219
         "r_pcrelimm8by4",      /* name */
220
         true,                  /* partial_inplace */
221
         0xff,                  /* src_mask */
222
         0xff,                  /* dst_mask */
223
         true),                 /* pcrel_offset */
224
 
225
  HOWTO (R_SH_IMM16,            /* type */
226
         0,                      /* rightshift */
227
         1,                     /* size (0 = byte, 1 = short, 2 = long) */
228
         16,                    /* bitsize */
229
         false,                 /* pc_relative */
230
         0,                      /* bitpos */
231
         complain_overflow_bitfield, /* complain_on_overflow */
232
         sh_reloc,              /* special_function */
233
         "r_imm16",             /* name */
234
         true,                  /* partial_inplace */
235
         0xffff,                /* src_mask */
236
         0xffff,                /* dst_mask */
237
         false),                /* pcrel_offset */
238
 
239
  HOWTO (R_SH_SWITCH16,         /* type */
240
         0,                      /* rightshift */
241
         1,                     /* size (0 = byte, 1 = short, 2 = long) */
242
         16,                    /* bitsize */
243
         false,                 /* pc_relative */
244
         0,                      /* bitpos */
245
         complain_overflow_bitfield, /* complain_on_overflow */
246
         sh_reloc,              /* special_function */
247
         "r_switch16",          /* name */
248
         true,                  /* partial_inplace */
249
         0xffff,                /* src_mask */
250
         0xffff,                /* dst_mask */
251
         false),                /* pcrel_offset */
252
 
253
  HOWTO (R_SH_SWITCH32,         /* type */
254
         0,                      /* rightshift */
255
         2,                     /* size (0 = byte, 1 = short, 2 = long) */
256
         32,                    /* bitsize */
257
         false,                 /* pc_relative */
258
         0,                      /* bitpos */
259
         complain_overflow_bitfield, /* complain_on_overflow */
260
         sh_reloc,              /* special_function */
261
         "r_switch32",          /* name */
262
         true,                  /* partial_inplace */
263
         0xffffffff,            /* src_mask */
264
         0xffffffff,            /* dst_mask */
265
         false),                /* pcrel_offset */
266
 
267
  HOWTO (R_SH_USES,             /* type */
268
         0,                      /* rightshift */
269
         1,                     /* size (0 = byte, 1 = short, 2 = long) */
270
         16,                    /* bitsize */
271
         false,                 /* pc_relative */
272
         0,                      /* bitpos */
273
         complain_overflow_bitfield, /* complain_on_overflow */
274
         sh_reloc,              /* special_function */
275
         "r_uses",              /* name */
276
         true,                  /* partial_inplace */
277
         0xffff,                /* src_mask */
278
         0xffff,                /* dst_mask */
279
         false),                /* pcrel_offset */
280
 
281
  HOWTO (R_SH_COUNT,            /* type */
282
         0,                      /* rightshift */
283
         2,                     /* size (0 = byte, 1 = short, 2 = long) */
284
         32,                    /* bitsize */
285
         false,                 /* pc_relative */
286
         0,                      /* bitpos */
287
         complain_overflow_bitfield, /* complain_on_overflow */
288
         sh_reloc,              /* special_function */
289
         "r_count",             /* name */
290
         true,                  /* partial_inplace */
291
         0xffffffff,            /* src_mask */
292
         0xffffffff,            /* dst_mask */
293
         false),                /* pcrel_offset */
294
 
295
  HOWTO (R_SH_ALIGN,            /* type */
296
         0,                      /* rightshift */
297
         2,                     /* size (0 = byte, 1 = short, 2 = long) */
298
         32,                    /* bitsize */
299
         false,                 /* pc_relative */
300
         0,                      /* bitpos */
301
         complain_overflow_bitfield, /* complain_on_overflow */
302
         sh_reloc,              /* special_function */
303
         "r_align",             /* name */
304
         true,                  /* partial_inplace */
305
         0xffffffff,            /* src_mask */
306
         0xffffffff,            /* dst_mask */
307
         false),                /* pcrel_offset */
308
 
309
  HOWTO (R_SH_CODE,             /* type */
310
         0,                      /* rightshift */
311
         2,                     /* size (0 = byte, 1 = short, 2 = long) */
312
         32,                    /* bitsize */
313
         false,                 /* pc_relative */
314
         0,                      /* bitpos */
315
         complain_overflow_bitfield, /* complain_on_overflow */
316
         sh_reloc,              /* special_function */
317
         "r_code",              /* name */
318
         true,                  /* partial_inplace */
319
         0xffffffff,            /* src_mask */
320
         0xffffffff,            /* dst_mask */
321
         false),                /* pcrel_offset */
322
 
323
  HOWTO (R_SH_DATA,             /* type */
324
         0,                      /* rightshift */
325
         2,                     /* size (0 = byte, 1 = short, 2 = long) */
326
         32,                    /* bitsize */
327
         false,                 /* pc_relative */
328
         0,                      /* bitpos */
329
         complain_overflow_bitfield, /* complain_on_overflow */
330
         sh_reloc,              /* special_function */
331
         "r_data",              /* name */
332
         true,                  /* partial_inplace */
333
         0xffffffff,            /* src_mask */
334
         0xffffffff,            /* dst_mask */
335
         false),                /* pcrel_offset */
336
 
337
  HOWTO (R_SH_LABEL,            /* type */
338
         0,                      /* rightshift */
339
         2,                     /* size (0 = byte, 1 = short, 2 = long) */
340
         32,                    /* bitsize */
341
         false,                 /* pc_relative */
342
         0,                      /* bitpos */
343
         complain_overflow_bitfield, /* complain_on_overflow */
344
         sh_reloc,              /* special_function */
345
         "r_label",             /* name */
346
         true,                  /* partial_inplace */
347
         0xffffffff,            /* src_mask */
348
         0xffffffff,            /* dst_mask */
349
         false),                /* pcrel_offset */
350
 
351
  HOWTO (R_SH_SWITCH8,          /* type */
352
         0,                      /* rightshift */
353
         0,                      /* size (0 = byte, 1 = short, 2 = long) */
354
         8,                     /* bitsize */
355
         false,                 /* pc_relative */
356
         0,                      /* bitpos */
357
         complain_overflow_bitfield, /* complain_on_overflow */
358
         sh_reloc,              /* special_function */
359
         "r_switch8",           /* name */
360
         true,                  /* partial_inplace */
361
         0xff,                  /* src_mask */
362
         0xff,                  /* dst_mask */
363
         false)                 /* pcrel_offset */
364
};
365
 
366
#define SH_COFF_HOWTO_COUNT (sizeof sh_coff_howtos / sizeof sh_coff_howtos[0])
367
 
368
/* Check for a bad magic number.  */
369
#define BADMAG(x) SHBADMAG(x)
370
 
371
/* Customize coffcode.h (this is not currently used).  */
372
#define SH 1
373
 
374
/* FIXME: This should not be set here.  */
375
#define __A_MAGIC_SET__
376
 
377
#ifndef COFF_WITH_PE
378
/* Swap the r_offset field in and out.  */
379
#define SWAP_IN_RELOC_OFFSET  bfd_h_get_32
380
#define SWAP_OUT_RELOC_OFFSET bfd_h_put_32
381
 
382
/* Swap out extra information in the reloc structure.  */
383
#define SWAP_OUT_RELOC_EXTRA(abfd, src, dst)    \
384
  do                                            \
385
    {                                           \
386
      dst->r_stuff[0] = 'S';                     \
387
      dst->r_stuff[1] = 'C';                    \
388
    }                                           \
389
  while (0)
390
#endif
391
 
392
/* Get the value of a symbol, when performing a relocation.  */
393
 
394
static long
395
get_symbol_value (symbol)
396
     asymbol *symbol;
397
{
398
  bfd_vma relocation;
399
 
400
  if (bfd_is_com_section (symbol->section))
401
    relocation = 0;
402
  else
403
    relocation = (symbol->value +
404
                  symbol->section->output_section->vma +
405
                  symbol->section->output_offset);
406
 
407
  return relocation;
408
}
409
 
410
#ifdef COFF_WITH_PE
411
/* Convert an rtype to howto for the COFF backend linker.
412
   Copied from coff-i386.  */
413
#define coff_rtype_to_howto coff_sh_rtype_to_howto
414
 
415
static reloc_howto_type *
416
coff_sh_rtype_to_howto (abfd, sec, rel, h, sym, addendp)
417
     bfd * abfd ATTRIBUTE_UNUSED;
418
     asection * sec;
419
     struct internal_reloc * rel;
420
     struct coff_link_hash_entry * h;
421
     struct internal_syment * sym;
422
     bfd_vma * addendp;
423
{
424
  reloc_howto_type * howto;
425
 
426
  howto = sh_coff_howtos + rel->r_type;
427
 
428
  *addendp = 0;
429
 
430
  if (howto->pc_relative)
431
    *addendp += sec->vma;
432
 
433
  if (sym != NULL && sym->n_scnum == 0 && sym->n_value != 0)
434
    {
435
      /* This is a common symbol.  The section contents include the
436
         size (sym->n_value) as an addend.  The relocate_section
437
         function will be adding in the final value of the symbol.  We
438
         need to subtract out the current size in order to get the
439
         correct result.  */
440
      BFD_ASSERT (h != NULL);
441
    }
442
 
443
  if (howto->pc_relative)
444
    {
445
      *addendp -= 4;
446
 
447
      /* If the symbol is defined, then the generic code is going to
448
         add back the symbol value in order to cancel out an
449
         adjustment it made to the addend.  However, we set the addend
450
         to 0 at the start of this function.  We need to adjust here,
451
         to avoid the adjustment the generic code will make.  FIXME:
452
         This is getting a bit hackish.  */
453
      if (sym != NULL && sym->n_scnum != 0)
454
        *addendp -= sym->n_value;
455
    }
456
 
457
  if (rel->r_type == R_SH_IMAGEBASE)
458
    *addendp -= pe_data (sec->output_section->owner)->pe_opthdr.ImageBase;
459
 
460
  return howto;
461
}
462
 
463
/* This structure is used to map BFD reloc codes to SH PE relocs.  */
464
struct shcoff_reloc_map
465
{
466
  unsigned char bfd_reloc_val;
467
  unsigned char shcoff_reloc_val;
468
};
469
 
470
/* An array mapping BFD reloc codes to SH PE relocs.  */
471
static const struct shcoff_reloc_map sh_reloc_map[] =
472
{
473
  { BFD_RELOC_32, R_SH_IMM32CE },
474
  { BFD_RELOC_RVA, R_SH_IMAGEBASE },
475
  { BFD_RELOC_CTOR, R_SH_IMM32CE },
476
};
477
 
478
/* Given a BFD reloc code, return the howto structure for the
479
   corresponding SH PE reloc.  */
480
#define coff_bfd_reloc_type_lookup      sh_coff_reloc_type_lookup
481
 
482
static reloc_howto_type *
483
sh_coff_reloc_type_lookup (abfd, code)
484
     bfd * abfd ATTRIBUTE_UNUSED;
485
     bfd_reloc_code_real_type code;
486
{
487
  unsigned int i;
488
 
489
  for (i = 0; i < sizeof (sh_reloc_map) / sizeof (struct shcoff_reloc_map); i++)
490
    {
491
      if (sh_reloc_map[i].bfd_reloc_val == code)
492
        return &sh_coff_howtos[(int) sh_reloc_map[i].shcoff_reloc_val];
493
    }
494
 
495
  fprintf (stderr, "SH Error: unknown reloc type %d\n", code);
496
  return NULL;
497
}
498
#endif /* COFF_WITH_PE */
499
 
500
/* This macro is used in coffcode.h to get the howto corresponding to
501
   an internal reloc.  */
502
 
503
#define RTYPE2HOWTO(relent, internal)           \
504
  ((relent)->howto =                            \
505
   ((internal)->r_type < SH_COFF_HOWTO_COUNT    \
506
    ? &sh_coff_howtos[(internal)->r_type]       \
507
    : (reloc_howto_type *) NULL))
508
 
509
/* This is the same as the macro in coffcode.h, except that it copies
510
   r_offset into reloc_entry->addend for some relocs.  */
511
#define CALC_ADDEND(abfd, ptr, reloc, cache_ptr)                \
512
  {                                                             \
513
    coff_symbol_type *coffsym = (coff_symbol_type *) NULL;      \
514
    if (ptr && bfd_asymbol_bfd (ptr) != abfd)                   \
515
      coffsym = (obj_symbols (abfd)                             \
516
                 + (cache_ptr->sym_ptr_ptr - symbols));         \
517
    else if (ptr)                                               \
518
      coffsym = coff_symbol_from (abfd, ptr);                   \
519
    if (coffsym != (coff_symbol_type *) NULL                    \
520
        && coffsym->native->u.syment.n_scnum == 0)              \
521
      cache_ptr->addend = 0;                                    \
522
    else if (ptr && bfd_asymbol_bfd (ptr) == abfd               \
523
             && ptr->section != (asection *) NULL)              \
524
      cache_ptr->addend = - (ptr->section->vma + ptr->value);   \
525
    else                                                        \
526
      cache_ptr->addend = 0;                                    \
527
    if ((reloc).r_type == R_SH_SWITCH8                          \
528
        || (reloc).r_type == R_SH_SWITCH16                      \
529
        || (reloc).r_type == R_SH_SWITCH32                      \
530
        || (reloc).r_type == R_SH_USES                          \
531
        || (reloc).r_type == R_SH_COUNT                         \
532
        || (reloc).r_type == R_SH_ALIGN)                        \
533
      cache_ptr->addend = (reloc).r_offset;                     \
534
  }
535
 
536
/* This is the howto function for the SH relocations.  */
537
 
538
static bfd_reloc_status_type
539
sh_reloc (abfd, reloc_entry, symbol_in, data, input_section, output_bfd,
540
          error_message)
541
     bfd *abfd;
542
     arelent *reloc_entry;
543
     asymbol *symbol_in;
544
     PTR data;
545
     asection *input_section;
546
     bfd *output_bfd;
547
     char **error_message ATTRIBUTE_UNUSED;
548
{
549
  unsigned long insn;
550
  bfd_vma sym_value;
551
  unsigned short r_type;
552
  bfd_vma addr = reloc_entry->address;
553
  bfd_byte *hit_data = addr + (bfd_byte *) data;
554
 
555
  r_type = reloc_entry->howto->type;
556
 
557
  if (output_bfd != NULL)
558
    {
559
      /* Partial linking--do nothing.  */
560
      reloc_entry->address += input_section->output_offset;
561
      return bfd_reloc_ok;
562
    }
563
 
564
  /* Almost all relocs have to do with relaxing.  If any work must be
565
     done for them, it has been done in sh_relax_section.  */
566
  if (r_type != R_SH_IMM32
567
#ifdef COFF_WITH_PE
568
      && r_type != R_SH_IMM32CE
569
      && r_type != R_SH_IMAGEBASE
570
#endif
571
      && (r_type != R_SH_PCDISP
572
          || (symbol_in->flags & BSF_LOCAL) != 0))
573
    return bfd_reloc_ok;
574
 
575
  if (symbol_in != NULL
576
      && bfd_is_und_section (symbol_in->section))
577
    return bfd_reloc_undefined;
578
 
579
  sym_value = get_symbol_value (symbol_in);
580
 
581
  switch (r_type)
582
    {
583
    case R_SH_IMM32:
584
#ifdef COFF_WITH_PE
585
    case R_SH_IMM32CE:
586
#endif
587
      insn = bfd_get_32 (abfd, hit_data);
588
      insn += sym_value + reloc_entry->addend;
589
      bfd_put_32 (abfd, insn, hit_data);
590
      break;
591
#ifdef COFF_WITH_PE
592
    case R_SH_IMAGEBASE:
593
      insn = bfd_get_32 (abfd, hit_data);
594
      insn += (sym_value + reloc_entry->addend
595
               - pe_data (input_section->output_section->owner)->pe_opthdr.ImageBase);
596
      bfd_put_32 (abfd, insn, hit_data);
597
      break;
598
#endif
599
    case R_SH_PCDISP:
600
      insn = bfd_get_16 (abfd, hit_data);
601
      sym_value += reloc_entry->addend;
602
      sym_value -= (input_section->output_section->vma
603
                    + input_section->output_offset
604
                    + addr
605
                    + 4);
606
      sym_value += (insn & 0xfff) << 1;
607
      if (insn & 0x800)
608
        sym_value -= 0x1000;
609
      insn = (insn & 0xf000) | (sym_value & 0xfff);
610
      bfd_put_16 (abfd, insn, hit_data);
611
      if (sym_value < (bfd_vma) -0x1000 || sym_value >= 0x1000)
612
        return bfd_reloc_overflow;
613
      break;
614
    default:
615
      abort ();
616
      break;
617
    }
618
 
619
  return bfd_reloc_ok;
620
}
621
 
622
#define coff_bfd_merge_private_bfd_data _bfd_generic_verify_endian_match
623
 
624
/* We can do relaxing.  */
625
#define coff_bfd_relax_section sh_relax_section
626
 
627
/* We use the special COFF backend linker.  */
628
#define coff_relocate_section sh_relocate_section
629
 
630
/* When relaxing, we need to use special code to get the relocated
631
   section contents.  */
632
#define coff_bfd_get_relocated_section_contents \
633
  sh_coff_get_relocated_section_contents
634
 
635
#include "coffcode.h"
636
 
637
/* This function handles relaxing on the SH.
638
 
639
   Function calls on the SH look like this:
640
 
641
       movl  L1,r0
642
       ...
643
       jsr   @r0
644
       ...
645
     L1:
646
       .long function
647
 
648
   The compiler and assembler will cooperate to create R_SH_USES
649
   relocs on the jsr instructions.  The r_offset field of the
650
   R_SH_USES reloc is the PC relative offset to the instruction which
651
   loads the register (the r_offset field is computed as though it
652
   were a jump instruction, so the offset value is actually from four
653
   bytes past the instruction).  The linker can use this reloc to
654
   determine just which function is being called, and thus decide
655
   whether it is possible to replace the jsr with a bsr.
656
 
657
   If multiple function calls are all based on a single register load
658
   (i.e., the same function is called multiple times), the compiler
659
   guarantees that each function call will have an R_SH_USES reloc.
660
   Therefore, if the linker is able to convert each R_SH_USES reloc
661
   which refers to that address, it can safely eliminate the register
662
   load.
663
 
664
   When the assembler creates an R_SH_USES reloc, it examines it to
665
   determine which address is being loaded (L1 in the above example).
666
   It then counts the number of references to that address, and
667
   creates an R_SH_COUNT reloc at that address.  The r_offset field of
668
   the R_SH_COUNT reloc will be the number of references.  If the
669
   linker is able to eliminate a register load, it can use the
670
   R_SH_COUNT reloc to see whether it can also eliminate the function
671
   address.
672
 
673
   SH relaxing also handles another, unrelated, matter.  On the SH, if
674
   a load or store instruction is not aligned on a four byte boundary,
675
   the memory cycle interferes with the 32 bit instruction fetch,
676
   causing a one cycle bubble in the pipeline.  Therefore, we try to
677
   align load and store instructions on four byte boundaries if we
678
   can, by swapping them with one of the adjacent instructions.  */
679
 
680
static boolean
681
sh_relax_section (abfd, sec, link_info, again)
682
     bfd *abfd;
683
     asection *sec;
684
     struct bfd_link_info *link_info;
685
     boolean *again;
686
{
687
  struct internal_reloc *internal_relocs;
688
  struct internal_reloc *free_relocs = NULL;
689
  boolean have_code;
690
  struct internal_reloc *irel, *irelend;
691
  bfd_byte *contents = NULL;
692
  bfd_byte *free_contents = NULL;
693
 
694
  *again = false;
695
 
696
  if (link_info->relocateable
697
      || (sec->flags & SEC_RELOC) == 0
698
      || sec->reloc_count == 0)
699
    return true;
700
 
701
  /* If this is the first time we have been called for this section,
702
     initialize the cooked size.  */
703
  if (sec->_cooked_size == 0)
704
    sec->_cooked_size = sec->_raw_size;
705
 
706
  internal_relocs = (_bfd_coff_read_internal_relocs
707
                     (abfd, sec, link_info->keep_memory,
708
                      (bfd_byte *) NULL, false,
709
                      (struct internal_reloc *) NULL));
710
  if (internal_relocs == NULL)
711
    goto error_return;
712
  if (! link_info->keep_memory)
713
    free_relocs = internal_relocs;
714
 
715
  have_code = false;
716
 
717
  irelend = internal_relocs + sec->reloc_count;
718
  for (irel = internal_relocs; irel < irelend; irel++)
719
    {
720
      bfd_vma laddr, paddr, symval;
721
      unsigned short insn;
722
      struct internal_reloc *irelfn, *irelscan, *irelcount;
723
      struct internal_syment sym;
724
      bfd_signed_vma foff;
725
 
726
      if (irel->r_type == R_SH_CODE)
727
        have_code = true;
728
 
729
      if (irel->r_type != R_SH_USES)
730
        continue;
731
 
732
      /* Get the section contents.  */
733
      if (contents == NULL)
734
        {
735
          if (coff_section_data (abfd, sec) != NULL
736
              && coff_section_data (abfd, sec)->contents != NULL)
737
            contents = coff_section_data (abfd, sec)->contents;
738
          else
739
            {
740
              contents = (bfd_byte *) bfd_malloc (sec->_raw_size);
741
              if (contents == NULL)
742
                goto error_return;
743
              free_contents = contents;
744
 
745
              if (! bfd_get_section_contents (abfd, sec, contents,
746
                                              (file_ptr) 0, sec->_raw_size))
747
                goto error_return;
748
            }
749
        }
750
 
751
      /* The r_offset field of the R_SH_USES reloc will point us to
752
         the register load.  The 4 is because the r_offset field is
753
         computed as though it were a jump offset, which are based
754
         from 4 bytes after the jump instruction.  */
755
      laddr = irel->r_vaddr - sec->vma + 4;
756
      /* Careful to sign extend the 32-bit offset.  */
757
      laddr += ((irel->r_offset & 0xffffffff) ^ 0x80000000) - 0x80000000;
758
      if (laddr >= sec->_raw_size)
759
        {
760
          (*_bfd_error_handler) ("%s: 0x%lx: warning: bad R_SH_USES offset",
761
                                 bfd_get_filename (abfd),
762
                                 (unsigned long) irel->r_vaddr);
763
          continue;
764
        }
765
      insn = bfd_get_16 (abfd, contents + laddr);
766
 
767
      /* If the instruction is not mov.l NN,rN, we don't know what to do.  */
768
      if ((insn & 0xf000) != 0xd000)
769
        {
770
          ((*_bfd_error_handler)
771
           ("%s: 0x%lx: warning: R_SH_USES points to unrecognized insn 0x%x",
772
            bfd_get_filename (abfd), (unsigned long) irel->r_vaddr, insn));
773
          continue;
774
        }
775
 
776
      /* Get the address from which the register is being loaded.  The
777
         displacement in the mov.l instruction is quadrupled.  It is a
778
         displacement from four bytes after the movl instruction, but,
779
         before adding in the PC address, two least significant bits
780
         of the PC are cleared.  We assume that the section is aligned
781
         on a four byte boundary.  */
782
      paddr = insn & 0xff;
783
      paddr *= 4;
784
      paddr += (laddr + 4) &~ 3;
785
      if (paddr >= sec->_raw_size)
786
        {
787
          ((*_bfd_error_handler)
788
           ("%s: 0x%lx: warning: bad R_SH_USES load offset",
789
            bfd_get_filename (abfd), (unsigned long) irel->r_vaddr));
790
          continue;
791
        }
792
 
793
      /* Get the reloc for the address from which the register is
794
         being loaded.  This reloc will tell us which function is
795
         actually being called.  */
796
      paddr += sec->vma;
797
      for (irelfn = internal_relocs; irelfn < irelend; irelfn++)
798
        if (irelfn->r_vaddr == paddr
799
#ifdef COFF_WITH_PE
800
            && (irelfn->r_type == R_SH_IMM32
801
                || irelfn->r_type == R_SH_IMM32CE
802
                || irelfn->r_type == R_SH_IMAGEBASE))
803
 
804
#else
805
            && irelfn->r_type == R_SH_IMM32)
806
#endif
807
          break;
808
      if (irelfn >= irelend)
809
        {
810
          ((*_bfd_error_handler)
811
           ("%s: 0x%lx: warning: could not find expected reloc",
812
            bfd_get_filename (abfd), (unsigned long) paddr));
813
          continue;
814
        }
815
 
816
      /* Get the value of the symbol referred to by the reloc.  */
817
      if (! _bfd_coff_get_external_symbols (abfd))
818
        goto error_return;
819
      bfd_coff_swap_sym_in (abfd,
820
                            ((bfd_byte *) obj_coff_external_syms (abfd)
821
                             + (irelfn->r_symndx
822
                                * bfd_coff_symesz (abfd))),
823
                            &sym);
824
      if (sym.n_scnum != 0 && sym.n_scnum != sec->target_index)
825
        {
826
          ((*_bfd_error_handler)
827
           ("%s: 0x%lx: warning: symbol in unexpected section",
828
            bfd_get_filename (abfd), (unsigned long) paddr));
829
          continue;
830
        }
831
 
832
      if (sym.n_sclass != C_EXT)
833
        {
834
          symval = (sym.n_value
835
                    - sec->vma
836
                    + sec->output_section->vma
837
                    + sec->output_offset);
838
        }
839
      else
840
        {
841
          struct coff_link_hash_entry *h;
842
 
843
          h = obj_coff_sym_hashes (abfd)[irelfn->r_symndx];
844
          BFD_ASSERT (h != NULL);
845
          if (h->root.type != bfd_link_hash_defined
846
              && h->root.type != bfd_link_hash_defweak)
847
            {
848
              /* This appears to be a reference to an undefined
849
                 symbol.  Just ignore it--it will be caught by the
850
                 regular reloc processing.  */
851
              continue;
852
            }
853
 
854
          symval = (h->root.u.def.value
855
                    + h->root.u.def.section->output_section->vma
856
                    + h->root.u.def.section->output_offset);
857
        }
858
 
859
      symval += bfd_get_32 (abfd, contents + paddr - sec->vma);
860
 
861
      /* See if this function call can be shortened.  */
862
      foff = (symval
863
              - (irel->r_vaddr
864
                 - sec->vma
865
                 + sec->output_section->vma
866
                 + sec->output_offset
867
                 + 4));
868
      if (foff < -0x1000 || foff >= 0x1000)
869
        {
870
          /* After all that work, we can't shorten this function call.  */
871
          continue;
872
        }
873
 
874
      /* Shorten the function call.  */
875
 
876
      /* For simplicity of coding, we are going to modify the section
877
         contents, the section relocs, and the BFD symbol table.  We
878
         must tell the rest of the code not to free up this
879
         information.  It would be possible to instead create a table
880
         of changes which have to be made, as is done in coff-mips.c;
881
         that would be more work, but would require less memory when
882
         the linker is run.  */
883
 
884
      if (coff_section_data (abfd, sec) == NULL)
885
        {
886
          sec->used_by_bfd =
887
            ((PTR) bfd_zalloc (abfd, sizeof (struct coff_section_tdata)));
888
          if (sec->used_by_bfd == NULL)
889
            goto error_return;
890
        }
891
 
892
      coff_section_data (abfd, sec)->relocs = internal_relocs;
893
      coff_section_data (abfd, sec)->keep_relocs = true;
894
      free_relocs = NULL;
895
 
896
      coff_section_data (abfd, sec)->contents = contents;
897
      coff_section_data (abfd, sec)->keep_contents = true;
898
      free_contents = NULL;
899
 
900
      obj_coff_keep_syms (abfd) = true;
901
 
902
      /* Replace the jsr with a bsr.  */
903
 
904
      /* Change the R_SH_USES reloc into an R_SH_PCDISP reloc, and
905
         replace the jsr with a bsr.  */
906
      irel->r_type = R_SH_PCDISP;
907
      irel->r_symndx = irelfn->r_symndx;
908
      if (sym.n_sclass != C_EXT)
909
        {
910
          /* If this needs to be changed because of future relaxing,
911
             it will be handled here like other internal PCDISP
912
             relocs.  */
913
          bfd_put_16 (abfd,
914
                      0xb000 | ((foff >> 1) & 0xfff),
915
                      contents + irel->r_vaddr - sec->vma);
916
        }
917
      else
918
        {
919
          /* We can't fully resolve this yet, because the external
920
             symbol value may be changed by future relaxing.  We let
921
             the final link phase handle it.  */
922
          bfd_put_16 (abfd, 0xb000, contents + irel->r_vaddr - sec->vma);
923
        }
924
 
925
      /* See if there is another R_SH_USES reloc referring to the same
926
         register load.  */
927
      for (irelscan = internal_relocs; irelscan < irelend; irelscan++)
928
        if (irelscan->r_type == R_SH_USES
929
            && laddr == irelscan->r_vaddr - sec->vma + 4 + irelscan->r_offset)
930
          break;
931
      if (irelscan < irelend)
932
        {
933
          /* Some other function call depends upon this register load,
934
             and we have not yet converted that function call.
935
             Indeed, we may never be able to convert it.  There is
936
             nothing else we can do at this point.  */
937
          continue;
938
        }
939
 
940
      /* Look for a R_SH_COUNT reloc on the location where the
941
         function address is stored.  Do this before deleting any
942
         bytes, to avoid confusion about the address.  */
943
      for (irelcount = internal_relocs; irelcount < irelend; irelcount++)
944
        if (irelcount->r_vaddr == paddr
945
            && irelcount->r_type == R_SH_COUNT)
946
          break;
947
 
948
      /* Delete the register load.  */
949
      if (! sh_relax_delete_bytes (abfd, sec, laddr, 2))
950
        goto error_return;
951
 
952
      /* That will change things, so, just in case it permits some
953
         other function call to come within range, we should relax
954
         again.  Note that this is not required, and it may be slow.  */
955
      *again = true;
956
 
957
      /* Now check whether we got a COUNT reloc.  */
958
      if (irelcount >= irelend)
959
        {
960
          ((*_bfd_error_handler)
961
           ("%s: 0x%lx: warning: could not find expected COUNT reloc",
962
            bfd_get_filename (abfd), (unsigned long) paddr));
963
          continue;
964
        }
965
 
966
      /* The number of uses is stored in the r_offset field.  We've
967
         just deleted one.  */
968
      if (irelcount->r_offset == 0)
969
        {
970
          ((*_bfd_error_handler) ("%s: 0x%lx: warning: bad count",
971
                                  bfd_get_filename (abfd),
972
                                  (unsigned long) paddr));
973
          continue;
974
        }
975
 
976
      --irelcount->r_offset;
977
 
978
      /* If there are no more uses, we can delete the address.  Reload
979
         the address from irelfn, in case it was changed by the
980
         previous call to sh_relax_delete_bytes.  */
981
      if (irelcount->r_offset == 0)
982
        {
983
          if (! sh_relax_delete_bytes (abfd, sec,
984
                                       irelfn->r_vaddr - sec->vma, 4))
985
            goto error_return;
986
        }
987
 
988
      /* We've done all we can with that function call.  */
989
    }
990
 
991
  /* Look for load and store instructions that we can align on four
992
     byte boundaries.  */
993
  if (have_code)
994
    {
995
      boolean swapped;
996
 
997
      /* Get the section contents.  */
998
      if (contents == NULL)
999
        {
1000
          if (coff_section_data (abfd, sec) != NULL
1001
              && coff_section_data (abfd, sec)->contents != NULL)
1002
            contents = coff_section_data (abfd, sec)->contents;
1003
          else
1004
            {
1005
              contents = (bfd_byte *) bfd_malloc (sec->_raw_size);
1006
              if (contents == NULL)
1007
                goto error_return;
1008
              free_contents = contents;
1009
 
1010
              if (! bfd_get_section_contents (abfd, sec, contents,
1011
                                              (file_ptr) 0, sec->_raw_size))
1012
                goto error_return;
1013
            }
1014
        }
1015
 
1016
      if (! sh_align_loads (abfd, sec, internal_relocs, contents, &swapped))
1017
        goto error_return;
1018
 
1019
      if (swapped)
1020
        {
1021
          if (coff_section_data (abfd, sec) == NULL)
1022
            {
1023
              sec->used_by_bfd =
1024
                ((PTR) bfd_zalloc (abfd, sizeof (struct coff_section_tdata)));
1025
              if (sec->used_by_bfd == NULL)
1026
                goto error_return;
1027
            }
1028
 
1029
          coff_section_data (abfd, sec)->relocs = internal_relocs;
1030
          coff_section_data (abfd, sec)->keep_relocs = true;
1031
          free_relocs = NULL;
1032
 
1033
          coff_section_data (abfd, sec)->contents = contents;
1034
          coff_section_data (abfd, sec)->keep_contents = true;
1035
          free_contents = NULL;
1036
 
1037
          obj_coff_keep_syms (abfd) = true;
1038
        }
1039
    }
1040
 
1041
  if (free_relocs != NULL)
1042
    {
1043
      free (free_relocs);
1044
      free_relocs = NULL;
1045
    }
1046
 
1047
  if (free_contents != NULL)
1048
    {
1049
      if (! link_info->keep_memory)
1050
        free (free_contents);
1051
      else
1052
        {
1053
          /* Cache the section contents for coff_link_input_bfd.  */
1054
          if (coff_section_data (abfd, sec) == NULL)
1055
            {
1056
              sec->used_by_bfd =
1057
                ((PTR) bfd_zalloc (abfd, sizeof (struct coff_section_tdata)));
1058
              if (sec->used_by_bfd == NULL)
1059
                goto error_return;
1060
              coff_section_data (abfd, sec)->relocs = NULL;
1061
            }
1062
          coff_section_data (abfd, sec)->contents = contents;
1063
        }
1064
    }
1065
 
1066
  return true;
1067
 
1068
 error_return:
1069
  if (free_relocs != NULL)
1070
    free (free_relocs);
1071
  if (free_contents != NULL)
1072
    free (free_contents);
1073
  return false;
1074
}
1075
 
1076
/* Delete some bytes from a section while relaxing.  */
1077
 
1078
static boolean
1079
sh_relax_delete_bytes (abfd, sec, addr, count)
1080
     bfd *abfd;
1081
     asection *sec;
1082
     bfd_vma addr;
1083
     int count;
1084
{
1085
  bfd_byte *contents;
1086
  struct internal_reloc *irel, *irelend;
1087
  struct internal_reloc *irelalign;
1088
  bfd_vma toaddr;
1089
  bfd_byte *esym, *esymend;
1090
  bfd_size_type symesz;
1091
  struct coff_link_hash_entry **sym_hash;
1092
  asection *o;
1093
 
1094
  contents = coff_section_data (abfd, sec)->contents;
1095
 
1096
  /* The deletion must stop at the next ALIGN reloc for an aligment
1097
     power larger than the number of bytes we are deleting.  */
1098
 
1099
  irelalign = NULL;
1100
  toaddr = sec->_cooked_size;
1101
 
1102
  irel = coff_section_data (abfd, sec)->relocs;
1103
  irelend = irel + sec->reloc_count;
1104
  for (; irel < irelend; irel++)
1105
    {
1106
      if (irel->r_type == R_SH_ALIGN
1107
          && irel->r_vaddr - sec->vma > addr
1108
          && count < (1 << irel->r_offset))
1109
        {
1110
          irelalign = irel;
1111
          toaddr = irel->r_vaddr - sec->vma;
1112
          break;
1113
        }
1114
    }
1115
 
1116
  /* Actually delete the bytes.  */
1117
  memmove (contents + addr, contents + addr + count, toaddr - addr - count);
1118
  if (irelalign == NULL)
1119
    sec->_cooked_size -= count;
1120
  else
1121
    {
1122
      int i;
1123
 
1124
#define NOP_OPCODE (0x0009)
1125
 
1126
      BFD_ASSERT ((count & 1) == 0);
1127
      for (i = 0; i < count; i += 2)
1128
        bfd_put_16 (abfd, NOP_OPCODE, contents + toaddr - count + i);
1129
    }
1130
 
1131
  /* Adjust all the relocs.  */
1132
  for (irel = coff_section_data (abfd, sec)->relocs; irel < irelend; irel++)
1133
    {
1134
      bfd_vma nraddr, stop;
1135
      bfd_vma start = 0;
1136
      int insn = 0;
1137
      struct internal_syment sym;
1138
      int off, adjust, oinsn;
1139
      bfd_signed_vma voff = 0;
1140
      boolean overflow;
1141
 
1142
      /* Get the new reloc address.  */
1143
      nraddr = irel->r_vaddr - sec->vma;
1144
      if ((irel->r_vaddr - sec->vma > addr
1145
           && irel->r_vaddr - sec->vma < toaddr)
1146
          || (irel->r_type == R_SH_ALIGN
1147
              && irel->r_vaddr - sec->vma == toaddr))
1148
        nraddr -= count;
1149
 
1150
      /* See if this reloc was for the bytes we have deleted, in which
1151
         case we no longer care about it.  Don't delete relocs which
1152
         represent addresses, though.  */
1153
      if (irel->r_vaddr - sec->vma >= addr
1154
          && irel->r_vaddr - sec->vma < addr + count
1155
          && irel->r_type != R_SH_ALIGN
1156
          && irel->r_type != R_SH_CODE
1157
          && irel->r_type != R_SH_DATA
1158
          && irel->r_type != R_SH_LABEL)
1159
        irel->r_type = R_SH_UNUSED;
1160
 
1161
      /* If this is a PC relative reloc, see if the range it covers
1162
         includes the bytes we have deleted.  */
1163
      switch (irel->r_type)
1164
        {
1165
        default:
1166
          break;
1167
 
1168
        case R_SH_PCDISP8BY2:
1169
        case R_SH_PCDISP:
1170
        case R_SH_PCRELIMM8BY2:
1171
        case R_SH_PCRELIMM8BY4:
1172
          start = irel->r_vaddr - sec->vma;
1173
          insn = bfd_get_16 (abfd, contents + nraddr);
1174
          break;
1175
        }
1176
 
1177
      switch (irel->r_type)
1178
        {
1179
        default:
1180
          start = stop = addr;
1181
          break;
1182
 
1183
        case R_SH_IMM32:
1184
#ifdef COFF_WITH_PE
1185
        case R_SH_IMM32CE:
1186
        case R_SH_IMAGEBASE:
1187
#endif
1188
          /* If this reloc is against a symbol defined in this
1189
             section, and the symbol will not be adjusted below, we
1190
             must check the addend to see it will put the value in
1191
             range to be adjusted, and hence must be changed.  */
1192
          bfd_coff_swap_sym_in (abfd,
1193
                                ((bfd_byte *) obj_coff_external_syms (abfd)
1194
                                 + (irel->r_symndx
1195
                                    * bfd_coff_symesz (abfd))),
1196
                                &sym);
1197
          if (sym.n_sclass != C_EXT
1198
              && sym.n_scnum == sec->target_index
1199
              && ((bfd_vma) sym.n_value <= addr
1200
                  || (bfd_vma) sym.n_value >= toaddr))
1201
            {
1202
              bfd_vma val;
1203
 
1204
              val = bfd_get_32 (abfd, contents + nraddr);
1205
              val += sym.n_value;
1206
              if (val > addr && val < toaddr)
1207
                bfd_put_32 (abfd, val - count, contents + nraddr);
1208
            }
1209
          start = stop = addr;
1210
          break;
1211
 
1212
        case R_SH_PCDISP8BY2:
1213
          off = insn & 0xff;
1214
          if (off & 0x80)
1215
            off -= 0x100;
1216
          stop = (bfd_vma) ((bfd_signed_vma) start + 4 + off * 2);
1217
          break;
1218
 
1219
        case R_SH_PCDISP:
1220
          bfd_coff_swap_sym_in (abfd,
1221
                                ((bfd_byte *) obj_coff_external_syms (abfd)
1222
                                 + (irel->r_symndx
1223
                                    * bfd_coff_symesz (abfd))),
1224
                                &sym);
1225
          if (sym.n_sclass == C_EXT)
1226
            start = stop = addr;
1227
          else
1228
            {
1229
              off = insn & 0xfff;
1230
              if (off & 0x800)
1231
                off -= 0x1000;
1232
              stop = (bfd_vma) ((bfd_signed_vma) start + 4 + off * 2);
1233
            }
1234
          break;
1235
 
1236
        case R_SH_PCRELIMM8BY2:
1237
          off = insn & 0xff;
1238
          stop = start + 4 + off * 2;
1239
          break;
1240
 
1241
        case R_SH_PCRELIMM8BY4:
1242
          off = insn & 0xff;
1243
          stop = (start &~ (bfd_vma) 3) + 4 + off * 4;
1244
          break;
1245
 
1246
        case R_SH_SWITCH8:
1247
        case R_SH_SWITCH16:
1248
        case R_SH_SWITCH32:
1249
          /* These relocs types represent
1250
               .word L2-L1
1251
             The r_offset field holds the difference between the reloc
1252
             address and L1.  That is the start of the reloc, and
1253
             adding in the contents gives us the top.  We must adjust
1254
             both the r_offset field and the section contents.  */
1255
 
1256
          start = irel->r_vaddr - sec->vma;
1257
          stop = (bfd_vma) ((bfd_signed_vma) start - (long) irel->r_offset);
1258
 
1259
          if (start > addr
1260
              && start < toaddr
1261
              && (stop <= addr || stop >= toaddr))
1262
            irel->r_offset += count;
1263
          else if (stop > addr
1264
                   && stop < toaddr
1265
                   && (start <= addr || start >= toaddr))
1266
            irel->r_offset -= count;
1267
 
1268
          start = stop;
1269
 
1270
          if (irel->r_type == R_SH_SWITCH16)
1271
            voff = bfd_get_signed_16 (abfd, contents + nraddr);
1272
          else if (irel->r_type == R_SH_SWITCH8)
1273
            voff = bfd_get_8 (abfd, contents + nraddr);
1274
          else
1275
            voff = bfd_get_signed_32 (abfd, contents + nraddr);
1276
          stop = (bfd_vma) ((bfd_signed_vma) start + voff);
1277
 
1278
          break;
1279
 
1280
        case R_SH_USES:
1281
          start = irel->r_vaddr - sec->vma;
1282
          stop = (bfd_vma) ((bfd_signed_vma) start
1283
                            + (long) irel->r_offset
1284
                            + 4);
1285
          break;
1286
        }
1287
 
1288
      if (start > addr
1289
          && start < toaddr
1290
          && (stop <= addr || stop >= toaddr))
1291
        adjust = count;
1292
      else if (stop > addr
1293
               && stop < toaddr
1294
               && (start <= addr || start >= toaddr))
1295
        adjust = - count;
1296
      else
1297
        adjust = 0;
1298
 
1299
      if (adjust != 0)
1300
        {
1301
          oinsn = insn;
1302
          overflow = false;
1303
          switch (irel->r_type)
1304
            {
1305
            default:
1306
              abort ();
1307
              break;
1308
 
1309
            case R_SH_PCDISP8BY2:
1310
            case R_SH_PCRELIMM8BY2:
1311
              insn += adjust / 2;
1312
              if ((oinsn & 0xff00) != (insn & 0xff00))
1313
                overflow = true;
1314
              bfd_put_16 (abfd, insn, contents + nraddr);
1315
              break;
1316
 
1317
            case R_SH_PCDISP:
1318
              insn += adjust / 2;
1319
              if ((oinsn & 0xf000) != (insn & 0xf000))
1320
                overflow = true;
1321
              bfd_put_16 (abfd, insn, contents + nraddr);
1322
              break;
1323
 
1324
            case R_SH_PCRELIMM8BY4:
1325
              BFD_ASSERT (adjust == count || count >= 4);
1326
              if (count >= 4)
1327
                insn += adjust / 4;
1328
              else
1329
                {
1330
                  if ((irel->r_vaddr & 3) == 0)
1331
                    ++insn;
1332
                }
1333
              if ((oinsn & 0xff00) != (insn & 0xff00))
1334
                overflow = true;
1335
              bfd_put_16 (abfd, insn, contents + nraddr);
1336
              break;
1337
 
1338
            case R_SH_SWITCH8:
1339
              voff += adjust;
1340
              if (voff < 0 || voff >= 0xff)
1341
                overflow = true;
1342
              bfd_put_8 (abfd, voff, contents + nraddr);
1343
              break;
1344
 
1345
            case R_SH_SWITCH16:
1346
              voff += adjust;
1347
              if (voff < - 0x8000 || voff >= 0x8000)
1348
                overflow = true;
1349
              bfd_put_signed_16 (abfd, voff, contents + nraddr);
1350
              break;
1351
 
1352
            case R_SH_SWITCH32:
1353
              voff += adjust;
1354
              bfd_put_signed_32 (abfd, voff, contents + nraddr);
1355
              break;
1356
 
1357
            case R_SH_USES:
1358
              irel->r_offset += adjust;
1359
              break;
1360
            }
1361
 
1362
          if (overflow)
1363
            {
1364
              ((*_bfd_error_handler)
1365
               ("%s: 0x%lx: fatal: reloc overflow while relaxing",
1366
                bfd_get_filename (abfd), (unsigned long) irel->r_vaddr));
1367
              bfd_set_error (bfd_error_bad_value);
1368
              return false;
1369
            }
1370
        }
1371
 
1372
      irel->r_vaddr = nraddr + sec->vma;
1373
    }
1374
 
1375
  /* Look through all the other sections.  If there contain any IMM32
1376
     relocs against internal symbols which we are not going to adjust
1377
     below, we may need to adjust the addends.  */
1378
  for (o = abfd->sections; o != NULL; o = o->next)
1379
    {
1380
      struct internal_reloc *internal_relocs;
1381
      struct internal_reloc *irelscan, *irelscanend;
1382
      bfd_byte *ocontents;
1383
 
1384
      if (o == sec
1385
          || (o->flags & SEC_RELOC) == 0
1386
          || o->reloc_count == 0)
1387
        continue;
1388
 
1389
      /* We always cache the relocs.  Perhaps, if info->keep_memory is
1390
         false, we should free them, if we are permitted to, when we
1391
         leave sh_coff_relax_section.  */
1392
      internal_relocs = (_bfd_coff_read_internal_relocs
1393
                         (abfd, o, true, (bfd_byte *) NULL, false,
1394
                          (struct internal_reloc *) NULL));
1395
      if (internal_relocs == NULL)
1396
        return false;
1397
 
1398
      ocontents = NULL;
1399
      irelscanend = internal_relocs + o->reloc_count;
1400
      for (irelscan = internal_relocs; irelscan < irelscanend; irelscan++)
1401
        {
1402
          struct internal_syment sym;
1403
 
1404
#ifdef COFF_WITH_PE
1405
          if (irelscan->r_type != R_SH_IMM32
1406
              && irelscan->r_type != R_SH_IMAGEBASE
1407
              && irelscan->r_type != R_SH_IMM32CE)
1408
#else
1409
          if (irelscan->r_type != R_SH_IMM32)
1410
#endif
1411
            continue;
1412
 
1413
          bfd_coff_swap_sym_in (abfd,
1414
                                ((bfd_byte *) obj_coff_external_syms (abfd)
1415
                                 + (irelscan->r_symndx
1416
                                    * bfd_coff_symesz (abfd))),
1417
                                &sym);
1418
          if (sym.n_sclass != C_EXT
1419
              && sym.n_scnum == sec->target_index
1420
              && ((bfd_vma) sym.n_value <= addr
1421
                  || (bfd_vma) sym.n_value >= toaddr))
1422
            {
1423
              bfd_vma val;
1424
 
1425
              if (ocontents == NULL)
1426
                {
1427
                  if (coff_section_data (abfd, o)->contents != NULL)
1428
                    ocontents = coff_section_data (abfd, o)->contents;
1429
                  else
1430
                    {
1431
                      /* We always cache the section contents.
1432
                         Perhaps, if info->keep_memory is false, we
1433
                         should free them, if we are permitted to,
1434
                         when we leave sh_coff_relax_section.  */
1435
                      ocontents = (bfd_byte *) bfd_malloc (o->_raw_size);
1436
                      if (ocontents == NULL)
1437
                        return false;
1438
                      if (! bfd_get_section_contents (abfd, o, ocontents,
1439
                                                      (file_ptr) 0,
1440
                                                      o->_raw_size))
1441
                        return false;
1442
                      coff_section_data (abfd, o)->contents = ocontents;
1443
                    }
1444
                }
1445
 
1446
              val = bfd_get_32 (abfd, ocontents + irelscan->r_vaddr - o->vma);
1447
              val += sym.n_value;
1448
              if (val > addr && val < toaddr)
1449
                bfd_put_32 (abfd, val - count,
1450
                            ocontents + irelscan->r_vaddr - o->vma);
1451
 
1452
              coff_section_data (abfd, o)->keep_contents = true;
1453
            }
1454
        }
1455
    }
1456
 
1457
  /* Adjusting the internal symbols will not work if something has
1458
     already retrieved the generic symbols.  It would be possible to
1459
     make this work by adjusting the generic symbols at the same time.
1460
     However, this case should not arise in normal usage.  */
1461
  if (obj_symbols (abfd) != NULL
1462
      || obj_raw_syments (abfd) != NULL)
1463
    {
1464
      ((*_bfd_error_handler)
1465
       ("%s: fatal: generic symbols retrieved before relaxing",
1466
        bfd_get_filename (abfd)));
1467
      bfd_set_error (bfd_error_invalid_operation);
1468
      return false;
1469
    }
1470
 
1471
  /* Adjust all the symbols.  */
1472
  sym_hash = obj_coff_sym_hashes (abfd);
1473
  symesz = bfd_coff_symesz (abfd);
1474
  esym = (bfd_byte *) obj_coff_external_syms (abfd);
1475
  esymend = esym + obj_raw_syment_count (abfd) * symesz;
1476
  while (esym < esymend)
1477
    {
1478
      struct internal_syment isym;
1479
 
1480
      bfd_coff_swap_sym_in (abfd, (PTR) esym, (PTR) &isym);
1481
 
1482
      if (isym.n_scnum == sec->target_index
1483
          && (bfd_vma) isym.n_value > addr
1484
          && (bfd_vma) isym.n_value < toaddr)
1485
        {
1486
          isym.n_value -= count;
1487
 
1488
          bfd_coff_swap_sym_out (abfd, (PTR) &isym, (PTR) esym);
1489
 
1490
          if (*sym_hash != NULL)
1491
            {
1492
              BFD_ASSERT ((*sym_hash)->root.type == bfd_link_hash_defined
1493
                          || (*sym_hash)->root.type == bfd_link_hash_defweak);
1494
              BFD_ASSERT ((*sym_hash)->root.u.def.value >= addr
1495
                          && (*sym_hash)->root.u.def.value < toaddr);
1496
              (*sym_hash)->root.u.def.value -= count;
1497
            }
1498
        }
1499
 
1500
      esym += (isym.n_numaux + 1) * symesz;
1501
      sym_hash += isym.n_numaux + 1;
1502
    }
1503
 
1504
  /* See if we can move the ALIGN reloc forward.  We have adjusted
1505
     r_vaddr for it already.  */
1506
  if (irelalign != NULL)
1507
    {
1508
      bfd_vma alignto, alignaddr;
1509
 
1510
      alignto = BFD_ALIGN (toaddr, 1 << irelalign->r_offset);
1511
      alignaddr = BFD_ALIGN (irelalign->r_vaddr - sec->vma,
1512
                             1 << irelalign->r_offset);
1513
      if (alignto != alignaddr)
1514
        {
1515
          /* Tail recursion.  */
1516
          return sh_relax_delete_bytes (abfd, sec, alignaddr,
1517
                                        alignto - alignaddr);
1518
        }
1519
    }
1520
 
1521
  return true;
1522
}
1523
 
1524
/* This is yet another version of the SH opcode table, used to rapidly
1525
   get information about a particular instruction.  */
1526
 
1527
/* The opcode map is represented by an array of these structures.  The
1528
   array is indexed by the high order four bits in the instruction.  */
1529
 
1530
struct sh_major_opcode
1531
{
1532
  /* A pointer to the instruction list.  This is an array which
1533
     contains all the instructions with this major opcode.  */
1534
  const struct sh_minor_opcode *minor_opcodes;
1535
  /* The number of elements in minor_opcodes.  */
1536
  unsigned short count;
1537
};
1538
 
1539
/* This structure holds information for a set of SH opcodes.  The
1540
   instruction code is anded with the mask value, and the resulting
1541
   value is used to search the order opcode list.  */
1542
 
1543
struct sh_minor_opcode
1544
{
1545
  /* The sorted opcode list.  */
1546
  const struct sh_opcode *opcodes;
1547
  /* The number of elements in opcodes.  */
1548
  unsigned short count;
1549
  /* The mask value to use when searching the opcode list.  */
1550
  unsigned short mask;
1551
};
1552
 
1553
/* This structure holds information for an SH instruction.  An array
1554
   of these structures is sorted in order by opcode.  */
1555
 
1556
struct sh_opcode
1557
{
1558
  /* The code for this instruction, after it has been anded with the
1559
     mask value in the sh_major_opcode structure.  */
1560
  unsigned short opcode;
1561
  /* Flags for this instruction.  */
1562
  unsigned long flags;
1563
};
1564
 
1565
/* Flag which appear in the sh_opcode structure.  */
1566
 
1567
/* This instruction loads a value from memory.  */
1568
#define LOAD (0x1)
1569
 
1570
/* This instruction stores a value to memory.  */
1571
#define STORE (0x2)
1572
 
1573
/* This instruction is a branch.  */
1574
#define BRANCH (0x4)
1575
 
1576
/* This instruction has a delay slot.  */
1577
#define DELAY (0x8)
1578
 
1579
/* This instruction uses the value in the register in the field at
1580
   mask 0x0f00 of the instruction.  */
1581
#define USES1 (0x10)
1582
#define USES1_REG(x) ((x & 0x0f00) >> 8)
1583
 
1584
/* This instruction uses the value in the register in the field at
1585
   mask 0x00f0 of the instruction.  */
1586
#define USES2 (0x20)
1587
#define USES2_REG(x) ((x & 0x00f0) >> 4)
1588
 
1589
/* This instruction uses the value in register 0.  */
1590
#define USESR0 (0x40)
1591
 
1592
/* This instruction sets the value in the register in the field at
1593
   mask 0x0f00 of the instruction.  */
1594
#define SETS1 (0x80)
1595
#define SETS1_REG(x) ((x & 0x0f00) >> 8)
1596
 
1597
/* This instruction sets the value in the register in the field at
1598
   mask 0x00f0 of the instruction.  */
1599
#define SETS2 (0x100)
1600
#define SETS2_REG(x) ((x & 0x00f0) >> 4)
1601
 
1602
/* This instruction sets register 0.  */
1603
#define SETSR0 (0x200)
1604
 
1605
/* This instruction sets a special register.  */
1606
#define SETSSP (0x400)
1607
 
1608
/* This instruction uses a special register.  */
1609
#define USESSP (0x800)
1610
 
1611
/* This instruction uses the floating point register in the field at
1612
   mask 0x0f00 of the instruction.  */
1613
#define USESF1 (0x1000)
1614
#define USESF1_REG(x) ((x & 0x0f00) >> 8)
1615
 
1616
/* This instruction uses the floating point register in the field at
1617
   mask 0x00f0 of the instruction.  */
1618
#define USESF2 (0x2000)
1619
#define USESF2_REG(x) ((x & 0x00f0) >> 4)
1620
 
1621
/* This instruction uses floating point register 0.  */
1622
#define USESF0 (0x4000)
1623
 
1624
/* This instruction sets the floating point register in the field at
1625
   mask 0x0f00 of the instruction.  */
1626
#define SETSF1 (0x8000)
1627
#define SETSF1_REG(x) ((x & 0x0f00) >> 8)
1628
 
1629
#define USESAS (0x10000)
1630
#define USESAS_REG(x) (((((x) >> 8) - 2) & 3) + 2)
1631
#define USESR8 (0x20000)
1632
#define SETSAS (0x40000)
1633
#define SETSAS_REG(x) USESAS_REG (x)
1634
 
1635
#ifndef COFF_IMAGE_WITH_PE
1636
static boolean sh_insn_uses_reg
1637
  PARAMS ((unsigned int, const struct sh_opcode *, unsigned int));
1638
static boolean sh_insn_sets_reg
1639
  PARAMS ((unsigned int, const struct sh_opcode *, unsigned int));
1640
static boolean sh_insn_uses_or_sets_reg
1641
  PARAMS ((unsigned int, const struct sh_opcode *, unsigned int));
1642
static boolean sh_insn_uses_freg
1643
  PARAMS ((unsigned int, const struct sh_opcode *, unsigned int));
1644
static boolean sh_insn_sets_freg
1645
  PARAMS ((unsigned int, const struct sh_opcode *, unsigned int));
1646
static boolean sh_insn_uses_or_sets_freg
1647
  PARAMS ((unsigned int, const struct sh_opcode *, unsigned int));
1648
static boolean sh_insns_conflict
1649
  PARAMS ((unsigned int, const struct sh_opcode *, unsigned int,
1650
           const struct sh_opcode *));
1651
static boolean sh_load_use
1652
  PARAMS ((unsigned int, const struct sh_opcode *, unsigned int,
1653
           const struct sh_opcode *));
1654
#endif
1655
/* The opcode maps.  */
1656
 
1657
#define MAP(a) a, sizeof a / sizeof a[0]
1658
 
1659
static const struct sh_opcode sh_opcode00[] =
1660
{
1661
  { 0x0008, SETSSP },                   /* clrt */
1662
  { 0x0009, 0 },                 /* nop */
1663
  { 0x000b, BRANCH | DELAY | USESSP },  /* rts */
1664
  { 0x0018, SETSSP },                   /* sett */
1665
  { 0x0019, SETSSP },                   /* div0u */
1666
  { 0x001b, 0 },                 /* sleep */
1667
  { 0x0028, SETSSP },                   /* clrmac */
1668
  { 0x002b, BRANCH | DELAY | SETSSP },  /* rte */
1669
  { 0x0038, USESSP | SETSSP },          /* ldtlb */
1670
  { 0x0048, SETSSP },                   /* clrs */
1671
  { 0x0058, SETSSP }                    /* sets */
1672
};
1673
 
1674
static const struct sh_opcode sh_opcode01[] =
1675
{
1676
  { 0x0003, BRANCH | DELAY | USES1 | SETSSP },  /* bsrf rn */
1677
  { 0x000a, SETS1 | USESSP },                   /* sts mach,rn */
1678
  { 0x001a, SETS1 | USESSP },                   /* sts macl,rn */
1679
  { 0x0023, BRANCH | DELAY | USES1 },           /* braf rn */
1680
  { 0x0029, SETS1 | USESSP },                   /* movt rn */
1681
  { 0x002a, SETS1 | USESSP },                   /* sts pr,rn */
1682
  { 0x005a, SETS1 | USESSP },                   /* sts fpul,rn */
1683
  { 0x006a, SETS1 | USESSP },                   /* sts fpscr,rn / sts dsr,rn */
1684
  { 0x0083, LOAD | USES1 },                     /* pref @rn */
1685
  { 0x007a, SETS1 | USESSP },                   /* sts a0,rn */
1686
  { 0x008a, SETS1 | USESSP },                   /* sts x0,rn */
1687
  { 0x009a, SETS1 | USESSP },                   /* sts x1,rn */
1688
  { 0x00aa, SETS1 | USESSP },                   /* sts y0,rn */
1689
  { 0x00ba, SETS1 | USESSP }                    /* sts y1,rn */
1690
};
1691
 
1692
/* These sixteen instructions can be handled with one table entry below.  */
1693
#if 0
1694
  { 0x0002, SETS1 | USESSP },                   /* stc sr,rn */
1695
  { 0x0012, SETS1 | USESSP },                   /* stc gbr,rn */
1696
  { 0x0022, SETS1 | USESSP },                   /* stc vbr,rn */
1697
  { 0x0032, SETS1 | USESSP },                   /* stc ssr,rn */
1698
  { 0x0042, SETS1 | USESSP },                   /* stc spc,rn */
1699
  { 0x0052, SETS1 | USESSP },                   /* stc mod,rn */
1700
  { 0x0062, SETS1 | USESSP },                   /* stc rs,rn */
1701
  { 0x0072, SETS1 | USESSP },                   /* stc re,rn */
1702
  { 0x0082, SETS1 | USESSP },                   /* stc r0_bank,rn */
1703
  { 0x0092, SETS1 | USESSP },                   /* stc r1_bank,rn */
1704
  { 0x00a2, SETS1 | USESSP },                   /* stc r2_bank,rn */
1705
  { 0x00b2, SETS1 | USESSP },                   /* stc r3_bank,rn */
1706
  { 0x00c2, SETS1 | USESSP },                   /* stc r4_bank,rn */
1707
  { 0x00d2, SETS1 | USESSP },                   /* stc r5_bank,rn */
1708
  { 0x00e2, SETS1 | USESSP },                   /* stc r6_bank,rn */
1709
  { 0x00f2, SETS1 | USESSP }                    /* stc r7_bank,rn */
1710
#endif
1711
 
1712
static const struct sh_opcode sh_opcode02[] =
1713
{
1714
  { 0x0002, SETS1 | USESSP },                   /* stc <special_reg>,rn */
1715
  { 0x0004, STORE | USES1 | USES2 | USESR0 },   /* mov.b rm,@(r0,rn) */
1716
  { 0x0005, STORE | USES1 | USES2 | USESR0 },   /* mov.w rm,@(r0,rn) */
1717
  { 0x0006, STORE | USES1 | USES2 | USESR0 },   /* mov.l rm,@(r0,rn) */
1718
  { 0x0007, SETSSP | USES1 | USES2 },           /* mul.l rm,rn */
1719
  { 0x000c, LOAD | SETS1 | USES2 | USESR0 },    /* mov.b @(r0,rm),rn */
1720
  { 0x000d, LOAD | SETS1 | USES2 | USESR0 },    /* mov.w @(r0,rm),rn */
1721
  { 0x000e, LOAD | SETS1 | USES2 | USESR0 },    /* mov.l @(r0,rm),rn */
1722
  { 0x000f, LOAD|SETS1|SETS2|SETSSP|USES1|USES2|USESSP }, /* mac.l @rm+,@rn+ */
1723
};
1724
 
1725
static const struct sh_minor_opcode sh_opcode0[] =
1726
{
1727
  { MAP (sh_opcode00), 0xffff },
1728
  { MAP (sh_opcode01), 0xf0ff },
1729
  { MAP (sh_opcode02), 0xf00f }
1730
};
1731
 
1732
static const struct sh_opcode sh_opcode10[] =
1733
{
1734
  { 0x1000, STORE | USES1 | USES2 }     /* mov.l rm,@(disp,rn) */
1735
};
1736
 
1737
static const struct sh_minor_opcode sh_opcode1[] =
1738
{
1739
  { MAP (sh_opcode10), 0xf000 }
1740
};
1741
 
1742
static const struct sh_opcode sh_opcode20[] =
1743
{
1744
  { 0x2000, STORE | USES1 | USES2 },            /* mov.b rm,@rn */
1745
  { 0x2001, STORE | USES1 | USES2 },            /* mov.w rm,@rn */
1746
  { 0x2002, STORE | USES1 | USES2 },            /* mov.l rm,@rn */
1747
  { 0x2004, STORE | SETS1 | USES1 | USES2 },    /* mov.b rm,@-rn */
1748
  { 0x2005, STORE | SETS1 | USES1 | USES2 },    /* mov.w rm,@-rn */
1749
  { 0x2006, STORE | SETS1 | USES1 | USES2 },    /* mov.l rm,@-rn */
1750
  { 0x2007, SETSSP | USES1 | USES2 | USESSP },  /* div0s */
1751
  { 0x2008, SETSSP | USES1 | USES2 },           /* tst rm,rn */
1752
  { 0x2009, SETS1 | USES1 | USES2 },            /* and rm,rn */
1753
  { 0x200a, SETS1 | USES1 | USES2 },            /* xor rm,rn */
1754
  { 0x200b, SETS1 | USES1 | USES2 },            /* or rm,rn */
1755
  { 0x200c, SETSSP | USES1 | USES2 },           /* cmp/str rm,rn */
1756
  { 0x200d, SETS1 | USES1 | USES2 },            /* xtrct rm,rn */
1757
  { 0x200e, SETSSP | USES1 | USES2 },           /* mulu.w rm,rn */
1758
  { 0x200f, SETSSP | USES1 | USES2 }            /* muls.w rm,rn */
1759
};
1760
 
1761
static const struct sh_minor_opcode sh_opcode2[] =
1762
{
1763
  { MAP (sh_opcode20), 0xf00f }
1764
};
1765
 
1766
static const struct sh_opcode sh_opcode30[] =
1767
{
1768
  { 0x3000, SETSSP | USES1 | USES2 },           /* cmp/eq rm,rn */
1769
  { 0x3002, SETSSP | USES1 | USES2 },           /* cmp/hs rm,rn */
1770
  { 0x3003, SETSSP | USES1 | USES2 },           /* cmp/ge rm,rn */
1771
  { 0x3004, SETSSP | USESSP | USES1 | USES2 },  /* div1 rm,rn */
1772
  { 0x3005, SETSSP | USES1 | USES2 },           /* dmulu.l rm,rn */
1773
  { 0x3006, SETSSP | USES1 | USES2 },           /* cmp/hi rm,rn */
1774
  { 0x3007, SETSSP | USES1 | USES2 },           /* cmp/gt rm,rn */
1775
  { 0x3008, SETS1 | USES1 | USES2 },            /* sub rm,rn */
1776
  { 0x300a, SETS1 | SETSSP | USES1 | USES2 | USESSP }, /* subc rm,rn */
1777
  { 0x300b, SETS1 | SETSSP | USES1 | USES2 },   /* subv rm,rn */
1778
  { 0x300c, SETS1 | USES1 | USES2 },            /* add rm,rn */
1779
  { 0x300d, SETSSP | USES1 | USES2 },           /* dmuls.l rm,rn */
1780
  { 0x300e, SETS1 | SETSSP | USES1 | USES2 | USESSP }, /* addc rm,rn */
1781
  { 0x300f, SETS1 | SETSSP | USES1 | USES2 }    /* addv rm,rn */
1782
};
1783
 
1784
static const struct sh_minor_opcode sh_opcode3[] =
1785
{
1786
  { MAP (sh_opcode30), 0xf00f }
1787
};
1788
 
1789
static const struct sh_opcode sh_opcode40[] =
1790
{
1791
  { 0x4000, SETS1 | SETSSP | USES1 },           /* shll rn */
1792
  { 0x4001, SETS1 | SETSSP | USES1 },           /* shlr rn */
1793
  { 0x4002, STORE | SETS1 | USES1 | USESSP },   /* sts.l mach,@-rn */
1794
  { 0x4004, SETS1 | SETSSP | USES1 },           /* rotl rn */
1795
  { 0x4005, SETS1 | SETSSP | USES1 },           /* rotr rn */
1796
  { 0x4006, LOAD | SETS1 | SETSSP | USES1 },    /* lds.l @rm+,mach */
1797
  { 0x4008, SETS1 | USES1 },                    /* shll2 rn */
1798
  { 0x4009, SETS1 | USES1 },                    /* shlr2 rn */
1799
  { 0x400a, SETSSP | USES1 },                   /* lds rm,mach */
1800
  { 0x400b, BRANCH | DELAY | USES1 },           /* jsr @rn */
1801
  { 0x4010, SETS1 | SETSSP | USES1 },           /* dt rn */
1802
  { 0x4011, SETSSP | USES1 },                   /* cmp/pz rn */
1803
  { 0x4012, STORE | SETS1 | USES1 | USESSP },   /* sts.l macl,@-rn */
1804
  { 0x4014, SETSSP | USES1 },                   /* setrc rm */
1805
  { 0x4015, SETSSP | USES1 },                   /* cmp/pl rn */
1806
  { 0x4016, LOAD | SETS1 | SETSSP | USES1 },    /* lds.l @rm+,macl */
1807
  { 0x4018, SETS1 | USES1 },                    /* shll8 rn */
1808
  { 0x4019, SETS1 | USES1 },                    /* shlr8 rn */
1809
  { 0x401a, SETSSP | USES1 },                   /* lds rm,macl */
1810
  { 0x401b, LOAD | SETSSP | USES1 },            /* tas.b @rn */
1811
  { 0x4020, SETS1 | SETSSP | USES1 },           /* shal rn */
1812
  { 0x4021, SETS1 | SETSSP | USES1 },           /* shar rn */
1813
  { 0x4022, STORE | SETS1 | USES1 | USESSP },   /* sts.l pr,@-rn */
1814
  { 0x4024, SETS1 | SETSSP | USES1 | USESSP },  /* rotcl rn */
1815
  { 0x4025, SETS1 | SETSSP | USES1 | USESSP },  /* rotcr rn */
1816
  { 0x4026, LOAD | SETS1 | SETSSP | USES1 },    /* lds.l @rm+,pr */
1817
  { 0x4028, SETS1 | USES1 },                    /* shll16 rn */
1818
  { 0x4029, SETS1 | USES1 },                    /* shlr16 rn */
1819
  { 0x402a, SETSSP | USES1 },                   /* lds rm,pr */
1820
  { 0x402b, BRANCH | DELAY | USES1 },           /* jmp @rn */
1821
  { 0x4052, STORE | SETS1 | USES1 | USESSP },   /* sts.l fpul,@-rn */
1822
  { 0x4056, LOAD | SETS1 | SETSSP | USES1 },    /* lds.l @rm+,fpul */
1823
  { 0x405a, SETSSP | USES1 },                   /* lds.l rm,fpul */
1824
  { 0x4062, STORE | SETS1 | USES1 | USESSP },   /* sts.l fpscr / dsr,@-rn */
1825
  { 0x4066, LOAD | SETS1 | SETSSP | USES1 },    /* lds.l @rm+,fpscr / dsr */
1826
  { 0x406a, SETSSP | USES1 },                   /* lds rm,fpscr / lds rm,dsr */
1827
  { 0x4072, STORE | SETS1 | USES1 | USESSP },   /* sts.l a0,@-rn */
1828
  { 0x4076, LOAD | SETS1 | SETSSP | USES1 },    /* lds.l @rm+,a0 */
1829
  { 0x407a, SETSSP | USES1 },                   /* lds.l rm,a0 */
1830
  { 0x4082, STORE | SETS1 | USES1 | USESSP },   /* sts.l x0,@-rn */
1831
  { 0x4086, LOAD | SETS1 | SETSSP | USES1 },    /* lds.l @rm+,x0 */
1832
  { 0x408a, SETSSP | USES1 },                   /* lds.l rm,x0 */
1833
  { 0x4092, STORE | SETS1 | USES1 | USESSP },   /* sts.l x1,@-rn */
1834
  { 0x4096, LOAD | SETS1 | SETSSP | USES1 },    /* lds.l @rm+,x1 */
1835
  { 0x409a, SETSSP | USES1 },                   /* lds.l rm,x1 */
1836
  { 0x40a2, STORE | SETS1 | USES1 | USESSP },   /* sts.l y0,@-rn */
1837
  { 0x40a6, LOAD | SETS1 | SETSSP | USES1 },    /* lds.l @rm+,y0 */
1838
  { 0x40aa, SETSSP | USES1 },                   /* lds.l rm,y0 */
1839
  { 0x40b2, STORE | SETS1 | USES1 | USESSP },   /* sts.l y1,@-rn */
1840
  { 0x40b6, LOAD | SETS1 | SETSSP | USES1 },    /* lds.l @rm+,y1 */
1841
  { 0x40ba, SETSSP | USES1 }                    /* lds.l rm,y1 */
1842
#if 0 /* These groups sixteen insns can be
1843
         handled with one table entry each below.  */
1844
  { 0x4003, STORE | SETS1 | USES1 | USESSP },   /* stc.l sr,@-rn */
1845
  { 0x4013, STORE | SETS1 | USES1 | USESSP },   /* stc.l gbr,@-rn */
1846
  { 0x4023, STORE | SETS1 | USES1 | USESSP },   /* stc.l vbr,@-rn */
1847
  { 0x4033, STORE | SETS1 | USES1 | USESSP },   /* stc.l ssr,@-rn */
1848
  { 0x4043, STORE | SETS1 | USES1 | USESSP },   /* stc.l spc,@-rn */
1849
  { 0x4053, STORE | SETS1 | USES1 | USESSP },   /* stc.l mod,@-rn */
1850
  { 0x4063, STORE | SETS1 | USES1 | USESSP },   /* stc.l rs,@-rn */
1851
  { 0x4073, STORE | SETS1 | USES1 | USESSP },   /* stc.l re,@-rn */
1852
  { 0x4083, STORE | SETS1 | USES1 | USESSP },   /* stc.l r0_bank,@-rn */
1853
  ..
1854
  { 0x40f3, STORE | SETS1 | USES1 | USESSP },   /* stc.l r7_bank,@-rn */
1855
 
1856
  { 0x4007, LOAD | SETS1 | SETSSP | USES1 },    /* ldc.l @rm+,sr */
1857
  { 0x4017, LOAD | SETS1 | SETSSP | USES1 },    /* ldc.l @rm+,gbr */
1858
  { 0x4027, LOAD | SETS1 | SETSSP | USES1 },    /* ldc.l @rm+,vbr */
1859
  { 0x4037, LOAD | SETS1 | SETSSP | USES1 },    /* ldc.l @rm+,ssr */
1860
  { 0x4047, LOAD | SETS1 | SETSSP | USES1 },    /* ldc.l @rm+,spc */
1861
  { 0x4057, LOAD | SETS1 | SETSSP | USES1 },    /* ldc.l @rm+,mod */
1862
  { 0x4067, LOAD | SETS1 | SETSSP | USES1 },    /* ldc.l @rm+,rs */
1863
  { 0x4077, LOAD | SETS1 | SETSSP | USES1 },    /* ldc.l @rm+,re */
1864
  { 0x4087, LOAD | SETS1 | SETSSP | USES1 },    /* ldc.l @rm+,r0_bank */
1865
  ..
1866
  { 0x40f7, LOAD | SETS1 | SETSSP | USES1 },    /* ldc.l @rm+,r7_bank */
1867
 
1868
  { 0x400e, SETSSP | USES1 },                   /* ldc rm,sr */
1869
  { 0x401e, SETSSP | USES1 },                   /* ldc rm,gbr */
1870
  { 0x402e, SETSSP | USES1 },                   /* ldc rm,vbr */
1871
  { 0x403e, SETSSP | USES1 },                   /* ldc rm,ssr */
1872
  { 0x404e, SETSSP | USES1 },                   /* ldc rm,spc */
1873
  { 0x405e, SETSSP | USES1 },                   /* ldc rm,mod */
1874
  { 0x406e, SETSSP | USES1 },                   /* ldc rm,rs */
1875
  { 0x407e, SETSSP | USES1 }                    /* ldc rm,re */
1876
  { 0x408e, SETSSP | USES1 }                    /* ldc rm,r0_bank */
1877
  ..
1878
  { 0x40fe, SETSSP | USES1 }                    /* ldc rm,r7_bank */
1879
#endif
1880
};
1881
 
1882
static const struct sh_opcode sh_opcode41[] =
1883
{
1884
  { 0x4003, STORE | SETS1 | USES1 | USESSP },   /* stc.l <special_reg>,@-rn */
1885
  { 0x4007, LOAD | SETS1 | SETSSP | USES1 },    /* ldc.l @rm+,<special_reg> */
1886
  { 0x400c, SETS1 | USES1 | USES2 },            /* shad rm,rn */
1887
  { 0x400d, SETS1 | USES1 | USES2 },            /* shld rm,rn */
1888
  { 0x400e, SETSSP | USES1 },                   /* ldc rm,<special_reg> */
1889
  { 0x400f, LOAD|SETS1|SETS2|SETSSP|USES1|USES2|USESSP }, /* mac.w @rm+,@rn+ */
1890
};
1891
 
1892
static const struct sh_minor_opcode sh_opcode4[] =
1893
{
1894
  { MAP (sh_opcode40), 0xf0ff },
1895
  { MAP (sh_opcode41), 0xf00f }
1896
};
1897
 
1898
static const struct sh_opcode sh_opcode50[] =
1899
{
1900
  { 0x5000, LOAD | SETS1 | USES2 }      /* mov.l @(disp,rm),rn */
1901
};
1902
 
1903
static const struct sh_minor_opcode sh_opcode5[] =
1904
{
1905
  { MAP (sh_opcode50), 0xf000 }
1906
};
1907
 
1908
static const struct sh_opcode sh_opcode60[] =
1909
{
1910
  { 0x6000, LOAD | SETS1 | USES2 },             /* mov.b @rm,rn */
1911
  { 0x6001, LOAD | SETS1 | USES2 },             /* mov.w @rm,rn */
1912
  { 0x6002, LOAD | SETS1 | USES2 },             /* mov.l @rm,rn */
1913
  { 0x6003, SETS1 | USES2 },                    /* mov rm,rn */
1914
  { 0x6004, LOAD | SETS1 | SETS2 | USES2 },     /* mov.b @rm+,rn */
1915
  { 0x6005, LOAD | SETS1 | SETS2 | USES2 },     /* mov.w @rm+,rn */
1916
  { 0x6006, LOAD | SETS1 | SETS2 | USES2 },     /* mov.l @rm+,rn */
1917
  { 0x6007, SETS1 | USES2 },                    /* not rm,rn */
1918
  { 0x6008, SETS1 | USES2 },                    /* swap.b rm,rn */
1919
  { 0x6009, SETS1 | USES2 },                    /* swap.w rm,rn */
1920
  { 0x600a, SETS1 | SETSSP | USES2 | USESSP },  /* negc rm,rn */
1921
  { 0x600b, SETS1 | USES2 },                    /* neg rm,rn */
1922
  { 0x600c, SETS1 | USES2 },                    /* extu.b rm,rn */
1923
  { 0x600d, SETS1 | USES2 },                    /* extu.w rm,rn */
1924
  { 0x600e, SETS1 | USES2 },                    /* exts.b rm,rn */
1925
  { 0x600f, SETS1 | USES2 }                     /* exts.w rm,rn */
1926
};
1927
 
1928
static const struct sh_minor_opcode sh_opcode6[] =
1929
{
1930
  { MAP (sh_opcode60), 0xf00f }
1931
};
1932
 
1933
static const struct sh_opcode sh_opcode70[] =
1934
{
1935
  { 0x7000, SETS1 | USES1 }             /* add #imm,rn */
1936
};
1937
 
1938
static const struct sh_minor_opcode sh_opcode7[] =
1939
{
1940
  { MAP (sh_opcode70), 0xf000 }
1941
};
1942
 
1943
static const struct sh_opcode sh_opcode80[] =
1944
{
1945
  { 0x8000, STORE | USES2 | USESR0 },   /* mov.b r0,@(disp,rn) */
1946
  { 0x8100, STORE | USES2 | USESR0 },   /* mov.w r0,@(disp,rn) */
1947
  { 0x8200, SETSSP },                   /* setrc #imm */
1948
  { 0x8400, LOAD | SETSR0 | USES2 },    /* mov.b @(disp,rm),r0 */
1949
  { 0x8500, LOAD | SETSR0 | USES2 },    /* mov.w @(disp,rn),r0 */
1950
  { 0x8800, SETSSP | USESR0 },          /* cmp/eq #imm,r0 */
1951
  { 0x8900, BRANCH | USESSP },          /* bt label */
1952
  { 0x8b00, BRANCH | USESSP },          /* bf label */
1953
  { 0x8c00, SETSSP },                   /* ldrs @(disp,pc) */
1954
  { 0x8d00, BRANCH | DELAY | USESSP },  /* bt/s label */
1955
  { 0x8e00, SETSSP },                   /* ldre @(disp,pc) */
1956
  { 0x8f00, BRANCH | DELAY | USESSP }   /* bf/s label */
1957
};
1958
 
1959
static const struct sh_minor_opcode sh_opcode8[] =
1960
{
1961
  { MAP (sh_opcode80), 0xff00 }
1962
};
1963
 
1964
static const struct sh_opcode sh_opcode90[] =
1965
{
1966
  { 0x9000, LOAD | SETS1 }      /* mov.w @(disp,pc),rn */
1967
};
1968
 
1969
static const struct sh_minor_opcode sh_opcode9[] =
1970
{
1971
  { MAP (sh_opcode90), 0xf000 }
1972
};
1973
 
1974
static const struct sh_opcode sh_opcodea0[] =
1975
{
1976
  { 0xa000, BRANCH | DELAY }    /* bra label */
1977
};
1978
 
1979
static const struct sh_minor_opcode sh_opcodea[] =
1980
{
1981
  { MAP (sh_opcodea0), 0xf000 }
1982
};
1983
 
1984
static const struct sh_opcode sh_opcodeb0[] =
1985
{
1986
  { 0xb000, BRANCH | DELAY }    /* bsr label */
1987
};
1988
 
1989
static const struct sh_minor_opcode sh_opcodeb[] =
1990
{
1991
  { MAP (sh_opcodeb0), 0xf000 }
1992
};
1993
 
1994
static const struct sh_opcode sh_opcodec0[] =
1995
{
1996
  { 0xc000, STORE | USESR0 | USESSP },          /* mov.b r0,@(disp,gbr) */
1997
  { 0xc100, STORE | USESR0 | USESSP },          /* mov.w r0,@(disp,gbr) */
1998
  { 0xc200, STORE | USESR0 | USESSP },          /* mov.l r0,@(disp,gbr) */
1999
  { 0xc300, BRANCH | USESSP },                  /* trapa #imm */
2000
  { 0xc400, LOAD | SETSR0 | USESSP },           /* mov.b @(disp,gbr),r0 */
2001
  { 0xc500, LOAD | SETSR0 | USESSP },           /* mov.w @(disp,gbr),r0 */
2002
  { 0xc600, LOAD | SETSR0 | USESSP },           /* mov.l @(disp,gbr),r0 */
2003
  { 0xc700, SETSR0 },                           /* mova @(disp,pc),r0 */
2004
  { 0xc800, SETSSP | USESR0 },                  /* tst #imm,r0 */
2005
  { 0xc900, SETSR0 | USESR0 },                  /* and #imm,r0 */
2006
  { 0xca00, SETSR0 | USESR0 },                  /* xor #imm,r0 */
2007
  { 0xcb00, SETSR0 | USESR0 },                  /* or #imm,r0 */
2008
  { 0xcc00, LOAD | SETSSP | USESR0 | USESSP },  /* tst.b #imm,@(r0,gbr) */
2009
  { 0xcd00, LOAD | STORE | USESR0 | USESSP },   /* and.b #imm,@(r0,gbr) */
2010
  { 0xce00, LOAD | STORE | USESR0 | USESSP },   /* xor.b #imm,@(r0,gbr) */
2011
  { 0xcf00, LOAD | STORE | USESR0 | USESSP }    /* or.b #imm,@(r0,gbr) */
2012
};
2013
 
2014
static const struct sh_minor_opcode sh_opcodec[] =
2015
{
2016
  { MAP (sh_opcodec0), 0xff00 }
2017
};
2018
 
2019
static const struct sh_opcode sh_opcoded0[] =
2020
{
2021
  { 0xd000, LOAD | SETS1 }              /* mov.l @(disp,pc),rn */
2022
};
2023
 
2024
static const struct sh_minor_opcode sh_opcoded[] =
2025
{
2026
  { MAP (sh_opcoded0), 0xf000 }
2027
};
2028
 
2029
static const struct sh_opcode sh_opcodee0[] =
2030
{
2031
  { 0xe000, SETS1 }             /* mov #imm,rn */
2032
};
2033
 
2034
static const struct sh_minor_opcode sh_opcodee[] =
2035
{
2036
  { MAP (sh_opcodee0), 0xf000 }
2037
};
2038
 
2039
static const struct sh_opcode sh_opcodef0[] =
2040
{
2041
  { 0xf000, SETSF1 | USESF1 | USESF2 },         /* fadd fm,fn */
2042
  { 0xf001, SETSF1 | USESF1 | USESF2 },         /* fsub fm,fn */
2043
  { 0xf002, SETSF1 | USESF1 | USESF2 },         /* fmul fm,fn */
2044
  { 0xf003, SETSF1 | USESF1 | USESF2 },         /* fdiv fm,fn */
2045
  { 0xf004, SETSSP | USESF1 | USESF2 },         /* fcmp/eq fm,fn */
2046
  { 0xf005, SETSSP | USESF1 | USESF2 },         /* fcmp/gt fm,fn */
2047
  { 0xf006, LOAD | SETSF1 | USES2 | USESR0 },   /* fmov.s @(r0,rm),fn */
2048
  { 0xf007, STORE | USES1 | USESF2 | USESR0 },  /* fmov.s fm,@(r0,rn) */
2049
  { 0xf008, LOAD | SETSF1 | USES2 },            /* fmov.s @rm,fn */
2050
  { 0xf009, LOAD | SETS2 | SETSF1 | USES2 },    /* fmov.s @rm+,fn */
2051
  { 0xf00a, STORE | USES1 | USESF2 },           /* fmov.s fm,@rn */
2052
  { 0xf00b, STORE | SETS1 | USES1 | USESF2 },   /* fmov.s fm,@-rn */
2053
  { 0xf00c, SETSF1 | USESF2 },                  /* fmov fm,fn */
2054
  { 0xf00e, SETSF1 | USESF1 | USESF2 | USESF0 } /* fmac f0,fm,fn */
2055
};
2056
 
2057
static const struct sh_opcode sh_opcodef1[] =
2058
{
2059
  { 0xf00d, SETSF1 | USESSP },  /* fsts fpul,fn */
2060
  { 0xf01d, SETSSP | USESF1 },  /* flds fn,fpul */
2061
  { 0xf02d, SETSF1 | USESSP },  /* float fpul,fn */
2062
  { 0xf03d, SETSSP | USESF1 },  /* ftrc fn,fpul */
2063
  { 0xf04d, SETSF1 | USESF1 },  /* fneg fn */
2064
  { 0xf05d, SETSF1 | USESF1 },  /* fabs fn */
2065
  { 0xf06d, SETSF1 | USESF1 },  /* fsqrt fn */
2066
  { 0xf07d, SETSSP | USESF1 },  /* ftst/nan fn */
2067
  { 0xf08d, SETSF1 },           /* fldi0 fn */
2068
  { 0xf09d, SETSF1 }            /* fldi1 fn */
2069
};
2070
 
2071
static const struct sh_minor_opcode sh_opcodef[] =
2072
{
2073
  { MAP (sh_opcodef0), 0xf00f },
2074
  { MAP (sh_opcodef1), 0xf0ff }
2075
};
2076
 
2077
static struct sh_major_opcode sh_opcodes[] =
2078
{
2079
  { MAP (sh_opcode0) },
2080
  { MAP (sh_opcode1) },
2081
  { MAP (sh_opcode2) },
2082
  { MAP (sh_opcode3) },
2083
  { MAP (sh_opcode4) },
2084
  { MAP (sh_opcode5) },
2085
  { MAP (sh_opcode6) },
2086
  { MAP (sh_opcode7) },
2087
  { MAP (sh_opcode8) },
2088
  { MAP (sh_opcode9) },
2089
  { MAP (sh_opcodea) },
2090
  { MAP (sh_opcodeb) },
2091
  { MAP (sh_opcodec) },
2092
  { MAP (sh_opcoded) },
2093
  { MAP (sh_opcodee) },
2094
  { MAP (sh_opcodef) }
2095
};
2096
 
2097
/* The double data transfer / parallel processing insns are not
2098
   described here.  This will cause sh_align_load_span to leave them alone.  */
2099
 
2100
static const struct sh_opcode sh_dsp_opcodef0[] =
2101
{
2102
  { 0xf400, USESAS | SETSAS | LOAD | SETSSP },  /* movs.x @-as,ds */
2103
  { 0xf401, USESAS | SETSAS | STORE | USESSP }, /* movs.x ds,@-as */
2104
  { 0xf404, USESAS | LOAD | SETSSP },           /* movs.x @as,ds */
2105
  { 0xf405, USESAS | STORE | USESSP },          /* movs.x ds,@as */
2106
  { 0xf408, USESAS | SETSAS | LOAD | SETSSP },  /* movs.x @as+,ds */
2107
  { 0xf409, USESAS | SETSAS | STORE | USESSP }, /* movs.x ds,@as+ */
2108
  { 0xf40c, USESAS | SETSAS | LOAD | SETSSP | USESR8 }, /* movs.x @as+r8,ds */
2109
  { 0xf40d, USESAS | SETSAS | STORE | USESSP | USESR8 } /* movs.x ds,@as+r8 */
2110
};
2111
 
2112
static const struct sh_minor_opcode sh_dsp_opcodef[] =
2113
{
2114
  { MAP (sh_dsp_opcodef0), 0xfc0d }
2115
};
2116
 
2117
#ifndef COFF_IMAGE_WITH_PE
2118
/* Given an instruction, return a pointer to the corresponding
2119
   sh_opcode structure.  Return NULL if the instruction is not
2120
   recognized.  */
2121
 
2122
static const struct sh_opcode *
2123
sh_insn_info (insn)
2124
     unsigned int insn;
2125
{
2126
  const struct sh_major_opcode *maj;
2127
  const struct sh_minor_opcode *min, *minend;
2128
 
2129
  maj = &sh_opcodes[(insn & 0xf000) >> 12];
2130
  min = maj->minor_opcodes;
2131
  minend = min + maj->count;
2132
  for (; min < minend; min++)
2133
    {
2134
      unsigned int l;
2135
      const struct sh_opcode *op, *opend;
2136
 
2137
      l = insn & min->mask;
2138
      op = min->opcodes;
2139
      opend = op + min->count;
2140
 
2141
      /* Since the opcodes tables are sorted, we could use a binary
2142
         search here if the count were above some cutoff value.  */
2143
      for (; op < opend; op++)
2144
        if (op->opcode == l)
2145
          return op;
2146
    }
2147
 
2148
  return NULL;
2149
}
2150
 
2151
/* See whether an instruction uses or sets a general purpose register */
2152
 
2153
static boolean
2154
sh_insn_uses_or_sets_reg (insn, op, reg)
2155
     unsigned int insn;
2156
     const struct sh_opcode *op;
2157
     unsigned int reg;
2158
{
2159
  if (sh_insn_uses_reg (insn, op, reg))
2160
    return true;
2161
 
2162
  return sh_insn_sets_reg (insn, op, reg);
2163
}
2164
 
2165
/* See whether an instruction uses a general purpose register.  */
2166
 
2167
static boolean
2168
sh_insn_uses_reg (insn, op, reg)
2169
     unsigned int insn;
2170
     const struct sh_opcode *op;
2171
     unsigned int reg;
2172
{
2173
  unsigned int f;
2174
 
2175
  f = op->flags;
2176
 
2177
  if ((f & USES1) != 0
2178
      && USES1_REG (insn) == reg)
2179
    return true;
2180
  if ((f & USES2) != 0
2181
      && USES2_REG (insn) == reg)
2182
    return true;
2183
  if ((f & USESR0) != 0
2184
      && reg == 0)
2185
    return true;
2186
  if ((f & USESAS) && reg == USESAS_REG (insn))
2187
    return true;
2188
  if ((f & USESR8) && reg == 8)
2189
    return true;
2190
 
2191
  return false;
2192
}
2193
 
2194
/* See whether an instruction sets a general purpose register.  */
2195
 
2196
static boolean
2197
sh_insn_sets_reg (insn, op, reg)
2198
     unsigned int insn;
2199
     const struct sh_opcode *op;
2200
     unsigned int reg;
2201
{
2202
  unsigned int f;
2203
 
2204
  f = op->flags;
2205
 
2206
  if ((f & SETS1) != 0
2207
      && SETS1_REG (insn) == reg)
2208
    return true;
2209
  if ((f & SETS2) != 0
2210
      && SETS2_REG (insn) == reg)
2211
    return true;
2212
  if ((f & SETSR0) != 0
2213
      && reg == 0)
2214
    return true;
2215
  if ((f & SETSAS) && reg == SETSAS_REG (insn))
2216
    return true;
2217
 
2218
  return false;
2219
}
2220
 
2221
/* See whether an instruction uses or sets a floating point register */
2222
 
2223
static boolean
2224
sh_insn_uses_or_sets_freg (insn, op, reg)
2225
     unsigned int insn;
2226
     const struct sh_opcode *op;
2227
     unsigned int reg;
2228
{
2229
  if (sh_insn_uses_freg (insn, op, reg))
2230
    return true;
2231
 
2232
  return sh_insn_sets_freg (insn, op, reg);
2233
}
2234
 
2235
/* See whether an instruction uses a floating point register.  */
2236
 
2237
static boolean
2238
sh_insn_uses_freg (insn, op, freg)
2239
     unsigned int insn;
2240
     const struct sh_opcode *op;
2241
     unsigned int freg;
2242
{
2243
  unsigned int f;
2244
 
2245
  f = op->flags;
2246
 
2247
  /* We can't tell if this is a double-precision insn, so just play safe
2248
     and assume that it might be.  So not only have we test FREG against
2249
     itself, but also even FREG against FREG+1 - if the using insn uses
2250
     just the low part of a double precision value - but also an odd
2251
     FREG against FREG-1 -  if the setting insn sets just the low part
2252
     of a double precision value.
2253
     So what this all boils down to is that we have to ignore the lowest
2254
     bit of the register number.  */
2255
 
2256
  if ((f & USESF1) != 0
2257
      && (USESF1_REG (insn) & 0xe) == (freg & 0xe))
2258
    return true;
2259
  if ((f & USESF2) != 0
2260
      && (USESF2_REG (insn) & 0xe) == (freg & 0xe))
2261
    return true;
2262
  if ((f & USESF0) != 0
2263
      && freg == 0)
2264
    return true;
2265
 
2266
  return false;
2267
}
2268
 
2269
/* See whether an instruction sets a floating point register.  */
2270
 
2271
static boolean
2272
sh_insn_sets_freg (insn, op, freg)
2273
     unsigned int insn;
2274
     const struct sh_opcode *op;
2275
     unsigned int freg;
2276
{
2277
  unsigned int f;
2278
 
2279
  f = op->flags;
2280
 
2281
  /* We can't tell if this is a double-precision insn, so just play safe
2282
     and assume that it might be.  So not only have we test FREG against
2283
     itself, but also even FREG against FREG+1 - if the using insn uses
2284
     just the low part of a double precision value - but also an odd
2285
     FREG against FREG-1 -  if the setting insn sets just the low part
2286
     of a double precision value.
2287
     So what this all boils down to is that we have to ignore the lowest
2288
     bit of the register number.  */
2289
 
2290
  if ((f & SETSF1) != 0
2291
      && (SETSF1_REG (insn) & 0xe) == (freg & 0xe))
2292
    return true;
2293
 
2294
  return false;
2295
}
2296
 
2297
/* See whether instructions I1 and I2 conflict, assuming I1 comes
2298
   before I2.  OP1 and OP2 are the corresponding sh_opcode structures.
2299
   This should return true if there is a conflict, or false if the
2300
   instructions can be swapped safely.  */
2301
 
2302
static boolean
2303
sh_insns_conflict (i1, op1, i2, op2)
2304
     unsigned int i1;
2305
     const struct sh_opcode *op1;
2306
     unsigned int i2;
2307
     const struct sh_opcode *op2;
2308
{
2309
  unsigned int f1, f2;
2310
 
2311
  f1 = op1->flags;
2312
  f2 = op2->flags;
2313
 
2314
  /* Load of fpscr conflicts with floating point operations.
2315
     FIXME: shouldn't test raw opcodes here.  */
2316
  if (((i1 & 0xf0ff) == 0x4066 && (i2 & 0xf000) == 0xf000)
2317
      || ((i2 & 0xf0ff) == 0x4066 && (i1 & 0xf000) == 0xf000))
2318
    return true;
2319
 
2320
  if ((f1 & (BRANCH | DELAY)) != 0
2321
      || (f2 & (BRANCH | DELAY)) != 0)
2322
    return true;
2323
 
2324
  if (((f1 | f2) & SETSSP)
2325
      && (f1 & (SETSSP | USESSP))
2326
      && (f2 & (SETSSP | USESSP)))
2327
    return true;
2328
 
2329
  if ((f1 & SETS1) != 0
2330
      && sh_insn_uses_or_sets_reg (i2, op2, SETS1_REG (i1)))
2331
    return true;
2332
  if ((f1 & SETS2) != 0
2333
      && sh_insn_uses_or_sets_reg (i2, op2, SETS2_REG (i1)))
2334
    return true;
2335
  if ((f1 & SETSR0) != 0
2336
      && sh_insn_uses_or_sets_reg (i2, op2, 0))
2337
    return true;
2338
  if ((f1 & SETSAS)
2339
      && sh_insn_uses_or_sets_reg (i2, op2, SETSAS_REG (i1)))
2340
    return true;
2341
  if ((f1 & SETSF1) != 0
2342
      && sh_insn_uses_or_sets_freg (i2, op2, SETSF1_REG (i1)))
2343
    return true;
2344
 
2345
  if ((f2 & SETS1) != 0
2346
      && sh_insn_uses_or_sets_reg (i1, op1, SETS1_REG (i2)))
2347
    return true;
2348
  if ((f2 & SETS2) != 0
2349
      && sh_insn_uses_or_sets_reg (i1, op1, SETS2_REG (i2)))
2350
    return true;
2351
  if ((f2 & SETSR0) != 0
2352
      && sh_insn_uses_or_sets_reg (i1, op1, 0))
2353
    return true;
2354
  if ((f2 & SETSAS)
2355
      && sh_insn_uses_or_sets_reg (i1, op1, SETSAS_REG (i2)))
2356
    return true;
2357
  if ((f2 & SETSF1) != 0
2358
      && sh_insn_uses_or_sets_freg (i1, op1, SETSF1_REG (i2)))
2359
    return true;
2360
 
2361
  /* The instructions do not conflict.  */
2362
  return false;
2363
}
2364
 
2365
/* I1 is a load instruction, and I2 is some other instruction.  Return
2366
   true if I1 loads a register which I2 uses.  */
2367
 
2368
static boolean
2369
sh_load_use (i1, op1, i2, op2)
2370
     unsigned int i1;
2371
     const struct sh_opcode *op1;
2372
     unsigned int i2;
2373
     const struct sh_opcode *op2;
2374
{
2375
  unsigned int f1;
2376
 
2377
  f1 = op1->flags;
2378
 
2379
  if ((f1 & LOAD) == 0)
2380
    return false;
2381
 
2382
  /* If both SETS1 and SETSSP are set, that means a load to a special
2383
     register using postincrement addressing mode, which we don't care
2384
     about here.  */
2385
  if ((f1 & SETS1) != 0
2386
      && (f1 & SETSSP) == 0
2387
      && sh_insn_uses_reg (i2, op2, (i1 & 0x0f00) >> 8))
2388
    return true;
2389
 
2390
  if ((f1 & SETSR0) != 0
2391
      && sh_insn_uses_reg (i2, op2, 0))
2392
    return true;
2393
 
2394
  if ((f1 & SETSF1) != 0
2395
      && sh_insn_uses_freg (i2, op2, (i1 & 0x0f00) >> 8))
2396
    return true;
2397
 
2398
  return false;
2399
}
2400
 
2401
/* Try to align loads and stores within a span of memory.  This is
2402
   called by both the ELF and the COFF sh targets.  ABFD and SEC are
2403
   the BFD and section we are examining.  CONTENTS is the contents of
2404
   the section.  SWAP is the routine to call to swap two instructions.
2405
   RELOCS is a pointer to the internal relocation information, to be
2406
   passed to SWAP.  PLABEL is a pointer to the current label in a
2407
   sorted list of labels; LABEL_END is the end of the list.  START and
2408
   STOP are the range of memory to examine.  If a swap is made,
2409
   *PSWAPPED is set to true.  */
2410
 
2411
#ifdef COFF_WITH_PE
2412
static
2413
#endif
2414
boolean
2415
_bfd_sh_align_load_span (abfd, sec, contents, swap, relocs,
2416
                         plabel, label_end, start, stop, pswapped)
2417
     bfd *abfd;
2418
     asection *sec;
2419
     bfd_byte *contents;
2420
     boolean (*swap) PARAMS ((bfd *, asection *, PTR, bfd_byte *, bfd_vma));
2421
     PTR relocs;
2422
     bfd_vma **plabel;
2423
     bfd_vma *label_end;
2424
     bfd_vma start;
2425
     bfd_vma stop;
2426
     boolean *pswapped;
2427
{
2428
  int dsp = (abfd->arch_info->mach == bfd_mach_sh_dsp
2429
             || abfd->arch_info->mach == bfd_mach_sh3_dsp);
2430
  bfd_vma i;
2431
 
2432
  /* The SH4 has a Harvard architecture, hence aligning loads is not
2433
     desirable.  In fact, it is counter-productive, since it interferes
2434
     with the schedules generated by the compiler.  */
2435
  if (abfd->arch_info->mach == bfd_mach_sh4)
2436
    return true;
2437
 
2438
  /* If we are linking sh[3]-dsp code, swap the FPU instructions for DSP
2439
     instructions.  */
2440
  if (dsp)
2441
    {
2442
      sh_opcodes[0xf].minor_opcodes = sh_dsp_opcodef;
2443
      sh_opcodes[0xf].count = sizeof sh_dsp_opcodef / sizeof sh_dsp_opcodef;
2444
    }
2445
 
2446
  /* Instructions should be aligned on 2 byte boundaries.  */
2447
  if ((start & 1) == 1)
2448
    ++start;
2449
 
2450
  /* Now look through the unaligned addresses.  */
2451
  i = start;
2452
  if ((i & 2) == 0)
2453
    i += 2;
2454
  for (; i < stop; i += 4)
2455
    {
2456
      unsigned int insn;
2457
      const struct sh_opcode *op;
2458
      unsigned int prev_insn = 0;
2459
      const struct sh_opcode *prev_op = NULL;
2460
 
2461
      insn = bfd_get_16 (abfd, contents + i);
2462
      op = sh_insn_info (insn);
2463
      if (op == NULL
2464
          || (op->flags & (LOAD | STORE)) == 0)
2465
        continue;
2466
 
2467
      /* This is a load or store which is not on a four byte boundary.  */
2468
 
2469
      while (*plabel < label_end && **plabel < i)
2470
        ++*plabel;
2471
 
2472
      if (i > start)
2473
        {
2474
          prev_insn = bfd_get_16 (abfd, contents + i - 2);
2475
          /* If INSN is the field b of a parallel processing insn, it is not
2476
             a load / store after all.  Note that the test here might mistake
2477
             the field_b of a pcopy insn for the starting code of a parallel
2478
             processing insn; this might miss a swapping opportunity, but at
2479
             least we're on the safe side.  */
2480
          if (dsp && (prev_insn & 0xfc00) == 0xf800)
2481
            continue;
2482
 
2483
          /* Check if prev_insn is actually the field b of a parallel
2484
             processing insn.  Again, this can give a spurious match
2485
             after a pcopy.  */
2486
          if (dsp && i - 2 > start)
2487
            {
2488
              unsigned pprev_insn = bfd_get_16 (abfd, contents + i - 4);
2489
 
2490
              if ((pprev_insn & 0xfc00) == 0xf800)
2491
                prev_op = NULL;
2492
              else
2493
                prev_op = sh_insn_info (prev_insn);
2494
            }
2495
          else
2496
            prev_op = sh_insn_info (prev_insn);
2497
 
2498
          /* If the load/store instruction is in a delay slot, we
2499
             can't swap.  */
2500
          if (prev_op == NULL
2501
              || (prev_op->flags & DELAY) != 0)
2502
            continue;
2503
        }
2504
      if (i > start
2505
          && (*plabel >= label_end || **plabel != i)
2506
          && prev_op != NULL
2507
          && (prev_op->flags & (LOAD | STORE)) == 0
2508
          && ! sh_insns_conflict (prev_insn, prev_op, insn, op))
2509
        {
2510
          boolean ok;
2511
 
2512
          /* The load/store instruction does not have a label, and
2513
             there is a previous instruction; PREV_INSN is not
2514
             itself a load/store instruction, and PREV_INSN and
2515
             INSN do not conflict.  */
2516
 
2517
          ok = true;
2518
 
2519
          if (i >= start + 4)
2520
            {
2521
              unsigned int prev2_insn;
2522
              const struct sh_opcode *prev2_op;
2523
 
2524
              prev2_insn = bfd_get_16 (abfd, contents + i - 4);
2525
              prev2_op = sh_insn_info (prev2_insn);
2526
 
2527
              /* If the instruction before PREV_INSN has a delay
2528
                 slot--that is, PREV_INSN is in a delay slot--we
2529
                 can not swap.  */
2530
              if (prev2_op == NULL
2531
                  || (prev2_op->flags & DELAY) != 0)
2532
                ok = false;
2533
 
2534
              /* If the instruction before PREV_INSN is a load,
2535
                 and it sets a register which INSN uses, then
2536
                 putting INSN immediately after PREV_INSN will
2537
                 cause a pipeline bubble, so there is no point to
2538
                 making the swap.  */
2539
              if (ok
2540
                  && (prev2_op->flags & LOAD) != 0
2541
                  && sh_load_use (prev2_insn, prev2_op, insn, op))
2542
                ok = false;
2543
            }
2544
 
2545
          if (ok)
2546
            {
2547
              if (! (*swap) (abfd, sec, relocs, contents, i - 2))
2548
                return false;
2549
              *pswapped = true;
2550
              continue;
2551
            }
2552
        }
2553
 
2554
      while (*plabel < label_end && **plabel < i + 2)
2555
        ++*plabel;
2556
 
2557
      if (i + 2 < stop
2558
          && (*plabel >= label_end || **plabel != i + 2))
2559
        {
2560
          unsigned int next_insn;
2561
          const struct sh_opcode *next_op;
2562
 
2563
          /* There is an instruction after the load/store
2564
             instruction, and it does not have a label.  */
2565
          next_insn = bfd_get_16 (abfd, contents + i + 2);
2566
          next_op = sh_insn_info (next_insn);
2567
          if (next_op != NULL
2568
              && (next_op->flags & (LOAD | STORE)) == 0
2569
              && ! sh_insns_conflict (insn, op, next_insn, next_op))
2570
            {
2571
              boolean ok;
2572
 
2573
              /* NEXT_INSN is not itself a load/store instruction,
2574
                 and it does not conflict with INSN.  */
2575
 
2576
              ok = true;
2577
 
2578
              /* If PREV_INSN is a load, and it sets a register
2579
                 which NEXT_INSN uses, then putting NEXT_INSN
2580
                 immediately after PREV_INSN will cause a pipeline
2581
                 bubble, so there is no reason to make this swap.  */
2582
              if (prev_op != NULL
2583
                  && (prev_op->flags & LOAD) != 0
2584
                  && sh_load_use (prev_insn, prev_op, next_insn, next_op))
2585
                ok = false;
2586
 
2587
              /* If INSN is a load, and it sets a register which
2588
                 the insn after NEXT_INSN uses, then doing the
2589
                 swap will cause a pipeline bubble, so there is no
2590
                 reason to make the swap.  However, if the insn
2591
                 after NEXT_INSN is itself a load or store
2592
                 instruction, then it is misaligned, so
2593
                 optimistically hope that it will be swapped
2594
                 itself, and just live with the pipeline bubble if
2595
                 it isn't.  */
2596
              if (ok
2597
                  && i + 4 < stop
2598
                  && (op->flags & LOAD) != 0)
2599
                {
2600
                  unsigned int next2_insn;
2601
                  const struct sh_opcode *next2_op;
2602
 
2603
                  next2_insn = bfd_get_16 (abfd, contents + i + 4);
2604
                  next2_op = sh_insn_info (next2_insn);
2605
                  if ((next2_op->flags & (LOAD | STORE)) == 0
2606
                      && sh_load_use (insn, op, next2_insn, next2_op))
2607
                    ok = false;
2608
                }
2609
 
2610
              if (ok)
2611
                {
2612
                  if (! (*swap) (abfd, sec, relocs, contents, i))
2613
                    return false;
2614
                  *pswapped = true;
2615
                  continue;
2616
                }
2617
            }
2618
        }
2619
    }
2620
 
2621
  return true;
2622
}
2623
#endif /* not COFF_IMAGE_WITH_PE */
2624
 
2625
/* Look for loads and stores which we can align to four byte
2626
   boundaries.  See the longer comment above sh_relax_section for why
2627
   this is desirable.  This sets *PSWAPPED if some instruction was
2628
   swapped.  */
2629
 
2630
static boolean
2631
sh_align_loads (abfd, sec, internal_relocs, contents, pswapped)
2632
     bfd *abfd;
2633
     asection *sec;
2634
     struct internal_reloc *internal_relocs;
2635
     bfd_byte *contents;
2636
     boolean *pswapped;
2637
{
2638
  struct internal_reloc *irel, *irelend;
2639
  bfd_vma *labels = NULL;
2640
  bfd_vma *label, *label_end;
2641
 
2642
  *pswapped = false;
2643
 
2644
  irelend = internal_relocs + sec->reloc_count;
2645
 
2646
  /* Get all the addresses with labels on them.  */
2647
  labels = (bfd_vma *) bfd_malloc (sec->reloc_count * sizeof (bfd_vma));
2648
  if (labels == NULL)
2649
    goto error_return;
2650
  label_end = labels;
2651
  for (irel = internal_relocs; irel < irelend; irel++)
2652
    {
2653
      if (irel->r_type == R_SH_LABEL)
2654
        {
2655
          *label_end = irel->r_vaddr - sec->vma;
2656
          ++label_end;
2657
        }
2658
    }
2659
 
2660
  /* Note that the assembler currently always outputs relocs in
2661
     address order.  If that ever changes, this code will need to sort
2662
     the label values and the relocs.  */
2663
 
2664
  label = labels;
2665
 
2666
  for (irel = internal_relocs; irel < irelend; irel++)
2667
    {
2668
      bfd_vma start, stop;
2669
 
2670
      if (irel->r_type != R_SH_CODE)
2671
        continue;
2672
 
2673
      start = irel->r_vaddr - sec->vma;
2674
 
2675
      for (irel++; irel < irelend; irel++)
2676
        if (irel->r_type == R_SH_DATA)
2677
          break;
2678
      if (irel < irelend)
2679
        stop = irel->r_vaddr - sec->vma;
2680
      else
2681
        stop = sec->_cooked_size;
2682
 
2683
      if (! _bfd_sh_align_load_span (abfd, sec, contents, sh_swap_insns,
2684
                                     (PTR) internal_relocs, &label,
2685
                                     label_end, start, stop, pswapped))
2686
        goto error_return;
2687
    }
2688
 
2689
  free (labels);
2690
 
2691
  return true;
2692
 
2693
 error_return:
2694
  if (labels != NULL)
2695
    free (labels);
2696
  return false;
2697
}
2698
 
2699
/* Swap two SH instructions.  */
2700
 
2701
static boolean
2702
sh_swap_insns (abfd, sec, relocs, contents, addr)
2703
     bfd *abfd;
2704
     asection *sec;
2705
     PTR relocs;
2706
     bfd_byte *contents;
2707
     bfd_vma addr;
2708
{
2709
  struct internal_reloc *internal_relocs = (struct internal_reloc *) relocs;
2710
  unsigned short i1, i2;
2711
  struct internal_reloc *irel, *irelend;
2712
 
2713
  /* Swap the instructions themselves.  */
2714
  i1 = bfd_get_16 (abfd, contents + addr);
2715
  i2 = bfd_get_16 (abfd, contents + addr + 2);
2716
  bfd_put_16 (abfd, i2, contents + addr);
2717
  bfd_put_16 (abfd, i1, contents + addr + 2);
2718
 
2719
  /* Adjust all reloc addresses.  */
2720
  irelend = internal_relocs + sec->reloc_count;
2721
  for (irel = internal_relocs; irel < irelend; irel++)
2722
    {
2723
      int type, add;
2724
 
2725
      /* There are a few special types of relocs that we don't want to
2726
         adjust.  These relocs do not apply to the instruction itself,
2727
         but are only associated with the address.  */
2728
      type = irel->r_type;
2729
      if (type == R_SH_ALIGN
2730
          || type == R_SH_CODE
2731
          || type == R_SH_DATA
2732
          || type == R_SH_LABEL)
2733
        continue;
2734
 
2735
      /* If an R_SH_USES reloc points to one of the addresses being
2736
         swapped, we must adjust it.  It would be incorrect to do this
2737
         for a jump, though, since we want to execute both
2738
         instructions after the jump.  (We have avoided swapping
2739
         around a label, so the jump will not wind up executing an
2740
         instruction it shouldn't).  */
2741
      if (type == R_SH_USES)
2742
        {
2743
          bfd_vma off;
2744
 
2745
          off = irel->r_vaddr - sec->vma + 4 + irel->r_offset;
2746
          if (off == addr)
2747
            irel->r_offset += 2;
2748
          else if (off == addr + 2)
2749
            irel->r_offset -= 2;
2750
        }
2751
 
2752
      if (irel->r_vaddr - sec->vma == addr)
2753
        {
2754
          irel->r_vaddr += 2;
2755
          add = -2;
2756
        }
2757
      else if (irel->r_vaddr - sec->vma == addr + 2)
2758
        {
2759
          irel->r_vaddr -= 2;
2760
          add = 2;
2761
        }
2762
      else
2763
        add = 0;
2764
 
2765
      if (add != 0)
2766
        {
2767
          bfd_byte *loc;
2768
          unsigned short insn, oinsn;
2769
          boolean overflow;
2770
 
2771
          loc = contents + irel->r_vaddr - sec->vma;
2772
          overflow = false;
2773
          switch (type)
2774
            {
2775
            default:
2776
              break;
2777
 
2778
            case R_SH_PCDISP8BY2:
2779
            case R_SH_PCRELIMM8BY2:
2780
              insn = bfd_get_16 (abfd, loc);
2781
              oinsn = insn;
2782
              insn += add / 2;
2783
              if ((oinsn & 0xff00) != (insn & 0xff00))
2784
                overflow = true;
2785
              bfd_put_16 (abfd, insn, loc);
2786
              break;
2787
 
2788
            case R_SH_PCDISP:
2789
              insn = bfd_get_16 (abfd, loc);
2790
              oinsn = insn;
2791
              insn += add / 2;
2792
              if ((oinsn & 0xf000) != (insn & 0xf000))
2793
                overflow = true;
2794
              bfd_put_16 (abfd, insn, loc);
2795
              break;
2796
 
2797
            case R_SH_PCRELIMM8BY4:
2798
              /* This reloc ignores the least significant 3 bits of
2799
                 the program counter before adding in the offset.
2800
                 This means that if ADDR is at an even address, the
2801
                 swap will not affect the offset.  If ADDR is an at an
2802
                 odd address, then the instruction will be crossing a
2803
                 four byte boundary, and must be adjusted.  */
2804
              if ((addr & 3) != 0)
2805
                {
2806
                  insn = bfd_get_16 (abfd, loc);
2807
                  oinsn = insn;
2808
                  insn += add / 2;
2809
                  if ((oinsn & 0xff00) != (insn & 0xff00))
2810
                    overflow = true;
2811
                  bfd_put_16 (abfd, insn, loc);
2812
                }
2813
 
2814
              break;
2815
            }
2816
 
2817
          if (overflow)
2818
            {
2819
              ((*_bfd_error_handler)
2820
               ("%s: 0x%lx: fatal: reloc overflow while relaxing",
2821
                bfd_get_filename (abfd), (unsigned long) irel->r_vaddr));
2822
              bfd_set_error (bfd_error_bad_value);
2823
              return false;
2824
            }
2825
        }
2826
    }
2827
 
2828
  return true;
2829
}
2830
 
2831
/* This is a modification of _bfd_coff_generic_relocate_section, which
2832
   will handle SH relaxing.  */
2833
 
2834
static boolean
2835
sh_relocate_section (output_bfd, info, input_bfd, input_section, contents,
2836
                     relocs, syms, sections)
2837
     bfd *output_bfd ATTRIBUTE_UNUSED;
2838
     struct bfd_link_info *info;
2839
     bfd *input_bfd;
2840
     asection *input_section;
2841
     bfd_byte *contents;
2842
     struct internal_reloc *relocs;
2843
     struct internal_syment *syms;
2844
     asection **sections;
2845
{
2846
  struct internal_reloc *rel;
2847
  struct internal_reloc *relend;
2848
 
2849
  rel = relocs;
2850
  relend = rel + input_section->reloc_count;
2851
  for (; rel < relend; rel++)
2852
    {
2853
      long symndx;
2854
      struct coff_link_hash_entry *h;
2855
      struct internal_syment *sym;
2856
      bfd_vma addend;
2857
      bfd_vma val;
2858
      reloc_howto_type *howto;
2859
      bfd_reloc_status_type rstat;
2860
 
2861
      /* Almost all relocs have to do with relaxing.  If any work must
2862
         be done for them, it has been done in sh_relax_section.  */
2863
      if (rel->r_type != R_SH_IMM32
2864
#ifdef COFF_WITH_PE
2865
          && rel->r_type != R_SH_IMM32CE
2866
          && rel->r_type != R_SH_IMAGEBASE
2867
#endif
2868
          && rel->r_type != R_SH_PCDISP)
2869
        continue;
2870
 
2871
      symndx = rel->r_symndx;
2872
 
2873
      if (symndx == -1)
2874
        {
2875
          h = NULL;
2876
          sym = NULL;
2877
        }
2878
      else
2879
        {
2880
          if (symndx < 0
2881
              || (unsigned long) symndx >= obj_raw_syment_count (input_bfd))
2882
            {
2883
              (*_bfd_error_handler)
2884
                ("%s: illegal symbol index %ld in relocs",
2885
                 bfd_get_filename (input_bfd), symndx);
2886
              bfd_set_error (bfd_error_bad_value);
2887
              return false;
2888
            }
2889
          h = obj_coff_sym_hashes (input_bfd)[symndx];
2890
          sym = syms + symndx;
2891
        }
2892
 
2893
      if (sym != NULL && sym->n_scnum != 0)
2894
        addend = - sym->n_value;
2895
      else
2896
        addend = 0;
2897
 
2898
      if (rel->r_type == R_SH_PCDISP)
2899
        addend -= 4;
2900
 
2901
      if (rel->r_type >= SH_COFF_HOWTO_COUNT)
2902
        howto = NULL;
2903
      else
2904
        howto = &sh_coff_howtos[rel->r_type];
2905
 
2906
      if (howto == NULL)
2907
        {
2908
          bfd_set_error (bfd_error_bad_value);
2909
          return false;
2910
        }
2911
 
2912
#ifdef COFF_WITH_PE
2913
      if (rel->r_type == R_SH_IMAGEBASE)
2914
        addend -= pe_data (input_section->output_section->owner)->pe_opthdr.ImageBase;
2915
#endif
2916
 
2917
      val = 0;
2918
 
2919
      if (h == NULL)
2920
        {
2921
          asection *sec;
2922
 
2923
          /* There is nothing to do for an internal PCDISP reloc.  */
2924
          if (rel->r_type == R_SH_PCDISP)
2925
            continue;
2926
 
2927
          if (symndx == -1)
2928
            {
2929
              sec = bfd_abs_section_ptr;
2930
              val = 0;
2931
            }
2932
          else
2933
            {
2934
              sec = sections[symndx];
2935
              val = (sec->output_section->vma
2936
                     + sec->output_offset
2937
                     + sym->n_value
2938
                     - sec->vma);
2939
            }
2940
        }
2941
      else
2942
        {
2943
          if (h->root.type == bfd_link_hash_defined
2944
              || h->root.type == bfd_link_hash_defweak)
2945
            {
2946
              asection *sec;
2947
 
2948
              sec = h->root.u.def.section;
2949
              val = (h->root.u.def.value
2950
                     + sec->output_section->vma
2951
                     + sec->output_offset);
2952
            }
2953
          else if (! info->relocateable)
2954
            {
2955
              if (! ((*info->callbacks->undefined_symbol)
2956
                     (info, h->root.root.string, input_bfd, input_section,
2957
                      rel->r_vaddr - input_section->vma, true)))
2958
                return false;
2959
            }
2960
        }
2961
 
2962
      rstat = _bfd_final_link_relocate (howto, input_bfd, input_section,
2963
                                        contents,
2964
                                        rel->r_vaddr - input_section->vma,
2965
                                        val, addend);
2966
 
2967
      switch (rstat)
2968
        {
2969
        default:
2970
          abort ();
2971
        case bfd_reloc_ok:
2972
          break;
2973
        case bfd_reloc_overflow:
2974
          {
2975
            const char *name;
2976
            char buf[SYMNMLEN + 1];
2977
 
2978
            if (symndx == -1)
2979
              name = "*ABS*";
2980
            else if (h != NULL)
2981
              name = h->root.root.string;
2982
            else if (sym->_n._n_n._n_zeroes == 0
2983
                     && sym->_n._n_n._n_offset != 0)
2984
              name = obj_coff_strings (input_bfd) + sym->_n._n_n._n_offset;
2985
            else
2986
              {
2987
                strncpy (buf, sym->_n._n_name, SYMNMLEN);
2988
                buf[SYMNMLEN] = '\0';
2989
                name = buf;
2990
              }
2991
 
2992
            if (! ((*info->callbacks->reloc_overflow)
2993
                   (info, name, howto->name, (bfd_vma) 0, input_bfd,
2994
                    input_section, rel->r_vaddr - input_section->vma)))
2995
              return false;
2996
          }
2997
        }
2998
    }
2999
 
3000
  return true;
3001
}
3002
 
3003
/* This is a version of bfd_generic_get_relocated_section_contents
3004
   which uses sh_relocate_section.  */
3005
 
3006
static bfd_byte *
3007
sh_coff_get_relocated_section_contents (output_bfd, link_info, link_order,
3008
                                        data, relocateable, symbols)
3009
     bfd *output_bfd;
3010
     struct bfd_link_info *link_info;
3011
     struct bfd_link_order *link_order;
3012
     bfd_byte *data;
3013
     boolean relocateable;
3014
     asymbol **symbols;
3015
{
3016
  asection *input_section = link_order->u.indirect.section;
3017
  bfd *input_bfd = input_section->owner;
3018
  asection **sections = NULL;
3019
  struct internal_reloc *internal_relocs = NULL;
3020
  struct internal_syment *internal_syms = NULL;
3021
 
3022
  /* We only need to handle the case of relaxing, or of having a
3023
     particular set of section contents, specially.  */
3024
  if (relocateable
3025
      || coff_section_data (input_bfd, input_section) == NULL
3026
      || coff_section_data (input_bfd, input_section)->contents == NULL)
3027
    return bfd_generic_get_relocated_section_contents (output_bfd, link_info,
3028
                                                       link_order, data,
3029
                                                       relocateable,
3030
                                                       symbols);
3031
 
3032
  memcpy (data, coff_section_data (input_bfd, input_section)->contents,
3033
          input_section->_raw_size);
3034
 
3035
  if ((input_section->flags & SEC_RELOC) != 0
3036
      && input_section->reloc_count > 0)
3037
    {
3038
      bfd_size_type symesz = bfd_coff_symesz (input_bfd);
3039
      bfd_byte *esym, *esymend;
3040
      struct internal_syment *isymp;
3041
      asection **secpp;
3042
 
3043
      if (! _bfd_coff_get_external_symbols (input_bfd))
3044
        goto error_return;
3045
 
3046
      internal_relocs = (_bfd_coff_read_internal_relocs
3047
                         (input_bfd, input_section, false, (bfd_byte *) NULL,
3048
                          false, (struct internal_reloc *) NULL));
3049
      if (internal_relocs == NULL)
3050
        goto error_return;
3051
 
3052
      internal_syms = ((struct internal_syment *)
3053
                       bfd_malloc (obj_raw_syment_count (input_bfd)
3054
                                   * sizeof (struct internal_syment)));
3055
      if (internal_syms == NULL)
3056
        goto error_return;
3057
 
3058
      sections = (asection **) bfd_malloc (obj_raw_syment_count (input_bfd)
3059
                                           * sizeof (asection *));
3060
      if (sections == NULL)
3061
        goto error_return;
3062
 
3063
      isymp = internal_syms;
3064
      secpp = sections;
3065
      esym = (bfd_byte *) obj_coff_external_syms (input_bfd);
3066
      esymend = esym + obj_raw_syment_count (input_bfd) * symesz;
3067
      while (esym < esymend)
3068
        {
3069
          bfd_coff_swap_sym_in (input_bfd, (PTR) esym, (PTR) isymp);
3070
 
3071
          if (isymp->n_scnum != 0)
3072
            *secpp = coff_section_from_bfd_index (input_bfd, isymp->n_scnum);
3073
          else
3074
            {
3075
              if (isymp->n_value == 0)
3076
                *secpp = bfd_und_section_ptr;
3077
              else
3078
                *secpp = bfd_com_section_ptr;
3079
            }
3080
 
3081
          esym += (isymp->n_numaux + 1) * symesz;
3082
          secpp += isymp->n_numaux + 1;
3083
          isymp += isymp->n_numaux + 1;
3084
        }
3085
 
3086
      if (! sh_relocate_section (output_bfd, link_info, input_bfd,
3087
                                 input_section, data, internal_relocs,
3088
                                 internal_syms, sections))
3089
        goto error_return;
3090
 
3091
      free (sections);
3092
      sections = NULL;
3093
      free (internal_syms);
3094
      internal_syms = NULL;
3095
      free (internal_relocs);
3096
      internal_relocs = NULL;
3097
    }
3098
 
3099
  return data;
3100
 
3101
 error_return:
3102
  if (internal_relocs != NULL)
3103
    free (internal_relocs);
3104
  if (internal_syms != NULL)
3105
    free (internal_syms);
3106
  if (sections != NULL)
3107
    free (sections);
3108
  return NULL;
3109
}
3110
 
3111
/* The target vectors.  */
3112
 
3113
#ifndef TARGET_SHL_SYM
3114
CREATE_BIG_COFF_TARGET_VEC (shcoff_vec, "coff-sh", BFD_IS_RELAXABLE, 0, '_', NULL)
3115
#endif
3116
 
3117
#ifdef TARGET_SHL_SYM
3118
#define TARGET_SYM TARGET_SHL_SYM
3119
#else
3120
#define TARGET_SYM shlcoff_vec
3121
#endif
3122
 
3123
#ifndef TARGET_SHL_NAME
3124
#define TARGET_SHL_NAME "coff-shl"
3125
#endif
3126
 
3127
#ifdef COFF_WITH_PE
3128
CREATE_LITTLE_COFF_TARGET_VEC (TARGET_SYM, TARGET_SHL_NAME, BFD_IS_RELAXABLE,
3129
                               SEC_CODE | SEC_DATA, '_', NULL);
3130
#else
3131
CREATE_LITTLE_COFF_TARGET_VEC (TARGET_SYM, TARGET_SHL_NAME, BFD_IS_RELAXABLE,
3132
                               0, '_', NULL)
3133
#endif
3134
 
3135
#ifndef TARGET_SHL_SYM
3136
/* Some people want versions of the SH COFF target which do not align
3137
   to 16 byte boundaries.  We implement that by adding a couple of new
3138
   target vectors.  These are just like the ones above, but they
3139
   change the default section alignment.  To generate them in the
3140
   assembler, use -small.  To use them in the linker, use -b
3141
   coff-sh{l}-small and -oformat coff-sh{l}-small.
3142
 
3143
   Yes, this is a horrible hack.  A general solution for setting
3144
   section alignment in COFF is rather complex.  ELF handles this
3145
   correctly.  */
3146
 
3147
/* Only recognize the small versions if the target was not defaulted.
3148
   Otherwise we won't recognize the non default endianness.  */
3149
 
3150
static const bfd_target *
3151
coff_small_object_p (abfd)
3152
     bfd *abfd;
3153
{
3154
  if (abfd->target_defaulted)
3155
    {
3156
      bfd_set_error (bfd_error_wrong_format);
3157
      return NULL;
3158
    }
3159
  return coff_object_p (abfd);
3160
}
3161
 
3162
/* Set the section alignment for the small versions.  */
3163
 
3164
static boolean
3165
coff_small_new_section_hook (abfd, section)
3166
     bfd *abfd;
3167
     asection *section;
3168
{
3169
  if (! coff_new_section_hook (abfd, section))
3170
    return false;
3171
 
3172
  /* We must align to at least a four byte boundary, because longword
3173
     accesses must be on a four byte boundary.  */
3174
  if (section->alignment_power == COFF_DEFAULT_SECTION_ALIGNMENT_POWER)
3175
    section->alignment_power = 2;
3176
 
3177
  return true;
3178
}
3179
 
3180
/* This is copied from bfd_coff_std_swap_table so that we can change
3181
   the default section alignment power.  */
3182
 
3183
static const bfd_coff_backend_data bfd_coff_small_swap_table =
3184
{
3185
  coff_swap_aux_in, coff_swap_sym_in, coff_swap_lineno_in,
3186
  coff_swap_aux_out, coff_swap_sym_out,
3187
  coff_swap_lineno_out, coff_swap_reloc_out,
3188
  coff_swap_filehdr_out, coff_swap_aouthdr_out,
3189
  coff_swap_scnhdr_out,
3190
  FILHSZ, AOUTSZ, SCNHSZ, SYMESZ, AUXESZ, RELSZ, LINESZ, FILNMLEN,
3191
#ifdef COFF_LONG_FILENAMES
3192
  true,
3193
#else
3194
  false,
3195
#endif
3196
#ifdef COFF_LONG_SECTION_NAMES
3197
  true,
3198
#else
3199
  false,
3200
#endif
3201
  2,
3202
#ifdef COFF_FORCE_SYMBOLS_IN_STRINGS
3203
  true,
3204
#else
3205
  false,
3206
#endif
3207
#ifdef COFF_DEBUG_STRING_WIDE_PREFIX
3208
  4,
3209
#else
3210
  2,
3211
#endif
3212
  coff_swap_filehdr_in, coff_swap_aouthdr_in, coff_swap_scnhdr_in,
3213
  coff_swap_reloc_in, coff_bad_format_hook, coff_set_arch_mach_hook,
3214
  coff_mkobject_hook, styp_to_sec_flags, coff_set_alignment_hook,
3215
  coff_slurp_symbol_table, symname_in_debug_hook, coff_pointerize_aux_hook,
3216
  coff_print_aux, coff_reloc16_extra_cases, coff_reloc16_estimate,
3217
  coff_classify_symbol, coff_compute_section_file_positions,
3218
  coff_start_final_link, coff_relocate_section, coff_rtype_to_howto,
3219
  coff_adjust_symndx, coff_link_add_one_symbol,
3220
  coff_link_output_has_begun, coff_final_link_postscript
3221
};
3222
 
3223
#define coff_small_close_and_cleanup \
3224
  coff_close_and_cleanup
3225
#define coff_small_bfd_free_cached_info \
3226
  coff_bfd_free_cached_info
3227
#define coff_small_get_section_contents \
3228
  coff_get_section_contents
3229
#define coff_small_get_section_contents_in_window \
3230
  coff_get_section_contents_in_window
3231
 
3232
extern const bfd_target shlcoff_small_vec;
3233
 
3234
const bfd_target shcoff_small_vec =
3235
{
3236
  "coff-sh-small",              /* name */
3237
  bfd_target_coff_flavour,
3238
  BFD_ENDIAN_BIG,               /* data byte order is big */
3239
  BFD_ENDIAN_BIG,               /* header byte order is big */
3240
 
3241
  (HAS_RELOC | EXEC_P |         /* object flags */
3242
   HAS_LINENO | HAS_DEBUG |
3243
   HAS_SYMS | HAS_LOCALS | WP_TEXT | BFD_IS_RELAXABLE),
3244
 
3245
  (SEC_HAS_CONTENTS | SEC_ALLOC | SEC_LOAD | SEC_RELOC),
3246
  '_',                          /* leading symbol underscore */
3247
  '/',                          /* ar_pad_char */
3248
  15,                           /* ar_max_namelen */
3249
  bfd_getb64, bfd_getb_signed_64, bfd_putb64,
3250
  bfd_getb32, bfd_getb_signed_32, bfd_putb32,
3251
  bfd_getb16, bfd_getb_signed_16, bfd_putb16, /* data */
3252
  bfd_getb64, bfd_getb_signed_64, bfd_putb64,
3253
  bfd_getb32, bfd_getb_signed_32, bfd_putb32,
3254
  bfd_getb16, bfd_getb_signed_16, bfd_putb16, /* hdrs */
3255
 
3256
  {_bfd_dummy_target, coff_small_object_p, /* bfd_check_format */
3257
     bfd_generic_archive_p, _bfd_dummy_target},
3258
  {bfd_false, coff_mkobject, _bfd_generic_mkarchive, /* bfd_set_format */
3259
     bfd_false},
3260
  {bfd_false, coff_write_object_contents, /* bfd_write_contents */
3261
     _bfd_write_archive_contents, bfd_false},
3262
 
3263
  BFD_JUMP_TABLE_GENERIC (coff_small),
3264
  BFD_JUMP_TABLE_COPY (coff),
3265
  BFD_JUMP_TABLE_CORE (_bfd_nocore),
3266
  BFD_JUMP_TABLE_ARCHIVE (_bfd_archive_coff),
3267
  BFD_JUMP_TABLE_SYMBOLS (coff),
3268
  BFD_JUMP_TABLE_RELOCS (coff),
3269
  BFD_JUMP_TABLE_WRITE (coff),
3270
  BFD_JUMP_TABLE_LINK (coff),
3271
  BFD_JUMP_TABLE_DYNAMIC (_bfd_nodynamic),
3272
 
3273
  & shlcoff_small_vec,
3274
 
3275
  (PTR) &bfd_coff_small_swap_table
3276
};
3277
 
3278
const bfd_target shlcoff_small_vec =
3279
{
3280
  "coff-shl-small",             /* name */
3281
  bfd_target_coff_flavour,
3282
  BFD_ENDIAN_LITTLE,            /* data byte order is little */
3283
  BFD_ENDIAN_LITTLE,            /* header byte order is little endian too*/
3284
 
3285
  (HAS_RELOC | EXEC_P |         /* object flags */
3286
   HAS_LINENO | HAS_DEBUG |
3287
   HAS_SYMS | HAS_LOCALS | WP_TEXT | BFD_IS_RELAXABLE),
3288
 
3289
  (SEC_HAS_CONTENTS | SEC_ALLOC | SEC_LOAD | SEC_RELOC),
3290
  '_',                          /* leading symbol underscore */
3291
  '/',                          /* ar_pad_char */
3292
  15,                           /* ar_max_namelen */
3293
  bfd_getl64, bfd_getl_signed_64, bfd_putl64,
3294
  bfd_getl32, bfd_getl_signed_32, bfd_putl32,
3295
  bfd_getl16, bfd_getl_signed_16, bfd_putl16, /* data */
3296
  bfd_getl64, bfd_getl_signed_64, bfd_putl64,
3297
  bfd_getl32, bfd_getl_signed_32, bfd_putl32,
3298
  bfd_getl16, bfd_getl_signed_16, bfd_putl16, /* hdrs */
3299
 
3300
  {_bfd_dummy_target, coff_small_object_p, /* bfd_check_format */
3301
     bfd_generic_archive_p, _bfd_dummy_target},
3302
  {bfd_false, coff_mkobject, _bfd_generic_mkarchive, /* bfd_set_format */
3303
     bfd_false},
3304
  {bfd_false, coff_write_object_contents, /* bfd_write_contents */
3305
     _bfd_write_archive_contents, bfd_false},
3306
 
3307
  BFD_JUMP_TABLE_GENERIC (coff_small),
3308
  BFD_JUMP_TABLE_COPY (coff),
3309
  BFD_JUMP_TABLE_CORE (_bfd_nocore),
3310
  BFD_JUMP_TABLE_ARCHIVE (_bfd_archive_coff),
3311
  BFD_JUMP_TABLE_SYMBOLS (coff),
3312
  BFD_JUMP_TABLE_RELOCS (coff),
3313
  BFD_JUMP_TABLE_WRITE (coff),
3314
  BFD_JUMP_TABLE_LINK (coff),
3315
  BFD_JUMP_TABLE_DYNAMIC (_bfd_nodynamic),
3316
 
3317
  & shcoff_small_vec,
3318
 
3319
  (PTR) &bfd_coff_small_swap_table
3320
};
3321
#endif

powered by: WebSVN 2.1.0

© copyright 1999-2024 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.