xref: /freebsd-src/stand/common/reloc_elf.c (revision 4a3cf5f329d69076aa9d093d596eb0ee82d917f5)
1ca987d46SWarner Losh /*-
2ca987d46SWarner Losh  * Copyright (c) 2003 Jake Burkholder.
3ca987d46SWarner Losh  * Copyright 1996-1998 John D. Polstra.
4ca987d46SWarner Losh  * Copyright (c) 1998 Michael Smith <msmith@freebsd.org>
5ca987d46SWarner Losh  * Copyright (c) 1998 Peter Wemm <peter@freebsd.org>
6ca987d46SWarner Losh  * All rights reserved.
7ca987d46SWarner Losh  *
8ca987d46SWarner Losh  * Redistribution and use in source and binary forms, with or without
9ca987d46SWarner Losh  * modification, are permitted provided that the following conditions
10ca987d46SWarner Losh  * are met:
11ca987d46SWarner Losh  * 1. Redistributions of source code must retain the above copyright
12ca987d46SWarner Losh  *    notice, this list of conditions and the following disclaimer.
13ca987d46SWarner Losh  * 2. Redistributions in binary form must reproduce the above copyright
14ca987d46SWarner Losh  *    notice, this list of conditions and the following disclaimer in the
15ca987d46SWarner Losh  *    documentation and/or other materials provided with the distribution.
16ca987d46SWarner Losh  *
17ca987d46SWarner Losh  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
18ca987d46SWarner Losh  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
19ca987d46SWarner Losh  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
20ca987d46SWarner Losh  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
21ca987d46SWarner Losh  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
22ca987d46SWarner Losh  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
23ca987d46SWarner Losh  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
24ca987d46SWarner Losh  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
25ca987d46SWarner Losh  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
26ca987d46SWarner Losh  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
27ca987d46SWarner Losh  * SUCH DAMAGE.
28ca987d46SWarner Losh  */
29ca987d46SWarner Losh 
30ca987d46SWarner Losh #include <sys/types.h>
31ca987d46SWarner Losh #include <machine/elf.h>
32ca987d46SWarner Losh 
33ca987d46SWarner Losh #include <stand.h>
34ca987d46SWarner Losh 
35f38658e1SWarner Losh #include <sys/link_elf.h>
36ca987d46SWarner Losh 
37ca987d46SWarner Losh #include "bootstrap.h"
38ca987d46SWarner Losh 
39ca987d46SWarner Losh #define COPYOUT(s,d,l)	archsw.arch_copyout((vm_offset_t)(s), d, l)
40ca987d46SWarner Losh 
41ca987d46SWarner Losh /*
42ca987d46SWarner Losh  * Apply a single intra-module relocation to the data. `relbase' is the
43ca987d46SWarner Losh  * target relocation base for the section (i.e. it corresponds to where
44ca987d46SWarner Losh  * r_offset == 0). `dataaddr' is the relocated address corresponding to
45ca987d46SWarner Losh  * the start of the data, and `len' is the number of bytes.
46ca987d46SWarner Losh  */
47ca987d46SWarner Losh int
__elfN(reloc)48ca987d46SWarner Losh __elfN(reloc)(struct elf_file *ef, symaddr_fn *symaddr, const void *reldata,
49ca987d46SWarner Losh     int reltype, Elf_Addr relbase, Elf_Addr dataaddr, void *data, size_t len)
50ca987d46SWarner Losh {
51f6f0b849SAndrew Turner #if (defined(__aarch64__) || defined(__amd64__) || defined(__i386__)) && \
52f6f0b849SAndrew Turner     __ELF_WORD_SIZE == 64
53ca987d46SWarner Losh 	Elf64_Addr *where, val;
54ca987d46SWarner Losh 	Elf_Addr addend, addr;
55*ce18e193SWarner Losh 	Elf_Size rtype;
56*ce18e193SWarner Losh #if defined(__amd64__) || defined(__i386__)
57*ce18e193SWarner Losh 	Elf_Size symidx;
58*ce18e193SWarner Losh #endif
59ca987d46SWarner Losh 	const Elf_Rel *rel;
60ca987d46SWarner Losh 	const Elf_Rela *rela;
61ca987d46SWarner Losh 
62ca987d46SWarner Losh 	switch (reltype) {
63ca987d46SWarner Losh 	case ELF_RELOC_REL:
64ca987d46SWarner Losh 		rel = (const Elf_Rel *)reldata;
65ca987d46SWarner Losh 		where = (Elf_Addr *)((char *)data + relbase + rel->r_offset -
66ca987d46SWarner Losh 		    dataaddr);
67ca987d46SWarner Losh 		addend = 0;
68ca987d46SWarner Losh 		rtype = ELF_R_TYPE(rel->r_info);
69*ce18e193SWarner Losh #if defined(__amd64__) || defined(__i386__)
70ca987d46SWarner Losh 		symidx = ELF_R_SYM(rel->r_info);
71*ce18e193SWarner Losh #endif
72ca987d46SWarner Losh 		addend = 0;
73ca987d46SWarner Losh 		break;
74ca987d46SWarner Losh 	case ELF_RELOC_RELA:
75ca987d46SWarner Losh 		rela = (const Elf_Rela *)reldata;
76ca987d46SWarner Losh 		where = (Elf_Addr *)((char *)data + relbase + rela->r_offset -
77ca987d46SWarner Losh 		    dataaddr);
78ca987d46SWarner Losh 		addend = rela->r_addend;
79ca987d46SWarner Losh 		rtype = ELF_R_TYPE(rela->r_info);
80*ce18e193SWarner Losh #if defined(__amd64__) || defined(__i386__)
81ca987d46SWarner Losh 		symidx = ELF_R_SYM(rela->r_info);
82*ce18e193SWarner Losh #endif
83ca987d46SWarner Losh 		break;
84ca987d46SWarner Losh 	default:
85ca987d46SWarner Losh 		return (EINVAL);
86ca987d46SWarner Losh 	}
87ca987d46SWarner Losh 
88ca987d46SWarner Losh 	if ((char *)where < (char *)data || (char *)where >= (char *)data + len)
89ca987d46SWarner Losh 		return (0);
90ca987d46SWarner Losh 
91ca987d46SWarner Losh 	if (reltype == ELF_RELOC_REL)
92ca987d46SWarner Losh 		addend = *where;
93ca987d46SWarner Losh 
94f6f0b849SAndrew Turner #if defined(__aarch64__)
95f6f0b849SAndrew Turner #define	RELOC_RELATIVE		R_AARCH64_RELATIVE
96f6f0b849SAndrew Turner #define	RELOC_IRELATIVE		R_AARCH64_IRELATIVE
97f6f0b849SAndrew Turner #elif defined(__amd64__) || defined(__i386__)
98ca987d46SWarner Losh /* XXX, definitions not available on i386. */
99ca987d46SWarner Losh #define	R_X86_64_64		1
100ca987d46SWarner Losh #define	R_X86_64_RELATIVE	8
10185f794e1SKonstantin Belousov #define	R_X86_64_IRELATIVE	37
102ca987d46SWarner Losh 
103f6f0b849SAndrew Turner #define	RELOC_RELATIVE		R_X86_64_RELATIVE
104f6f0b849SAndrew Turner #define	RELOC_IRELATIVE		R_X86_64_IRELATIVE
105f6f0b849SAndrew Turner #endif
106f6f0b849SAndrew Turner 
107ca987d46SWarner Losh 	switch (rtype) {
108f6f0b849SAndrew Turner 	case RELOC_RELATIVE:
109f6f0b849SAndrew Turner 		addr = (Elf_Addr)addend + relbase;
110f6f0b849SAndrew Turner 		val = addr;
111f6f0b849SAndrew Turner 		memcpy(where, &val, sizeof(val));
112f6f0b849SAndrew Turner 		break;
113f6f0b849SAndrew Turner 	case RELOC_IRELATIVE:
114f6f0b849SAndrew Turner 		/* leave it to kernel */
115f6f0b849SAndrew Turner 		break;
116f6f0b849SAndrew Turner #if defined(__amd64__) || defined(__i386__)
117ca987d46SWarner Losh 	case R_X86_64_64:		/* S + A */
118ca987d46SWarner Losh 		addr = symaddr(ef, symidx);
119ca987d46SWarner Losh 		if (addr == 0)
120ca987d46SWarner Losh 			return (ESRCH);
121ca987d46SWarner Losh 		val = addr + addend;
122ca987d46SWarner Losh 		*where = val;
123ca987d46SWarner Losh 		break;
124f6f0b849SAndrew Turner #endif
125ca987d46SWarner Losh 	default:
126ca987d46SWarner Losh 		printf("\nunhandled relocation type %u\n", (u_int)rtype);
127ca987d46SWarner Losh 		return (EFTYPE);
128ca987d46SWarner Losh 	}
129ca987d46SWarner Losh 
130ca987d46SWarner Losh 	return (0);
131ca987d46SWarner Losh #elif defined(__i386__) && __ELF_WORD_SIZE == 32
132ca987d46SWarner Losh 	Elf_Addr addend, addr, *where, val;
133ca987d46SWarner Losh 	Elf_Size rtype, symidx;
134ca987d46SWarner Losh 	const Elf_Rel *rel;
135ca987d46SWarner Losh 	const Elf_Rela *rela;
136ca987d46SWarner Losh 
137ca987d46SWarner Losh 	switch (reltype) {
138ca987d46SWarner Losh 	case ELF_RELOC_REL:
139ca987d46SWarner Losh 		rel = (const Elf_Rel *)reldata;
140ca987d46SWarner Losh 		where = (Elf_Addr *)((char *)data + relbase + rel->r_offset -
141ca987d46SWarner Losh 		    dataaddr);
142ca987d46SWarner Losh 		addend = 0;
143ca987d46SWarner Losh 		rtype = ELF_R_TYPE(rel->r_info);
144ca987d46SWarner Losh 		symidx = ELF_R_SYM(rel->r_info);
145ca987d46SWarner Losh 		addend = 0;
146ca987d46SWarner Losh 		break;
147ca987d46SWarner Losh 	case ELF_RELOC_RELA:
148ca987d46SWarner Losh 		rela = (const Elf_Rela *)reldata;
149ca987d46SWarner Losh 		where = (Elf_Addr *)((char *)data + relbase + rela->r_offset -
150ca987d46SWarner Losh 		    dataaddr);
151ca987d46SWarner Losh 		addend = rela->r_addend;
152ca987d46SWarner Losh 		rtype = ELF_R_TYPE(rela->r_info);
153ca987d46SWarner Losh 		symidx = ELF_R_SYM(rela->r_info);
154ca987d46SWarner Losh 		break;
155ca987d46SWarner Losh 	default:
156ca987d46SWarner Losh 		return (EINVAL);
157ca987d46SWarner Losh 	}
158ca987d46SWarner Losh 
159ca987d46SWarner Losh 	if ((char *)where < (char *)data || (char *)where >= (char *)data + len)
160ca987d46SWarner Losh 		return (0);
161ca987d46SWarner Losh 
162ca987d46SWarner Losh 	if (reltype == ELF_RELOC_REL)
163ca987d46SWarner Losh 		addend = *where;
164ca987d46SWarner Losh 
165ca987d46SWarner Losh /* XXX, definitions not available on amd64. */
166ca987d46SWarner Losh #define R_386_32	1	/* Add symbol value. */
167ca987d46SWarner Losh #define R_386_GLOB_DAT	6	/* Set GOT entry to data address. */
168ca987d46SWarner Losh #define R_386_RELATIVE	8	/* Add load address of shared object. */
16985f794e1SKonstantin Belousov #define	R_386_IRELATIVE	42
170ca987d46SWarner Losh 
171ca987d46SWarner Losh 	switch (rtype) {
172ca987d46SWarner Losh 	case R_386_RELATIVE:
173ca987d46SWarner Losh 		addr = addend + relbase;
174ca987d46SWarner Losh 		*where = addr;
175ca987d46SWarner Losh 		break;
176ca987d46SWarner Losh 	case R_386_32:		/* S + A */
177ca987d46SWarner Losh 		addr = symaddr(ef, symidx);
178ca987d46SWarner Losh 		if (addr == 0)
179ca987d46SWarner Losh 			return (ESRCH);
180ca987d46SWarner Losh 		val = addr + addend;
181ca987d46SWarner Losh 		*where = val;
182ca987d46SWarner Losh 		break;
18385f794e1SKonstantin Belousov 	case R_386_IRELATIVE:
18485f794e1SKonstantin Belousov 		/* leave it to kernel */
18585f794e1SKonstantin Belousov 		break;
186ca987d46SWarner Losh 	default:
187ca987d46SWarner Losh 		printf("\nunhandled relocation type %u\n", (u_int)rtype);
188ca987d46SWarner Losh 		return (EFTYPE);
189ca987d46SWarner Losh 	}
190ca987d46SWarner Losh 
191ca987d46SWarner Losh 	return (0);
192f6f0b849SAndrew Turner #elif defined(__powerpc__) || defined(__riscv)
193ca987d46SWarner Losh 	Elf_Size w;
194ca987d46SWarner Losh 	const Elf_Rela *rela;
195ca987d46SWarner Losh 
196ca987d46SWarner Losh 	switch (reltype) {
197ca987d46SWarner Losh 	case ELF_RELOC_RELA:
198ca987d46SWarner Losh 		rela = reldata;
199ca987d46SWarner Losh 		if (relbase + rela->r_offset >= dataaddr &&
200ca987d46SWarner Losh 		    relbase + rela->r_offset < dataaddr + len) {
201ca987d46SWarner Losh 			switch (ELF_R_TYPE(rela->r_info)) {
202f6f0b849SAndrew Turner #if defined(__powerpc__)
203ca987d46SWarner Losh 			case R_PPC_RELATIVE:
204987eabdcSD Scott Phillips #elif defined(__riscv)
205987eabdcSD Scott Phillips 			case R_RISCV_RELATIVE:
206987eabdcSD Scott Phillips #endif
207ca987d46SWarner Losh 				w = relbase + rela->r_addend;
208ca987d46SWarner Losh 				bcopy(&w, (u_char *)data + (relbase +
209ca987d46SWarner Losh 				      rela->r_offset - dataaddr), sizeof(w));
210ca987d46SWarner Losh 				break;
211ca987d46SWarner Losh 			default:
212ca987d46SWarner Losh 				printf("\nunhandled relocation type %u\n",
213ca987d46SWarner Losh 				       (u_int)ELF_R_TYPE(rela->r_info));
214ca987d46SWarner Losh 				return (EFTYPE);
215ca987d46SWarner Losh 			}
216ca987d46SWarner Losh 		}
217ca987d46SWarner Losh 		break;
218ca987d46SWarner Losh 	}
219ca987d46SWarner Losh 
220ca987d46SWarner Losh 	return (0);
221ca987d46SWarner Losh #else
222ca987d46SWarner Losh 	return (EOPNOTSUPP);
223ca987d46SWarner Losh #endif
224ca987d46SWarner Losh }
225