mdreloc.c revision 1.36 1 1.36 matt /* $NetBSD: mdreloc.c,v 1.36 2011/04/12 16:40:04 matt Exp $ */
2 1.26 skrll
3 1.26 skrll #include <sys/cdefs.h>
4 1.26 skrll #ifndef lint
5 1.36 matt __RCSID("$NetBSD: mdreloc.c,v 1.36 2011/04/12 16:40:04 matt Exp $");
6 1.26 skrll #endif /* not lint */
7 1.11 junyoung
8 1.1 mycroft #include <sys/types.h>
9 1.23 mrg #include <string.h>
10 1.1 mycroft
11 1.1 mycroft #include "debug.h"
12 1.1 mycroft #include "rtld.h"
13 1.1 mycroft
14 1.13 mycroft void _rtld_bind_start(void);
15 1.12 mycroft void _rtld_relocate_nonplt_self(Elf_Dyn *, Elf_Addr);
16 1.22 skrll caddr_t _rtld_bind(const Obj_Entry *, Elf_Word);
17 1.12 mycroft
18 1.1 mycroft void
19 1.1 mycroft _rtld_setup_pltgot(const Obj_Entry *obj)
20 1.1 mycroft {
21 1.1 mycroft obj->pltgot[1] = (Elf_Addr) obj;
22 1.1 mycroft obj->pltgot[2] = (Elf_Addr) &_rtld_bind_start;
23 1.1 mycroft }
24 1.2 mycroft
25 1.12 mycroft void
26 1.22 skrll _rtld_relocate_nonplt_self(Elf_Dyn *dynp, Elf_Addr relocbase)
27 1.12 mycroft {
28 1.12 mycroft const Elf_Rel *rel = 0, *rellim;
29 1.12 mycroft Elf_Addr relsz = 0;
30 1.12 mycroft Elf_Addr *where;
31 1.12 mycroft
32 1.12 mycroft for (; dynp->d_tag != DT_NULL; dynp++) {
33 1.12 mycroft switch (dynp->d_tag) {
34 1.12 mycroft case DT_REL:
35 1.12 mycroft rel = (const Elf_Rel *)(relocbase + dynp->d_un.d_ptr);
36 1.12 mycroft break;
37 1.12 mycroft case DT_RELSZ:
38 1.12 mycroft relsz = dynp->d_un.d_val;
39 1.12 mycroft break;
40 1.12 mycroft }
41 1.12 mycroft }
42 1.29 lukem rellim = (const Elf_Rel *)((const uint8_t *)rel + relsz);
43 1.12 mycroft for (; rel < rellim; rel++) {
44 1.12 mycroft where = (Elf_Addr *)(relocbase + rel->r_offset);
45 1.12 mycroft *where += (Elf_Addr)relocbase;
46 1.12 mycroft }
47 1.12 mycroft }
48 1.12 mycroft
49 1.16 thorpej /*
50 1.16 thorpej * It is possible for the compiler to emit relocations for unaligned data.
51 1.16 thorpej * We handle this situation with these inlines.
52 1.16 thorpej */
53 1.16 thorpej #define RELOC_ALIGNED_P(x) \
54 1.16 thorpej (((uintptr_t)(x) & (sizeof(void *) - 1)) == 0)
55 1.16 thorpej
56 1.27 perry static inline Elf_Addr
57 1.16 thorpej load_ptr(void *where)
58 1.16 thorpej {
59 1.16 thorpej Elf_Addr res;
60 1.16 thorpej
61 1.16 thorpej memcpy(&res, where, sizeof(res));
62 1.16 thorpej
63 1.16 thorpej return (res);
64 1.16 thorpej }
65 1.16 thorpej
66 1.27 perry static inline void
67 1.16 thorpej store_ptr(void *where, Elf_Addr val)
68 1.16 thorpej {
69 1.16 thorpej
70 1.16 thorpej memcpy(where, &val, sizeof(val));
71 1.16 thorpej }
72 1.16 thorpej
73 1.2 mycroft int
74 1.34 joerg _rtld_relocate_nonplt_objects(Obj_Entry *obj)
75 1.2 mycroft {
76 1.3 mycroft const Elf_Rel *rel;
77 1.12 mycroft
78 1.3 mycroft for (rel = obj->rel; rel < obj->rellim; rel++) {
79 1.3 mycroft Elf_Addr *where;
80 1.3 mycroft const Elf_Sym *def;
81 1.3 mycroft const Obj_Entry *defobj;
82 1.3 mycroft Elf_Addr tmp;
83 1.4 mycroft unsigned long symnum;
84 1.3 mycroft
85 1.3 mycroft where = (Elf_Addr *)(obj->relocbase + rel->r_offset);
86 1.4 mycroft symnum = ELF_R_SYM(rel->r_info);
87 1.3 mycroft
88 1.3 mycroft switch (ELF_R_TYPE(rel->r_info)) {
89 1.3 mycroft case R_TYPE(NONE):
90 1.3 mycroft break;
91 1.2 mycroft
92 1.2 mycroft #if 1 /* XXX should not occur */
93 1.3 mycroft case R_TYPE(PC24): { /* word32 S - P + A */
94 1.3 mycroft Elf32_Sword addend;
95 1.2 mycroft
96 1.3 mycroft /*
97 1.3 mycroft * Extract addend and sign-extend if needed.
98 1.3 mycroft */
99 1.17 thorpej addend = *where;
100 1.3 mycroft if (addend & 0x00800000)
101 1.3 mycroft addend |= 0xff000000;
102 1.3 mycroft
103 1.4 mycroft def = _rtld_find_symdef(symnum, obj, &defobj, false);
104 1.3 mycroft if (def == NULL)
105 1.3 mycroft return -1;
106 1.3 mycroft tmp = (Elf_Addr)obj->relocbase + def->st_value
107 1.3 mycroft - (Elf_Addr)where + (addend << 2);
108 1.3 mycroft if ((tmp & 0xfe000000) != 0xfe000000 &&
109 1.3 mycroft (tmp & 0xfe000000) != 0) {
110 1.3 mycroft _rtld_error(
111 1.3 mycroft "%s: R_ARM_PC24 relocation @ %p to %s failed "
112 1.3 mycroft "(displacement %ld (%#lx) out of range)",
113 1.3 mycroft obj->path, where,
114 1.5 mycroft obj->strtab + obj->symtab[symnum].st_name,
115 1.5 mycroft (long) tmp, (long) tmp);
116 1.3 mycroft return -1;
117 1.3 mycroft }
118 1.3 mycroft tmp >>= 2;
119 1.17 thorpej *where = (*where & 0xff000000) | (tmp & 0x00ffffff);
120 1.14 mycroft rdbg(("PC24 %s in %s --> %p @ %p in %s",
121 1.5 mycroft obj->strtab + obj->symtab[symnum].st_name,
122 1.17 thorpej obj->path, (void *)*where, where, defobj->path));
123 1.3 mycroft break;
124 1.2 mycroft }
125 1.2 mycroft #endif
126 1.2 mycroft
127 1.3 mycroft case R_TYPE(ABS32): /* word32 B + S + A */
128 1.15 mycroft case R_TYPE(GLOB_DAT): /* word32 B + S */
129 1.4 mycroft def = _rtld_find_symdef(symnum, obj, &defobj, false);
130 1.3 mycroft if (def == NULL)
131 1.3 mycroft return -1;
132 1.16 thorpej if (__predict_true(RELOC_ALIGNED_P(where))) {
133 1.16 thorpej tmp = *where + (Elf_Addr)defobj->relocbase +
134 1.16 thorpej def->st_value;
135 1.24 rearnsha /* Set the Thumb bit, if needed. */
136 1.25 mycroft if (ELF_ST_TYPE(def->st_info) == STT_ARM_TFUNC)
137 1.24 rearnsha tmp |= 1;
138 1.16 thorpej *where = tmp;
139 1.16 thorpej } else {
140 1.16 thorpej tmp = load_ptr(where) +
141 1.16 thorpej (Elf_Addr)defobj->relocbase +
142 1.16 thorpej def->st_value;
143 1.24 rearnsha /* Set the Thumb bit, if needed. */
144 1.25 mycroft if (ELF_ST_TYPE(def->st_info) == STT_ARM_TFUNC)
145 1.24 rearnsha tmp |= 1;
146 1.16 thorpej store_ptr(where, tmp);
147 1.16 thorpej }
148 1.15 mycroft rdbg(("ABS32/GLOB_DAT %s in %s --> %p @ %p in %s",
149 1.5 mycroft obj->strtab + obj->symtab[symnum].st_name,
150 1.16 thorpej obj->path, (void *)tmp, where, defobj->path));
151 1.3 mycroft break;
152 1.3 mycroft
153 1.3 mycroft case R_TYPE(RELATIVE): /* word32 B + A */
154 1.16 thorpej if (__predict_true(RELOC_ALIGNED_P(where))) {
155 1.16 thorpej tmp = *where + (Elf_Addr)obj->relocbase;
156 1.16 thorpej *where = tmp;
157 1.16 thorpej } else {
158 1.16 thorpej tmp = load_ptr(where) +
159 1.16 thorpej (Elf_Addr)obj->relocbase;
160 1.16 thorpej store_ptr(where, tmp);
161 1.16 thorpej }
162 1.14 mycroft rdbg(("RELATIVE in %s --> %p", obj->path,
163 1.16 thorpej (void *)tmp));
164 1.3 mycroft break;
165 1.3 mycroft
166 1.3 mycroft case R_TYPE(COPY):
167 1.3 mycroft /*
168 1.3 mycroft * These are deferred until all other relocations have
169 1.3 mycroft * been done. All we do here is make sure that the
170 1.3 mycroft * COPY relocation is not in a shared library. They
171 1.3 mycroft * are allowed only in executable files.
172 1.3 mycroft */
173 1.8 mycroft if (obj->isdynamic) {
174 1.3 mycroft _rtld_error(
175 1.2 mycroft "%s: Unexpected R_COPY relocation in shared library",
176 1.3 mycroft obj->path);
177 1.3 mycroft return -1;
178 1.3 mycroft }
179 1.14 mycroft rdbg(("COPY (avoid in main)"));
180 1.3 mycroft break;
181 1.3 mycroft
182 1.36 matt #ifdef __HAVE_TLS_VARIANT_I
183 1.36 matt case R_TYPE(TLS_DTPOFF32):
184 1.36 matt def = _rtld_find_symdef(symnum, obj, &defobj, false);
185 1.36 matt if (def == NULL)
186 1.36 matt return -1;
187 1.36 matt
188 1.36 matt tmp = (Elf_Addr)(def->st_value);
189 1.36 matt if (__predict_true(RELOC_ALIGNED_P(where)))
190 1.36 matt *where = tmp;
191 1.36 matt else
192 1.36 matt store_ptr(where, tmp);
193 1.36 matt
194 1.36 matt rdbg(("TLS_DTPOFF32 %s in %s --> %p",
195 1.36 matt obj->strtab + obj->symtab[symnum].st_name,
196 1.36 matt obj->path, (void *)tmp));
197 1.36 matt
198 1.36 matt break;
199 1.36 matt case R_TYPE(TLS_DTPMOD32):
200 1.36 matt def = _rtld_find_symdef(symnum, obj, &defobj, false);
201 1.36 matt if (def == NULL)
202 1.36 matt return -1;
203 1.36 matt
204 1.36 matt tmp = (Elf_Addr)(defobj->tlsindex);
205 1.36 matt if (__predict_true(RELOC_ALIGNED_P(where)))
206 1.36 matt *where = tmp;
207 1.36 matt else
208 1.36 matt store_ptr(where, tmp);
209 1.36 matt
210 1.36 matt rdbg(("TLS_DTPMOD32 %s in %s --> %p",
211 1.36 matt obj->strtab + obj->symtab[symnum].st_name,
212 1.36 matt obj->path, (void *)tmp));
213 1.36 matt
214 1.36 matt break;
215 1.36 matt
216 1.36 matt case R_TYPE(TLS_TPOFF32):
217 1.36 matt def = _rtld_find_symdef(symnum, obj, &defobj, false);
218 1.36 matt if (def == NULL)
219 1.36 matt return -1;
220 1.36 matt
221 1.36 matt if (!defobj->tls_done &&
222 1.36 matt _rtld_tls_offset_allocate(obj))
223 1.36 matt return -1;
224 1.36 matt
225 1.36 matt tmp = (Elf_Addr)def->st_value + defobj->tlsoffset +
226 1.36 matt sizeof(struct tls_tcb);
227 1.36 matt if (__predict_true(RELOC_ALIGNED_P(where)))
228 1.36 matt *where = tmp;
229 1.36 matt else
230 1.36 matt store_ptr(where, tmp);
231 1.36 matt rdbg(("TLS_TPOFF32 %s in %s --> %p",
232 1.36 matt obj->strtab + obj->symtab[symnum].st_name,
233 1.36 matt obj->path, (void *)tmp));
234 1.36 matt break;
235 1.36 matt #endif /* __HAVE_TLS_VARIANT_I */
236 1.36 matt
237 1.3 mycroft default:
238 1.14 mycroft rdbg(("sym = %lu, type = %lu, offset = %p, "
239 1.3 mycroft "contents = %p, symbol = %s",
240 1.4 mycroft symnum, (u_long)ELF_R_TYPE(rel->r_info),
241 1.16 thorpej (void *)rel->r_offset, (void *)load_ptr(where),
242 1.4 mycroft obj->strtab + obj->symtab[symnum].st_name));
243 1.3 mycroft _rtld_error("%s: Unsupported relocation type %ld "
244 1.30 jmmv "in non-PLT relocations",
245 1.3 mycroft obj->path, (u_long) ELF_R_TYPE(rel->r_info));
246 1.2 mycroft return -1;
247 1.2 mycroft }
248 1.2 mycroft }
249 1.2 mycroft return 0;
250 1.2 mycroft }
251 1.6 mycroft
252 1.6 mycroft int
253 1.22 skrll _rtld_relocate_plt_lazy(const Obj_Entry *obj)
254 1.6 mycroft {
255 1.6 mycroft const Elf_Rel *rel;
256 1.6 mycroft
257 1.20 mycroft if (!obj->relocbase)
258 1.6 mycroft return 0;
259 1.6 mycroft
260 1.6 mycroft for (rel = obj->pltrel; rel < obj->pltrellim; rel++) {
261 1.6 mycroft Elf_Addr *where = (Elf_Addr *)(obj->relocbase + rel->r_offset);
262 1.6 mycroft
263 1.6 mycroft assert(ELF_R_TYPE(rel->r_info) == R_TYPE(JUMP_SLOT));
264 1.6 mycroft
265 1.6 mycroft /* Just relocate the GOT slots pointing into the PLT */
266 1.6 mycroft *where += (Elf_Addr)obj->relocbase;
267 1.14 mycroft rdbg(("fixup !main in %s --> %p", obj->path, (void *)*where));
268 1.6 mycroft }
269 1.6 mycroft
270 1.6 mycroft return 0;
271 1.6 mycroft }
272 1.6 mycroft
273 1.28 matt static int
274 1.28 matt _rtld_relocate_plt_object(const Obj_Entry *obj, const Elf_Rel *rel,
275 1.28 matt Elf_Addr *tp)
276 1.6 mycroft {
277 1.18 mycroft Elf_Addr *where = (Elf_Addr *)(obj->relocbase + rel->r_offset);
278 1.6 mycroft Elf_Addr new_value;
279 1.6 mycroft const Elf_Sym *def;
280 1.6 mycroft const Obj_Entry *defobj;
281 1.31 christos unsigned long info = rel->r_info;
282 1.6 mycroft
283 1.33 skrll assert(ELF_R_TYPE(info) == R_TYPE(JUMP_SLOT));
284 1.6 mycroft
285 1.31 christos def = _rtld_find_plt_symdef(ELF_R_SYM(info), obj, &defobj, tp != NULL);
286 1.31 christos if (__predict_false(def == NULL))
287 1.28 matt return -1;
288 1.31 christos if (__predict_false(def == &_rtld_sym_zero))
289 1.31 christos return 0;
290 1.6 mycroft
291 1.6 mycroft new_value = (Elf_Addr)(defobj->relocbase + def->st_value);
292 1.24 rearnsha /* Set the Thumb bit, if needed. */
293 1.25 mycroft if (ELF_ST_TYPE(def->st_info) == STT_ARM_TFUNC)
294 1.24 rearnsha new_value |= 1;
295 1.14 mycroft rdbg(("bind now/fixup in %s --> old=%p new=%p",
296 1.6 mycroft defobj->strtab + def->st_name, (void *)*where, (void *)new_value));
297 1.6 mycroft if (*where != new_value)
298 1.6 mycroft *where = new_value;
299 1.28 matt if (tp)
300 1.28 matt *tp = new_value;
301 1.28 matt
302 1.28 matt return 0;
303 1.28 matt }
304 1.28 matt
305 1.28 matt caddr_t
306 1.28 matt _rtld_bind(const Obj_Entry *obj, Elf_Word reloff)
307 1.28 matt {
308 1.29 lukem const Elf_Rel *rel = (const Elf_Rel *)((const uint8_t *)obj->pltrel + reloff);
309 1.32 skrll Elf_Addr new_value = 0; /* XXX gcc */
310 1.28 matt int err;
311 1.28 matt
312 1.35 joerg _rtld_shared_enter();
313 1.28 matt err = _rtld_relocate_plt_object(obj, rel, &new_value);
314 1.31 christos if (err)
315 1.28 matt _rtld_die();
316 1.35 joerg _rtld_shared_exit();
317 1.6 mycroft
318 1.18 mycroft return (caddr_t)new_value;
319 1.21 skrll }
320 1.21 skrll int
321 1.21 skrll _rtld_relocate_plt_objects(const Obj_Entry *obj)
322 1.21 skrll {
323 1.21 skrll const Elf_Rel *rel;
324 1.28 matt int err = 0;
325 1.21 skrll
326 1.21 skrll for (rel = obj->pltrel; rel < obj->pltrellim; rel++) {
327 1.28 matt err = _rtld_relocate_plt_object(obj, rel, NULL);
328 1.28 matt if (err)
329 1.28 matt break;
330 1.21 skrll }
331 1.28 matt
332 1.28 matt return err;
333 1.6 mycroft }
334