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