Home | History | Annotate | Line # | Download | only in config
tc-sh.c revision 1.1.1.6
      1 /* tc-sh.c -- Assemble code for the Renesas / SuperH SH
      2    Copyright (C) 1993-2018 Free Software Foundation, Inc.
      3 
      4    This file is part of GAS, the GNU Assembler.
      5 
      6    GAS is free software; you can redistribute it and/or modify
      7    it under the terms of the GNU General Public License as published by
      8    the Free Software Foundation; either version 3, or (at your option)
      9    any later version.
     10 
     11    GAS is distributed in the hope that it will be useful,
     12    but WITHOUT ANY WARRANTY; without even the implied warranty of
     13    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
     14    GNU General Public License for more details.
     15 
     16    You should have received a copy of the GNU General Public License
     17    along with GAS; see the file COPYING.  If not, write to
     18    the Free Software Foundation, 51 Franklin Street - Fifth Floor,
     19    Boston, MA 02110-1301, USA.  */
     20 
     21 /* Written By Steve Chamberlain <sac (at) cygnus.com>  */
     22 
     23 #include "as.h"
     24 #include "subsegs.h"
     25 #define DEFINE_TABLE
     26 #include "opcodes/sh-opc.h"
     27 #include "safe-ctype.h"
     28 #include "struc-symbol.h"
     29 
     30 #ifdef OBJ_ELF
     31 #include "elf/sh.h"
     32 #endif
     33 
     34 #include "dwarf2dbg.h"
     35 #include "dw2gencfi.h"
     36 
     37 typedef struct
     38   {
     39     sh_arg_type type;
     40     int reg;
     41     expressionS immediate;
     42   }
     43 sh_operand_info;
     44 
     45 const char comment_chars[] = "!";
     46 const char line_separator_chars[] = ";";
     47 const char line_comment_chars[] = "!#";
     48 
     49 static void s_uses (int);
     50 static void s_uacons (int);
     51 
     52 #ifdef OBJ_ELF
     53 static void sh_elf_cons (int);
     54 
     55 symbolS *GOT_symbol;		/* Pre-defined "_GLOBAL_OFFSET_TABLE_" */
     56 #endif
     57 
     58 static void
     59 big (int ignore ATTRIBUTE_UNUSED)
     60 {
     61   if (! target_big_endian)
     62     as_bad (_("directive .big encountered when option -big required"));
     63 
     64   /* Stop further messages.  */
     65   target_big_endian = 1;
     66 }
     67 
     68 static void
     69 little (int ignore ATTRIBUTE_UNUSED)
     70 {
     71   if (target_big_endian)
     72     as_bad (_("directive .little encountered when option -little required"));
     73 
     74   /* Stop further messages.  */
     75   target_big_endian = 0;
     76 }
     77 
     78 /* This table describes all the machine specific pseudo-ops the assembler
     79    has to support.  The fields are:
     80    pseudo-op name without dot
     81    function to call to execute this pseudo-op
     82    Integer arg to pass to the function.  */
     83 
     84 const pseudo_typeS md_pseudo_table[] =
     85 {
     86 #ifdef OBJ_ELF
     87   {"long", sh_elf_cons, 4},
     88   {"int", sh_elf_cons, 4},
     89   {"word", sh_elf_cons, 2},
     90   {"short", sh_elf_cons, 2},
     91 #else
     92   {"int", cons, 4},
     93   {"word", cons, 2},
     94 #endif /* OBJ_ELF */
     95   {"big", big, 0},
     96   {"form", listing_psize, 0},
     97   {"little", little, 0},
     98   {"heading", listing_title, 0},
     99   {"import", s_ignore, 0},
    100   {"page", listing_eject, 0},
    101   {"program", s_ignore, 0},
    102   {"uses", s_uses, 0},
    103   {"uaword", s_uacons, 2},
    104   {"ualong", s_uacons, 4},
    105   {"uaquad", s_uacons, 8},
    106   {"2byte", s_uacons, 2},
    107   {"4byte", s_uacons, 4},
    108   {"8byte", s_uacons, 8},
    109 #ifdef HAVE_SH64
    110   {"mode", s_sh64_mode, 0 },
    111 
    112   /* Have the old name too.  */
    113   {"isa", s_sh64_mode, 0 },
    114 
    115   /* Assert that the right ABI is used.  */
    116   {"abi", s_sh64_abi, 0 },
    117 
    118   { "vtable_inherit", sh64_vtable_inherit, 0 },
    119   { "vtable_entry", sh64_vtable_entry, 0 },
    120 #endif /* HAVE_SH64 */
    121   {0, 0, 0}
    122 };
    123 
    124 int sh_relax;		/* set if -relax seen */
    125 
    126 /* Whether -small was seen.  */
    127 
    128 int sh_small;
    129 
    130 /* Flag to generate relocations against symbol values for local symbols.  */
    131 
    132 static int dont_adjust_reloc_32;
    133 
    134 /* Flag to indicate that '$' is allowed as a register prefix.  */
    135 
    136 static int allow_dollar_register_prefix;
    137 
    138 /* Preset architecture set, if given; zero otherwise.  */
    139 
    140 static unsigned int preset_target_arch;
    141 
    142 /* The bit mask of architectures that could
    143    accommodate the insns seen so far.  */
    144 static unsigned int valid_arch;
    145 
    146 #ifdef OBJ_ELF
    147 /* Whether --fdpic was given.  */
    148 static int sh_fdpic;
    149 #endif
    150 
    151 const char EXP_CHARS[] = "eE";
    152 
    153 /* Chars that mean this number is a floating point constant.  */
    154 /* As in 0f12.456 */
    155 /* or    0d1.2345e12 */
    156 const char FLT_CHARS[] = "rRsSfFdDxXpP";
    157 
    158 #define C(a,b) ENCODE_RELAX(a,b)
    159 
    160 #define ENCODE_RELAX(what,length) (((what) << 4) + (length))
    161 #define GET_WHAT(x) ((x>>4))
    162 
    163 /* These are the three types of relaxable instruction.  */
    164 /* These are the types of relaxable instructions; except for END which is
    165    a marker.  */
    166 #define COND_JUMP 1
    167 #define COND_JUMP_DELAY 2
    168 #define UNCOND_JUMP  3
    169 
    170 #ifdef HAVE_SH64
    171 
    172 /* A 16-bit (times four) pc-relative operand, at most expanded to 32 bits.  */
    173 #define SH64PCREL16_32 4
    174 /* A 16-bit (times four) pc-relative operand, at most expanded to 64 bits.  */
    175 #define SH64PCREL16_64 5
    176 
    177 /* Variants of the above for adjusting the insn to PTA or PTB according to
    178    the label.  */
    179 #define SH64PCREL16PT_32 6
    180 #define SH64PCREL16PT_64 7
    181 
    182 /* A MOVI expansion, expanding to at most 32 or 64 bits.  */
    183 #define MOVI_IMM_32 8
    184 #define MOVI_IMM_32_PCREL 9
    185 #define MOVI_IMM_64 10
    186 #define MOVI_IMM_64_PCREL 11
    187 #define END 12
    188 
    189 #else  /* HAVE_SH64 */
    190 
    191 #define END 4
    192 
    193 #endif /* HAVE_SH64 */
    194 
    195 #define UNDEF_DISP 0
    196 #define COND8  1
    197 #define COND12 2
    198 #define COND32 3
    199 #define UNDEF_WORD_DISP 4
    200 
    201 #define UNCOND12 1
    202 #define UNCOND32 2
    203 
    204 #ifdef HAVE_SH64
    205 #define UNDEF_SH64PCREL 0
    206 #define SH64PCREL16 1
    207 #define SH64PCREL32 2
    208 #define SH64PCREL48 3
    209 #define SH64PCREL64 4
    210 #define SH64PCRELPLT 5
    211 
    212 #define UNDEF_MOVI 0
    213 #define MOVI_16 1
    214 #define MOVI_32 2
    215 #define MOVI_48 3
    216 #define MOVI_64 4
    217 #define MOVI_PLT 5
    218 #define MOVI_GOTOFF 6
    219 #define MOVI_GOTPC 7
    220 #endif /* HAVE_SH64 */
    221 
    222 /* Branch displacements are from the address of the branch plus
    223    four, thus all minimum and maximum values have 4 added to them.  */
    224 #define COND8_F 258
    225 #define COND8_M -252
    226 #define COND8_LENGTH 2
    227 
    228 /* There is one extra instruction before the branch, so we must add
    229    two more bytes to account for it.  */
    230 #define COND12_F 4100
    231 #define COND12_M -4090
    232 #define COND12_LENGTH 6
    233 
    234 #define COND12_DELAY_LENGTH 4
    235 
    236 /* ??? The minimum and maximum values are wrong, but this does not matter
    237    since this relocation type is not supported yet.  */
    238 #define COND32_F (1<<30)
    239 #define COND32_M -(1<<30)
    240 #define COND32_LENGTH 14
    241 
    242 #define UNCOND12_F 4098
    243 #define UNCOND12_M -4092
    244 #define UNCOND12_LENGTH 2
    245 
    246 /* ??? The minimum and maximum values are wrong, but this does not matter
    247    since this relocation type is not supported yet.  */
    248 #define UNCOND32_F (1<<30)
    249 #define UNCOND32_M -(1<<30)
    250 #define UNCOND32_LENGTH 14
    251 
    252 #ifdef HAVE_SH64
    253 /* The trivial expansion of a SH64PCREL16 relaxation is just a "PT label,
    254    TRd" as is the current insn, so no extra length.  Note that the "reach"
    255    is calculated from the address *after* that insn, but the offset in the
    256    insn is calculated from the beginning of the insn.  We also need to
    257    take into account the implicit 1 coded as the "A" in PTA when counting
    258    forward.  If PTB reaches an odd address, we trap that as an error
    259    elsewhere, so we don't have to have different relaxation entries.  We
    260    don't add a one to the negative range, since PTB would then have the
    261    farthest backward-reaching value skipped, not generated at relaxation.  */
    262 #define SH64PCREL16_F (32767 * 4 - 4 + 1)
    263 #define SH64PCREL16_M (-32768 * 4 - 4)
    264 #define SH64PCREL16_LENGTH 0
    265 
    266 /* The next step is to change that PT insn into
    267      MOVI ((label - datalabel Ln) >> 16) & 65535, R25
    268      SHORI (label - datalabel Ln) & 65535, R25
    269     Ln:
    270      PTREL R25,TRd
    271    which means two extra insns, 8 extra bytes.  This is the limit for the
    272    32-bit ABI.
    273 
    274    The expressions look a bit bad since we have to adjust this to avoid overflow on a
    275    32-bit host.  */
    276 #define SH64PCREL32_F ((((long) 1 << 30) - 1) * 2 + 1 - 4)
    277 #define SH64PCREL32_LENGTH (2 * 4)
    278 
    279 /* Similarly, we just change the MOVI and add a SHORI for the 48-bit
    280    expansion.  */
    281 #if BFD_HOST_64BIT_LONG
    282 /* The "reach" type is long, so we can only do this for a 64-bit-long
    283    host.  */
    284 #define SH64PCREL32_M ((-((long) 1 << 30)) * 2 - 4)
    285 #define SH64PCREL48_F ((((long) 1 << 47) - 1) - 4)
    286 #define SH64PCREL48_M ((-((long) 1 << 47)) - 4)
    287 #define SH64PCREL48_LENGTH (3 * 4)
    288 #else
    289 /* If the host does not have 64-bit longs, just make this state identical
    290    in reach to the 32-bit state.  Note that we have a slightly incorrect
    291    reach, but the correct one above will overflow a 32-bit number.  */
    292 #define SH64PCREL32_M ((-((long) 1 << 30)) * 2)
    293 #define SH64PCREL48_F SH64PCREL32_F
    294 #define SH64PCREL48_M SH64PCREL32_M
    295 #define SH64PCREL48_LENGTH (3 * 4)
    296 #endif /* BFD_HOST_64BIT_LONG */
    297 
    298 /* And similarly for the 64-bit expansion; a MOVI + SHORI + SHORI + SHORI
    299    + PTREL sequence.  */
    300 #define SH64PCREL64_LENGTH (4 * 4)
    301 
    302 /* For MOVI, we make the MOVI + SHORI... expansion you can see in the
    303    SH64PCREL expansions.  The PCREL one is similar, but the other has no
    304    pc-relative reach; it must be fully expanded in
    305    shmedia_md_estimate_size_before_relax.  */
    306 #define MOVI_16_LENGTH 0
    307 #define MOVI_16_F (32767 - 4)
    308 #define MOVI_16_M (-32768 - 4)
    309 #define MOVI_32_LENGTH 4
    310 #define MOVI_32_F ((((long) 1 << 30) - 1) * 2 + 1 - 4)
    311 #define MOVI_48_LENGTH 8
    312 
    313 #if BFD_HOST_64BIT_LONG
    314 /* The "reach" type is long, so we can only do this for a 64-bit-long
    315    host.  */
    316 #define MOVI_32_M ((-((long) 1 << 30)) * 2 - 4)
    317 #define MOVI_48_F ((((long) 1 << 47) - 1) - 4)
    318 #define MOVI_48_M ((-((long) 1 << 47)) - 4)
    319 #else
    320 /* If the host does not have 64-bit longs, just make this state identical
    321    in reach to the 32-bit state.  Note that we have a slightly incorrect
    322    reach, but the correct one above will overflow a 32-bit number.  */
    323 #define MOVI_32_M ((-((long) 1 << 30)) * 2)
    324 #define MOVI_48_F MOVI_32_F
    325 #define MOVI_48_M MOVI_32_M
    326 #endif /* BFD_HOST_64BIT_LONG */
    327 
    328 #define MOVI_64_LENGTH 12
    329 #endif /* HAVE_SH64 */
    330 
    331 #define EMPTY { 0, 0, 0, 0 }
    332 
    333 const relax_typeS md_relax_table[C (END, 0)] = {
    334   EMPTY, EMPTY, EMPTY, EMPTY, EMPTY, EMPTY, EMPTY, EMPTY,
    335   EMPTY, EMPTY, EMPTY, EMPTY, EMPTY, EMPTY, EMPTY, EMPTY,
    336 
    337   EMPTY,
    338   /* C (COND_JUMP, COND8) */
    339   { COND8_F, COND8_M, COND8_LENGTH, C (COND_JUMP, COND12) },
    340   /* C (COND_JUMP, COND12) */
    341   { COND12_F, COND12_M, COND12_LENGTH, C (COND_JUMP, COND32), },
    342   /* C (COND_JUMP, COND32) */
    343   { COND32_F, COND32_M, COND32_LENGTH, 0, },
    344   /* C (COND_JUMP, UNDEF_WORD_DISP) */
    345   { 0, 0, COND32_LENGTH, 0, },
    346   EMPTY, EMPTY, EMPTY,
    347   EMPTY, EMPTY, EMPTY, EMPTY, EMPTY, EMPTY, EMPTY, EMPTY,
    348 
    349   EMPTY,
    350   /* C (COND_JUMP_DELAY, COND8) */
    351   { COND8_F, COND8_M, COND8_LENGTH, C (COND_JUMP_DELAY, COND12) },
    352   /* C (COND_JUMP_DELAY, COND12) */
    353   { COND12_F, COND12_M, COND12_DELAY_LENGTH, C (COND_JUMP_DELAY, COND32), },
    354   /* C (COND_JUMP_DELAY, COND32) */
    355   { COND32_F, COND32_M, COND32_LENGTH, 0, },
    356   /* C (COND_JUMP_DELAY, UNDEF_WORD_DISP) */
    357   { 0, 0, COND32_LENGTH, 0, },
    358   EMPTY, EMPTY, EMPTY,
    359   EMPTY, EMPTY, EMPTY, EMPTY, EMPTY, EMPTY, EMPTY, EMPTY,
    360 
    361   EMPTY,
    362   /* C (UNCOND_JUMP, UNCOND12) */
    363   { UNCOND12_F, UNCOND12_M, UNCOND12_LENGTH, C (UNCOND_JUMP, UNCOND32), },
    364   /* C (UNCOND_JUMP, UNCOND32) */
    365   { UNCOND32_F, UNCOND32_M, UNCOND32_LENGTH, 0, },
    366   EMPTY,
    367   /* C (UNCOND_JUMP, UNDEF_WORD_DISP) */
    368   { 0, 0, UNCOND32_LENGTH, 0, },
    369   EMPTY, EMPTY, EMPTY,
    370   EMPTY, EMPTY, EMPTY, EMPTY, EMPTY, EMPTY, EMPTY, EMPTY,
    371 
    372 #ifdef HAVE_SH64
    373   /* C (SH64PCREL16_32, SH64PCREL16) */
    374   EMPTY,
    375   { SH64PCREL16_F, SH64PCREL16_M, SH64PCREL16_LENGTH, C (SH64PCREL16_32, SH64PCREL32) },
    376   /* C (SH64PCREL16_32, SH64PCREL32) */
    377   { 0, 0, SH64PCREL32_LENGTH, 0 },
    378   EMPTY, EMPTY,
    379   /* C (SH64PCREL16_32, SH64PCRELPLT) */
    380   { 0, 0, SH64PCREL32_LENGTH, 0 },
    381   EMPTY, EMPTY,
    382   EMPTY, EMPTY, EMPTY, EMPTY, EMPTY, EMPTY, EMPTY, EMPTY,
    383 
    384   /* C (SH64PCREL16_64, SH64PCREL16) */
    385   EMPTY,
    386   { SH64PCREL16_F, SH64PCREL16_M, SH64PCREL16_LENGTH, C (SH64PCREL16_64, SH64PCREL32) },
    387   /* C (SH64PCREL16_64, SH64PCREL32) */
    388   { SH64PCREL32_F, SH64PCREL32_M, SH64PCREL32_LENGTH, C (SH64PCREL16_64, SH64PCREL48) },
    389   /* C (SH64PCREL16_64, SH64PCREL48) */
    390   { SH64PCREL48_F, SH64PCREL48_M, SH64PCREL48_LENGTH, C (SH64PCREL16_64, SH64PCREL64) },
    391   /* C (SH64PCREL16_64, SH64PCREL64) */
    392   { 0, 0, SH64PCREL64_LENGTH, 0 },
    393   /* C (SH64PCREL16_64, SH64PCRELPLT) */
    394   { 0, 0, SH64PCREL64_LENGTH, 0 },
    395   EMPTY, EMPTY,
    396   EMPTY, EMPTY, EMPTY, EMPTY, EMPTY, EMPTY, EMPTY, EMPTY,
    397 
    398   /* C (SH64PCREL16PT_32, SH64PCREL16) */
    399   EMPTY,
    400   { SH64PCREL16_F, SH64PCREL16_M, SH64PCREL16_LENGTH, C (SH64PCREL16PT_32, SH64PCREL32) },
    401   /* C (SH64PCREL16PT_32, SH64PCREL32) */
    402   { 0, 0, SH64PCREL32_LENGTH, 0 },
    403   EMPTY, EMPTY,
    404   /* C (SH64PCREL16PT_32, SH64PCRELPLT) */
    405   { 0, 0, SH64PCREL32_LENGTH, 0 },
    406   EMPTY, EMPTY,
    407   EMPTY, EMPTY, EMPTY, EMPTY, EMPTY, EMPTY, EMPTY, EMPTY,
    408 
    409   /* C (SH64PCREL16PT_64, SH64PCREL16) */
    410   EMPTY,
    411   { SH64PCREL16_F, SH64PCREL16_M, SH64PCREL16_LENGTH, C (SH64PCREL16PT_64, SH64PCREL32) },
    412   /* C (SH64PCREL16PT_64, SH64PCREL32) */
    413   { SH64PCREL32_F,
    414     SH64PCREL32_M,
    415     SH64PCREL32_LENGTH,
    416     C (SH64PCREL16PT_64, SH64PCREL48) },
    417   /* C (SH64PCREL16PT_64, SH64PCREL48) */
    418   { SH64PCREL48_F, SH64PCREL48_M, SH64PCREL48_LENGTH, C (SH64PCREL16PT_64, SH64PCREL64) },
    419   /* C (SH64PCREL16PT_64, SH64PCREL64) */
    420   { 0, 0, SH64PCREL64_LENGTH, 0 },
    421   /* C (SH64PCREL16PT_64, SH64PCRELPLT) */
    422   { 0, 0, SH64PCREL64_LENGTH, 0},
    423   EMPTY, EMPTY,
    424   EMPTY, EMPTY, EMPTY, EMPTY, EMPTY, EMPTY, EMPTY, EMPTY,
    425 
    426   /* C (MOVI_IMM_32, UNDEF_MOVI) */
    427   { 0, 0, MOVI_32_LENGTH, 0 },
    428   /* C (MOVI_IMM_32, MOVI_16) */
    429   { MOVI_16_F, MOVI_16_M, MOVI_16_LENGTH, C (MOVI_IMM_32, MOVI_32) },
    430   /* C (MOVI_IMM_32, MOVI_32) */
    431   { MOVI_32_F, MOVI_32_M, MOVI_32_LENGTH, 0 },
    432   EMPTY, EMPTY, EMPTY,
    433   /* C (MOVI_IMM_32, MOVI_GOTOFF) */
    434   { 0, 0, MOVI_32_LENGTH, 0 },
    435   EMPTY, EMPTY, EMPTY, EMPTY, EMPTY, EMPTY, EMPTY, EMPTY, EMPTY,
    436 
    437   /* C (MOVI_IMM_32_PCREL, MOVI_16) */
    438   EMPTY,
    439   { MOVI_16_F, MOVI_16_M, MOVI_16_LENGTH, C (MOVI_IMM_32_PCREL, MOVI_32) },
    440   /* C (MOVI_IMM_32_PCREL, MOVI_32) */
    441   { 0, 0, MOVI_32_LENGTH, 0 },
    442   EMPTY, EMPTY,
    443   /* C (MOVI_IMM_32_PCREL, MOVI_PLT) */
    444   { 0, 0, MOVI_32_LENGTH, 0 },
    445   EMPTY,
    446   /* C (MOVI_IMM_32_PCREL, MOVI_GOTPC) */
    447   { 0, 0, MOVI_32_LENGTH, 0 },
    448   EMPTY, EMPTY, EMPTY, EMPTY, EMPTY, EMPTY, EMPTY, EMPTY,
    449 
    450   /* C (MOVI_IMM_64, UNDEF_MOVI) */
    451   { 0, 0, MOVI_64_LENGTH, 0 },
    452   /* C (MOVI_IMM_64, MOVI_16) */
    453   { MOVI_16_F, MOVI_16_M, MOVI_16_LENGTH, C (MOVI_IMM_64, MOVI_32) },
    454   /* C (MOVI_IMM_64, MOVI_32) */
    455   { MOVI_32_F, MOVI_32_M, MOVI_32_LENGTH, C (MOVI_IMM_64, MOVI_48) },
    456   /* C (MOVI_IMM_64, MOVI_48) */
    457   { MOVI_48_F, MOVI_48_M, MOVI_48_LENGTH, C (MOVI_IMM_64, MOVI_64) },
    458   /* C (MOVI_IMM_64, MOVI_64) */
    459   { 0, 0, MOVI_64_LENGTH, 0 },
    460   EMPTY,
    461   /* C (MOVI_IMM_64, MOVI_GOTOFF) */
    462   { 0, 0, MOVI_64_LENGTH, 0 },
    463   EMPTY, EMPTY, EMPTY, EMPTY, EMPTY, EMPTY, EMPTY, EMPTY, EMPTY,
    464 
    465   /* C (MOVI_IMM_64_PCREL, MOVI_16) */
    466   EMPTY,
    467   { MOVI_16_F, MOVI_16_M, MOVI_16_LENGTH, C (MOVI_IMM_64_PCREL, MOVI_32) },
    468   /* C (MOVI_IMM_64_PCREL, MOVI_32) */
    469   { MOVI_32_F, MOVI_32_M, MOVI_32_LENGTH, C (MOVI_IMM_64_PCREL, MOVI_48) },
    470   /* C (MOVI_IMM_64_PCREL, MOVI_48) */
    471   { MOVI_48_F, MOVI_48_M, MOVI_48_LENGTH, C (MOVI_IMM_64_PCREL, MOVI_64) },
    472   /* C (MOVI_IMM_64_PCREL, MOVI_64) */
    473   { 0, 0, MOVI_64_LENGTH, 0 },
    474   /* C (MOVI_IMM_64_PCREL, MOVI_PLT) */
    475   { 0, 0, MOVI_64_LENGTH, 0 },
    476   EMPTY,
    477   /* C (MOVI_IMM_64_PCREL, MOVI_GOTPC) */
    478   { 0, 0, MOVI_64_LENGTH, 0 },
    479   EMPTY, EMPTY, EMPTY, EMPTY, EMPTY, EMPTY, EMPTY, EMPTY,
    480 
    481 #endif /* HAVE_SH64 */
    482 
    483 };
    484 
    485 #undef EMPTY
    486 
    487 static struct hash_control *opcode_hash_control;	/* Opcode mnemonics */
    488 
    489 
    490 #ifdef OBJ_ELF
    492 /* Determine whether the symbol needs any kind of PIC relocation.  */
    493 
    494 inline static int
    495 sh_PIC_related_p (symbolS *sym)
    496 {
    497   expressionS *exp;
    498 
    499   if (! sym)
    500     return 0;
    501 
    502   if (sym == GOT_symbol)
    503     return 1;
    504 
    505 #ifdef HAVE_SH64
    506   if (sh_PIC_related_p (*symbol_get_tc (sym)))
    507     return 1;
    508 #endif
    509 
    510   exp = symbol_get_value_expression (sym);
    511 
    512   return (exp->X_op == O_PIC_reloc
    513 	  || sh_PIC_related_p (exp->X_add_symbol)
    514 	  || sh_PIC_related_p (exp->X_op_symbol));
    515 }
    516 
    517 /* Determine the relocation type to be used to represent the
    518    expression, that may be rearranged.  */
    519 
    520 static int
    521 sh_check_fixup (expressionS *main_exp, bfd_reloc_code_real_type *r_type_p)
    522 {
    523   expressionS *exp = main_exp;
    524 
    525   /* This is here for backward-compatibility only.  GCC used to generated:
    526 
    527 	f@PLT + . - (.LPCS# + 2)
    528 
    529      but we'd rather be able to handle this as a PIC-related reference
    530      plus/minus a symbol.  However, gas' parser gives us:
    531 
    532 	O_subtract (O_add (f@PLT, .), .LPCS#+2)
    533 
    534      so we attempt to transform this into:
    535 
    536         O_subtract (f@PLT, O_subtract (.LPCS#+2, .))
    537 
    538      which we can handle simply below.  */
    539   if (exp->X_op == O_subtract)
    540     {
    541       if (sh_PIC_related_p (exp->X_op_symbol))
    542 	return 1;
    543 
    544       exp = symbol_get_value_expression (exp->X_add_symbol);
    545 
    546       if (exp && sh_PIC_related_p (exp->X_op_symbol))
    547 	return 1;
    548 
    549       if (exp && exp->X_op == O_add
    550 	  && sh_PIC_related_p (exp->X_add_symbol))
    551 	{
    552 	  symbolS *sym = exp->X_add_symbol;
    553 
    554 	  exp->X_op = O_subtract;
    555 	  exp->X_add_symbol = main_exp->X_op_symbol;
    556 
    557 	  main_exp->X_op_symbol = main_exp->X_add_symbol;
    558 	  main_exp->X_add_symbol = sym;
    559 
    560 	  main_exp->X_add_number += exp->X_add_number;
    561 	  exp->X_add_number = 0;
    562 	}
    563 
    564       exp = main_exp;
    565     }
    566   else if (exp->X_op == O_add && sh_PIC_related_p (exp->X_op_symbol))
    567     return 1;
    568 
    569   if (exp->X_op == O_symbol || exp->X_op == O_add || exp->X_op == O_subtract)
    570     {
    571 #ifdef HAVE_SH64
    572       if (exp->X_add_symbol
    573 	  && (exp->X_add_symbol == GOT_symbol
    574 	      || (GOT_symbol
    575 		  && *symbol_get_tc (exp->X_add_symbol) == GOT_symbol)))
    576 	{
    577 	  switch (*r_type_p)
    578 	    {
    579 	    case BFD_RELOC_SH_IMM_LOW16:
    580 	      *r_type_p = BFD_RELOC_SH_GOTPC_LOW16;
    581 	      break;
    582 
    583 	    case BFD_RELOC_SH_IMM_MEDLOW16:
    584 	      *r_type_p = BFD_RELOC_SH_GOTPC_MEDLOW16;
    585 	      break;
    586 
    587 	    case BFD_RELOC_SH_IMM_MEDHI16:
    588 	      *r_type_p = BFD_RELOC_SH_GOTPC_MEDHI16;
    589 	      break;
    590 
    591 	    case BFD_RELOC_SH_IMM_HI16:
    592 	      *r_type_p = BFD_RELOC_SH_GOTPC_HI16;
    593 	      break;
    594 
    595 	    case BFD_RELOC_NONE:
    596 	    case BFD_RELOC_UNUSED:
    597 	      *r_type_p = BFD_RELOC_SH_GOTPC;
    598 	      break;
    599 
    600 	    default:
    601 	      abort ();
    602 	    }
    603 	  return 0;
    604 	}
    605 #else
    606       if (exp->X_add_symbol && exp->X_add_symbol == GOT_symbol)
    607 	{
    608 	  *r_type_p = BFD_RELOC_SH_GOTPC;
    609 	  return 0;
    610 	}
    611 #endif
    612       exp = symbol_get_value_expression (exp->X_add_symbol);
    613       if (! exp)
    614 	return 0;
    615     }
    616 
    617   if (exp->X_op == O_PIC_reloc)
    618     {
    619       switch (*r_type_p)
    620 	{
    621 	case BFD_RELOC_NONE:
    622 	case BFD_RELOC_UNUSED:
    623 	  *r_type_p = exp->X_md;
    624 	  break;
    625 
    626 	case BFD_RELOC_SH_DISP20:
    627 	  switch (exp->X_md)
    628 	    {
    629 	    case BFD_RELOC_32_GOT_PCREL:
    630 	      *r_type_p = BFD_RELOC_SH_GOT20;
    631 	      break;
    632 
    633 	    case BFD_RELOC_32_GOTOFF:
    634 	      *r_type_p = BFD_RELOC_SH_GOTOFF20;
    635 	      break;
    636 
    637 	    case BFD_RELOC_SH_GOTFUNCDESC:
    638 	      *r_type_p = BFD_RELOC_SH_GOTFUNCDESC20;
    639 	      break;
    640 
    641 	    case BFD_RELOC_SH_GOTOFFFUNCDESC:
    642 	      *r_type_p = BFD_RELOC_SH_GOTOFFFUNCDESC20;
    643 	      break;
    644 
    645 	    default:
    646 	      abort ();
    647 	    }
    648 	  break;
    649 
    650 #ifdef HAVE_SH64
    651 	case BFD_RELOC_SH_IMM_LOW16:
    652 	  switch (exp->X_md)
    653 	    {
    654 	    case BFD_RELOC_32_GOTOFF:
    655 	      *r_type_p = BFD_RELOC_SH_GOTOFF_LOW16;
    656 	      break;
    657 
    658 	    case BFD_RELOC_SH_GOTPLT32:
    659 	      *r_type_p = BFD_RELOC_SH_GOTPLT_LOW16;
    660 	      break;
    661 
    662 	    case BFD_RELOC_32_GOT_PCREL:
    663 	      *r_type_p = BFD_RELOC_SH_GOT_LOW16;
    664 	      break;
    665 
    666 	    case BFD_RELOC_32_PLT_PCREL:
    667 	      *r_type_p = BFD_RELOC_SH_PLT_LOW16;
    668 	      break;
    669 
    670 	    default:
    671 	      abort ();
    672 	    }
    673 	  break;
    674 
    675 	case BFD_RELOC_SH_IMM_MEDLOW16:
    676 	  switch (exp->X_md)
    677 	    {
    678 	    case BFD_RELOC_32_GOTOFF:
    679 	      *r_type_p = BFD_RELOC_SH_GOTOFF_MEDLOW16;
    680 	      break;
    681 
    682 	    case BFD_RELOC_SH_GOTPLT32:
    683 	      *r_type_p = BFD_RELOC_SH_GOTPLT_MEDLOW16;
    684 	      break;
    685 
    686 	    case BFD_RELOC_32_GOT_PCREL:
    687 	      *r_type_p = BFD_RELOC_SH_GOT_MEDLOW16;
    688 	      break;
    689 
    690 	    case BFD_RELOC_32_PLT_PCREL:
    691 	      *r_type_p = BFD_RELOC_SH_PLT_MEDLOW16;
    692 	      break;
    693 
    694 	    default:
    695 	      abort ();
    696 	    }
    697 	  break;
    698 
    699 	case BFD_RELOC_SH_IMM_MEDHI16:
    700 	  switch (exp->X_md)
    701 	    {
    702 	    case BFD_RELOC_32_GOTOFF:
    703 	      *r_type_p = BFD_RELOC_SH_GOTOFF_MEDHI16;
    704 	      break;
    705 
    706 	    case BFD_RELOC_SH_GOTPLT32:
    707 	      *r_type_p = BFD_RELOC_SH_GOTPLT_MEDHI16;
    708 	      break;
    709 
    710 	    case BFD_RELOC_32_GOT_PCREL:
    711 	      *r_type_p = BFD_RELOC_SH_GOT_MEDHI16;
    712 	      break;
    713 
    714 	    case BFD_RELOC_32_PLT_PCREL:
    715 	      *r_type_p = BFD_RELOC_SH_PLT_MEDHI16;
    716 	      break;
    717 
    718 	    default:
    719 	      abort ();
    720 	    }
    721 	  break;
    722 
    723 	case BFD_RELOC_SH_IMM_HI16:
    724 	  switch (exp->X_md)
    725 	    {
    726 	    case BFD_RELOC_32_GOTOFF:
    727 	      *r_type_p = BFD_RELOC_SH_GOTOFF_HI16;
    728 	      break;
    729 
    730 	    case BFD_RELOC_SH_GOTPLT32:
    731 	      *r_type_p = BFD_RELOC_SH_GOTPLT_HI16;
    732 	      break;
    733 
    734 	    case BFD_RELOC_32_GOT_PCREL:
    735 	      *r_type_p = BFD_RELOC_SH_GOT_HI16;
    736 	      break;
    737 
    738 	    case BFD_RELOC_32_PLT_PCREL:
    739 	      *r_type_p = BFD_RELOC_SH_PLT_HI16;
    740 	      break;
    741 
    742 	    default:
    743 	      abort ();
    744 	    }
    745 	  break;
    746 #endif
    747 
    748 	default:
    749 	  abort ();
    750 	}
    751       if (exp == main_exp)
    752 	exp->X_op = O_symbol;
    753       else
    754 	{
    755 	  main_exp->X_add_symbol = exp->X_add_symbol;
    756 	  main_exp->X_add_number += exp->X_add_number;
    757 	}
    758     }
    759   else
    760     return (sh_PIC_related_p (exp->X_add_symbol)
    761 	    || sh_PIC_related_p (exp->X_op_symbol));
    762 
    763   return 0;
    764 }
    765 
    766 /* Add expression EXP of SIZE bytes to offset OFF of fragment FRAG.  */
    767 
    768 void
    769 sh_cons_fix_new (fragS *frag, int off, int size, expressionS *exp,
    770 		 bfd_reloc_code_real_type r_type)
    771 {
    772   r_type = BFD_RELOC_UNUSED;
    773 
    774   if (sh_check_fixup (exp, &r_type))
    775     as_bad (_("Invalid PIC expression."));
    776 
    777   if (r_type == BFD_RELOC_UNUSED)
    778     switch (size)
    779       {
    780       case 1:
    781 	r_type = BFD_RELOC_8;
    782 	break;
    783 
    784       case 2:
    785 	r_type = BFD_RELOC_16;
    786 	break;
    787 
    788       case 4:
    789 	r_type = BFD_RELOC_32;
    790 	break;
    791 
    792       case 8:
    793 	r_type = BFD_RELOC_64;
    794 	break;
    795 
    796       default:
    797 	goto error;
    798       }
    799   else if (size != 4)
    800     {
    801     error:
    802       as_bad (_("unsupported BFD relocation size %u"), size);
    803       r_type = BFD_RELOC_UNUSED;
    804     }
    805 
    806   fix_new_exp (frag, off, size, exp, 0, r_type);
    807 }
    808 
    809 /* The regular cons() function, that reads constants, doesn't support
    810    suffixes such as @GOT, @GOTOFF and @PLT, that generate
    811    machine-specific relocation types.  So we must define it here.  */
    812 /* Clobbers input_line_pointer, checks end-of-line.  */
    813 /* NBYTES 1=.byte, 2=.word, 4=.long */
    814 static void
    815 sh_elf_cons (int nbytes)
    816 {
    817   expressionS exp;
    818 
    819 #ifdef HAVE_SH64
    820 
    821   /* Update existing range to include a previous insn, if there was one.  */
    822   sh64_update_contents_mark (TRUE);
    823 
    824   /* We need to make sure the contents type is set to data.  */
    825   sh64_flag_output ();
    826 
    827 #endif /* HAVE_SH64 */
    828 
    829   if (is_it_end_of_statement ())
    830     {
    831       demand_empty_rest_of_line ();
    832       return;
    833     }
    834 
    835 #ifdef md_cons_align
    836   md_cons_align (nbytes);
    837 #endif
    838 
    839   do
    840     {
    841       expression (&exp);
    842       emit_expr (&exp, (unsigned int) nbytes);
    843     }
    844   while (*input_line_pointer++ == ',');
    845 
    846   input_line_pointer--;		/* Put terminator back into stream.  */
    847   if (*input_line_pointer == '#' || *input_line_pointer == '!')
    848     {
    849        while (! is_end_of_line[(unsigned char) *input_line_pointer++]);
    850     }
    851   else
    852     demand_empty_rest_of_line ();
    853 }
    854 
    855 /* The regular frag_offset_fixed_p doesn't work for rs_align_test
    856    frags.  */
    857 
    858 static bfd_boolean
    859 align_test_frag_offset_fixed_p (const fragS *frag1, const fragS *frag2,
    860 				bfd_vma *offset)
    861 {
    862   const fragS *frag;
    863   bfd_vma off;
    864 
    865   /* Start with offset initialised to difference between the two frags.
    866      Prior to assigning frag addresses this will be zero.  */
    867   off = frag1->fr_address - frag2->fr_address;
    868   if (frag1 == frag2)
    869     {
    870       *offset = off;
    871       return TRUE;
    872     }
    873 
    874   /* Maybe frag2 is after frag1.  */
    875   frag = frag1;
    876   while (frag->fr_type == rs_fill
    877 	 || frag->fr_type == rs_align_test)
    878     {
    879       if (frag->fr_type == rs_fill)
    880 	off += frag->fr_fix + frag->fr_offset * frag->fr_var;
    881       else
    882 	off += frag->fr_fix;
    883       frag = frag->fr_next;
    884       if (frag == NULL)
    885 	break;
    886       if (frag == frag2)
    887 	{
    888 	  *offset = off;
    889 	  return TRUE;
    890 	}
    891     }
    892 
    893   /* Maybe frag1 is after frag2.  */
    894   off = frag1->fr_address - frag2->fr_address;
    895   frag = frag2;
    896   while (frag->fr_type == rs_fill
    897 	 || frag->fr_type == rs_align_test)
    898     {
    899       if (frag->fr_type == rs_fill)
    900 	off -= frag->fr_fix + frag->fr_offset * frag->fr_var;
    901       else
    902 	off -= frag->fr_fix;
    903       frag = frag->fr_next;
    904       if (frag == NULL)
    905 	break;
    906       if (frag == frag1)
    907 	{
    908 	  *offset = off;
    909 	  return TRUE;
    910 	}
    911     }
    912 
    913   return FALSE;
    914 }
    915 
    916 /* Optimize a difference of symbols which have rs_align_test frag if
    917    possible.  */
    918 
    919 int
    920 sh_optimize_expr (expressionS *l, operatorT op, expressionS *r)
    921 {
    922   bfd_vma frag_off;
    923 
    924   if (op == O_subtract
    925       && l->X_op == O_symbol
    926       && r->X_op == O_symbol
    927       && S_GET_SEGMENT (l->X_add_symbol) == S_GET_SEGMENT (r->X_add_symbol)
    928       && (SEG_NORMAL (S_GET_SEGMENT (l->X_add_symbol))
    929 	  || r->X_add_symbol == l->X_add_symbol)
    930       && align_test_frag_offset_fixed_p (symbol_get_frag (l->X_add_symbol),
    931 					 symbol_get_frag (r->X_add_symbol),
    932 					 &frag_off))
    933     {
    934       offsetT symval_diff = S_GET_VALUE (l->X_add_symbol)
    935 			    - S_GET_VALUE (r->X_add_symbol);
    936       subtract_from_result (l, r->X_add_number, r->X_extrabit);
    937       subtract_from_result (l, frag_off / OCTETS_PER_BYTE, 0);
    938       add_to_result (l, symval_diff, symval_diff < 0);
    939       l->X_op = O_constant;
    940       l->X_add_symbol = 0;
    941       return 1;
    942     }
    943   return 0;
    944 }
    945 #endif /* OBJ_ELF */
    946 
    947 /* This function is called once, at assembler startup time.  This should
    949    set up all the tables, etc that the MD part of the assembler needs.  */
    950 
    951 void
    952 md_begin (void)
    953 {
    954   const sh_opcode_info *opcode;
    955   const char *prev_name = "";
    956   unsigned int target_arch;
    957 
    958   target_arch
    959     = preset_target_arch ? preset_target_arch : arch_sh_up & ~arch_sh_has_dsp;
    960   valid_arch = target_arch;
    961 
    962 #ifdef HAVE_SH64
    963   shmedia_md_begin ();
    964 #endif
    965 
    966   opcode_hash_control = hash_new ();
    967 
    968   /* Insert unique names into hash table.  */
    969   for (opcode = sh_table; opcode->name; opcode++)
    970     {
    971       if (strcmp (prev_name, opcode->name) != 0)
    972 	{
    973 	  if (!SH_MERGE_ARCH_SET_VALID (opcode->arch, target_arch))
    974 	    continue;
    975 	  prev_name = opcode->name;
    976 	  hash_insert (opcode_hash_control, opcode->name, (char *) opcode);
    977 	}
    978     }
    979 }
    980 
    981 static int reg_m;
    982 static int reg_n;
    983 static int reg_x, reg_y;
    984 static int reg_efg;
    985 static int reg_b;
    986 
    987 #define IDENT_CHAR(c) (ISALNUM (c) || (c) == '_')
    988 
    989 /* Try to parse a reg name.  Return the number of chars consumed.  */
    990 
    991 static unsigned int
    992 parse_reg_without_prefix (char *src, sh_arg_type *mode, int *reg)
    993 {
    994   char l0 = TOLOWER (src[0]);
    995   char l1 = l0 ? TOLOWER (src[1]) : 0;
    996 
    997   /* We use ! IDENT_CHAR for the next character after the register name, to
    998      make sure that we won't accidentally recognize a symbol name such as
    999      'sram' or sr_ram as being a reference to the register 'sr'.  */
   1000 
   1001   if (l0 == 'r')
   1002     {
   1003       if (l1 == '1')
   1004 	{
   1005 	  if (src[2] >= '0' && src[2] <= '5'
   1006 	      && ! IDENT_CHAR ((unsigned char) src[3]))
   1007 	    {
   1008 	      *mode = A_REG_N;
   1009 	      *reg = 10 + src[2] - '0';
   1010 	      return 3;
   1011 	    }
   1012 	}
   1013       if (l1 >= '0' && l1 <= '9'
   1014 	  && ! IDENT_CHAR ((unsigned char) src[2]))
   1015 	{
   1016 	  *mode = A_REG_N;
   1017 	  *reg = (l1 - '0');
   1018 	  return 2;
   1019 	}
   1020       if (l1 >= '0' && l1 <= '7' && strncasecmp (&src[2], "_bank", 5) == 0
   1021 	  && ! IDENT_CHAR ((unsigned char) src[7]))
   1022 	{
   1023 	  *mode = A_REG_B;
   1024 	  *reg  = (l1 - '0');
   1025 	  return 7;
   1026 	}
   1027 
   1028       if (l1 == 'e' && ! IDENT_CHAR ((unsigned char) src[2]))
   1029 	{
   1030 	  *mode = A_RE;
   1031 	  return 2;
   1032 	}
   1033       if (l1 == 's' && ! IDENT_CHAR ((unsigned char) src[2]))
   1034 	{
   1035 	  *mode = A_RS;
   1036 	  return 2;
   1037 	}
   1038     }
   1039 
   1040   if (l0 == 'a')
   1041     {
   1042       if (l1 == '0')
   1043 	{
   1044 	  if (! IDENT_CHAR ((unsigned char) src[2]))
   1045 	    {
   1046 	      *mode = DSP_REG_N;
   1047 	      *reg = A_A0_NUM;
   1048 	      return 2;
   1049 	    }
   1050 	  if (TOLOWER (src[2]) == 'g' && ! IDENT_CHAR ((unsigned char) src[3]))
   1051 	    {
   1052 	      *mode = DSP_REG_N;
   1053 	      *reg = A_A0G_NUM;
   1054 	      return 3;
   1055 	    }
   1056 	}
   1057       if (l1 == '1')
   1058 	{
   1059 	  if (! IDENT_CHAR ((unsigned char) src[2]))
   1060 	    {
   1061 	      *mode = DSP_REG_N;
   1062 	      *reg = A_A1_NUM;
   1063 	      return 2;
   1064 	    }
   1065 	  if (TOLOWER (src[2]) == 'g' && ! IDENT_CHAR ((unsigned char) src[3]))
   1066 	    {
   1067 	      *mode = DSP_REG_N;
   1068 	      *reg = A_A1G_NUM;
   1069 	      return 3;
   1070 	    }
   1071 	}
   1072 
   1073       if (l1 == 'x' && src[2] >= '0' && src[2] <= '1'
   1074 	  && ! IDENT_CHAR ((unsigned char) src[3]))
   1075 	{
   1076 	  *mode = A_REG_N;
   1077 	  *reg = 4 + (l1 - '0');
   1078 	  return 3;
   1079 	}
   1080       if (l1 == 'y' && src[2] >= '0' && src[2] <= '1'
   1081 	  && ! IDENT_CHAR ((unsigned char) src[3]))
   1082 	{
   1083 	  *mode = A_REG_N;
   1084 	  *reg = 6 + (l1 - '0');
   1085 	  return 3;
   1086 	}
   1087       if (l1 == 's' && src[2] >= '0' && src[2] <= '3'
   1088 	  && ! IDENT_CHAR ((unsigned char) src[3]))
   1089 	{
   1090 	  int n = l1 - '0';
   1091 
   1092 	  *mode = A_REG_N;
   1093 	  *reg = n | ((~n & 2) << 1);
   1094 	  return 3;
   1095 	}
   1096     }
   1097 
   1098   if (l0 == 'i' && l1 && ! IDENT_CHAR ((unsigned char) src[2]))
   1099     {
   1100       if (l1 == 's')
   1101 	{
   1102 	  *mode = A_REG_N;
   1103 	  *reg = 8;
   1104 	  return 2;
   1105 	}
   1106       if (l1 == 'x')
   1107 	{
   1108 	  *mode = A_REG_N;
   1109 	  *reg = 8;
   1110 	  return 2;
   1111 	}
   1112       if (l1 == 'y')
   1113 	{
   1114 	  *mode = A_REG_N;
   1115 	  *reg = 9;
   1116 	  return 2;
   1117 	}
   1118     }
   1119 
   1120   if (l0 == 'x' && l1 >= '0' && l1 <= '1'
   1121       && ! IDENT_CHAR ((unsigned char) src[2]))
   1122     {
   1123       *mode = DSP_REG_N;
   1124       *reg = A_X0_NUM + l1 - '0';
   1125       return 2;
   1126     }
   1127 
   1128   if (l0 == 'y' && l1 >= '0' && l1 <= '1'
   1129       && ! IDENT_CHAR ((unsigned char) src[2]))
   1130     {
   1131       *mode = DSP_REG_N;
   1132       *reg = A_Y0_NUM + l1 - '0';
   1133       return 2;
   1134     }
   1135 
   1136   if (l0 == 'm' && l1 >= '0' && l1 <= '1'
   1137       && ! IDENT_CHAR ((unsigned char) src[2]))
   1138     {
   1139       *mode = DSP_REG_N;
   1140       *reg = l1 == '0' ? A_M0_NUM : A_M1_NUM;
   1141       return 2;
   1142     }
   1143 
   1144   if (l0 == 's'
   1145       && l1 == 's'
   1146       && TOLOWER (src[2]) == 'r' && ! IDENT_CHAR ((unsigned char) src[3]))
   1147     {
   1148       *mode = A_SSR;
   1149       return 3;
   1150     }
   1151 
   1152   if (l0 == 's' && l1 == 'p' && TOLOWER (src[2]) == 'c'
   1153       && ! IDENT_CHAR ((unsigned char) src[3]))
   1154     {
   1155       *mode = A_SPC;
   1156       return 3;
   1157     }
   1158 
   1159   if (l0 == 's' && l1 == 'g' && TOLOWER (src[2]) == 'r'
   1160       && ! IDENT_CHAR ((unsigned char) src[3]))
   1161     {
   1162       *mode = A_SGR;
   1163       return 3;
   1164     }
   1165 
   1166   if (l0 == 'd' && l1 == 's' && TOLOWER (src[2]) == 'r'
   1167       && ! IDENT_CHAR ((unsigned char) src[3]))
   1168     {
   1169       *mode = A_DSR;
   1170       return 3;
   1171     }
   1172 
   1173   if (l0 == 'd' && l1 == 'b' && TOLOWER (src[2]) == 'r'
   1174       && ! IDENT_CHAR ((unsigned char) src[3]))
   1175     {
   1176       *mode = A_DBR;
   1177       return 3;
   1178     }
   1179 
   1180   if (l0 == 's' && l1 == 'r' && ! IDENT_CHAR ((unsigned char) src[2]))
   1181     {
   1182       *mode = A_SR;
   1183       return 2;
   1184     }
   1185 
   1186   if (l0 == 's' && l1 == 'p' && ! IDENT_CHAR ((unsigned char) src[2]))
   1187     {
   1188       *mode = A_REG_N;
   1189       *reg = 15;
   1190       return 2;
   1191     }
   1192 
   1193   if (l0 == 'p' && l1 == 'r' && ! IDENT_CHAR ((unsigned char) src[2]))
   1194     {
   1195       *mode = A_PR;
   1196       return 2;
   1197     }
   1198   if (l0 == 'p' && l1 == 'c' && ! IDENT_CHAR ((unsigned char) src[2]))
   1199     {
   1200       /* Don't use A_DISP_PC here - that would accept stuff like 'mova pc,r0'
   1201          and use an uninitialized immediate.  */
   1202       *mode = A_PC;
   1203       return 2;
   1204     }
   1205   if (l0 == 'g' && l1 == 'b' && TOLOWER (src[2]) == 'r'
   1206       && ! IDENT_CHAR ((unsigned char) src[3]))
   1207     {
   1208       *mode = A_GBR;
   1209       return 3;
   1210     }
   1211   if (l0 == 'v' && l1 == 'b' && TOLOWER (src[2]) == 'r'
   1212       && ! IDENT_CHAR ((unsigned char) src[3]))
   1213     {
   1214       *mode = A_VBR;
   1215       return 3;
   1216     }
   1217 
   1218   if (l0 == 't' && l1 == 'b' && TOLOWER (src[2]) == 'r'
   1219       && ! IDENT_CHAR ((unsigned char) src[3]))
   1220     {
   1221       *mode = A_TBR;
   1222       return 3;
   1223     }
   1224   if (l0 == 'm' && l1 == 'a' && TOLOWER (src[2]) == 'c'
   1225       && ! IDENT_CHAR ((unsigned char) src[4]))
   1226     {
   1227       if (TOLOWER (src[3]) == 'l')
   1228 	{
   1229 	  *mode = A_MACL;
   1230 	  return 4;
   1231 	}
   1232       if (TOLOWER (src[3]) == 'h')
   1233 	{
   1234 	  *mode = A_MACH;
   1235 	  return 4;
   1236 	}
   1237     }
   1238   if (l0 == 'm' && l1 == 'o' && TOLOWER (src[2]) == 'd'
   1239       && ! IDENT_CHAR ((unsigned char) src[3]))
   1240     {
   1241       *mode = A_MOD;
   1242       return 3;
   1243     }
   1244   if (l0 == 'f' && l1 == 'r')
   1245     {
   1246       if (src[2] == '1')
   1247 	{
   1248 	  if (src[3] >= '0' && src[3] <= '5'
   1249 	      && ! IDENT_CHAR ((unsigned char) src[4]))
   1250 	    {
   1251 	      *mode = F_REG_N;
   1252 	      *reg = 10 + src[3] - '0';
   1253 	      return 4;
   1254 	    }
   1255 	}
   1256       if (src[2] >= '0' && src[2] <= '9'
   1257 	  && ! IDENT_CHAR ((unsigned char) src[3]))
   1258 	{
   1259 	  *mode = F_REG_N;
   1260 	  *reg = (src[2] - '0');
   1261 	  return 3;
   1262 	}
   1263     }
   1264   if (l0 == 'd' && l1 == 'r')
   1265     {
   1266       if (src[2] == '1')
   1267 	{
   1268 	  if (src[3] >= '0' && src[3] <= '4' && ! ((src[3] - '0') & 1)
   1269 	      && ! IDENT_CHAR ((unsigned char) src[4]))
   1270 	    {
   1271 	      *mode = D_REG_N;
   1272 	      *reg = 10 + src[3] - '0';
   1273 	      return 4;
   1274 	    }
   1275 	}
   1276       if (src[2] >= '0' && src[2] <= '8' && ! ((src[2] - '0') & 1)
   1277 	  && ! IDENT_CHAR ((unsigned char) src[3]))
   1278 	{
   1279 	  *mode = D_REG_N;
   1280 	  *reg = (src[2] - '0');
   1281 	  return 3;
   1282 	}
   1283     }
   1284   if (l0 == 'x' && l1 == 'd')
   1285     {
   1286       if (src[2] == '1')
   1287 	{
   1288 	  if (src[3] >= '0' && src[3] <= '4' && ! ((src[3] - '0') & 1)
   1289 	      && ! IDENT_CHAR ((unsigned char) src[4]))
   1290 	    {
   1291 	      *mode = X_REG_N;
   1292 	      *reg = 11 + src[3] - '0';
   1293 	      return 4;
   1294 	    }
   1295 	}
   1296       if (src[2] >= '0' && src[2] <= '8' && ! ((src[2] - '0') & 1)
   1297 	  && ! IDENT_CHAR ((unsigned char) src[3]))
   1298 	{
   1299 	  *mode = X_REG_N;
   1300 	  *reg = (src[2] - '0') + 1;
   1301 	  return 3;
   1302 	}
   1303     }
   1304   if (l0 == 'f' && l1 == 'v')
   1305     {
   1306       if (src[2] == '1'&& src[3] == '2' && ! IDENT_CHAR ((unsigned char) src[4]))
   1307 	{
   1308 	  *mode = V_REG_N;
   1309 	  *reg = 12;
   1310 	  return 4;
   1311 	}
   1312       if ((src[2] == '0' || src[2] == '4' || src[2] == '8')
   1313 	  && ! IDENT_CHAR ((unsigned char) src[3]))
   1314 	{
   1315 	  *mode = V_REG_N;
   1316 	  *reg = (src[2] - '0');
   1317 	  return 3;
   1318 	}
   1319     }
   1320   if (l0 == 'f' && l1 == 'p' && TOLOWER (src[2]) == 'u'
   1321       && TOLOWER (src[3]) == 'l'
   1322       && ! IDENT_CHAR ((unsigned char) src[4]))
   1323     {
   1324       *mode = FPUL_N;
   1325       return 4;
   1326     }
   1327 
   1328   if (l0 == 'f' && l1 == 'p' && TOLOWER (src[2]) == 's'
   1329       && TOLOWER (src[3]) == 'c'
   1330       && TOLOWER (src[4]) == 'r' && ! IDENT_CHAR ((unsigned char) src[5]))
   1331     {
   1332       *mode = FPSCR_N;
   1333       return 5;
   1334     }
   1335 
   1336   if (l0 == 'x' && l1 == 'm' && TOLOWER (src[2]) == 't'
   1337       && TOLOWER (src[3]) == 'r'
   1338       && TOLOWER (src[4]) == 'x' && ! IDENT_CHAR ((unsigned char) src[5]))
   1339     {
   1340       *mode = XMTRX_M4;
   1341       return 5;
   1342     }
   1343 
   1344   return 0;
   1345 }
   1346 
   1347 /* Like parse_reg_without_prefix, but this version supports
   1348    $-prefixed register names if enabled by the user.  */
   1349 
   1350 static unsigned int
   1351 parse_reg (char *src, sh_arg_type *mode, int *reg)
   1352 {
   1353   unsigned int prefix;
   1354   unsigned int consumed;
   1355 
   1356   if (src[0] == '$')
   1357     {
   1358       if (allow_dollar_register_prefix)
   1359 	{
   1360 	  src ++;
   1361 	  prefix = 1;
   1362 	}
   1363       else
   1364 	return 0;
   1365     }
   1366   else
   1367     prefix = 0;
   1368 
   1369   consumed = parse_reg_without_prefix (src, mode, reg);
   1370 
   1371   if (consumed == 0)
   1372     return 0;
   1373 
   1374   return consumed + prefix;
   1375 }
   1376 
   1377 static char *
   1378 parse_exp (char *s, sh_operand_info *op)
   1379 {
   1380   char *save;
   1381   char *new_pointer;
   1382 
   1383   save = input_line_pointer;
   1384   input_line_pointer = s;
   1385   expression (&op->immediate);
   1386   if (op->immediate.X_op == O_absent)
   1387     as_bad (_("missing operand"));
   1388   new_pointer = input_line_pointer;
   1389   input_line_pointer = save;
   1390   return new_pointer;
   1391 }
   1392 
   1393 /* The many forms of operand:
   1394 
   1395    Rn                   Register direct
   1396    @Rn                  Register indirect
   1397    @Rn+                 Autoincrement
   1398    @-Rn                 Autodecrement
   1399    @(disp:4,Rn)
   1400    @(disp:8,GBR)
   1401    @(disp:8,PC)
   1402 
   1403    @(R0,Rn)
   1404    @(R0,GBR)
   1405 
   1406    disp:8
   1407    disp:12
   1408    #imm8
   1409    pr, gbr, vbr, macl, mach
   1410  */
   1411 
   1412 static char *
   1413 parse_at (char *src, sh_operand_info *op)
   1414 {
   1415   int len;
   1416   sh_arg_type mode;
   1417   src++;
   1418   if (src[0] == '@')
   1419     {
   1420       src = parse_at (src, op);
   1421       if (op->type == A_DISP_TBR)
   1422 	op->type = A_DISP2_TBR;
   1423       else
   1424 	as_bad (_("illegal double indirection"));
   1425     }
   1426   else if (src[0] == '-')
   1427     {
   1428       /* Must be predecrement.  */
   1429       src++;
   1430 
   1431       len = parse_reg (src, &mode, &(op->reg));
   1432       if (mode != A_REG_N)
   1433 	as_bad (_("illegal register after @-"));
   1434 
   1435       op->type = A_DEC_N;
   1436       src += len;
   1437     }
   1438   else if (src[0] == '(')
   1439     {
   1440       /* Could be @(disp, rn), @(disp, gbr), @(disp, pc),  @(r0, gbr) or
   1441          @(r0, rn).  */
   1442       src++;
   1443       len = parse_reg (src, &mode, &(op->reg));
   1444       if (len && mode == A_REG_N)
   1445 	{
   1446 	  src += len;
   1447 	  if (op->reg != 0)
   1448 	    {
   1449 	      as_bad (_("must be @(r0,...)"));
   1450 	    }
   1451 	  if (src[0] == ',')
   1452 	    {
   1453 	      src++;
   1454 	      /* Now can be rn or gbr.  */
   1455 	      len = parse_reg (src, &mode, &(op->reg));
   1456 	    }
   1457 	  else
   1458 	    {
   1459 	      len = 0;
   1460 	    }
   1461 	  if (len)
   1462 	    {
   1463 	      if (mode == A_GBR)
   1464 		{
   1465 		  op->type = A_R0_GBR;
   1466 		}
   1467 	      else if (mode == A_REG_N)
   1468 		{
   1469 		  op->type = A_IND_R0_REG_N;
   1470 		}
   1471 	      else
   1472 		{
   1473 		  as_bad (_("syntax error in @(r0,...)"));
   1474 		}
   1475 	    }
   1476 	  else
   1477 	    {
   1478 	      as_bad (_("syntax error in @(r0...)"));
   1479 	    }
   1480 	}
   1481       else
   1482 	{
   1483 	  /* Must be an @(disp,.. thing).  */
   1484 	  src = parse_exp (src, op);
   1485 	  if (src[0] == ',')
   1486 	    src++;
   1487 	  /* Now can be rn, gbr or pc.  */
   1488 	  len = parse_reg (src, &mode, &op->reg);
   1489 	  if (len)
   1490 	    {
   1491 	      if (mode == A_REG_N)
   1492 		{
   1493 		  op->type = A_DISP_REG_N;
   1494 		}
   1495 	      else if (mode == A_GBR)
   1496 		{
   1497 		  op->type = A_DISP_GBR;
   1498 		}
   1499 	      else if (mode == A_TBR)
   1500 		{
   1501 		  op->type = A_DISP_TBR;
   1502 		}
   1503 	      else if (mode == A_PC)
   1504 		{
   1505 		  /* We want @(expr, pc) to uniformly address . + expr,
   1506 		     no matter if expr is a constant, or a more complex
   1507 		     expression, e.g. sym-. or sym1-sym2.
   1508 		     However, we also used to accept @(sym,pc)
   1509 		     as addressing sym, i.e. meaning the same as plain sym.
   1510 		     Some existing code does use the @(sym,pc) syntax, so
   1511 		     we give it the old semantics for now, but warn about
   1512 		     its use, so that users have some time to fix their code.
   1513 
   1514 		     Note that due to this backward compatibility hack,
   1515 		     we'll get unexpected results when @(offset, pc) is used,
   1516 		     and offset is a symbol that is set later to an an address
   1517 		     difference, or an external symbol that is set to an
   1518 		     address difference in another source file, so we want to
   1519 		     eventually remove it.  */
   1520 		  if (op->immediate.X_op == O_symbol)
   1521 		    {
   1522 		      op->type = A_DISP_PC;
   1523 		      as_warn (_("Deprecated syntax."));
   1524 		    }
   1525 		  else
   1526 		    {
   1527 		      op->type = A_DISP_PC_ABS;
   1528 		      /* Such operands don't get corrected for PC==.+4, so
   1529 			 make the correction here.  */
   1530 		      op->immediate.X_add_number -= 4;
   1531 		    }
   1532 		}
   1533 	      else
   1534 		{
   1535 		  as_bad (_("syntax error in @(disp,[Rn, gbr, pc])"));
   1536 		}
   1537 	    }
   1538 	  else
   1539 	    {
   1540 	      as_bad (_("syntax error in @(disp,[Rn, gbr, pc])"));
   1541 	    }
   1542 	}
   1543       src += len;
   1544       if (src[0] != ')')
   1545 	as_bad (_("expecting )"));
   1546       else
   1547 	src++;
   1548     }
   1549   else
   1550     {
   1551       src += parse_reg (src, &mode, &(op->reg));
   1552       if (mode != A_REG_N)
   1553 	as_bad (_("illegal register after @"));
   1554 
   1555       if (src[0] == '+')
   1556 	{
   1557 	  char l0, l1;
   1558 
   1559 	  src++;
   1560 	  l0 = TOLOWER (src[0]);
   1561 	  l1 = TOLOWER (src[1]);
   1562 
   1563 	  if ((l0 == 'r' && l1 == '8')
   1564 	      || (l0 == 'i' && (l1 == 'x' || l1 == 's')))
   1565 	    {
   1566 	      src += 2;
   1567 	      op->type = AX_PMOD_N;
   1568 	    }
   1569 	  else if (   (l0 == 'r' && l1 == '9')
   1570 		   || (l0 == 'i' && l1 == 'y'))
   1571 	    {
   1572 	      src += 2;
   1573 	      op->type = AY_PMOD_N;
   1574 	    }
   1575 	  else
   1576 	    op->type = A_INC_N;
   1577 	}
   1578       else
   1579 	op->type = A_IND_N;
   1580     }
   1581   return src;
   1582 }
   1583 
   1584 static void
   1585 get_operand (char **ptr, sh_operand_info *op)
   1586 {
   1587   char *src = *ptr;
   1588   sh_arg_type mode = (sh_arg_type) -1;
   1589   unsigned int len;
   1590 
   1591   if (src[0] == '#')
   1592     {
   1593       src++;
   1594       *ptr = parse_exp (src, op);
   1595       op->type = A_IMM;
   1596       return;
   1597     }
   1598 
   1599   else if (src[0] == '@')
   1600     {
   1601       *ptr = parse_at (src, op);
   1602       return;
   1603     }
   1604   len = parse_reg (src, &mode, &(op->reg));
   1605   if (len)
   1606     {
   1607       *ptr = src + len;
   1608       op->type = mode;
   1609       return;
   1610     }
   1611   else
   1612     {
   1613       /* Not a reg, the only thing left is a displacement.  */
   1614       *ptr = parse_exp (src, op);
   1615       op->type = A_DISP_PC;
   1616       return;
   1617     }
   1618 }
   1619 
   1620 static char *
   1621 get_operands (sh_opcode_info *info, char *args, sh_operand_info *operand)
   1622 {
   1623   char *ptr = args;
   1624   if (info->arg[0])
   1625     {
   1626       /* The pre-processor will eliminate whitespace in front of '@'
   1627 	 after the first argument; we may be called multiple times
   1628 	 from assemble_ppi, so don't insist on finding whitespace here.  */
   1629       if (*ptr == ' ')
   1630 	ptr++;
   1631 
   1632       get_operand (&ptr, operand + 0);
   1633       if (info->arg[1])
   1634 	{
   1635 	  if (*ptr == ',')
   1636 	    {
   1637 	      ptr++;
   1638 	    }
   1639 	  get_operand (&ptr, operand + 1);
   1640 	  /* ??? Hack: psha/pshl have a varying operand number depending on
   1641 	     the type of the first operand.  We handle this by having the
   1642 	     three-operand version first and reducing the number of operands
   1643 	     parsed to two if we see that the first operand is an immediate.
   1644              This works because no insn with three operands has an immediate
   1645 	     as first operand.  */
   1646 	  if (info->arg[2] && operand[0].type != A_IMM)
   1647 	    {
   1648 	      if (*ptr == ',')
   1649 		{
   1650 		  ptr++;
   1651 		}
   1652 	      get_operand (&ptr, operand + 2);
   1653 	    }
   1654 	  else
   1655 	    {
   1656 	      operand[2].type = 0;
   1657 	    }
   1658 	}
   1659       else
   1660 	{
   1661 	  operand[1].type = 0;
   1662 	  operand[2].type = 0;
   1663 	}
   1664     }
   1665   else
   1666     {
   1667       operand[0].type = 0;
   1668       operand[1].type = 0;
   1669       operand[2].type = 0;
   1670     }
   1671   return ptr;
   1672 }
   1673 
   1674 /* Passed a pointer to a list of opcodes which use different
   1675    addressing modes, return the opcode which matches the opcodes
   1676    provided.  */
   1677 
   1678 static sh_opcode_info *
   1679 get_specific (sh_opcode_info *opcode, sh_operand_info *operands)
   1680 {
   1681   sh_opcode_info *this_try = opcode;
   1682   const char *name = opcode->name;
   1683   int n = 0;
   1684 
   1685   while (opcode->name)
   1686     {
   1687       this_try = opcode++;
   1688       if ((this_try->name != name) && (strcmp (this_try->name, name) != 0))
   1689 	{
   1690 	  /* We've looked so far down the table that we've run out of
   1691 	     opcodes with the same name.  */
   1692 	  return 0;
   1693 	}
   1694 
   1695       /* Look at both operands needed by the opcodes and provided by
   1696          the user - since an arg test will often fail on the same arg
   1697          again and again, we'll try and test the last failing arg the
   1698          first on each opcode try.  */
   1699       for (n = 0; this_try->arg[n]; n++)
   1700 	{
   1701 	  sh_operand_info *user = operands + n;
   1702 	  sh_arg_type arg = this_try->arg[n];
   1703 
   1704 	  switch (arg)
   1705 	    {
   1706 	    case A_DISP_PC:
   1707 	      if (user->type == A_DISP_PC_ABS)
   1708 		break;
   1709 	      /* Fall through.  */
   1710 	    case A_IMM:
   1711 	    case A_BDISP12:
   1712 	    case A_BDISP8:
   1713 	    case A_DISP_GBR:
   1714 	    case A_DISP2_TBR:
   1715 	    case A_MACH:
   1716 	    case A_PR:
   1717 	    case A_MACL:
   1718 	      if (user->type != arg)
   1719 		goto fail;
   1720 	      break;
   1721 	    case A_R0:
   1722 	      /* opcode needs r0 */
   1723 	      if (user->type != A_REG_N || user->reg != 0)
   1724 		goto fail;
   1725 	      break;
   1726 	    case A_R0_GBR:
   1727 	      if (user->type != A_R0_GBR || user->reg != 0)
   1728 		goto fail;
   1729 	      break;
   1730 	    case F_FR0:
   1731 	      if (user->type != F_REG_N || user->reg != 0)
   1732 		goto fail;
   1733 	      break;
   1734 
   1735 	    case A_REG_N:
   1736 	    case A_INC_N:
   1737 	    case A_DEC_N:
   1738 	    case A_IND_N:
   1739 	    case A_IND_R0_REG_N:
   1740 	    case A_DISP_REG_N:
   1741 	    case F_REG_N:
   1742 	    case D_REG_N:
   1743 	    case X_REG_N:
   1744 	    case V_REG_N:
   1745 	    case FPUL_N:
   1746 	    case FPSCR_N:
   1747 	    case DSP_REG_N:
   1748 	      /* Opcode needs rn */
   1749 	      if (user->type != arg)
   1750 		goto fail;
   1751 	      reg_n = user->reg;
   1752 	      break;
   1753 	    case DX_REG_N:
   1754 	      if (user->type != D_REG_N && user->type != X_REG_N)
   1755 		goto fail;
   1756 	      reg_n = user->reg;
   1757 	      break;
   1758 	    case A_GBR:
   1759 	    case A_TBR:
   1760 	    case A_SR:
   1761 	    case A_VBR:
   1762 	    case A_DSR:
   1763 	    case A_MOD:
   1764 	    case A_RE:
   1765 	    case A_RS:
   1766 	    case A_SSR:
   1767 	    case A_SPC:
   1768 	    case A_SGR:
   1769 	    case A_DBR:
   1770 	      if (user->type != arg)
   1771 		goto fail;
   1772 	      break;
   1773 
   1774 	    case A_REG_B:
   1775 	      if (user->type != arg)
   1776 		goto fail;
   1777 	      reg_b = user->reg;
   1778 	      break;
   1779 
   1780 	    case A_INC_R15:
   1781 	      if (user->type != A_INC_N)
   1782 		goto fail;
   1783 	      if (user->reg != 15)
   1784 		goto fail;
   1785 	      reg_n = user->reg;
   1786 	      break;
   1787 
   1788 	    case A_DEC_R15:
   1789 	      if (user->type != A_DEC_N)
   1790 		goto fail;
   1791 	      if (user->reg != 15)
   1792 		goto fail;
   1793 	      reg_n = user->reg;
   1794 	      break;
   1795 
   1796 	    case A_REG_M:
   1797 	    case A_INC_M:
   1798 	    case A_DEC_M:
   1799 	    case A_IND_M:
   1800 	    case A_IND_R0_REG_M:
   1801 	    case A_DISP_REG_M:
   1802 	    case DSP_REG_M:
   1803 	      /* Opcode needs rn */
   1804 	      if (user->type != arg - A_REG_M + A_REG_N)
   1805 		goto fail;
   1806 	      reg_m = user->reg;
   1807 	      break;
   1808 
   1809 	    case AS_DEC_N:
   1810 	      if (user->type != A_DEC_N)
   1811 		goto fail;
   1812 	      if (user->reg < 2 || user->reg > 5)
   1813 		goto fail;
   1814 	      reg_n = user->reg;
   1815 	      break;
   1816 
   1817 	    case AS_INC_N:
   1818 	      if (user->type != A_INC_N)
   1819 		goto fail;
   1820 	      if (user->reg < 2 || user->reg > 5)
   1821 		goto fail;
   1822 	      reg_n = user->reg;
   1823 	      break;
   1824 
   1825 	    case AS_IND_N:
   1826 	      if (user->type != A_IND_N)
   1827 		goto fail;
   1828 	      if (user->reg < 2 || user->reg > 5)
   1829 		goto fail;
   1830 	      reg_n = user->reg;
   1831 	      break;
   1832 
   1833 	    case AS_PMOD_N:
   1834 	      if (user->type != AX_PMOD_N)
   1835 		goto fail;
   1836 	      if (user->reg < 2 || user->reg > 5)
   1837 		goto fail;
   1838 	      reg_n = user->reg;
   1839 	      break;
   1840 
   1841 	    case AX_INC_N:
   1842 	      if (user->type != A_INC_N)
   1843 		goto fail;
   1844 	      if (user->reg < 4 || user->reg > 5)
   1845 		goto fail;
   1846 	      reg_n = user->reg;
   1847 	      break;
   1848 
   1849 	    case AX_IND_N:
   1850 	      if (user->type != A_IND_N)
   1851 		goto fail;
   1852 	      if (user->reg < 4 || user->reg > 5)
   1853 		goto fail;
   1854 	      reg_n = user->reg;
   1855 	      break;
   1856 
   1857 	    case AX_PMOD_N:
   1858 	      if (user->type != AX_PMOD_N)
   1859 		goto fail;
   1860 	      if (user->reg < 4 || user->reg > 5)
   1861 		goto fail;
   1862 	      reg_n = user->reg;
   1863 	      break;
   1864 
   1865 	    case AXY_INC_N:
   1866 	      if (user->type != A_INC_N)
   1867 		goto fail;
   1868 	      if ((user->reg < 4 || user->reg > 5)
   1869 		  && (user->reg < 0 || user->reg > 1))
   1870 		goto fail;
   1871 	      reg_n = user->reg;
   1872 	      break;
   1873 
   1874 	    case AXY_IND_N:
   1875 	      if (user->type != A_IND_N)
   1876 		goto fail;
   1877 	      if ((user->reg < 4 || user->reg > 5)
   1878 		  && (user->reg < 0 || user->reg > 1))
   1879 		goto fail;
   1880 	      reg_n = user->reg;
   1881 	      break;
   1882 
   1883 	    case AXY_PMOD_N:
   1884 	      if (user->type != AX_PMOD_N)
   1885 		goto fail;
   1886 	      if ((user->reg < 4 || user->reg > 5)
   1887 		  && (user->reg < 0 || user->reg > 1))
   1888 		goto fail;
   1889 	      reg_n = user->reg;
   1890 	      break;
   1891 
   1892 	    case AY_INC_N:
   1893 	      if (user->type != A_INC_N)
   1894 		goto fail;
   1895 	      if (user->reg < 6 || user->reg > 7)
   1896 		goto fail;
   1897 	      reg_n = user->reg;
   1898 	      break;
   1899 
   1900 	    case AY_IND_N:
   1901 	      if (user->type != A_IND_N)
   1902 		goto fail;
   1903 	      if (user->reg < 6 || user->reg > 7)
   1904 		goto fail;
   1905 	      reg_n = user->reg;
   1906 	      break;
   1907 
   1908 	    case AY_PMOD_N:
   1909 	      if (user->type != AY_PMOD_N)
   1910 		goto fail;
   1911 	      if (user->reg < 6 || user->reg > 7)
   1912 		goto fail;
   1913 	      reg_n = user->reg;
   1914 	      break;
   1915 
   1916 	    case AYX_INC_N:
   1917 	      if (user->type != A_INC_N)
   1918 		goto fail;
   1919 	      if ((user->reg < 6 || user->reg > 7)
   1920 		  && (user->reg < 2 || user->reg > 3))
   1921 		goto fail;
   1922 	      reg_n = user->reg;
   1923 	      break;
   1924 
   1925 	    case AYX_IND_N:
   1926 	      if (user->type != A_IND_N)
   1927 		goto fail;
   1928 	      if ((user->reg < 6 || user->reg > 7)
   1929 		  && (user->reg < 2 || user->reg > 3))
   1930 		goto fail;
   1931 	      reg_n = user->reg;
   1932 	      break;
   1933 
   1934 	    case AYX_PMOD_N:
   1935 	      if (user->type != AY_PMOD_N)
   1936 		goto fail;
   1937 	      if ((user->reg < 6 || user->reg > 7)
   1938 		  && (user->reg < 2 || user->reg > 3))
   1939 		goto fail;
   1940 	      reg_n = user->reg;
   1941 	      break;
   1942 
   1943 	    case DSP_REG_A_M:
   1944 	      if (user->type != DSP_REG_N)
   1945 		goto fail;
   1946 	      if (user->reg != A_A0_NUM
   1947 		  && user->reg != A_A1_NUM)
   1948 		goto fail;
   1949 	      reg_m = user->reg;
   1950 	      break;
   1951 
   1952 	    case DSP_REG_AX:
   1953 	      if (user->type != DSP_REG_N)
   1954 		goto fail;
   1955 	      switch (user->reg)
   1956 		{
   1957 		case A_A0_NUM:
   1958 		  reg_x = 0;
   1959 		  break;
   1960 		case A_A1_NUM:
   1961 		  reg_x = 2;
   1962 		  break;
   1963 		case A_X0_NUM:
   1964 		  reg_x = 1;
   1965 		  break;
   1966 		case A_X1_NUM:
   1967 		  reg_x = 3;
   1968 		  break;
   1969 		default:
   1970 		  goto fail;
   1971 		}
   1972 	      break;
   1973 
   1974 	    case DSP_REG_XY:
   1975 	      if (user->type != DSP_REG_N)
   1976 		goto fail;
   1977 	      switch (user->reg)
   1978 		{
   1979 		case A_X0_NUM:
   1980 		  reg_x = 0;
   1981 		  break;
   1982 		case A_X1_NUM:
   1983 		  reg_x = 2;
   1984 		  break;
   1985 		case A_Y0_NUM:
   1986 		  reg_x = 1;
   1987 		  break;
   1988 		case A_Y1_NUM:
   1989 		  reg_x = 3;
   1990 		  break;
   1991 		default:
   1992 		  goto fail;
   1993 		}
   1994 	      break;
   1995 
   1996 	    case DSP_REG_AY:
   1997 	      if (user->type != DSP_REG_N)
   1998 		goto fail;
   1999 	      switch (user->reg)
   2000 		{
   2001 		case A_A0_NUM:
   2002 		  reg_y = 0;
   2003 		  break;
   2004 		case A_A1_NUM:
   2005 		  reg_y = 1;
   2006 		  break;
   2007 		case A_Y0_NUM:
   2008 		  reg_y = 2;
   2009 		  break;
   2010 		case A_Y1_NUM:
   2011 		  reg_y = 3;
   2012 		  break;
   2013 		default:
   2014 		  goto fail;
   2015 		}
   2016 	      break;
   2017 
   2018 	    case DSP_REG_YX:
   2019 	      if (user->type != DSP_REG_N)
   2020 		goto fail;
   2021 	      switch (user->reg)
   2022 		{
   2023 		case A_Y0_NUM:
   2024 		  reg_y = 0;
   2025 		  break;
   2026 		case A_Y1_NUM:
   2027 		  reg_y = 1;
   2028 		  break;
   2029 		case A_X0_NUM:
   2030 		  reg_y = 2;
   2031 		  break;
   2032 		case A_X1_NUM:
   2033 		  reg_y = 3;
   2034 		  break;
   2035 		default:
   2036 		  goto fail;
   2037 		}
   2038 	      break;
   2039 
   2040 	    case DSP_REG_X:
   2041 	      if (user->type != DSP_REG_N)
   2042 		goto fail;
   2043 	      switch (user->reg)
   2044 		{
   2045 		case A_X0_NUM:
   2046 		  reg_x = 0;
   2047 		  break;
   2048 		case A_X1_NUM:
   2049 		  reg_x = 1;
   2050 		  break;
   2051 		case A_A0_NUM:
   2052 		  reg_x = 2;
   2053 		  break;
   2054 		case A_A1_NUM:
   2055 		  reg_x = 3;
   2056 		  break;
   2057 		default:
   2058 		  goto fail;
   2059 		}
   2060 	      break;
   2061 
   2062 	    case DSP_REG_Y:
   2063 	      if (user->type != DSP_REG_N)
   2064 		goto fail;
   2065 	      switch (user->reg)
   2066 		{
   2067 		case A_Y0_NUM:
   2068 		  reg_y = 0;
   2069 		  break;
   2070 		case A_Y1_NUM:
   2071 		  reg_y = 1;
   2072 		  break;
   2073 		case A_M0_NUM:
   2074 		  reg_y = 2;
   2075 		  break;
   2076 		case A_M1_NUM:
   2077 		  reg_y = 3;
   2078 		  break;
   2079 		default:
   2080 		  goto fail;
   2081 		}
   2082 	      break;
   2083 
   2084 	    case DSP_REG_E:
   2085 	      if (user->type != DSP_REG_N)
   2086 		goto fail;
   2087 	      switch (user->reg)
   2088 		{
   2089 		case A_X0_NUM:
   2090 		  reg_efg = 0 << 10;
   2091 		  break;
   2092 		case A_X1_NUM:
   2093 		  reg_efg = 1 << 10;
   2094 		  break;
   2095 		case A_Y0_NUM:
   2096 		  reg_efg = 2 << 10;
   2097 		  break;
   2098 		case A_A1_NUM:
   2099 		  reg_efg = 3 << 10;
   2100 		  break;
   2101 		default:
   2102 		  goto fail;
   2103 		}
   2104 	      break;
   2105 
   2106 	    case DSP_REG_F:
   2107 	      if (user->type != DSP_REG_N)
   2108 		goto fail;
   2109 	      switch (user->reg)
   2110 		{
   2111 		case A_Y0_NUM:
   2112 		  reg_efg |= 0 << 8;
   2113 		  break;
   2114 		case A_Y1_NUM:
   2115 		  reg_efg |= 1 << 8;
   2116 		  break;
   2117 		case A_X0_NUM:
   2118 		  reg_efg |= 2 << 8;
   2119 		  break;
   2120 		case A_A1_NUM:
   2121 		  reg_efg |= 3 << 8;
   2122 		  break;
   2123 		default:
   2124 		  goto fail;
   2125 		}
   2126 	      break;
   2127 
   2128 	    case DSP_REG_G:
   2129 	      if (user->type != DSP_REG_N)
   2130 		goto fail;
   2131 	      switch (user->reg)
   2132 		{
   2133 		case A_M0_NUM:
   2134 		  reg_efg |= 0 << 2;
   2135 		  break;
   2136 		case A_M1_NUM:
   2137 		  reg_efg |= 1 << 2;
   2138 		  break;
   2139 		case A_A0_NUM:
   2140 		  reg_efg |= 2 << 2;
   2141 		  break;
   2142 		case A_A1_NUM:
   2143 		  reg_efg |= 3 << 2;
   2144 		  break;
   2145 		default:
   2146 		  goto fail;
   2147 		}
   2148 	      break;
   2149 
   2150 	    case A_A0:
   2151 	      if (user->type != DSP_REG_N || user->reg != A_A0_NUM)
   2152 		goto fail;
   2153 	      break;
   2154 	    case A_X0:
   2155 	      if (user->type != DSP_REG_N || user->reg != A_X0_NUM)
   2156 		goto fail;
   2157 	      break;
   2158 	    case A_X1:
   2159 	      if (user->type != DSP_REG_N || user->reg != A_X1_NUM)
   2160 		goto fail;
   2161 	      break;
   2162 	    case A_Y0:
   2163 	      if (user->type != DSP_REG_N || user->reg != A_Y0_NUM)
   2164 		goto fail;
   2165 	      break;
   2166 	    case A_Y1:
   2167 	      if (user->type != DSP_REG_N || user->reg != A_Y1_NUM)
   2168 		goto fail;
   2169 	      break;
   2170 
   2171 	    case F_REG_M:
   2172 	    case D_REG_M:
   2173 	    case X_REG_M:
   2174 	    case V_REG_M:
   2175 	    case FPUL_M:
   2176 	    case FPSCR_M:
   2177 	      /* Opcode needs rn */
   2178 	      if (user->type != arg - F_REG_M + F_REG_N)
   2179 		goto fail;
   2180 	      reg_m = user->reg;
   2181 	      break;
   2182 	    case DX_REG_M:
   2183 	      if (user->type != D_REG_N && user->type != X_REG_N)
   2184 		goto fail;
   2185 	      reg_m = user->reg;
   2186 	      break;
   2187 	    case XMTRX_M4:
   2188 	      if (user->type != XMTRX_M4)
   2189 		goto fail;
   2190 	      reg_m = 4;
   2191 	      break;
   2192 
   2193 	    default:
   2194 	      printf (_("unhandled %d\n"), arg);
   2195 	      goto fail;
   2196 	    }
   2197 	  if (SH_MERGE_ARCH_SET_VALID (valid_arch, arch_sh2a_nofpu_up)
   2198 	      && (   arg == A_DISP_REG_M
   2199 		  || arg == A_DISP_REG_N))
   2200 	    {
   2201 	      /* Check a few key IMM* fields for overflow.  */
   2202 	      int opf;
   2203 	      long val = user->immediate.X_add_number;
   2204 
   2205 	      for (opf = 0; opf < 4; opf ++)
   2206 		switch (this_try->nibbles[opf])
   2207 		  {
   2208 		  case IMM0_4:
   2209 		  case IMM1_4:
   2210 		    if (val < 0 || val > 15)
   2211 		      goto fail;
   2212 		    break;
   2213 		  case IMM0_4BY2:
   2214 		  case IMM1_4BY2:
   2215 		    if (val < 0 || val > 15 * 2)
   2216 		      goto fail;
   2217 		    break;
   2218 		  case IMM0_4BY4:
   2219 		  case IMM1_4BY4:
   2220 		    if (val < 0 || val > 15 * 4)
   2221 		      goto fail;
   2222 		    break;
   2223 		  default:
   2224 		    break;
   2225 		  }
   2226 	    }
   2227 	}
   2228       if ( !SH_MERGE_ARCH_SET_VALID (valid_arch, this_try->arch))
   2229 	goto fail;
   2230       valid_arch = SH_MERGE_ARCH_SET (valid_arch, this_try->arch);
   2231       return this_try;
   2232     fail:
   2233       ;
   2234     }
   2235 
   2236   return 0;
   2237 }
   2238 
   2239 static void
   2240 insert (char *where, bfd_reloc_code_real_type how, int pcrel,
   2241        	sh_operand_info *op)
   2242 {
   2243   fix_new_exp (frag_now,
   2244 	       where - frag_now->fr_literal,
   2245 	       2,
   2246 	       &op->immediate,
   2247 	       pcrel,
   2248 	       how);
   2249 }
   2250 
   2251 static void
   2252 insert4 (char * where, bfd_reloc_code_real_type how, int pcrel,
   2253 	 sh_operand_info * op)
   2254 {
   2255   fix_new_exp (frag_now,
   2256 	       where - frag_now->fr_literal,
   2257 	       4,
   2258 	       & op->immediate,
   2259 	       pcrel,
   2260 	       how);
   2261 }
   2262 static void
   2263 build_relax (sh_opcode_info *opcode, sh_operand_info *op)
   2264 {
   2265   int high_byte = target_big_endian ? 0 : 1;
   2266   char *p;
   2267 
   2268   if (opcode->arg[0] == A_BDISP8)
   2269     {
   2270       int what = (opcode->nibbles[1] & 4) ? COND_JUMP_DELAY : COND_JUMP;
   2271       p = frag_var (rs_machine_dependent,
   2272 		    md_relax_table[C (what, COND32)].rlx_length,
   2273 		    md_relax_table[C (what, COND8)].rlx_length,
   2274 		    C (what, 0),
   2275 		    op->immediate.X_add_symbol,
   2276 		    op->immediate.X_add_number,
   2277 		    0);
   2278       p[high_byte] = (opcode->nibbles[0] << 4) | (opcode->nibbles[1]);
   2279     }
   2280   else if (opcode->arg[0] == A_BDISP12)
   2281     {
   2282       p = frag_var (rs_machine_dependent,
   2283 		    md_relax_table[C (UNCOND_JUMP, UNCOND32)].rlx_length,
   2284 		    md_relax_table[C (UNCOND_JUMP, UNCOND12)].rlx_length,
   2285 		    C (UNCOND_JUMP, 0),
   2286 		    op->immediate.X_add_symbol,
   2287 		    op->immediate.X_add_number,
   2288 		    0);
   2289       p[high_byte] = (opcode->nibbles[0] << 4);
   2290     }
   2291 
   2292 }
   2293 
   2294 /* Insert ldrs & ldre with fancy relocations that relaxation can recognize.  */
   2295 
   2296 static char *
   2297 insert_loop_bounds (char *output, sh_operand_info *operand)
   2298 {
   2299   symbolS *end_sym;
   2300 
   2301   /* Since the low byte of the opcode will be overwritten by the reloc, we
   2302      can just stash the high byte into both bytes and ignore endianness.  */
   2303   output[0] = 0x8c;
   2304   output[1] = 0x8c;
   2305   insert (output, BFD_RELOC_SH_LOOP_START, 1, operand);
   2306   insert (output, BFD_RELOC_SH_LOOP_END, 1, operand + 1);
   2307 
   2308   if (sh_relax)
   2309     {
   2310       static int count = 0;
   2311       char name[11];
   2312 
   2313       /* If the last loop insn is a two-byte-insn, it is in danger of being
   2314 	 swapped with the insn after it.  To prevent this, create a new
   2315 	 symbol - complete with SH_LABEL reloc - after the last loop insn.
   2316 	 If the last loop insn is four bytes long, the symbol will be
   2317 	 right in the middle, but four byte insns are not swapped anyways.  */
   2318       /* A REPEAT takes 6 bytes.  The SH has a 32 bit address space.
   2319 	 Hence a 9 digit number should be enough to count all REPEATs.  */
   2320       sprintf (name, "_R%x", count++ & 0x3fffffff);
   2321       end_sym = symbol_new (name, undefined_section, 0, &zero_address_frag);
   2322       /* Make this a local symbol.  */
   2323 #ifdef OBJ_COFF
   2324       SF_SET_LOCAL (end_sym);
   2325 #endif /* OBJ_COFF */
   2326       symbol_table_insert (end_sym);
   2327       end_sym->sy_value = operand[1].immediate;
   2328       end_sym->sy_value.X_add_number += 2;
   2329       fix_new (frag_now, frag_now_fix (), 2, end_sym, 0, 1, BFD_RELOC_SH_LABEL);
   2330     }
   2331 
   2332   output = frag_more (2);
   2333   output[0] = 0x8e;
   2334   output[1] = 0x8e;
   2335   insert (output, BFD_RELOC_SH_LOOP_START, 1, operand);
   2336   insert (output, BFD_RELOC_SH_LOOP_END, 1, operand + 1);
   2337 
   2338   return frag_more (2);
   2339 }
   2340 
   2341 /* Now we know what sort of opcodes it is, let's build the bytes.  */
   2342 
   2343 static unsigned int
   2344 build_Mytes (sh_opcode_info *opcode, sh_operand_info *operand)
   2345 {
   2346   int indx;
   2347   char nbuf[8];
   2348   char *output;
   2349   unsigned int size = 2;
   2350   int low_byte = target_big_endian ? 1 : 0;
   2351   int max_index = 4;
   2352   bfd_reloc_code_real_type r_type;
   2353 #ifdef OBJ_ELF
   2354   int unhandled_pic = 0;
   2355 #endif
   2356 
   2357   nbuf[0] = 0;
   2358   nbuf[1] = 0;
   2359   nbuf[2] = 0;
   2360   nbuf[3] = 0;
   2361   nbuf[4] = 0;
   2362   nbuf[5] = 0;
   2363   nbuf[6] = 0;
   2364   nbuf[7] = 0;
   2365 
   2366 #ifdef OBJ_ELF
   2367   for (indx = 0; indx < 3; indx++)
   2368     if (opcode->arg[indx] == A_IMM
   2369 	&& operand[indx].type == A_IMM
   2370 	&& (operand[indx].immediate.X_op == O_PIC_reloc
   2371 	    || sh_PIC_related_p (operand[indx].immediate.X_add_symbol)
   2372 	    || sh_PIC_related_p (operand[indx].immediate.X_op_symbol)))
   2373       unhandled_pic = 1;
   2374 #endif
   2375 
   2376   if (SH_MERGE_ARCH_SET (opcode->arch, arch_op32))
   2377     {
   2378       output = frag_more (4);
   2379       size = 4;
   2380       max_index = 8;
   2381     }
   2382   else
   2383     output = frag_more (2);
   2384 
   2385   for (indx = 0; indx < max_index; indx++)
   2386     {
   2387       sh_nibble_type i = opcode->nibbles[indx];
   2388       if (i < 16)
   2389 	{
   2390 	  nbuf[indx] = i;
   2391 	}
   2392       else
   2393 	{
   2394 	  switch (i)
   2395 	    {
   2396 	    case REG_N:
   2397 	    case REG_N_D:
   2398 	      nbuf[indx] = reg_n;
   2399 	      break;
   2400 	    case REG_M:
   2401 	      nbuf[indx] = reg_m;
   2402 	      break;
   2403 	    case SDT_REG_N:
   2404 	      if (reg_n < 2 || reg_n > 5)
   2405 		as_bad (_("Invalid register: 'r%d'"), reg_n);
   2406 	      nbuf[indx] = (reg_n & 3) | 4;
   2407 	      break;
   2408 	    case REG_NM:
   2409 	      nbuf[indx] = reg_n | (reg_m >> 2);
   2410 	      break;
   2411 	    case REG_B:
   2412 	      nbuf[indx] = reg_b | 0x08;
   2413 	      break;
   2414 	    case REG_N_B01:
   2415 	      nbuf[indx] = reg_n | 0x01;
   2416 	      break;
   2417 	    case IMM0_3s:
   2418 	      nbuf[indx] |= 0x08;
   2419 	      /* Fall through.  */
   2420 	    case IMM0_3c:
   2421 	      insert (output + low_byte, BFD_RELOC_SH_IMM3, 0, operand);
   2422 	      break;
   2423 	    case IMM0_3Us:
   2424 	      nbuf[indx] |= 0x80;
   2425 	      /* Fall through.  */
   2426 	    case IMM0_3Uc:
   2427 	      insert (output + low_byte, BFD_RELOC_SH_IMM3U, 0, operand);
   2428 	      break;
   2429 	    case DISP0_12:
   2430 	      insert (output + 2, BFD_RELOC_SH_DISP12, 0, operand);
   2431 	      break;
   2432 	    case DISP0_12BY2:
   2433 	      insert (output + 2, BFD_RELOC_SH_DISP12BY2, 0, operand);
   2434 	      break;
   2435 	    case DISP0_12BY4:
   2436 	      insert (output + 2, BFD_RELOC_SH_DISP12BY4, 0, operand);
   2437 	      break;
   2438 	    case DISP0_12BY8:
   2439 	      insert (output + 2, BFD_RELOC_SH_DISP12BY8, 0, operand);
   2440 	      break;
   2441 	    case DISP1_12:
   2442 	      insert (output + 2, BFD_RELOC_SH_DISP12, 0, operand+1);
   2443 	      break;
   2444 	    case DISP1_12BY2:
   2445 	      insert (output + 2, BFD_RELOC_SH_DISP12BY2, 0, operand+1);
   2446 	      break;
   2447 	    case DISP1_12BY4:
   2448 	      insert (output + 2, BFD_RELOC_SH_DISP12BY4, 0, operand+1);
   2449 	      break;
   2450 	    case DISP1_12BY8:
   2451 	      insert (output + 2, BFD_RELOC_SH_DISP12BY8, 0, operand+1);
   2452 	      break;
   2453 	    case IMM0_20_4:
   2454 	      break;
   2455 	    case IMM0_20:
   2456 	      r_type = BFD_RELOC_SH_DISP20;
   2457 #ifdef OBJ_ELF
   2458 	      if (sh_check_fixup (&operand->immediate, &r_type))
   2459 		as_bad (_("Invalid PIC expression."));
   2460 	      unhandled_pic = 0;
   2461 #endif
   2462 	      insert4 (output, r_type, 0, operand);
   2463 	      break;
   2464 	    case IMM0_20BY8:
   2465 	      insert4 (output, BFD_RELOC_SH_DISP20BY8, 0, operand);
   2466 	      break;
   2467 	    case IMM0_4BY4:
   2468 	      insert (output + low_byte, BFD_RELOC_SH_IMM4BY4, 0, operand);
   2469 	      break;
   2470 	    case IMM0_4BY2:
   2471 	      insert (output + low_byte, BFD_RELOC_SH_IMM4BY2, 0, operand);
   2472 	      break;
   2473 	    case IMM0_4:
   2474 	      insert (output + low_byte, BFD_RELOC_SH_IMM4, 0, operand);
   2475 	      break;
   2476 	    case IMM1_4BY4:
   2477 	      insert (output + low_byte, BFD_RELOC_SH_IMM4BY4, 0, operand + 1);
   2478 	      break;
   2479 	    case IMM1_4BY2:
   2480 	      insert (output + low_byte, BFD_RELOC_SH_IMM4BY2, 0, operand + 1);
   2481 	      break;
   2482 	    case IMM1_4:
   2483 	      insert (output + low_byte, BFD_RELOC_SH_IMM4, 0, operand + 1);
   2484 	      break;
   2485 	    case IMM0_8BY4:
   2486 	      insert (output + low_byte, BFD_RELOC_SH_IMM8BY4, 0, operand);
   2487 	      break;
   2488 	    case IMM0_8BY2:
   2489 	      insert (output + low_byte, BFD_RELOC_SH_IMM8BY2, 0, operand);
   2490 	      break;
   2491 	    case IMM0_8:
   2492 	      insert (output + low_byte, BFD_RELOC_SH_IMM8, 0, operand);
   2493 	      break;
   2494 	    case IMM1_8BY4:
   2495 	      insert (output + low_byte, BFD_RELOC_SH_IMM8BY4, 0, operand + 1);
   2496 	      break;
   2497 	    case IMM1_8BY2:
   2498 	      insert (output + low_byte, BFD_RELOC_SH_IMM8BY2, 0, operand + 1);
   2499 	      break;
   2500 	    case IMM1_8:
   2501 	      insert (output + low_byte, BFD_RELOC_SH_IMM8, 0, operand + 1);
   2502 	      break;
   2503 	    case PCRELIMM_8BY4:
   2504 	      insert (output, BFD_RELOC_SH_PCRELIMM8BY4,
   2505 		      operand->type != A_DISP_PC_ABS, operand);
   2506 	      break;
   2507 	    case PCRELIMM_8BY2:
   2508 	      insert (output, BFD_RELOC_SH_PCRELIMM8BY2,
   2509 		      operand->type != A_DISP_PC_ABS, operand);
   2510 	      break;
   2511 	    case REPEAT:
   2512 	      output = insert_loop_bounds (output, operand);
   2513 	      nbuf[indx] = opcode->nibbles[3];
   2514 	      operand += 2;
   2515 	      break;
   2516 	    default:
   2517 	      printf (_("failed for %d\n"), i);
   2518 	    }
   2519 	}
   2520     }
   2521 #ifdef OBJ_ELF
   2522   if (unhandled_pic)
   2523     as_bad (_("misplaced PIC operand"));
   2524 #endif
   2525   if (!target_big_endian)
   2526     {
   2527       output[1] = (nbuf[0] << 4) | (nbuf[1]);
   2528       output[0] = (nbuf[2] << 4) | (nbuf[3]);
   2529     }
   2530   else
   2531     {
   2532       output[0] = (nbuf[0] << 4) | (nbuf[1]);
   2533       output[1] = (nbuf[2] << 4) | (nbuf[3]);
   2534     }
   2535   if (SH_MERGE_ARCH_SET (opcode->arch, arch_op32))
   2536     {
   2537       if (!target_big_endian)
   2538 	{
   2539 	  output[3] = (nbuf[4] << 4) | (nbuf[5]);
   2540 	  output[2] = (nbuf[6] << 4) | (nbuf[7]);
   2541 	}
   2542       else
   2543 	{
   2544 	  output[2] = (nbuf[4] << 4) | (nbuf[5]);
   2545 	  output[3] = (nbuf[6] << 4) | (nbuf[7]);
   2546 	}
   2547     }
   2548   return size;
   2549 }
   2550 
   2551 /* Find an opcode at the start of *STR_P in the hash table, and set
   2552    *STR_P to the first character after the last one read.  */
   2553 
   2554 static sh_opcode_info *
   2555 find_cooked_opcode (char **str_p)
   2556 {
   2557   char *str = *str_p;
   2558   unsigned char *op_start;
   2559   unsigned char *op_end;
   2560   char name[20];
   2561   unsigned int nlen = 0;
   2562 
   2563   /* Drop leading whitespace.  */
   2564   while (*str == ' ')
   2565     str++;
   2566 
   2567   /* Find the op code end.
   2568      The pre-processor will eliminate whitespace in front of
   2569      any '@' after the first argument; we may be called from
   2570      assemble_ppi, so the opcode might be terminated by an '@'.  */
   2571   for (op_start = op_end = (unsigned char *) str;
   2572        *op_end
   2573        && nlen < sizeof (name) - 1
   2574        && !is_end_of_line[*op_end] && *op_end != ' ' && *op_end != '@';
   2575        op_end++)
   2576     {
   2577       unsigned char c = op_start[nlen];
   2578 
   2579       /* The machine independent code will convert CMP/EQ into cmp/EQ
   2580 	 because it thinks the '/' is the end of the symbol.  Moreover,
   2581 	 all but the first sub-insn is a parallel processing insn won't
   2582 	 be capitalized.  Instead of hacking up the machine independent
   2583 	 code, we just deal with it here.  */
   2584       c = TOLOWER (c);
   2585       name[nlen] = c;
   2586       nlen++;
   2587     }
   2588 
   2589   name[nlen] = 0;
   2590   *str_p = (char *) op_end;
   2591 
   2592   if (nlen == 0)
   2593     as_bad (_("can't find opcode "));
   2594 
   2595   return (sh_opcode_info *) hash_find (opcode_hash_control, name);
   2596 }
   2597 
   2598 /* Assemble a parallel processing insn.  */
   2599 #define DDT_BASE 0xf000 /* Base value for double data transfer insns */
   2600 
   2601 static unsigned int
   2602 assemble_ppi (char *op_end, sh_opcode_info *opcode)
   2603 {
   2604   int movx = 0;
   2605   int movy = 0;
   2606   int cond = 0;
   2607   int field_b = 0;
   2608   char *output;
   2609   int move_code;
   2610   unsigned int size;
   2611 
   2612   for (;;)
   2613     {
   2614       sh_operand_info operand[3];
   2615 
   2616       /* Some insn ignore one or more register fields, e.g. psts machl,a0.
   2617 	 Make sure we encode a defined insn pattern.  */
   2618       reg_x = 0;
   2619       reg_y = 0;
   2620       reg_n = 0;
   2621 
   2622       if (opcode->arg[0] != A_END)
   2623 	op_end = get_operands (opcode, op_end, operand);
   2624     try_another_opcode:
   2625       opcode = get_specific (opcode, operand);
   2626       if (opcode == 0)
   2627 	{
   2628 	  /* Couldn't find an opcode which matched the operands.  */
   2629 	  char *where = frag_more (2);
   2630 	  size = 2;
   2631 
   2632 	  where[0] = 0x0;
   2633 	  where[1] = 0x0;
   2634 	  as_bad (_("invalid operands for opcode"));
   2635 	  return size;
   2636 	}
   2637 
   2638       if (opcode->nibbles[0] != PPI)
   2639 	as_bad (_("insn can't be combined with parallel processing insn"));
   2640 
   2641       switch (opcode->nibbles[1])
   2642 	{
   2643 
   2644 	case NOPX:
   2645 	  if (movx)
   2646 	    as_bad (_("multiple movx specifications"));
   2647 	  movx = DDT_BASE;
   2648 	  break;
   2649 	case NOPY:
   2650 	  if (movy)
   2651 	    as_bad (_("multiple movy specifications"));
   2652 	  movy = DDT_BASE;
   2653 	  break;
   2654 
   2655 	case MOVX_NOPY:
   2656 	  if (movx)
   2657 	    as_bad (_("multiple movx specifications"));
   2658 	  if ((reg_n < 4 || reg_n > 5)
   2659 	      && (reg_n < 0 || reg_n > 1))
   2660 	    as_bad (_("invalid movx address register"));
   2661 	  if (movy && movy != DDT_BASE)
   2662 	    as_bad (_("insn cannot be combined with non-nopy"));
   2663 	  movx = ((((reg_n & 1) != 0) << 9)
   2664 		  + (((reg_n & 4) == 0) << 8)
   2665 		  + (reg_x << 6)
   2666 		  + (opcode->nibbles[2] << 4)
   2667 		  + opcode->nibbles[3]
   2668 		  + DDT_BASE);
   2669 	  break;
   2670 
   2671 	case MOVY_NOPX:
   2672 	  if (movy)
   2673 	    as_bad (_("multiple movy specifications"));
   2674 	  if ((reg_n < 6 || reg_n > 7)
   2675 	      && (reg_n < 2 || reg_n > 3))
   2676 	    as_bad (_("invalid movy address register"));
   2677 	  if (movx && movx != DDT_BASE)
   2678 	    as_bad (_("insn cannot be combined with non-nopx"));
   2679 	  movy = ((((reg_n & 1) != 0) << 8)
   2680 		  + (((reg_n & 4) == 0) << 9)
   2681 		  + (reg_y << 6)
   2682 		  + (opcode->nibbles[2] << 4)
   2683 		  + opcode->nibbles[3]
   2684 		  + DDT_BASE);
   2685 	  break;
   2686 
   2687 	case MOVX:
   2688 	  if (movx)
   2689 	    as_bad (_("multiple movx specifications"));
   2690 	  if (movy & 0x2ac)
   2691 	    as_bad (_("previous movy requires nopx"));
   2692 	  if (reg_n < 4 || reg_n > 5)
   2693 	    as_bad (_("invalid movx address register"));
   2694 	  if (opcode->nibbles[2] & 8)
   2695 	    {
   2696 	      if (reg_m == A_A1_NUM)
   2697 		movx = 1 << 7;
   2698 	      else if (reg_m != A_A0_NUM)
   2699 		as_bad (_("invalid movx dsp register"));
   2700 	    }
   2701 	  else
   2702 	    {
   2703 	      if (reg_x > 1)
   2704 		as_bad (_("invalid movx dsp register"));
   2705 	      movx = reg_x << 7;
   2706 	    }
   2707 	  movx += ((reg_n - 4) << 9) + (opcode->nibbles[2] << 2) + DDT_BASE;
   2708 	  break;
   2709 
   2710 	case MOVY:
   2711 	  if (movy)
   2712 	    as_bad (_("multiple movy specifications"));
   2713 	  if (movx & 0x153)
   2714 	    as_bad (_("previous movx requires nopy"));
   2715 	  if (opcode->nibbles[2] & 8)
   2716 	    {
   2717 	      /* Bit 3 in nibbles[2] is intended for bit 4 of the opcode,
   2718 		 so add 8 more.  */
   2719 	      movy = 8;
   2720 	      if (reg_m == A_A1_NUM)
   2721 		movy += 1 << 6;
   2722 	      else if (reg_m != A_A0_NUM)
   2723 		as_bad (_("invalid movy dsp register"));
   2724 	    }
   2725 	  else
   2726 	    {
   2727 	      if (reg_y > 1)
   2728 		as_bad (_("invalid movy dsp register"));
   2729 	      movy = reg_y << 6;
   2730 	    }
   2731 	  if (reg_n < 6 || reg_n > 7)
   2732 	    as_bad (_("invalid movy address register"));
   2733 	  movy += ((reg_n - 6) << 8) + opcode->nibbles[2] + DDT_BASE;
   2734 	  break;
   2735 
   2736 	case PSH:
   2737 	  if (operand[0].immediate.X_op != O_constant)
   2738 	    as_bad (_("dsp immediate shift value not constant"));
   2739 	  field_b = ((opcode->nibbles[2] << 12)
   2740 		     | (operand[0].immediate.X_add_number & 127) << 4
   2741 		     | reg_n);
   2742 	  break;
   2743 	case PPI3NC:
   2744 	  if (cond)
   2745 	    {
   2746 	      opcode++;
   2747 	      goto try_another_opcode;
   2748 	    }
   2749 	  /* Fall through.  */
   2750 	case PPI3:
   2751 	  if (field_b)
   2752 	    as_bad (_("multiple parallel processing specifications"));
   2753 	  field_b = ((opcode->nibbles[2] << 12) + (opcode->nibbles[3] << 8)
   2754 		     + (reg_x << 6) + (reg_y << 4) + reg_n);
   2755 	  switch (opcode->nibbles[4])
   2756 	    {
   2757 	    case HEX_0:
   2758 	    case HEX_XX00:
   2759 	    case HEX_00YY:
   2760 	      break;
   2761 	    case HEX_1:
   2762 	    case HEX_4:
   2763 	      field_b += opcode->nibbles[4] << 4;
   2764 	      break;
   2765 	    default:
   2766 	      abort ();
   2767 	    }
   2768 	  break;
   2769 	case PDC:
   2770 	  if (cond)
   2771 	    as_bad (_("multiple condition specifications"));
   2772 	  cond = opcode->nibbles[2] << 8;
   2773 	  if (*op_end)
   2774 	    goto skip_cond_check;
   2775 	  break;
   2776 	case PPIC:
   2777 	  if (field_b)
   2778 	    as_bad (_("multiple parallel processing specifications"));
   2779 	  field_b = ((opcode->nibbles[2] << 12) + (opcode->nibbles[3] << 8)
   2780 		     + cond + (reg_x << 6) + (reg_y << 4) + reg_n);
   2781 	  cond = 0;
   2782 	  switch (opcode->nibbles[4])
   2783 	    {
   2784 	    case HEX_0:
   2785 	    case HEX_XX00:
   2786 	    case HEX_00YY:
   2787 	      break;
   2788 	    case HEX_1:
   2789 	    case HEX_4:
   2790 	      field_b += opcode->nibbles[4] << 4;
   2791 	      break;
   2792 	    default:
   2793 	      abort ();
   2794 	    }
   2795 	  break;
   2796 	case PMUL:
   2797 	  if (field_b)
   2798 	    {
   2799 	      if ((field_b & 0xef00) == 0xa100)
   2800 		field_b -= 0x8100;
   2801 	      /* pclr Dz pmuls Se,Sf,Dg */
   2802 	      else if ((field_b & 0xff00) == 0x8d00
   2803 		       && (SH_MERGE_ARCH_SET_VALID (valid_arch, arch_sh4al_dsp_up)))
   2804 		{
   2805 		  valid_arch = SH_MERGE_ARCH_SET (valid_arch, arch_sh4al_dsp_up);
   2806 		  field_b -= 0x8cf0;
   2807 		}
   2808 	      else
   2809 		as_bad (_("insn cannot be combined with pmuls"));
   2810 	      switch (field_b & 0xf)
   2811 		{
   2812 		case A_X0_NUM:
   2813 		  field_b += 0 - A_X0_NUM;
   2814 		  break;
   2815 		case A_Y0_NUM:
   2816 		  field_b += 1 - A_Y0_NUM;
   2817 		  break;
   2818 		case A_A0_NUM:
   2819 		  field_b += 2 - A_A0_NUM;
   2820 		  break;
   2821 		case A_A1_NUM:
   2822 		  field_b += 3 - A_A1_NUM;
   2823 		  break;
   2824 		default:
   2825 		  as_bad (_("bad combined pmuls output operand"));
   2826 		}
   2827 		/* Generate warning if the destination register for padd / psub
   2828 		   and pmuls is the same ( only for A0 or A1 ).
   2829 		   If the last nibble is 1010 then A0 is used in both
   2830 		   padd / psub and pmuls. If it is 1111 then A1 is used
   2831 		   as destination register in both padd / psub and pmuls.  */
   2832 
   2833 		if ((((field_b | reg_efg) & 0x000F) == 0x000A)
   2834 		    || (((field_b | reg_efg) & 0x000F) == 0x000F))
   2835 		  as_warn (_("destination register is same for parallel insns"));
   2836 	    }
   2837 	  field_b += 0x4000 + reg_efg;
   2838 	  break;
   2839 	default:
   2840 	  abort ();
   2841 	}
   2842       if (cond)
   2843 	{
   2844 	  as_bad (_("condition not followed by conditionalizable insn"));
   2845 	  cond = 0;
   2846 	}
   2847       if (! *op_end)
   2848 	break;
   2849     skip_cond_check:
   2850       opcode = find_cooked_opcode (&op_end);
   2851       if (opcode == NULL)
   2852 	{
   2853 	  (as_bad
   2854 	   (_("unrecognized characters at end of parallel processing insn")));
   2855 	  break;
   2856 	}
   2857     }
   2858 
   2859   move_code = movx | movy;
   2860   if (field_b)
   2861     {
   2862       /* Parallel processing insn.  */
   2863       unsigned long ppi_code = (movx | movy | 0xf800) << 16 | field_b;
   2864 
   2865       output = frag_more (4);
   2866       size = 4;
   2867       if (! target_big_endian)
   2868 	{
   2869 	  output[3] = ppi_code >> 8;
   2870 	  output[2] = ppi_code;
   2871 	}
   2872       else
   2873 	{
   2874 	  output[2] = ppi_code >> 8;
   2875 	  output[3] = ppi_code;
   2876 	}
   2877       move_code |= 0xf800;
   2878     }
   2879   else
   2880     {
   2881       /* Just a double data transfer.  */
   2882       output = frag_more (2);
   2883       size = 2;
   2884     }
   2885   if (! target_big_endian)
   2886     {
   2887       output[1] = move_code >> 8;
   2888       output[0] = move_code;
   2889     }
   2890   else
   2891     {
   2892       output[0] = move_code >> 8;
   2893       output[1] = move_code;
   2894     }
   2895   return size;
   2896 }
   2897 
   2898 /* This is the guts of the machine-dependent assembler.  STR points to a
   2899    machine dependent instruction.  This function is supposed to emit
   2900    the frags/bytes it assembles to.  */
   2901 
   2902 void
   2903 md_assemble (char *str)
   2904 {
   2905   char *op_end;
   2906   sh_operand_info operand[3];
   2907   sh_opcode_info *opcode;
   2908   unsigned int size = 0;
   2909   char *initial_str = str;
   2910 
   2911 #ifdef HAVE_SH64
   2912   if (sh64_isa_mode == sh64_isa_shmedia)
   2913     {
   2914       shmedia_md_assemble (str);
   2915       return;
   2916     }
   2917   else
   2918     {
   2919       /* If we've seen pseudo-directives, make sure any emitted data or
   2920 	 frags are marked as data.  */
   2921       if (!seen_insn)
   2922 	{
   2923 	  sh64_update_contents_mark (TRUE);
   2924 	  sh64_set_contents_type (CRT_SH5_ISA16);
   2925 	}
   2926 
   2927       seen_insn = TRUE;
   2928     }
   2929 #endif /* HAVE_SH64 */
   2930 
   2931   opcode = find_cooked_opcode (&str);
   2932   op_end = str;
   2933 
   2934   if (opcode == NULL)
   2935     {
   2936       /* The opcode is not in the hash table.
   2937 	 This means we definitely have an assembly failure,
   2938 	 but the instruction may be valid in another CPU variant.
   2939 	 In this case emit something better than 'unknown opcode'.
   2940 	 Search the full table in sh-opc.h to check. */
   2941 
   2942       char *name = initial_str;
   2943       int name_length = 0;
   2944       const sh_opcode_info *op;
   2945       int found = 0;
   2946 
   2947       /* identify opcode in string */
   2948       while (ISSPACE (*name))
   2949 	{
   2950 	  name++;
   2951 	}
   2952       while (!ISSPACE (name[name_length]))
   2953 	{
   2954 	  name_length++;
   2955 	}
   2956 
   2957       /* search for opcode in full list */
   2958       for (op = sh_table; op->name; op++)
   2959 	{
   2960 	  if (strncasecmp (op->name, name, name_length) == 0
   2961 	      && op->name[name_length] == '\0')
   2962 	    {
   2963 	      found = 1;
   2964 	      break;
   2965 	    }
   2966 	}
   2967 
   2968       if ( found )
   2969 	{
   2970 	  as_bad (_("opcode not valid for this cpu variant"));
   2971 	}
   2972       else
   2973 	{
   2974 	  as_bad (_("unknown opcode"));
   2975 	}
   2976       return;
   2977     }
   2978 
   2979   if (sh_relax
   2980       && ! seg_info (now_seg)->tc_segment_info_data.in_code)
   2981     {
   2982       /* Output a CODE reloc to tell the linker that the following
   2983          bytes are instructions, not data.  */
   2984       fix_new (frag_now, frag_now_fix (), 2, &abs_symbol, 0, 0,
   2985 	       BFD_RELOC_SH_CODE);
   2986       seg_info (now_seg)->tc_segment_info_data.in_code = 1;
   2987     }
   2988 
   2989   if (opcode->nibbles[0] == PPI)
   2990     {
   2991       size = assemble_ppi (op_end, opcode);
   2992     }
   2993   else
   2994     {
   2995       if (opcode->arg[0] == A_BDISP12
   2996 	  || opcode->arg[0] == A_BDISP8)
   2997 	{
   2998 	  /* Since we skip get_specific here, we have to check & update
   2999 	     valid_arch now.  */
   3000 	  if (SH_MERGE_ARCH_SET_VALID (valid_arch, opcode->arch))
   3001 	    valid_arch = SH_MERGE_ARCH_SET (valid_arch, opcode->arch);
   3002 	  else
   3003 	    as_bad (_("Delayed branches not available on SH1"));
   3004 	  parse_exp (op_end + 1, &operand[0]);
   3005 	  build_relax (opcode, &operand[0]);
   3006 
   3007 	  /* All branches are currently 16 bit.  */
   3008 	  size = 2;
   3009 	}
   3010       else
   3011 	{
   3012 	  if (opcode->arg[0] == A_END)
   3013 	    {
   3014 	      /* Ignore trailing whitespace.  If there is any, it has already
   3015 		 been compressed to a single space.  */
   3016 	      if (*op_end == ' ')
   3017 		op_end++;
   3018 	    }
   3019 	  else
   3020 	    {
   3021 	      op_end = get_operands (opcode, op_end, operand);
   3022 	    }
   3023 	  opcode = get_specific (opcode, operand);
   3024 
   3025 	  if (opcode == 0)
   3026 	    {
   3027 	      /* Couldn't find an opcode which matched the operands.  */
   3028 	      char *where = frag_more (2);
   3029 	      size = 2;
   3030 
   3031 	      where[0] = 0x0;
   3032 	      where[1] = 0x0;
   3033 	      as_bad (_("invalid operands for opcode"));
   3034 	    }
   3035 	  else
   3036 	    {
   3037 	      if (*op_end)
   3038 		as_bad (_("excess operands: '%s'"), op_end);
   3039 
   3040 	      size = build_Mytes (opcode, operand);
   3041 	    }
   3042 	}
   3043     }
   3044 
   3045   dwarf2_emit_insn (size);
   3046 }
   3047 
   3048 /* This routine is called each time a label definition is seen.  It
   3049    emits a BFD_RELOC_SH_LABEL reloc if necessary.  */
   3050 
   3051 void
   3052 sh_frob_label (symbolS *sym)
   3053 {
   3054   static fragS *last_label_frag;
   3055   static int last_label_offset;
   3056 
   3057   if (sh_relax
   3058       && seg_info (now_seg)->tc_segment_info_data.in_code)
   3059     {
   3060       int offset;
   3061 
   3062       offset = frag_now_fix ();
   3063       if (frag_now != last_label_frag
   3064 	  || offset != last_label_offset)
   3065 	{
   3066 	  fix_new (frag_now, offset, 2, &abs_symbol, 0, 0, BFD_RELOC_SH_LABEL);
   3067 	  last_label_frag = frag_now;
   3068 	  last_label_offset = offset;
   3069 	}
   3070     }
   3071 
   3072   dwarf2_emit_label (sym);
   3073 }
   3074 
   3075 /* This routine is called when the assembler is about to output some
   3076    data.  It emits a BFD_RELOC_SH_DATA reloc if necessary.  */
   3077 
   3078 void
   3079 sh_flush_pending_output (void)
   3080 {
   3081   if (sh_relax
   3082       && seg_info (now_seg)->tc_segment_info_data.in_code)
   3083     {
   3084       fix_new (frag_now, frag_now_fix (), 2, &abs_symbol, 0, 0,
   3085 	       BFD_RELOC_SH_DATA);
   3086       seg_info (now_seg)->tc_segment_info_data.in_code = 0;
   3087     }
   3088 }
   3089 
   3090 symbolS *
   3091 md_undefined_symbol (char *name ATTRIBUTE_UNUSED)
   3092 {
   3093   return 0;
   3094 }
   3095 
   3096 /* Various routines to kill one day.  */
   3097 
   3098 const char *
   3099 md_atof (int type, char *litP, int *sizeP)
   3100 {
   3101   return ieee_md_atof (type, litP, sizeP, target_big_endian);
   3102 }
   3103 
   3104 /* Handle the .uses pseudo-op.  This pseudo-op is used just before a
   3105    call instruction.  It refers to a label of the instruction which
   3106    loads the register which the call uses.  We use it to generate a
   3107    special reloc for the linker.  */
   3108 
   3109 static void
   3110 s_uses (int ignore ATTRIBUTE_UNUSED)
   3111 {
   3112   expressionS ex;
   3113 
   3114   if (! sh_relax)
   3115     as_warn (_(".uses pseudo-op seen when not relaxing"));
   3116 
   3117   expression (&ex);
   3118 
   3119   if (ex.X_op != O_symbol || ex.X_add_number != 0)
   3120     {
   3121       as_bad (_("bad .uses format"));
   3122       ignore_rest_of_line ();
   3123       return;
   3124     }
   3125 
   3126   fix_new_exp (frag_now, frag_now_fix (), 2, &ex, 1, BFD_RELOC_SH_USES);
   3127 
   3128   demand_empty_rest_of_line ();
   3129 }
   3130 
   3131 enum options
   3133 {
   3134   OPTION_RELAX = OPTION_MD_BASE,
   3135   OPTION_BIG,
   3136   OPTION_LITTLE,
   3137   OPTION_SMALL,
   3138   OPTION_DSP,
   3139   OPTION_ISA,
   3140   OPTION_RENESAS,
   3141   OPTION_ALLOW_REG_PREFIX,
   3142 #ifdef HAVE_SH64
   3143   OPTION_ABI,
   3144   OPTION_NO_MIX,
   3145   OPTION_SHCOMPACT_CONST_CRANGE,
   3146   OPTION_NO_EXPAND,
   3147   OPTION_PT32,
   3148 #endif
   3149   OPTION_H_TICK_HEX,
   3150 #ifdef OBJ_ELF
   3151   OPTION_FDPIC,
   3152 #endif
   3153   OPTION_DUMMY  /* Not used.  This is just here to make it easy to add and subtract options from this enum.  */
   3154 };
   3155 
   3156 const char *md_shortopts = "";
   3157 struct option md_longopts[] =
   3158 {
   3159   {"relax", no_argument, NULL, OPTION_RELAX},
   3160   {"big", no_argument, NULL, OPTION_BIG},
   3161   {"little", no_argument, NULL, OPTION_LITTLE},
   3162   /* The next two switches are here because the
   3163      generic parts of the linker testsuite uses them.  */
   3164   {"EB", no_argument, NULL, OPTION_BIG},
   3165   {"EL", no_argument, NULL, OPTION_LITTLE},
   3166   {"small", no_argument, NULL, OPTION_SMALL},
   3167   {"dsp", no_argument, NULL, OPTION_DSP},
   3168   {"isa", required_argument, NULL, OPTION_ISA},
   3169   {"renesas", no_argument, NULL, OPTION_RENESAS},
   3170   {"allow-reg-prefix", no_argument, NULL, OPTION_ALLOW_REG_PREFIX},
   3171 
   3172 #ifdef HAVE_SH64
   3173   {"abi",                    required_argument, NULL, OPTION_ABI},
   3174   {"no-mix",                 no_argument, NULL, OPTION_NO_MIX},
   3175   {"shcompact-const-crange", no_argument, NULL, OPTION_SHCOMPACT_CONST_CRANGE},
   3176   {"no-expand",              no_argument, NULL, OPTION_NO_EXPAND},
   3177   {"expand-pt32",            no_argument, NULL, OPTION_PT32},
   3178 #endif /* HAVE_SH64 */
   3179   { "h-tick-hex", no_argument,	      NULL, OPTION_H_TICK_HEX  },
   3180 
   3181 #ifdef OBJ_ELF
   3182   {"fdpic", no_argument, NULL, OPTION_FDPIC},
   3183 #endif
   3184 
   3185   {NULL, no_argument, NULL, 0}
   3186 };
   3187 size_t md_longopts_size = sizeof (md_longopts);
   3188 
   3189 int
   3190 md_parse_option (int c, const char *arg ATTRIBUTE_UNUSED)
   3191 {
   3192   switch (c)
   3193     {
   3194     case OPTION_RELAX:
   3195       sh_relax = 1;
   3196       break;
   3197 
   3198     case OPTION_BIG:
   3199       target_big_endian = 1;
   3200       break;
   3201 
   3202     case OPTION_LITTLE:
   3203       target_big_endian = 0;
   3204       break;
   3205 
   3206     case OPTION_SMALL:
   3207       sh_small = 1;
   3208       break;
   3209 
   3210     case OPTION_DSP:
   3211       preset_target_arch = arch_sh_up & ~(arch_sh_sp_fpu|arch_sh_dp_fpu);
   3212       break;
   3213 
   3214     case OPTION_RENESAS:
   3215       dont_adjust_reloc_32 = 1;
   3216       break;
   3217 
   3218     case OPTION_ALLOW_REG_PREFIX:
   3219       allow_dollar_register_prefix = 1;
   3220       break;
   3221 
   3222     case OPTION_ISA:
   3223       if (strcasecmp (arg, "dsp") == 0)
   3224 	preset_target_arch = arch_sh_up & ~(arch_sh_sp_fpu|arch_sh_dp_fpu);
   3225       else if (strcasecmp (arg, "fp") == 0)
   3226 	preset_target_arch = arch_sh_up & ~arch_sh_has_dsp;
   3227       else if (strcasecmp (arg, "any") == 0)
   3228 	preset_target_arch = arch_sh_up;
   3229 #ifdef HAVE_SH64
   3230       else if (strcasecmp (arg, "shmedia") == 0)
   3231 	{
   3232 	  if (sh64_isa_mode == sh64_isa_shcompact)
   3233 	    as_bad (_("Invalid combination: --isa=SHcompact with --isa=SHmedia"));
   3234 	  sh64_isa_mode = sh64_isa_shmedia;
   3235 	}
   3236       else if (strcasecmp (arg, "shcompact") == 0)
   3237 	{
   3238 	  if (sh64_isa_mode == sh64_isa_shmedia)
   3239 	    as_bad (_("Invalid combination: --isa=SHmedia with --isa=SHcompact"));
   3240 	  if (sh64_abi == sh64_abi_64)
   3241 	    as_bad (_("Invalid combination: --abi=64 with --isa=SHcompact"));
   3242 	  sh64_isa_mode = sh64_isa_shcompact;
   3243 	}
   3244 #endif /* HAVE_SH64 */
   3245       else
   3246 	{
   3247 	  extern const bfd_arch_info_type bfd_sh_arch;
   3248 	  bfd_arch_info_type const *bfd_arch = &bfd_sh_arch;
   3249 
   3250 	  preset_target_arch = 0;
   3251 	  for (; bfd_arch; bfd_arch=bfd_arch->next)
   3252 	    {
   3253 	      int len = strlen(bfd_arch->printable_name);
   3254 
   3255 	      if (bfd_arch->mach == bfd_mach_sh5)
   3256 		continue;
   3257 
   3258 	      if (strncasecmp (bfd_arch->printable_name, arg, len) != 0)
   3259 		continue;
   3260 
   3261 	      if (arg[len] == '\0')
   3262 		preset_target_arch =
   3263 		  sh_get_arch_from_bfd_mach (bfd_arch->mach);
   3264 	      else if (strcasecmp(&arg[len], "-up") == 0)
   3265 		preset_target_arch =
   3266 		  sh_get_arch_up_from_bfd_mach (bfd_arch->mach);
   3267 	      else
   3268 		continue;
   3269 	      break;
   3270 	    }
   3271 
   3272 	  if (!preset_target_arch)
   3273 	    as_bad (_("Invalid argument to --isa option: %s"), arg);
   3274 	}
   3275       break;
   3276 
   3277 #ifdef HAVE_SH64
   3278     case OPTION_ABI:
   3279       if (strcmp (arg, "32") == 0)
   3280 	{
   3281 	  if (sh64_abi == sh64_abi_64)
   3282 	    as_bad (_("Invalid combination: --abi=32 with --abi=64"));
   3283 	  sh64_abi = sh64_abi_32;
   3284 	}
   3285       else if (strcmp (arg, "64") == 0)
   3286 	{
   3287 	  if (sh64_abi == sh64_abi_32)
   3288 	    as_bad (_("Invalid combination: --abi=64 with --abi=32"));
   3289 	  if (sh64_isa_mode == sh64_isa_shcompact)
   3290 	    as_bad (_("Invalid combination: --isa=SHcompact with --abi=64"));
   3291 	  sh64_abi = sh64_abi_64;
   3292 	}
   3293       else
   3294 	as_bad (_("Invalid argument to --abi option: %s"), arg);
   3295       break;
   3296 
   3297     case OPTION_NO_MIX:
   3298       sh64_mix = FALSE;
   3299       break;
   3300 
   3301     case OPTION_SHCOMPACT_CONST_CRANGE:
   3302       sh64_shcompact_const_crange = TRUE;
   3303       break;
   3304 
   3305     case OPTION_NO_EXPAND:
   3306       sh64_expand = FALSE;
   3307       break;
   3308 
   3309     case OPTION_PT32:
   3310       sh64_pt32 = TRUE;
   3311       break;
   3312 #endif /* HAVE_SH64 */
   3313 
   3314     case OPTION_H_TICK_HEX:
   3315       enable_h_tick_hex = 1;
   3316       break;
   3317 
   3318 #ifdef OBJ_ELF
   3319     case OPTION_FDPIC:
   3320       sh_fdpic = TRUE;
   3321       break;
   3322 #endif /* OBJ_ELF */
   3323 
   3324     default:
   3325       return 0;
   3326     }
   3327 
   3328   return 1;
   3329 }
   3330 
   3331 void
   3332 md_show_usage (FILE *stream)
   3333 {
   3334   fprintf (stream, _("\
   3335 SH options:\n\
   3336 --little		generate little endian code\n\
   3337 --big			generate big endian code\n\
   3338 --relax			alter jump instructions for long displacements\n\
   3339 --renesas		disable optimization with section symbol for\n\
   3340 			compatibility with Renesas assembler.\n\
   3341 --small			align sections to 4 byte boundaries, not 16\n\
   3342 --dsp			enable sh-dsp insns, and disable floating-point ISAs.\n\
   3343 --allow-reg-prefix	allow '$' as a register name prefix.\n\
   3344 --isa=[any		use most appropriate isa\n\
   3345     | dsp               same as '-dsp'\n\
   3346     | fp"));
   3347   {
   3348     extern const bfd_arch_info_type bfd_sh_arch;
   3349     bfd_arch_info_type const *bfd_arch = &bfd_sh_arch;
   3350 
   3351     for (; bfd_arch; bfd_arch=bfd_arch->next)
   3352       if (bfd_arch->mach != bfd_mach_sh5)
   3353 	{
   3354 	  fprintf (stream, "\n    | %s", bfd_arch->printable_name);
   3355 	  fprintf (stream, "\n    | %s-up", bfd_arch->printable_name);
   3356 	}
   3357   }
   3358   fprintf (stream, "]\n");
   3359 #ifdef HAVE_SH64
   3360   fprintf (stream, _("\
   3361 --isa=[shmedia		set as the default instruction set for SH64\n\
   3362     | SHmedia\n\
   3363     | shcompact\n\
   3364     | SHcompact]\n"));
   3365   fprintf (stream, _("\
   3366 --abi=[32|64]		set size of expanded SHmedia operands and object\n\
   3367 			file type\n\
   3368 --shcompact-const-crange  emit code-range descriptors for constants in\n\
   3369 			SHcompact code sections\n\
   3370 --no-mix		disallow SHmedia code in the same section as\n\
   3371 			constants and SHcompact code\n\
   3372 --no-expand		do not expand MOVI, PT, PTA or PTB instructions\n\
   3373 --expand-pt32		with -abi=64, expand PT, PTA and PTB instructions\n\
   3374 			to 32 bits only\n"));
   3375 #endif /* HAVE_SH64 */
   3376 #ifdef OBJ_ELF
   3377   fprintf (stream, _("\
   3378 --fdpic			generate an FDPIC object file\n"));
   3379 #endif /* OBJ_ELF */
   3380 }
   3381 
   3382 /* This struct is used to pass arguments to sh_count_relocs through
   3384    bfd_map_over_sections.  */
   3385 
   3386 struct sh_count_relocs
   3387 {
   3388   /* Symbol we are looking for.  */
   3389   symbolS *sym;
   3390   /* Count of relocs found.  */
   3391   int count;
   3392 };
   3393 
   3394 /* Count the number of fixups in a section which refer to a particular
   3395    symbol.  This is called via bfd_map_over_sections.  */
   3396 
   3397 static void
   3398 sh_count_relocs (bfd *abfd ATTRIBUTE_UNUSED, segT sec, void *data)
   3399 {
   3400   struct sh_count_relocs *info = (struct sh_count_relocs *) data;
   3401   segment_info_type *seginfo;
   3402   symbolS *sym;
   3403   fixS *fix;
   3404 
   3405   seginfo = seg_info (sec);
   3406   if (seginfo == NULL)
   3407     return;
   3408 
   3409   sym = info->sym;
   3410   for (fix = seginfo->fix_root; fix != NULL; fix = fix->fx_next)
   3411     {
   3412       if (fix->fx_addsy == sym)
   3413 	{
   3414 	  ++info->count;
   3415 	  fix->fx_tcbit = 1;
   3416 	}
   3417     }
   3418 }
   3419 
   3420 /* Handle the count relocs for a particular section.
   3421    This is called via bfd_map_over_sections.  */
   3422 
   3423 static void
   3424 sh_frob_section (bfd *abfd ATTRIBUTE_UNUSED, segT sec,
   3425 		 void *ignore ATTRIBUTE_UNUSED)
   3426 {
   3427   segment_info_type *seginfo;
   3428   fixS *fix;
   3429 
   3430   seginfo = seg_info (sec);
   3431   if (seginfo == NULL)
   3432     return;
   3433 
   3434   for (fix = seginfo->fix_root; fix != NULL; fix = fix->fx_next)
   3435     {
   3436       symbolS *sym;
   3437 
   3438       sym = fix->fx_addsy;
   3439       /* Check for a local_symbol.  */
   3440       if (sym && sym->bsym == NULL)
   3441 	{
   3442 	  struct local_symbol *ls = (struct local_symbol *)sym;
   3443 	  /* See if it's been converted.  If so, canonicalize.  */
   3444 	  if (local_symbol_converted_p (ls))
   3445 	    fix->fx_addsy = local_symbol_get_real_symbol (ls);
   3446 	}
   3447     }
   3448 
   3449   for (fix = seginfo->fix_root; fix != NULL; fix = fix->fx_next)
   3450     {
   3451       symbolS *sym;
   3452       bfd_vma val;
   3453       fixS *fscan;
   3454       struct sh_count_relocs info;
   3455 
   3456       if (fix->fx_r_type != BFD_RELOC_SH_USES)
   3457 	continue;
   3458 
   3459       /* The BFD_RELOC_SH_USES reloc should refer to a defined local
   3460 	 symbol in the same section.  */
   3461       sym = fix->fx_addsy;
   3462       if (sym == NULL
   3463 	  || fix->fx_subsy != NULL
   3464 	  || fix->fx_addnumber != 0
   3465 	  || S_GET_SEGMENT (sym) != sec
   3466 	  || S_IS_EXTERNAL (sym))
   3467 	{
   3468 	  as_warn_where (fix->fx_file, fix->fx_line,
   3469 			 _(".uses does not refer to a local symbol in the same section"));
   3470 	  continue;
   3471 	}
   3472 
   3473       /* Look through the fixups again, this time looking for one
   3474 	 at the same location as sym.  */
   3475       val = S_GET_VALUE (sym);
   3476       for (fscan = seginfo->fix_root;
   3477 	   fscan != NULL;
   3478 	   fscan = fscan->fx_next)
   3479 	if (val == fscan->fx_frag->fr_address + fscan->fx_where
   3480 	    && fscan->fx_r_type != BFD_RELOC_SH_ALIGN
   3481 	    && fscan->fx_r_type != BFD_RELOC_SH_CODE
   3482 	    && fscan->fx_r_type != BFD_RELOC_SH_DATA
   3483 	    && fscan->fx_r_type != BFD_RELOC_SH_LABEL)
   3484 	  break;
   3485       if (fscan == NULL)
   3486 	{
   3487 	  as_warn_where (fix->fx_file, fix->fx_line,
   3488 			 _("can't find fixup pointed to by .uses"));
   3489 	  continue;
   3490 	}
   3491 
   3492       if (fscan->fx_tcbit)
   3493 	{
   3494 	  /* We've already done this one.  */
   3495 	  continue;
   3496 	}
   3497 
   3498       /* The variable fscan should also be a fixup to a local symbol
   3499 	 in the same section.  */
   3500       sym = fscan->fx_addsy;
   3501       if (sym == NULL
   3502 	  || fscan->fx_subsy != NULL
   3503 	  || fscan->fx_addnumber != 0
   3504 	  || S_GET_SEGMENT (sym) != sec
   3505 	  || S_IS_EXTERNAL (sym))
   3506 	{
   3507 	  as_warn_where (fix->fx_file, fix->fx_line,
   3508 			 _(".uses target does not refer to a local symbol in the same section"));
   3509 	  continue;
   3510 	}
   3511 
   3512       /* Now we look through all the fixups of all the sections,
   3513 	 counting the number of times we find a reference to sym.  */
   3514       info.sym = sym;
   3515       info.count = 0;
   3516       bfd_map_over_sections (stdoutput, sh_count_relocs, &info);
   3517 
   3518       if (info.count < 1)
   3519 	abort ();
   3520 
   3521       /* Generate a BFD_RELOC_SH_COUNT fixup at the location of sym.
   3522 	 We have already adjusted the value of sym to include the
   3523 	 fragment address, so we undo that adjustment here.  */
   3524       subseg_change (sec, 0);
   3525       fix_new (fscan->fx_frag,
   3526 	       S_GET_VALUE (sym) - fscan->fx_frag->fr_address,
   3527 	       4, &abs_symbol, info.count, 0, BFD_RELOC_SH_COUNT);
   3528     }
   3529 }
   3530 
   3531 /* This function is called after the symbol table has been completed,
   3532    but before the relocs or section contents have been written out.
   3533    If we have seen any .uses pseudo-ops, they point to an instruction
   3534    which loads a register with the address of a function.  We look
   3535    through the fixups to find where the function address is being
   3536    loaded from.  We then generate a COUNT reloc giving the number of
   3537    times that function address is referred to.  The linker uses this
   3538    information when doing relaxing, to decide when it can eliminate
   3539    the stored function address entirely.  */
   3540 
   3541 void
   3542 sh_frob_file (void)
   3543 {
   3544 #ifdef HAVE_SH64
   3545   shmedia_frob_file_before_adjust ();
   3546 #endif
   3547 
   3548   if (! sh_relax)
   3549     return;
   3550 
   3551   bfd_map_over_sections (stdoutput, sh_frob_section, NULL);
   3552 }
   3553 
   3554 /* Called after relaxing.  Set the correct sizes of the fragments, and
   3555    create relocs so that md_apply_fix will fill in the correct values.  */
   3556 
   3557 void
   3558 md_convert_frag (bfd *headers ATTRIBUTE_UNUSED, segT seg, fragS *fragP)
   3559 {
   3560   int donerelax = 0;
   3561 
   3562   switch (fragP->fr_subtype)
   3563     {
   3564     case C (COND_JUMP, COND8):
   3565     case C (COND_JUMP_DELAY, COND8):
   3566       subseg_change (seg, 0);
   3567       fix_new (fragP, fragP->fr_fix, 2, fragP->fr_symbol, fragP->fr_offset,
   3568 	       1, BFD_RELOC_SH_PCDISP8BY2);
   3569       fragP->fr_fix += 2;
   3570       fragP->fr_var = 0;
   3571       break;
   3572 
   3573     case C (UNCOND_JUMP, UNCOND12):
   3574       subseg_change (seg, 0);
   3575       fix_new (fragP, fragP->fr_fix, 2, fragP->fr_symbol, fragP->fr_offset,
   3576 	       1, BFD_RELOC_SH_PCDISP12BY2);
   3577       fragP->fr_fix += 2;
   3578       fragP->fr_var = 0;
   3579       break;
   3580 
   3581     case C (UNCOND_JUMP, UNCOND32):
   3582     case C (UNCOND_JUMP, UNDEF_WORD_DISP):
   3583       if (fragP->fr_symbol == NULL)
   3584 	as_bad_where (fragP->fr_file, fragP->fr_line,
   3585 		      _("displacement overflows 12-bit field"));
   3586       else if (S_IS_DEFINED (fragP->fr_symbol))
   3587 	as_bad_where (fragP->fr_file, fragP->fr_line,
   3588 		      _("displacement to defined symbol %s overflows 12-bit field"),
   3589 		      S_GET_NAME (fragP->fr_symbol));
   3590       else
   3591 	as_bad_where (fragP->fr_file, fragP->fr_line,
   3592 		      _("displacement to undefined symbol %s overflows 12-bit field"),
   3593 		      S_GET_NAME (fragP->fr_symbol));
   3594       /* Stabilize this frag, so we don't trip an assert.  */
   3595       fragP->fr_fix += fragP->fr_var;
   3596       fragP->fr_var = 0;
   3597       break;
   3598 
   3599     case C (COND_JUMP, COND12):
   3600     case C (COND_JUMP_DELAY, COND12):
   3601       /* A bcond won't fit, so turn it into a b!cond; bra disp; nop.  */
   3602       /* I found that a relax failure for gcc.c-torture/execute/930628-1.c
   3603 	 was due to gas incorrectly relaxing an out-of-range conditional
   3604 	 branch with delay slot.  It turned:
   3605                      bf.s    L6              (slot mov.l   r12,@(44,r0))
   3606          into:
   3607 
   3608 2c:  8f 01 a0 8b     bf.s    32 <_main+32>   (slot bra       L6)
   3609 30:  00 09           nop
   3610 32:  10 cb           mov.l   r12,@(44,r0)
   3611          Therefore, branches with delay slots have to be handled
   3612 	 differently from ones without delay slots.  */
   3613       {
   3614 	unsigned char *buffer =
   3615 	  (unsigned char *) (fragP->fr_fix + fragP->fr_literal);
   3616 	int highbyte = target_big_endian ? 0 : 1;
   3617 	int lowbyte = target_big_endian ? 1 : 0;
   3618 	int delay = fragP->fr_subtype == C (COND_JUMP_DELAY, COND12);
   3619 
   3620 	/* Toggle the true/false bit of the bcond.  */
   3621 	buffer[highbyte] ^= 0x2;
   3622 
   3623 	/* If this is a delayed branch, we may not put the bra in the
   3624 	   slot.  So we change it to a non-delayed branch, like that:
   3625 	   b! cond slot_label; bra disp; slot_label: slot_insn
   3626 	   ??? We should try if swapping the conditional branch and
   3627 	   its delay-slot insn already makes the branch reach.  */
   3628 
   3629 	/* Build a relocation to six / four bytes farther on.  */
   3630 	subseg_change (seg, 0);
   3631 	fix_new (fragP, fragP->fr_fix, 2, section_symbol (seg),
   3632 		 fragP->fr_address + fragP->fr_fix + (delay ? 4 : 6),
   3633 		 1, BFD_RELOC_SH_PCDISP8BY2);
   3634 
   3635 	/* Set up a jump instruction.  */
   3636 	buffer[highbyte + 2] = 0xa0;
   3637 	buffer[lowbyte + 2] = 0;
   3638 	fix_new (fragP, fragP->fr_fix + 2, 2, fragP->fr_symbol,
   3639 		 fragP->fr_offset, 1, BFD_RELOC_SH_PCDISP12BY2);
   3640 
   3641 	if (delay)
   3642 	  {
   3643 	    buffer[highbyte] &= ~0x4; /* Removes delay slot from branch.  */
   3644 	    fragP->fr_fix += 4;
   3645 	  }
   3646 	else
   3647 	  {
   3648 	    /* Fill in a NOP instruction.  */
   3649 	    buffer[highbyte + 4] = 0x0;
   3650 	    buffer[lowbyte + 4] = 0x9;
   3651 
   3652 	    fragP->fr_fix += 6;
   3653 	  }
   3654 	fragP->fr_var = 0;
   3655 	donerelax = 1;
   3656       }
   3657       break;
   3658 
   3659     case C (COND_JUMP, COND32):
   3660     case C (COND_JUMP_DELAY, COND32):
   3661     case C (COND_JUMP, UNDEF_WORD_DISP):
   3662     case C (COND_JUMP_DELAY, UNDEF_WORD_DISP):
   3663       if (fragP->fr_symbol == NULL)
   3664 	as_bad_where (fragP->fr_file, fragP->fr_line,
   3665 		      _("displacement overflows 8-bit field"));
   3666       else if (S_IS_DEFINED (fragP->fr_symbol))
   3667 	as_bad_where (fragP->fr_file, fragP->fr_line,
   3668 		      _("displacement to defined symbol %s overflows 8-bit field"),
   3669 		      S_GET_NAME (fragP->fr_symbol));
   3670       else
   3671 	as_bad_where (fragP->fr_file, fragP->fr_line,
   3672 		      _("displacement to undefined symbol %s overflows 8-bit field "),
   3673 		      S_GET_NAME (fragP->fr_symbol));
   3674       /* Stabilize this frag, so we don't trip an assert.  */
   3675       fragP->fr_fix += fragP->fr_var;
   3676       fragP->fr_var = 0;
   3677       break;
   3678 
   3679     default:
   3680 #ifdef HAVE_SH64
   3681       shmedia_md_convert_frag (headers, seg, fragP, TRUE);
   3682 #else
   3683       abort ();
   3684 #endif
   3685     }
   3686 
   3687   if (donerelax && !sh_relax)
   3688     as_warn_where (fragP->fr_file, fragP->fr_line,
   3689 		   _("overflow in branch to %s; converted into longer instruction sequence"),
   3690 		   (fragP->fr_symbol != NULL
   3691 		    ? S_GET_NAME (fragP->fr_symbol)
   3692 		    : ""));
   3693 }
   3694 
   3695 valueT
   3696 md_section_align (segT seg ATTRIBUTE_UNUSED, valueT size)
   3697 {
   3698 #ifdef OBJ_ELF
   3699   return size;
   3700 #else /* ! OBJ_ELF */
   3701   return ((size + (1 << bfd_get_section_alignment (stdoutput, seg)) - 1)
   3702 	  & -(1 << bfd_get_section_alignment (stdoutput, seg)));
   3703 #endif /* ! OBJ_ELF */
   3704 }
   3705 
   3706 /* This static variable is set by s_uacons to tell sh_cons_align that
   3707    the expression does not need to be aligned.  */
   3708 
   3709 static int sh_no_align_cons = 0;
   3710 
   3711 /* This handles the unaligned space allocation pseudo-ops, such as
   3712    .uaword.  .uaword is just like .word, but the value does not need
   3713    to be aligned.  */
   3714 
   3715 static void
   3716 s_uacons (int bytes)
   3717 {
   3718   /* Tell sh_cons_align not to align this value.  */
   3719   sh_no_align_cons = 1;
   3720   cons (bytes);
   3721 }
   3722 
   3723 /* If a .word, et. al., pseud-op is seen, warn if the value is not
   3724    aligned correctly.  Note that this can cause warnings to be issued
   3725    when assembling initialized structured which were declared with the
   3726    packed attribute.  FIXME: Perhaps we should require an option to
   3727    enable this warning?  */
   3728 
   3729 void
   3730 sh_cons_align (int nbytes)
   3731 {
   3732   int nalign;
   3733 
   3734   if (sh_no_align_cons)
   3735     {
   3736       /* This is an unaligned pseudo-op.  */
   3737       sh_no_align_cons = 0;
   3738       return;
   3739     }
   3740 
   3741   nalign = 0;
   3742   while ((nbytes & 1) == 0)
   3743     {
   3744       ++nalign;
   3745       nbytes >>= 1;
   3746     }
   3747 
   3748   if (nalign == 0)
   3749     return;
   3750 
   3751   if (now_seg == absolute_section)
   3752     {
   3753       if ((abs_section_offset & ((1 << nalign) - 1)) != 0)
   3754 	as_warn (_("misaligned data"));
   3755       return;
   3756     }
   3757 
   3758   frag_var (rs_align_test, 1, 1, (relax_substateT) 0,
   3759 	    (symbolS *) NULL, (offsetT) nalign, (char *) NULL);
   3760 
   3761   record_alignment (now_seg, nalign);
   3762 }
   3763 
   3764 /* When relaxing, we need to output a reloc for any .align directive
   3765    that requests alignment to a four byte boundary or larger.  This is
   3766    also where we check for misaligned data.  */
   3767 
   3768 void
   3769 sh_handle_align (fragS *frag)
   3770 {
   3771   int bytes = frag->fr_next->fr_address - frag->fr_address - frag->fr_fix;
   3772 
   3773   if (frag->fr_type == rs_align_code)
   3774     {
   3775       static const unsigned char big_nop_pattern[] = { 0x00, 0x09 };
   3776       static const unsigned char little_nop_pattern[] = { 0x09, 0x00 };
   3777 
   3778       char *p = frag->fr_literal + frag->fr_fix;
   3779 
   3780       if (bytes & 1)
   3781 	{
   3782 	  *p++ = 0;
   3783 	  bytes--;
   3784 	  frag->fr_fix += 1;
   3785 	}
   3786 
   3787       if (target_big_endian)
   3788 	{
   3789 	  memcpy (p, big_nop_pattern, sizeof big_nop_pattern);
   3790 	  frag->fr_var = sizeof big_nop_pattern;
   3791 	}
   3792       else
   3793 	{
   3794 	  memcpy (p, little_nop_pattern, sizeof little_nop_pattern);
   3795 	  frag->fr_var = sizeof little_nop_pattern;
   3796 	}
   3797     }
   3798   else if (frag->fr_type == rs_align_test)
   3799     {
   3800       if (bytes != 0)
   3801 	as_bad_where (frag->fr_file, frag->fr_line, _("misaligned data"));
   3802     }
   3803 
   3804   if (sh_relax
   3805       && (frag->fr_type == rs_align
   3806 	  || frag->fr_type == rs_align_code)
   3807       && frag->fr_address + frag->fr_fix > 0
   3808       && frag->fr_offset > 1
   3809       && now_seg != bss_section)
   3810     fix_new (frag, frag->fr_fix, 2, &abs_symbol, frag->fr_offset, 0,
   3811 	     BFD_RELOC_SH_ALIGN);
   3812 }
   3813 
   3814 /* See whether the relocation should be resolved locally.  */
   3815 
   3816 static bfd_boolean
   3817 sh_local_pcrel (fixS *fix)
   3818 {
   3819   return (! sh_relax
   3820 	  && (fix->fx_r_type == BFD_RELOC_SH_PCDISP8BY2
   3821 	      || fix->fx_r_type == BFD_RELOC_SH_PCDISP12BY2
   3822 	      || fix->fx_r_type == BFD_RELOC_SH_PCRELIMM8BY2
   3823 	      || fix->fx_r_type == BFD_RELOC_SH_PCRELIMM8BY4
   3824 	      || fix->fx_r_type == BFD_RELOC_8_PCREL
   3825 	      || fix->fx_r_type == BFD_RELOC_SH_SWITCH16
   3826 	      || fix->fx_r_type == BFD_RELOC_SH_SWITCH32));
   3827 }
   3828 
   3829 /* See whether we need to force a relocation into the output file.
   3830    This is used to force out switch and PC relative relocations when
   3831    relaxing.  */
   3832 
   3833 int
   3834 sh_force_relocation (fixS *fix)
   3835 {
   3836   /* These relocations can't make it into a DSO, so no use forcing
   3837      them for global symbols.  */
   3838   if (sh_local_pcrel (fix))
   3839     return 0;
   3840 
   3841   /* Make sure some relocations get emitted.  */
   3842   if (fix->fx_r_type == BFD_RELOC_SH_LOOP_START
   3843       || fix->fx_r_type == BFD_RELOC_SH_LOOP_END
   3844       || fix->fx_r_type == BFD_RELOC_SH_TLS_GD_32
   3845       || fix->fx_r_type == BFD_RELOC_SH_TLS_LD_32
   3846       || fix->fx_r_type == BFD_RELOC_SH_TLS_IE_32
   3847       || fix->fx_r_type == BFD_RELOC_SH_TLS_LDO_32
   3848       || fix->fx_r_type == BFD_RELOC_SH_TLS_LE_32
   3849       || generic_force_reloc (fix))
   3850     return 1;
   3851 
   3852   if (! sh_relax)
   3853     return 0;
   3854 
   3855   return (fix->fx_pcrel
   3856 	  || SWITCH_TABLE (fix)
   3857 	  || fix->fx_r_type == BFD_RELOC_SH_COUNT
   3858 	  || fix->fx_r_type == BFD_RELOC_SH_ALIGN
   3859 	  || fix->fx_r_type == BFD_RELOC_SH_CODE
   3860 	  || fix->fx_r_type == BFD_RELOC_SH_DATA
   3861 #ifdef HAVE_SH64
   3862 	  || fix->fx_r_type == BFD_RELOC_SH_SHMEDIA_CODE
   3863 #endif
   3864 	  || fix->fx_r_type == BFD_RELOC_SH_LABEL);
   3865 }
   3866 
   3867 #ifdef OBJ_ELF
   3868 bfd_boolean
   3869 sh_fix_adjustable (fixS *fixP)
   3870 {
   3871   if (fixP->fx_r_type == BFD_RELOC_32_PLT_PCREL
   3872       || fixP->fx_r_type == BFD_RELOC_32_GOT_PCREL
   3873       || fixP->fx_r_type == BFD_RELOC_SH_GOT20
   3874       || fixP->fx_r_type == BFD_RELOC_SH_GOTPC
   3875       || fixP->fx_r_type == BFD_RELOC_SH_GOTFUNCDESC
   3876       || fixP->fx_r_type == BFD_RELOC_SH_GOTFUNCDESC20
   3877       || fixP->fx_r_type == BFD_RELOC_SH_GOTOFFFUNCDESC
   3878       || fixP->fx_r_type == BFD_RELOC_SH_GOTOFFFUNCDESC20
   3879       || fixP->fx_r_type == BFD_RELOC_SH_FUNCDESC
   3880       || ((fixP->fx_r_type == BFD_RELOC_32) && dont_adjust_reloc_32)
   3881       || fixP->fx_r_type == BFD_RELOC_RVA)
   3882     return 0;
   3883 
   3884   /* We need the symbol name for the VTABLE entries */
   3885   if (fixP->fx_r_type == BFD_RELOC_VTABLE_INHERIT
   3886       || fixP->fx_r_type == BFD_RELOC_VTABLE_ENTRY)
   3887     return 0;
   3888 
   3889   return 1;
   3890 }
   3891 
   3892 void
   3893 sh_elf_final_processing (void)
   3894 {
   3895   int val;
   3896 
   3897   /* Set file-specific flags to indicate if this code needs
   3898      a processor with the sh-dsp / sh2e ISA to execute.  */
   3899 #ifdef HAVE_SH64
   3900   /* SH5 and above don't know about the valid_arch arch_sh* bits defined
   3901      in sh-opc.h, so check SH64 mode before checking valid_arch.  */
   3902   if (sh64_isa_mode != sh64_isa_unspecified)
   3903     val = EF_SH5;
   3904   else
   3905 #elif defined TARGET_SYMBIAN
   3906     if (1)
   3907       {
   3908 	extern int sh_symbian_find_elf_flags (unsigned int);
   3909 
   3910 	val = sh_symbian_find_elf_flags (valid_arch);
   3911       }
   3912     else
   3913 #endif /* HAVE_SH64 */
   3914     val = sh_find_elf_flags (valid_arch);
   3915 
   3916   elf_elfheader (stdoutput)->e_flags &= ~EF_SH_MACH_MASK;
   3917   elf_elfheader (stdoutput)->e_flags |= val;
   3918 
   3919   if (sh_fdpic)
   3920     elf_elfheader (stdoutput)->e_flags |= EF_SH_FDPIC;
   3921 }
   3922 #endif
   3923 
   3924 #ifdef TE_UCLINUX
   3925 /* Return the target format for uClinux.  */
   3926 
   3927 const char *
   3928 sh_uclinux_target_format (void)
   3929 {
   3930   if (sh_fdpic)
   3931     return (!target_big_endian ? "elf32-sh-fdpic" : "elf32-shbig-fdpic");
   3932   else
   3933     return (!target_big_endian ? "elf32-shl" : "elf32-sh");
   3934 }
   3935 #endif
   3936 
   3937 /* Apply fixup FIXP to SIZE-byte field BUF given that VAL is its
   3938    assembly-time value.  If we're generating a reloc for FIXP,
   3939    see whether the addend should be stored in-place or whether
   3940    it should be in an ELF r_addend field.  */
   3941 
   3942 static void
   3943 apply_full_field_fix (fixS *fixP, char *buf, bfd_vma val, int size)
   3944 {
   3945   reloc_howto_type *howto;
   3946 
   3947   if (fixP->fx_addsy != NULL || fixP->fx_pcrel)
   3948     {
   3949       howto = bfd_reloc_type_lookup (stdoutput, fixP->fx_r_type);
   3950       if (howto && !howto->partial_inplace)
   3951 	{
   3952 	  fixP->fx_addnumber = val;
   3953 	  return;
   3954 	}
   3955     }
   3956   md_number_to_chars (buf, val, size);
   3957 }
   3958 
   3959 /* Apply a fixup to the object file.  */
   3960 
   3961 void
   3962 md_apply_fix (fixS *fixP, valueT *valP, segT seg ATTRIBUTE_UNUSED)
   3963 {
   3964   char *buf = fixP->fx_where + fixP->fx_frag->fr_literal;
   3965   int lowbyte = target_big_endian ? 1 : 0;
   3966   int highbyte = target_big_endian ? 0 : 1;
   3967   long val = (long) *valP;
   3968   long max, min;
   3969   int shift;
   3970 
   3971   /* A difference between two symbols, the second of which is in the
   3972      current section, is transformed in a PC-relative relocation to
   3973      the other symbol.  We have to adjust the relocation type here.  */
   3974   if (fixP->fx_pcrel)
   3975     {
   3976 #ifndef HAVE_SH64
   3977       /* Safeguard; this must not occur for non-sh64 configurations.  */
   3978       gas_assert (fixP->fx_r_type != BFD_RELOC_64);
   3979 #endif
   3980 
   3981       switch (fixP->fx_r_type)
   3982 	{
   3983 	default:
   3984 	  break;
   3985 
   3986 	case BFD_RELOC_32:
   3987 	  fixP->fx_r_type = BFD_RELOC_32_PCREL;
   3988 	  break;
   3989 
   3990 	  /* Currently, we only support 32-bit PCREL relocations.
   3991 	     We'd need a new reloc type to handle 16_PCREL, and
   3992 	     8_PCREL is already taken for R_SH_SWITCH8, which
   3993 	     apparently does something completely different than what
   3994 	     we need.  FIXME.  */
   3995 	case BFD_RELOC_16:
   3996 	  bfd_set_error (bfd_error_bad_value);
   3997 	  return;
   3998 
   3999 	case BFD_RELOC_8:
   4000 	  bfd_set_error (bfd_error_bad_value);
   4001 	  return;
   4002 	}
   4003     }
   4004 
   4005   /* The function adjust_reloc_syms won't convert a reloc against a weak
   4006      symbol into a reloc against a section, but bfd_install_relocation
   4007      will screw up if the symbol is defined, so we have to adjust val here
   4008      to avoid the screw up later.
   4009 
   4010      For ordinary relocs, this does not happen for ELF, since for ELF,
   4011      bfd_install_relocation uses the "special function" field of the
   4012      howto, and does not execute the code that needs to be undone, as long
   4013      as the special function does not return bfd_reloc_continue.
   4014      It can happen for GOT- and PLT-type relocs the way they are
   4015      described in elf32-sh.c as they use bfd_elf_generic_reloc, but it
   4016      doesn't matter here since those relocs don't use VAL; see below.  */
   4017   if (OUTPUT_FLAVOR != bfd_target_elf_flavour
   4018       && fixP->fx_addsy != NULL
   4019       && S_IS_WEAK (fixP->fx_addsy))
   4020     val -= S_GET_VALUE  (fixP->fx_addsy);
   4021 
   4022   if (SWITCH_TABLE (fixP))
   4023     val -= S_GET_VALUE  (fixP->fx_subsy);
   4024 
   4025   max = min = 0;
   4026   shift = 0;
   4027   switch (fixP->fx_r_type)
   4028     {
   4029     case BFD_RELOC_SH_IMM3:
   4030       max = 0x7;
   4031       * buf = (* buf & 0xf8) | (val & 0x7);
   4032       break;
   4033     case BFD_RELOC_SH_IMM3U:
   4034       max = 0x7;
   4035       * buf = (* buf & 0x8f) | ((val & 0x7) << 4);
   4036       break;
   4037     case BFD_RELOC_SH_DISP12:
   4038       max = 0xfff;
   4039       buf[lowbyte] = val & 0xff;
   4040       buf[highbyte] |= (val >> 8) & 0x0f;
   4041       break;
   4042     case BFD_RELOC_SH_DISP12BY2:
   4043       max = 0xfff;
   4044       shift = 1;
   4045       buf[lowbyte] = (val >> 1) & 0xff;
   4046       buf[highbyte] |= (val >> 9) & 0x0f;
   4047       break;
   4048     case BFD_RELOC_SH_DISP12BY4:
   4049       max = 0xfff;
   4050       shift = 2;
   4051       buf[lowbyte] = (val >> 2) & 0xff;
   4052       buf[highbyte] |= (val >> 10) & 0x0f;
   4053       break;
   4054     case BFD_RELOC_SH_DISP12BY8:
   4055       max = 0xfff;
   4056       shift = 3;
   4057       buf[lowbyte] = (val >> 3) & 0xff;
   4058       buf[highbyte] |= (val >> 11) & 0x0f;
   4059       break;
   4060     case BFD_RELOC_SH_DISP20:
   4061       if (! target_big_endian)
   4062 	abort();
   4063       max = 0x7ffff;
   4064       min = -0x80000;
   4065       buf[1] = (buf[1] & 0x0f) | ((val >> 12) & 0xf0);
   4066       buf[2] = (val >> 8) & 0xff;
   4067       buf[3] = val & 0xff;
   4068       break;
   4069     case BFD_RELOC_SH_DISP20BY8:
   4070       if (!target_big_endian)
   4071 	abort();
   4072       max = 0x7ffff;
   4073       min = -0x80000;
   4074       shift = 8;
   4075       buf[1] = (buf[1] & 0x0f) | ((val >> 20) & 0xf0);
   4076       buf[2] = (val >> 16) & 0xff;
   4077       buf[3] = (val >> 8) & 0xff;
   4078       break;
   4079 
   4080     case BFD_RELOC_SH_IMM4:
   4081       max = 0xf;
   4082       *buf = (*buf & 0xf0) | (val & 0xf);
   4083       break;
   4084 
   4085     case BFD_RELOC_SH_IMM4BY2:
   4086       max = 0xf;
   4087       shift = 1;
   4088       *buf = (*buf & 0xf0) | ((val >> 1) & 0xf);
   4089       break;
   4090 
   4091     case BFD_RELOC_SH_IMM4BY4:
   4092       max = 0xf;
   4093       shift = 2;
   4094       *buf = (*buf & 0xf0) | ((val >> 2) & 0xf);
   4095       break;
   4096 
   4097     case BFD_RELOC_SH_IMM8BY2:
   4098       max = 0xff;
   4099       shift = 1;
   4100       *buf = val >> 1;
   4101       break;
   4102 
   4103     case BFD_RELOC_SH_IMM8BY4:
   4104       max = 0xff;
   4105       shift = 2;
   4106       *buf = val >> 2;
   4107       break;
   4108 
   4109     case BFD_RELOC_8:
   4110     case BFD_RELOC_SH_IMM8:
   4111       /* Sometimes the 8 bit value is sign extended (e.g., add) and
   4112          sometimes it is not (e.g., and).  We permit any 8 bit value.
   4113          Note that adding further restrictions may invalidate
   4114          reasonable looking assembly code, such as ``and -0x1,r0''.  */
   4115       max = 0xff;
   4116       min = -0xff;
   4117       *buf++ = val;
   4118       break;
   4119 
   4120     case BFD_RELOC_SH_PCRELIMM8BY4:
   4121       /* If we are dealing with a known destination ... */
   4122       if ((fixP->fx_addsy == NULL || S_IS_DEFINED (fixP->fx_addsy))
   4123 	  && (fixP->fx_subsy == NULL || S_IS_DEFINED (fixP->fx_addsy)))
   4124       {
   4125 	/* Don't silently move the destination due to misalignment.
   4126 	   The absolute address is the fragment base plus the offset into
   4127 	   the fragment plus the pc relative offset to the label.  */
   4128 	if ((fixP->fx_frag->fr_address + fixP->fx_where + val) & 3)
   4129 	  as_bad_where (fixP->fx_file, fixP->fx_line,
   4130 			_("offset to unaligned destination"));
   4131 
   4132 	/* The displacement cannot be zero or backward even if aligned.
   4133 	   Allow -2 because val has already been adjusted somewhere.  */
   4134 	if (val < -2)
   4135 	  as_bad_where (fixP->fx_file, fixP->fx_line, _("negative offset"));
   4136       }
   4137 
   4138       /* The lower two bits of the PC are cleared before the
   4139          displacement is added in.  We can assume that the destination
   4140          is on a 4 byte boundary.  If this instruction is also on a 4
   4141          byte boundary, then we want
   4142 	   (target - here) / 4
   4143 	 and target - here is a multiple of 4.
   4144 	 Otherwise, we are on a 2 byte boundary, and we want
   4145 	   (target - (here - 2)) / 4
   4146 	 and target - here is not a multiple of 4.  Computing
   4147 	   (target - (here - 2)) / 4 == (target - here + 2) / 4
   4148 	 works for both cases, since in the first case the addition of
   4149 	 2 will be removed by the division.  target - here is in the
   4150 	 variable val.  */
   4151       val = (val + 2) / 4;
   4152       if (val & ~0xff)
   4153 	as_bad_where (fixP->fx_file, fixP->fx_line, _("pcrel too far"));
   4154       buf[lowbyte] = val;
   4155       break;
   4156 
   4157     case BFD_RELOC_SH_PCRELIMM8BY2:
   4158       val /= 2;
   4159       if (val & ~0xff)
   4160 	as_bad_where (fixP->fx_file, fixP->fx_line, _("pcrel too far"));
   4161       buf[lowbyte] = val;
   4162       break;
   4163 
   4164     case BFD_RELOC_SH_PCDISP8BY2:
   4165       val /= 2;
   4166       if (val < -0x80 || val > 0x7f)
   4167 	as_bad_where (fixP->fx_file, fixP->fx_line, _("pcrel too far"));
   4168       buf[lowbyte] = val;
   4169       break;
   4170 
   4171     case BFD_RELOC_SH_PCDISP12BY2:
   4172       val /= 2;
   4173       if (val < -0x800 || val > 0x7ff)
   4174 	as_bad_where (fixP->fx_file, fixP->fx_line, _("pcrel too far"));
   4175       buf[lowbyte] = val & 0xff;
   4176       buf[highbyte] |= (val >> 8) & 0xf;
   4177       break;
   4178 
   4179 #ifndef HAVE_SH64
   4180     case BFD_RELOC_64:
   4181       apply_full_field_fix (fixP, buf, *valP, 8);
   4182       break;
   4183 #endif
   4184 
   4185     case BFD_RELOC_32:
   4186     case BFD_RELOC_32_PCREL:
   4187       apply_full_field_fix (fixP, buf, val, 4);
   4188       break;
   4189 
   4190     case BFD_RELOC_16:
   4191       apply_full_field_fix (fixP, buf, val, 2);
   4192       break;
   4193 
   4194     case BFD_RELOC_SH_USES:
   4195       /* Pass the value into sh_reloc().  */
   4196       fixP->fx_addnumber = val;
   4197       break;
   4198 
   4199     case BFD_RELOC_SH_COUNT:
   4200     case BFD_RELOC_SH_ALIGN:
   4201     case BFD_RELOC_SH_CODE:
   4202     case BFD_RELOC_SH_DATA:
   4203     case BFD_RELOC_SH_LABEL:
   4204       /* Nothing to do here.  */
   4205       break;
   4206 
   4207     case BFD_RELOC_SH_LOOP_START:
   4208     case BFD_RELOC_SH_LOOP_END:
   4209 
   4210     case BFD_RELOC_VTABLE_INHERIT:
   4211     case BFD_RELOC_VTABLE_ENTRY:
   4212       fixP->fx_done = 0;
   4213       return;
   4214 
   4215 #ifdef OBJ_ELF
   4216     case BFD_RELOC_32_PLT_PCREL:
   4217       /* Make the jump instruction point to the address of the operand.  At
   4218 	 runtime we merely add the offset to the actual PLT entry.  */
   4219       * valP = 0xfffffffc;
   4220       val = fixP->fx_offset;
   4221       if (fixP->fx_subsy)
   4222 	val -= S_GET_VALUE (fixP->fx_subsy);
   4223       apply_full_field_fix (fixP, buf, val, 4);
   4224       break;
   4225 
   4226     case BFD_RELOC_SH_GOTPC:
   4227       /* This is tough to explain.  We end up with this one if we have
   4228          operands that look like "_GLOBAL_OFFSET_TABLE_+[.-.L284]".
   4229          The goal here is to obtain the absolute address of the GOT,
   4230          and it is strongly preferable from a performance point of
   4231          view to avoid using a runtime relocation for this.  There are
   4232          cases where you have something like:
   4233 
   4234          .long	_GLOBAL_OFFSET_TABLE_+[.-.L66]
   4235 
   4236          and here no correction would be required.  Internally in the
   4237          assembler we treat operands of this form as not being pcrel
   4238          since the '.' is explicitly mentioned, and I wonder whether
   4239          it would simplify matters to do it this way.  Who knows.  In
   4240          earlier versions of the PIC patches, the pcrel_adjust field
   4241          was used to store the correction, but since the expression is
   4242          not pcrel, I felt it would be confusing to do it this way.  */
   4243       * valP -= 1;
   4244       apply_full_field_fix (fixP, buf, val, 4);
   4245       break;
   4246 
   4247     case BFD_RELOC_SH_TLS_GD_32:
   4248     case BFD_RELOC_SH_TLS_LD_32:
   4249     case BFD_RELOC_SH_TLS_IE_32:
   4250       S_SET_THREAD_LOCAL (fixP->fx_addsy);
   4251       /* Fallthrough */
   4252     case BFD_RELOC_32_GOT_PCREL:
   4253     case BFD_RELOC_SH_GOT20:
   4254     case BFD_RELOC_SH_GOTPLT32:
   4255     case BFD_RELOC_SH_GOTFUNCDESC:
   4256     case BFD_RELOC_SH_GOTFUNCDESC20:
   4257     case BFD_RELOC_SH_GOTOFFFUNCDESC:
   4258     case BFD_RELOC_SH_GOTOFFFUNCDESC20:
   4259     case BFD_RELOC_SH_FUNCDESC:
   4260       * valP = 0; /* Fully resolved at runtime.  No addend.  */
   4261       apply_full_field_fix (fixP, buf, 0, 4);
   4262       break;
   4263 
   4264     case BFD_RELOC_SH_TLS_LDO_32:
   4265     case BFD_RELOC_SH_TLS_LE_32:
   4266       S_SET_THREAD_LOCAL (fixP->fx_addsy);
   4267       /* Fallthrough */
   4268     case BFD_RELOC_32_GOTOFF:
   4269     case BFD_RELOC_SH_GOTOFF20:
   4270       apply_full_field_fix (fixP, buf, val, 4);
   4271       break;
   4272 #endif
   4273 
   4274     default:
   4275 #ifdef HAVE_SH64
   4276       shmedia_md_apply_fix (fixP, valP);
   4277       return;
   4278 #else
   4279       abort ();
   4280 #endif
   4281     }
   4282 
   4283   if (shift != 0)
   4284     {
   4285       if ((val & ((1 << shift) - 1)) != 0)
   4286 	as_bad_where (fixP->fx_file, fixP->fx_line, _("misaligned offset"));
   4287       if (val >= 0)
   4288 	val >>= shift;
   4289       else
   4290 	val = ((val >> shift)
   4291 	       | ((long) -1 & ~ ((long) -1 >> shift)));
   4292     }
   4293 
   4294   /* Extend sign for 64-bit host.  */
   4295   val = ((val & 0xffffffff) ^ 0x80000000) - 0x80000000;
   4296   if (max != 0 && (val < min || val > max))
   4297     as_bad_where (fixP->fx_file, fixP->fx_line, _("offset out of range"));
   4298   else if (max != 0)
   4299     /* Stop the generic code from trying to overflow check the value as well.
   4300        It may not have the correct value anyway, as we do not store val back
   4301        into *valP.  */
   4302     fixP->fx_no_overflow = 1;
   4303 
   4304   if (fixP->fx_addsy == NULL && fixP->fx_pcrel == 0)
   4305     fixP->fx_done = 1;
   4306 }
   4307 
   4308 /* Called just before address relaxation.  Return the length
   4309    by which a fragment must grow to reach it's destination.  */
   4310 
   4311 int
   4312 md_estimate_size_before_relax (fragS *fragP, segT segment_type)
   4313 {
   4314   int what;
   4315 
   4316   switch (fragP->fr_subtype)
   4317     {
   4318     default:
   4319 #ifdef HAVE_SH64
   4320       return shmedia_md_estimate_size_before_relax (fragP, segment_type);
   4321 #else
   4322       abort ();
   4323 #endif
   4324 
   4325 
   4326     case C (UNCOND_JUMP, UNDEF_DISP):
   4327       /* Used to be a branch to somewhere which was unknown.  */
   4328       if (!fragP->fr_symbol)
   4329 	{
   4330 	  fragP->fr_subtype = C (UNCOND_JUMP, UNCOND12);
   4331 	}
   4332       else if (S_GET_SEGMENT (fragP->fr_symbol) == segment_type)
   4333 	{
   4334 	  fragP->fr_subtype = C (UNCOND_JUMP, UNCOND12);
   4335 	}
   4336       else
   4337 	{
   4338 	  fragP->fr_subtype = C (UNCOND_JUMP, UNDEF_WORD_DISP);
   4339 	}
   4340       break;
   4341 
   4342     case C (COND_JUMP, UNDEF_DISP):
   4343     case C (COND_JUMP_DELAY, UNDEF_DISP):
   4344       what = GET_WHAT (fragP->fr_subtype);
   4345       /* Used to be a branch to somewhere which was unknown.  */
   4346       if (fragP->fr_symbol
   4347 	  && S_GET_SEGMENT (fragP->fr_symbol) == segment_type)
   4348 	{
   4349 	  /* Got a symbol and it's defined in this segment, become byte
   4350 	     sized - maybe it will fix up.  */
   4351 	  fragP->fr_subtype = C (what, COND8);
   4352 	}
   4353       else if (fragP->fr_symbol)
   4354 	{
   4355 	  /* It's got a segment, but it's not ours, so it will always be long.  */
   4356 	  fragP->fr_subtype = C (what, UNDEF_WORD_DISP);
   4357 	}
   4358       else
   4359 	{
   4360 	  /* We know the abs value.  */
   4361 	  fragP->fr_subtype = C (what, COND8);
   4362 	}
   4363       break;
   4364 
   4365     case C (UNCOND_JUMP, UNCOND12):
   4366     case C (UNCOND_JUMP, UNCOND32):
   4367     case C (UNCOND_JUMP, UNDEF_WORD_DISP):
   4368     case C (COND_JUMP, COND8):
   4369     case C (COND_JUMP, COND12):
   4370     case C (COND_JUMP, COND32):
   4371     case C (COND_JUMP, UNDEF_WORD_DISP):
   4372     case C (COND_JUMP_DELAY, COND8):
   4373     case C (COND_JUMP_DELAY, COND12):
   4374     case C (COND_JUMP_DELAY, COND32):
   4375     case C (COND_JUMP_DELAY, UNDEF_WORD_DISP):
   4376       /* When relaxing a section for the second time, we don't need to
   4377 	 do anything besides return the current size.  */
   4378       break;
   4379     }
   4380 
   4381   fragP->fr_var = md_relax_table[fragP->fr_subtype].rlx_length;
   4382   return fragP->fr_var;
   4383 }
   4384 
   4385 /* Put number into target byte order.  */
   4386 
   4387 void
   4388 md_number_to_chars (char *ptr, valueT use, int nbytes)
   4389 {
   4390 #ifdef HAVE_SH64
   4391   /* We might need to set the contents type to data.  */
   4392   sh64_flag_output ();
   4393 #endif
   4394 
   4395   if (! target_big_endian)
   4396     number_to_chars_littleendian (ptr, use, nbytes);
   4397   else
   4398     number_to_chars_bigendian (ptr, use, nbytes);
   4399 }
   4400 
   4401 /* This version is used in obj-coff.c eg. for the sh-hms target.  */
   4402 
   4403 long
   4404 md_pcrel_from (fixS *fixP)
   4405 {
   4406   return fixP->fx_size + fixP->fx_where + fixP->fx_frag->fr_address + 2;
   4407 }
   4408 
   4409 long
   4410 md_pcrel_from_section (fixS *fixP, segT sec)
   4411 {
   4412   if (! sh_local_pcrel (fixP)
   4413       && fixP->fx_addsy != (symbolS *) NULL
   4414       && (generic_force_reloc (fixP)
   4415 	  || S_GET_SEGMENT (fixP->fx_addsy) != sec))
   4416     {
   4417       /* The symbol is undefined (or is defined but not in this section,
   4418 	 or we're not sure about it being the final definition).  Let the
   4419 	 linker figure it out.  We need to adjust the subtraction of a
   4420 	 symbol to the position of the relocated data, though.  */
   4421       return fixP->fx_subsy ? fixP->fx_where + fixP->fx_frag->fr_address : 0;
   4422     }
   4423 
   4424   return md_pcrel_from (fixP);
   4425 }
   4426 
   4427 /* Create a reloc.  */
   4428 
   4429 arelent *
   4430 tc_gen_reloc (asection *section ATTRIBUTE_UNUSED, fixS *fixp)
   4431 {
   4432   arelent *rel;
   4433   bfd_reloc_code_real_type r_type;
   4434 
   4435   rel = XNEW (arelent);
   4436   rel->sym_ptr_ptr = XNEW (asymbol *);
   4437   *rel->sym_ptr_ptr = symbol_get_bfdsym (fixp->fx_addsy);
   4438   rel->address = fixp->fx_frag->fr_address + fixp->fx_where;
   4439 
   4440   r_type = fixp->fx_r_type;
   4441 
   4442   if (SWITCH_TABLE (fixp))
   4443     {
   4444       *rel->sym_ptr_ptr = symbol_get_bfdsym (fixp->fx_subsy);
   4445       rel->addend = rel->address - S_GET_VALUE(fixp->fx_subsy);
   4446       if (r_type == BFD_RELOC_16)
   4447 	r_type = BFD_RELOC_SH_SWITCH16;
   4448       else if (r_type == BFD_RELOC_8)
   4449 	r_type = BFD_RELOC_8_PCREL;
   4450       else if (r_type == BFD_RELOC_32)
   4451 	r_type = BFD_RELOC_SH_SWITCH32;
   4452       else
   4453 	abort ();
   4454     }
   4455   else if (r_type == BFD_RELOC_SH_USES)
   4456     rel->addend = fixp->fx_addnumber;
   4457   else if (r_type == BFD_RELOC_SH_COUNT)
   4458     rel->addend = fixp->fx_offset;
   4459   else if (r_type == BFD_RELOC_SH_ALIGN)
   4460     rel->addend = fixp->fx_offset;
   4461   else if (r_type == BFD_RELOC_VTABLE_INHERIT
   4462            || r_type == BFD_RELOC_VTABLE_ENTRY)
   4463     rel->addend = fixp->fx_offset;
   4464   else if (r_type == BFD_RELOC_SH_LOOP_START
   4465            || r_type == BFD_RELOC_SH_LOOP_END)
   4466     rel->addend = fixp->fx_offset;
   4467   else if (r_type == BFD_RELOC_SH_LABEL && fixp->fx_pcrel)
   4468     {
   4469       rel->addend = 0;
   4470       rel->address = rel->addend = fixp->fx_offset;
   4471     }
   4472 #ifdef HAVE_SH64
   4473   else if (shmedia_init_reloc (rel, fixp))
   4474     ;
   4475 #endif
   4476   else
   4477     rel->addend = fixp->fx_addnumber;
   4478 
   4479   rel->howto = bfd_reloc_type_lookup (stdoutput, r_type);
   4480 
   4481   if (rel->howto == NULL)
   4482     {
   4483       as_bad_where (fixp->fx_file, fixp->fx_line,
   4484 		    _("Cannot represent relocation type %s"),
   4485 		    bfd_get_reloc_code_name (r_type));
   4486       /* Set howto to a garbage value so that we can keep going.  */
   4487       rel->howto = bfd_reloc_type_lookup (stdoutput, BFD_RELOC_32);
   4488       gas_assert (rel->howto != NULL);
   4489     }
   4490 #ifdef OBJ_ELF
   4491   else if (rel->howto->type == R_SH_IND12W)
   4492     rel->addend += fixp->fx_offset - 4;
   4493 #endif
   4494 
   4495   return rel;
   4496 }
   4497 
   4498 #ifdef OBJ_ELF
   4499 inline static char *
   4500 sh_end_of_match (char *cont, const char *what)
   4501 {
   4502   int len = strlen (what);
   4503 
   4504   if (strncasecmp (cont, what, strlen (what)) == 0
   4505       && ! is_part_of_name (cont[len]))
   4506     return cont + len;
   4507 
   4508   return NULL;
   4509 }
   4510 
   4511 int
   4512 sh_parse_name (char const *name,
   4513 	       expressionS *exprP,
   4514 	       enum expr_mode mode,
   4515 	       char *nextcharP)
   4516 {
   4517   char *next = input_line_pointer;
   4518   char *next_end;
   4519   int reloc_type;
   4520   segT segment;
   4521 
   4522   exprP->X_op_symbol = NULL;
   4523 
   4524   if (strcmp (name, GLOBAL_OFFSET_TABLE_NAME) == 0)
   4525     {
   4526       if (! GOT_symbol)
   4527 	GOT_symbol = symbol_find_or_make (name);
   4528 
   4529       exprP->X_add_symbol = GOT_symbol;
   4530     no_suffix:
   4531       /* If we have an absolute symbol or a reg, then we know its
   4532 	 value now.  */
   4533       segment = S_GET_SEGMENT (exprP->X_add_symbol);
   4534       if (mode != expr_defer && segment == absolute_section)
   4535 	{
   4536 	  exprP->X_op = O_constant;
   4537 	  exprP->X_add_number = S_GET_VALUE (exprP->X_add_symbol);
   4538 	  exprP->X_add_symbol = NULL;
   4539 	}
   4540       else if (mode != expr_defer && segment == reg_section)
   4541 	{
   4542 	  exprP->X_op = O_register;
   4543 	  exprP->X_add_number = S_GET_VALUE (exprP->X_add_symbol);
   4544 	  exprP->X_add_symbol = NULL;
   4545 	}
   4546       else
   4547 	{
   4548 	  exprP->X_op = O_symbol;
   4549 	  exprP->X_add_number = 0;
   4550 	}
   4551 
   4552       return 1;
   4553     }
   4554 
   4555   exprP->X_add_symbol = symbol_find_or_make (name);
   4556 
   4557   if (*nextcharP != '@')
   4558     goto no_suffix;
   4559   else if ((next_end = sh_end_of_match (next + 1, "GOTOFF")))
   4560     reloc_type = BFD_RELOC_32_GOTOFF;
   4561   else if ((next_end = sh_end_of_match (next + 1, "GOTPLT")))
   4562     reloc_type = BFD_RELOC_SH_GOTPLT32;
   4563   else if ((next_end = sh_end_of_match (next + 1, "GOT")))
   4564     reloc_type = BFD_RELOC_32_GOT_PCREL;
   4565   else if ((next_end = sh_end_of_match (next + 1, "PLT")))
   4566     reloc_type = BFD_RELOC_32_PLT_PCREL;
   4567   else if ((next_end = sh_end_of_match (next + 1, "TLSGD")))
   4568     reloc_type = BFD_RELOC_SH_TLS_GD_32;
   4569   else if ((next_end = sh_end_of_match (next + 1, "TLSLDM")))
   4570     reloc_type = BFD_RELOC_SH_TLS_LD_32;
   4571   else if ((next_end = sh_end_of_match (next + 1, "GOTTPOFF")))
   4572     reloc_type = BFD_RELOC_SH_TLS_IE_32;
   4573   else if ((next_end = sh_end_of_match (next + 1, "TPOFF")))
   4574     reloc_type = BFD_RELOC_SH_TLS_LE_32;
   4575   else if ((next_end = sh_end_of_match (next + 1, "DTPOFF")))
   4576     reloc_type = BFD_RELOC_SH_TLS_LDO_32;
   4577   else if ((next_end = sh_end_of_match (next + 1, "PCREL")))
   4578     reloc_type = BFD_RELOC_32_PCREL;
   4579   else if ((next_end = sh_end_of_match (next + 1, "GOTFUNCDESC")))
   4580     reloc_type = BFD_RELOC_SH_GOTFUNCDESC;
   4581   else if ((next_end = sh_end_of_match (next + 1, "GOTOFFFUNCDESC")))
   4582     reloc_type = BFD_RELOC_SH_GOTOFFFUNCDESC;
   4583   else if ((next_end = sh_end_of_match (next + 1, "FUNCDESC")))
   4584     reloc_type = BFD_RELOC_SH_FUNCDESC;
   4585   else
   4586     goto no_suffix;
   4587 
   4588   *input_line_pointer = *nextcharP;
   4589   input_line_pointer = next_end;
   4590   *nextcharP = *input_line_pointer;
   4591   *input_line_pointer = '\0';
   4592 
   4593   exprP->X_op = O_PIC_reloc;
   4594   exprP->X_add_number = 0;
   4595   exprP->X_md = reloc_type;
   4596 
   4597   return 1;
   4598 }
   4599 
   4600 void
   4601 sh_cfi_frame_initial_instructions (void)
   4602 {
   4603   cfi_add_CFA_def_cfa (15, 0);
   4604 }
   4605 
   4606 int
   4607 sh_regname_to_dw2regnum (char *regname)
   4608 {
   4609   unsigned int regnum = -1;
   4610   unsigned int i;
   4611   const char *p;
   4612   char *q;
   4613   static struct { const char *name; int dw2regnum; } regnames[] =
   4614     {
   4615       { "pr", 17 }, { "t", 18 }, { "gbr", 19 }, { "mach", 20 },
   4616       { "macl", 21 }, { "fpul", 23 }
   4617     };
   4618 
   4619   for (i = 0; i < ARRAY_SIZE (regnames); ++i)
   4620     if (strcmp (regnames[i].name, regname) == 0)
   4621       return regnames[i].dw2regnum;
   4622 
   4623   if (regname[0] == 'r')
   4624     {
   4625       p = regname + 1;
   4626       regnum = strtoul (p, &q, 10);
   4627       if (p == q || *q || regnum >= 16)
   4628 	return -1;
   4629     }
   4630   else if (regname[0] == 'f' && regname[1] == 'r')
   4631     {
   4632       p = regname + 2;
   4633       regnum = strtoul (p, &q, 10);
   4634       if (p == q || *q || regnum >= 16)
   4635 	return -1;
   4636       regnum += 25;
   4637     }
   4638   else if (regname[0] == 'x' && regname[1] == 'd')
   4639     {
   4640       p = regname + 2;
   4641       regnum = strtoul (p, &q, 10);
   4642       if (p == q || *q || regnum >= 8)
   4643 	return -1;
   4644       regnum += 87;
   4645     }
   4646   return regnum;
   4647 }
   4648 #endif /* OBJ_ELF */
   4649