1 /* 2 * CDDL HEADER START 3 * 4 * The contents of this file are subject to the terms of the 5 * Common Development and Distribution License, Version 1.0 only 6 * (the "License"). You may not use this file except in compliance 7 * with the License. 8 * 9 * You can obtain a copy of the license at usr/src/OPENSOLARIS.LICENSE 10 * or http://www.opensolaris.org/os/licensing. 11 * See the License for the specific language governing permissions 12 * and limitations under the License. 13 * 14 * When distributing Covered Code, include this CDDL HEADER in each 15 * file and include the License file at usr/src/OPENSOLARIS.LICENSE. 16 * If applicable, add the following below this CDDL HEADER, with the 17 * fields enclosed by brackets "[]" replaced with your own identifying 18 * information: Portions Copyright [yyyy] [name of copyright owner] 19 * 20 * CDDL HEADER END 21 */ 22 23 /* 24 * Copyright 2006 Sun Microsystems, Inc. All rights reserved. 25 * Use is subject to license terms. 26 */ 27 28 #pragma ident "%Z%%M% %I% %E% SMI" 29 30 #if defined(_KERNEL) 31 #include <sys/types.h> 32 #include "reloc.h" 33 #else 34 #include <stdio.h> 35 #include "sgs.h" 36 #include "machdep.h" 37 #include "libld.h" 38 #include "reloc.h" 39 #include "conv.h" 40 #include "msg.h" 41 #endif 42 43 /* 44 * This table represents the current relocations that do_reloc() is able to 45 * process. The relocations below that are marked SPECIAL are relocations that 46 * take special processing and shouldn't actually ever be passed to do_reloc(). 47 */ 48 const Rel_entry reloc_table[R_SPARC_NUM] = { 49 /* R_SPARC_NONE */ {0x0, FLG_RE_NOTREL, 0, 0, 0}, 50 /* R_SPARC_8 */ {0x0, FLG_RE_VERIFY, 1, 0, 0}, 51 /* R_SPARC_16 */ {0x0, FLG_RE_VERIFY, 2, 0, 0}, 52 /* R_SPARC_32 */ {0x0, FLG_RE_VERIFY, 4, 0, 0}, 53 /* R_SPARC_DISP8 */ {0x0, FLG_RE_PCREL | FLG_RE_VERIFY | FLG_RE_SIGN, 54 1, 0, 0}, 55 /* R_SPARC_DISP16 */ {0x0, FLG_RE_PCREL | FLG_RE_VERIFY | FLG_RE_SIGN, 56 2, 0, 0}, 57 /* R_SPARC_DISP32 */ {0x0, FLG_RE_PCREL | FLG_RE_VERIFY | FLG_RE_SIGN, 58 4, 0, 0}, 59 /* R_SPARC_WDISP30 */ {0x0, FLG_RE_PCREL | FLG_RE_VERIFY | FLG_RE_SIGN, 60 4, 2, 30}, 61 /* R_SPARC_WDISP22 */ {0x0, FLG_RE_PCREL | FLG_RE_VERIFY | FLG_RE_SIGN, 62 4, 2, 22}, 63 #if defined(_ELF64) 64 /* R_SPARC_HI22 */ {0x0, FLG_RE_VERIFY, 4, 10, 22}, 65 #else 66 /* R_SPARC_HI22 */ {0x0, FLG_RE_NOTREL, 4, 10, 22}, 67 #endif 68 /* R_SPARC_22 */ {0x0, FLG_RE_VERIFY, 4, 0, 22}, 69 /* R_SPARC_13 */ {0x0, FLG_RE_VERIFY | FLG_RE_SIGN, 4, 0, 13}, 70 /* R_SPARC_LO10 */ {0x3ff, FLG_RE_SIGN, 4, 0, 13}, 71 /* R_SPARC_GOT10 */ {0x3ff, FLG_RE_GOTADD | FLG_RE_SIGN, 4, 0, 13}, 72 /* R_SPARC_GOT13 */ {0x0, FLG_RE_GOTADD | FLG_RE_VERIFY | FLG_RE_SIGN, 73 4, 0, 13}, 74 /* R_SPARC_GOT22 */ {0x0, FLG_RE_GOTADD, 4, 10, 22}, 75 /* R_SPARC_PC10 */ {0x3ff, FLG_RE_PCREL | FLG_RE_SIGN | FLG_RE_LOCLBND, 76 4, 0, 13}, 77 /* R_SPARC_PC22 */ {0x0, FLG_RE_PCREL | FLG_RE_SIGN | FLG_RE_VERIFY | 78 FLG_RE_LOCLBND, 4, 10, 22}, 79 /* R_SPARC_WPLT30 */ {0x0, FLG_RE_PCREL | FLG_RE_PLTREL | 80 FLG_RE_VERIFY | FLG_RE_SIGN, 81 4, 2, 30}, 82 /* R_SPARC_COPY */ {0x0, 0, 0, 0, 0}, /* SPECIAL */ 83 #if defined(_ELF64) 84 /* R_SPARC_GLOB_DAT */ {0x0, FLG_RE_NOTREL, 8, 0, 0}, 85 #else 86 /* R_SPARC_GLOB_DAT */ {0x0, FLG_RE_NOTREL, 4, 0, 0}, 87 #endif 88 /* R_SPARC_JMP_SLOT */ {0x0, 0, 0, 0, 0}, /* SPECIAL */ 89 #if defined(_ELF64) 90 /* R_SPARC_RELATIVE */ {0x0, FLG_RE_NOTREL, 8, 0, 0}, 91 #else 92 /* R_SPARC_RELATIVE */ {0x0, FLG_RE_NOTREL, 4, 0, 0}, 93 #endif 94 /* R_SPARC_UA32 */ {0x0, FLG_RE_UNALIGN, 4, 0, 0}, 95 /* R_SPARC_PLT32 */ {0x0, FLG_RE_PLTREL | FLG_RE_VERIFY | 96 FLG_RE_ADDRELATIVE, 4, 0, 0}, 97 /* R_SPARC_HIPLT22 */ {0x0, FLG_RE_PLTREL, 4, 10, 22}, 98 /* R_SPARC_LOPLT10 */ {0x3ff, FLG_RE_PLTREL, 4, 0, 13}, 99 /* R_SPARC_PCPLT32 */ {0x0, FLG_RE_PLTREL | FLG_RE_PCREL | FLG_RE_VERIFY, 100 4, 0, 0}, 101 /* R_SPARC_PCPLT22 */ {0x0, FLG_RE_PLTREL | FLG_RE_PCREL | FLG_RE_VERIFY, 102 4, 10, 22}, 103 /* R_SPARC_PCPLT10 */ {0x3ff, FLG_RE_PLTREL | FLG_RE_PCREL | FLG_RE_VERIFY, 104 4, 0, 13}, 105 /* R_SPARC_10 */ {0x0, FLG_RE_VERIFY | FLG_RE_SIGN, 4, 0, 10}, 106 /* R_SPARC_11 */ {0x0, FLG_RE_VERIFY | FLG_RE_SIGN, 4, 0, 11}, 107 /* R_SPARC_64 */ {0x0, FLG_RE_VERIFY, 8, 0, 0}, /* V9 */ 108 /* R_SPARC_OLO10 */ {0x3ff, FLG_RE_EXTOFFSET | FLG_RE_SIGN, 109 4, 0, 13}, /* V9 */ 110 /* R_SPARC_HH22 */ {0x0, FLG_RE_VERIFY, 4, 42, 22}, /* V9 */ 111 /* R_SPARC_HM10 */ {0x3ff, FLG_RE_SIGN, 4, 32, 13}, /* V9 */ 112 /* R_SPARC_LM22 */ {0x0, FLG_RE_NOTREL, 4, 10, 22}, /* V9 */ 113 /* R_SPARC_PC_HH22 */ {0x0, FLG_RE_PCREL | FLG_RE_VERIFY, 114 4, 42, 22}, /* V9 */ 115 /* R_SPARC_PC_HM10 */ {0x3ff, FLG_RE_PCREL | FLG_RE_SIGN, 116 4, 32, 13}, /* V9 */ 117 /* R_SPARC_PC_LM22 */ {0x0, FLG_RE_PCREL, 118 4, 10, 22}, /* V9 */ 119 /* R_SPARC_WDISP16 */ {0x0, FLG_RE_PCREL | FLG_RE_WDISP16 | 120 FLG_RE_VERIFY | FLG_RE_SIGN, 121 4, 2, 16}, 122 /* R_SPARC_WDISP19 */ {0x0, FLG_RE_PCREL | FLG_RE_VERIFY | FLG_RE_SIGN, 123 4, 2, 19}, 124 /* R_SPARC_GLOB_JMP */ {0x0, 0, 0, 0, 0}, /* V9 - not implemented */ 125 /* removed from v9 ABI */ 126 /* R_SPARC_7 */ {0x0, FLG_RE_NOTREL, 4, 0, 7}, 127 /* R_SPARC_5 */ {0x0, FLG_RE_NOTREL, 4, 0, 5}, 128 /* R_SPARC_6 */ {0x0, FLG_RE_NOTREL, 4, 0, 6}, 129 /* R_SPARC_DISP64 */ {0x0, FLG_RE_PCREL | FLG_RE_VERIFY | FLG_RE_SIGN, 130 8, 0, 0}, 131 /* R_SPARC_PLT64 */ {0x0, FLG_RE_PLTREL | FLG_RE_VERIFY | 132 FLG_RE_ADDRELATIVE, 8, 0, 0}, 133 /* R_SPARC_HIX22 */ {(Xword)(-1LL), FLG_RE_NOTREL | FLG_RE_VERIFY, 134 4, 10, 22}, /* V9 - HaL */ 135 /* R_SPARC_LOX10 */ {0x3ff, FLG_RE_SIGN, 4, 0, 13}, /* V9 - HaL */ 136 /* R_SPARC_H44 */ {0x0, FLG_RE_VERIFY, 4, 22, 22}, /* V9 */ 137 /* R_SPARC_M44 */ {0x3ff, FLG_RE_NOTREL, 4, 12, 10}, /* V9 */ 138 /* R_SPARC_L44 */ {0xfff, FLG_RE_NOTREL, 4, 0, 13}, /* V9 */ 139 /* R_SPARC_REGISTER */ {0x0, FLG_RE_REGISTER, 0, 0, 0}, /* SPECIAL */ 140 /* R_SPARC_UA64 */ {0x0, FLG_RE_VERIFY | FLG_RE_UNALIGN, 141 8, 0, 0}, /* V9 */ 142 /* R_SPARC_UA16 */ {0x0, FLG_RE_VERIFY | FLG_RE_UNALIGN, 143 2, 0, 0}, 144 /* R_SPARC_TLS_GD_HI22 */ {0x0, FLG_RE_GOTADD | FLG_RE_TLSINS | FLG_RE_TLSGD, 145 4, 10, 22}, 146 /* R_SPARC_TLS_GD_LO10 */ {0x3ff, FLG_RE_GOTADD | FLG_RE_TLSINS | 147 FLG_RE_TLSGD | FLG_RE_SIGN, 4, 0, 13}, 148 /* R_SPARC_TLS_GD_ADD */ {0x0, FLG_RE_TLSINS | FLG_RE_TLSGD, 0, 0, 0}, 149 /* R_SPARC_TLS_GD_CALL */ {0x0, FLG_RE_TLSINS | FLG_RE_TLSGD, 0, 0, 0}, 150 /* R_SPARC_TLS_LDM_HI22 */ {0x0, FLG_RE_GOTADD | FLG_RE_TLSINS | FLG_RE_TLSLD, 151 4, 10, 22}, 152 /* R_SPARC_TLS_LDM_LO10 */ {0x3ff, FLG_RE_GOTADD | FLG_RE_TLSINS | 153 FLG_RE_TLSLD | FLG_RE_SIGN, 4, 0, 13}, 154 /* R_SPARC_TLS_LDM_ADD */ {0x0, FLG_RE_TLSINS | FLG_RE_TLSLD, 0, 0, 0}, 155 /* R_SPARC_TLS_LDM_CALL */ {0x0, FLG_RE_TLSINS | FLG_RE_TLSLD, 0, 0, 0}, 156 /* R_SPARC_TLS_LDO_HIX22 */ {0x0, FLG_RE_VERIFY | FLG_RE_TLSINS | FLG_RE_TLSLD, 157 4, 10, 22}, 158 /* R_SPARC_TLS_LDO_LOX10 */ {0x3ff, FLG_RE_TLSINS | FLG_RE_SIGN | FLG_RE_TLSLD, 159 4, 0, 13}, 160 /* R_SPARC_TLS_LDO_ADD */ {0x0, FLG_RE_TLSINS | FLG_RE_TLSLD, 0, 0, 0}, 161 /* R_SPARC_TLS_IE_HI22 */ {0x0, FLG_RE_TLSINS | FLG_RE_GOTADD | FLG_RE_TLSIE, 162 4, 10, 22}, 163 /* R_SPARC_TLS_IE_LO10 */ {0x3ff, FLG_RE_TLSINS | FLG_RE_GOTADD | 164 FLG_RE_TLSIE | FLG_RE_SIGN, 4, 0, 13}, 165 /* R_SPARC_TLS_IE_LD */ {0x0, FLG_RE_TLSINS | FLG_RE_TLSIE, 0, 0, 0}, 166 /* R_SPARC_TLS_IE_LDX */ {0x0, FLG_RE_TLSINS | FLG_RE_TLSIE, 0, 0, 0}, 167 /* R_SPARC_TLS_IE_ADD */ {0x0, FLG_RE_TLSINS | FLG_RE_TLSIE, 0, 0, 0}, 168 /* R_SPARC_TLS_LE_HIX22 */ {(Xword)(-1LL), 169 FLG_RE_VERIFY | FLG_RE_TLSINS | FLG_RE_TLSLE, 170 4, 10, 22}, 171 /* R_SPARC_TLS_LE_LOX10 */ {0x3ff, FLG_RE_TLSINS | FLG_RE_SIGN | FLG_RE_TLSLE, 172 4, 0, 13}, 173 /* R_SPARC_TLS_DTPMOD32 */ {0x0, FLG_RE_NOTREL, 4, 0, 0}, 174 /* R_SPARC_TLS_DTPMOD64 */ {0x0, FLG_RE_NOTREL, 8, 0, 0}, 175 /* R_SPARC_TLS_DTPOFF32 */ {0x0, FLG_RE_NOTREL, 4, 0, 0}, 176 /* R_SPARC_TLS_DTPOFF64 */ {0x0, FLG_RE_NOTREL, 8, 0, 0}, 177 /* R_SPARC_TLS_TPOFF32 */ {0x0, FLG_RE_NOTREL, 4, 0, 0}, 178 /* R_SPARC_TLS_TPOFF64 */ {0x0, FLG_RE_NOTREL, 8, 0, 0}, 179 /* R_SPARC_GOTDATA_HIX22 */ {0, FLG_RE_GOTREL, 4, 10, 22}, 180 /* R_SPARC_GOTDATA_LOX10 */ { 0x3ff, FLG_RE_GOTREL | FLG_RE_SIGN, 4, 0, 13}, 181 /* R_SPARC_GOTDATA_OP_HIX22 */ { 0x0, FLG_RE_GOTOPINS | FLG_RE_GOTADD, 182 4, 10, 22}, 183 /* R_SPARC_GOTDATA_OP_LOX10 */ { 0x3ff, FLG_RE_SIGN | FLG_RE_GOTOPINS | 184 FLG_RE_GOTADD, 4, 0, 13}, 185 /* R_SPARC_GOTDATA_OP */ { 0x0, FLG_RE_GOTOPINS, 0, 0, 0}, 186 /* R_SPARC_H34 */ {0x0, FLG_RE_NOTREL | FLG_RE_VERIFY, 4, 187 12, 22} /* V9 */ 188 }; 189 190 191 /* 192 * Write a single relocated value to its reference location. 193 * We assume we wish to add the relocation amount, value, to the 194 * value of the address already present in the instruction. 195 * 196 * NAME VALUE FIELD CALCULATION 197 * 198 * R_SPARC_NONE 0 none none 199 * R_SPARC_8 1 V-byte8 S + A 200 * R_SPARC_16 2 V-half16 S + A 201 * R_SPARC_32 3 V-word32 S + A 202 * R_SPARC_DISP8 4 V-byte8 S + A - P 203 * R_SPARC_DISP16 5 V-half16 S + A - P 204 * R_SPARC_DISP32 6 V-word32 S + A - P 205 * R_SPARC_WDISP30 7 V-disp30 (S + A - P) >> 2 206 * R_SPARC_WDISP22 8 V-disp22 (S + A - P) >> 2 207 * R_SPARC_HI22 9 T-imm22 (S + A) >> 10 208 * R_SPARC_22 10 V-imm22 S + A 209 * R_SPARC_13 11 V-simm13 S + A 210 * R_SPARC_LO10 12 T-simm13 (S + A) & 0x3ff 211 * R_SPARC_GOT10 13 T-simm13 G & 0x3ff 212 * R_SPARC_GOT13 14 V-simm13 G 213 * R_SPARC_GOT22 15 T-imm22 G >> 10 214 * R_SPARC_PC10 16 T-simm13 (S + A - P) & 0x3ff 215 * R_SPARC_PC22 17 V-disp22 (S + A - P) >> 10 216 * R_SPARC_WPLT30 18 V-disp30 (L + A - P) >> 2 217 * R_SPARC_COPY 19 none none 218 * R_SPARC_GLOB_DAT 20 V-word32 S + A 219 * R_SPARC_JMP_SLOT 21 V-plt22 S + A 220 * R_SPARC_RELATIVE 22 V-word32 S + A 221 * R_SPARC_UA32 23 V-word32 S + A 222 * R_SPARC_PLT32 24 V-word32 L + A 223 * R_SPARC_HIPLT22 25 T-imm22 (L + A) >> 10 224 * R_SPARC_LOPLT10 26 T-simm13 (L + A) & 0x3ff 225 * R_SPARC_PCPLT32 27 V-word32 L + A - P 226 * R_SPARC_PCPLT22 28 V-disp22 (L + A - P) >> 10 227 * R_SPARC_PCPLT10 29 V-simm13 (L + A - P) & 0x3ff 228 * R_SPARC_10 30 V-simm10 S + A 229 * R_SPARC_11 31 V-simm11 S + A 230 * R_SPARC_64 32 V-xword64 S + A 231 * R_SPARC_OLO10 33 V-simm13 ((S + A) & 0x3ff) + O 232 * R_SPARC_HH22 34 V-imm22 (S + A) >> 42 233 * R_SPARC_HM10 35 T-simm13 ((S + A) >> 32) & 0x3ff 234 * R_SPARC_LM22 36 T-imm22 (S + A) >> 10 235 * R_SPARC_PC_HH22 37 V-imm22 (S + A - P) >> 42 236 * R_SPARC_PC_HM10 38 T-simm13 ((S + A - P) >> 32) & 0x3ff 237 * R_SPARC_PC_LM22 39 T-imm22 (S + A - P) >> 10 238 * R_SPARC_WDISP16 40 V-d2/disp14 (S + A - P) >> 2 239 * R_SPARC_WDISP19 41 V-disp19 (S + A - P) >> 2 240 * R_SPARC_GLOB_JMP 42 V-xword64 S + A 241 * R_SPARC_7 43 V-imm7 S + A 242 * R_SPARC_5 44 V-imm5 S + A 243 * R_SPARC_6 45 V-imm6 S + A 244 * R_SPARC_DISP64 46 V-xword64 S + A - P 245 * R_SPARC_PLT64 47 V-xword64 L + A 246 * R_SPARC_HIX22 48 V-imm22 ((S + A) ^ 247 * 0xffffffffffffffff) >> 10 248 * R_SPARC_LOX10 49 T-simm13 ((S + A) & 0x3ff) | 0x1c00 249 * R_SPARC_H44 50 V-imm22 (S + A) >> 22 250 * R_SPARC_M44 51 T-imm10 ((S + A) >> 12) & 0x3ff 251 * R_SPARC_L44 52 T-imm13 (S + A) & 0xfff 252 * R_SPARC_REGISTER 53 V-xword64 S + A 253 * R_SPARC_UA64 54 V-xword64 S + A 254 * R_SPARC_UA16 55 V-half16 S + A 255 * R_SPARC_TLS_GD_HI22 56 T-simm22 @dtlndx(S + A) >> 10 256 * R_SPARC_TLS_GD_LO10 57 T-simm13 @dtlndx(S + A) & 0x3ff 257 * R_SPARC_TLS_GD_ADD 58 none SPECIAL 258 * R_SPARC_TLS_GD_CALL 59 V-disp30 SPECIAL 259 * R_SPARC_TLS_LDM_HI22 60 T-simm22 @tmndx(S + A) >> 10 260 * R_SPARC_TLS_LDM_LO10 61 T-simm13 @tmndx(S + A) & 0x3ff 261 * R_SPARC_TLS_LDM_ADD 62 none SPECIAL 262 * R_SPARC_TLS_LDM_CALL 63 V-disp30 SPECIAL 263 * R_SPARC_TLS_LDO_HIX22 64 V-simm22 @dtpoff(S + A) >> 10 264 * R_SPARC_TLS_LDO_LOX10 65 T-simm13 @dtpoff(S + A) & 0x3ff 265 * R_SPARC_TLS_LDO_ADD 66 none SPECIAL 266 * R_SPARC_TLS_IE_HI22 67 T-simm22 @got(@tpoff(S + A)) >> 10 267 * R_SPARC_TLS_IE_LO10 68 T-simm13 @got(@tpoff(S + A)) & 0x3ff 268 * R_SPARC_TLS_IE_LD 69 none SPECIAL 269 * R_SPARC_TLS_IE_LDX 70 none SPECIAL 270 * R_SPARC_TLS_IE_ADD 71 none SPECIAL 271 * R_SPARC_TLS_LE_HIX22 72 V-simm22 (@tpoff(S + A) ^ 272 * 0xffffffff) >> 10 273 * R_SPARC_TLS_LE_LOX10 73 T-simm13 (@tpoff(S + A) & 0x3ff) | 0x1c00 274 * R_SPARC_TLS_DTPMOD32 74 V-word32 @dtmod(S + A) 275 * R_SPARC_TLS_DTPMOD64 75 V-word64 @dtmod(S + A) 276 * R_SPARC_TLS_DTPOFF32 76 V-word32 @dtpoff(S + A) 277 * R_SPARC_TLS_DTPOFF64 77 V-word64 @dtpoff(S + A) 278 * R_SPARC_TLS_TPOFF32 78 V-word32 @tpoff(S + A) 279 * R_SPARC_TLS_TPOFF64 79 V-word64 @tpoff(S + A) 280 * R_SPARC_GOTDATA_HIX22 80 T-imm22 ((S + A - GOT) >> 10) ^ 281 * ((S + A - GOT) >> 31) 282 * R_SPARC_GOTDATA_LOX10 81 T-simm13 ((S + A - GOT) & 0x3ff) | 283 * (((S + A - GOT) >> 31) & 284 * 0x1c00) 285 * R_SPARC_GOTDATA_OP_HIX22 82 T-imm22 (G >> 10) & (G >> 31) 286 * R_SPARC_GOTDATA_OP_LOX10 83 T-simm13 (G & 0x3ff) | 287 * ((G >> 31) & 0x1c00) 288 * R_SPARC_H34 84 V-imm22 (S + A) >> 12 289 * 290 * This is Figure 4-20: Relocation Types from the Draft Copy of 291 * the ABI, Printed on 11/29/88. 292 * 293 * NOTE1: relocations 24->45 are newly registered relocations to support 294 * C++ ABI & SPARC V8+ and SPARC V9 architectures (1/9/94), and 295 * 64-bit relocations 46-55 were added for SPARC V9. 296 * 297 * NOTE2: relocations 56->79 are added to support Thread-Local storage 298 * as recorded in PSARC/2001/509 299 * 300 * NOTE3: The value to be passed for relocations R_SPARC_HIX22 and 301 * R_SPARC_TLS_HIX22 are negative values. So the upper 10 or 40 bits 302 * are 1. (So when the exclusive OR is applied, the upper bits 303 * will be 0.) 304 * 305 * Relocation calculations: 306 * 307 * The FIELD names indicate whether the relocation type checks for overflow. 308 * A calculated relocation value may be larger than the intended field, and 309 * the relocation type may verify (V) that the value fits, or truncate (T) 310 * the result. 311 * 312 * CALCULATION uses the following notation: 313 * A the addend used 314 * B the base address of the shared object in memory 315 * G the offset into the global offset table 316 * L the procedure linkage entry 317 * P the place of the storage unit being relocated 318 * S the value of the symbol 319 * O secondary addend (extra offset) in v9 r_info field 320 * 321 * @dtlndx(x): Allocate two contiguous entries in the GOT table to hold 322 * a Tls_index structure (for passing to __tls_get_addr()). The 323 * instructions referencing this entry will be bound to the first 324 * of the two GOT entries. 325 * 326 * @tmndx(x): Allocate two contiguous entries in the GOT table to hold 327 * a Tls_index structure (for passing to __tls_get_addr()). The 328 * ti_offset field of the Tls_index will be set to 0 (zero) and the 329 * ti_module will be filled in at run-time. The call to 330 * __tls_get_addr() will return the starting offset of the dynamic 331 * TLS block. 332 * 333 * @dtpoff(x): calculate the tlsoffset relative to the TLS block. 334 * 335 * @tpoff(x): calculate the negative tlsoffset relative to the static 336 * TLS block. This value can be added to the thread-pointer to 337 * calculate the tls address. 338 * 339 * @dtpmod(x): calculate the module id of the object containing symbol x. 340 * 341 * The calculations in the CALCULATION column are assumed to have been performed 342 * before calling this function except for the addition of the addresses in the 343 * instructions. 344 * 345 * Upon successful completion of do_reloc() *value will be set to the 346 * 'bit-shifted' value that will be or'ed into memory. 347 */ 348 /* ARGSUSED3 */ 349 int 350 do_reloc(uchar_t rtype, uchar_t *off, Xword *value, const char *sym, 351 const char *file) 352 { 353 Xword uvalue = 0; 354 Xword basevalue, sigbit_mask, sigfit_mask; 355 Xword corevalue = *value; 356 uchar_t bshift; 357 int field_size, re_flags; 358 const Rel_entry * rep; 359 360 rep = &reloc_table[rtype]; 361 bshift = rep->re_bshift; 362 field_size = rep->re_fsize; 363 re_flags = rep->re_flags; 364 sigbit_mask = S_MASK(rep->re_sigbits); 365 366 if ((re_flags & FLG_RE_SIGN) && sigbit_mask) { 367 /* 368 * sigfit_mask takes into account that a value 369 * might be signed and discards the signbit for 370 * comparison. 371 */ 372 sigfit_mask = S_MASK(rep->re_sigbits - 1); 373 } else 374 sigfit_mask = sigbit_mask; 375 376 if (field_size == 0) { 377 REL_ERR_UNIMPL(file, sym, rtype); 378 return (0); 379 } 380 381 if (re_flags & FLG_RE_UNALIGN) { 382 int i; 383 uchar_t *dest = (uchar_t *)&basevalue; 384 385 /* 386 * Adjust the offset. 387 */ 388 /* LINTED */ 389 i = (int)(sizeof (Xword) - field_size); 390 if (i > 0) 391 dest += i; 392 393 basevalue = 0; 394 for (i = field_size - 1; i >= 0; i--) 395 dest[i] = off[i]; 396 } else { 397 if (((field_size == 2) && ((uintptr_t)off & 0x1)) || 398 ((field_size == 4) && ((uintptr_t)off & 0x3)) || 399 ((field_size == 8) && ((uintptr_t)off & 0x7))) { 400 REL_ERR_NONALIGN(file, sym, rtype, (uintptr_t)off); 401 return (0); 402 } 403 switch (field_size) { 404 case 1: 405 basevalue = (Xword)*((uchar_t *)off); 406 break; 407 case 2: 408 /* LINTED */ 409 basevalue = (Xword)*((Half *)off); 410 break; 411 case 4: 412 /* LINTED */ 413 basevalue = (Xword)*((Word *)off); 414 break; 415 case 8: 416 /* LINTED */ 417 basevalue = (Xword)*((Xword *)off); 418 break; 419 default: 420 REL_ERR_UNNOBITS(file, sym, rtype, rep->re_fsize * 8); 421 return (0); 422 } 423 } 424 425 if (sigbit_mask) { 426 /* 427 * The WDISP16 relocation is an unusual one in that it's bits 428 * are not all contiguous. We have to selectivly pull them out. 429 */ 430 if (re_flags & FLG_RE_WDISP16) { 431 uvalue = ((basevalue & 0x300000) >> 6) | 432 (basevalue & 0x3fff); 433 basevalue &= ~0x303fff; 434 } else { 435 uvalue = sigbit_mask & basevalue; 436 basevalue &= ~sigbit_mask; 437 } 438 /* 439 * If value is signed make sure that we signextend the uvalue. 440 */ 441 if (re_flags & FLG_RE_SIGN) { 442 if (uvalue & (~sigbit_mask & sigfit_mask)) 443 uvalue |= ~sigbit_mask; 444 } 445 } else 446 uvalue = basevalue; 447 448 if (bshift) 449 uvalue <<= bshift; 450 451 uvalue += *value; 452 453 if (rep->re_mask && 454 ((rtype == R_SPARC_HIX22) || (rtype == R_SPARC_TLS_LE_HIX22))) 455 uvalue ^= rep->re_mask; 456 457 if (bshift) { 458 /* 459 * This is to check that we are not attempting to 460 * jump to a non-4 byte aligned address. 461 */ 462 if ((bshift == 2) && (uvalue & 0x3)) { 463 REL_ERR_LOSEBITS(file, sym, rtype, uvalue, 2, off); 464 return (0); 465 } 466 467 if (re_flags & FLG_RE_SIGN) { 468 uvalue = (Sxword)uvalue >> bshift; 469 } else { 470 uvalue >>= bshift; 471 } 472 corevalue >>= bshift; 473 } 474 475 if ((rtype == R_SPARC_GOTDATA_HIX22) || 476 (rtype == R_SPARC_GOTDATA_OP_HIX22)) { 477 uvalue ^= ((Sxword)(*value) >> 31); 478 corevalue ^= ((Sxword)(*value) >> 31); 479 } 480 481 if (rep->re_mask && 482 (rtype != R_SPARC_HIX22) && (rtype != R_SPARC_TLS_LE_HIX22) && 483 (rtype != R_SPARC_GOTDATA_HIX22)) 484 uvalue &= rep->re_mask; 485 486 if ((rtype == R_SPARC_LOX10) || (rtype == R_SPARC_TLS_LE_LOX10)) { 487 uvalue |= 0x1c00; 488 corevalue |= 0x1c00; 489 } 490 491 if ((rtype == R_SPARC_GOTDATA_LOX10) || 492 (rtype == R_SPARC_GOTDATA_OP_LOX10)) { 493 uvalue |= ((Sxword)(*value) >> 31) & 0x1c00; 494 corevalue |= ((Sxword)(*value) >> 31) & 0x1c00; 495 } 496 497 498 if ((re_flags & FLG_RE_VERIFY) && sigbit_mask) { 499 if (((re_flags & FLG_RE_SIGN) && 500 (S_INRANGE((Sxword)uvalue, rep->re_sigbits - 1) == 0)) || 501 (!(re_flags & FLG_RE_SIGN) && 502 ((sigbit_mask & uvalue) != uvalue))) { 503 REL_ERR_NOFIT(file, sym, rtype, uvalue); 504 return (0); 505 } 506 } 507 508 if (sigbit_mask) { 509 /* 510 * Again the R_SPARC_WDISP16 relocation takes special 511 * processing because of its non-continguous bits. 512 */ 513 if (re_flags & FLG_RE_WDISP16) 514 uvalue = ((uvalue & 0xc000) << 6) | 515 (uvalue & 0x3fff); 516 else 517 uvalue &= sigbit_mask; 518 /* 519 * Combine value back with original word 520 */ 521 uvalue |= basevalue; 522 } 523 *value = corevalue; 524 525 if (re_flags & FLG_RE_UNALIGN) { 526 int i; 527 uchar_t *src = (uchar_t *)&uvalue; 528 529 /* 530 * Adjust the offset. 531 */ 532 /* LINTED */ 533 i = (int)(sizeof (Xword) - field_size); 534 if (i > 0) 535 src += i; 536 537 for (i = field_size - 1; i >= 0; i--) 538 off[i] = src[i]; 539 } else { 540 switch (rep->re_fsize) { 541 case 1: 542 /* LINTED */ 543 *((uchar_t *)off) = (uchar_t)uvalue; 544 break; 545 case 2: 546 /* LINTED */ 547 *((Half *)off) = (Half)uvalue; 548 break; 549 case 4: 550 /* LINTED */ 551 *((Word *)off) = uvalue; 552 break; 553 case 8: 554 /* LINTED */ 555 *((Xword *)off) = uvalue; 556 break; 557 default: 558 /* 559 * To keep chkmsg() happy: MSG_INTL(MSG_REL_UNSUPSZ) 560 */ 561 REL_ERR_UNSUPSZ(file, sym, rtype, rep->re_fsize); 562 return (0); 563 } 564 } 565 return (1); 566 } 567