Home | History | Annotate | Line # | Download | only in powerpc
ppc_reloc.c revision 1.55
      1 /*	$NetBSD: ppc_reloc.c,v 1.55 2017/08/10 19:03:26 joerg Exp $	*/
      2 
      3 /*-
      4  * Copyright (C) 1998	Tsubai Masanari
      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
     28  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
     29  */
     30 
     31 #include <sys/cdefs.h>
     32 #ifndef lint
     33 __RCSID("$NetBSD: ppc_reloc.c,v 1.55 2017/08/10 19:03:26 joerg Exp $");
     34 #endif /* not lint */
     35 
     36 #include <stdarg.h>
     37 #include <stdio.h>
     38 #include <stdlib.h>
     39 #include <string.h>
     40 #include <sys/types.h>
     41 #include <machine/cpu.h>
     42 
     43 #include "debug.h"
     44 #include "rtld.h"
     45 
     46 void _rtld_powerpc_pltcall(Elf_Word);
     47 void _rtld_powerpc_pltresolve(Elf_Word, Elf_Word);
     48 
     49 #define __u64(x)	((uint64_t)(x))
     50 #define __u32(x)	((uint32_t)(x))
     51 #define __ha48		__u64(0xffffffff8000)
     52 #define __ha32		__u64(0xffff8000)
     53 #define __ha16		__u32(0x8000)
     54 #define __ha(x,n) ((((x) >> (n)) + (((x) & __ha##n) == __ha##n)) & 0xffff)
     55 #define __hi(x,n) (((x) >> (n)) & 0xffff)
     56 #ifdef __LP64
     57 #define highesta(x)	__ha(__u64(x), 48)
     58 #define highest(x)	__hi(__u64(x), 48)
     59 #define higher(x)	__ha(__u64(x), 32)
     60 #define higher(x)	__hi(__u64(x), 32)
     61 #endif
     62 #define ha(x)		__ha(__u32(x), 16)
     63 #define hi(x)		__hi(__u32(x), 16)
     64 #define lo(x)		(__u32(x) & 0xffff)
     65 
     66 #ifdef _LP64
     67 /* function descriptor for _rtld_bind_start */
     68 extern const uint64_t _rtld_bind_start[3];
     69 #else
     70 void _rtld_bind_bssplt_start(void);
     71 void _rtld_bind_secureplt_start(void);
     72 #endif
     73 Elf_Addr _rtld_bind(const Obj_Entry *, Elf_Word);
     74 void _rtld_relocate_nonplt_self(Elf_Dyn *, Elf_Addr);
     75 static int _rtld_relocate_plt_object(const Obj_Entry *,
     76     const Elf_Rela *, int, Elf_Addr *);
     77 
     78 /*
     79  * The PPC32 PLT format consists of three sections:
     80  * (1) The "pltcall" and "pltresolve" glue code.  This is always 18 words.
     81  * (2) The code part of the PLT entries.  There are 2 words per entry for
     82  *     up to 8192 entries, then 4 words per entry for any additional entries.
     83  * (3) The data part of the PLT entries, comprising a jump table.
     84  *     This section is half the size of the second section (ie. 1 or 2 words
     85  *     per entry).
     86  */
     87 
     88 void
     89 _rtld_setup_pltgot(const Obj_Entry *obj)
     90 {
     91 #ifdef _LP64
     92 	/*
     93 	 * For powerpc64, just copy the function descriptor to pltgot[0].
     94 	 */
     95 	if (obj->pltgot != NULL) {
     96 		obj->pltgot[0] = (Elf_Addr) _rtld_bind_start[0];
     97 		obj->pltgot[1] = (Elf_Addr) _rtld_bind_start[1];
     98 		obj->pltgot[2] = (Elf_Addr) obj;
     99 	}
    100 #else
    101 	/*
    102 	 * Secure-PLT is much more sane.
    103 	 */
    104 	if (obj->gotptr != NULL) {
    105 		obj->gotptr[1] = (Elf_Addr) _rtld_bind_secureplt_start;
    106 		obj->gotptr[2] = (Elf_Addr) obj;
    107 		dbg(("obj %s secure-plt gotptr=%p start=%p obj=%p",
    108 		    obj->path, obj->gotptr,
    109 		    (void *) obj->gotptr[1], (void *) obj->gotptr[2]));
    110 	} else {
    111 /*
    112  * Setup the plt glue routines (for bss-plt).
    113  */
    114 #define BSSPLTCALL_SIZE		20
    115 #define BSSPLTRESOLVE_SIZE	24
    116 
    117 		Elf_Word *pltcall, *pltresolve;
    118 		Elf_Word *jmptab;
    119 		int N = obj->pltrelalim - obj->pltrela;
    120 
    121 		/* Entries beyond 8192 take twice as much space. */
    122 		if (N > 8192)
    123 			N += N-8192;
    124 
    125 		dbg(("obj %s bss-plt pltgot=%p jmptab=%u start=%p obj=%p",
    126 		    obj->path, obj->pltgot, 18 + N * 2,
    127 		    _rtld_bind_bssplt_start, obj));
    128 
    129 		pltcall = obj->pltgot;
    130 		jmptab = pltcall + 18 + N * 2;
    131 
    132 		memcpy(pltcall, _rtld_powerpc_pltcall, BSSPLTCALL_SIZE);
    133 		pltcall[1] |= ha(jmptab);
    134 		pltcall[2] |= lo(jmptab);
    135 
    136 		pltresolve = obj->pltgot + 8;
    137 
    138 		memcpy(pltresolve, _rtld_powerpc_pltresolve, BSSPLTRESOLVE_SIZE);
    139 		pltresolve[0] |= ha(_rtld_bind_bssplt_start);
    140 		pltresolve[1] |= lo(_rtld_bind_bssplt_start);
    141 		pltresolve[3] |= ha(obj);
    142 		pltresolve[4] |= lo(obj);
    143 
    144 		/*
    145 		 * Invalidate the icache for only the code part of the PLT
    146 		 * (and not the jump table at the end).
    147 		 */
    148 		__syncicache(pltcall, (char *)jmptab - (char *)pltcall);
    149 	}
    150 #endif
    151 }
    152 
    153 void
    154 _rtld_relocate_nonplt_self(Elf_Dyn *dynp, Elf_Addr relocbase)
    155 {
    156 	const Elf_Rela *rela = 0, *relalim;
    157 	Elf_Addr relasz = 0;
    158 	Elf_Addr *where;
    159 
    160 	for (; dynp->d_tag != DT_NULL; dynp++) {
    161 		switch (dynp->d_tag) {
    162 		case DT_RELA:
    163 			rela = (const Elf_Rela *)(relocbase + dynp->d_un.d_ptr);
    164 			break;
    165 		case DT_RELASZ:
    166 			relasz = dynp->d_un.d_val;
    167 			break;
    168 		}
    169 	}
    170 	relalim = (const Elf_Rela *)((const uint8_t *)rela + relasz);
    171 	for (; rela < relalim; rela++) {
    172 		where = (Elf_Addr *)(relocbase + rela->r_offset);
    173 		*where = (Elf_Addr)(relocbase + rela->r_addend);
    174 	}
    175 }
    176 
    177 int
    178 _rtld_relocate_nonplt_objects(Obj_Entry *obj)
    179 {
    180 	const Elf_Rela *rela;
    181 	const Elf_Sym *def = NULL;
    182 	const Obj_Entry *defobj = NULL;
    183 	unsigned long last_symnum = ULONG_MAX;
    184 
    185 	for (rela = obj->rela; rela < obj->relalim; rela++) {
    186 		Elf_Addr        *where;
    187 		Elf_Addr         tmp;
    188 		unsigned long	 symnum;
    189 
    190 		where = (Elf_Addr *)(obj->relocbase + rela->r_offset);
    191 
    192 		switch (ELF_R_TYPE(rela->r_info)) {
    193 #ifdef _LP64
    194 		case R_TYPE(ADDR64):	/* <address> S + A */
    195 #else
    196 		case R_TYPE(ADDR32):	/* <address> S + A */
    197 #endif
    198 		case R_TYPE(GLOB_DAT):	/* <address> S + A */
    199 		case R_TYPE(DTPMOD):
    200 		case R_TYPE(DTPREL):
    201 		case R_TYPE(TPREL):
    202 			symnum = ELF_R_SYM(rela->r_info);
    203 			if (last_symnum != symnum) {
    204 				last_symnum = symnum;
    205 				def = _rtld_find_symdef(symnum, obj, &defobj,
    206 				    false);
    207 				if (def == NULL)
    208 					return -1;
    209 			}
    210 			break;
    211 		default:
    212 			break;
    213 		}
    214 
    215 		switch (ELF_R_TYPE(rela->r_info)) {
    216 #if 1 /* XXX Should not be necessary. */
    217 		case R_TYPE(JMP_SLOT):
    218 #endif
    219 		case R_TYPE(NONE):
    220 			break;
    221 
    222 #ifdef _LP64
    223 		case R_TYPE(ADDR64):	/* <address> S + A */
    224 #else
    225 		case R_TYPE(ADDR32):	/* <address> S + A */
    226 #endif
    227 		case R_TYPE(GLOB_DAT):	/* <address> S + A */
    228 			tmp = (Elf_Addr)(defobj->relocbase + def->st_value +
    229 			    rela->r_addend);
    230 			if (*where != tmp)
    231 				*where = tmp;
    232 			rdbg(("32/GLOB_DAT %s in %s --> %p in %s",
    233 			    obj->strtab + obj->symtab[symnum].st_name,
    234 			    obj->path, (void *)*where, defobj->path));
    235 			break;
    236 
    237 		case R_TYPE(RELATIVE):	/* <address> B + A */
    238 			*where = (Elf_Addr)(obj->relocbase + rela->r_addend);
    239 			rdbg(("RELATIVE in %s --> %p", obj->path,
    240 			    (void *)*where));
    241 			break;
    242 
    243 		case R_TYPE(COPY):
    244 			/*
    245 			 * These are deferred until all other relocations have
    246 			 * been done.  All we do here is make sure that the
    247 			 * COPY relocation is not in a shared library.  They
    248 			 * are allowed only in executable files.
    249 			 */
    250 			if (obj->isdynamic) {
    251 				_rtld_error(
    252 			"%s: Unexpected R_COPY relocation in shared library",
    253 				    obj->path);
    254 				return -1;
    255 			}
    256 			rdbg(("COPY (avoid in main)"));
    257 			break;
    258 
    259 		case R_TYPE(DTPMOD):
    260 			*where = (Elf_Addr)defobj->tlsindex;
    261 			rdbg(("DTPMOD32 %s in %s --> %p in %s",
    262 			    obj->strtab + obj->symtab[symnum].st_name,
    263 			    obj->path, (void *)*where, defobj->path));
    264 			break;
    265 
    266 		case R_TYPE(DTPREL):
    267 			if (!defobj->tls_done && _rtld_tls_offset_allocate(obj))
    268 				return -1;
    269 
    270 			*where = (Elf_Addr)(def->st_value + rela->r_addend
    271 			    - TLS_DTV_OFFSET);
    272 			rdbg(("DTPREL32 %s in %s --> %p in %s",
    273 			    obj->strtab + obj->symtab[symnum].st_name,
    274 			    obj->path, (void *)*where, defobj->path));
    275 			break;
    276 
    277 		case R_TYPE(TPREL):
    278 			if (!defobj->tls_done && _rtld_tls_offset_allocate(obj))
    279 				return -1;
    280 
    281 			*where = (Elf_Addr)(def->st_value + rela->r_addend
    282 			    + defobj->tlsoffset - TLS_TP_OFFSET);
    283 			rdbg(("TPREL32 %s in %s --> %p in %s",
    284 			    obj->strtab + obj->symtab[symnum].st_name,
    285 			    obj->path, (void *)*where, defobj->path));
    286 			break;
    287 
    288 		default:
    289 			rdbg(("sym = %lu, type = %lu, offset = %p, "
    290 			    "addend = %p, contents = %p, symbol = %s",
    291 			    (u_long)ELF_R_SYM(rela->r_info),
    292 			    (u_long)ELF_R_TYPE(rela->r_info),
    293 			    (void *)rela->r_offset, (void *)rela->r_addend,
    294 			    (void *)*where,
    295 			    obj->strtab + obj->symtab[symnum].st_name));
    296 			_rtld_error("%s: Unsupported relocation type %ld "
    297 			    "in non-PLT relocations",
    298 			    obj->path, (u_long) ELF_R_TYPE(rela->r_info));
    299 			return -1;
    300 		}
    301 	}
    302 	return 0;
    303 }
    304 
    305 int
    306 _rtld_relocate_plt_lazy(Obj_Entry *obj)
    307 {
    308 #ifdef _LP64
    309 	/*
    310 	 * For PowerPC64, the plt stubs handle an empty function descriptor
    311 	 * so there's nothing to do.
    312 	 */
    313 	/* XXX ifunc support */
    314 #else
    315 	Elf_Addr * const pltresolve = obj->pltgot + 8;
    316 	const Elf_Rela *rela;
    317 	int reloff;
    318 
    319 	rela = obj->pltrelalim;
    320 	for (reloff = rela - obj->pltrela; rela-- > obj->pltrela; --reloff) {
    321 		Elf_Word *where = (Elf_Word *)(obj->relocbase + rela->r_offset);
    322 
    323 		assert(ELF_R_TYPE(rela->r_info) == R_TYPE(JUMP_SLOT) ||
    324 		       ELF_R_TYPE(rela->r_info) == R_TYPE(IRELATIVE));
    325 
    326 		if (ELF_R_TYPE(rela->r_info) == R_TYPE(IRELATIVE)) {
    327 			/* No ifunc support for old-style insecure PLT. */
    328 			assert(obj->gotptr != NULL);
    329 			obj->ifunc_remaining = obj->pltrelalim - rela;
    330 		}
    331 
    332 		if (obj->gotptr != NULL) {
    333 			/*
    334 			 * For now, simply treat then as relative.
    335 			 */
    336 			*where += (Elf_Addr)obj->relocbase;
    337 		} else {
    338 			int distance;
    339 
    340 			if (reloff < 32768) {
    341 				/* li	r11,reloff */
    342 				*where++ = 0x39600000 | reloff;
    343 			} else {
    344 				/* lis  r11,ha(reloff) */
    345 				/* addi	r11,lo(reloff) */
    346 				*where++ = 0x3d600000 | ha(reloff);
    347 				*where++ = 0x396b0000 | lo(reloff);
    348 			}
    349 			/* b	pltresolve */
    350 			distance = (Elf_Addr)pltresolve - (Elf_Addr)where;
    351 			*where++ = 0x48000000 | (distance & 0x03fffffc);
    352 
    353 			/*
    354 			 * Icache invalidation is not done for each entry here
    355 			 * because we sync the entire code part of the PLT once
    356 			 * in _rtld_setup_pltgot() after all the entries have been
    357 			 * initialized.
    358 			 */
    359 			/* __syncicache(where - 3, 12); */
    360 		}
    361 	}
    362 #endif /* !_LP64 */
    363 
    364 	return 0;
    365 }
    366 
    367 void
    368 _rtld_call_ifunc(Obj_Entry *obj, sigset_t *mask, u_int cur_objgen)
    369 {
    370 	const Elf_Rela *rela;
    371 	Elf_Addr *where, target;
    372 
    373 	while (obj->ifunc_remaining > 0 && _rtld_objgen == cur_objgen) {
    374 		rela = obj->pltrelalim - obj->ifunc_remaining;
    375 		--obj->ifunc_remaining;
    376 		if (ELF_R_TYPE(rela->r_info) == R_TYPE(IRELATIVE)) {
    377 			where = (Elf_Addr *)(obj->relocbase + rela->r_offset);
    378 			target = (Elf_Addr)(obj->relocbase + rela->r_addend);
    379 			_rtld_exclusive_exit(mask);
    380 			target = _rtld_resolve_ifunc2(obj, target);
    381 			_rtld_exclusive_enter(mask);
    382 			if (*where != target)
    383 				*where = target;
    384 		}
    385 	}
    386 }
    387 
    388 static int
    389 _rtld_relocate_plt_object(const Obj_Entry *obj, const Elf_Rela *rela, int reloff, Elf_Addr *tp)
    390 {
    391 	Elf_Word *where = (Elf_Word *)(obj->relocbase + rela->r_offset);
    392 	Elf_Addr value;
    393 	const Elf_Sym *def;
    394 	const Obj_Entry *defobj;
    395 	unsigned long info = rela->r_info;
    396 
    397 	assert(ELF_R_TYPE(info) == R_TYPE(JMP_SLOT));
    398 
    399 	def = _rtld_find_plt_symdef(ELF_R_SYM(info), obj, &defobj, tp != NULL);
    400 	if (__predict_false(def == NULL))
    401 		return -1;
    402 	if (__predict_false(def == &_rtld_sym_zero))
    403 		return 0;
    404 
    405 	if (ELF_ST_TYPE(def->st_info) == STT_GNU_IFUNC) {
    406 		if (tp == NULL)
    407 			return 0;
    408 		value = _rtld_resolve_ifunc(defobj, def);
    409 	} else {
    410 		value = (Elf_Addr)(defobj->relocbase + def->st_value);
    411 	}
    412 	rdbg(("bind now/fixup in %s --> new=%p",
    413 	    defobj->strtab + def->st_name, (void *)value));
    414 
    415 #ifdef _LP64
    416 	/*
    417 	 * For PowerPC64 we simply replace the function descriptor in the
    418 	 * PLTGOT with the one from source object.
    419 	 */
    420 	assert(where >= (Elf_Word *)obj->pltgot);
    421 	assert(where < (Elf_Word *)obj->pltgot + (obj->pltrelalim - obj->pltrela));
    422 	const Elf_Addr * const fdesc = (Elf_Addr *) value;
    423 	where[0] = fdesc[0];
    424 	where[1] = fdesc[1];
    425 	where[2] = fdesc[2];
    426 #else
    427 	ptrdiff_t distance = value - (Elf_Addr)where;
    428 	if (obj->gotptr != NULL) {
    429 		/*
    430 		 * For Secure-PLT we simply replace the entry in GOT with the
    431 		 * address of the routine.
    432 		 */
    433 		assert(where >= (Elf_Word *)obj->pltgot);
    434 		assert(where < (Elf_Word *)obj->pltgot + (obj->pltrelalim - obj->pltrela));
    435 		*where = value;
    436 	} else if (labs(distance) < 32*1024*1024) {	/* inside 32MB? */
    437 		/* b	value	# branch directly */
    438 		*where = 0x48000000 | (distance & 0x03fffffc);
    439 		__syncicache(where, 4);
    440 	} else {
    441 		Elf_Addr *pltcall, *jmptab;
    442 		int N = obj->pltrelalim - obj->pltrela;
    443 
    444 		/* Entries beyond 8192 take twice as much space. */
    445 		if (N > 8192)
    446 			N += N-8192;
    447 
    448 		pltcall = obj->pltgot;
    449 		jmptab = pltcall + 18 + N * 2;
    450 
    451 		jmptab[reloff] = value;
    452 
    453 		if (reloff < 32768) {
    454 			/* li	r11,reloff */
    455 			*where++ = 0x39600000 | reloff;
    456 		} else {
    457 #ifdef notyet
    458 			/* lis  r11,ha(value) */
    459 			/* addi	r11,lo(value) */
    460 			/* mtctr r11 */
    461 			/* bctr */
    462 			*where++ = 0x3d600000 | ha(value);
    463 			*where++ = 0x396b0000 | lo(value);
    464 			*where++ = 0x7d6903a6;
    465 			*where++ = 0x4e800420;
    466 #else
    467 			/* lis  r11,ha(reloff) */
    468 			/* addi	r11,lo(reloff) */
    469 			*where++ = 0x3d600000 | ha(reloff);
    470 			*where++ = 0x396b0000 | lo(reloff);
    471 #endif
    472 		}
    473 		/* b	pltcall	*/
    474 		distance = (Elf_Addr)pltcall - (Elf_Addr)where;
    475 		*where++ = 0x48000000 | (distance & 0x03fffffc);
    476 		__syncicache(where - 3, 12);
    477 	}
    478 #endif /* _LP64 */
    479 
    480 	if (tp)
    481 		*tp = value;
    482 	return 0;
    483 }
    484 
    485 Elf_Addr
    486 _rtld_bind(const Obj_Entry *obj, Elf_Word reloff)
    487 {
    488 	const Elf_Rela *rela = obj->pltrela + reloff;
    489 	Elf_Addr new_value;
    490 	int err;
    491 
    492 	new_value = 0;	/* XXX gcc */
    493 
    494 	_rtld_shared_enter();
    495 	err = _rtld_relocate_plt_object(obj, rela, reloff, &new_value);
    496 	if (err)
    497 		_rtld_die();
    498 	_rtld_shared_exit();
    499 
    500 #ifdef _LP64
    501 	return obj->glink;
    502 #else
    503 	return new_value;
    504 #endif
    505 }
    506 
    507 int
    508 _rtld_relocate_plt_objects(const Obj_Entry *obj)
    509 {
    510 	const Elf_Rela *rela;
    511 	int reloff;
    512 
    513 	for (rela = obj->pltrela, reloff = 0; rela < obj->pltrelalim; rela++, reloff++) {
    514 		if (_rtld_relocate_plt_object(obj, rela, reloff, NULL) < 0)
    515 			return -1;
    516 	}
    517 	return 0;
    518 }
    519