| 1 | /* BFD back-end for AMD 29000 COFF binaries. |
| 2 | Copyright 1990, 1991, 1992, 1993, 1994 Free Software Foundation, Inc. |
| 3 | Contributed by David Wood at New York University 7/8/91. |
| 4 | |
| 5 | This file is part of BFD, the Binary File Descriptor library. |
| 6 | |
| 7 | This program is free software; you can redistribute it and/or modify |
| 8 | it under the terms of the GNU General Public License as published by |
| 9 | the Free Software Foundation; either version 2 of the License, or |
| 10 | (at your option) any later version. |
| 11 | |
| 12 | This program is distributed in the hope that it will be useful, |
| 13 | but WITHOUT ANY WARRANTY; without even the implied warranty of |
| 14 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| 15 | GNU General Public License for more details. |
| 16 | |
| 17 | You should have received a copy of the GNU General Public License |
| 18 | along with this program; if not, write to the Free Software |
| 19 | Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. */ |
| 20 | |
| 21 | #define A29K 1 |
| 22 | |
| 23 | #include "bfd.h" |
| 24 | #include "sysdep.h" |
| 25 | #include "libbfd.h" |
| 26 | #include "obstack.h" |
| 27 | #include "coff/a29k.h" |
| 28 | #include "coff/internal.h" |
| 29 | #include "libcoff.h" |
| 30 | |
| 31 | static long get_symbol_value PARAMS ((asymbol *)); |
| 32 | static bfd_reloc_status_type a29k_reloc |
| 33 | PARAMS ((bfd *, arelent *, asymbol *, PTR, asection *, bfd *, char **)); |
| 34 | |
| 35 | #define INSERT_HWORD(WORD,HWORD) \ |
| 36 | (((WORD) & 0xff00ff00) | (((HWORD) & 0xff00) << 8) | ((HWORD)& 0xff)) |
| 37 | #define EXTRACT_HWORD(WORD) \ |
| 38 | (((WORD) & 0x00ff0000) >> 8) | ((WORD)& 0xff) |
| 39 | #define SIGN_EXTEND_HWORD(HWORD) \ |
| 40 | ((HWORD) & 0x8000 ? (HWORD)|0xffff0000 : (HWORD)) |
| 41 | |
| 42 | /* Provided the symbol, returns the value reffed */ |
| 43 | static long |
| 44 | get_symbol_value (symbol) |
| 45 | asymbol *symbol; |
| 46 | { |
| 47 | long relocation = 0; |
| 48 | |
| 49 | if (bfd_is_com_section (symbol->section)) |
| 50 | { |
| 51 | relocation = 0; |
| 52 | } |
| 53 | else |
| 54 | { |
| 55 | relocation = symbol->value + |
| 56 | symbol->section->output_section->vma + |
| 57 | symbol->section->output_offset; |
| 58 | } |
| 59 | |
| 60 | return(relocation); |
| 61 | } |
| 62 | |
| 63 | /* this function is in charge of performing all the 29k relocations */ |
| 64 | |
| 65 | static bfd_reloc_status_type |
| 66 | a29k_reloc (abfd, reloc_entry, symbol_in, data, input_section, output_bfd, |
| 67 | error_message) |
| 68 | bfd *abfd; |
| 69 | arelent *reloc_entry; |
| 70 | asymbol *symbol_in; |
| 71 | PTR data; |
| 72 | asection *input_section; |
| 73 | bfd *output_bfd; |
| 74 | char **error_message; |
| 75 | { |
| 76 | /* the consth relocation comes in two parts, we have to remember |
| 77 | the state between calls, in these variables */ |
| 78 | static boolean part1_consth_active = false; |
| 79 | static unsigned long part1_consth_value; |
| 80 | |
| 81 | unsigned long insn; |
| 82 | unsigned long sym_value; |
| 83 | unsigned long unsigned_value; |
| 84 | unsigned short r_type; |
| 85 | long signed_value; |
| 86 | |
| 87 | unsigned long addr = reloc_entry->address ; /*+ input_section->vma*/ |
| 88 | bfd_byte *hit_data =addr + (bfd_byte *)(data); |
| 89 | |
| 90 | r_type = reloc_entry->howto->type; |
| 91 | |
| 92 | if (output_bfd) { |
| 93 | /* Partial linking - do nothing */ |
| 94 | reloc_entry->address += input_section->output_offset; |
| 95 | return bfd_reloc_ok; |
| 96 | |
| 97 | } |
| 98 | |
| 99 | if (symbol_in && (symbol_in->section == &bfd_und_section)) |
| 100 | { |
| 101 | /* Keep the state machine happy in case we're called again */ |
| 102 | if (r_type == R_IHIHALF) |
| 103 | { |
| 104 | part1_consth_active = true; |
| 105 | part1_consth_value = 0; |
| 106 | } |
| 107 | return(bfd_reloc_undefined); |
| 108 | } |
| 109 | |
| 110 | if ((part1_consth_active) && (r_type != R_IHCONST)) |
| 111 | { |
| 112 | part1_consth_active = false; |
| 113 | *error_message = (char *) "Missing IHCONST"; |
| 114 | return(bfd_reloc_dangerous); |
| 115 | } |
| 116 | |
| 117 | |
| 118 | sym_value = get_symbol_value(symbol_in); |
| 119 | |
| 120 | switch (r_type) |
| 121 | { |
| 122 | case R_IREL: |
| 123 | insn = bfd_get_32(abfd, hit_data); |
| 124 | /* Take the value in the field and sign extend it */ |
| 125 | signed_value = EXTRACT_HWORD(insn); |
| 126 | signed_value = SIGN_EXTEND_HWORD(signed_value); |
| 127 | signed_value <<= 2; |
| 128 | signed_value += sym_value + reloc_entry->addend; |
| 129 | if (((signed_value + reloc_entry->address) & ~0x3ffff) == 0) |
| 130 | { /* Absolute jmp/call */ |
| 131 | insn |= (1<<24); /* Make it absolute */ |
| 132 | signed_value += reloc_entry->address; |
| 133 | /* FIXME: Should we change r_type to R_IABS */ |
| 134 | } |
| 135 | else |
| 136 | { |
| 137 | /* Relative jmp/call, so subtract from the value the |
| 138 | address of the place we're coming from */ |
| 139 | signed_value -= (input_section->output_section->vma |
| 140 | + input_section->output_offset); |
| 141 | if (signed_value>0x1ffff || signed_value<-0x20000) |
| 142 | return(bfd_reloc_overflow); |
| 143 | } |
| 144 | signed_value >>= 2; |
| 145 | insn = INSERT_HWORD(insn, signed_value); |
| 146 | bfd_put_32(abfd, insn ,hit_data); |
| 147 | break; |
| 148 | case R_ILOHALF: |
| 149 | insn = bfd_get_32(abfd, hit_data); |
| 150 | unsigned_value = EXTRACT_HWORD(insn); |
| 151 | unsigned_value += sym_value + reloc_entry->addend; |
| 152 | insn = INSERT_HWORD(insn, unsigned_value); |
| 153 | bfd_put_32(abfd, insn, hit_data); |
| 154 | break; |
| 155 | case R_IHIHALF: |
| 156 | insn = bfd_get_32(abfd, hit_data); |
| 157 | /* consth, part 1 |
| 158 | Just get the symbol value that is referenced */ |
| 159 | part1_consth_active = true; |
| 160 | part1_consth_value = sym_value + reloc_entry->addend; |
| 161 | /* Don't modify insn until R_IHCONST */ |
| 162 | break; |
| 163 | case R_IHCONST: |
| 164 | insn = bfd_get_32(abfd, hit_data); |
| 165 | /* consth, part 2 |
| 166 | Now relocate the reference */ |
| 167 | if (part1_consth_active == false) { |
| 168 | *error_message = (char *) "Missing IHIHALF"; |
| 169 | return(bfd_reloc_dangerous); |
| 170 | } |
| 171 | /* sym_ptr_ptr = r_symndx, in coff_slurp_reloc_table() */ |
| 172 | unsigned_value = 0; /*EXTRACT_HWORD(insn) << 16;*/ |
| 173 | unsigned_value += reloc_entry->addend; /* r_symndx */ |
| 174 | unsigned_value += part1_consth_value; |
| 175 | unsigned_value = unsigned_value >> 16; |
| 176 | insn = INSERT_HWORD(insn, unsigned_value); |
| 177 | part1_consth_active = false; |
| 178 | bfd_put_32(abfd, insn, hit_data); |
| 179 | break; |
| 180 | case R_BYTE: |
| 181 | insn = bfd_get_8(abfd, hit_data); |
| 182 | unsigned_value = insn + sym_value + reloc_entry->addend; |
| 183 | if (unsigned_value & 0xffffff00) { |
| 184 | fprintf(stderr,"Relocation problem : "); |
| 185 | fprintf(stderr,"byte value too large in module %s\n", |
| 186 | abfd->filename); |
| 187 | return(bfd_reloc_overflow); |
| 188 | } |
| 189 | bfd_put_8(abfd, unsigned_value, hit_data); |
| 190 | break; |
| 191 | case R_HWORD: |
| 192 | insn = bfd_get_16(abfd, hit_data); |
| 193 | unsigned_value = insn + sym_value + reloc_entry->addend; |
| 194 | if (unsigned_value & 0xffff0000) { |
| 195 | fprintf(stderr,"Relocation problem : "); |
| 196 | fprintf(stderr,"hword value too large in module %s\n", |
| 197 | abfd->filename); |
| 198 | return(bfd_reloc_overflow); |
| 199 | } |
| 200 | |
| 201 | bfd_put_16(abfd, insn, hit_data); |
| 202 | break; |
| 203 | case R_WORD: |
| 204 | insn = bfd_get_32(abfd, hit_data); |
| 205 | insn += sym_value + reloc_entry->addend; |
| 206 | bfd_put_32(abfd, insn, hit_data); |
| 207 | break; |
| 208 | default: |
| 209 | *error_message = "Unrecognized reloc"; |
| 210 | return (bfd_reloc_dangerous); |
| 211 | } |
| 212 | |
| 213 | |
| 214 | return(bfd_reloc_ok); |
| 215 | } |
| 216 | |
| 217 | /* type rightshift |
| 218 | size |
| 219 | bitsize |
| 220 | pc-relative |
| 221 | bitpos |
| 222 | absolute |
| 223 | complain_on_overflow |
| 224 | special_function |
| 225 | relocation name |
| 226 | partial_inplace |
| 227 | src_mask |
| 228 | */ |
| 229 | |
| 230 | /*FIXME: I'm not real sure about this table */ |
| 231 | static reloc_howto_type howto_table[] = |
| 232 | { |
| 233 | {R_ABS, 0, 3, 32, false, 0, complain_overflow_bitfield,a29k_reloc,"ABS", true, 0xffffffff,0xffffffff, false}, |
| 234 | {1}, {2}, {3}, {4}, {5}, {6}, {7}, {8}, {9}, {10}, |
| 235 | {11}, {12}, {13}, {14}, {15}, {16}, {17}, {18}, {19}, {20}, |
| 236 | {21}, {22}, {23}, |
| 237 | {R_IREL, 0, 3, 32, true, 0, complain_overflow_signed,a29k_reloc,"IREL", true, 0xffffffff,0xffffffff, false}, |
| 238 | {R_IABS, 0, 3, 32, false, 0, complain_overflow_bitfield, a29k_reloc,"IABS", true, 0xffffffff,0xffffffff, false}, |
| 239 | {R_ILOHALF, 0, 3, 16, true, 0, complain_overflow_signed, a29k_reloc,"ILOHALF", true, 0x0000ffff,0x0000ffff, false}, |
| 240 | {R_IHIHALF, 0, 3, 16, true, 16, complain_overflow_signed, a29k_reloc,"IHIHALF", true, 0xffff0000,0xffff0000, false}, |
| 241 | {R_IHCONST, 0, 3, 16, true, 0, complain_overflow_signed, a29k_reloc,"IHCONST", true, 0xffff0000,0xffff0000, false}, |
| 242 | {R_BYTE, 0, 0, 8, false, 0, complain_overflow_bitfield, a29k_reloc,"BYTE", true, 0x000000ff,0x000000ff, false}, |
| 243 | {R_HWORD, 0, 1, 16, false, 0, complain_overflow_bitfield, a29k_reloc,"HWORD", true, 0x0000ffff,0x0000ffff, false}, |
| 244 | {R_WORD, 0, 2, 32, false, 0, complain_overflow_bitfield, a29k_reloc,"WORD", true, 0xffffffff,0xffffffff, false}, |
| 245 | }; |
| 246 | |
| 247 | #define BADMAG(x) A29KBADMAG(x) |
| 248 | |
| 249 | #define RELOC_PROCESSING(relent, reloc, symbols, abfd, section) \ |
| 250 | reloc_processing(relent, reloc, symbols, abfd, section) |
| 251 | |
| 252 | static void |
| 253 | reloc_processing (relent,reloc, symbols, abfd, section) |
| 254 | arelent *relent; |
| 255 | struct internal_reloc *reloc; |
| 256 | asymbol **symbols; |
| 257 | bfd *abfd; |
| 258 | asection *section; |
| 259 | { |
| 260 | static bfd_vma ihihalf_vaddr = (bfd_vma) -1; |
| 261 | |
| 262 | relent->address = reloc->r_vaddr; |
| 263 | relent->howto = howto_table + reloc->r_type; |
| 264 | if (reloc->r_type == R_IHCONST) |
| 265 | { |
| 266 | /* The address of an R_IHCONST should always be the address of |
| 267 | the immediately preceding R_IHIHALF. relocs generated by gas |
| 268 | are correct, but relocs generated by High C are different (I |
| 269 | can't figure out what the address means for High C). We can |
| 270 | handle both gas and High C by ignoring the address here, and |
| 271 | simply reusing the address saved for R_IHIHALF. */ |
| 272 | if (ihihalf_vaddr == (bfd_vma) -1) |
| 273 | abort (); |
| 274 | relent->address = ihihalf_vaddr; |
| 275 | ihihalf_vaddr = (bfd_vma) -1; |
| 276 | relent->addend = reloc->r_symndx; |
| 277 | relent->sym_ptr_ptr= bfd_abs_section.symbol_ptr_ptr; |
| 278 | } |
| 279 | else |
| 280 | { |
| 281 | asymbol *ptr; |
| 282 | relent->sym_ptr_ptr = symbols + obj_convert(abfd)[reloc->r_symndx]; |
| 283 | |
| 284 | ptr = *(relent->sym_ptr_ptr); |
| 285 | |
| 286 | if (ptr |
| 287 | && bfd_asymbol_bfd(ptr) == abfd |
| 288 | |
| 289 | && ((ptr->flags & BSF_OLD_COMMON)== 0)) |
| 290 | { |
| 291 | relent->addend = 0; |
| 292 | } |
| 293 | else |
| 294 | { |
| 295 | relent->addend = 0; |
| 296 | } |
| 297 | relent->address-= section->vma; |
| 298 | if (reloc->r_type == R_IHIHALF) |
| 299 | ihihalf_vaddr = relent->address; |
| 300 | else if (ihihalf_vaddr != (bfd_vma) -1) |
| 301 | abort (); |
| 302 | } |
| 303 | } |
| 304 | |
| 305 | #include "coffcode.h" |
| 306 | |
| 307 | bfd_target a29kcoff_big_vec = |
| 308 | { |
| 309 | "coff-a29k-big", /* name */ |
| 310 | bfd_target_coff_flavour, |
| 311 | true, /* data byte order is big */ |
| 312 | true, /* header byte order is big */ |
| 313 | |
| 314 | (HAS_RELOC | EXEC_P | /* object flags */ |
| 315 | HAS_LINENO | HAS_DEBUG | |
| 316 | HAS_SYMS | HAS_LOCALS | WP_TEXT), |
| 317 | |
| 318 | (SEC_HAS_CONTENTS | SEC_ALLOC /* section flags */ |
| 319 | | SEC_LOAD | SEC_RELOC |
| 320 | | SEC_READONLY ), |
| 321 | '_', /* leading underscore */ |
| 322 | '/', /* ar_pad_char */ |
| 323 | 15, /* ar_max_namelen */ |
| 324 | 2, /* minimum section alignment */ |
| 325 | /* data */ |
| 326 | bfd_getb64, bfd_getb_signed_64, bfd_putb64, |
| 327 | bfd_getb32, bfd_getb_signed_32, bfd_putb32, |
| 328 | bfd_getb16, bfd_getb_signed_16, bfd_putb16, |
| 329 | /* hdrs */ |
| 330 | bfd_getb64, bfd_getb_signed_64, bfd_putb64, |
| 331 | bfd_getb32, bfd_getb_signed_32, bfd_putb32, |
| 332 | bfd_getb16, bfd_getb_signed_16, bfd_putb16, |
| 333 | |
| 334 | { |
| 335 | |
| 336 | _bfd_dummy_target, |
| 337 | coff_object_p, |
| 338 | bfd_generic_archive_p, |
| 339 | _bfd_dummy_target |
| 340 | }, |
| 341 | { |
| 342 | bfd_false, |
| 343 | coff_mkobject, |
| 344 | _bfd_generic_mkarchive, |
| 345 | bfd_false |
| 346 | }, |
| 347 | { |
| 348 | bfd_false, |
| 349 | coff_write_object_contents, |
| 350 | _bfd_write_archive_contents, |
| 351 | bfd_false |
| 352 | }, |
| 353 | |
| 354 | BFD_JUMP_TABLE_GENERIC (coff), |
| 355 | BFD_JUMP_TABLE_COPY (coff), |
| 356 | BFD_JUMP_TABLE_CORE (_bfd_nocore), |
| 357 | BFD_JUMP_TABLE_ARCHIVE (_bfd_archive_coff), |
| 358 | BFD_JUMP_TABLE_SYMBOLS (coff), |
| 359 | BFD_JUMP_TABLE_RELOCS (coff), |
| 360 | BFD_JUMP_TABLE_WRITE (coff), |
| 361 | BFD_JUMP_TABLE_LINK (coff), |
| 362 | BFD_JUMP_TABLE_DYNAMIC (_bfd_nodynamic), |
| 363 | |
| 364 | COFF_SWAP_TABLE |
| 365 | }; |