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