mips_reloc.c revision 1.46 1 /* $NetBSD: mips_reloc.c,v 1.46 2004/12/15 10:26:29 skrll Exp $ */
2
3 /*
4 * Copyright 1997 Michael L. Hitch <mhitch (at) montana.edu>
5 * Portions copyright 2002 Charles M. Hannum <root (at) ihack.net>
6 * All rights reserved.
7 *
8 * Redistribution and use in source and binary forms, with or without
9 * modification, are permitted provided that the following conditions
10 * are met:
11 * 1. Redistributions of source code must retain the above copyright
12 * notice, this list of conditions and the following disclaimer.
13 * 2. Redistributions in binary form must reproduce the above copyright
14 * notice, this list of conditions and the following disclaimer in the
15 * documentation and/or other materials provided with the distribution.
16 * 3. The name of the author may not be used to endorse or promote products
17 * derived from this software without specific prior written permission.
18 *
19 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
20 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
21 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
22 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
23 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
24 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
25 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
26 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
27 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
28 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
29 */
30
31 #include <sys/types.h>
32 #include <sys/stat.h>
33
34 #include <stdlib.h>
35 #include <string.h>
36
37 #include "debug.h"
38 #include "rtld.h"
39
40 #define SUPPORT_OLD_BROKEN_LD
41
42 void _rtld_bind_start(void);
43 void _rtld_relocate_nonplt_self(Elf_Dyn *, Elf_Addr);
44 caddr_t _rtld_bind(Elf_Word, Elf_Addr, Elf_Addr, Elf_Addr);
45
46 /*
47 * It is possible for the compiler to emit relocations for unaligned data.
48 * We handle this situation with these inlines.
49 */
50 #define RELOC_ALIGNED_P(x) \
51 (((uintptr_t)(x) & (sizeof(void *) - 1)) == 0)
52
53 static __inline Elf_Addr
54 load_ptr(void *where)
55 {
56 Elf_Addr res;
57
58 memcpy(&res, where, sizeof(res));
59
60 return res;
61 }
62
63 static __inline void
64 store_ptr(void *where, Elf_Addr val)
65 {
66
67 memcpy(where, &val, sizeof(val));
68 }
69
70
71 void
72 _rtld_setup_pltgot(const Obj_Entry *obj)
73 {
74 obj->pltgot[0] = (Elf_Addr) &_rtld_bind_start;
75 /* XXX only if obj->pltgot[1] & 0x80000000 ?? */
76 obj->pltgot[1] |= (Elf_Addr) obj;
77 }
78
79 void
80 _rtld_relocate_nonplt_self(Elf_Dyn *dynp, Elf_Addr relocbase)
81 {
82 const Elf_Rel *rel = 0, *rellim;
83 Elf_Addr relsz = 0;
84 Elf_Addr *where;
85 const Elf_Sym *symtab, *sym;
86 Elf_Addr *got;
87 Elf_Word local_gotno, symtabno, gotsym;
88 int i;
89
90 for (; dynp->d_tag != DT_NULL; dynp++) {
91 switch (dynp->d_tag) {
92 case DT_REL:
93 rel = (const Elf_Rel *)(relocbase + dynp->d_un.d_ptr);
94 break;
95 case DT_RELSZ:
96 relsz = dynp->d_un.d_val;
97 break;
98 case DT_SYMTAB:
99 symtab = (const Elf_Sym *)(relocbase + dynp->d_un.d_ptr);
100 break;
101 case DT_PLTGOT:
102 got = (Elf_Addr *)(relocbase + dynp->d_un.d_ptr);
103 break;
104 case DT_MIPS_LOCAL_GOTNO:
105 local_gotno = dynp->d_un.d_val;
106 break;
107 case DT_MIPS_SYMTABNO:
108 symtabno = dynp->d_un.d_val;
109 break;
110 case DT_MIPS_GOTSYM:
111 gotsym = dynp->d_un.d_val;
112 break;
113 }
114 }
115
116 i = (got[1] & 0x80000000) ? 2 : 1;
117 /* Relocate the local GOT entries */
118 got += i;
119 for (; i < local_gotno; i++)
120 *got++ += relocbase;
121 sym = symtab + gotsym;
122 /* Now do the global GOT entries */
123 for (i = gotsym; i < symtabno; i++) {
124 *got = sym->st_value + relocbase;
125 ++sym;
126 ++got;
127 }
128
129 rellim = (const Elf_Rel *)((caddr_t)rel + relsz);
130 for (; rel < rellim; rel++) {
131 where = (Elf_Addr *)(relocbase + rel->r_offset);
132
133 switch (ELF_R_TYPE(rel->r_info)) {
134 case R_TYPE(NONE):
135 break;
136
137 case R_TYPE(REL32):
138 assert(ELF_R_SYM(rel->r_info) < gotsym);
139 sym = symtab + ELF_R_SYM(rel->r_info);
140 assert(ELF_ST_BIND(sym->st_info) == STB_LOCAL);
141 if (__predict_true(RELOC_ALIGNED_P(where)))
142 *where += relocbase;
143 else
144 store_ptr(where, load_ptr(where) + relocbase);
145 break;
146
147 default:
148 abort();
149 }
150 }
151 }
152
153 int
154 _rtld_relocate_nonplt_objects(const Obj_Entry *obj)
155 {
156 const Elf_Rel *rel;
157 Elf_Addr *got = obj->pltgot;
158 const Elf_Sym *sym, *def;
159 const Obj_Entry *defobj;
160 int i;
161 #ifdef SUPPORT_OLD_BROKEN_LD
162 int broken;
163 #endif
164
165 #ifdef SUPPORT_OLD_BROKEN_LD
166 broken = 0;
167 sym = obj->symtab;
168 for (i = 1; i < 12; i++)
169 if (sym[i].st_info == ELF_ST_INFO(STB_LOCAL, STT_NOTYPE))
170 broken = 1;
171 dbg(("%s: broken=%d", obj->path, broken));
172 #endif
173
174 i = (got[1] & 0x80000000) ? 2 : 1;
175 /* Relocate the local GOT entries */
176 got += i;
177 for (; i < obj->local_gotno; i++)
178 *got++ += (Elf_Addr)obj->relocbase;
179 sym = obj->symtab + obj->gotsym;
180 /* Now do the global GOT entries */
181 for (i = obj->gotsym; i < obj->symtabno; i++) {
182 rdbg((" doing got %d sym %p (%s, %x)", i - obj->gotsym, sym,
183 sym->st_name + obj->strtab, *got));
184
185 #ifdef SUPPORT_OLD_BROKEN_LD
186 if (ELF_ST_TYPE(sym->st_info) == STT_FUNC &&
187 broken && sym->st_shndx == SHN_UNDEF) {
188 /*
189 * XXX DANGER WILL ROBINSON!
190 * You might think this is stupid, as it intentionally
191 * defeats lazy binding -- and you'd be right.
192 * Unfortunately, for lazy binding to work right, we
193 * need to a way to force the GOT slots used for
194 * function pointers to be resolved immediately. This
195 * is supposed to be done automatically by the linker,
196 * by not outputting a PLT slot and setting st_value
197 * to 0 if there are non-PLT references, but older
198 * versions of GNU ld do not do this.
199 */
200 def = _rtld_find_symdef(i, obj, &defobj, false);
201 if (def == NULL)
202 return -1;
203 *got = def->st_value + (Elf_Addr)defobj->relocbase;
204 } else
205 #endif
206 if (ELF_ST_TYPE(sym->st_info) == STT_FUNC &&
207 sym->st_value != 0 && sym->st_shndx == SHN_UNDEF) {
208 /*
209 * If there are non-PLT references to the function,
210 * st_value should be 0, forcing us to resolve the
211 * address immediately.
212 *
213 * XXX DANGER WILL ROBINSON!
214 * The linker is not outputting PLT slots for calls to
215 * functions that are defined in the same shared
216 * library. This is a bug, because it can screw up
217 * link ordering rules if the symbol is defined in
218 * more than one module. For now, if there is a
219 * definition, we fail the test above and force a full
220 * symbol lookup. This means that all intra-module
221 * calls are bound immediately. - mycroft, 2003/09/24
222 */
223 *got = sym->st_value + (Elf_Addr)obj->relocbase;
224 } else if (sym->st_info == ELF_ST_INFO(STB_GLOBAL, STT_SECTION)) {
225 /* Symbols with index SHN_ABS are not relocated. */
226 if (sym->st_shndx != SHN_ABS)
227 *got = sym->st_value +
228 (Elf_Addr)obj->relocbase;
229 } else {
230 def = _rtld_find_symdef(i, obj, &defobj, false);
231 if (def == NULL)
232 return -1;
233 *got = def->st_value + (Elf_Addr)defobj->relocbase;
234 }
235
236 rdbg((" --> now %x", *got));
237 ++sym;
238 ++got;
239 }
240
241 got = obj->pltgot;
242 for (rel = obj->rel; rel < obj->rellim; rel++) {
243 Elf_Addr *where, tmp;
244 unsigned long symnum;
245
246 where = (Elf_Addr *)(obj->relocbase + rel->r_offset);
247 symnum = ELF_R_SYM(rel->r_info);
248
249 switch (ELF_R_TYPE(rel->r_info)) {
250 case R_TYPE(NONE):
251 break;
252
253 case R_TYPE(REL32):
254 /* 32-bit PC-relative reference */
255 def = obj->symtab + symnum;
256
257 if (symnum >= obj->gotsym) {
258 if (__predict_true(RELOC_ALIGNED_P(where)))
259 tmp = *where;
260 else
261 tmp = load_ptr(where);
262 tmp += got[obj->local_gotno + symnum - obj->gotsym];
263 if (__predict_true(RELOC_ALIGNED_P(where)))
264 *where = tmp;
265 else
266 store_ptr(where, tmp);
267
268 rdbg(("REL32/G %s in %s --> %p in %s",
269 obj->strtab + def->st_name, obj->path,
270 (void *)tmp, obj->path));
271 break;
272 } else {
273 /*
274 * XXX: ABI DIFFERENCE!
275 *
276 * Old NetBSD binutils would generate shared
277 * libs with section-relative relocations being
278 * already adjusted for the start address of
279 * the section.
280 *
281 * New binutils, OTOH, generate shared libs
282 * with the same relocations being based at
283 * zero, so we need to add in the start address
284 * of the section.
285 *
286 * --rkb, Oct 6, 2001
287 */
288 if (__predict_true(RELOC_ALIGNED_P(where)))
289 tmp = *where;
290 else
291 tmp = load_ptr(where);
292
293 if (def->st_info ==
294 ELF_ST_INFO(STB_LOCAL, STT_SECTION)
295 #ifdef SUPPORT_OLD_BROKEN_LD
296 && !broken
297 #endif
298 )
299 tmp += (Elf_Addr)def->st_value;
300
301 tmp += (Elf_Addr)obj->relocbase;
302 if (__predict_true(RELOC_ALIGNED_P(where)))
303 *where = tmp;
304 else
305 store_ptr(where, tmp);
306
307 rdbg(("REL32/L %s in %s --> %p in %s",
308 obj->strtab + def->st_name, obj->path,
309 (void *)tmp, obj->path));
310 }
311 break;
312
313 default:
314 rdbg(("sym = %lu, type = %lu, offset = %p, "
315 "contents = %p, symbol = %s",
316 symnum, (u_long)ELF_R_TYPE(rel->r_info),
317 (void *)rel->r_offset, (void *)load_ptr(where),
318 obj->strtab + obj->symtab[symnum].st_name));
319 _rtld_error("%s: Unsupported relocation type %ld "
320 "in non-PLT relocations\n",
321 obj->path, (u_long) ELF_R_TYPE(rel->r_info));
322 return -1;
323 }
324 }
325
326 return 0;
327 }
328
329 int
330 _rtld_relocate_plt_lazy(const Obj_Entry *obj)
331 {
332 /* PLT fixups were done above in the GOT relocation. */
333 return 0;
334 }
335
336 caddr_t
337 _rtld_bind(Elf_Word a0, Elf_Addr a1, Elf_Addr a2, Elf_Addr a3)
338 {
339 Elf_Addr *got = (Elf_Addr *)(a2 - 0x7ff0);
340 const Obj_Entry *obj = (Obj_Entry *)(got[1] & 0x7fffffff);
341 const Elf_Sym *def;
342 const Obj_Entry *defobj;
343 Elf_Addr new_value;
344
345 def = _rtld_find_symdef(a0, obj, &defobj, true);
346 if (def == NULL)
347 _rtld_die();
348
349 new_value = (Elf_Addr)(defobj->relocbase + def->st_value);
350 rdbg(("bind now/fixup in %s --> new=%p",
351 defobj->strtab + def->st_name, (void *)new_value));
352 got[obj->local_gotno + a0 - obj->gotsym] = new_value;
353 return ((caddr_t)new_value);
354 }
355