LLVM 20.0.0git
ELF_riscv.cpp
Go to the documentation of this file.
1//===------- ELF_riscv.cpp -JIT linker implementation for ELF/riscv -------===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// ELF/riscv jit-link implementation.
10//
11//===----------------------------------------------------------------------===//
12
14#include "EHFrameSupportImpl.h"
15#include "ELFLinkGraphBuilder.h"
16#include "JITLinkGeneric.h"
22#include "llvm/Object/ELF.h"
24#include "llvm/Support/Endian.h"
25
26#define DEBUG_TYPE "jitlink"
27using namespace llvm;
28using namespace llvm::jitlink;
29using namespace llvm::jitlink::riscv;
30
31namespace {
32
33class PerGraphGOTAndPLTStubsBuilder_ELF_riscv
35 PerGraphGOTAndPLTStubsBuilder_ELF_riscv> {
36public:
37 static constexpr size_t StubEntrySize = 16;
38 static const uint8_t NullGOTEntryContent[8];
39 static const uint8_t RV64StubContent[StubEntrySize];
40 static const uint8_t RV32StubContent[StubEntrySize];
41
43 PerGraphGOTAndPLTStubsBuilder_ELF_riscv>::PerGraphGOTAndPLTStubsBuilder;
44
45 bool isRV64() const { return G.getPointerSize() == 8; }
46
47 bool isGOTEdgeToFix(Edge &E) const { return E.getKind() == R_RISCV_GOT_HI20; }
48
49 Symbol &createGOTEntry(Symbol &Target) {
50 Block &GOTBlock =
51 G.createContentBlock(getGOTSection(), getGOTEntryBlockContent(),
52 orc::ExecutorAddr(), G.getPointerSize(), 0);
53 GOTBlock.addEdge(isRV64() ? R_RISCV_64 : R_RISCV_32, 0, Target, 0);
54 return G.addAnonymousSymbol(GOTBlock, 0, G.getPointerSize(), false, false);
55 }
56
57 Symbol &createPLTStub(Symbol &Target) {
58 Block &StubContentBlock = G.createContentBlock(
59 getStubsSection(), getStubBlockContent(), orc::ExecutorAddr(), 4, 0);
60 auto &GOTEntrySymbol = getGOTEntry(Target);
61 StubContentBlock.addEdge(R_RISCV_CALL, 0, GOTEntrySymbol, 0);
62 return G.addAnonymousSymbol(StubContentBlock, 0, StubEntrySize, true,
63 false);
64 }
65
66 void fixGOTEdge(Edge &E, Symbol &GOTEntry) {
67 // Replace the relocation pair (R_RISCV_GOT_HI20, R_RISCV_PCREL_LO12)
68 // with (R_RISCV_PCREL_HI20, R_RISCV_PCREL_LO12)
69 // Therefore, here just change the R_RISCV_GOT_HI20 to R_RISCV_PCREL_HI20
71 E.setTarget(GOTEntry);
72 }
73
74 void fixPLTEdge(Edge &E, Symbol &PLTStubs) {
76 E.getKind() == CallRelaxable) &&
77 "Not a PLT edge?");
79 E.setTarget(PLTStubs);
80 }
81
82 bool isExternalBranchEdge(Edge &E) const {
83 return (E.getKind() == R_RISCV_CALL || E.getKind() == R_RISCV_CALL_PLT ||
84 E.getKind() == CallRelaxable) &&
85 !E.getTarget().isDefined();
86 }
87
88private:
89 Section &getGOTSection() const {
90 if (!GOTSection)
91 GOTSection = &G.createSection("$__GOT", orc::MemProt::Read);
92 return *GOTSection;
93 }
94
95 Section &getStubsSection() const {
96 if (!StubsSection)
97 StubsSection =
98 &G.createSection("$__STUBS", orc::MemProt::Read | orc::MemProt::Exec);
99 return *StubsSection;
100 }
101
102 ArrayRef<char> getGOTEntryBlockContent() {
103 return {reinterpret_cast<const char *>(NullGOTEntryContent),
104 G.getPointerSize()};
105 }
106
107 ArrayRef<char> getStubBlockContent() {
108 auto StubContent = isRV64() ? RV64StubContent : RV32StubContent;
109 return {reinterpret_cast<const char *>(StubContent), StubEntrySize};
110 }
111
112 mutable Section *GOTSection = nullptr;
113 mutable Section *StubsSection = nullptr;
114};
115
116const uint8_t PerGraphGOTAndPLTStubsBuilder_ELF_riscv::NullGOTEntryContent[8] =
117 {0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00};
118
119const uint8_t
120 PerGraphGOTAndPLTStubsBuilder_ELF_riscv::RV64StubContent[StubEntrySize] = {
121 0x17, 0x0e, 0x00, 0x00, // auipc t3, literal
122 0x03, 0x3e, 0x0e, 0x00, // ld t3, literal(t3)
123 0x67, 0x00, 0x0e, 0x00, // jr t3
124 0x13, 0x00, 0x00, 0x00}; // nop
125
126const uint8_t
127 PerGraphGOTAndPLTStubsBuilder_ELF_riscv::RV32StubContent[StubEntrySize] = {
128 0x17, 0x0e, 0x00, 0x00, // auipc t3, literal
129 0x03, 0x2e, 0x0e, 0x00, // lw t3, literal(t3)
130 0x67, 0x00, 0x0e, 0x00, // jr t3
131 0x13, 0x00, 0x00, 0x00}; // nop
132} // namespace
133namespace llvm {
134namespace jitlink {
135
136static uint32_t extractBits(uint32_t Num, unsigned Low, unsigned Size) {
137 return (Num & (((1ULL << Size) - 1) << Low)) >> Low;
138}
139
140static inline bool isAlignmentCorrect(uint64_t Value, int N) {
141 return (Value & (N - 1)) ? false : true;
142}
143
144// Requires 0 < N <= 64.
145static inline bool isInRangeForImm(int64_t Value, int N) {
146 return Value == llvm::SignExtend64(Value, N);
147}
148
149class ELFJITLinker_riscv : public JITLinker<ELFJITLinker_riscv> {
150 friend class JITLinker<ELFJITLinker_riscv>;
151
152public:
153 ELFJITLinker_riscv(std::unique_ptr<JITLinkContext> Ctx,
154 std::unique_ptr<LinkGraph> G, PassConfiguration PassConfig)
155 : JITLinker(std::move(Ctx), std::move(G), std::move(PassConfig)) {
157 [this](LinkGraph &G) { return gatherRISCVPCRelHi20(G); });
158 }
159
160private:
162 RelHi20;
163
164 Error gatherRISCVPCRelHi20(LinkGraph &G) {
165 for (Block *B : G.blocks())
166 for (Edge &E : B->edges())
167 if (E.getKind() == R_RISCV_PCREL_HI20)
168 RelHi20[{B, E.getOffset()}] = &E;
169
170 return Error::success();
171 }
172
173 Expected<const Edge &> getRISCVPCRelHi20(const Edge &E) const {
174 using namespace riscv;
175 assert((E.getKind() == R_RISCV_PCREL_LO12_I ||
176 E.getKind() == R_RISCV_PCREL_LO12_S) &&
177 "Can only have high relocation for R_RISCV_PCREL_LO12_I or "
178 "R_RISCV_PCREL_LO12_S");
179
180 const Symbol &Sym = E.getTarget();
181 const Block &B = Sym.getBlock();
183
184 auto It = RelHi20.find({&B, Offset});
185 if (It != RelHi20.end())
186 return *It->second;
187
188 return make_error<JITLinkError>("No HI20 PCREL relocation type be found "
189 "for LO12 PCREL relocation type");
190 }
191
192 Error applyFixup(LinkGraph &G, Block &B, const Edge &E) const {
193 using namespace riscv;
194 using namespace llvm::support;
195
196 char *BlockWorkingMem = B.getAlreadyMutableContent().data();
197 char *FixupPtr = BlockWorkingMem + E.getOffset();
198 orc::ExecutorAddr FixupAddress = B.getAddress() + E.getOffset();
199 switch (E.getKind()) {
200 case R_RISCV_32: {
201 int64_t Value = (E.getTarget().getAddress() + E.getAddend()).getValue();
202 *(little32_t *)FixupPtr = static_cast<uint32_t>(Value);
203 break;
204 }
205 case R_RISCV_64: {
206 int64_t Value = (E.getTarget().getAddress() + E.getAddend()).getValue();
207 *(little64_t *)FixupPtr = static_cast<uint64_t>(Value);
208 break;
209 }
210 case R_RISCV_BRANCH: {
211 int64_t Value = E.getTarget().getAddress() + E.getAddend() - FixupAddress;
212 if (LLVM_UNLIKELY(!isInRangeForImm(Value >> 1, 12)))
213 return makeTargetOutOfRangeError(G, B, E);
215 return makeAlignmentError(FixupAddress, Value, 2, E);
216 uint32_t Imm12 = extractBits(Value, 12, 1) << 31;
217 uint32_t Imm10_5 = extractBits(Value, 5, 6) << 25;
218 uint32_t Imm4_1 = extractBits(Value, 1, 4) << 8;
219 uint32_t Imm11 = extractBits(Value, 11, 1) << 7;
220 uint32_t RawInstr = *(little32_t *)FixupPtr;
221 *(little32_t *)FixupPtr =
222 (RawInstr & 0x1FFF07F) | Imm12 | Imm10_5 | Imm4_1 | Imm11;
223 break;
224 }
225 case R_RISCV_JAL: {
226 int64_t Value = E.getTarget().getAddress() + E.getAddend() - FixupAddress;
227 if (LLVM_UNLIKELY(!isInRangeForImm(Value >> 1, 20)))
228 return makeTargetOutOfRangeError(G, B, E);
230 return makeAlignmentError(FixupAddress, Value, 2, E);
231 uint32_t Imm20 = extractBits(Value, 20, 1) << 31;
232 uint32_t Imm10_1 = extractBits(Value, 1, 10) << 21;
233 uint32_t Imm11 = extractBits(Value, 11, 1) << 20;
234 uint32_t Imm19_12 = extractBits(Value, 12, 8) << 12;
235 uint32_t RawInstr = *(little32_t *)FixupPtr;
236 *(little32_t *)FixupPtr =
237 (RawInstr & 0xFFF) | Imm20 | Imm10_1 | Imm11 | Imm19_12;
238 break;
239 }
240 case CallRelaxable:
241 // Treat as R_RISCV_CALL when the relaxation pass did not run
242 case R_RISCV_CALL_PLT:
243 case R_RISCV_CALL: {
244 int64_t Value = E.getTarget().getAddress() + E.getAddend() - FixupAddress;
245 int64_t Hi = Value + 0x800;
247 return makeTargetOutOfRangeError(G, B, E);
248 int32_t Lo = Value & 0xFFF;
249 uint32_t RawInstrAuipc = *(little32_t *)FixupPtr;
250 uint32_t RawInstrJalr = *(little32_t *)(FixupPtr + 4);
251 *(little32_t *)FixupPtr =
252 RawInstrAuipc | (static_cast<uint32_t>(Hi & 0xFFFFF000));
253 *(little32_t *)(FixupPtr + 4) =
254 RawInstrJalr | (static_cast<uint32_t>(Lo) << 20);
255 break;
256 }
257 // The relocations R_RISCV_CALL_PLT and R_RISCV_GOT_HI20 are handled by
258 // PerGraphGOTAndPLTStubsBuilder_ELF_riscv and are transformed into
259 // R_RISCV_CALL and R_RISCV_PCREL_HI20.
260 case R_RISCV_PCREL_HI20: {
261 int64_t Value = E.getTarget().getAddress() + E.getAddend() - FixupAddress;
262 int64_t Hi = Value + 0x800;
264 return makeTargetOutOfRangeError(G, B, E);
265 uint32_t RawInstr = *(little32_t *)FixupPtr;
266 *(little32_t *)FixupPtr =
267 (RawInstr & 0xFFF) | (static_cast<uint32_t>(Hi & 0xFFFFF000));
268 break;
269 }
271 // FIXME: We assume that R_RISCV_PCREL_HI20 is present in object code and
272 // pairs with current relocation R_RISCV_PCREL_LO12_I. So here may need a
273 // check.
274 auto RelHI20 = getRISCVPCRelHi20(E);
275 if (!RelHI20)
276 return RelHI20.takeError();
277 int64_t Value = RelHI20->getTarget().getAddress() +
278 RelHI20->getAddend() - E.getTarget().getAddress();
279 int64_t Lo = Value & 0xFFF;
280 uint32_t RawInstr = *(little32_t *)FixupPtr;
281 *(little32_t *)FixupPtr =
282 (RawInstr & 0xFFFFF) | (static_cast<uint32_t>(Lo & 0xFFF) << 20);
283 break;
284 }
286 // FIXME: We assume that R_RISCV_PCREL_HI20 is present in object code and
287 // pairs with current relocation R_RISCV_PCREL_LO12_S. So here may need a
288 // check.
289 auto RelHI20 = getRISCVPCRelHi20(E);
290 if (!RelHI20)
291 return RelHI20.takeError();
292 int64_t Value = RelHI20->getTarget().getAddress() +
293 RelHI20->getAddend() - E.getTarget().getAddress();
294 int64_t Lo = Value & 0xFFF;
295 uint32_t Imm11_5 = extractBits(Lo, 5, 7) << 25;
296 uint32_t Imm4_0 = extractBits(Lo, 0, 5) << 7;
297 uint32_t RawInstr = *(little32_t *)FixupPtr;
298
299 *(little32_t *)FixupPtr = (RawInstr & 0x1FFF07F) | Imm11_5 | Imm4_0;
300 break;
301 }
302 case R_RISCV_HI20: {
303 int64_t Value = (E.getTarget().getAddress() + E.getAddend()).getValue();
304 int64_t Hi = Value + 0x800;
306 return makeTargetOutOfRangeError(G, B, E);
307 uint32_t RawInstr = *(little32_t *)FixupPtr;
308 *(little32_t *)FixupPtr =
309 (RawInstr & 0xFFF) | (static_cast<uint32_t>(Hi & 0xFFFFF000));
310 break;
311 }
312 case R_RISCV_LO12_I: {
313 // FIXME: We assume that R_RISCV_HI20 is present in object code and pairs
314 // with current relocation R_RISCV_LO12_I. So here may need a check.
315 int64_t Value = (E.getTarget().getAddress() + E.getAddend()).getValue();
316 int32_t Lo = Value & 0xFFF;
317 uint32_t RawInstr = *(little32_t *)FixupPtr;
318 *(little32_t *)FixupPtr =
319 (RawInstr & 0xFFFFF) | (static_cast<uint32_t>(Lo & 0xFFF) << 20);
320 break;
321 }
322 case R_RISCV_LO12_S: {
323 // FIXME: We assume that R_RISCV_HI20 is present in object code and pairs
324 // with current relocation R_RISCV_LO12_S. So here may need a check.
325 int64_t Value = (E.getTarget().getAddress() + E.getAddend()).getValue();
326 int64_t Lo = Value & 0xFFF;
327 uint32_t Imm11_5 = extractBits(Lo, 5, 7) << 25;
328 uint32_t Imm4_0 = extractBits(Lo, 0, 5) << 7;
329 uint32_t RawInstr = *(little32_t *)FixupPtr;
330 *(little32_t *)FixupPtr = (RawInstr & 0x1FFF07F) | Imm11_5 | Imm4_0;
331 break;
332 }
333 case R_RISCV_ADD8: {
334 int64_t Value =
335 (E.getTarget().getAddress() +
336 *(reinterpret_cast<const uint8_t *>(FixupPtr)) + E.getAddend())
337 .getValue();
338 *FixupPtr = static_cast<uint8_t>(Value);
339 break;
340 }
341 case R_RISCV_ADD16: {
342 int64_t Value = (E.getTarget().getAddress() +
343 support::endian::read16le(FixupPtr) + E.getAddend())
344 .getValue();
345 *(little16_t *)FixupPtr = static_cast<uint16_t>(Value);
346 break;
347 }
348 case R_RISCV_ADD32: {
349 int64_t Value = (E.getTarget().getAddress() +
350 support::endian::read32le(FixupPtr) + E.getAddend())
351 .getValue();
352 *(little32_t *)FixupPtr = static_cast<uint32_t>(Value);
353 break;
354 }
355 case R_RISCV_ADD64: {
356 int64_t Value = (E.getTarget().getAddress() +
357 support::endian::read64le(FixupPtr) + E.getAddend())
358 .getValue();
359 *(little64_t *)FixupPtr = static_cast<uint64_t>(Value);
360 break;
361 }
362 case R_RISCV_SUB8: {
363 int64_t Value = *(reinterpret_cast<const uint8_t *>(FixupPtr)) -
364 E.getTarget().getAddress().getValue() - E.getAddend();
365 *FixupPtr = static_cast<uint8_t>(Value);
366 break;
367 }
368 case R_RISCV_SUB16: {
369 int64_t Value = support::endian::read16le(FixupPtr) -
370 E.getTarget().getAddress().getValue() - E.getAddend();
371 *(little16_t *)FixupPtr = static_cast<uint32_t>(Value);
372 break;
373 }
374 case R_RISCV_SUB32: {
375 int64_t Value = support::endian::read32le(FixupPtr) -
376 E.getTarget().getAddress().getValue() - E.getAddend();
377 *(little32_t *)FixupPtr = static_cast<uint32_t>(Value);
378 break;
379 }
380 case R_RISCV_SUB64: {
381 int64_t Value = support::endian::read64le(FixupPtr) -
382 E.getTarget().getAddress().getValue() - E.getAddend();
383 *(little64_t *)FixupPtr = static_cast<uint64_t>(Value);
384 break;
385 }
386 case R_RISCV_RVC_BRANCH: {
387 int64_t Value = E.getTarget().getAddress() + E.getAddend() - FixupAddress;
388 if (LLVM_UNLIKELY(!isInRangeForImm(Value >> 1, 8)))
389 return makeTargetOutOfRangeError(G, B, E);
391 return makeAlignmentError(FixupAddress, Value, 2, E);
392 uint16_t Imm8 = extractBits(Value, 8, 1) << 12;
393 uint16_t Imm4_3 = extractBits(Value, 3, 2) << 10;
394 uint16_t Imm7_6 = extractBits(Value, 6, 2) << 5;
395 uint16_t Imm2_1 = extractBits(Value, 1, 2) << 3;
396 uint16_t Imm5 = extractBits(Value, 5, 1) << 2;
397 uint16_t RawInstr = *(little16_t *)FixupPtr;
398 *(little16_t *)FixupPtr =
399 (RawInstr & 0xE383) | Imm8 | Imm4_3 | Imm7_6 | Imm2_1 | Imm5;
400 break;
401 }
402 case R_RISCV_RVC_JUMP: {
403 int64_t Value = E.getTarget().getAddress() + E.getAddend() - FixupAddress;
404 if (LLVM_UNLIKELY(!isInRangeForImm(Value >> 1, 11)))
405 return makeTargetOutOfRangeError(G, B, E);
407 return makeAlignmentError(FixupAddress, Value, 2, E);
408 uint16_t Imm11 = extractBits(Value, 11, 1) << 12;
409 uint16_t Imm4 = extractBits(Value, 4, 1) << 11;
410 uint16_t Imm9_8 = extractBits(Value, 8, 2) << 9;
411 uint16_t Imm10 = extractBits(Value, 10, 1) << 8;
412 uint16_t Imm6 = extractBits(Value, 6, 1) << 7;
413 uint16_t Imm7 = extractBits(Value, 7, 1) << 6;
414 uint16_t Imm3_1 = extractBits(Value, 1, 3) << 3;
415 uint16_t Imm5 = extractBits(Value, 5, 1) << 2;
416 uint16_t RawInstr = *(little16_t *)FixupPtr;
417 *(little16_t *)FixupPtr = (RawInstr & 0xE003) | Imm11 | Imm4 | Imm9_8 |
418 Imm10 | Imm6 | Imm7 | Imm3_1 | Imm5;
419 break;
420 }
421 case R_RISCV_SUB6: {
422 int64_t Value = *(reinterpret_cast<const uint8_t *>(FixupPtr)) & 0x3f;
423 Value -= E.getTarget().getAddress().getValue() - E.getAddend();
424 *FixupPtr = (*FixupPtr & 0xc0) | (static_cast<uint8_t>(Value) & 0x3f);
425 break;
426 }
427 case R_RISCV_SET6: {
428 int64_t Value = (E.getTarget().getAddress() + E.getAddend()).getValue();
429 uint32_t RawData = *(little32_t *)FixupPtr;
430 int64_t Word6 = Value & 0x3f;
431 *(little32_t *)FixupPtr = (RawData & 0xffffffc0) | Word6;
432 break;
433 }
434 case R_RISCV_SET8: {
435 int64_t Value = (E.getTarget().getAddress() + E.getAddend()).getValue();
436 uint32_t RawData = *(little32_t *)FixupPtr;
437 int64_t Word8 = Value & 0xff;
438 *(little32_t *)FixupPtr = (RawData & 0xffffff00) | Word8;
439 break;
440 }
441 case R_RISCV_SET16: {
442 int64_t Value = (E.getTarget().getAddress() + E.getAddend()).getValue();
443 uint32_t RawData = *(little32_t *)FixupPtr;
444 int64_t Word16 = Value & 0xffff;
445 *(little32_t *)FixupPtr = (RawData & 0xffff0000) | Word16;
446 break;
447 }
448 case R_RISCV_SET32: {
449 int64_t Value = (E.getTarget().getAddress() + E.getAddend()).getValue();
450 int64_t Word32 = Value & 0xffffffff;
451 *(little32_t *)FixupPtr = Word32;
452 break;
453 }
454 case R_RISCV_32_PCREL: {
455 int64_t Value = E.getTarget().getAddress() + E.getAddend() - FixupAddress;
456 int64_t Word32 = Value & 0xffffffff;
457 *(little32_t *)FixupPtr = Word32;
458 break;
459 }
460 case AlignRelaxable:
461 // Ignore when the relaxation pass did not run
462 break;
463 case NegDelta32: {
464 int64_t Value = FixupAddress - E.getTarget().getAddress() + E.getAddend();
466 return makeTargetOutOfRangeError(G, B, E);
467 *(little32_t *)FixupPtr = static_cast<uint32_t>(Value);
468 break;
469 }
470 }
471 return Error::success();
472 }
473};
474
475namespace {
476
477struct SymbolAnchor {
480 bool End; // true for the anchor of getOffset() + getSize()
481};
482
483struct BlockRelaxAux {
484 // This records symbol start and end offsets which will be adjusted according
485 // to the nearest RelocDeltas element.
487 // All edges that either 1) are R_RISCV_ALIGN or 2) have a R_RISCV_RELAX edge
488 // at the same offset.
490 // For RelaxEdges[I], the actual offset is RelaxEdges[I]->getOffset() - (I ?
491 // RelocDeltas[I - 1] : 0).
493 // For RelaxEdges[I], the actual type is EdgeKinds[I].
495 // List of rewritten instructions. Contains one raw encoded instruction per
496 // element in EdgeKinds that isn't Invalid or R_RISCV_ALIGN.
498};
499
500struct RelaxConfig {
501 bool IsRV32;
502 bool HasRVC;
503};
504
505struct RelaxAux {
506 RelaxConfig Config;
508};
509
510} // namespace
511
512static bool shouldRelax(const Section &S) {
514}
515
516static bool isRelaxable(const Edge &E) {
517 switch (E.getKind()) {
518 default:
519 return false;
520 case CallRelaxable:
521 case AlignRelaxable:
522 return true;
523 }
524}
525
526static RelaxAux initRelaxAux(LinkGraph &G) {
527 RelaxAux Aux;
528 Aux.Config.IsRV32 = G.getTargetTriple().isRISCV32();
529 const auto &Features = G.getFeatures().getFeatures();
530 Aux.Config.HasRVC = llvm::is_contained(Features, "+c") ||
531 llvm::is_contained(Features, "+zca");
532
533 for (auto &S : G.sections()) {
534 if (!shouldRelax(S))
535 continue;
536 for (auto *B : S.blocks()) {
537 auto BlockEmplaceResult = Aux.Blocks.try_emplace(B);
538 assert(BlockEmplaceResult.second && "Block encountered twice");
539 auto &BlockAux = BlockEmplaceResult.first->second;
540
541 for (auto &E : B->edges())
542 if (isRelaxable(E))
543 BlockAux.RelaxEdges.push_back(&E);
544
545 if (BlockAux.RelaxEdges.empty()) {
546 Aux.Blocks.erase(BlockEmplaceResult.first);
547 continue;
548 }
549
550 const auto NumEdges = BlockAux.RelaxEdges.size();
551 BlockAux.RelocDeltas.resize(NumEdges, 0);
552 BlockAux.EdgeKinds.resize_for_overwrite(NumEdges);
553
554 // Store anchors (offset and offset+size) for symbols.
555 for (auto *Sym : S.symbols()) {
556 if (!Sym->isDefined() || &Sym->getBlock() != B)
557 continue;
558
559 BlockAux.Anchors.push_back({Sym->getOffset(), Sym, false});
560 BlockAux.Anchors.push_back(
561 {Sym->getOffset() + Sym->getSize(), Sym, true});
562 }
563 }
564 }
565
566 // Sort anchors by offset so that we can find the closest relocation
567 // efficiently. For a zero size symbol, ensure that its start anchor precedes
568 // its end anchor. For two symbols with anchors at the same offset, their
569 // order does not matter.
570 for (auto &BlockAuxIter : Aux.Blocks) {
571 llvm::sort(BlockAuxIter.second.Anchors, [](auto &A, auto &B) {
572 return std::make_pair(A.Offset, A.End) < std::make_pair(B.Offset, B.End);
573 });
574 }
575
576 return Aux;
577}
578
579static void relaxAlign(orc::ExecutorAddr Loc, const Edge &E, uint32_t &Remove,
580 Edge::Kind &NewEdgeKind) {
581 // E points to the start of the padding bytes.
582 // E + Addend points to the instruction to be aligned by removing padding.
583 // Alignment is the smallest power of 2 strictly greater than Addend.
584 const auto Align = NextPowerOf2(E.getAddend());
585 const auto DestLoc = alignTo(Loc.getValue(), Align);
586 const auto SrcLoc = Loc.getValue() + E.getAddend();
587 Remove = SrcLoc - DestLoc;
588 assert(static_cast<int32_t>(Remove) >= 0 &&
589 "R_RISCV_ALIGN needs expanding the content");
590 NewEdgeKind = AlignRelaxable;
591}
592
593static void relaxCall(const Block &B, BlockRelaxAux &Aux,
594 const RelaxConfig &Config, orc::ExecutorAddr Loc,
595 const Edge &E, uint32_t &Remove,
596 Edge::Kind &NewEdgeKind) {
597 const auto JALR =
598 support::endian::read32le(B.getContent().data() + E.getOffset() + 4);
599 const auto RD = extractBits(JALR, 7, 5);
600 const auto Dest = E.getTarget().getAddress() + E.getAddend();
601 const auto Displace = Dest - Loc;
602
603 if (Config.HasRVC && isInt<12>(Displace) && RD == 0) {
604 NewEdgeKind = R_RISCV_RVC_JUMP;
605 Aux.Writes.push_back(0xa001); // c.j
606 Remove = 6;
607 } else if (Config.HasRVC && Config.IsRV32 && isInt<12>(Displace) && RD == 1) {
608 NewEdgeKind = R_RISCV_RVC_JUMP;
609 Aux.Writes.push_back(0x2001); // c.jal
610 Remove = 6;
611 } else if (isInt<21>(Displace)) {
612 NewEdgeKind = R_RISCV_JAL;
613 Aux.Writes.push_back(0x6f | RD << 7); // jal
614 Remove = 4;
615 } else {
616 // Not relaxable
617 NewEdgeKind = R_RISCV_CALL_PLT;
618 Remove = 0;
619 }
620}
621
622static bool relaxBlock(LinkGraph &G, Block &Block, BlockRelaxAux &Aux,
623 const RelaxConfig &Config) {
624 const auto BlockAddr = Block.getAddress();
625 bool Changed = false;
626 ArrayRef<SymbolAnchor> SA = ArrayRef(Aux.Anchors);
627 uint32_t Delta = 0;
628
629 Aux.EdgeKinds.assign(Aux.EdgeKinds.size(), Edge::Invalid);
630 Aux.Writes.clear();
631
632 for (auto [I, E] : llvm::enumerate(Aux.RelaxEdges)) {
633 const auto Loc = BlockAddr + E->getOffset() - Delta;
634 auto &Cur = Aux.RelocDeltas[I];
635 uint32_t Remove = 0;
636 switch (E->getKind()) {
637 case AlignRelaxable:
638 relaxAlign(Loc, *E, Remove, Aux.EdgeKinds[I]);
639 break;
640 case CallRelaxable:
641 relaxCall(Block, Aux, Config, Loc, *E, Remove, Aux.EdgeKinds[I]);
642 break;
643 default:
644 llvm_unreachable("Unexpected relaxable edge kind");
645 }
646
647 // For all anchors whose offsets are <= E->getOffset(), they are preceded by
648 // the previous relocation whose RelocDeltas value equals Delta.
649 // Decrease their offset and update their size.
650 for (; SA.size() && SA[0].Offset <= E->getOffset(); SA = SA.slice(1)) {
651 if (SA[0].End)
652 SA[0].Sym->setSize(SA[0].Offset - Delta - SA[0].Sym->getOffset());
653 else
654 SA[0].Sym->setOffset(SA[0].Offset - Delta);
655 }
656
657 Delta += Remove;
658 if (Delta != Cur) {
659 Cur = Delta;
660 Changed = true;
661 }
662 }
663
664 for (const SymbolAnchor &A : SA) {
665 if (A.End)
666 A.Sym->setSize(A.Offset - Delta - A.Sym->getOffset());
667 else
668 A.Sym->setOffset(A.Offset - Delta);
669 }
670
671 return Changed;
672}
673
674static bool relaxOnce(LinkGraph &G, RelaxAux &Aux) {
675 bool Changed = false;
676
677 for (auto &[B, BlockAux] : Aux.Blocks)
678 Changed |= relaxBlock(G, *B, BlockAux, Aux.Config);
679
680 return Changed;
681}
682
683static void finalizeBlockRelax(LinkGraph &G, Block &Block, BlockRelaxAux &Aux) {
684 auto Contents = Block.getAlreadyMutableContent();
685 auto *Dest = Contents.data();
686 auto NextWrite = Aux.Writes.begin();
687 uint32_t Offset = 0;
688 uint32_t Delta = 0;
689
690 // Update section content: remove NOPs for R_RISCV_ALIGN and rewrite
691 // instructions for relaxed relocations.
692 for (auto [I, E] : llvm::enumerate(Aux.RelaxEdges)) {
693 uint32_t Remove = Aux.RelocDeltas[I] - Delta;
694 Delta = Aux.RelocDeltas[I];
695 if (Remove == 0 && Aux.EdgeKinds[I] == Edge::Invalid)
696 continue;
697
698 // Copy from last location to the current relocated location.
699 const auto Size = E->getOffset() - Offset;
700 std::memmove(Dest, Contents.data() + Offset, Size);
701 Dest += Size;
702
703 uint32_t Skip = 0;
704 switch (Aux.EdgeKinds[I]) {
705 case Edge::Invalid:
706 break;
707 case AlignRelaxable:
708 // For R_RISCV_ALIGN, we will place Offset in a location (among NOPs) to
709 // satisfy the alignment requirement. If both Remove and E->getAddend()
710 // are multiples of 4, it is as if we have skipped some NOPs. Otherwise we
711 // are in the middle of a 4-byte NOP, and we need to rewrite the NOP
712 // sequence.
713 if (Remove % 4 || E->getAddend() % 4) {
714 Skip = E->getAddend() - Remove;
715 uint32_t J = 0;
716 for (; J + 4 <= Skip; J += 4)
717 support::endian::write32le(Dest + J, 0x00000013); // nop
718 if (J != Skip) {
719 assert(J + 2 == Skip);
720 support::endian::write16le(Dest + J, 0x0001); // c.nop
721 }
722 }
723 break;
724 case R_RISCV_RVC_JUMP:
725 Skip = 2;
726 support::endian::write16le(Dest, *NextWrite++);
727 break;
728 case R_RISCV_JAL:
729 Skip = 4;
730 support::endian::write32le(Dest, *NextWrite++);
731 break;
732 }
733
734 Dest += Skip;
735 Offset = E->getOffset() + Skip + Remove;
736 }
737
738 std::memmove(Dest, Contents.data() + Offset, Contents.size() - Offset);
739
740 // Fixup edge offsets and kinds.
741 Delta = 0;
742 size_t I = 0;
743 for (auto &E : Block.edges()) {
744 E.setOffset(E.getOffset() - Delta);
745
746 if (I < Aux.RelaxEdges.size() && Aux.RelaxEdges[I] == &E) {
747 if (Aux.EdgeKinds[I] != Edge::Invalid)
748 E.setKind(Aux.EdgeKinds[I]);
749
750 Delta = Aux.RelocDeltas[I];
751 ++I;
752 }
753 }
754
755 // Remove AlignRelaxable edges: all other relaxable edges got modified and
756 // will be used later while linking. Alignment is entirely handled here so we
757 // don't need these edges anymore.
758 for (auto IE = Block.edges().begin(); IE != Block.edges().end();) {
759 if (IE->getKind() == AlignRelaxable)
760 IE = Block.removeEdge(IE);
761 else
762 ++IE;
763 }
764}
765
766static void finalizeRelax(LinkGraph &G, RelaxAux &Aux) {
767 for (auto &[B, BlockAux] : Aux.Blocks)
768 finalizeBlockRelax(G, *B, BlockAux);
769}
770
772 auto Aux = initRelaxAux(G);
773 while (relaxOnce(G, Aux)) {
774 }
775 finalizeRelax(G, Aux);
776 return Error::success();
777}
778
779template <typename ELFT>
781private:
783 getRelocationKind(const uint32_t Type) {
784 using namespace riscv;
785 switch (Type) {
786 case ELF::R_RISCV_32:
787 return EdgeKind_riscv::R_RISCV_32;
788 case ELF::R_RISCV_64:
789 return EdgeKind_riscv::R_RISCV_64;
790 case ELF::R_RISCV_BRANCH:
791 return EdgeKind_riscv::R_RISCV_BRANCH;
792 case ELF::R_RISCV_JAL:
793 return EdgeKind_riscv::R_RISCV_JAL;
794 case ELF::R_RISCV_CALL:
795 return EdgeKind_riscv::R_RISCV_CALL;
796 case ELF::R_RISCV_CALL_PLT:
797 return EdgeKind_riscv::R_RISCV_CALL_PLT;
798 case ELF::R_RISCV_GOT_HI20:
799 return EdgeKind_riscv::R_RISCV_GOT_HI20;
800 case ELF::R_RISCV_PCREL_HI20:
801 return EdgeKind_riscv::R_RISCV_PCREL_HI20;
802 case ELF::R_RISCV_PCREL_LO12_I:
803 return EdgeKind_riscv::R_RISCV_PCREL_LO12_I;
804 case ELF::R_RISCV_PCREL_LO12_S:
805 return EdgeKind_riscv::R_RISCV_PCREL_LO12_S;
806 case ELF::R_RISCV_HI20:
807 return EdgeKind_riscv::R_RISCV_HI20;
808 case ELF::R_RISCV_LO12_I:
809 return EdgeKind_riscv::R_RISCV_LO12_I;
810 case ELF::R_RISCV_LO12_S:
811 return EdgeKind_riscv::R_RISCV_LO12_S;
812 case ELF::R_RISCV_ADD8:
813 return EdgeKind_riscv::R_RISCV_ADD8;
814 case ELF::R_RISCV_ADD16:
815 return EdgeKind_riscv::R_RISCV_ADD16;
816 case ELF::R_RISCV_ADD32:
817 return EdgeKind_riscv::R_RISCV_ADD32;
818 case ELF::R_RISCV_ADD64:
819 return EdgeKind_riscv::R_RISCV_ADD64;
820 case ELF::R_RISCV_SUB8:
821 return EdgeKind_riscv::R_RISCV_SUB8;
822 case ELF::R_RISCV_SUB16:
823 return EdgeKind_riscv::R_RISCV_SUB16;
824 case ELF::R_RISCV_SUB32:
825 return EdgeKind_riscv::R_RISCV_SUB32;
826 case ELF::R_RISCV_SUB64:
827 return EdgeKind_riscv::R_RISCV_SUB64;
828 case ELF::R_RISCV_RVC_BRANCH:
829 return EdgeKind_riscv::R_RISCV_RVC_BRANCH;
830 case ELF::R_RISCV_RVC_JUMP:
831 return EdgeKind_riscv::R_RISCV_RVC_JUMP;
832 case ELF::R_RISCV_SUB6:
833 return EdgeKind_riscv::R_RISCV_SUB6;
834 case ELF::R_RISCV_SET6:
835 return EdgeKind_riscv::R_RISCV_SET6;
836 case ELF::R_RISCV_SET8:
837 return EdgeKind_riscv::R_RISCV_SET8;
838 case ELF::R_RISCV_SET16:
839 return EdgeKind_riscv::R_RISCV_SET16;
840 case ELF::R_RISCV_SET32:
841 return EdgeKind_riscv::R_RISCV_SET32;
842 case ELF::R_RISCV_32_PCREL:
843 return EdgeKind_riscv::R_RISCV_32_PCREL;
844 case ELF::R_RISCV_ALIGN:
845 return EdgeKind_riscv::AlignRelaxable;
846 }
847
848 return make_error<JITLinkError>(
849 "Unsupported riscv relocation:" + formatv("{0:d}: ", Type) +
851 }
852
853 EdgeKind_riscv getRelaxableRelocationKind(EdgeKind_riscv Kind) {
854 switch (Kind) {
855 default:
856 // Just ignore unsupported relaxations
857 return Kind;
858 case R_RISCV_CALL:
859 case R_RISCV_CALL_PLT:
860 return CallRelaxable;
861 }
862 }
863
864 Error addRelocations() override {
865 LLVM_DEBUG(dbgs() << "Processing relocations:\n");
866
869 for (const auto &RelSect : Base::Sections)
870 if (Error Err = Base::forEachRelaRelocation(RelSect, this,
871 &Self::addSingleRelocation))
872 return Err;
873
874 return Error::success();
875 }
876
877 Error addSingleRelocation(const typename ELFT::Rela &Rel,
878 const typename ELFT::Shdr &FixupSect,
879 Block &BlockToFix) {
881
882 uint32_t Type = Rel.getType(false);
883 int64_t Addend = Rel.r_addend;
884
885 if (Type == ELF::R_RISCV_RELAX) {
886 if (BlockToFix.edges_empty())
887 return make_error<StringError>(
888 "R_RISCV_RELAX without preceding relocation",
890
891 auto &PrevEdge = *std::prev(BlockToFix.edges().end());
892 auto Kind = static_cast<EdgeKind_riscv>(PrevEdge.getKind());
893 PrevEdge.setKind(getRelaxableRelocationKind(Kind));
894 return Error::success();
895 }
896
897 Expected<riscv::EdgeKind_riscv> Kind = getRelocationKind(Type);
898 if (!Kind)
899 return Kind.takeError();
900
901 uint32_t SymbolIndex = Rel.getSymbol(false);
902 auto ObjSymbol = Base::Obj.getRelocationSymbol(Rel, Base::SymTabSec);
903 if (!ObjSymbol)
904 return ObjSymbol.takeError();
905
906 Symbol *GraphSymbol = Base::getGraphSymbol(SymbolIndex);
907 if (!GraphSymbol)
908 return make_error<StringError>(
909 formatv("Could not find symbol at given index, did you add it to "
910 "JITSymbolTable? index: {0}, shndx: {1} Size of table: {2}",
911 SymbolIndex, (*ObjSymbol)->st_shndx,
912 Base::GraphSymbols.size()),
914
915 auto FixupAddress = orc::ExecutorAddr(FixupSect.sh_addr) + Rel.r_offset;
916 Edge::OffsetT Offset = FixupAddress - BlockToFix.getAddress();
917 Edge GE(*Kind, Offset, *GraphSymbol, Addend);
918 LLVM_DEBUG({
919 dbgs() << " ";
920 printEdge(dbgs(), BlockToFix, GE, riscv::getEdgeKindName(*Kind));
921 dbgs() << "\n";
922 });
923
924 BlockToFix.addEdge(std::move(GE));
925 return Error::success();
926 }
927
928public:
931 std::shared_ptr<orc::SymbolStringPool> SSP,
932 Triple TT, SubtargetFeatures Features)
933 : ELFLinkGraphBuilder<ELFT>(Obj, std::move(SSP), std::move(TT),
934 std::move(Features), FileName,
935 riscv::getEdgeKindName) {}
936};
937
940 std::shared_ptr<orc::SymbolStringPool> SSP) {
941 LLVM_DEBUG({
942 dbgs() << "Building jitlink graph for new input "
943 << ObjectBuffer.getBufferIdentifier() << "...\n";
944 });
945
946 auto ELFObj = object::ObjectFile::createELFObjectFile(ObjectBuffer);
947 if (!ELFObj)
948 return ELFObj.takeError();
949
950 auto Features = (*ELFObj)->getFeatures();
951 if (!Features)
952 return Features.takeError();
953
954 if ((*ELFObj)->getArch() == Triple::riscv64) {
955 auto &ELFObjFile = cast<object::ELFObjectFile<object::ELF64LE>>(**ELFObj);
957 (*ELFObj)->getFileName(), ELFObjFile.getELFFile(),
958 std::move(SSP), (*ELFObj)->makeTriple(), std::move(*Features))
959 .buildGraph();
960 } else {
961 assert((*ELFObj)->getArch() == Triple::riscv32 &&
962 "Invalid triple for RISCV ELF object file");
963 auto &ELFObjFile = cast<object::ELFObjectFile<object::ELF32LE>>(**ELFObj);
965 (*ELFObj)->getFileName(), ELFObjFile.getELFFile(),
966 std::move(SSP), (*ELFObj)->makeTriple(), std::move(*Features))
967 .buildGraph();
968 }
969}
970
971void link_ELF_riscv(std::unique_ptr<LinkGraph> G,
972 std::unique_ptr<JITLinkContext> Ctx) {
974 const Triple &TT = G->getTargetTriple();
975 if (Ctx->shouldAddDefaultTargetPasses(TT)) {
976
977 Config.PrePrunePasses.push_back(DWARFRecordSectionSplitter(".eh_frame"));
978 Config.PrePrunePasses.push_back(EHFrameEdgeFixer(
979 ".eh_frame", G->getPointerSize(), Edge::Invalid, Edge::Invalid,
981 Config.PrePrunePasses.push_back(EHFrameNullTerminator(".eh_frame"));
982
983 if (auto MarkLive = Ctx->getMarkLivePass(TT))
984 Config.PrePrunePasses.push_back(std::move(MarkLive));
985 else
986 Config.PrePrunePasses.push_back(markAllSymbolsLive);
987 Config.PostPrunePasses.push_back(
988 PerGraphGOTAndPLTStubsBuilder_ELF_riscv::asPass);
989 Config.PostAllocationPasses.push_back(relax);
990 }
991 if (auto Err = Ctx->modifyPassConfig(*G, Config))
992 return Ctx->notifyFailed(std::move(Err));
993
994 ELFJITLinker_riscv::link(std::move(Ctx), std::move(G), std::move(Config));
995}
996
998
999} // namespace jitlink
1000} // namespace llvm
static GCRegistry::Add< OcamlGC > B("ocaml", "ocaml 3.10-compatible GC")
static GCRegistry::Add< ErlangGC > A("erlang", "erlang-compatible garbage collector")
static GCRegistry::Add< CoreCLRGC > E("coreclr", "CoreCLR-compatible GC")
#define LLVM_UNLIKELY(EXPR)
Definition: Compiler.h:320
#define LLVM_DEBUG(...)
Definition: Debug.h:106
uint64_t Size
bool End
Definition: ELF_riscv.cpp:480
RelaxConfig Config
Definition: ELF_riscv.cpp:506
DenseMap< Block *, BlockRelaxAux > Blocks
Definition: ELF_riscv.cpp:507
SmallVector< uint32_t, 0 > Writes
Definition: ELF_riscv.cpp:497
SmallVector< uint32_t, 0 > RelocDeltas
Definition: ELF_riscv.cpp:492
SmallVector< Edge *, 0 > RelaxEdges
Definition: ELF_riscv.cpp:489
Symbol * Sym
Definition: ELF_riscv.cpp:479
SmallVector< Edge::Kind, 0 > EdgeKinds
Definition: ELF_riscv.cpp:494
SmallVector< SymbolAnchor, 0 > Anchors
Definition: ELF_riscv.cpp:486
bool HasRVC
Definition: ELF_riscv.cpp:502
bool IsRV32
Definition: ELF_riscv.cpp:501
#define I(x, y, z)
Definition: MD5.cpp:58
#define G(x, y, z)
Definition: MD5.cpp:56
assert(ImpDefSCC.getReg()==AMDGPU::SCC &&ImpDefSCC.isDef())
ArrayRef - Represent a constant reference to an array (0 or more elements consecutively in memory),...
Definition: ArrayRef.h:41
size_t size() const
size - Get the array size.
Definition: ArrayRef.h:168
ArrayRef< T > slice(size_t N, size_t M) const
slice(n, m) - Chop off the first N elements of the array, and keep M elements in the array.
Definition: ArrayRef.h:198
iterator find(const_arg_type_t< KeyT > Val)
Definition: DenseMap.h:156
iterator end()
Definition: DenseMap.h:84
Lightweight error class with error context and mandatory checking.
Definition: Error.h:160
static ErrorSuccess success()
Create a success value.
Definition: Error.h:337
Tagged union holding either a T or a Error.
Definition: Error.h:481
StringRef getBufferIdentifier() const
T * data() const
Definition: ArrayRef.h:357
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
Definition: SmallVector.h:1196
StringRef - Represent a constant reference to a string, i.e.
Definition: StringRef.h:51
Manages the enabling and disabling of subtarget specific features.
Target - Wrapper for Target specific information.
Triple - Helper class for working with autoconf configuration names.
Definition: Triple.h:44
The instances of the Type class are immutable: once they are created, they are never changed.
Definition: Type.h:45
LLVM Value Representation.
Definition: Value.h:74
static Expected< std::unique_ptr< ObjectFile > > createELFObjectFile(MemoryBufferRef Object, bool InitContent=true)
Represents an address in the executor process.
uint64_t getValue() const
unique_function is a type-erasing functor similar to std::function.
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
@ EM_RISCV
Definition: ELF.h:318
StringRef getELFRelocationTypeName(uint32_t Machine, uint32_t Type)
Definition: ELF.cpp:24
uint64_t read64le(const void *P)
Definition: Endian.h:428
uint16_t read16le(const void *P)
Definition: Endian.h:422
void write32le(void *P, uint32_t V)
Definition: Endian.h:468
void write16le(void *P, uint16_t V)
Definition: Endian.h:465
uint32_t read32le(const void *P)
Definition: Endian.h:425
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:18
@ Low
Lower the current thread's priority such that it does not affect foreground tasks significantly.
@ Offset
Definition: DWP.cpp:480
auto enumerate(FirstRange &&First, RestRanges &&...Rest)
Given two or more input ranges, returns a new range whose values are tuples (A, B,...
Definition: STLExtras.h:2448
std::error_code inconvertibleErrorCode()
The value returned by this function can be returned from convertToErrorCode for Error values where no...
Definition: Error.cpp:98
static Error getOffset(const SymbolRef &Sym, SectionRef Sec, uint64_t &Result)
auto formatv(bool Validate, const char *Fmt, Ts &&...Vals)
void sort(IteratorTy Start, IteratorTy End)
Definition: STLExtras.h:1664
raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
Definition: Debug.cpp:163
uint64_t alignTo(uint64_t Size, Align A)
Returns a multiple of A needed to store Size bytes.
Definition: Alignment.h:155
OutputIt move(R &&Range, OutputIt Out)
Provide wrappers to std::move which take ranges instead of having to pass begin/end explicitly.
Definition: STLExtras.h:1873
bool is_contained(R &&Range, const E &Element)
Returns true if Element is found in Range.
Definition: STLExtras.h:1903
constexpr int64_t SignExtend64(uint64_t x)
Sign-extend the number in the bottom B bits of X to a 64-bit integer.
Definition: MathExtras.h:581
constexpr uint64_t NextPowerOf2(uint64_t A)
Returns the next power of two (in 64-bits) that is strictly greater than A.
Definition: MathExtras.h:382
Implement std::hash so that hash_code can be used in STL containers.
Definition: BitVector.h:858
#define N
This struct is a compact representation of a valid (non-zero power of two) alignment.
Definition: Alignment.h:39