15aefb655Srie /* 25aefb655Srie * CDDL HEADER START 35aefb655Srie * 45aefb655Srie * The contents of this file are subject to the terms of the 55aefb655Srie * Common Development and Distribution License (the "License"). 65aefb655Srie * You may not use this file except in compliance with the License. 75aefb655Srie * 85aefb655Srie * You can obtain a copy of the license at usr/src/OPENSOLARIS.LICENSE 95aefb655Srie * or http://www.opensolaris.org/os/licensing. 105aefb655Srie * See the License for the specific language governing permissions 115aefb655Srie * and limitations under the License. 125aefb655Srie * 135aefb655Srie * When distributing Covered Code, include this CDDL HEADER in each 145aefb655Srie * file and include the License file at usr/src/OPENSOLARIS.LICENSE. 155aefb655Srie * If applicable, add the following below this CDDL HEADER, with the 165aefb655Srie * fields enclosed by brackets "[]" replaced with your own identifying 175aefb655Srie * information: Portions Copyright [yyyy] [name of copyright owner] 185aefb655Srie * 195aefb655Srie * CDDL HEADER END 205aefb655Srie */ 215aefb655Srie 225aefb655Srie /* 23bb3b4f6cSRod Evans * Copyright 2009 Sun Microsystems, Inc. All rights reserved. 245aefb655Srie * Use is subject to license terms. 255aefb655Srie */ 265aefb655Srie 27ba2be530Sab196087 /* Get the x86 version of the relocation engine */ 28ba2be530Sab196087 #define DO_RELOC_LIBLD_X86 29ba2be530Sab196087 305aefb655Srie #include <string.h> 315aefb655Srie #include <stdio.h> 325aefb655Srie #include <strings.h> 335aefb655Srie #include <sys/elf_amd64.h> 345aefb655Srie #include <debug.h> 355aefb655Srie #include <reloc.h> 36ba2be530Sab196087 #include <i386/machdep_x86.h> 375aefb655Srie #include "msg.h" 385aefb655Srie #include "_libld.h" 39ba2be530Sab196087 #include "unwind.amd.h" 405aefb655Srie 41ba2be530Sab196087 42ba2be530Sab196087 /* Forward declarations */ 43ba2be530Sab196087 static Gotndx *ld_find_gotndx(List *, Gotref, Ofl_desc *, Rel_desc *); 44ba2be530Sab196087 static Xword ld_calc_got_offset(Rel_desc *, Ofl_desc *); 45ba2be530Sab196087 46ba2be530Sab196087 47ba2be530Sab196087 static Word 485aefb655Srie ld_init_rel(Rel_desc *reld, void *reloc) 495aefb655Srie { 505aefb655Srie Rela * rel = (Rela *)reloc; 515aefb655Srie 525aefb655Srie /* LINTED */ 53ba2be530Sab196087 reld->rel_rtype = (Word)ELF_R_TYPE(rel->r_info, M_MACH); 545aefb655Srie reld->rel_roffset = rel->r_offset; 555aefb655Srie reld->rel_raddend = rel->r_addend; 565aefb655Srie reld->rel_typedata = 0; 575aefb655Srie 585aefb655Srie reld->rel_flags |= FLG_REL_RELA; 595aefb655Srie 605aefb655Srie return ((Word)ELF_R_SYM(rel->r_info)); 615aefb655Srie } 625aefb655Srie 63ba2be530Sab196087 static void 645aefb655Srie ld_mach_eflags(Ehdr *ehdr, Ofl_desc *ofl) 655aefb655Srie { 665aefb655Srie ofl->ofl_dehdr->e_flags |= ehdr->e_flags; 675aefb655Srie } 685aefb655Srie 69ba2be530Sab196087 static void 705aefb655Srie ld_mach_make_dynamic(Ofl_desc *ofl, size_t *cnt) 715aefb655Srie { 725aefb655Srie if (!(ofl->ofl_flags & FLG_OF_RELOBJ)) { 735aefb655Srie /* 745aefb655Srie * Create this entry if we are going to create a PLT table. 755aefb655Srie */ 765aefb655Srie if (ofl->ofl_pltcnt) 775aefb655Srie (*cnt)++; /* DT_PLTGOT */ 785aefb655Srie } 795aefb655Srie } 805aefb655Srie 81ba2be530Sab196087 static void 825aefb655Srie ld_mach_update_odynamic(Ofl_desc *ofl, Dyn **dyn) 835aefb655Srie { 845aefb655Srie if (((ofl->ofl_flags & FLG_OF_RELOBJ) == 0) && ofl->ofl_pltcnt) { 855aefb655Srie (*dyn)->d_tag = DT_PLTGOT; 865aefb655Srie if (ofl->ofl_osgot) 875aefb655Srie (*dyn)->d_un.d_ptr = ofl->ofl_osgot->os_shdr->sh_addr; 885aefb655Srie else 895aefb655Srie (*dyn)->d_un.d_ptr = 0; 905aefb655Srie (*dyn)++; 915aefb655Srie } 925aefb655Srie } 935aefb655Srie 94ba2be530Sab196087 static Xword 955aefb655Srie ld_calc_plt_addr(Sym_desc *sdp, Ofl_desc *ofl) 965aefb655Srie { 975aefb655Srie Xword value; 985aefb655Srie 995aefb655Srie value = (Xword)(ofl->ofl_osplt->os_shdr->sh_addr) + 1005aefb655Srie M_PLT_RESERVSZ + ((sdp->sd_aux->sa_PLTndx - 1) * M_PLT_ENTSIZE); 1015aefb655Srie return (value); 1025aefb655Srie } 1035aefb655Srie 1045aefb655Srie /* 1055aefb655Srie * Build a single plt entry - code is: 1065aefb655Srie * JMP *name1@GOTPCREL(%rip) 1075aefb655Srie * PUSHL $index 1085aefb655Srie * JMP .PLT0 1095aefb655Srie */ 1105aefb655Srie static uchar_t pltn_entry[M_PLT_ENTSIZE] = { 1115aefb655Srie /* 0x00 jmpq *name1@GOTPCREL(%rip) */ 0xff, 0x25, 0x00, 0x00, 0x00, 0x00, 1125aefb655Srie /* 0x06 pushq $index */ 0x68, 0x00, 0x00, 0x00, 0x00, 1135aefb655Srie /* 0x0b jmpq .plt0(%rip) */ 0xe9, 0x00, 0x00, 0x00, 0x00 1145aefb655Srie /* 0x10 */ 1155aefb655Srie }; 1165aefb655Srie 1175aefb655Srie static uintptr_t 1185aefb655Srie plt_entry(Ofl_desc * ofl, Sym_desc * sdp) 1195aefb655Srie { 1205aefb655Srie uchar_t *plt0, *pltent, *gotent; 1215aefb655Srie Sword plt_off; 1225aefb655Srie Word got_off; 1235aefb655Srie Xword val1; 124ba2be530Sab196087 int bswap = (ofl->ofl_flags1 & FLG_OF1_ENCDIFF) != 0; 1255aefb655Srie 1265aefb655Srie got_off = sdp->sd_aux->sa_PLTGOTndx * M_GOT_ENTSIZE; 1275aefb655Srie plt_off = M_PLT_RESERVSZ + ((sdp->sd_aux->sa_PLTndx - 1) * 1285aefb655Srie M_PLT_ENTSIZE); 1295aefb655Srie plt0 = (uchar_t *)(ofl->ofl_osplt->os_outdata->d_buf); 1305aefb655Srie pltent = plt0 + plt_off; 1315aefb655Srie gotent = (uchar_t *)(ofl->ofl_osgot->os_outdata->d_buf) + got_off; 1325aefb655Srie 1335aefb655Srie bcopy(pltn_entry, pltent, sizeof (pltn_entry)); 1345aefb655Srie /* 1355aefb655Srie * Fill in the got entry with the address of the next instruction. 1365aefb655Srie */ 1375aefb655Srie /* LINTED */ 1385aefb655Srie *(Word *)gotent = ofl->ofl_osplt->os_shdr->sh_addr + plt_off + 1395aefb655Srie M_PLT_INSSIZE; 140ba2be530Sab196087 if (bswap) 141ba2be530Sab196087 /* LINTED */ 142ba2be530Sab196087 *(Word *)gotent = ld_bswap_Word(*(Word *)gotent); 1435aefb655Srie 1445aefb655Srie /* 145f3324781Sab196087 * If '-z noreloc' is specified - skip the do_reloc_ld 146f3324781Sab196087 * stage. 147f3324781Sab196087 */ 148f3324781Sab196087 if (!OFL_DO_RELOC(ofl)) 149f3324781Sab196087 return (1); 150f3324781Sab196087 151f3324781Sab196087 /* 1525aefb655Srie * patchup: 1535aefb655Srie * jmpq *name1@gotpcrel(%rip) 1545aefb655Srie * 1555aefb655Srie * NOTE: 0x06 represents next instruction. 1565aefb655Srie */ 1575aefb655Srie val1 = (ofl->ofl_osgot->os_shdr->sh_addr + got_off) - 1585aefb655Srie (ofl->ofl_osplt->os_shdr->sh_addr + plt_off) - 0x06; 1595aefb655Srie 160f3324781Sab196087 if (do_reloc_ld(R_AMD64_GOTPCREL, &pltent[0x02], 1615aefb655Srie &val1, MSG_ORIG(MSG_SYM_PLTENT), 162f3324781Sab196087 MSG_ORIG(MSG_SPECFIL_PLTENT), bswap, ofl->ofl_lml) == 0) { 163f3324781Sab196087 eprintf(ofl->ofl_lml, ERR_FATAL, MSG_INTL(MSG_PLT_PLTNFAIL), 164f3324781Sab196087 sdp->sd_aux->sa_PLTndx, demangle(sdp->sd_name)); 1655aefb655Srie return (S_ERROR); 1665aefb655Srie } 1675aefb655Srie 1685aefb655Srie /* 1695aefb655Srie * patchup: 1705aefb655Srie * pushq $pltndx 1715aefb655Srie */ 1725aefb655Srie val1 = (Xword)(sdp->sd_aux->sa_PLTndx - 1); 173f3324781Sab196087 174f3324781Sab196087 if (do_reloc_ld(R_AMD64_32, &pltent[0x07], 1755aefb655Srie &val1, MSG_ORIG(MSG_SYM_PLTENT), 176f3324781Sab196087 MSG_ORIG(MSG_SPECFIL_PLTENT), bswap, ofl->ofl_lml) == 0) { 177f3324781Sab196087 eprintf(ofl->ofl_lml, ERR_FATAL, MSG_INTL(MSG_PLT_PLTNFAIL), 178f3324781Sab196087 sdp->sd_aux->sa_PLTndx, demangle(sdp->sd_name)); 1795aefb655Srie return (S_ERROR); 1805aefb655Srie } 1815aefb655Srie 1825aefb655Srie /* 1835aefb655Srie * patchup: 1845aefb655Srie * jmpq .plt0(%rip) 185f3324781Sab196087 * NOTE: 0x10 represents next instruction. The rather complex 186f3324781Sab196087 * series of casts is necessary to sign extend an offset into 187f3324781Sab196087 * a 64-bit value while satisfying various compiler error 188f3324781Sab196087 * checks. Handle with care. 1895aefb655Srie */ 1905aefb655Srie val1 = (Xword)((intptr_t)((uintptr_t)plt0 - 1915aefb655Srie (uintptr_t)(&pltent[0x10]))); 1925aefb655Srie 193f3324781Sab196087 if (do_reloc_ld(R_AMD64_PC32, &pltent[0x0c], 1945aefb655Srie &val1, MSG_ORIG(MSG_SYM_PLTENT), 195f3324781Sab196087 MSG_ORIG(MSG_SPECFIL_PLTENT), bswap, ofl->ofl_lml) == 0) { 196f3324781Sab196087 eprintf(ofl->ofl_lml, ERR_FATAL, MSG_INTL(MSG_PLT_PLTNFAIL), 197f3324781Sab196087 sdp->sd_aux->sa_PLTndx, demangle(sdp->sd_name)); 1985aefb655Srie return (S_ERROR); 1995aefb655Srie } 200f3324781Sab196087 2015aefb655Srie return (1); 2025aefb655Srie } 2035aefb655Srie 204ba2be530Sab196087 static uintptr_t 2055aefb655Srie ld_perform_outreloc(Rel_desc * orsp, Ofl_desc * ofl) 2065aefb655Srie { 2075aefb655Srie Os_desc * relosp, * osp = 0; 2085aefb655Srie Word ndx; 2095aefb655Srie Xword roffset, value; 2105aefb655Srie Sxword raddend; 2115aefb655Srie Rela rea; 2125aefb655Srie char *relbits; 2135aefb655Srie Sym_desc * sdp, * psym = (Sym_desc *)0; 2145aefb655Srie int sectmoved = 0; 2155aefb655Srie 2165aefb655Srie raddend = orsp->rel_raddend; 2175aefb655Srie sdp = orsp->rel_sym; 2185aefb655Srie 2195aefb655Srie /* 2205aefb655Srie * If the section this relocation is against has been discarded 2215aefb655Srie * (-zignore), then also discard (skip) the relocation itself. 2225aefb655Srie */ 2235aefb655Srie if (orsp->rel_isdesc && ((orsp->rel_flags & 2245aefb655Srie (FLG_REL_GOT | FLG_REL_BSS | FLG_REL_PLT | FLG_REL_NOINFO)) == 0) && 2255aefb655Srie (orsp->rel_isdesc->is_flags & FLG_IS_DISCARD)) { 2265aefb655Srie DBG_CALL(Dbg_reloc_discard(ofl->ofl_lml, M_MACH, orsp)); 2275aefb655Srie return (1); 2285aefb655Srie } 2295aefb655Srie 2305aefb655Srie /* 2315aefb655Srie * If this is a relocation against a move table, or expanded move 2325aefb655Srie * table, adjust the relocation entries. 2335aefb655Srie */ 2345aefb655Srie if (orsp->rel_move) 2355aefb655Srie ld_adj_movereloc(ofl, orsp); 2365aefb655Srie 2375aefb655Srie /* 2385aefb655Srie * If this is a relocation against a section then we need to adjust the 2395aefb655Srie * raddend field to compensate for the new position of the input section 2405aefb655Srie * within the new output section. 2415aefb655Srie */ 2425aefb655Srie if (ELF_ST_TYPE(sdp->sd_sym->st_info) == STT_SECTION) { 2435aefb655Srie if (ofl->ofl_parsym.head && 2445aefb655Srie (sdp->sd_isc->is_flags & FLG_IS_RELUPD) && 2455aefb655Srie /* LINTED */ 2465aefb655Srie (psym = ld_am_I_partial(orsp, orsp->rel_raddend))) { 2475aefb655Srie DBG_CALL(Dbg_move_outsctadj(ofl->ofl_lml, psym)); 2485aefb655Srie sectmoved = 1; 2495aefb655Srie if (ofl->ofl_flags & FLG_OF_RELOBJ) 2505aefb655Srie raddend = psym->sd_sym->st_value; 2515aefb655Srie else 2525aefb655Srie raddend = psym->sd_sym->st_value - 2535aefb655Srie psym->sd_isc->is_osdesc->os_shdr->sh_addr; 2545aefb655Srie /* LINTED */ 2555aefb655Srie raddend += (Off)_elf_getxoff(psym->sd_isc->is_indata); 2565aefb655Srie if (psym->sd_isc->is_shdr->sh_flags & SHF_ALLOC) 2575aefb655Srie raddend += 2585aefb655Srie psym->sd_isc->is_osdesc->os_shdr->sh_addr; 2595aefb655Srie } else { 2605aefb655Srie /* LINTED */ 2615aefb655Srie raddend += (Off)_elf_getxoff(sdp->sd_isc->is_indata); 2625aefb655Srie if (sdp->sd_isc->is_shdr->sh_flags & SHF_ALLOC) 2635aefb655Srie raddend += 2645aefb655Srie sdp->sd_isc->is_osdesc->os_shdr->sh_addr; 2655aefb655Srie } 2665aefb655Srie } 2675aefb655Srie 2685aefb655Srie value = sdp->sd_sym->st_value; 2695aefb655Srie 2705aefb655Srie if (orsp->rel_flags & FLG_REL_GOT) { 2715aefb655Srie /* 2725aefb655Srie * Note: for GOT relative relocations on amd64 2735aefb655Srie * we discard the addend. It was relevant 2745aefb655Srie * to the reference - not to the data item 2755aefb655Srie * being referenced (ie: that -4 thing). 2765aefb655Srie */ 2775aefb655Srie raddend = 0; 2785aefb655Srie osp = ofl->ofl_osgot; 2795aefb655Srie roffset = ld_calc_got_offset(orsp, ofl); 2805aefb655Srie 2815aefb655Srie } else if (orsp->rel_flags & FLG_REL_PLT) { 2825aefb655Srie /* 2835aefb655Srie * Note that relocations for PLT's actually 2845aefb655Srie * cause a relocation againt the GOT. 2855aefb655Srie */ 2865aefb655Srie osp = ofl->ofl_osplt; 2875aefb655Srie roffset = (ofl->ofl_osgot->os_shdr->sh_addr) + 2885aefb655Srie sdp->sd_aux->sa_PLTGOTndx * M_GOT_ENTSIZE; 2895aefb655Srie raddend = 0; 2905aefb655Srie if (plt_entry(ofl, sdp) == S_ERROR) 2915aefb655Srie return (S_ERROR); 2925aefb655Srie 2935aefb655Srie } else if (orsp->rel_flags & FLG_REL_BSS) { 2945aefb655Srie /* 2955aefb655Srie * This must be a R_AMD64_COPY. For these set the roffset to 2965aefb655Srie * point to the new symbols location. 2975aefb655Srie */ 2985aefb655Srie osp = ofl->ofl_isbss->is_osdesc; 2995aefb655Srie roffset = value; 3005aefb655Srie 3015aefb655Srie /* 3025aefb655Srie * The raddend doesn't mean anything in a R_SPARC_COPY 3035aefb655Srie * relocation. Null it out because it can confuse people. 3045aefb655Srie */ 3055aefb655Srie raddend = 0; 3065aefb655Srie } else { 3075aefb655Srie osp = orsp->rel_osdesc; 3085aefb655Srie 3095aefb655Srie /* 3105aefb655Srie * Calculate virtual offset of reference point; equals offset 3115aefb655Srie * into section + vaddr of section for loadable sections, or 3125aefb655Srie * offset plus section displacement for nonloadable sections. 3135aefb655Srie */ 3145aefb655Srie roffset = orsp->rel_roffset + 3155aefb655Srie (Off)_elf_getxoff(orsp->rel_isdesc->is_indata); 3165aefb655Srie if (!(ofl->ofl_flags & FLG_OF_RELOBJ)) 3175aefb655Srie roffset += orsp->rel_isdesc->is_osdesc-> 3185aefb655Srie os_shdr->sh_addr; 3195aefb655Srie } 3205aefb655Srie 3215aefb655Srie if ((osp == 0) || ((relosp = osp->os_relosdesc) == 0)) 3225aefb655Srie relosp = ofl->ofl_osrel; 3235aefb655Srie 3245aefb655Srie /* 3255aefb655Srie * Assign the symbols index for the output relocation. If the 3265aefb655Srie * relocation refers to a SECTION symbol then it's index is based upon 3275aefb655Srie * the output sections symbols index. Otherwise the index can be 3285aefb655Srie * derived from the symbols index itself. 3295aefb655Srie */ 3305aefb655Srie if (orsp->rel_rtype == R_AMD64_RELATIVE) 3315aefb655Srie ndx = STN_UNDEF; 3325aefb655Srie else if ((orsp->rel_flags & FLG_REL_SCNNDX) || 3335aefb655Srie (ELF_ST_TYPE(sdp->sd_sym->st_info) == STT_SECTION)) { 3345aefb655Srie if (sectmoved == 0) { 3355aefb655Srie /* 3365aefb655Srie * Check for a null input section. This can 3375aefb655Srie * occur if this relocation references a symbol 3385aefb655Srie * generated by sym_add_sym(). 3395aefb655Srie */ 3405aefb655Srie if ((sdp->sd_isc != 0) && 3415aefb655Srie (sdp->sd_isc->is_osdesc != 0)) 3425aefb655Srie ndx = sdp->sd_isc->is_osdesc->os_scnsymndx; 3435aefb655Srie else 3445aefb655Srie ndx = sdp->sd_shndx; 3455aefb655Srie } else 34635450702SAli Bahrami ndx = ofl->ofl_parexpnndx; 3475aefb655Srie } else 3485aefb655Srie ndx = sdp->sd_symndx; 3495aefb655Srie 3505aefb655Srie /* 3515aefb655Srie * Add the symbols 'value' to the addend field. 3525aefb655Srie */ 3535aefb655Srie if (orsp->rel_flags & FLG_REL_ADVAL) 3545aefb655Srie raddend += value; 3555aefb655Srie 3565aefb655Srie /* 3577010c12aSrie * The addend field for R_AMD64_DTPMOD64 means nothing. The addend 3587010c12aSrie * is propagated in the corresponding R_AMD64_DTPOFF64 relocation. 3595aefb655Srie */ 3605aefb655Srie if (orsp->rel_rtype == R_AMD64_DTPMOD64) 3615aefb655Srie raddend = 0; 3625aefb655Srie 3635aefb655Srie relbits = (char *)relosp->os_outdata->d_buf; 3645aefb655Srie 3655aefb655Srie rea.r_info = ELF_R_INFO(ndx, orsp->rel_rtype); 3665aefb655Srie rea.r_offset = roffset; 3675aefb655Srie rea.r_addend = raddend; 3685aefb655Srie DBG_CALL(Dbg_reloc_out(ofl, ELF_DBG_LD, SHT_RELA, &rea, relosp->os_name, 3695aefb655Srie orsp->rel_sname)); 3705aefb655Srie 3715aefb655Srie /* 3725aefb655Srie * Assert we haven't walked off the end of our relocation table. 3735aefb655Srie */ 3745aefb655Srie assert(relosp->os_szoutrels <= relosp->os_shdr->sh_size); 3755aefb655Srie 3765aefb655Srie (void) memcpy((relbits + relosp->os_szoutrels), 3775aefb655Srie (char *)&rea, sizeof (Rela)); 3785aefb655Srie relosp->os_szoutrels += (Xword)sizeof (Rela); 3795aefb655Srie 3805aefb655Srie /* 3815aefb655Srie * Determine if this relocation is against a non-writable, allocatable 3825aefb655Srie * section. If so we may need to provide a text relocation diagnostic. 3835aefb655Srie * Note that relocations against the .plt (R_AMD64_JUMP_SLOT) actually 3845aefb655Srie * result in modifications to the .got. 3855aefb655Srie */ 3865aefb655Srie if (orsp->rel_rtype == R_AMD64_JUMP_SLOT) 3875aefb655Srie osp = ofl->ofl_osgot; 3885aefb655Srie 3895aefb655Srie ld_reloc_remain_entry(orsp, osp, ofl); 3905aefb655Srie return (1); 3915aefb655Srie } 3925aefb655Srie 3935aefb655Srie /* 3945aefb655Srie * amd64 Instructions for TLS processing 3955aefb655Srie */ 3965aefb655Srie static uchar_t tlsinstr_gd_ie[] = { 3975aefb655Srie /* 3985aefb655Srie * 0x00 movq %fs:0, %rax 3995aefb655Srie */ 4005aefb655Srie 0x64, 0x48, 0x8b, 0x04, 0x25, 4015aefb655Srie 0x00, 0x00, 0x00, 0x00, 4025aefb655Srie /* 4035aefb655Srie * 0x09 addq x@gottpoff(%rip), %rax 4045aefb655Srie */ 4055aefb655Srie 0x48, 0x03, 0x05, 0x00, 0x00, 4065aefb655Srie 0x00, 0x00 4075aefb655Srie }; 4085aefb655Srie 4095aefb655Srie static uchar_t tlsinstr_gd_le[] = { 4105aefb655Srie /* 4115aefb655Srie * 0x00 movq %fs:0, %rax 4125aefb655Srie */ 4135aefb655Srie 0x64, 0x48, 0x8b, 0x04, 0x25, 4145aefb655Srie 0x00, 0x00, 0x00, 0x00, 4155aefb655Srie /* 4165aefb655Srie * 0x09 leaq x@gottpoff(%rip), %rax 4175aefb655Srie */ 4185aefb655Srie 0x48, 0x8d, 0x80, 0x00, 0x00, 4195aefb655Srie 0x00, 0x00 4205aefb655Srie }; 4215aefb655Srie 4225aefb655Srie static uchar_t tlsinstr_ld_le[] = { 4235aefb655Srie /* 4245aefb655Srie * .byte 0x66 4255aefb655Srie */ 4265aefb655Srie 0x66, 4275aefb655Srie /* 4285aefb655Srie * .byte 0x66 4295aefb655Srie */ 4305aefb655Srie 0x66, 4315aefb655Srie /* 4325aefb655Srie * .byte 0x66 4335aefb655Srie */ 4345aefb655Srie 0x66, 4355aefb655Srie /* 4365aefb655Srie * movq %fs:0, %rax 4375aefb655Srie */ 4385aefb655Srie 0x64, 0x48, 0x8b, 0x04, 0x25, 4395aefb655Srie 0x00, 0x00, 0x00, 0x00 4405aefb655Srie }; 4415aefb655Srie 4425aefb655Srie 4435aefb655Srie static Fixupret 4445aefb655Srie tls_fixups(Ofl_desc *ofl, Rel_desc *arsp) 4455aefb655Srie { 4465aefb655Srie Sym_desc *sdp = arsp->rel_sym; 4475aefb655Srie Word rtype = arsp->rel_rtype; 4485aefb655Srie uchar_t *offset; 4495aefb655Srie 4505aefb655Srie offset = (uchar_t *)((uintptr_t)arsp->rel_roffset + 4515aefb655Srie (uintptr_t)_elf_getxoff(arsp->rel_isdesc->is_indata) + 4525aefb655Srie (uintptr_t)arsp->rel_osdesc->os_outdata->d_buf); 4535aefb655Srie 4545aefb655Srie if (sdp->sd_ref == REF_DYN_NEED) { 4555aefb655Srie /* 4565aefb655Srie * IE reference model 4575aefb655Srie */ 4585aefb655Srie switch (rtype) { 4595aefb655Srie case R_AMD64_TLSGD: 4605aefb655Srie /* 4615aefb655Srie * GD -> IE 4625aefb655Srie * 4635aefb655Srie * Transition: 4645aefb655Srie * 0x00 .byte 0x66 4655aefb655Srie * 0x01 leaq x@tlsgd(%rip), %rdi 4665aefb655Srie * 0x08 .word 0x6666 4675aefb655Srie * 0x0a rex64 4685aefb655Srie * 0x0b call __tls_get_addr@plt 4695aefb655Srie * 0x10 4705aefb655Srie * To: 4715aefb655Srie * 0x00 movq %fs:0, %rax 4725aefb655Srie * 0x09 addq x@gottpoff(%rip), %rax 4735aefb655Srie * 0x10 4745aefb655Srie */ 4755aefb655Srie DBG_CALL(Dbg_reloc_transition(ofl->ofl_lml, M_MACH, 476051d39bbSrie R_AMD64_GOTTPOFF, arsp)); 4775aefb655Srie arsp->rel_rtype = R_AMD64_GOTTPOFF; 4785aefb655Srie arsp->rel_roffset += 8; 4795aefb655Srie arsp->rel_raddend = (Sxword)-4; 4805aefb655Srie 4815aefb655Srie /* 482051d39bbSrie * Adjust 'offset' to beginning of instruction 4835aefb655Srie * sequence. 4845aefb655Srie */ 4855aefb655Srie offset -= 4; 4865aefb655Srie (void) memcpy(offset, tlsinstr_gd_ie, 4875aefb655Srie sizeof (tlsinstr_gd_ie)); 4885aefb655Srie return (FIX_RELOC); 4895aefb655Srie 4905aefb655Srie case R_AMD64_PLT32: 4915aefb655Srie /* 492051d39bbSrie * Fixup done via the TLS_GD relocation. 4935aefb655Srie */ 4945aefb655Srie DBG_CALL(Dbg_reloc_transition(ofl->ofl_lml, M_MACH, 495051d39bbSrie R_AMD64_NONE, arsp)); 4965aefb655Srie return (FIX_DONE); 4975aefb655Srie } 4985aefb655Srie } 4995aefb655Srie 5005aefb655Srie /* 5015aefb655Srie * LE reference model 5025aefb655Srie */ 5035aefb655Srie switch (rtype) { 5045aefb655Srie case R_AMD64_TLSGD: 5055aefb655Srie /* 5065aefb655Srie * GD -> LE 5075aefb655Srie * 5085aefb655Srie * Transition: 5095aefb655Srie * 0x00 .byte 0x66 5105aefb655Srie * 0x01 leaq x@tlsgd(%rip), %rdi 5115aefb655Srie * 0x08 .word 0x6666 5125aefb655Srie * 0x0a rex64 5135aefb655Srie * 0x0b call __tls_get_addr@plt 5145aefb655Srie * 0x10 5155aefb655Srie * To: 5165aefb655Srie * 0x00 movq %fs:0, %rax 5175aefb655Srie * 0x09 leaq x@tpoff(%rax), %rax 5185aefb655Srie * 0x10 5195aefb655Srie */ 5205aefb655Srie DBG_CALL(Dbg_reloc_transition(ofl->ofl_lml, M_MACH, 521051d39bbSrie R_AMD64_TPOFF32, arsp)); 5225aefb655Srie arsp->rel_rtype = R_AMD64_TPOFF32; 5235aefb655Srie arsp->rel_roffset += 8; 5245aefb655Srie arsp->rel_raddend = 0; 5255aefb655Srie 5265aefb655Srie /* 527051d39bbSrie * Adjust 'offset' to beginning of instruction sequence. 5285aefb655Srie */ 5295aefb655Srie offset -= 4; 5305aefb655Srie (void) memcpy(offset, tlsinstr_gd_le, sizeof (tlsinstr_gd_le)); 5315aefb655Srie return (FIX_RELOC); 5325aefb655Srie 5335aefb655Srie case R_AMD64_GOTTPOFF: 5345aefb655Srie /* 5355aefb655Srie * IE -> LE 5365aefb655Srie * 5375aefb655Srie * Transition: 5385aefb655Srie * 0x00 movq %fs:0, %rax 5395aefb655Srie * 0x09 addq x@gottopoff(%rip), %rax 5405aefb655Srie * 0x10 5415aefb655Srie * To: 5425aefb655Srie * 0x00 movq %fs:0, %rax 5435aefb655Srie * 0x09 leaq x@tpoff(%rax), %rax 5445aefb655Srie * 0x10 5455aefb655Srie */ 546051d39bbSrie DBG_CALL(Dbg_reloc_transition(ofl->ofl_lml, M_MACH, 547051d39bbSrie R_AMD64_TPOFF32, arsp)); 5485aefb655Srie arsp->rel_rtype = R_AMD64_TPOFF32; 5495aefb655Srie arsp->rel_raddend = 0; 5505aefb655Srie 5515aefb655Srie /* 552051d39bbSrie * Adjust 'offset' to beginning of instruction sequence. 5535aefb655Srie */ 5545aefb655Srie offset -= 12; 5555aefb655Srie 5565aefb655Srie /* 557051d39bbSrie * Same code sequence used in the GD -> LE transition. 5585aefb655Srie */ 5595aefb655Srie (void) memcpy(offset, tlsinstr_gd_le, sizeof (tlsinstr_gd_le)); 5605aefb655Srie return (FIX_RELOC); 5615aefb655Srie 5625aefb655Srie case R_AMD64_TLSLD: 5635aefb655Srie /* 5645aefb655Srie * LD -> LE 5655aefb655Srie * 5665aefb655Srie * Transition 5675aefb655Srie * 0x00 leaq x1@tlsgd(%rip), %rdi 5685aefb655Srie * 0x07 call __tls_get_addr@plt 5695aefb655Srie * 0x0c 5705aefb655Srie * To: 5715aefb655Srie * 0x00 .byte 0x66 5725aefb655Srie * 0x01 .byte 0x66 5735aefb655Srie * 0x02 .byte 0x66 5745aefb655Srie * 0x03 movq %fs:0, %rax 5755aefb655Srie */ 576051d39bbSrie DBG_CALL(Dbg_reloc_transition(ofl->ofl_lml, M_MACH, 577051d39bbSrie R_AMD64_NONE, arsp)); 5785aefb655Srie offset -= 3; 5795aefb655Srie (void) memcpy(offset, tlsinstr_ld_le, sizeof (tlsinstr_ld_le)); 5805aefb655Srie return (FIX_DONE); 5815aefb655Srie 5825aefb655Srie case R_AMD64_DTPOFF32: 5835aefb655Srie /* 5845aefb655Srie * LD->LE 5855aefb655Srie * 5865aefb655Srie * Transition: 5875aefb655Srie * 0x00 leaq x1@dtpoff(%rax), %rcx 5885aefb655Srie * To: 5895aefb655Srie * 0x00 leaq x1@tpoff(%rax), %rcx 5905aefb655Srie */ 591051d39bbSrie DBG_CALL(Dbg_reloc_transition(ofl->ofl_lml, M_MACH, 592051d39bbSrie R_AMD64_TPOFF32, arsp)); 5935aefb655Srie arsp->rel_rtype = R_AMD64_TPOFF32; 5945aefb655Srie arsp->rel_raddend = 0; 5955aefb655Srie return (FIX_RELOC); 5965aefb655Srie } 5975aefb655Srie 5985aefb655Srie return (FIX_RELOC); 5995aefb655Srie } 6005aefb655Srie 601ba2be530Sab196087 static uintptr_t 6025aefb655Srie ld_do_activerelocs(Ofl_desc *ofl) 6035aefb655Srie { 6045aefb655Srie Rel_desc *arsp; 6055aefb655Srie Rel_cache *rcp; 6065aefb655Srie Listnode *lnp; 6075aefb655Srie uintptr_t return_code = 1; 6081d9df23bSab196087 ofl_flag_t flags = ofl->ofl_flags; 6095aefb655Srie 6107010c12aSrie if (ofl->ofl_actrels.head) 6115aefb655Srie DBG_CALL(Dbg_reloc_doact_title(ofl->ofl_lml)); 6127010c12aSrie 6135aefb655Srie /* 6145aefb655Srie * Process active relocations. 6155aefb655Srie */ 6165aefb655Srie for (LIST_TRAVERSE(&ofl->ofl_actrels, lnp, rcp)) { 6175aefb655Srie /* LINTED */ 6185aefb655Srie for (arsp = (Rel_desc *)(rcp + 1); 6195aefb655Srie arsp < rcp->rc_free; arsp++) { 6205aefb655Srie uchar_t *addr; 6215aefb655Srie Xword value; 6225aefb655Srie Sym_desc *sdp; 6235aefb655Srie const char *ifl_name; 6245aefb655Srie Xword refaddr; 6255aefb655Srie int moved = 0; 6265aefb655Srie Gotref gref; 6275aefb655Srie 6285aefb655Srie /* 6295aefb655Srie * If the section this relocation is against has been 6305aefb655Srie * discarded (-zignore), then discard (skip) the 6315aefb655Srie * relocation itself. 6325aefb655Srie */ 6335aefb655Srie if ((arsp->rel_isdesc->is_flags & FLG_IS_DISCARD) && 6345aefb655Srie ((arsp->rel_flags & 6355aefb655Srie (FLG_REL_GOT | FLG_REL_BSS | 6365aefb655Srie FLG_REL_PLT | FLG_REL_NOINFO)) == 0)) { 6375aefb655Srie DBG_CALL(Dbg_reloc_discard(ofl->ofl_lml, 6385aefb655Srie M_MACH, arsp)); 6395aefb655Srie continue; 6405aefb655Srie } 6415aefb655Srie 6425aefb655Srie /* 643d2d5cf7cSAli Bahrami * We determine what the 'got reference' 6445aefb655Srie * model (if required) is at this point. This 6455aefb655Srie * needs to be done before tls_fixup() since 6465aefb655Srie * it may 'transition' our instructions. 6475aefb655Srie * 6485aefb655Srie * The got table entries have already been assigned, 6495aefb655Srie * and we bind to those initial entries. 6505aefb655Srie */ 6515aefb655Srie if (arsp->rel_flags & FLG_REL_DTLS) 6525aefb655Srie gref = GOT_REF_TLSGD; 6535aefb655Srie else if (arsp->rel_flags & FLG_REL_MTLS) 6545aefb655Srie gref = GOT_REF_TLSLD; 6555aefb655Srie else if (arsp->rel_flags & FLG_REL_STLS) 6565aefb655Srie gref = GOT_REF_TLSIE; 6575aefb655Srie else 6585aefb655Srie gref = GOT_REF_GENERIC; 6595aefb655Srie 6605aefb655Srie /* 6615aefb655Srie * Perform any required TLS fixups. 6625aefb655Srie */ 6635aefb655Srie if (arsp->rel_flags & FLG_REL_TLSFIX) { 6645aefb655Srie Fixupret ret; 6655aefb655Srie 6665aefb655Srie if ((ret = tls_fixups(ofl, arsp)) == FIX_ERROR) 6675aefb655Srie return (S_ERROR); 6685aefb655Srie if (ret == FIX_DONE) 6695aefb655Srie continue; 6705aefb655Srie } 6715aefb655Srie 6725aefb655Srie /* 6735aefb655Srie * If this is a relocation against a move table, or 6745aefb655Srie * expanded move table, adjust the relocation entries. 6755aefb655Srie */ 6765aefb655Srie if (arsp->rel_move) 6775aefb655Srie ld_adj_movereloc(ofl, arsp); 6785aefb655Srie 6795aefb655Srie sdp = arsp->rel_sym; 6805aefb655Srie refaddr = arsp->rel_roffset + 6815aefb655Srie (Off)_elf_getxoff(arsp->rel_isdesc->is_indata); 6825aefb655Srie 6835aefb655Srie if ((arsp->rel_flags & FLG_REL_CLVAL) || 6845aefb655Srie (arsp->rel_flags & FLG_REL_GOTCL)) 6855aefb655Srie value = 0; 6865aefb655Srie else if (ELF_ST_TYPE(sdp->sd_sym->st_info) == 6875aefb655Srie STT_SECTION) { 6885aefb655Srie Sym_desc *sym; 6895aefb655Srie 6905aefb655Srie /* 6915aefb655Srie * The value for a symbol pointing to a SECTION 6925aefb655Srie * is based off of that sections position. 6935aefb655Srie */ 6945aefb655Srie if ((sdp->sd_isc->is_flags & FLG_IS_RELUPD) && 6955aefb655Srie /* LINTED */ 696*bf2f215aSAli Bahrami (sym = ld_am_I_partial(arsp, 697*bf2f215aSAli Bahrami arsp->rel_raddend))) { 6985aefb655Srie /* 699b26cc8daSAli Bahrami * The symbol was moved, so adjust 700b26cc8daSAli Bahrami * the value relative to the new 701b26cc8daSAli Bahrami * section. 7025aefb655Srie */ 7035aefb655Srie value = sym->sd_sym->st_value; 7045aefb655Srie moved = 1; 705b26cc8daSAli Bahrami 706b26cc8daSAli Bahrami /* 707b26cc8daSAli Bahrami * The original raddend covers the 708b26cc8daSAli Bahrami * displacement from the section start 709b26cc8daSAli Bahrami * to the desired address. The value 710b26cc8daSAli Bahrami * computed above gets us from the 711b26cc8daSAli Bahrami * section start to the start of the 712b26cc8daSAli Bahrami * symbol range. Adjust the old raddend 713b26cc8daSAli Bahrami * to remove the offset from section 714b26cc8daSAli Bahrami * start to symbol start, leaving the 715b26cc8daSAli Bahrami * displacement within the range of 716b26cc8daSAli Bahrami * the symbol. 717b26cc8daSAli Bahrami */ 718*bf2f215aSAli Bahrami arsp->rel_raddend -= 719*bf2f215aSAli Bahrami sym->sd_osym->st_value; 7205aefb655Srie } else { 7215aefb655Srie value = _elf_getxoff( 7225aefb655Srie sdp->sd_isc->is_indata); 7235aefb655Srie if (sdp->sd_isc->is_shdr->sh_flags & 7245aefb655Srie SHF_ALLOC) 725de777a60Sab196087 value += 726de777a60Sab196087 sdp->sd_isc->is_osdesc-> 7275aefb655Srie os_shdr->sh_addr; 7285aefb655Srie } 7295aefb655Srie if (sdp->sd_isc->is_shdr->sh_flags & SHF_TLS) 7305aefb655Srie value -= ofl->ofl_tlsphdr->p_vaddr; 7312926dd2eSrie 7322926dd2eSrie } else if (IS_SIZE(arsp->rel_rtype)) { 7332926dd2eSrie /* 7342926dd2eSrie * Size relocations require the symbols size. 7352926dd2eSrie */ 7362926dd2eSrie value = sdp->sd_sym->st_size; 7375aefb655Srie } else { 7385aefb655Srie /* 7397010c12aSrie * Else the value is the symbols value. 7405aefb655Srie */ 7415aefb655Srie value = sdp->sd_sym->st_value; 7425aefb655Srie } 7435aefb655Srie 7445aefb655Srie /* 7455aefb655Srie * Relocation against the GLOBAL_OFFSET_TABLE. 7465aefb655Srie */ 7475aefb655Srie if (arsp->rel_flags & FLG_REL_GOT) 7485aefb655Srie arsp->rel_osdesc = ofl->ofl_osgot; 7495aefb655Srie 7505aefb655Srie /* 7515aefb655Srie * If loadable and not producing a relocatable object 7525aefb655Srie * add the sections virtual address to the reference 7535aefb655Srie * address. 7545aefb655Srie */ 7555aefb655Srie if ((arsp->rel_flags & FLG_REL_LOAD) && 7565aefb655Srie ((flags & FLG_OF_RELOBJ) == 0)) 7575aefb655Srie refaddr += arsp->rel_isdesc->is_osdesc-> 7585aefb655Srie os_shdr->sh_addr; 7595aefb655Srie 7605aefb655Srie /* 7615aefb655Srie * If this entry has a PLT assigned to it, it's 7625aefb655Srie * value is actually the address of the PLT (and 7635aefb655Srie * not the address of the function). 7645aefb655Srie */ 7655aefb655Srie if (IS_PLT(arsp->rel_rtype)) { 7665aefb655Srie if (sdp->sd_aux && sdp->sd_aux->sa_PLTndx) 7675aefb655Srie value = ld_calc_plt_addr(sdp, ofl); 7685aefb655Srie } 7695aefb655Srie 7705aefb655Srie /* 7715aefb655Srie * Add relocations addend to value. Add extra 7725aefb655Srie * relocation addend if needed. 7735aefb655Srie * 7745aefb655Srie * Note: for GOT relative relocations on amd64 7755aefb655Srie * we discard the addend. It was relevant 7765aefb655Srie * to the reference - not to the data item 7775aefb655Srie * being referenced (ie: that -4 thing). 7785aefb655Srie */ 7795aefb655Srie if ((arsp->rel_flags & FLG_REL_GOT) == 0) 780*bf2f215aSAli Bahrami value += arsp->rel_raddend; 7815aefb655Srie 7825aefb655Srie /* 7835aefb655Srie * Determine whether the value needs further adjustment. 7845aefb655Srie * Filter through the attributes of the relocation to 7855aefb655Srie * determine what adjustment is required. Note, many 7865aefb655Srie * of the following cases are only applicable when a 7875aefb655Srie * .got is present. As a .got is not generated when a 7885aefb655Srie * relocatable object is being built, any adjustments 7895aefb655Srie * that require a .got need to be skipped. 7905aefb655Srie */ 7915aefb655Srie if ((arsp->rel_flags & FLG_REL_GOT) && 7925aefb655Srie ((flags & FLG_OF_RELOBJ) == 0)) { 7935aefb655Srie Xword R1addr; 7945aefb655Srie uintptr_t R2addr; 7955aefb655Srie Word gotndx; 7965aefb655Srie Gotndx *gnp; 7975aefb655Srie 7985aefb655Srie /* 7995aefb655Srie * Perform relocation against GOT table. Since 8005aefb655Srie * this doesn't fit exactly into a relocation 8015aefb655Srie * we place the appropriate byte in the GOT 8025aefb655Srie * directly 8035aefb655Srie * 8045aefb655Srie * Calculate offset into GOT at which to apply 8055aefb655Srie * the relocation. 8065aefb655Srie */ 8075aefb655Srie gnp = ld_find_gotndx(&(sdp->sd_GOTndxs), gref, 8085aefb655Srie ofl, arsp); 8095aefb655Srie assert(gnp); 8105aefb655Srie 8115aefb655Srie if (arsp->rel_rtype == R_AMD64_DTPOFF64) 8125aefb655Srie gotndx = gnp->gn_gotndx + 1; 8135aefb655Srie else 8145aefb655Srie gotndx = gnp->gn_gotndx; 8155aefb655Srie 8165aefb655Srie R1addr = (Xword)(gotndx * M_GOT_ENTSIZE); 8175aefb655Srie 8185aefb655Srie /* 8195aefb655Srie * Add the GOTs data's offset. 8205aefb655Srie */ 8215aefb655Srie R2addr = R1addr + (uintptr_t) 8225aefb655Srie arsp->rel_osdesc->os_outdata->d_buf; 8235aefb655Srie 8245aefb655Srie DBG_CALL(Dbg_reloc_doact(ofl->ofl_lml, 8255aefb655Srie ELF_DBG_LD, M_MACH, SHT_RELA, 8265aefb655Srie arsp->rel_rtype, R1addr, value, 8275aefb655Srie arsp->rel_sname, arsp->rel_osdesc)); 8285aefb655Srie 8295aefb655Srie /* 8305aefb655Srie * And do it. 8315aefb655Srie */ 832f3324781Sab196087 if (ofl->ofl_flags1 & FLG_OF1_ENCDIFF) 833f3324781Sab196087 *(Xword *)R2addr = 834ba2be530Sab196087 ld_bswap_Xword(value); 835f3324781Sab196087 else 8365aefb655Srie *(Xword *)R2addr = value; 8375aefb655Srie continue; 8385aefb655Srie 8395aefb655Srie } else if (IS_GOT_BASED(arsp->rel_rtype) && 8405aefb655Srie ((flags & FLG_OF_RELOBJ) == 0)) { 8415aefb655Srie value -= ofl->ofl_osgot->os_shdr->sh_addr; 8425aefb655Srie 8435aefb655Srie } else if (IS_GOTPCREL(arsp->rel_rtype) && 8445aefb655Srie ((flags & FLG_OF_RELOBJ) == 0)) { 8455aefb655Srie Gotndx *gnp; 8465aefb655Srie 8475aefb655Srie /* 8485aefb655Srie * Calculation: 8495aefb655Srie * G + GOT + A - P 8505aefb655Srie */ 8515aefb655Srie gnp = ld_find_gotndx(&(sdp->sd_GOTndxs), 8525aefb655Srie gref, ofl, arsp); 8535aefb655Srie assert(gnp); 8545aefb655Srie value = (Xword)(ofl->ofl_osgot->os_shdr-> 8555aefb655Srie sh_addr) + ((Xword)gnp->gn_gotndx * 8565aefb655Srie M_GOT_ENTSIZE) + arsp->rel_raddend - 8575aefb655Srie refaddr; 8585aefb655Srie 8595aefb655Srie } else if (IS_GOT_PC(arsp->rel_rtype) && 8605aefb655Srie ((flags & FLG_OF_RELOBJ) == 0)) { 8615aefb655Srie value = (Xword)(ofl->ofl_osgot->os_shdr-> 8625aefb655Srie sh_addr) - refaddr + arsp->rel_raddend; 8635aefb655Srie 8645aefb655Srie } else if ((IS_PC_RELATIVE(arsp->rel_rtype)) && 8655aefb655Srie (((flags & FLG_OF_RELOBJ) == 0) || 8665aefb655Srie (arsp->rel_osdesc == sdp->sd_isc->is_osdesc))) { 8675aefb655Srie value -= refaddr; 8685aefb655Srie 8695aefb655Srie } else if (IS_TLS_INS(arsp->rel_rtype) && 8705aefb655Srie IS_GOT_RELATIVE(arsp->rel_rtype) && 8715aefb655Srie ((flags & FLG_OF_RELOBJ) == 0)) { 8725aefb655Srie Gotndx *gnp; 8735aefb655Srie 8745aefb655Srie gnp = ld_find_gotndx(&(sdp->sd_GOTndxs), gref, 8755aefb655Srie ofl, arsp); 8765aefb655Srie assert(gnp); 8775aefb655Srie value = (Xword)gnp->gn_gotndx * M_GOT_ENTSIZE; 8785aefb655Srie 8795aefb655Srie } else if (IS_GOT_RELATIVE(arsp->rel_rtype) && 8805aefb655Srie ((flags & FLG_OF_RELOBJ) == 0)) { 8815aefb655Srie Gotndx *gnp; 8825aefb655Srie 8835aefb655Srie gnp = ld_find_gotndx(&(sdp->sd_GOTndxs), 8845aefb655Srie gref, ofl, arsp); 8855aefb655Srie assert(gnp); 8865aefb655Srie value = (Xword)gnp->gn_gotndx * M_GOT_ENTSIZE; 8875aefb655Srie 8885aefb655Srie } else if ((arsp->rel_flags & FLG_REL_STLS) && 8895aefb655Srie ((flags & FLG_OF_RELOBJ) == 0)) { 8905aefb655Srie Xword tlsstatsize; 8915aefb655Srie 8925aefb655Srie /* 8935aefb655Srie * This is the LE TLS reference model. Static 8945aefb655Srie * offset is hard-coded. 8955aefb655Srie */ 8965aefb655Srie tlsstatsize = 8975aefb655Srie S_ROUND(ofl->ofl_tlsphdr->p_memsz, 8985aefb655Srie M_TLSSTATALIGN); 8995aefb655Srie value = tlsstatsize - value; 9005aefb655Srie 9015aefb655Srie /* 9025aefb655Srie * Since this code is fixed up, it assumes a 9035aefb655Srie * negative offset that can be added to the 9045aefb655Srie * thread pointer. 9055aefb655Srie */ 9065aefb655Srie if (arsp->rel_rtype == R_AMD64_TPOFF32) 9075aefb655Srie value = -value; 9085aefb655Srie } 9095aefb655Srie 9105aefb655Srie if (arsp->rel_isdesc->is_file) 9115aefb655Srie ifl_name = arsp->rel_isdesc->is_file->ifl_name; 9125aefb655Srie else 9135aefb655Srie ifl_name = MSG_INTL(MSG_STR_NULL); 9145aefb655Srie 9155aefb655Srie /* 9165aefb655Srie * Make sure we have data to relocate. Compiler and 9175aefb655Srie * assembler developers have been known to generate 9185aefb655Srie * relocations against invalid sections (normally .bss), 9195aefb655Srie * so for their benefit give them sufficient information 9205aefb655Srie * to help analyze the problem. End users should never 9215aefb655Srie * see this. 9225aefb655Srie */ 9235aefb655Srie if (arsp->rel_isdesc->is_indata->d_buf == 0) { 924de777a60Sab196087 Conv_inv_buf_t inv_buf; 925de777a60Sab196087 9265aefb655Srie eprintf(ofl->ofl_lml, ERR_FATAL, 9275aefb655Srie MSG_INTL(MSG_REL_EMPTYSEC), 928de777a60Sab196087 conv_reloc_amd64_type(arsp->rel_rtype, 929de777a60Sab196087 0, &inv_buf), ifl_name, 930de777a60Sab196087 demangle(arsp->rel_sname), 9315aefb655Srie arsp->rel_isdesc->is_name); 9325aefb655Srie return (S_ERROR); 9335aefb655Srie } 9345aefb655Srie 9355aefb655Srie /* 9365aefb655Srie * Get the address of the data item we need to modify. 9375aefb655Srie */ 9385aefb655Srie addr = (uchar_t *)((uintptr_t)arsp->rel_roffset + 9395aefb655Srie (uintptr_t)_elf_getxoff(arsp->rel_isdesc-> 9405aefb655Srie is_indata)); 9415aefb655Srie 9425aefb655Srie DBG_CALL(Dbg_reloc_doact(ofl->ofl_lml, ELF_DBG_LD, 9435aefb655Srie M_MACH, SHT_RELA, arsp->rel_rtype, EC_NATPTR(addr), 9445aefb655Srie value, arsp->rel_sname, arsp->rel_osdesc)); 9455aefb655Srie addr += (uintptr_t)arsp->rel_osdesc->os_outdata->d_buf; 9465aefb655Srie 9475aefb655Srie if ((((uintptr_t)addr - (uintptr_t)ofl->ofl_nehdr) > 9485aefb655Srie ofl->ofl_size) || (arsp->rel_roffset > 9495aefb655Srie arsp->rel_osdesc->os_shdr->sh_size)) { 9505aefb655Srie int class; 951de777a60Sab196087 Conv_inv_buf_t inv_buf; 9525aefb655Srie 9535aefb655Srie if (((uintptr_t)addr - 9545aefb655Srie (uintptr_t)ofl->ofl_nehdr) > ofl->ofl_size) 9555aefb655Srie class = ERR_FATAL; 9565aefb655Srie else 9575aefb655Srie class = ERR_WARNING; 9585aefb655Srie 9595aefb655Srie eprintf(ofl->ofl_lml, class, 9605aefb655Srie MSG_INTL(MSG_REL_INVALOFFSET), 961de777a60Sab196087 conv_reloc_amd64_type(arsp->rel_rtype, 962de777a60Sab196087 0, &inv_buf), ifl_name, 963de777a60Sab196087 arsp->rel_isdesc->is_name, 9645aefb655Srie demangle(arsp->rel_sname), 9655aefb655Srie EC_ADDR((uintptr_t)addr - 9665aefb655Srie (uintptr_t)ofl->ofl_nehdr)); 9675aefb655Srie 9685aefb655Srie if (class == ERR_FATAL) { 9695aefb655Srie return_code = S_ERROR; 9705aefb655Srie continue; 9715aefb655Srie } 9725aefb655Srie } 9735aefb655Srie 9745aefb655Srie /* 9755aefb655Srie * The relocation is additive. Ignore the previous 9765aefb655Srie * symbol value if this local partial symbol is 9775aefb655Srie * expanded. 9785aefb655Srie */ 9795aefb655Srie if (moved) 9805aefb655Srie value -= *addr; 9815aefb655Srie 9825aefb655Srie /* 983f3324781Sab196087 * If '-z noreloc' is specified - skip the do_reloc_ld 9845aefb655Srie * stage. 9855aefb655Srie */ 986f3324781Sab196087 if (OFL_DO_RELOC(ofl)) { 987f3324781Sab196087 /* 988f3324781Sab196087 * If this is a PROGBITS section and the 989f3324781Sab196087 * running linker has a different byte order 990f3324781Sab196087 * than the target host, tell do_reloc_ld() 991f3324781Sab196087 * to swap bytes. 992f3324781Sab196087 */ 993f3324781Sab196087 if (do_reloc_ld((uchar_t)arsp->rel_rtype, 9945aefb655Srie addr, &value, arsp->rel_sname, ifl_name, 995f3324781Sab196087 OFL_SWAP_RELOC_DATA(ofl, arsp), 9965aefb655Srie ofl->ofl_lml) == 0) 9975aefb655Srie return_code = S_ERROR; 9985aefb655Srie } 9995aefb655Srie } 10005aefb655Srie } 10015aefb655Srie return (return_code); 10025aefb655Srie } 10035aefb655Srie 1004ba2be530Sab196087 static uintptr_t 10055aefb655Srie ld_add_outrel(Word flags, Rel_desc *rsp, Ofl_desc *ofl) 10065aefb655Srie { 10075aefb655Srie Rel_desc *orsp; 10085aefb655Srie Rel_cache *rcp; 10095aefb655Srie Sym_desc *sdp = rsp->rel_sym; 10105aefb655Srie 10115aefb655Srie /* 10125aefb655Srie * Static executables *do not* want any relocations against them. 10135aefb655Srie * Since our engine still creates relocations against a WEAK UNDEFINED 10145aefb655Srie * symbol in a static executable, it's best to disable them here 10155aefb655Srie * instead of through out the relocation code. 10165aefb655Srie */ 10175aefb655Srie if ((ofl->ofl_flags & (FLG_OF_STATIC | FLG_OF_EXEC)) == 10185aefb655Srie (FLG_OF_STATIC | FLG_OF_EXEC)) 10195aefb655Srie return (1); 10205aefb655Srie 10215aefb655Srie /* 10225aefb655Srie * If no relocation cache structures are available allocate 10235aefb655Srie * a new one and link it into the cache list. 10245aefb655Srie */ 10255aefb655Srie if ((ofl->ofl_outrels.tail == 0) || 10265aefb655Srie ((rcp = (Rel_cache *)ofl->ofl_outrels.tail->data) == 0) || 10275aefb655Srie ((orsp = rcp->rc_free) == rcp->rc_end)) { 10285aefb655Srie static size_t nextsize = 0; 10295aefb655Srie size_t size; 10305aefb655Srie 10315aefb655Srie /* 10325aefb655Srie * Output relocation numbers can vary considerably between 10335aefb655Srie * building executables or shared objects (pic vs. non-pic), 10345aefb655Srie * etc. But, they typically aren't very large, so for these 10355aefb655Srie * objects use a standard bucket size. For building relocatable 10365aefb655Srie * objects, typically there will be an output relocation for 10375aefb655Srie * every input relocation. 10385aefb655Srie */ 10395aefb655Srie if (nextsize == 0) { 10405aefb655Srie if (ofl->ofl_flags & FLG_OF_RELOBJ) { 10415aefb655Srie if ((size = ofl->ofl_relocincnt) == 0) 10425aefb655Srie size = REL_LOIDESCNO; 10435aefb655Srie if (size > REL_HOIDESCNO) 10445aefb655Srie nextsize = REL_HOIDESCNO; 10455aefb655Srie else 10465aefb655Srie nextsize = REL_LOIDESCNO; 10475aefb655Srie } else 10485aefb655Srie nextsize = size = REL_HOIDESCNO; 10495aefb655Srie } else 10505aefb655Srie size = nextsize; 10515aefb655Srie 10525aefb655Srie size = size * sizeof (Rel_desc); 10535aefb655Srie 10545aefb655Srie if (((rcp = libld_malloc(sizeof (Rel_cache) + size)) == 0) || 10555aefb655Srie (list_appendc(&ofl->ofl_outrels, rcp) == 0)) 10565aefb655Srie return (S_ERROR); 10575aefb655Srie 10585aefb655Srie /* LINTED */ 10595aefb655Srie rcp->rc_free = orsp = (Rel_desc *)(rcp + 1); 10605aefb655Srie /* LINTED */ 10615aefb655Srie rcp->rc_end = (Rel_desc *)((char *)rcp->rc_free + size); 10625aefb655Srie } 10635aefb655Srie 10645aefb655Srie /* 10655aefb655Srie * If we are adding a output relocation against a section 10665aefb655Srie * symbol (non-RELATIVE) then mark that section. These sections 10675aefb655Srie * will be added to the .dynsym symbol table. 10685aefb655Srie */ 10695aefb655Srie if (sdp && (rsp->rel_rtype != M_R_RELATIVE) && 10705aefb655Srie ((flags & FLG_REL_SCNNDX) || 10715aefb655Srie (ELF_ST_TYPE(sdp->sd_sym->st_info) == STT_SECTION))) { 10725aefb655Srie 10735aefb655Srie /* 10745aefb655Srie * If this is a COMMON symbol - no output section 10755aefb655Srie * exists yet - (it's created as part of sym_validate()). 10765aefb655Srie * So - we mark here that when it's created it should 10775aefb655Srie * be tagged with the FLG_OS_OUTREL flag. 10785aefb655Srie */ 10795aefb655Srie if ((sdp->sd_flags & FLG_SY_SPECSEC) && 10800bc07c75Srie (sdp->sd_sym->st_shndx == SHN_COMMON)) { 10815aefb655Srie if (ELF_ST_TYPE(sdp->sd_sym->st_info) != STT_TLS) 10825aefb655Srie ofl->ofl_flags1 |= FLG_OF1_BSSOREL; 10835aefb655Srie else 10845aefb655Srie ofl->ofl_flags1 |= FLG_OF1_TLSOREL; 10855aefb655Srie } else { 10865aefb655Srie Os_desc *osp = sdp->sd_isc->is_osdesc; 10875aefb655Srie 1088c1c6f601Srie if (osp && ((osp->os_flags & FLG_OS_OUTREL) == 0)) { 10895aefb655Srie ofl->ofl_dynshdrcnt++; 10905aefb655Srie osp->os_flags |= FLG_OS_OUTREL; 10915aefb655Srie } 10925aefb655Srie } 10935aefb655Srie } 10945aefb655Srie 10955aefb655Srie *orsp = *rsp; 10965aefb655Srie orsp->rel_flags |= flags; 10975aefb655Srie 10985aefb655Srie rcp->rc_free++; 10995aefb655Srie ofl->ofl_outrelscnt++; 11005aefb655Srie 11015aefb655Srie if (flags & FLG_REL_GOT) 11025aefb655Srie ofl->ofl_relocgotsz += (Xword)sizeof (Rela); 11035aefb655Srie else if (flags & FLG_REL_PLT) 11045aefb655Srie ofl->ofl_relocpltsz += (Xword)sizeof (Rela); 11055aefb655Srie else if (flags & FLG_REL_BSS) 11065aefb655Srie ofl->ofl_relocbsssz += (Xword)sizeof (Rela); 11075aefb655Srie else if (flags & FLG_REL_NOINFO) 11085aefb655Srie ofl->ofl_relocrelsz += (Xword)sizeof (Rela); 11095aefb655Srie else 11105aefb655Srie orsp->rel_osdesc->os_szoutrels += (Xword)sizeof (Rela); 11115aefb655Srie 11125aefb655Srie if (orsp->rel_rtype == M_R_RELATIVE) 11135aefb655Srie ofl->ofl_relocrelcnt++; 11145aefb655Srie 11155aefb655Srie /* 11165aefb655Srie * We don't perform sorting on PLT relocations because 11175aefb655Srie * they have already been assigned a PLT index and if we 11185aefb655Srie * were to sort them we would have to re-assign the plt indexes. 11195aefb655Srie */ 11205aefb655Srie if (!(flags & FLG_REL_PLT)) 11215aefb655Srie ofl->ofl_reloccnt++; 11225aefb655Srie 11235aefb655Srie /* 11245aefb655Srie * Insure a GLOBAL_OFFSET_TABLE is generated if required. 11255aefb655Srie */ 11265aefb655Srie if (IS_GOT_REQUIRED(orsp->rel_rtype)) 11275aefb655Srie ofl->ofl_flags |= FLG_OF_BLDGOT; 11285aefb655Srie 11295aefb655Srie /* 11305aefb655Srie * Identify and possibly warn of a displacement relocation. 11315aefb655Srie */ 11325aefb655Srie if (orsp->rel_flags & FLG_REL_DISP) { 11335aefb655Srie ofl->ofl_dtflags_1 |= DF_1_DISPRELPND; 11345aefb655Srie 11355aefb655Srie if (ofl->ofl_flags & FLG_OF_VERBOSE) 11365aefb655Srie ld_disp_errmsg(MSG_INTL(MSG_REL_DISPREL4), orsp, ofl); 11375aefb655Srie } 11385aefb655Srie DBG_CALL(Dbg_reloc_ors_entry(ofl->ofl_lml, ELF_DBG_LD, SHT_RELA, 11395aefb655Srie M_MACH, orsp)); 11405aefb655Srie return (1); 11415aefb655Srie } 11425aefb655Srie 11435aefb655Srie /* 11445aefb655Srie * process relocation for a LOCAL symbol 11455aefb655Srie */ 1146ba2be530Sab196087 static uintptr_t 11475aefb655Srie ld_reloc_local(Rel_desc * rsp, Ofl_desc * ofl) 11485aefb655Srie { 11491d9df23bSab196087 ofl_flag_t flags = ofl->ofl_flags; 11505aefb655Srie Sym_desc *sdp = rsp->rel_sym; 11510bc07c75Srie Word shndx = sdp->sd_sym->st_shndx; 11525aefb655Srie Word ortype = rsp->rel_rtype; 11535aefb655Srie 11545aefb655Srie /* 11555aefb655Srie * if ((shared object) and (not pc relative relocation) and 11565aefb655Srie * (not against ABS symbol)) 11575aefb655Srie * then 11585aefb655Srie * build R_AMD64_RELATIVE 11595aefb655Srie * fi 11605aefb655Srie */ 11615aefb655Srie if ((flags & FLG_OF_SHAROBJ) && (rsp->rel_flags & FLG_REL_LOAD) && 11622926dd2eSrie !(IS_PC_RELATIVE(rsp->rel_rtype)) && !(IS_SIZE(rsp->rel_rtype)) && 11635aefb655Srie !(IS_GOT_BASED(rsp->rel_rtype)) && 11645aefb655Srie !(rsp->rel_isdesc != NULL && 11655aefb655Srie (rsp->rel_isdesc->is_shdr->sh_type == SHT_SUNW_dof)) && 11665aefb655Srie (((sdp->sd_flags & FLG_SY_SPECSEC) == 0) || 11675aefb655Srie (shndx != SHN_ABS) || (sdp->sd_aux && sdp->sd_aux->sa_symspec))) { 11685aefb655Srie 11695aefb655Srie /* 11705aefb655Srie * R_AMD64_RELATIVE updates a 64bit address, if this 11715aefb655Srie * relocation isn't a 64bit binding then we can not 11725aefb655Srie * simplify it to a RELATIVE relocation. 11735aefb655Srie */ 11745aefb655Srie if (reloc_table[ortype].re_fsize != sizeof (Addr)) { 11751d9df23bSab196087 return (ld_add_outrel(0, rsp, ofl)); 11765aefb655Srie } 11775aefb655Srie 11785aefb655Srie rsp->rel_rtype = R_AMD64_RELATIVE; 11795aefb655Srie if (ld_add_outrel(FLG_REL_ADVAL, rsp, ofl) == S_ERROR) 11805aefb655Srie return (S_ERROR); 11815aefb655Srie rsp->rel_rtype = ortype; 11825aefb655Srie return (1); 11835aefb655Srie } 11845aefb655Srie 11855aefb655Srie /* 11865aefb655Srie * If the relocation is against a 'non-allocatable' section 11875aefb655Srie * and we can not resolve it now - then give a warning 11885aefb655Srie * message. 11895aefb655Srie * 11905aefb655Srie * We can not resolve the symbol if either: 11915aefb655Srie * a) it's undefined 11925aefb655Srie * b) it's defined in a shared library and a 11935aefb655Srie * COPY relocation hasn't moved it to the executable 11945aefb655Srie * 11955aefb655Srie * Note: because we process all of the relocations against the 11965aefb655Srie * text segment before any others - we know whether 11975aefb655Srie * or not a copy relocation will be generated before 11985aefb655Srie * we get here (see reloc_init()->reloc_segments()). 11995aefb655Srie */ 12005aefb655Srie if (!(rsp->rel_flags & FLG_REL_LOAD) && 12015aefb655Srie ((shndx == SHN_UNDEF) || 12025aefb655Srie ((sdp->sd_ref == REF_DYN_NEED) && 12035aefb655Srie ((sdp->sd_flags & FLG_SY_MVTOCOMM) == 0)))) { 1204de777a60Sab196087 Conv_inv_buf_t inv_buf; 1205de777a60Sab196087 12065aefb655Srie /* 12075aefb655Srie * If the relocation is against a SHT_SUNW_ANNOTATE 12085aefb655Srie * section - then silently ignore that the relocation 12095aefb655Srie * can not be resolved. 12105aefb655Srie */ 12115aefb655Srie if (rsp->rel_osdesc && 12125aefb655Srie (rsp->rel_osdesc->os_shdr->sh_type == SHT_SUNW_ANNOTATE)) 12135aefb655Srie return (0); 12145aefb655Srie (void) eprintf(ofl->ofl_lml, ERR_WARNING, 12155aefb655Srie MSG_INTL(MSG_REL_EXTERNSYM), 1216de777a60Sab196087 conv_reloc_amd64_type(rsp->rel_rtype, 0, &inv_buf), 12175aefb655Srie rsp->rel_isdesc->is_file->ifl_name, 12185aefb655Srie demangle(rsp->rel_sname), rsp->rel_osdesc->os_name); 12195aefb655Srie return (1); 12205aefb655Srie } 12215aefb655Srie 12225aefb655Srie /* 12235aefb655Srie * Perform relocation. 12245aefb655Srie */ 12255aefb655Srie return (ld_add_actrel(NULL, rsp, ofl)); 12265aefb655Srie } 12275aefb655Srie 12285aefb655Srie 1229ba2be530Sab196087 static uintptr_t 12305aefb655Srie ld_reloc_TLS(Boolean local, Rel_desc * rsp, Ofl_desc * ofl) 12315aefb655Srie { 12325aefb655Srie Word rtype = rsp->rel_rtype; 12335aefb655Srie Sym_desc *sdp = rsp->rel_sym; 12341d9df23bSab196087 ofl_flag_t flags = ofl->ofl_flags; 12355aefb655Srie Gotndx *gnp; 12365aefb655Srie 12375aefb655Srie /* 1238d326b23bSrie * If we're building an executable - use either the IE or LE access 1239d326b23bSrie * model. If we're building a shared object process any IE model. 12405aefb655Srie */ 1241d326b23bSrie if ((flags & FLG_OF_EXEC) || (IS_TLS_IE(rtype))) { 12425aefb655Srie /* 1243d326b23bSrie * Set the DF_STATIC_TLS flag. 12445aefb655Srie */ 12455aefb655Srie ofl->ofl_dtflags |= DF_STATIC_TLS; 12465aefb655Srie 1247d326b23bSrie if (!local || ((flags & FLG_OF_EXEC) == 0)) { 12485aefb655Srie /* 1249d326b23bSrie * Assign a GOT entry for static TLS references. 12505aefb655Srie */ 12515aefb655Srie if ((gnp = ld_find_gotndx(&(sdp->sd_GOTndxs), 1252d326b23bSrie GOT_REF_TLSIE, ofl, rsp)) == 0) { 1253d326b23bSrie 1254d326b23bSrie if (ld_assign_got_TLS(local, rsp, ofl, sdp, 1255d326b23bSrie gnp, GOT_REF_TLSIE, FLG_REL_STLS, 1256d326b23bSrie rtype, R_AMD64_TPOFF64, 0) == S_ERROR) 12575aefb655Srie return (S_ERROR); 12585aefb655Srie } 1259d326b23bSrie 1260d326b23bSrie /* 1261d326b23bSrie * IE access model. 1262d326b23bSrie */ 12635aefb655Srie if (IS_TLS_IE(rtype)) 12645aefb655Srie return (ld_add_actrel(FLG_REL_STLS, rsp, ofl)); 12655aefb655Srie 12665aefb655Srie /* 1267d326b23bSrie * Fixups are required for other executable models. 12685aefb655Srie */ 12695aefb655Srie return (ld_add_actrel((FLG_REL_TLSFIX | FLG_REL_STLS), 12705aefb655Srie rsp, ofl)); 12715aefb655Srie } 1272d326b23bSrie 12735aefb655Srie /* 1274d326b23bSrie * LE access model. 12755aefb655Srie */ 12765aefb655Srie if (IS_TLS_LE(rtype)) 12775aefb655Srie return (ld_add_actrel(FLG_REL_STLS, rsp, ofl)); 1278d326b23bSrie 12795aefb655Srie return (ld_add_actrel((FLG_REL_TLSFIX | FLG_REL_STLS), 12805aefb655Srie rsp, ofl)); 12815aefb655Srie } 12825aefb655Srie 12835aefb655Srie /* 1284d326b23bSrie * Building a shared object. 1285d326b23bSrie * 1286d326b23bSrie * Assign a GOT entry for a dynamic TLS reference. 12875aefb655Srie */ 12885aefb655Srie if (IS_TLS_LD(rtype) && ((gnp = ld_find_gotndx(&(sdp->sd_GOTndxs), 12895aefb655Srie GOT_REF_TLSLD, ofl, rsp)) == 0)) { 1290d326b23bSrie 1291d326b23bSrie if (ld_assign_got_TLS(local, rsp, ofl, sdp, gnp, GOT_REF_TLSLD, 1292d326b23bSrie FLG_REL_MTLS, rtype, R_AMD64_DTPMOD64, 0) == S_ERROR) 12935aefb655Srie return (S_ERROR); 1294d326b23bSrie 12955aefb655Srie } else if (IS_TLS_GD(rtype) && 1296d326b23bSrie ((gnp = ld_find_gotndx(&(sdp->sd_GOTndxs), GOT_REF_TLSGD, 1297d326b23bSrie ofl, rsp)) == 0)) { 1298d326b23bSrie 1299d326b23bSrie if (ld_assign_got_TLS(local, rsp, ofl, sdp, gnp, GOT_REF_TLSGD, 1300d326b23bSrie FLG_REL_DTLS, rtype, R_AMD64_DTPMOD64, 1301d326b23bSrie R_AMD64_DTPOFF64) == S_ERROR) 13025aefb655Srie return (S_ERROR); 13035aefb655Srie } 13045aefb655Srie 13055aefb655Srie if (IS_TLS_LD(rtype)) 13065aefb655Srie return (ld_add_actrel(FLG_REL_MTLS, rsp, ofl)); 13075aefb655Srie 13085aefb655Srie return (ld_add_actrel(FLG_REL_DTLS, rsp, ofl)); 13095aefb655Srie } 13105aefb655Srie 13115aefb655Srie /* ARGSUSED3 */ 1312ba2be530Sab196087 static Gotndx * 13135aefb655Srie ld_find_gotndx(List * lst, Gotref gref, Ofl_desc * ofl, Rel_desc * rdesc) 13145aefb655Srie { 13155aefb655Srie Listnode * lnp; 13165aefb655Srie Gotndx * gnp; 13175aefb655Srie 13185aefb655Srie assert(rdesc != 0); 13195aefb655Srie 13205aefb655Srie if ((gref == GOT_REF_TLSLD) && ofl->ofl_tlsldgotndx) 13215aefb655Srie return (ofl->ofl_tlsldgotndx); 13225aefb655Srie 13235aefb655Srie for (LIST_TRAVERSE(lst, lnp, gnp)) { 13245aefb655Srie if ((rdesc->rel_raddend == gnp->gn_addend) && 13255aefb655Srie (gnp->gn_gotref == gref)) { 13265aefb655Srie return (gnp); 13275aefb655Srie } 13285aefb655Srie } 13295aefb655Srie return ((Gotndx *)0); 13305aefb655Srie } 13315aefb655Srie 1332ba2be530Sab196087 static Xword 13335aefb655Srie ld_calc_got_offset(Rel_desc * rdesc, Ofl_desc * ofl) 13345aefb655Srie { 13355aefb655Srie Os_desc *osp = ofl->ofl_osgot; 13365aefb655Srie Sym_desc *sdp = rdesc->rel_sym; 13375aefb655Srie Xword gotndx; 13385aefb655Srie Gotref gref; 13395aefb655Srie Gotndx *gnp; 13405aefb655Srie 13415aefb655Srie if (rdesc->rel_flags & FLG_REL_DTLS) 13425aefb655Srie gref = GOT_REF_TLSGD; 13435aefb655Srie else if (rdesc->rel_flags & FLG_REL_MTLS) 13445aefb655Srie gref = GOT_REF_TLSLD; 13455aefb655Srie else if (rdesc->rel_flags & FLG_REL_STLS) 13465aefb655Srie gref = GOT_REF_TLSIE; 13475aefb655Srie else 13485aefb655Srie gref = GOT_REF_GENERIC; 13495aefb655Srie 13505aefb655Srie gnp = ld_find_gotndx(&(sdp->sd_GOTndxs), gref, ofl, rdesc); 13515aefb655Srie assert(gnp); 13525aefb655Srie 13535aefb655Srie gotndx = (Xword)gnp->gn_gotndx; 13545aefb655Srie 13555aefb655Srie if ((rdesc->rel_flags & FLG_REL_DTLS) && 13565aefb655Srie (rdesc->rel_rtype == R_AMD64_DTPOFF64)) 13575aefb655Srie gotndx++; 13585aefb655Srie 13595aefb655Srie return ((Xword)(osp->os_shdr->sh_addr + (gotndx * M_GOT_ENTSIZE))); 13605aefb655Srie } 13615aefb655Srie 13625aefb655Srie 13635aefb655Srie /* ARGSUSED5 */ 1364ba2be530Sab196087 static uintptr_t 1365d326b23bSrie ld_assign_got_ndx(List * lst, Gotndx * pgnp, Gotref gref, Ofl_desc * ofl, 13665aefb655Srie Rel_desc * rsp, Sym_desc * sdp) 13675aefb655Srie { 13685aefb655Srie Xword raddend; 13695aefb655Srie Gotndx *gnp, *_gnp; 13705aefb655Srie Listnode *lnp, *plnp; 13715aefb655Srie uint_t gotents; 13725aefb655Srie 13735aefb655Srie raddend = rsp->rel_raddend; 13745aefb655Srie if (pgnp && (pgnp->gn_addend == raddend) && 13755aefb655Srie (pgnp->gn_gotref == gref)) 13765aefb655Srie return (1); 13775aefb655Srie 13785aefb655Srie if ((gref == GOT_REF_TLSGD) || (gref == GOT_REF_TLSLD)) 13795aefb655Srie gotents = 2; 13805aefb655Srie else 13815aefb655Srie gotents = 1; 13825aefb655Srie 13835aefb655Srie plnp = 0; 13845aefb655Srie for (LIST_TRAVERSE(lst, lnp, _gnp)) { 13855aefb655Srie if (_gnp->gn_addend > raddend) 13865aefb655Srie break; 13875aefb655Srie plnp = lnp; 13885aefb655Srie } 13895aefb655Srie 13905aefb655Srie /* 13915aefb655Srie * Allocate a new entry. 13925aefb655Srie */ 13935aefb655Srie if ((gnp = libld_calloc(sizeof (Gotndx), 1)) == 0) 13945aefb655Srie return (S_ERROR); 13955aefb655Srie gnp->gn_addend = raddend; 13965aefb655Srie gnp->gn_gotndx = ofl->ofl_gotcnt; 13975aefb655Srie gnp->gn_gotref = gref; 13985aefb655Srie 13995aefb655Srie ofl->ofl_gotcnt += gotents; 14005aefb655Srie 14015aefb655Srie if (gref == GOT_REF_TLSLD) { 14025aefb655Srie ofl->ofl_tlsldgotndx = gnp; 14035aefb655Srie return (1); 14045aefb655Srie } 14055aefb655Srie 14065aefb655Srie if (plnp == 0) { 14075aefb655Srie /* 14085aefb655Srie * Insert at head of list 14095aefb655Srie */ 14105aefb655Srie if (list_prependc(lst, (void *)gnp) == 0) 14115aefb655Srie return (S_ERROR); 14125aefb655Srie } else if (_gnp->gn_addend > raddend) { 14135aefb655Srie /* 14145aefb655Srie * Insert in middle of lest 14155aefb655Srie */ 14165aefb655Srie if (list_insertc(lst, (void *)gnp, plnp) == 0) 14175aefb655Srie return (S_ERROR); 14185aefb655Srie } else { 14195aefb655Srie /* 14205aefb655Srie * Append to tail of list 14215aefb655Srie */ 14225aefb655Srie if (list_appendc(lst, (void *)gnp) == 0) 14235aefb655Srie return (S_ERROR); 14245aefb655Srie } 14255aefb655Srie return (1); 14265aefb655Srie } 14275aefb655Srie 1428ba2be530Sab196087 static void 14295aefb655Srie ld_assign_plt_ndx(Sym_desc * sdp, Ofl_desc *ofl) 14305aefb655Srie { 14315aefb655Srie sdp->sd_aux->sa_PLTndx = 1 + ofl->ofl_pltcnt++; 14325aefb655Srie sdp->sd_aux->sa_PLTGOTndx = ofl->ofl_gotcnt++; 14335aefb655Srie ofl->ofl_flags |= FLG_OF_BLDGOT; 14345aefb655Srie } 14355aefb655Srie 14365aefb655Srie static uchar_t plt0_template[M_PLT_ENTSIZE] = { 14375aefb655Srie /* 0x00 PUSHQ GOT+8(%rip) */ 0xff, 0x35, 0x00, 0x00, 0x00, 0x00, 14385aefb655Srie /* 0x06 JMP *GOT+16(%rip) */ 0xff, 0x25, 0x00, 0x00, 0x00, 0x00, 14395aefb655Srie /* 0x0c NOP */ 0x90, 14405aefb655Srie /* 0x0d NOP */ 0x90, 14415aefb655Srie /* 0x0e NOP */ 0x90, 14425aefb655Srie /* 0x0f NOP */ 0x90 14435aefb655Srie }; 14445aefb655Srie 14455aefb655Srie /* 14465aefb655Srie * Initializes .got[0] with the _DYNAMIC symbol value. 14475aefb655Srie */ 1448ba2be530Sab196087 static uintptr_t 14495aefb655Srie ld_fillin_gotplt(Ofl_desc *ofl) 14505aefb655Srie { 1451ba2be530Sab196087 int bswap = (ofl->ofl_flags1 & FLG_OF1_ENCDIFF) != 0; 1452ba2be530Sab196087 14535aefb655Srie if (ofl->ofl_osgot) { 14545aefb655Srie Sym_desc *sdp; 14555aefb655Srie 14565aefb655Srie if ((sdp = ld_sym_find(MSG_ORIG(MSG_SYM_DYNAMIC_U), 14575aefb655Srie SYM_NOHASH, 0, ofl)) != NULL) { 1458d326b23bSrie uchar_t *genptr; 1459d326b23bSrie 1460d326b23bSrie genptr = ((uchar_t *)ofl->ofl_osgot->os_outdata->d_buf + 14615aefb655Srie (M_GOT_XDYNAMIC * M_GOT_ENTSIZE)); 14625aefb655Srie /* LINTED */ 14635aefb655Srie *(Xword *)genptr = sdp->sd_sym->st_value; 1464ba2be530Sab196087 if (bswap) 1465ba2be530Sab196087 /* LINTED */ 1466ba2be530Sab196087 *(Xword *)genptr = 1467ba2be530Sab196087 /* LINTED */ 1468ba2be530Sab196087 ld_bswap_Xword(*(Xword *)genptr); 14695aefb655Srie } 14705aefb655Srie } 14715aefb655Srie 14725aefb655Srie /* 14735aefb655Srie * Fill in the reserved slot in the procedure linkage table the first 14745aefb655Srie * entry is: 14755aefb655Srie * 0x00 PUSHQ GOT+8(%rip) # GOT[1] 14765aefb655Srie * 0x06 JMP *GOT+16(%rip) # GOT[2] 14775aefb655Srie * 0x0c NOP 14785aefb655Srie * 0x0d NOP 14795aefb655Srie * 0x0e NOP 14805aefb655Srie * 0x0f NOP 14815aefb655Srie */ 1482f3324781Sab196087 if ((ofl->ofl_flags & FLG_OF_DYNAMIC) && ofl->ofl_osplt) { 14835aefb655Srie uchar_t *pltent; 14845aefb655Srie Xword val1; 14855aefb655Srie 14865aefb655Srie pltent = (uchar_t *)ofl->ofl_osplt->os_outdata->d_buf; 14875aefb655Srie bcopy(plt0_template, pltent, sizeof (plt0_template)); 14885aefb655Srie 14895aefb655Srie /* 1490f3324781Sab196087 * If '-z noreloc' is specified - skip the do_reloc_ld 1491f3324781Sab196087 * stage. 1492f3324781Sab196087 */ 1493f3324781Sab196087 if (!OFL_DO_RELOC(ofl)) 1494f3324781Sab196087 return (1); 1495f3324781Sab196087 1496f3324781Sab196087 /* 14975aefb655Srie * filin: 14985aefb655Srie * PUSHQ GOT + 8(%rip) 14995aefb655Srie * 15005aefb655Srie * Note: 0x06 below represents the offset to the 15015aefb655Srie * next instruction - which is what %rip will 15025aefb655Srie * be pointing at. 15035aefb655Srie */ 15045aefb655Srie val1 = (ofl->ofl_osgot->os_shdr->sh_addr) + 15055aefb655Srie (M_GOT_XLINKMAP * M_GOT_ENTSIZE) - 15065aefb655Srie ofl->ofl_osplt->os_shdr->sh_addr - 0x06; 15075aefb655Srie 1508f3324781Sab196087 if (do_reloc_ld(R_AMD64_GOTPCREL, &pltent[0x02], 15095aefb655Srie &val1, MSG_ORIG(MSG_SYM_PLTENT), 1510f3324781Sab196087 MSG_ORIG(MSG_SPECFIL_PLTENT), bswap, ofl->ofl_lml) == 0) { 15115aefb655Srie eprintf(ofl->ofl_lml, ERR_FATAL, 15125aefb655Srie MSG_INTL(MSG_PLT_PLT0FAIL)); 15135aefb655Srie return (S_ERROR); 15145aefb655Srie } 15155aefb655Srie 15165aefb655Srie /* 15175aefb655Srie * filin: 15185aefb655Srie * JMP *GOT+16(%rip) 15195aefb655Srie */ 15205aefb655Srie val1 = (ofl->ofl_osgot->os_shdr->sh_addr) + 15215aefb655Srie (M_GOT_XRTLD * M_GOT_ENTSIZE) - 15225aefb655Srie ofl->ofl_osplt->os_shdr->sh_addr - 0x0c; 1523f3324781Sab196087 1524f3324781Sab196087 if (do_reloc_ld(R_AMD64_GOTPCREL, &pltent[0x08], 15255aefb655Srie &val1, MSG_ORIG(MSG_SYM_PLTENT), 1526f3324781Sab196087 MSG_ORIG(MSG_SPECFIL_PLTENT), bswap, ofl->ofl_lml) == 0) { 15275aefb655Srie eprintf(ofl->ofl_lml, ERR_FATAL, 15285aefb655Srie MSG_INTL(MSG_PLT_PLT0FAIL)); 15295aefb655Srie return (S_ERROR); 15305aefb655Srie } 15315aefb655Srie } 1532f3324781Sab196087 15335aefb655Srie return (1); 15345aefb655Srie } 1535ba2be530Sab196087 1536ba2be530Sab196087 1537ba2be530Sab196087 1538ba2be530Sab196087 /* 1539ba2be530Sab196087 * Template for generating "void (*)(void)" function 1540ba2be530Sab196087 */ 1541ba2be530Sab196087 static const uchar_t nullfunc_tmpl[] = { /* amd64 */ 1542ba2be530Sab196087 /* 0x00 */ 0x55, /* pushq %rbp */ 1543ba2be530Sab196087 /* 0x01 */ 0x48, 0x8b, 0xec, /* movq %rsp,%rbp */ 1544ba2be530Sab196087 /* 0x04 */ 0x48, 0x8b, 0xe5, /* movq %rbp,%rsp */ 1545ba2be530Sab196087 /* 0x07 */ 0x5d, /* popq %rbp */ 1546ba2be530Sab196087 /* 0x08 */ 0xc3 /* ret */ 1547ba2be530Sab196087 }; 1548ba2be530Sab196087 1549ba2be530Sab196087 1550ba2be530Sab196087 /* 1551ba2be530Sab196087 * Return the ld_targ definition for this target. 1552ba2be530Sab196087 */ 1553ba2be530Sab196087 const Target * 1554ba2be530Sab196087 ld_targ_init_x86(void) 1555ba2be530Sab196087 { 1556ba2be530Sab196087 static const Target _ld_targ = { 1557ba2be530Sab196087 { /* Target_mach */ 1558ba2be530Sab196087 M_MACH, /* m_mach */ 1559ba2be530Sab196087 M_MACHPLUS, /* m_machplus */ 1560ba2be530Sab196087 M_FLAGSPLUS, /* m_flagsplus */ 1561ba2be530Sab196087 M_CLASS, /* m_class */ 1562ba2be530Sab196087 M_DATA, /* m_data */ 1563ba2be530Sab196087 1564ba2be530Sab196087 M_SEGM_ALIGN, /* m_segm_align */ 1565ba2be530Sab196087 M_SEGM_ORIGIN, /* m_segm_origin */ 1566bb3b4f6cSRod Evans M_SEGM_AORIGIN, /* m_segm_aorigin */ 1567ba2be530Sab196087 M_DATASEG_PERM, /* m_dataseg_perm */ 1568ba2be530Sab196087 M_WORD_ALIGN, /* m_word_align */ 1569ba2be530Sab196087 MSG_ORIG(MSG_PTH_RTLD_AMD64), /* m_def_interp */ 1570ba2be530Sab196087 1571ba2be530Sab196087 /* Relocation type codes */ 1572ba2be530Sab196087 M_R_ARRAYADDR, /* m_r_arrayaddr */ 1573ba2be530Sab196087 M_R_COPY, /* m_r_copy */ 1574ba2be530Sab196087 M_R_GLOB_DAT, /* m_r_glob_dat */ 1575ba2be530Sab196087 M_R_JMP_SLOT, /* m_r_jmp_slot */ 1576ba2be530Sab196087 M_R_NUM, /* m_r_num */ 1577ba2be530Sab196087 M_R_NONE, /* m_r_none */ 1578ba2be530Sab196087 M_R_RELATIVE, /* m_r_relative */ 1579ba2be530Sab196087 M_R_REGISTER, /* m_r_register */ 1580ba2be530Sab196087 1581ba2be530Sab196087 /* Relocation related constants */ 1582ba2be530Sab196087 M_REL_DT_COUNT, /* m_rel_dt_count */ 1583ba2be530Sab196087 M_REL_DT_ENT, /* m_rel_dt_ent */ 1584ba2be530Sab196087 M_REL_DT_SIZE, /* m_rel_dt_size */ 1585ba2be530Sab196087 M_REL_DT_TYPE, /* m_rel_dt_type */ 1586ba2be530Sab196087 M_REL_SHT_TYPE, /* m_rel_sht_type */ 1587ba2be530Sab196087 1588ba2be530Sab196087 /* GOT related constants */ 1589ba2be530Sab196087 M_GOT_ENTSIZE, /* m_got_entsize */ 1590ba2be530Sab196087 M_GOT_XNumber, /* m_got_xnumber */ 1591ba2be530Sab196087 1592ba2be530Sab196087 /* PLT related constants */ 1593ba2be530Sab196087 M_PLT_ALIGN, /* m_plt_align */ 1594ba2be530Sab196087 M_PLT_ENTSIZE, /* m_plt_entsize */ 1595ba2be530Sab196087 M_PLT_RESERVSZ, /* m_plt_reservsz */ 1596ba2be530Sab196087 M_PLT_SHF_FLAGS, /* m_plt_shf_flags */ 1597ba2be530Sab196087 1598ba2be530Sab196087 M_DT_REGISTER, /* m_dt_register */ 1599ba2be530Sab196087 }, 1600ba2be530Sab196087 { /* Target_machid */ 1601ba2be530Sab196087 M_ID_ARRAY, /* id_array */ 1602ba2be530Sab196087 M_ID_BSS, /* id_bss */ 1603ba2be530Sab196087 M_ID_CAP, /* id_cap */ 1604ba2be530Sab196087 M_ID_DATA, /* id_data */ 1605ba2be530Sab196087 M_ID_DYNAMIC, /* id_dynamic */ 1606ba2be530Sab196087 M_ID_DYNSORT, /* id_dynsort */ 1607ba2be530Sab196087 M_ID_DYNSTR, /* id_dynstr */ 1608ba2be530Sab196087 M_ID_DYNSYM, /* id_dynsym */ 1609ba2be530Sab196087 M_ID_DYNSYM_NDX, /* id_dynsym_ndx */ 1610ba2be530Sab196087 M_ID_GOT, /* id_got */ 1611ba2be530Sab196087 M_ID_UNKNOWN, /* id_gotdata (unused) */ 1612ba2be530Sab196087 M_ID_HASH, /* id_hash */ 1613ba2be530Sab196087 M_ID_INTERP, /* id_interp */ 1614ba2be530Sab196087 M_ID_LBSS, /* id_lbss */ 1615ba2be530Sab196087 M_ID_LDYNSYM, /* id_ldynsym */ 1616ba2be530Sab196087 M_ID_NOTE, /* id_note */ 1617ba2be530Sab196087 M_ID_NULL, /* id_null */ 1618ba2be530Sab196087 M_ID_PLT, /* id_plt */ 1619ba2be530Sab196087 M_ID_REL, /* id_rel */ 1620ba2be530Sab196087 M_ID_STRTAB, /* id_strtab */ 1621ba2be530Sab196087 M_ID_SYMINFO, /* id_syminfo */ 1622ba2be530Sab196087 M_ID_SYMTAB, /* id_symtab */ 1623ba2be530Sab196087 M_ID_SYMTAB_NDX, /* id_symtab_ndx */ 1624ba2be530Sab196087 M_ID_TEXT, /* id_text */ 1625ba2be530Sab196087 M_ID_TLS, /* id_tls */ 1626ba2be530Sab196087 M_ID_TLSBSS, /* id_tlsbss */ 1627ba2be530Sab196087 M_ID_UNKNOWN, /* id_unknown */ 1628ba2be530Sab196087 M_ID_UNWIND, /* id_unwind */ 1629ba2be530Sab196087 M_ID_USER, /* id_user */ 1630ba2be530Sab196087 M_ID_VERSION, /* id_version */ 1631ba2be530Sab196087 }, 1632ba2be530Sab196087 { /* Target_nullfunc */ 1633ba2be530Sab196087 nullfunc_tmpl, /* nf_template */ 1634ba2be530Sab196087 sizeof (nullfunc_tmpl), /* nf_size */ 1635ba2be530Sab196087 }, 1636ba2be530Sab196087 { /* Target_machrel */ 1637ba2be530Sab196087 reloc_table, 1638ba2be530Sab196087 1639ba2be530Sab196087 ld_init_rel, /* mr_init_rel */ 1640ba2be530Sab196087 ld_mach_eflags, /* mr_mach_eflags */ 1641ba2be530Sab196087 ld_mach_make_dynamic, /* mr_mach_make_dynamic */ 1642ba2be530Sab196087 ld_mach_update_odynamic, /* mr_mach_update_odynamic */ 1643ba2be530Sab196087 ld_calc_plt_addr, /* mr_calc_plt_addr */ 1644ba2be530Sab196087 ld_perform_outreloc, /* mr_perform_outreloc */ 1645ba2be530Sab196087 ld_do_activerelocs, /* mr_do_activerelocs */ 1646ba2be530Sab196087 ld_add_outrel, /* mr_add_outrel */ 1647ba2be530Sab196087 NULL, /* mr_reloc_register */ 1648ba2be530Sab196087 ld_reloc_local, /* mr_reloc_local */ 1649ba2be530Sab196087 NULL, /* mr_reloc_GOTOP */ 1650ba2be530Sab196087 ld_reloc_TLS, /* mr_reloc_TLS */ 1651ba2be530Sab196087 NULL, /* mr_assign_got */ 1652ba2be530Sab196087 ld_find_gotndx, /* mr_find_gotndx */ 1653ba2be530Sab196087 ld_calc_got_offset, /* mr_calc_got_offset */ 1654ba2be530Sab196087 ld_assign_got_ndx, /* mr_assign_got_ndx */ 1655ba2be530Sab196087 ld_assign_plt_ndx, /* mr_assign_plt_ndx */ 1656ba2be530Sab196087 NULL, /* mr_allocate_got */ 1657ba2be530Sab196087 ld_fillin_gotplt, /* mr_fillin_gotplt */ 1658ba2be530Sab196087 }, 1659ba2be530Sab196087 { /* Target_machsym */ 1660ba2be530Sab196087 NULL, /* ms_reg_check */ 1661ba2be530Sab196087 NULL, /* ms_mach_sym_typecheck */ 1662ba2be530Sab196087 NULL, /* ms_is_regsym */ 1663ba2be530Sab196087 NULL, /* ms_reg_find */ 1664ba2be530Sab196087 NULL /* ms_reg_enter */ 1665ba2be530Sab196087 }, 1666ba2be530Sab196087 { /* Target_unwind */ 1667ba2be530Sab196087 make_amd64_unwindhdr, /* uw_make_unwindhdr */ 1668ba2be530Sab196087 populate_amd64_unwindhdr, /* uw_populate_unwindhdr */ 1669ba2be530Sab196087 append_amd64_unwind, /* uw_append_unwind */ 1670ba2be530Sab196087 } 1671ba2be530Sab196087 }; 1672ba2be530Sab196087 1673ba2be530Sab196087 return (&_ld_targ); 1674ba2be530Sab196087 } 1675