Context Navigation

← Previous Revision
Latest Revision
Next Revision →
Blame
Revision Log

source: trunk/src/binutils/bfd/elf32-ip2k.c@ 729

Visit:

Last change on this file since 729 was 607, checked in by bird, 22 years ago
Initial revision
Property cvs2svn:cvs-rev set to `1.1` Property svn:eol-style set to `native` Property svn:executable set to ``*
File size: 48.7 KB

Line
1	/* Ubicom IP2xxx specific support for 32-bit ELF
2	Copyright 2000, 2001, 2002, 2003 Free Software Foundation, Inc.
3
4	This file is part of BFD, the Binary File Descriptor library.
5
6	This program is free software; you can redistribute it and/or modify
7	it under the terms of the GNU General Public License as published by
8	the Free Software Foundation; either version 2 of the License, or
9	(at your option) any later version.
10
11	This program 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 this program; if not, write to the Free Software
18	Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
19
20	#include "bfd.h"
21	#include "sysdep.h"
22	#include "libbfd.h"
23	#include "elf-bfd.h"
24	#include "elf/ip2k.h"
25
26	/* Struct used to pass miscellaneous paramaters which
27	helps to avoid overly long parameter lists. */
28	struct misc
29	{
30	Elf_Internal_Shdr * symtab_hdr;
31	Elf_Internal_Rela * irelbase;
32	bfd_byte * contents;
33	Elf_Internal_Sym * isymbuf;
34	};
35
36	struct ip2k_opcode
37	{
38	unsigned short opcode;
39	unsigned short mask;
40	};
41
42	/* Prototypes. */
43	static reloc_howto_type *ip2k_reloc_type_lookup
44	PARAMS ((bfd *, bfd_reloc_code_real_type));
45	static int ip2k_is_opcode
46	PARAMS ((bfd_byte , const struct ip2k_opcode ));
47	static bfd_vma symbol_value
48	PARAMS ((bfd , Elf_Internal_Shdr , Elf_Internal_Sym *,
49	Elf_Internal_Rela *));
50	static void ip2k_get_mem
51	PARAMS ((bfd , bfd_byte , int, bfd_byte *));
52	static bfd_vma ip2k_nominal_page_bits
53	PARAMS ((bfd , asection , bfd_vma, bfd_byte *));
54	static bfd_boolean ip2k_test_page_insn
55	PARAMS ((bfd , asection , Elf_Internal_Rela , struct misc ));
56	static bfd_boolean ip2k_delete_page_insn
57	PARAMS ((bfd , asection , Elf_Internal_Rela , bfd_boolean , struct misc *));
58	static int ip2k_is_switch_table_128
59	PARAMS ((bfd , asection , bfd_vma, bfd_byte *));
60	static bfd_boolean ip2k_relax_switch_table_128
61	PARAMS ((bfd , asection , Elf_Internal_Rela , bfd_boolean , struct misc *));
62	static int ip2k_is_switch_table_256
63	PARAMS ((bfd , asection , bfd_vma, bfd_byte *));
64	static bfd_boolean ip2k_relax_switch_table_256
65	PARAMS ((bfd , asection , Elf_Internal_Rela , bfd_boolean , struct misc *));
66	static bfd_boolean ip2k_elf_relax_section
67	PARAMS ((bfd , asection , struct bfd_link_info , bfd_boolean ));
68	static bfd_boolean ip2k_elf_relax_section_page
69	PARAMS ((bfd , asection , bfd_boolean , struct misc , unsigned long, unsigned long));
70	static void adjust_all_relocations
71	PARAMS ((bfd , asection , bfd_vma, bfd_vma, int, int));
72	static bfd_boolean ip2k_elf_relax_delete_bytes
73	PARAMS ((bfd , asection , bfd_vma, int));
74	static void ip2k_info_to_howto_rela
75	PARAMS ((bfd , arelent , Elf_Internal_Rela *));
76	static bfd_reloc_status_type ip2k_final_link_relocate
77	PARAMS ((reloc_howto_type , bfd , asection , bfd_byte ,
78	Elf_Internal_Rela *, bfd_vma));
79	static bfd_boolean ip2k_elf_relocate_section
80	PARAMS ((bfd , struct bfd_link_info , bfd , asection , bfd_byte *,
81	Elf_Internal_Rela , Elf_Internal_Sym , asection **));
82	static asection *ip2k_elf_gc_mark_hook
83	PARAMS ((asection , struct bfd_link_info , Elf_Internal_Rela *,
84	struct elf_link_hash_entry , Elf_Internal_Sym ));
85	static bfd_boolean ip2k_elf_gc_sweep_hook
86	PARAMS ((bfd , struct bfd_link_info , asection *,
87	const Elf_Internal_Rela *));
88
89	static bfd_boolean ip2k_relaxed = FALSE;
90
91	static const struct ip2k_opcode ip2k_page_opcode[] =
92	{
93	{0x0010, 0xFFF8}, /* page */
94	{0x0000, 0x0000},
95	};
96
97	#define IS_PAGE_OPCODE(code) \
98	ip2k_is_opcode (code, ip2k_page_opcode)
99
100	static const struct ip2k_opcode ip2k_jmp_opcode[] =
101	{
102	{0xE000, 0xE000}, /* jmp */
103	{0x0000, 0x0000},
104	};
105
106	#define IS_JMP_OPCODE(code) \
107	ip2k_is_opcode (code, ip2k_jmp_opcode)
108
109	static const struct ip2k_opcode ip2k_call_opcode[] =
110	{
111	{0xC000, 0xE000}, /* call */
112	{0x0000, 0x0000},
113	};
114
115	#define IS_CALL_OPCODE(code) \
116	ip2k_is_opcode (code, ip2k_call_opcode)
117
118	static const struct ip2k_opcode ip2k_snc_opcode[] =
119	{
120	{0xA00B, 0xFFFF}, /* snc */
121	{0x0000, 0x0000},
122	};
123
124	#define IS_SNC_OPCODE(code) \
125	ip2k_is_opcode (code, ip2k_snc_opcode)
126
127	static const struct ip2k_opcode ip2k_inc_1sp_opcode[] =
128	{
129	{0x2B81, 0xFFFF}, /* inc 1(SP) */
130	{0x0000, 0x0000},
131	};
132
133	#define IS_INC_1SP_OPCODE(code) \
134	ip2k_is_opcode (code, ip2k_inc_1sp_opcode)
135
136	static const struct ip2k_opcode ip2k_add_2sp_w_opcode[] =
137	{
138	{0x1F82, 0xFFFF}, /* add 2(SP),w */
139	{0x0000, 0x0000},
140	};
141
142	#define IS_ADD_2SP_W_OPCODE(code) \
143	ip2k_is_opcode (code, ip2k_add_2sp_w_opcode)
144
145	static const struct ip2k_opcode ip2k_add_w_wreg_opcode[] =
146	{
147	{0x1C0A, 0xFFFF}, /* add w,wreg */
148	{0x1E0A, 0xFFFF}, /* add wreg,w */
149	{0x0000, 0x0000},
150	};
151
152	#define IS_ADD_W_WREG_OPCODE(code) \
153	ip2k_is_opcode (code, ip2k_add_w_wreg_opcode)
154
155	static const struct ip2k_opcode ip2k_add_pcl_w_opcode[] =
156	{
157	{0x1E09, 0xFFFF}, /* add pcl,w */
158	{0x0000, 0x0000},
159	};
160
161	#define IS_ADD_PCL_W_OPCODE(code) \
162	ip2k_is_opcode (code, ip2k_add_pcl_w_opcode)
163
164	static const struct ip2k_opcode ip2k_skip_opcodes[] =
165	{
166	{0xB000, 0xF000}, /* sb */
167	{0xA000, 0xF000}, /* snb */
168	{0x7600, 0xFE00}, /* cse/csne #lit */
169	{0x5800, 0xFC00}, /* incsnz */
170	{0x4C00, 0xFC00}, /* decsnz */
171	{0x4000, 0xFC00}, /* cse/csne */
172	{0x3C00, 0xFC00}, /* incsz */
173	{0x2C00, 0xFC00}, /* decsz */
174	{0x0000, 0x0000},
175	};
176
177	#define IS_SKIP_OPCODE(code) \
178	ip2k_is_opcode (code, ip2k_skip_opcodes)
179
180	/* Relocation tables. */
181	static reloc_howto_type ip2k_elf_howto_table [] =
182	{
183	#define IP2K_HOWTO(t,rs,s,bs,pr,bp,name,sm,dm) \
184	HOWTO(t, /* type */ \
185	rs, /* rightshift */ \
186	s, /* size (0 = byte, 1 = short, 2 = long) */ \
187	bs, /* bitsize */ \
188	pr, /* pc_relative */ \
189	bp, /* bitpos */ \
190	complain_overflow_dont,/* complain_on_overflow */ \
191	bfd_elf_generic_reloc,/* special_function */ \
192	name, /* name */ \
193	FALSE, /* partial_inplace */ \
194	sm, /* src_mask */ \
195	dm, /* dst_mask */ \
196	pr) /* pcrel_offset */
197
198	/* This reloc does nothing. */
199	IP2K_HOWTO (R_IP2K_NONE, 0,2,32, FALSE, 0, "R_IP2K_NONE", 0, 0),
200	/* A 16 bit absolute relocation. */
201	IP2K_HOWTO (R_IP2K_16, 0,1,16, FALSE, 0, "R_IP2K_16", 0, 0xffff),
202	/* A 32 bit absolute relocation. */
203	IP2K_HOWTO (R_IP2K_32, 0,2,32, FALSE, 0, "R_IP2K_32", 0, 0xffffffff),
204	/* A 8-bit data relocation for the FR9 field. Ninth bit is computed specially. */
205	IP2K_HOWTO (R_IP2K_FR9, 0,1,9, FALSE, 0, "R_IP2K_FR9", 0, 0x00ff),
206	/* A 4-bit data relocation. */
207	IP2K_HOWTO (R_IP2K_BANK, 8,1,4, FALSE, 0, "R_IP2K_BANK", 0, 0x000f),
208	/* A 13-bit insn relocation - word address => right-shift 1 bit extra. */
209	IP2K_HOWTO (R_IP2K_ADDR16CJP, 1,1,13, FALSE, 0, "R_IP2K_ADDR16CJP", 0, 0x1fff),
210	/* A 3-bit insn relocation - word address => right-shift 1 bit extra. */
211	IP2K_HOWTO (R_IP2K_PAGE3, 14,1,3, FALSE, 0, "R_IP2K_PAGE3", 0, 0x0007),
212	/* Two 8-bit data relocations. */
213	IP2K_HOWTO (R_IP2K_LO8DATA, 0,1,8, FALSE, 0, "R_IP2K_LO8DATA", 0, 0x00ff),
214	IP2K_HOWTO (R_IP2K_HI8DATA, 8,1,8, FALSE, 0, "R_IP2K_HI8DATA", 0, 0x00ff),
215	/* Two 8-bit insn relocations. word address => right-shift 1 bit extra. */
216	IP2K_HOWTO (R_IP2K_LO8INSN, 1,1,8, FALSE, 0, "R_IP2K_LO8INSN", 0, 0x00ff),
217	IP2K_HOWTO (R_IP2K_HI8INSN, 9,1,8, FALSE, 0, "R_IP2K_HI8INSN", 0, 0x00ff),
218
219	/* Special 1 bit relocation for SKIP instructions. */
220	IP2K_HOWTO (R_IP2K_PC_SKIP, 1,1,1, FALSE, 12, "R_IP2K_PC_SKIP", 0xfffe, 0x1000),
221	/* 16 bit word address. */
222	IP2K_HOWTO (R_IP2K_TEXT, 1,1,16, FALSE, 0, "R_IP2K_TEXT", 0, 0xffff),
223	/* A 7-bit offset relocation for the FR9 field. Eigth and ninth bit comes from insn. */
224	IP2K_HOWTO (R_IP2K_FR_OFFSET, 0,1,9, FALSE, 0, "R_IP2K_FR_OFFSET", 0x180, 0x007f),
225	/* Bits 23:16 of an address. */
226	IP2K_HOWTO (R_IP2K_EX8DATA, 16,1,8, FALSE, 0, "R_IP2K_EX8DATA", 0, 0x00ff),
227	};
228
229
230	/* Map BFD reloc types to IP2K ELF reloc types. */
231	static reloc_howto_type *
232	ip2k_reloc_type_lookup (abfd, code)
233	bfd * abfd ATTRIBUTE_UNUSED;
234	bfd_reloc_code_real_type code;
235	{
236	/* Note that the ip2k_elf_howto_table is indxed by the R_
237	constants. Thus, the order that the howto records appear in the
238	table must match the order of the relocation types defined in
239	include/elf/ip2k.h. */
240
241	switch (code)
242	{
243	case BFD_RELOC_NONE:
244	return &ip2k_elf_howto_table[ (int) R_IP2K_NONE];
245	case BFD_RELOC_16:
246	return &ip2k_elf_howto_table[ (int) R_IP2K_16];
247	case BFD_RELOC_32:
248	return &ip2k_elf_howto_table[ (int) R_IP2K_32];
249	case BFD_RELOC_IP2K_FR9:
250	return &ip2k_elf_howto_table[ (int) R_IP2K_FR9];
251	case BFD_RELOC_IP2K_BANK:
252	return &ip2k_elf_howto_table[ (int) R_IP2K_BANK];
253	case BFD_RELOC_IP2K_ADDR16CJP:
254	return &ip2k_elf_howto_table[ (int) R_IP2K_ADDR16CJP];
255	case BFD_RELOC_IP2K_PAGE3:
256	return &ip2k_elf_howto_table[ (int) R_IP2K_PAGE3];
257	case BFD_RELOC_IP2K_LO8DATA:
258	return &ip2k_elf_howto_table[ (int) R_IP2K_LO8DATA];
259	case BFD_RELOC_IP2K_HI8DATA:
260	return &ip2k_elf_howto_table[ (int) R_IP2K_HI8DATA];
261	case BFD_RELOC_IP2K_LO8INSN:
262	return &ip2k_elf_howto_table[ (int) R_IP2K_LO8INSN];
263	case BFD_RELOC_IP2K_HI8INSN:
264	return &ip2k_elf_howto_table[ (int) R_IP2K_HI8INSN];
265	case BFD_RELOC_IP2K_PC_SKIP:
266	return &ip2k_elf_howto_table[ (int) R_IP2K_PC_SKIP];
267	case BFD_RELOC_IP2K_TEXT:
268	return &ip2k_elf_howto_table[ (int) R_IP2K_TEXT];
269	case BFD_RELOC_IP2K_FR_OFFSET:
270	return &ip2k_elf_howto_table[ (int) R_IP2K_FR_OFFSET];
271	case BFD_RELOC_IP2K_EX8DATA:
272	return &ip2k_elf_howto_table[ (int) R_IP2K_EX8DATA];
273	default:
274	/* Pacify gcc -Wall. */
275	return NULL;
276	}
277	return NULL;
278	}
279
280	static void
281	ip2k_get_mem (abfd, addr, length, ptr)
282	bfd *abfd ATTRIBUTE_UNUSED;
283	bfd_byte *addr;
284	int length;
285	bfd_byte *ptr;
286	{
287	while (length --)
288	* ptr ++ = bfd_get_8 (abfd, addr ++);
289	}
290
291	static bfd_boolean
292	ip2k_is_opcode (code, opcodes)
293	bfd_byte *code;
294	const struct ip2k_opcode *opcodes;
295	{
296	unsigned short insn = (code[0] << 8) \| code[1];
297
298	while (opcodes->mask != 0)
299	{
300	if ((insn & opcodes->mask) == opcodes->opcode)
301	return TRUE;
302
303	opcodes ++;
304	}
305
306	return FALSE;
307	}
308
309	#define PAGENO(ABSADDR) ((ABSADDR) & 0xFFFFC000)
310	#define BASEADDR(SEC) ((SEC)->output_section->vma + (SEC)->output_offset)
311
312	#define UNDEFINED_SYMBOL (~(bfd_vma)0)
313
314	/* Return the value of the symbol associated with the relocation IREL. */
315
316	static bfd_vma
317	symbol_value (abfd, symtab_hdr, isymbuf, irel)
318	bfd *abfd;
319	Elf_Internal_Shdr *symtab_hdr;
320	Elf_Internal_Sym *isymbuf;
321	Elf_Internal_Rela *irel;
322	{
323	if (ELF32_R_SYM (irel->r_info) < symtab_hdr->sh_info)
324	{
325	Elf_Internal_Sym *isym;
326	asection *sym_sec;
327
328	isym = isymbuf + ELF32_R_SYM (irel->r_info);
329	if (isym->st_shndx == SHN_UNDEF)
330	sym_sec = bfd_und_section_ptr;
331	else if (isym->st_shndx == SHN_ABS)
332	sym_sec = bfd_abs_section_ptr;
333	else if (isym->st_shndx == SHN_COMMON)
334	sym_sec = bfd_com_section_ptr;
335	else
336	sym_sec = bfd_section_from_elf_index (abfd, isym->st_shndx);
337
338	return isym->st_value + BASEADDR (sym_sec);
339	}
340	else
341	{
342	unsigned long indx;
343	struct elf_link_hash_entry *h;
344
345	indx = ELF32_R_SYM (irel->r_info) - symtab_hdr->sh_info;
346	h = elf_sym_hashes (abfd)[indx];
347	BFD_ASSERT (h != NULL);
348
349	if (h->root.type != bfd_link_hash_defined
350	&& h->root.type != bfd_link_hash_defweak)
351	return UNDEFINED_SYMBOL;
352
353	return (h->root.u.def.value + BASEADDR (h->root.u.def.section));
354	}
355	}
356
357	/* Returns the expected page state for the given instruction not including
358	the effect of page instructions. */
359
360	static bfd_vma
361	ip2k_nominal_page_bits (abfd, sec, addr, contents)
362	bfd *abfd ATTRIBUTE_UNUSED;
363	asection *sec;
364	bfd_vma addr;
365	bfd_byte *contents;
366	{
367	bfd_vma page = PAGENO (BASEADDR (sec) + addr);
368
369	/* Check if section flows into this page. If not then the page
370	bits are assumed to match the PC. This will be true unless
371	the user has a page instruction without a call/jump, in which
372	case they are on their own. */
373	if (PAGENO (BASEADDR (sec)) == page)
374	return page;
375
376	/* Section flows across page boundary. The page bits should match
377	the PC unless there is a possible flow from the previous page,
378	in which case it is not possible to determine the value of the
379	page bits. */
380	while (PAGENO (BASEADDR (sec) + addr - 2) == page)
381	{
382	bfd_byte code[2];
383
384	addr -= 2;
385	ip2k_get_mem (abfd, contents + addr, 2, code);
386	if (!IS_PAGE_OPCODE (code))
387	continue;
388
389	/* Found a page instruction, check if jump table. */
390	if (ip2k_is_switch_table_128 (abfd, sec, addr, contents) != -1)
391	/* Jump table => page is conditional. */
392	continue;
393
394	if (ip2k_is_switch_table_256 (abfd, sec, addr, contents) != -1)
395	/* Jump table => page is conditional. */
396	continue;
397
398	/* Found a page instruction, check if conditional. */
399	if (addr >= 2)
400	{
401	ip2k_get_mem (abfd, contents + addr - 2, 2, code);
402	if (IS_SKIP_OPCODE (code))
403	/* Page is conditional. */
404	continue;
405	}
406
407	/* Unconditional page instruction => page bits should be correct. */
408	return page;
409	}
410
411	/* Flow from previous page => page bits are impossible to determine. */
412	return 0;
413	}
414
415	static bfd_boolean
416	ip2k_test_page_insn (abfd, sec, irel, misc)
417	bfd *abfd ATTRIBUTE_UNUSED;
418	asection *sec;
419	Elf_Internal_Rela *irel;
420	struct misc *misc;
421	{
422	bfd_vma symval;
423
424	/* Get the value of the symbol referred to by the reloc. */
425	symval = symbol_value (abfd, misc->symtab_hdr, misc->isymbuf, irel);
426	if (symval == UNDEFINED_SYMBOL)
427	/* This appears to be a reference to an undefined
428	symbol. Just ignore it--it will be caught by the
429	regular reloc processing. */
430	return FALSE;
431
432	/* Test if we can delete this page instruction. */
433	if (PAGENO (symval + irel->r_addend) !=
434	ip2k_nominal_page_bits (abfd, sec, irel->r_offset, misc->contents))
435	return FALSE;
436
437	return TRUE;
438	}
439
440	static bfd_boolean
441	ip2k_delete_page_insn (abfd, sec, irel, again, misc)
442	bfd *abfd ATTRIBUTE_UNUSED;
443	asection *sec;
444	Elf_Internal_Rela *irel;
445	bfd_boolean *again;
446	struct misc *misc;
447	{
448	/* Note that we've changed the relocs, section contents, etc. */
449	elf_section_data (sec)->relocs = misc->irelbase;
450	elf_section_data (sec)->this_hdr.contents = misc->contents;
451	misc->symtab_hdr->contents = (bfd_byte *) misc->isymbuf;
452
453	/* Fix the relocation's type. */
454	irel->r_info = ELF32_R_INFO (ELF32_R_SYM (irel->r_info), R_IP2K_NONE);
455
456	/* Delete the PAGE insn. */
457	if (!ip2k_elf_relax_delete_bytes (abfd, sec, irel->r_offset, 2))
458	return FALSE;
459
460	/* Modified => will need to iterate relaxation again. */
461	*again = TRUE;
462
463	return TRUE;
464	}
465
466	/* Determine if the instruction sequence matches that for
467	the prologue of a switch dispatch table with fewer than
468	128 entries.
469
470	sc
471	page $nnn0
472	jmp $nnn0
473	add w,wreg
474	add pcl,w
475	addr=>
476	page $nnn1
477	jmp $nnn1
478	page $nnn2
479	jmp $nnn2
480	...
481	page $nnnN
482	jmp $nnnN
483
484	After relaxation.
485	sc
486	page $nnn0
487	jmp $nnn0
488	add pcl,w
489	addr=>
490	jmp $nnn1
491	jmp $nnn2
492	...
493	jmp $nnnN */
494
495	static int
496	ip2k_is_switch_table_128 (abfd, sec, addr, contents)
497	bfd *abfd ATTRIBUTE_UNUSED;
498	asection *sec;
499	bfd_vma addr;
500	bfd_byte *contents;
501	{
502	bfd_byte code[4];
503	int index = 0;
504
505	/* Check current page-jmp. */
506	if (addr + 4 > sec->_cooked_size)
507	return -1;
508
509	ip2k_get_mem (abfd, contents + addr, 4, code);
510
511	if ((! IS_PAGE_OPCODE (code + 0))
512	\|\| (! IS_JMP_OPCODE (code + 2)))
513	return -1;
514
515	/* Search back. */
516	while (1)
517	{
518	if (addr < 4)
519	return -1;
520
521	/* Check previous 2 instructions. */
522	ip2k_get_mem (abfd, contents + addr - 4, 4, code);
523	if ((IS_ADD_W_WREG_OPCODE (code + 0))
524	&& (IS_ADD_PCL_W_OPCODE (code + 2)))
525	return index;
526
527	if ((! IS_PAGE_OPCODE (code + 0))
528	\|\| (! IS_JMP_OPCODE (code + 2)))
529	return -1;
530
531	index++;
532	addr -= 4;
533	}
534	}
535
536	static bfd_boolean
537	ip2k_relax_switch_table_128 (abfd, sec, irel, again, misc)
538	bfd *abfd ATTRIBUTE_UNUSED;
539	asection *sec;
540	Elf_Internal_Rela *irel;
541	bfd_boolean *again;
542	struct misc *misc;
543	{
544	Elf_Internal_Rela *irelend = misc->irelbase + sec->reloc_count;
545	Elf_Internal_Rela *ireltest = irel;
546	bfd_byte code[4];
547	bfd_vma addr;
548
549	/* Test all page instructions. */
550	addr = irel->r_offset;
551	while (1)
552	{
553	if (addr + 4 > sec->_cooked_size)
554	break;
555
556	ip2k_get_mem (abfd, misc->contents + addr, 4, code);
557	if ((! IS_PAGE_OPCODE (code + 0))
558	\|\| (! IS_JMP_OPCODE (code + 2)))
559	break;
560
561	/* Validate relocation entry (every entry should have a matching
562	relocation entry). */
563	if (ireltest >= irelend)
564	{
565	_bfd_error_handler (_("ip2k relaxer: switch table without complete matching relocation information."));
566	return FALSE;
567	}
568
569	if (ireltest->r_offset != addr)
570	{
571	_bfd_error_handler (_("ip2k relaxer: switch table without complete matching relocation information."));
572	return FALSE;
573	}
574
575	if (! ip2k_test_page_insn (abfd, sec, ireltest, misc))
576	/* Un-removable page insn => nothing can be done. */
577	return TRUE;
578
579	addr += 4;
580	ireltest += 2;
581	}
582
583	/* Relaxable. Adjust table header. */
584	ip2k_get_mem (abfd, misc->contents + irel->r_offset - 4, 4, code);
585	if ((! IS_ADD_W_WREG_OPCODE (code + 0))
586	\|\| (! IS_ADD_PCL_W_OPCODE (code + 2)))
587	{
588	_bfd_error_handler (_("ip2k relaxer: switch table header corrupt."));
589	return FALSE;
590	}
591
592	if (!ip2k_elf_relax_delete_bytes (abfd, sec, irel->r_offset - 4, 2))
593	return FALSE;
594
595	*again = TRUE;
596
597	/* Delete all page instructions in table. */
598	while (irel < ireltest)
599	{
600	if (!ip2k_delete_page_insn (abfd, sec, irel, again, misc))
601	return FALSE;
602	irel += 2;
603	}
604
605	return TRUE;
606	}
607
608	/* Determine if the instruction sequence matches that for
609	the prologue switch dispatch table with fewer than
610	256 entries but more than 127.
611
612	Before relaxation.
613	push %lo8insn(label) ; Push address of table
614	push %hi8insn(label)
615	add w,wreg ; index*2 => offset
616	snc ; CARRY SET?
617	inc 1(sp) ; Propagate MSB into table address
618	add 2(sp),w ; Add low bits of offset to table address
619	snc ; and handle any carry-out
620	inc 1(sp)
621	addr=>
622	page __indjmp ; Do an indirect jump to that location
623	jmp __indjmp
624	label: ; case dispatch table starts here
625	page $nnn1
626	jmp $nnn1
627	page $nnn2
628	jmp $nnn2
629	...
630	page $nnnN
631	jmp $nnnN
632
633	After relaxation.
634	push %lo8insn(label) ; Push address of table
635	push %hi8insn(label)
636	add 2(sp),w ; Add low bits of offset to table address
637	snc ; and handle any carry-out
638	inc 1(sp)
639	addr=>
640	page __indjmp ; Do an indirect jump to that location
641	jmp __indjmp
642	label: ; case dispatch table starts here
643	jmp $nnn1
644	jmp $nnn2
645	...
646	jmp $nnnN */
647
648	static int
649	ip2k_is_switch_table_256 (abfd, sec, addr, contents)
650	bfd *abfd ATTRIBUTE_UNUSED;
651	asection *sec;
652	bfd_vma addr;
653	bfd_byte *contents;
654	{
655	bfd_byte code[16];
656	int index = 0;
657
658	/* Check current page-jmp. */
659	if (addr + 4 > sec->_cooked_size)
660	return -1;
661
662	ip2k_get_mem (abfd, contents + addr, 4, code);
663	if ((! IS_PAGE_OPCODE (code + 0))
664	\|\| (! IS_JMP_OPCODE (code + 2)))
665	return -1;
666
667	/* Search back. */
668	while (1)
669	{
670	if (addr < 16)
671	return -1;
672
673	/* Check previous 8 instructions. */
674	ip2k_get_mem (abfd, contents + addr - 16, 16, code);
675	if ((IS_ADD_W_WREG_OPCODE (code + 0))
676	&& (IS_SNC_OPCODE (code + 2))
677	&& (IS_INC_1SP_OPCODE (code + 4))
678	&& (IS_ADD_2SP_W_OPCODE (code + 6))
679	&& (IS_SNC_OPCODE (code + 8))
680	&& (IS_INC_1SP_OPCODE (code + 10))
681	&& (IS_PAGE_OPCODE (code + 12))
682	&& (IS_JMP_OPCODE (code + 14)))
683	return index;
684
685	if ((IS_ADD_W_WREG_OPCODE (code + 2))
686	&& (IS_SNC_OPCODE (code + 4))
687	&& (IS_INC_1SP_OPCODE (code + 6))
688	&& (IS_ADD_2SP_W_OPCODE (code + 8))
689	&& (IS_SNC_OPCODE (code + 10))
690	&& (IS_INC_1SP_OPCODE (code + 12))
691	&& (IS_JMP_OPCODE (code + 14)))
692	return index;
693
694	if ((! IS_PAGE_OPCODE (code + 0))
695	\|\| (! IS_JMP_OPCODE (code + 2)))
696	return -1;
697
698	index++;
699	addr -= 4;
700	}
701	}
702
703	static bfd_boolean
704	ip2k_relax_switch_table_256 (abfd, sec, irel, again, misc)
705	bfd *abfd ATTRIBUTE_UNUSED;
706	asection *sec;
707	Elf_Internal_Rela *irel;
708	bfd_boolean *again;
709	struct misc *misc;
710	{
711	Elf_Internal_Rela *irelend = misc->irelbase + sec->reloc_count;
712	Elf_Internal_Rela *ireltest = irel;
713	bfd_byte code[12];
714	bfd_vma addr;
715
716	/* Test all page instructions. */
717	addr = irel->r_offset;
718
719	while (1)
720	{
721	if (addr + 4 > sec->_cooked_size)
722	break;
723
724	ip2k_get_mem (abfd, misc->contents + addr, 4, code);
725
726	if ((! IS_PAGE_OPCODE (code + 0))
727	\|\| (! IS_JMP_OPCODE (code + 2)))
728	break;
729
730	/* Validate relocation entry (every entry should have a matching
731	relocation entry). */
732	if (ireltest >= irelend)
733	{
734	_bfd_error_handler (_("ip2k relaxer: switch table without complete matching relocation information."));
735	return FALSE;
736	}
737
738	if (ireltest->r_offset != addr)
739	{
740	_bfd_error_handler (_("ip2k relaxer: switch table without complete matching relocation information."));
741	return FALSE;
742	}
743
744	if (!ip2k_test_page_insn (abfd, sec, ireltest, misc))
745	/* Un-removable page insn => nothing can be done. */
746	return TRUE;
747
748	addr += 4;
749	ireltest += 2;
750	}
751
752	/* Relaxable. Adjust table header. */
753	ip2k_get_mem (abfd, misc->contents + irel->r_offset - 4, 2, code);
754	if (IS_PAGE_OPCODE (code))
755	addr = irel->r_offset - 16;
756	else
757	addr = irel->r_offset - 14;
758
759	ip2k_get_mem (abfd, misc->contents + addr, 12, code);
760	if ((!IS_ADD_W_WREG_OPCODE (code + 0))
761	\|\| (!IS_SNC_OPCODE (code + 2))
762	\|\| (!IS_INC_1SP_OPCODE (code + 4))
763	\|\| (!IS_ADD_2SP_W_OPCODE (code + 6))
764	\|\| (!IS_SNC_OPCODE (code + 8))
765	\|\| (!IS_INC_1SP_OPCODE (code + 10)))
766	{
767	_bfd_error_handler (_("ip2k relaxer: switch table header corrupt."));
768	return FALSE;
769	}
770
771	/* Delete first 3 opcodes. */
772	if (!ip2k_elf_relax_delete_bytes (abfd, sec, addr + 0, 6))
773	return FALSE;
774
775	*again = TRUE;
776
777	/* Delete all page instructions in table. */
778	while (irel < ireltest)
779	{
780	if (!ip2k_delete_page_insn (abfd, sec, irel, again, misc))
781	return FALSE;
782	irel += 2;
783	}
784
785	return TRUE;
786	}
787
788	/* This function handles relaxing for the ip2k.
789
790	Principle: Start with the first page and remove page instructions that
791	are not require on this first page. By removing page instructions more
792	code will fit into this page - repeat until nothing more can be achieved
793	for this page. Move on to the next page.
794
795	Processing the pages one at a time from the lowest page allows a removal
796	only policy to be used - pages can be removed but are never reinserted. */
797
798	static bfd_boolean
799	ip2k_elf_relax_section (abfd, sec, link_info, again)
800	bfd *abfd;
801	asection *sec;
802	struct bfd_link_info *link_info;
803	bfd_boolean *again;
804	{
805	Elf_Internal_Shdr *symtab_hdr;
806	Elf_Internal_Rela *internal_relocs;
807	bfd_byte *contents = NULL;
808	Elf_Internal_Sym *isymbuf = NULL;
809	static asection * first_section = NULL;
810	static unsigned long search_addr;
811	static unsigned long page_start = 0;
812	static unsigned long page_end = 0;
813	static unsigned int pass = 0;
814	static bfd_boolean new_pass = FALSE;
815	static bfd_boolean changed = FALSE;
816	struct misc misc;
817	asection *stab;
818
819	/* Assume nothing changes. */
820	*again = FALSE;
821
822	if (first_section == NULL)
823	{
824	ip2k_relaxed = TRUE;
825	first_section = sec;
826	}
827
828	if (first_section == sec)
829	{
830	pass++;
831	new_pass = TRUE;
832	}
833
834	/* We don't have to do anything for a relocatable link,
835	if this section does not have relocs, or if this is
836	not a code section. */
837	if (link_info->relocateable
838	\|\| (sec->flags & SEC_RELOC) == 0
839	\|\| sec->reloc_count == 0
840	\|\| (sec->flags & SEC_CODE) == 0)
841	return TRUE;
842
843	/* If this is the first time we have been called
844	for this section, initialise the cooked size. */
845	if (sec->_cooked_size == 0)
846	sec->_cooked_size = sec->_raw_size;
847
848	symtab_hdr = &elf_tdata (abfd)->symtab_hdr;
849
850	internal_relocs = _bfd_elf32_link_read_relocs (abfd, sec, NULL,
851	(Elf_Internal_Rela *)NULL,
852	link_info->keep_memory);
853	if (internal_relocs == NULL)
854	goto error_return;
855
856	/* Make sure the stac.rela stuff gets read in. */
857	stab = bfd_get_section_by_name (abfd, ".stab");
858
859	if (stab)
860	{
861	/* So stab does exits. */
862	Elf_Internal_Rela * irelbase;
863
864	irelbase = _bfd_elf32_link_read_relocs (abfd, stab, NULL,
865	(Elf_Internal_Rela *)NULL,
866	link_info->keep_memory);
867	}
868
869	/* Get section contents cached copy if it exists. */
870	if (contents == NULL)
871	{
872	/* Get cached copy if it exists. */
873	if (elf_section_data (sec)->this_hdr.contents != NULL)
874	contents = elf_section_data (sec)->this_hdr.contents;
875	else
876	{
877	/* Go get them off disk. */
878	contents = (bfd_byte *) bfd_malloc (sec->_raw_size);
879	if (contents == NULL)
880	goto error_return;
881
882	if (! bfd_get_section_contents (abfd, sec, contents,
883	(file_ptr) 0, sec->_raw_size))
884	goto error_return;
885	}
886	}
887
888	/* Read this BFD's symbols cached copy if it exists. */
889	if (isymbuf == NULL && symtab_hdr->sh_info != 0)
890	{
891	isymbuf = (Elf_Internal_Sym *) symtab_hdr->contents;
892	if (isymbuf == NULL)
893	isymbuf = bfd_elf_get_elf_syms (abfd, symtab_hdr,
894	symtab_hdr->sh_info, 0,
895	NULL, NULL, NULL);
896	if (isymbuf == NULL)
897	goto error_return;
898	}
899
900	misc.symtab_hdr = symtab_hdr;
901	misc.isymbuf = isymbuf;
902	misc.irelbase = internal_relocs;
903	misc.contents = contents;
904
905	/* This is where all the relaxation actually get done. */
906	if ((pass == 1) \|\| (new_pass && !changed))
907	{
908	/* On the first pass we simply search for the lowest page that
909	we havn't relaxed yet. Note that the pass count is reset
910	each time a page is complete in order to move on to the next page.
911	If we can't find any more pages then we are finished. */
912	if (new_pass)
913	{
914	pass = 1;
915	new_pass = FALSE;
916	changed = TRUE; /* Pre-initialize to break out of pass 1. */
917	search_addr = 0xFFFFFFFF;
918	}
919
920	if ((BASEADDR (sec) + sec->_cooked_size < search_addr)
921	&& (BASEADDR (sec) + sec->_cooked_size > page_end))
922	{
923	if (BASEADDR (sec) <= page_end)
924	search_addr = page_end + 1;
925	else
926	search_addr = BASEADDR (sec);
927
928	/* Found a page => more work to do. */
929	*again = TRUE;
930	}
931	}
932	else
933	{
934	if (new_pass)
935	{
936	new_pass = FALSE;
937	changed = FALSE;
938	page_start = PAGENO (search_addr);
939	page_end = page_start \| 0x00003FFF;
940	}
941
942	/* Only process sections in range. */
943	if ((BASEADDR (sec) + sec->_cooked_size >= page_start)
944	&& (BASEADDR (sec) <= page_end))
945	{
946	if (!ip2k_elf_relax_section_page (abfd, sec, &changed, &misc, page_start, page_end))
947	return FALSE;
948	}
949	*again = TRUE;
950	}
951
952	/* Perform some house keeping after relaxing the section. */
953
954	if (isymbuf != NULL
955	&& symtab_hdr->contents != (unsigned char *) isymbuf)
956	{
957	if (! link_info->keep_memory)
958	free (isymbuf);
959	else
960	symtab_hdr->contents = (unsigned char *) isymbuf;
961	}
962
963	if (contents != NULL
964	&& elf_section_data (sec)->this_hdr.contents != contents)
965	{
966	if (! link_info->keep_memory)
967	free (contents);
968	else
969	{
970	/* Cache the section contents for elf_link_input_bfd. */
971	elf_section_data (sec)->this_hdr.contents = contents;
972	}
973	}
974
975	if (internal_relocs != NULL
976	&& elf_section_data (sec)->relocs != internal_relocs)
977	free (internal_relocs);
978
979	return TRUE;
980
981	error_return:
982	if (isymbuf != NULL
983	&& symtab_hdr->contents != (unsigned char *) isymbuf)
984	free (isymbuf);
985	if (contents != NULL
986	&& elf_section_data (sec)->this_hdr.contents != contents)
987	free (contents);
988	if (internal_relocs != NULL
989	&& elf_section_data (sec)->relocs != internal_relocs)
990	free (internal_relocs);
991	return FALSE;
992	}
993
994	/* This function handles relaxation of a section in a specific page. */
995
996	static bfd_boolean
997	ip2k_elf_relax_section_page (abfd, sec, again, misc, page_start, page_end)
998	bfd *abfd;
999	asection *sec;
1000	bfd_boolean *again;
1001	struct misc *misc;
1002	unsigned long page_start;
1003	unsigned long page_end;
1004	{
1005	Elf_Internal_Rela *irelend = misc->irelbase + sec->reloc_count;
1006	Elf_Internal_Rela *irel;
1007	int switch_table_128;
1008	int switch_table_256;
1009
1010	/* Walk thru the section looking for relaxation opertunities. */
1011	for (irel = misc->irelbase; irel < irelend; irel++)
1012	{
1013	if (ELF32_R_TYPE (irel->r_info) != (int) R_IP2K_PAGE3)
1014	/* Ignore non page instructions. */
1015	continue;
1016
1017	if (BASEADDR (sec) + irel->r_offset < page_start)
1018	/* Ignore page instructions on earlier page - they have
1019	already been processed. Remember that there is code flow
1020	that crosses a page boundary. */
1021	continue;
1022
1023	if (BASEADDR (sec) + irel->r_offset > page_end)
1024	/* Flow beyond end of page => nothing more to do for this page. */
1025	return TRUE;
1026
1027	/* Detect switch tables. */
1028	switch_table_128 = ip2k_is_switch_table_128 (abfd, sec, irel->r_offset, misc->contents);
1029	switch_table_256 = ip2k_is_switch_table_256 (abfd, sec, irel->r_offset, misc->contents);
1030
1031	if ((switch_table_128 > 0) \|\| (switch_table_256 > 0))
1032	/* If the index is greater than 0 then it has already been processed. */
1033	continue;
1034
1035	if (switch_table_128 == 0)
1036	{
1037	if (!ip2k_relax_switch_table_128 (abfd, sec, irel, again, misc))
1038	return FALSE;
1039
1040	continue;
1041	}
1042
1043	if (switch_table_256 == 0)
1044	{
1045	if (!ip2k_relax_switch_table_256 (abfd, sec, irel, again, misc))
1046	return FALSE;
1047
1048	continue;
1049	}
1050
1051	/* Simple relax. */
1052	if (ip2k_test_page_insn (abfd, sec, irel, misc))
1053	{
1054	if (!ip2k_delete_page_insn (abfd, sec, irel, again, misc))
1055	return FALSE;
1056
1057	continue;
1058	}
1059	}
1060
1061	return TRUE;
1062	}
1063
1064	/* Parts of a Stabs entry. */
1065
1066	#define STRDXOFF (0)
1067	#define TYPEOFF (4)
1068	#define OTHEROFF (5)
1069	#define DESCOFF (6)
1070	#define VALOFF (8)
1071	#define STABSIZE (12)
1072
1073	/* Adjust all the relocations entries after adding or inserting instructions. */
1074
1075	static void
1076	adjust_all_relocations (abfd, sec, addr, endaddr, count, noadj)
1077	bfd *abfd;
1078	asection *sec;
1079	bfd_vma addr;
1080	bfd_vma endaddr;
1081	int count;
1082	int noadj;
1083	{
1084	Elf_Internal_Shdr *symtab_hdr;
1085	Elf_Internal_Sym isymbuf, isym, *isymend;
1086	unsigned int shndx;
1087	bfd_byte *contents;
1088	Elf_Internal_Rela irel, irelend, *irelbase;
1089	struct elf_link_hash_entry **sym_hashes;
1090	struct elf_link_hash_entry **end_hashes;
1091	unsigned int symcount;
1092	asection *stab;
1093
1094	symtab_hdr = &elf_tdata (abfd)->symtab_hdr;
1095	isymbuf = (Elf_Internal_Sym *) symtab_hdr->contents;
1096
1097	shndx = _bfd_elf_section_from_bfd_section (abfd, sec);
1098
1099	contents = elf_section_data (sec)->this_hdr.contents;
1100
1101	irelbase = elf_section_data (sec)->relocs;
1102	irelend = irelbase + sec->reloc_count;
1103
1104	for (irel = irelbase; irel < irelend; irel++)
1105	{
1106	if (ELF32_R_TYPE (irel->r_info) != R_IP2K_NONE)
1107	{
1108	/* Get the value of the symbol referred to by the reloc. */
1109	if (ELF32_R_SYM (irel->r_info) < symtab_hdr->sh_info)
1110	{
1111	asection *sym_sec;
1112
1113	/* A local symbol. */
1114	isym = isymbuf + ELF32_R_SYM (irel->r_info);
1115	sym_sec = bfd_section_from_elf_index (abfd, isym->st_shndx);
1116
1117	if (isym->st_shndx == shndx)
1118	{
1119	bfd_vma baseaddr = BASEADDR (sec);
1120	bfd_vma symval = BASEADDR (sym_sec) + isym->st_value
1121	+ irel->r_addend;
1122
1123	if ((baseaddr + addr + noadj) <= symval
1124	&& symval < (baseaddr + endaddr))
1125	irel->r_addend += count;
1126	}
1127	}
1128	}
1129
1130	/* Do this only for PC space relocations. */
1131	if (addr <= irel->r_offset && irel->r_offset < endaddr)
1132	irel->r_offset += count;
1133	}
1134
1135	/* Now fix the stab relocations. */
1136	stab = bfd_get_section_by_name (abfd, ".stab");
1137	if (stab)
1138	{
1139	bfd_byte stabcontents, stabend, *stabp;
1140
1141	irelbase = elf_section_data (stab)->relocs;
1142	irelend = irelbase + stab->reloc_count;
1143
1144	/* Pull out the contents of the stab section. */
1145	if (elf_section_data (stab)->this_hdr.contents != NULL)
1146	stabcontents = elf_section_data (stab)->this_hdr.contents;
1147	else
1148	{
1149	stabcontents = (bfd_byte *) bfd_alloc (abfd, stab->_raw_size);
1150	if (stabcontents == NULL)
1151	return;
1152
1153	if (! bfd_get_section_contents (abfd, stab, stabcontents,
1154	(file_ptr) 0, stab->_raw_size))
1155	return;
1156
1157	/* We need to remember this. */
1158	elf_section_data (stab)->this_hdr.contents = stabcontents;
1159	}
1160
1161	stabend = stabcontents + stab->_raw_size;
1162
1163	for (irel = irelbase; irel < irelend; irel++)
1164	{
1165	if (ELF32_R_TYPE (irel->r_info) != R_IP2K_NONE)
1166	{
1167	/* Get the value of the symbol referred to by the reloc. */
1168	if (ELF32_R_SYM (irel->r_info) < symtab_hdr->sh_info)
1169	{
1170	asection *sym_sec;
1171
1172	/* A local symbol. */
1173	isym = isymbuf + ELF32_R_SYM (irel->r_info);
1174	sym_sec = bfd_section_from_elf_index (abfd, isym->st_shndx);
1175
1176	if (sym_sec == sec)
1177	{
1178	const char *name;
1179	unsigned long strx;
1180	unsigned char type, other;
1181	unsigned short desc;
1182	bfd_vma value;
1183	bfd_vma baseaddr = BASEADDR (sec);
1184	bfd_vma symval = BASEADDR (sym_sec) + isym->st_value
1185	+ irel->r_addend;
1186
1187	if ((baseaddr + addr) <= symval
1188	&& symval <= (baseaddr + endaddr))
1189	irel->r_addend += count;
1190
1191	/* Go hunt up a function and fix its line info if needed. */
1192	stabp = stabcontents + irel->r_offset - 8;
1193
1194	/* Go pullout the stab entry. */
1195	strx = bfd_h_get_32 (abfd, stabp + STRDXOFF);
1196	type = bfd_h_get_8 (abfd, stabp + TYPEOFF);
1197	other = bfd_h_get_8 (abfd, stabp + OTHEROFF);
1198	desc = bfd_h_get_16 (abfd, stabp + DESCOFF);
1199	value = bfd_h_get_32 (abfd, stabp + VALOFF);
1200
1201	name = bfd_get_stab_name (type);
1202
1203	if (strcmp (name, "FUN") == 0)
1204	{
1205	int function_adjusted = 0;
1206
1207	if (symval > (baseaddr + addr))
1208	/* Not in this function. */
1209	continue;
1210
1211	/* Hey we got a function hit. */
1212	stabp += STABSIZE;
1213	for (;stabp < stabend; stabp += STABSIZE)
1214	{
1215	/* Go pullout the stab entry. */
1216	strx = bfd_h_get_32 (abfd, stabp + STRDXOFF);
1217	type = bfd_h_get_8 (abfd, stabp + TYPEOFF);
1218	other = bfd_h_get_8 (abfd, stabp + OTHEROFF);
1219	desc = bfd_h_get_16 (abfd, stabp + DESCOFF);
1220	value = bfd_h_get_32 (abfd, stabp + VALOFF);
1221
1222	name = bfd_get_stab_name (type);
1223
1224	if (strcmp (name, "FUN") == 0)
1225	{
1226	/* Hit another function entry. */
1227	if (function_adjusted)
1228	{
1229	/* Adjust the value. */
1230	value += count;
1231
1232	/* We need to put it back. */
1233	bfd_h_put_32 (abfd, value,stabp + VALOFF);
1234	}
1235
1236	/* And then bale out. */
1237	break;
1238	}
1239
1240	if (strcmp (name, "SLINE") == 0)
1241	{
1242	/* Got a line entry. */
1243	if ((baseaddr + addr) <= (symval + value))
1244	{
1245	/* Adjust the line entry. */
1246	value += count;
1247
1248	/* We need to put it back. */
1249	bfd_h_put_32 (abfd, value,stabp + VALOFF);
1250	function_adjusted = 1;
1251	}
1252	}
1253	}
1254	}
1255	}
1256	}
1257	}
1258	}
1259	}
1260
1261	/* When adding an instruction back it is sometimes necessary to move any
1262	global or local symbol that was referencing the first instruction of
1263	the moved block to refer to the first instruction of the inserted block.
1264
1265	For example adding a PAGE instruction before a CALL or JMP requires
1266	that any label on the CALL or JMP is moved to the PAGE insn. */
1267	addr += noadj;
1268
1269	/* Adjust the local symbols defined in this section. */
1270	isymend = isymbuf + symtab_hdr->sh_info;
1271	for (isym = isymbuf; isym < isymend; isym++)
1272	{
1273	if (isym->st_shndx == shndx
1274	&& addr <= isym->st_value
1275	&& isym->st_value < endaddr)
1276	isym->st_value += count;
1277	}
1278
1279	/* Now adjust the global symbols defined in this section. */
1280	symcount = (symtab_hdr->sh_size / sizeof (Elf32_External_Sym)
1281	- symtab_hdr->sh_info);
1282	sym_hashes = elf_sym_hashes (abfd);
1283	end_hashes = sym_hashes + symcount;
1284	for (; sym_hashes < end_hashes; sym_hashes++)
1285	{
1286	struct elf_link_hash_entry sym_hash = sym_hashes;
1287
1288	if ((sym_hash->root.type == bfd_link_hash_defined
1289	\|\| sym_hash->root.type == bfd_link_hash_defweak)
1290	&& sym_hash->root.u.def.section == sec)
1291	{
1292	if (addr <= sym_hash->root.u.def.value
1293	&& sym_hash->root.u.def.value < endaddr)
1294	sym_hash->root.u.def.value += count;
1295	}
1296	}
1297
1298	return;
1299	}
1300
1301	/* Delete some bytes from a section while relaxing. */
1302
1303	static bfd_boolean
1304	ip2k_elf_relax_delete_bytes (abfd, sec, addr, count)
1305	bfd *abfd;
1306	asection *sec;
1307	bfd_vma addr;
1308	int count;
1309	{
1310	bfd_byte *contents = elf_section_data (sec)->this_hdr.contents;
1311	bfd_vma endaddr = sec->_cooked_size;
1312
1313	/* Actually delete the bytes. */
1314	memmove (contents + addr, contents + addr + count,
1315	endaddr - addr - count);
1316
1317	sec->_cooked_size -= count;
1318
1319	adjust_all_relocations (abfd, sec, addr + count, endaddr, -count, 0);
1320	return TRUE;
1321	}
1322
1323	/* -------------------------------------------------------------------- */
1324
1325	/* XXX: The following code is the result of a cut&paste. This unfortunate
1326	practice is very widespread in the various target back-end files. */
1327
1328	/* Set the howto pointer for a IP2K ELF reloc. */
1329
1330	static void
1331	ip2k_info_to_howto_rela (abfd, cache_ptr, dst)
1332	bfd * abfd ATTRIBUTE_UNUSED;
1333	arelent * cache_ptr;
1334	Elf_Internal_Rela * dst;
1335	{
1336	unsigned int r_type;
1337
1338	r_type = ELF32_R_TYPE (dst->r_info);
1339	switch (r_type)
1340	{
1341	default:
1342	cache_ptr->howto = & ip2k_elf_howto_table [r_type];
1343	break;
1344	}
1345	}
1346
1347	/* Perform a single relocation.
1348	By default we use the standard BFD routines. */
1349
1350	static bfd_reloc_status_type
1351	ip2k_final_link_relocate (howto, input_bfd, input_section, contents, rel,
1352	relocation)
1353	reloc_howto_type * howto;
1354	bfd * input_bfd;
1355	asection * input_section;
1356	bfd_byte * contents;
1357	Elf_Internal_Rela * rel;
1358	bfd_vma relocation;
1359	{
1360	static bfd_vma page_addr = 0;
1361
1362	bfd_reloc_status_type r = bfd_reloc_ok;
1363	switch (howto->type)
1364	{
1365	/* Handle data space relocations. */
1366	case R_IP2K_FR9:
1367	case R_IP2K_BANK:
1368	if ((relocation & IP2K_DATA_MASK) == IP2K_DATA_VALUE)
1369	relocation &= ~IP2K_DATA_MASK;
1370	else
1371	r = bfd_reloc_notsupported;
1372	break;
1373
1374	case R_IP2K_LO8DATA:
1375	case R_IP2K_HI8DATA:
1376	case R_IP2K_EX8DATA:
1377	break;
1378
1379	/* Handle insn space relocations. */
1380	case R_IP2K_PAGE3:
1381	page_addr = BASEADDR (input_section) + rel->r_offset;
1382	if ((relocation & IP2K_INSN_MASK) == IP2K_INSN_VALUE)
1383	relocation &= ~IP2K_INSN_MASK;
1384	else
1385	r = bfd_reloc_notsupported;
1386	break;
1387
1388	case R_IP2K_ADDR16CJP:
1389	if (BASEADDR (input_section) + rel->r_offset != page_addr + 2)
1390	{
1391	/* No preceeding page instruction, verify that it isn't needed. */
1392	if (PAGENO (relocation + rel->r_addend) !=
1393	ip2k_nominal_page_bits (input_bfd, input_section,
1394	rel->r_offset, contents))
1395	_bfd_error_handler (_("ip2k linker: missing page instruction at 0x%08lx (dest = 0x%08lx)."),
1396	BASEADDR (input_section) + rel->r_offset,
1397	relocation + rel->r_addend);
1398	}
1399	else if (ip2k_relaxed)
1400	{
1401	/* Preceeding page instruction. Verify that the page instruction is
1402	really needed. One reason for the relaxation to miss a page is if
1403	the section is not marked as executable. */
1404	if (!ip2k_is_switch_table_128 (input_bfd, input_section, rel->r_offset - 2, contents) &&
1405	!ip2k_is_switch_table_256 (input_bfd, input_section, rel->r_offset - 2, contents) &&
1406	(PAGENO (relocation + rel->r_addend) ==
1407	ip2k_nominal_page_bits (input_bfd, input_section,
1408	rel->r_offset - 2, contents)))
1409	_bfd_error_handler (_("ip2k linker: redundant page instruction at 0x%08lx (dest = 0x%08lx)."),
1410	page_addr,
1411	relocation + rel->r_addend);
1412	}
1413	if ((relocation & IP2K_INSN_MASK) == IP2K_INSN_VALUE)
1414	relocation &= ~IP2K_INSN_MASK;
1415	else
1416	r = bfd_reloc_notsupported;
1417	break;
1418
1419	case R_IP2K_LO8INSN:
1420	case R_IP2K_HI8INSN:
1421	case R_IP2K_PC_SKIP:
1422	if ((relocation & IP2K_INSN_MASK) == IP2K_INSN_VALUE)
1423	relocation &= ~IP2K_INSN_MASK;
1424	else
1425	r = bfd_reloc_notsupported;
1426	break;
1427
1428	case R_IP2K_16:
1429	/* If this is a relocation involving a TEXT
1430	symbol, reduce it to a word address. */
1431	if ((relocation & IP2K_INSN_MASK) == IP2K_INSN_VALUE)
1432	howto = &ip2k_elf_howto_table[ (int) R_IP2K_TEXT];
1433	break;
1434
1435	/* Pass others through. */
1436	default:
1437	break;
1438	}
1439
1440	/* Only install relocation if above tests did not disqualify it. */
1441	if (r == bfd_reloc_ok)
1442	r = _bfd_final_link_relocate (howto, input_bfd, input_section,
1443	contents, rel->r_offset,
1444	relocation, rel->r_addend);
1445
1446	return r;
1447	}
1448
1449	/* Relocate a IP2K ELF section.
1450
1451	The RELOCATE_SECTION function is called by the new ELF backend linker
1452	to handle the relocations for a section.
1453
1454	The relocs are always passed as Rela structures; if the section
1455	actually uses Rel structures, the r_addend field will always be
1456	zero.
1457
1458	This function is responsible for adjusting the section contents as
1459	necessary, and (if using Rela relocs and generating a relocateable
1460	output file) adjusting the reloc addend as necessary.
1461
1462	This function does not have to worry about setting the reloc
1463	address or the reloc symbol index.
1464
1465	LOCAL_SYMS is a pointer to the swapped in local symbols.
1466
1467	LOCAL_SECTIONS is an array giving the section in the input file
1468	corresponding to the st_shndx field of each local symbol.
1469
1470	The global hash table entry for the global symbols can be found
1471	via elf_sym_hashes (input_bfd).
1472
1473	When generating relocateable output, this function must handle
1474	STB_LOCAL/STT_SECTION symbols specially. The output symbol is
1475	going to be the section symbol corresponding to the output
1476	section, which means that the addend must be adjusted
1477	accordingly. */
1478
1479	static bfd_boolean
1480	ip2k_elf_relocate_section (output_bfd, info, input_bfd, input_section,
1481	contents, relocs, local_syms, local_sections)
1482	bfd *output_bfd ATTRIBUTE_UNUSED;
1483	struct bfd_link_info *info;
1484	bfd *input_bfd;
1485	asection *input_section;
1486	bfd_byte *contents;
1487	Elf_Internal_Rela *relocs;
1488	Elf_Internal_Sym *local_syms;
1489	asection **local_sections;
1490	{
1491	Elf_Internal_Shdr *symtab_hdr;
1492	struct elf_link_hash_entry **sym_hashes;
1493	Elf_Internal_Rela *rel;
1494	Elf_Internal_Rela *relend;
1495
1496	if (info->relocateable)
1497	return TRUE;
1498
1499	symtab_hdr = & elf_tdata (input_bfd)->symtab_hdr;
1500	sym_hashes = elf_sym_hashes (input_bfd);
1501	relend = relocs + input_section->reloc_count;
1502
1503	for (rel = relocs; rel < relend; rel ++)
1504	{
1505	reloc_howto_type * howto;
1506	unsigned long r_symndx;
1507	Elf_Internal_Sym * sym;
1508	asection * sec;
1509	struct elf_link_hash_entry * h;
1510	bfd_vma relocation;
1511	bfd_reloc_status_type r;
1512	const char * name = NULL;
1513	int r_type;
1514
1515	/* This is a final link. */
1516	r_type = ELF32_R_TYPE (rel->r_info);
1517	r_symndx = ELF32_R_SYM (rel->r_info);
1518	howto = ip2k_elf_howto_table + ELF32_R_TYPE (rel->r_info);
1519	h = NULL;
1520	sym = NULL;
1521	sec = NULL;
1522
1523	if (r_symndx < symtab_hdr->sh_info)
1524	{
1525	sym = local_syms + r_symndx;
1526	sec = local_sections [r_symndx];
1527	relocation = BASEADDR (sec) + sym->st_value;
1528
1529	name = bfd_elf_string_from_elf_section
1530	(input_bfd, symtab_hdr->sh_link, sym->st_name);
1531	name = (name == NULL) ? bfd_section_name (input_bfd, sec) : name;
1532	}
1533	else
1534	{
1535	h = sym_hashes [r_symndx - symtab_hdr->sh_info];
1536
1537	while (h->root.type == bfd_link_hash_indirect
1538	\|\| h->root.type == bfd_link_hash_warning)
1539	h = (struct elf_link_hash_entry *) h->root.u.i.link;
1540
1541	name = h->root.root.string;
1542
1543	if (h->root.type == bfd_link_hash_defined
1544	\|\| h->root.type == bfd_link_hash_defweak)
1545	{
1546	sec = h->root.u.def.section;
1547	relocation = h->root.u.def.value + BASEADDR (sec);
1548	}
1549
1550	else if (h->root.type == bfd_link_hash_undefweak)
1551	relocation = 0;
1552
1553	else
1554	{
1555	if (! ((*info->callbacks->undefined_symbol)
1556	(info, h->root.root.string, input_bfd,
1557	input_section, rel->r_offset,
1558	(! info->shared \|\| info->no_undefined))))
1559	return FALSE;
1560	relocation = 0;
1561	}
1562	}
1563
1564	/* Finally, the sole IP2K-specific part. */
1565	r = ip2k_final_link_relocate (howto, input_bfd, input_section,
1566	contents, rel, relocation);
1567
1568	if (r != bfd_reloc_ok)
1569	{
1570	const char * msg = (const char *) NULL;
1571
1572	switch (r)
1573	{
1574	case bfd_reloc_overflow:
1575	r = info->callbacks->reloc_overflow
1576	(info, name, howto->name, (bfd_vma) 0,
1577	input_bfd, input_section, rel->r_offset);
1578	break;
1579
1580	case bfd_reloc_undefined:
1581	r = info->callbacks->undefined_symbol
1582	(info, name, input_bfd, input_section, rel->r_offset, TRUE);
1583	break;
1584
1585	case bfd_reloc_outofrange:
1586	msg = _("internal error: out of range error");
1587	break;
1588
1589	/* This is how ip2k_final_link_relocate tells us of a non-kosher
1590	reference between insn & data address spaces. */
1591	case bfd_reloc_notsupported:
1592	if (sym != NULL) /* Only if it's not an unresolved symbol. */
1593	msg = _("unsupported relocation between data/insn address spaces");
1594	break;
1595
1596	case bfd_reloc_dangerous:
1597	msg = _("internal error: dangerous relocation");
1598	break;
1599
1600	default:
1601	msg = _("internal error: unknown error");
1602	break;
1603	}
1604
1605	if (msg)
1606	r = info->callbacks->warning
1607	(info, msg, name, input_bfd, input_section, rel->r_offset);
1608
1609	if (! r)
1610	return FALSE;
1611	}
1612	}
1613
1614	return TRUE;
1615	}
1616
1617	static asection *
1618	ip2k_elf_gc_mark_hook (sec, info, rel, h, sym)
1619	asection *sec;
1620	struct bfd_link_info *info ATTRIBUTE_UNUSED;
1621	Elf_Internal_Rela *rel;
1622	struct elf_link_hash_entry *h;
1623	Elf_Internal_Sym *sym;
1624	{
1625	if (h != NULL)
1626	{
1627	switch (ELF32_R_TYPE (rel->r_info))
1628	{
1629	#if 0
1630	case R_IP2K_GNU_VTINHERIT:
1631	case R_IP2K_GNU_VTENTRY:
1632	break;
1633	#endif
1634
1635	default:
1636	switch (h->root.type)
1637	{
1638	case bfd_link_hash_defined:
1639	case bfd_link_hash_defweak:
1640	return h->root.u.def.section;
1641
1642	case bfd_link_hash_common:
1643	return h->root.u.c.p->section;
1644
1645	default:
1646	break;
1647	}
1648	}
1649	}
1650	else
1651	{
1652	if (!(elf_bad_symtab (sec->owner)
1653	&& ELF_ST_BIND (sym->st_info) != STB_LOCAL)
1654	&& ! ((sym->st_shndx <= 0 \|\| sym->st_shndx >= SHN_LORESERVE)
1655	&& sym->st_shndx != SHN_COMMON))
1656	return bfd_section_from_elf_index (sec->owner, sym->st_shndx);
1657	}
1658	return NULL;
1659	}
1660
1661	static bfd_boolean
1662	ip2k_elf_gc_sweep_hook (abfd, info, sec, relocs)
1663	bfd *abfd ATTRIBUTE_UNUSED;
1664	struct bfd_link_info *info ATTRIBUTE_UNUSED;
1665	asection *sec ATTRIBUTE_UNUSED;
1666	const Elf_Internal_Rela *relocs ATTRIBUTE_UNUSED;
1667	{
1668	/* We don't use got and plt entries for ip2k. */
1669	return TRUE;
1670	}
1671
1672	#define TARGET_BIG_SYM bfd_elf32_ip2k_vec
1673	#define TARGET_BIG_NAME "elf32-ip2k"
1674
1675	#define ELF_ARCH bfd_arch_ip2k
1676	#define ELF_MACHINE_CODE EM_IP2K
1677	#define ELF_MACHINE_ALT1 EM_IP2K_OLD
1678	#define ELF_MAXPAGESIZE 1 /* No pages on the IP2K. */
1679
1680	#define elf_info_to_howto_rel NULL
1681	#define elf_info_to_howto ip2k_info_to_howto_rela
1682
1683	#define elf_backend_can_gc_sections 1
1684	#define elf_backend_rela_normal 1
1685	#define elf_backend_gc_mark_hook ip2k_elf_gc_mark_hook
1686	#define elf_backend_gc_sweep_hook ip2k_elf_gc_sweep_hook
1687	#define elf_backend_relocate_section ip2k_elf_relocate_section
1688
1689	#define elf_symbol_leading_char '_'
1690	#define bfd_elf32_bfd_reloc_type_lookup ip2k_reloc_type_lookup
1691	#define bfd_elf32_bfd_relax_section ip2k_elf_relax_section
1692
1693	#include "elf32-target.h"

Note: See TracBrowser for help on using the repository browser.

Download in other formats: