Home | History | Annotate | Line # | Download | only in hppa
hppa_reloc.c revision 1.4
      1 /*	$NetBSD: hppa_reloc.c,v 1.4 2002/09/05 18:25:46 mycroft Exp $	*/
      2 
      3 /*-
      4  * Copyright (c) 2002 The NetBSD Foundation, Inc.
      5  * All rights reserved.
      6  *
      7  * This code is derived from software contributed to The NetBSD Foundation
      8  * by Matt Fredette.
      9  *
     10  * Redistribution and use in source and binary forms, with or without
     11  * modification, are permitted provided that the following conditions
     12  * are met:
     13  * 1. Redistributions of source code must retain the above copyright
     14  *    notice, this list of conditions and the following disclaimer.
     15  * 2. Redistributions in binary form must reproduce the above copyright
     16  *    notice, this list of conditions and the following disclaimer in the
     17  *    documentation and/or other materials provided with the distribution.
     18  * 3. All advertising materials mentioning features or use of this software
     19  *    must display the following acknowledgement:
     20  *        This product includes software developed by the NetBSD
     21  *        Foundation, Inc. and its contributors.
     22  * 4. Neither the name of The NetBSD Foundation nor the names of its
     23  *    contributors may be used to endorse or promote products derived
     24  *    from this software without specific prior written permission.
     25  *
     26  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
     27  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
     28  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
     29  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
     30  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
     31  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
     32  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
     33  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
     34  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
     35  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
     36  * POSSIBILITY OF SUCH DAMAGE.
     37  */
     38 
     39 #include <stdlib.h>
     40 #include <sys/types.h>
     41 #include <sys/stat.h>
     42 #include <sys/queue.h>
     43 
     44 #include "rtld.h"
     45 #include "debug.h"
     46 
     47 #ifdef RTLD_DEBUG_HPPA
     48 #define	hdbg(x)		if (dodebug) xprintf x
     49 #else
     50 #define	hdbg(x)		/* nothing */
     51 #endif
     52 
     53 /*
     54  * In the runtime architecture (ABI), PLABEL function
     55  * pointers are distinguished from normal function
     56  * pointers by having the next-least-significant bit
     57  * set.  (This bit is referred to as the L field in
     58  * HP documentation).  The $$dyncall millicode is
     59  * aware of this.
     60  */
     61 #define	RTLD_MAKE_PLABEL(plabel)	(((Elf_Addr)(plabel)) | (1 << 1))
     62 #define RTLD_IS_PLABEL(addr)		(((Elf_Addr)(addr)) & (1 << 1))
     63 #define	RTLD_GET_PLABEL(addr)	((hppa_plabel *) (((Elf_Addr)addr) & ~3))
     64 
     65 /*
     66  * This is the PLABEL structure.  The function PC and
     67  * shared linkage members must come first, as they are
     68  * the actual PLABEL.
     69  */
     70 typedef struct _hppa_plabel {
     71 	Elf_Addr	hppa_plabel_pc;
     72 	Elf_Addr	hppa_plabel_sl;
     73 	SLIST_ENTRY(_hppa_plabel)	hppa_plabel_next;
     74 } hppa_plabel;
     75 
     76 /*
     77  * For now allocated PLABEL structures are tracked on a
     78  * singly linked list.  This maybe should be revisited.
     79  */
     80 static SLIST_HEAD(hppa_plabel_head, _hppa_plabel) hppa_plabel_list
     81     = SLIST_HEAD_INITIALIZER(hppa_plabel_list);
     82 
     83 /*
     84  * Because I'm hesitant to use NEW while relocating self,
     85  * this is a small pool of preallocated PLABELs.
     86  */
     87 #define	HPPA_PLABEL_PRE	(10)
     88 static hppa_plabel hppa_plabel_pre[HPPA_PLABEL_PRE];
     89 static int hppa_plabel_pre_next = 0;
     90 
     91 /*
     92  * The DT_PLTGOT _DYNAMIC entry always gives the linkage table
     93  * pointer for an object.  This is often, but not always, the
     94  * same as the object's value for _GLOBAL_OFFSET_TABLE_.  We
     95  * cache one object's GOT value, otherwise we look it up.
     96  * XXX it would be nice to be able to keep this in the Obj_Entry.
     97  */
     98 static const Obj_Entry *hppa_got_cache_obj = NULL;
     99 static Elf_Addr *hppa_got_cache_got;
    100 #define HPPA_OBJ_SL(obj)	((obj)->pltgot)
    101 #define	HPPA_OBJ_GOT(obj)	((obj) == hppa_got_cache_obj ?		\
    102 				  hppa_got_cache_got :			\
    103 				  _rtld_fill_hppa_got_cache(obj))
    104 static Elf_Addr *_rtld_fill_hppa_got_cache __P((const Obj_Entry *));
    105 
    106 /*
    107  * This bootstraps the dynamic linker by relocating its GOT.
    108  * On the hppa, unlike on other architectures, static strings
    109  * are found through the GOT.  Static strings are essential
    110  * for RTLD_DEBUG, and I suspect they're used early even when
    111  * !defined(RTLD_DEBUG), making relocating the GOT essential.
    112  *
    113  * It gets worse.  Relocating the GOT doesn't mean just walking
    114  * it and adding the relocbase to all of the entries.  You must
    115  * find and use the GOT relocations, since those RELA relocations
    116  * have the necessary addends - the GOT comes initialized as
    117  * zeroes.
    118  */
    119 void
    120 _rtld_bootstrap_hppa_got(Elf_Dyn *dynp, Elf_Addr relocbase,
    121     Elf_Addr got_begin, Elf_Addr got_end)
    122 {
    123 	const Elf_Rela	*relafirst, *rela, *relalim;
    124 	Elf_Addr        relasz = 0;
    125 	Elf_Addr	where;
    126 
    127 	/*
    128 	 * Process the DYNAMIC section, looking for the non-PLT
    129 	 * relocations.
    130 	 */
    131 	relafirst = NULL;
    132 	for (; dynp->d_tag != DT_NULL; ++dynp) {
    133 		switch (dynp->d_tag) {
    134 
    135 		case DT_RELA:
    136 			relafirst = (const Elf_Rela *)
    137 			    (relocbase + dynp->d_un.d_ptr);
    138 			break;
    139 
    140 		case DT_RELASZ:
    141 			relasz = dynp->d_un.d_val;
    142 			break;
    143 		}
    144 	}
    145 	relalim = (const Elf_Rela *)((caddr_t)relafirst + relasz);
    146 
    147 	/*
    148 	 * Process all relocations that look like they're in
    149 	 * the GOT.
    150 	 */
    151 	for(rela = relafirst; rela < relalim; rela++) {
    152 		where = (Elf_Addr)(relocbase + rela->r_offset);
    153 		if (where >= got_begin && where < got_end)
    154 			*((Elf_Addr *)where) = relocbase + rela->r_addend;
    155 	}
    156 
    157 #if defined(RTLD_DEBUG_HPPA)
    158 	for(rela = relafirst; rela < relalim; rela++) {
    159 		where = (Elf_Addr)(relocbase + rela->r_offset);
    160 		if (where >= got_begin && where < got_end)
    161 			xprintf("GOT rela @%p(%p) -> %p(%p)\n",
    162 			    (void *)rela->r_offset,
    163 			    (void *)where,
    164 			    (void *)rela->r_addend,
    165 			    (void *)*((Elf_Addr *)where));
    166 	}
    167 #endif /* RTLD_DEBUG_HPPA */
    168 }
    169 
    170 /*
    171  * This looks up the object's _GLOBAL_OFFSET_TABLE_
    172  * and caches the result.
    173  */
    174 static Elf_Addr *
    175 _rtld_fill_hppa_got_cache(const Obj_Entry *obj)
    176 {
    177 	const char *name = "_GLOBAL_OFFSET_TABLE_";
    178 	unsigned long hash;
    179 	const Elf_Sym *def;
    180 
    181 	hash = _rtld_elf_hash(name);
    182 	def = _rtld_symlook_obj(name, hash, obj, true);
    183 	assert(def != NULL);
    184 	hppa_got_cache_obj = obj;
    185 	return hppa_got_cache_got =
    186 	    (Elf_Addr *)(obj->relocbase + def->st_value);
    187 }
    188 
    189 /*
    190  * This allocates a PLABEL.  If called with a non-NULL def, the
    191  * plabel is for the function associated with that definition
    192  * in the defining object defobj, plus the given addend.  If
    193  * called with a NULL def, the plabel is for the function at
    194  * the (unrelocated) address in addend in the object defobj.
    195  */
    196 Elf_Addr
    197 _rtld_function_descriptor_alloc(const Obj_Entry *defobj, const Elf_Sym *def,
    198     Elf_Addr addend)
    199 {
    200 	Elf_Addr	func_pc, func_sl;
    201 	hppa_plabel	*plabel;
    202 
    203 	if (def != NULL) {
    204 
    205 		/*
    206 		 * We assume that symbols of type STT_NOTYPE
    207 		 * are undefined.  Return NULL for these.
    208 		 */
    209 		if (ELF_ST_TYPE(def->st_info) == STT_NOTYPE)
    210 			return (Elf_Addr)NULL;
    211 
    212 		/* Otherwise assert that this symbol must be a function. */
    213 		assert(ELF_ST_TYPE(def->st_info) == STT_FUNC);
    214 
    215 		func_pc = (Elf_Addr)(defobj->relocbase + def->st_value +
    216 		    addend);
    217 	} else
    218 		func_pc = (Elf_Addr)(defobj->relocbase + addend);
    219 
    220 	/*
    221 	 * Search the existing PLABELs for one matching
    222 	 * this function.  If there is one, return it.
    223 	 */
    224 	func_sl = (Elf_Addr)HPPA_OBJ_SL(defobj);
    225 	SLIST_FOREACH(plabel, &hppa_plabel_list, hppa_plabel_next)
    226 		if (plabel->hppa_plabel_pc == func_pc &&
    227 		    plabel->hppa_plabel_sl == func_sl)
    228 			return RTLD_MAKE_PLABEL(plabel);
    229 
    230 	/*
    231 	 * XXX - this assumes that the dynamic linker doesn't
    232 	 * have more than HPPA_PLABEL_PRE PLABEL relocations.
    233 	 * Once we've used up the preallocated set, we start
    234 	 * using NEW to allocate plabels.
    235 	 */
    236 	if (hppa_plabel_pre_next < HPPA_PLABEL_PRE)
    237 		plabel = &hppa_plabel_pre[hppa_plabel_pre_next++];
    238 	else {
    239 		plabel = NEW(hppa_plabel);
    240 		if (plabel == NULL)
    241 			return (Elf_Addr)-1;
    242 	}
    243 
    244 	/* Fill the new entry and insert it on the list. */
    245 	plabel->hppa_plabel_pc = func_pc;
    246 	plabel->hppa_plabel_sl = func_sl;
    247 	SLIST_INSERT_HEAD(&hppa_plabel_list, plabel, hppa_plabel_next);
    248 
    249 	return RTLD_MAKE_PLABEL(plabel);
    250 }
    251 
    252 /*
    253  * If a pointer is a PLABEL, this unwraps it.
    254  */
    255 const void *
    256 _rtld_function_descriptor_function(const void *addr)
    257 {
    258 	return (RTLD_IS_PLABEL(addr) ?
    259 	    (const void *) RTLD_GET_PLABEL(addr)->hppa_plabel_pc :
    260 	    addr);
    261 }
    262 
    263 /*
    264  * This handles an IPLT relocation, with or without a symbol.
    265  */
    266 int
    267 _rtld_relocate_plt_object(Obj_Entry *obj, const Elf_Rela *rela, caddr_t *addrp,
    268     bool bind_now, bool dodebug)
    269 {
    270 	Elf_Addr	*where = (Elf_Addr *)(obj->relocbase + rela->r_offset);
    271 	const Elf_Sym	*def;
    272 	const Obj_Entry	*defobj;
    273 	Elf_Addr	func_pc, func_sl;
    274 
    275 	assert(ELF_R_TYPE(rela->r_info) == R_TYPE(IPLT));
    276 
    277 	/*
    278 	 * If this is an IPLT reloc for a static function,
    279 	 * fully resolve the PLT entry now.
    280 	 */
    281 	if (ELF_R_SYM(rela->r_info) == 0) {
    282 		func_pc = (Elf_Addr)(obj->relocbase + rela->r_addend);
    283 		func_sl = (Elf_Addr)HPPA_OBJ_SL(obj);
    284 	}
    285 
    286 	/*
    287 	 * If we must bind now, fully resolve the PLT entry.
    288 	 */
    289 	else if (bind_now) {
    290 
    291 		/*
    292 		 * Look up the symbol.  While we're relocating self,
    293 		 * _rtld_objlist is NULL, so just pass in self.
    294 		 */
    295 		def = _rtld_find_symdef(rela->r_info, obj, &defobj, false);
    296 		if (def == NULL)
    297 			return -1;
    298 		func_pc = (Elf_Addr)(defobj->relocbase + def->st_value +
    299 		    rela->r_addend);
    300 		func_sl = (Elf_Addr)HPPA_OBJ_SL(defobj);
    301 	}
    302 
    303 	/*
    304 	 * Otherwise set up for lazy binding.
    305 	 */
    306 	else {
    307 
    308 		/*
    309 		 * This function pointer points to the PLT
    310 		 * stub added by the linker, and instead of
    311 		 * a shared linkage value, we stash this
    312 		 * relocation's offset.  The PLT stub has
    313 		 * already been set up to transfer to
    314 		 * _rtld_bind_start.
    315 		 */
    316 		func_pc = ((Elf_Addr)HPPA_OBJ_GOT(obj)) - 16;
    317 		func_sl = (Elf_Addr)((caddr_t)rela - (caddr_t)obj->pltrela);
    318 	}
    319 
    320 	/*
    321 	 * Fill this PLT entry and return.
    322 	 */
    323 	where[0] = func_pc;
    324 	where[1] = func_sl;
    325 	if (addrp != NULL)
    326 		*addrp = (caddr_t)where;
    327 	return 0;
    328 }
    329 
    330 /* This sets up an object's GOT. */
    331 void
    332 _rtld_setup_pltgot(const Obj_Entry *obj)
    333 {
    334 	__rtld_setup_hppa_pltgot(obj, HPPA_OBJ_GOT(obj));
    335 }
    336 
    337 int
    338 _rtld_relocate_nonplt_object(obj, rela, dodebug)
    339 	Obj_Entry *obj;
    340 	const Elf_Rela *rela;
    341 	bool dodebug;
    342 {
    343 	Elf_Addr        *where = (Elf_Addr *)(obj->relocbase + rela->r_offset);
    344 	const Elf_Sym   *def;
    345 	const Obj_Entry *defobj;
    346 	Elf_Addr         tmp;
    347 
    348 	switch (ELF_R_TYPE(rela->r_info)) {
    349 
    350 	case R_TYPE(NONE):
    351 		break;
    352 
    353 	case R_TYPE(DIR32):
    354 		if (ELF_R_SYM(rela->r_info)) {
    355 			/*
    356 			 * This is either a DIR32 against a symbol
    357 			 * (def->st_name != 0), or against a local
    358 			 * section (def->st_name == 0).
    359 			 */
    360 			def = obj->symtab + ELF_R_SYM(rela->r_info);
    361 			defobj = obj;
    362 			if (def->st_name != 0)
    363 				/*
    364 		 		 * While we're relocating self, _rtld_objlist
    365 				 * is NULL, so we just pass in self.
    366 				 */
    367 				def = _rtld_find_symdef(rela->r_info, obj,
    368 				    &defobj, false);
    369 			if (def == NULL)
    370 				return -1;
    371 
    372 			tmp = (Elf_Addr)(defobj->relocbase + def->st_value +
    373 			    rela->r_addend);
    374 
    375 			if (*where != tmp)
    376 				*where = tmp;
    377 			rdbg(dodebug, ("DIR32 %s in %s --> %p in %s",
    378 			    defobj->strtab + def->st_name, obj->path,
    379 			    (void *)*where, defobj->path));
    380 		} else {
    381 			extern Elf_Addr	_GLOBAL_OFFSET_TABLE_[];
    382 			extern Elf_Addr	_GOT_END_[];
    383 
    384 			tmp = (Elf_Addr)(obj->relocbase + rela->r_addend);
    385 
    386 			/* This is the ...iffy hueristic. */
    387 			if (!dodebug ||
    388 			    (caddr_t)where < (caddr_t)_GLOBAL_OFFSET_TABLE_ ||
    389 			    (caddr_t)where >= (caddr_t)_GOT_END_) {
    390 				if (*where != tmp)
    391 					*where = tmp;
    392 				rdbg(dodebug, ("DIR32 in %s --> %p", obj->path,
    393 				    (void *)*where));
    394 			} else
    395 				rdbg(dodebug, ("DIR32 in %s stays at %p",
    396 				    obj->path, (void *)*where));
    397 		}
    398 		break;
    399 
    400 	case R_TYPE(PLABEL32):
    401 		if (ELF_R_SYM(rela->r_info)) {
    402 			/*
    403 	 		 * While we're relocating self, _rtld_objlist
    404 			 * is NULL, so we just pass in self.
    405 			 */
    406 			def = _rtld_find_symdef(rela->r_info, obj, &defobj,
    407 			    false);
    408 			if (def == NULL)
    409 				return -1;
    410 
    411 			tmp = _rtld_function_descriptor_alloc(defobj, def,
    412 			    rela->r_addend);
    413 			if (tmp == (Elf_Addr)-1)
    414 				return -1;
    415 
    416 			if (*where != tmp)
    417 				*where = tmp;
    418 			rdbg(dodebug, ("PLABEL32 %s in %s --> %p in %s",
    419 			    defobj->strtab + def->st_name, obj->path,
    420 			    (void *)*where, defobj->path));
    421 		} else {
    422 			/*
    423 			 * This is a PLABEL for a static function, and the
    424 			 * dynamic linker has both allocated a PLT entry
    425 			 * for this function and told us where it is.  We
    426 			 * can safely use the PLT entry as the PLABEL
    427 			 * because there should be no other PLABEL reloc
    428 			 * referencing this function.  This object should
    429 			 * also have an IPLT relocation to initialize the
    430 			 * PLT entry.
    431 			 *
    432 			 * The dynamic linker should also have ensured
    433 			 * that the addend has the next-least-significant
    434 			 * bit set; the $$dyncall millicode uses this to
    435 			 * distinguish a PLABEL pointer from a plain
    436 			 * function pointer.
    437 			 */
    438 			tmp = (Elf_Addr)(obj->relocbase + rela->r_addend);
    439 
    440 			if (*where != tmp)
    441 				*where = tmp;
    442 			rdbg(dodebug, ("PLABEL32 in %s --> %p",
    443 			    obj->path, (void *)*where));
    444 		}
    445 		break;
    446 
    447 	case R_TYPE(COPY):
    448 		/*
    449 		 * These are deferred until all other relocations have
    450 		 * been done.  All we do here is make sure that the COPY
    451 		 * relocation is not in a shared library.  They are allowed
    452 		 * only in executable files.
    453 		 */
    454 		if (!obj->mainprog) {
    455 			_rtld_error(
    456 			"%s: Unexpected R_COPY relocation in shared library",
    457 			    obj->path);
    458 			return -1;
    459 		}
    460 		rdbg(dodebug, ("COPY (avoid in main)"));
    461 		break;
    462 
    463 	default:
    464 		def = _rtld_find_symdef(rela->r_info, obj, &defobj, true);
    465 		rdbg(dodebug, ("sym = %lu, type = %lu, offset = %p, "
    466 		    "addend = %p, contents = %p, symbol = %s",
    467 		    (u_long)ELF_R_SYM(rela->r_info),
    468 		    (u_long)ELF_R_TYPE(rela->r_info),
    469 		    (void *)rela->r_offset, (void *)rela->r_addend,
    470 		    (void *)*where,
    471 		    def ? defobj->strtab + def->st_name : "??"));
    472 		_rtld_error("%s: Unsupported relocation type %ld "
    473 		    "in non-PLT relocations\n",
    474 		    obj->path, (u_long) ELF_R_TYPE(rela->r_info));
    475 		return -1;
    476 	}
    477 	return 0;
    478 }
    479