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