* coff-a29k.c (a29k_reloc): For R_IREL, don't left shift
[external/binutils.git] / bfd / coff-a29k.c
1 /* BFD back-end for AMD 29000 COFF binaries.
2    Copyright 1990, 1991, 1992, 1993 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 #define INSERT_HWORD(WORD,HWORD)        \
32     (((WORD) & 0xff00ff00) | (((HWORD) & 0xff00) << 8) | ((HWORD)& 0xff))
33 #define EXTRACT_HWORD(WORD) \
34     (((WORD) & 0x00ff0000) >> 8) | ((WORD)& 0xff)
35 #define SIGN_EXTEND_HWORD(HWORD) \
36     ((HWORD) & 0x8000 ? (HWORD)|0xffff0000 : (HWORD))
37
38 /* Provided the symbol, returns the value reffed */
39 static  long
40 get_symbol_value(symbol)       
41 asymbol *symbol;
42 {                                             
43   long relocation = 0;
44
45   if (bfd_is_com_section (symbol->section))
46   {
47     relocation = 0;                           
48   }
49   else 
50   {                                      
51     relocation = symbol->value +
52      symbol->section->output_section->vma +
53       symbol->section->output_offset;
54   }                                           
55
56   return(relocation);
57 }
58
59 /* this function is in charge of performing all the 29k relocations */
60
61 static bfd_reloc_status_type
62 DEFUN(a29k_reloc,(abfd, reloc_entry, symbol_in, data, input_section, output_bfd),
63       bfd *abfd AND
64       arelent *reloc_entry AND
65       asymbol *symbol_in AND
66       PTR data AND
67       asection *input_section AND
68       bfd *output_bfd)
69 {
70   /* the consth relocation comes in two parts, we have to remember
71      the state between calls, in these variables */
72   static boolean part1_consth_active = false;
73   static unsigned long part1_consth_value;
74
75   unsigned long insn;
76   unsigned long sym_value;
77   unsigned long unsigned_value;
78   unsigned short r_type;
79   long signed_value;
80
81   unsigned long addr = reloc_entry->address ; /*+ input_section->vma*/
82   bfd_byte  *hit_data =addr + (bfd_byte *)(data);
83         
84   r_type = reloc_entry->howto->type;
85
86   if (output_bfd) {
87     /* Partial linking - do nothing */
88     reloc_entry->address += input_section->output_offset;
89     return bfd_reloc_ok;
90
91   }
92
93   if (symbol_in && (symbol_in->section == &bfd_und_section))
94   {
95     /* Keep the state machine happy in case we're called again */
96     if (r_type == R_IHIHALF) 
97     {
98       part1_consth_active = true;
99       part1_consth_value  = 0;
100     }
101     return(bfd_reloc_undefined);
102   }
103
104   if ((part1_consth_active) && (r_type != R_IHCONST)) 
105   {
106     fprintf(stderr,"Relocation problem : ");
107     fprintf(stderr,"Missing IHCONST in module %s\n",abfd->filename);
108     part1_consth_active = false;
109     return(bfd_reloc_dangerous);
110   }
111
112
113   sym_value = get_symbol_value(symbol_in);
114
115   switch (r_type) 
116   {
117    case R_IREL:         
118     insn = bfd_get_32(abfd, hit_data); 
119     /* Take the value in the field and sign extend it */
120     signed_value = EXTRACT_HWORD(insn);
121     signed_value = SIGN_EXTEND_HWORD(signed_value);
122     signed_value <<= 2;
123     signed_value +=  sym_value + reloc_entry->addend;
124     if ((signed_value&~0x3ffff) == 0) 
125     {                           /* Absolute jmp/call */
126       insn |= (1<<24);          /* Make it absolute */
127       /* FIXME: Should we change r_type to R_IABS */
128     } 
129     else 
130     {
131       /* Relative jmp/call, so subtract from the value the
132          address of the place we're coming from */
133       signed_value -= (input_section->output_section->vma
134                        + input_section->output_offset);
135       if (signed_value>0x1ffff || signed_value<-0x20000) 
136        return(bfd_reloc_outofrange);
137     }
138     signed_value >>= 2;
139     insn = INSERT_HWORD(insn, signed_value);
140     bfd_put_32(abfd, insn ,hit_data); 
141     break;
142    case R_ILOHALF: 
143     insn = bfd_get_32(abfd, hit_data); 
144     unsigned_value = EXTRACT_HWORD(insn);
145     unsigned_value +=  sym_value + reloc_entry->addend;
146     insn = INSERT_HWORD(insn, unsigned_value);
147     bfd_put_32(abfd, insn, hit_data); 
148     break;
149    case R_IHIHALF:
150     insn = bfd_get_32(abfd, hit_data); 
151     /* consth, part 1 
152        Just get the symbol value that is referenced */
153     part1_consth_active = true;
154     part1_consth_value = sym_value + reloc_entry->addend;
155     /* Don't modify insn until R_IHCONST */
156     break;
157    case R_IHCONST:      
158     insn = bfd_get_32(abfd, hit_data); 
159     /* consth, part 2 
160        Now relocate the reference */
161     if (part1_consth_active == false) {
162       fprintf(stderr,"Relocation problem : ");
163       fprintf(stderr,"IHIHALF missing in module %s\n",
164               abfd->filename); 
165       return(bfd_reloc_dangerous);
166     }
167     /* sym_ptr_ptr = r_symndx, in coff_slurp_reloc_table() */
168     unsigned_value = 0;         /*EXTRACT_HWORD(insn) << 16;*/
169     unsigned_value += reloc_entry->addend; /* r_symndx */
170     unsigned_value += part1_consth_value;
171     unsigned_value = unsigned_value >> 16;
172     insn = INSERT_HWORD(insn, unsigned_value);
173     part1_consth_active = false;
174     bfd_put_32(abfd, insn, hit_data); 
175     break;
176    case R_BYTE:
177     insn = bfd_get_8(abfd, hit_data); 
178     unsigned_value = insn + sym_value + reloc_entry->addend;    
179     if (unsigned_value & 0xffffff00) {
180       fprintf(stderr,"Relocation problem : ");
181       fprintf(stderr,"byte value too large in module %s\n",
182               abfd->filename); 
183       return(bfd_reloc_overflow);
184     }
185     bfd_put_8(abfd, unsigned_value, hit_data); 
186     break;
187    case R_HWORD:
188     insn = bfd_get_16(abfd, hit_data); 
189     unsigned_value = insn + sym_value + reloc_entry->addend;    
190     if (unsigned_value & 0xffff0000) {
191       fprintf(stderr,"Relocation problem : ");
192       fprintf(stderr,"hword value too large in module %s\n",
193               abfd->filename); 
194       return(bfd_reloc_overflow);
195     }
196
197     bfd_put_16(abfd, insn, hit_data); 
198     break;
199    case R_WORD:
200     insn = bfd_get_32(abfd, hit_data); 
201     insn += sym_value + reloc_entry->addend;  
202     bfd_put_32(abfd, insn, hit_data);
203     break;
204    default:
205     fprintf(stderr,"Relocation problem : ");
206     fprintf(stderr,"Unrecognized reloc type %d, in module %s\n",
207             r_type,abfd->filename); 
208     return (bfd_reloc_dangerous);
209   }
210
211
212   return(bfd_reloc_ok); 
213 }
214
215 /*      type       rightshift
216                        size
217                           bitsize
218                                pc-relative
219                                      bitpos
220                                          absolute
221                                              complain_on_overflow
222                                                   special_function
223                                                     relocation name
224                                                                partial_inplace 
225                                                                       src_mask
226 */
227
228 /*FIXME: I'm not real sure about this table */
229 static reloc_howto_type howto_table[] = 
230 {
231   {R_ABS,     0, 3, 32, false, 0, complain_overflow_bitfield,a29k_reloc,"ABS",     true, 0xffffffff,0xffffffff, false},
232   {1},  {2},  {3},   {4},  {5},  {6},  {7},  {8},  {9}, {10},
233   {11}, {12}, {13}, {14}, {15}, {16}, {17}, {18}, {19}, {20},
234   {21}, {22}, {23},
235   {R_IREL,    0, 3, 32, true,  0, complain_overflow_signed,a29k_reloc,"IREL",    true, 0xffffffff,0xffffffff, false},
236   {R_IABS,    0, 3, 32, false, 0, complain_overflow_bitfield, a29k_reloc,"IABS",    true, 0xffffffff,0xffffffff, false},
237   {R_ILOHALF, 0, 3, 16, true,  0, complain_overflow_signed, a29k_reloc,"ILOHALF", true, 0x0000ffff,0x0000ffff, false},
238   {R_IHIHALF, 0, 3, 16, true,  16, complain_overflow_signed, a29k_reloc,"IHIHALF", true, 0xffff0000,0xffff0000, false},
239   {R_IHCONST, 0, 3, 16, true,  0, complain_overflow_signed, a29k_reloc,"IHCONST", true, 0xffff0000,0xffff0000, false},
240   {R_BYTE,    0, 0, 8, false, 0, complain_overflow_bitfield, a29k_reloc,"BYTE",    true, 0x000000ff,0x000000ff, false},
241   {R_HWORD,   0, 1, 16, false, 0, complain_overflow_bitfield, a29k_reloc,"HWORD",   true, 0x0000ffff,0x0000ffff, false},
242   {R_WORD,    0, 2, 32, false, 0, complain_overflow_bitfield, a29k_reloc,"WORD",    true, 0xffffffff,0xffffffff, false},
243 };
244
245 #define BADMAG(x) A29KBADMAG(x)
246
247 #define RELOC_PROCESSING(relent, reloc, symbols, abfd, section) \
248  reloc_processing(relent, reloc, symbols, abfd, section)
249
250 static void DEFUN(reloc_processing,(relent,reloc, symbols, abfd, section) ,
251            arelent *relent AND
252            struct internal_reloc *reloc AND
253            asymbol **symbols AND
254            bfd *abfd AND
255            asection *section)
256 {
257     relent->address = reloc->r_vaddr;           
258     relent->howto = howto_table + reloc->r_type;
259     if (reloc->r_type == R_IHCONST) 
260     {           
261         relent->addend = reloc->r_symndx;               
262         relent->sym_ptr_ptr= bfd_abs_section.symbol_ptr_ptr;
263     }
264     else 
265     {
266       asymbol *ptr;
267       relent->sym_ptr_ptr = symbols + obj_convert(abfd)[reloc->r_symndx];
268
269       ptr = *(relent->sym_ptr_ptr);
270
271       if (ptr 
272           && bfd_asymbol_bfd(ptr) == abfd               
273
274           && ((ptr->flags & BSF_OLD_COMMON)== 0))       
275       {                                         
276           relent->addend = 0;
277       }                                         
278       else
279       {                                 
280           relent->addend = 0;                   
281       }                 
282       relent->address-= section->vma;
283   }
284 }
285
286 #include "coffcode.h"
287
288 bfd_target a29kcoff_big_vec =
289 {
290   "coff-a29k-big",              /* name */
291   bfd_target_coff_flavour,
292   true,                         /* data byte order is big */
293   true,                         /* header byte order is big */
294
295   (HAS_RELOC | EXEC_P |         /* object flags */
296    HAS_LINENO | HAS_DEBUG |
297    HAS_SYMS | HAS_LOCALS | WP_TEXT),
298
299   (SEC_HAS_CONTENTS | SEC_ALLOC /* section flags */
300    | SEC_LOAD | SEC_RELOC  
301    | SEC_READONLY ),
302   '_',                          /* leading underscore */
303   '/',                          /* ar_pad_char */
304   15,                           /* ar_max_namelen */
305   2,                            /* minimum section alignment */
306   /* data */
307   bfd_getb64, bfd_getb_signed_64, bfd_putb64,
308      bfd_getb32, bfd_getb_signed_32,   bfd_putb32,
309      bfd_getb16, bfd_getb_signed_16, bfd_putb16,
310   /* hdrs */
311   bfd_getb64, bfd_getb_signed_64, bfd_putb64,
312      bfd_getb32, bfd_getb_signed_32,   bfd_putb32,
313      bfd_getb16, bfd_getb_signed_16, bfd_putb16,
314
315  {
316             
317    _bfd_dummy_target,
318    coff_object_p,
319    bfd_generic_archive_p,
320    _bfd_dummy_target
321   },
322  {
323    bfd_false,
324    coff_mkobject,
325    _bfd_generic_mkarchive,
326    bfd_false
327   },
328  {
329    bfd_false,
330    coff_write_object_contents,
331    _bfd_write_archive_contents,
332    bfd_false
333   },
334
335   JUMP_TABLE(coff),
336   COFF_SWAP_TABLE
337  };