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