Details | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 14 | pmbaty | 1 | //=== aarch64.h - Generic JITLink aarch64 edge kinds, utilities -*- C++ -*-===// |
| 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 | // Generic utilities for graphs representing aarch64 objects. |
||
| 10 | // |
||
| 11 | //===----------------------------------------------------------------------===// |
||
| 12 | |||
| 13 | #ifndef LLVM_EXECUTIONENGINE_JITLINK_AARCH64_H |
||
| 14 | #define LLVM_EXECUTIONENGINE_JITLINK_AARCH64_H |
||
| 15 | |||
| 16 | #include "TableManager.h" |
||
| 17 | #include "llvm/ExecutionEngine/JITLink/JITLink.h" |
||
| 18 | #include "llvm/ExecutionEngine/Orc/Shared/MemoryFlags.h" |
||
| 19 | |||
| 20 | namespace llvm { |
||
| 21 | namespace jitlink { |
||
| 22 | namespace aarch64 { |
||
| 23 | |||
| 24 | /// Represents aarch64 fixups and other aarch64-specific edge kinds. |
||
| 25 | enum EdgeKind_aarch64 : Edge::Kind { |
||
| 26 | |||
| 27 | /// A plain 64-bit pointer value relocation. |
||
| 28 | /// |
||
| 29 | /// Fixup expression: |
||
| 30 | /// Fixup <- Target + Addend : uint64 |
||
| 31 | /// |
||
| 32 | Pointer64 = Edge::FirstRelocation, |
||
| 33 | |||
| 34 | /// A plain 32-bit pointer value relocation. |
||
| 35 | /// |
||
| 36 | /// Fixup expression: |
||
| 37 | /// Fixup <- Target + Addend : uint32 |
||
| 38 | /// |
||
| 39 | /// Errors: |
||
| 40 | /// - The target must reside in the low 32-bits of the address space, |
||
| 41 | /// otherwise an out-of-range error will be returned. |
||
| 42 | /// |
||
| 43 | Pointer32, |
||
| 44 | |||
| 45 | /// A 64-bit delta. |
||
| 46 | /// |
||
| 47 | /// Delta from the fixup to the target. |
||
| 48 | /// |
||
| 49 | /// Fixup expression: |
||
| 50 | /// Fixup <- Target - Fixup + Addend : int64 |
||
| 51 | /// |
||
| 52 | Delta64, |
||
| 53 | |||
| 54 | /// A 32-bit delta. |
||
| 55 | /// |
||
| 56 | /// Delta from the fixup to the target. |
||
| 57 | /// |
||
| 58 | /// Fixup expression: |
||
| 59 | /// Fixup <- Target - Fixup + Addend : int64 |
||
| 60 | /// |
||
| 61 | /// Errors: |
||
| 62 | /// - The result of the fixup expression must fit into an int32, otherwise |
||
| 63 | /// an out-of-range error will be returned. |
||
| 64 | /// |
||
| 65 | Delta32, |
||
| 66 | |||
| 67 | /// A 64-bit negative delta. |
||
| 68 | /// |
||
| 69 | /// Delta from target back to the fixup. |
||
| 70 | /// |
||
| 71 | /// Fixup expression: |
||
| 72 | /// Fixup <- Fixup - Target + Addend : int64 |
||
| 73 | /// |
||
| 74 | NegDelta64, |
||
| 75 | |||
| 76 | /// A 32-bit negative delta. |
||
| 77 | /// |
||
| 78 | /// Delta from the target back to the fixup. |
||
| 79 | /// |
||
| 80 | /// Fixup expression: |
||
| 81 | /// Fixup <- Fixup - Target + Addend : int32 |
||
| 82 | /// |
||
| 83 | /// Errors: |
||
| 84 | /// - The result of the fixup expression must fit into an int32, otherwise |
||
| 85 | /// an out-of-range error will be returned. |
||
| 86 | NegDelta32, |
||
| 87 | |||
| 88 | /// A 26-bit PC-relative branch. |
||
| 89 | /// |
||
| 90 | /// Represents a PC-relative call or branch to a target within +/-128Mb. The |
||
| 91 | /// target must be 32-bit aligned. |
||
| 92 | /// |
||
| 93 | /// Fixup expression: |
||
| 94 | /// Fixup <- (Target - Fixup + Addend) >> 2 : int26 |
||
| 95 | /// |
||
| 96 | /// Notes: |
||
| 97 | /// The '26' in the name refers to the number operand bits and follows the |
||
| 98 | /// naming convention used by the corresponding ELF and MachO relocations. |
||
| 99 | /// Since the low two bits must be zero (because of the 32-bit alignment of |
||
| 100 | /// the target) the operand is effectively a signed 28-bit number. |
||
| 101 | /// |
||
| 102 | /// |
||
| 103 | /// Errors: |
||
| 104 | /// - The result of the unshifted part of the fixup expression must be |
||
| 105 | /// 32-bit aligned otherwise an alignment error will be returned. |
||
| 106 | /// - The result of the fixup expression must fit into an int26 otherwise an |
||
| 107 | /// out-of-range error will be returned. |
||
| 108 | Branch26PCRel, |
||
| 109 | |||
| 110 | /// A 16-bit slice of the target address (which slice depends on the |
||
| 111 | /// instruction at the fixup location). |
||
| 112 | /// |
||
| 113 | /// Used to fix up MOVK/MOVN/MOVZ instructions. |
||
| 114 | /// |
||
| 115 | /// Fixup expression: |
||
| 116 | /// |
||
| 117 | /// Fixup <- (Target + Addend) >> Shift : uint16 |
||
| 118 | /// |
||
| 119 | /// where Shift is encoded in the instruction at the fixup location. |
||
| 120 | /// |
||
| 121 | MoveWide16, |
||
| 122 | |||
| 123 | /// The signed 21-bit delta from the fixup to the target. |
||
| 124 | /// |
||
| 125 | /// Typically used to load a pointers at a PC-relative offset of +/- 1Mb. The |
||
| 126 | /// target must be 32-bit aligned. |
||
| 127 | /// |
||
| 128 | /// Fixup expression: |
||
| 129 | /// |
||
| 130 | /// Fixup <- (Target - Fixup) >> 2 : int19 |
||
| 131 | /// |
||
| 132 | /// Errors: |
||
| 133 | /// - The result of the unshifted part of the fixup expression must be |
||
| 134 | /// 32-bit aligned otherwise an alignment error will be returned. |
||
| 135 | /// - The result of the fixup expression must fit into an an int19 or an |
||
| 136 | /// out-of-range error will be returned. |
||
| 137 | LDRLiteral19, |
||
| 138 | |||
| 139 | /// The signed 21-bit delta from the fixup page to the page containing the |
||
| 140 | /// target. |
||
| 141 | /// |
||
| 142 | /// Fixup expression: |
||
| 143 | /// |
||
| 144 | /// Fixup <- (((Target + Addend) & ~0xfff) - (Fixup & ~0xfff)) >> 12 : int21 |
||
| 145 | /// |
||
| 146 | /// Notes: |
||
| 147 | /// For ADRP fixups. |
||
| 148 | /// |
||
| 149 | /// Errors: |
||
| 150 | /// - The result of the fixup expression must fit into an int21 otherwise an |
||
| 151 | /// out-of-range error will be returned. |
||
| 152 | Page21, |
||
| 153 | |||
| 154 | /// The 12-bit (potentially shifted) offset of the target within its page. |
||
| 155 | /// |
||
| 156 | /// Typically used to fix up LDR immediates. |
||
| 157 | /// |
||
| 158 | /// Fixup expression: |
||
| 159 | /// |
||
| 160 | /// Fixup <- ((Target + Addend) >> Shift) & 0xfff : uint12 |
||
| 161 | /// |
||
| 162 | /// where Shift is encoded in the size field of the instruction. |
||
| 163 | /// |
||
| 164 | /// Errors: |
||
| 165 | /// - The result of the unshifted part of the fixup expression must be |
||
| 166 | /// aligned otherwise an alignment error will be returned. |
||
| 167 | /// - The result of the fixup expression must fit into a uint12 otherwise an |
||
| 168 | /// out-of-range error will be returned. |
||
| 169 | PageOffset12, |
||
| 170 | |||
| 171 | /// A GOT entry getter/constructor, transformed to Page21 pointing at the GOT |
||
| 172 | /// entry for the original target. |
||
| 173 | /// |
||
| 174 | /// Indicates that this edge should be transformed into a Page21 targeting |
||
| 175 | /// the GOT entry for the edge's current target, maintaining the same addend. |
||
| 176 | /// A GOT entry for the target should be created if one does not already |
||
| 177 | /// exist. |
||
| 178 | /// |
||
| 179 | /// Edges of this kind are usually handled by a GOT builder pass inserted by |
||
| 180 | /// default. |
||
| 181 | /// |
||
| 182 | /// Fixup expression: |
||
| 183 | /// NONE |
||
| 184 | /// |
||
| 185 | /// Errors: |
||
| 186 | /// - *ASSERTION* Failure to handle edges of this kind prior to the fixup |
||
| 187 | /// phase will result in an assert/unreachable during the fixup phase. |
||
| 188 | /// |
||
| 189 | RequestGOTAndTransformToPage21, |
||
| 190 | |||
| 191 | /// A GOT entry getter/constructor, transformed to Pageoffset12 pointing at |
||
| 192 | /// the GOT entry for the original target. |
||
| 193 | /// |
||
| 194 | /// Indicates that this edge should be transformed into a PageOffset12 |
||
| 195 | /// targeting the GOT entry for the edge's current target, maintaining the |
||
| 196 | /// same addend. A GOT entry for the target should be created if one does not |
||
| 197 | /// already exist. |
||
| 198 | /// |
||
| 199 | /// Edges of this kind are usually handled by a GOT builder pass inserted by |
||
| 200 | /// default. |
||
| 201 | /// |
||
| 202 | /// Fixup expression: |
||
| 203 | /// NONE |
||
| 204 | /// |
||
| 205 | /// Errors: |
||
| 206 | /// - *ASSERTION* Failure to handle edges of this kind prior to the fixup |
||
| 207 | /// phase will result in an assert/unreachable during the fixup phase. |
||
| 208 | /// |
||
| 209 | RequestGOTAndTransformToPageOffset12, |
||
| 210 | |||
| 211 | /// A GOT entry getter/constructor, transformed to Delta32 pointing at the GOT |
||
| 212 | /// entry for the original target. |
||
| 213 | /// |
||
| 214 | /// Indicates that this edge should be transformed into a Delta32/ targeting |
||
| 215 | /// the GOT entry for the edge's current target, maintaining the same addend. |
||
| 216 | /// A GOT entry for the target should be created if one does not already |
||
| 217 | /// exist. |
||
| 218 | /// |
||
| 219 | /// Edges of this kind are usually handled by a GOT builder pass inserted by |
||
| 220 | /// default. |
||
| 221 | /// |
||
| 222 | /// Fixup expression: |
||
| 223 | /// NONE |
||
| 224 | /// |
||
| 225 | /// Errors: |
||
| 226 | /// - *ASSERTION* Failure to handle edges of this kind prior to the fixup |
||
| 227 | /// phase will result in an assert/unreachable during the fixup phase. |
||
| 228 | /// |
||
| 229 | RequestGOTAndTransformToDelta32, |
||
| 230 | |||
| 231 | /// A TLVP entry getter/constructor, transformed to Page21. |
||
| 232 | /// |
||
| 233 | /// Indicates that this edge should be transformed into a Page21 targeting the |
||
| 234 | /// TLVP entry for the edge's current target. A TLVP entry for the target |
||
| 235 | /// should be created if one does not already exist. |
||
| 236 | /// |
||
| 237 | /// Fixup expression: |
||
| 238 | /// NONE |
||
| 239 | /// |
||
| 240 | /// Errors: |
||
| 241 | /// - *ASSERTION* Failure to handle edges of this kind prior to the fixup |
||
| 242 | /// phase will result in an assert/unreachable during the fixup phase. |
||
| 243 | /// |
||
| 244 | RequestTLVPAndTransformToPage21, |
||
| 245 | |||
| 246 | /// A TLVP entry getter/constructor, transformed to PageOffset12. |
||
| 247 | /// |
||
| 248 | /// Indicates that this edge should be transformed into a PageOffset12 |
||
| 249 | /// targeting the TLVP entry for the edge's current target. A TLVP entry for |
||
| 250 | /// the target should be created if one does not already exist. |
||
| 251 | /// |
||
| 252 | /// Fixup expression: |
||
| 253 | /// NONE |
||
| 254 | /// |
||
| 255 | /// Errors: |
||
| 256 | /// - *ASSERTION* Failure to handle edges of this kind prior to the fixup |
||
| 257 | /// phase will result in an assert/unreachable during the fixup phase. |
||
| 258 | /// |
||
| 259 | RequestTLVPAndTransformToPageOffset12, |
||
| 260 | |||
| 261 | /// A TLSDesc entry getter/constructor, transformed to Page21. |
||
| 262 | /// |
||
| 263 | /// Indicates that this edge should be transformed into a Page21 targeting the |
||
| 264 | /// TLSDesc entry for the edge's current target. A TLSDesc entry for the |
||
| 265 | /// target should be created if one does not already exist. |
||
| 266 | /// |
||
| 267 | /// Fixup expression: |
||
| 268 | /// NONE |
||
| 269 | /// |
||
| 270 | /// Errors: |
||
| 271 | /// - *ASSERTION* Failure to handle edges of this kind prior to the fixup |
||
| 272 | /// phase will result in an assert/unreachable during the fixup phase. |
||
| 273 | /// |
||
| 274 | RequestTLSDescEntryAndTransformToPage21, |
||
| 275 | |||
| 276 | /// A TLSDesc entry getter/constructor, transformed to PageOffset12. |
||
| 277 | /// |
||
| 278 | /// Indicates that this edge should be transformed into a PageOffset12 |
||
| 279 | /// targeting the TLSDesc entry for the edge's current target. A TLSDesc entry |
||
| 280 | /// for the target should be created if one does not already exist. |
||
| 281 | /// |
||
| 282 | /// Fixup expression: |
||
| 283 | /// NONE |
||
| 284 | /// |
||
| 285 | /// Errors: |
||
| 286 | /// - *ASSERTION* Failure to handle edges of this kind prior to the fixup |
||
| 287 | /// phase will result in an assert/unreachable during the fixup phase. |
||
| 288 | /// |
||
| 289 | RequestTLSDescEntryAndTransformToPageOffset12, |
||
| 290 | }; |
||
| 291 | |||
| 292 | /// Returns a string name for the given aarch64 edge. For debugging purposes |
||
| 293 | /// only |
||
| 294 | const char *getEdgeKindName(Edge::Kind K); |
||
| 295 | |||
| 296 | // Returns whether the Instr is LD/ST (imm12) |
||
| 297 | inline bool isLoadStoreImm12(uint32_t Instr) { |
||
| 298 | constexpr uint32_t LoadStoreImm12Mask = 0x3b000000; |
||
| 299 | return (Instr & LoadStoreImm12Mask) == 0x39000000; |
||
| 300 | } |
||
| 301 | |||
| 302 | // Returns the amount the address operand of LD/ST (imm12) |
||
| 303 | // should be shifted right by. |
||
| 304 | // |
||
| 305 | // The shift value varies by the data size of LD/ST instruction. |
||
| 306 | // For instance, LDH instructoin needs the address to be shifted |
||
| 307 | // right by 1. |
||
| 308 | inline unsigned getPageOffset12Shift(uint32_t Instr) { |
||
| 309 | constexpr uint32_t Vec128Mask = 0x04800000; |
||
| 310 | |||
| 311 | if (isLoadStoreImm12(Instr)) { |
||
| 312 | uint32_t ImplicitShift = Instr >> 30; |
||
| 313 | if (ImplicitShift == 0) |
||
| 314 | if ((Instr & Vec128Mask) == Vec128Mask) |
||
| 315 | ImplicitShift = 4; |
||
| 316 | |||
| 317 | return ImplicitShift; |
||
| 318 | } |
||
| 319 | |||
| 320 | return 0; |
||
| 321 | } |
||
| 322 | |||
| 323 | // Returns whether the Instr is MOVK/MOVZ (imm16) with a zero immediate field |
||
| 324 | inline bool isMoveWideImm16(uint32_t Instr) { |
||
| 325 | constexpr uint32_t MoveWideImm16Mask = 0x5f9fffe0; |
||
| 326 | return (Instr & MoveWideImm16Mask) == 0x52800000; |
||
| 327 | } |
||
| 328 | |||
| 329 | // Returns the amount the address operand of MOVK/MOVZ (imm16) |
||
| 330 | // should be shifted right by. |
||
| 331 | // |
||
| 332 | // The shift value is specfied in the assembly as LSL #<shift>. |
||
| 333 | inline unsigned getMoveWide16Shift(uint32_t Instr) { |
||
| 334 | if (isMoveWideImm16(Instr)) { |
||
| 335 | uint32_t ImplicitShift = (Instr >> 21) & 0b11; |
||
| 336 | return ImplicitShift << 4; |
||
| 337 | } |
||
| 338 | |||
| 339 | return 0; |
||
| 340 | } |
||
| 341 | |||
| 342 | /// Apply fixup expression for edge to block content. |
||
| 343 | inline Error applyFixup(LinkGraph &G, Block &B, const Edge &E) { |
||
| 344 | using namespace support; |
||
| 345 | |||
| 346 | char *BlockWorkingMem = B.getAlreadyMutableContent().data(); |
||
| 347 | char *FixupPtr = BlockWorkingMem + E.getOffset(); |
||
| 348 | orc::ExecutorAddr FixupAddress = B.getAddress() + E.getOffset(); |
||
| 349 | |||
| 350 | switch (E.getKind()) { |
||
| 351 | case Pointer64: { |
||
| 352 | uint64_t Value = E.getTarget().getAddress().getValue() + E.getAddend(); |
||
| 353 | *(ulittle64_t *)FixupPtr = Value; |
||
| 354 | break; |
||
| 355 | } |
||
| 356 | case Pointer32: { |
||
| 357 | uint64_t Value = E.getTarget().getAddress().getValue() + E.getAddend(); |
||
| 358 | if (Value > std::numeric_limits<uint32_t>::max()) |
||
| 359 | return makeTargetOutOfRangeError(G, B, E); |
||
| 360 | *(ulittle32_t *)FixupPtr = Value; |
||
| 361 | break; |
||
| 362 | } |
||
| 363 | case Delta32: |
||
| 364 | case Delta64: |
||
| 365 | case NegDelta32: |
||
| 366 | case NegDelta64: { |
||
| 367 | int64_t Value; |
||
| 368 | if (E.getKind() == Delta32 || E.getKind() == Delta64) |
||
| 369 | Value = E.getTarget().getAddress() - FixupAddress + E.getAddend(); |
||
| 370 | else |
||
| 371 | Value = FixupAddress - E.getTarget().getAddress() + E.getAddend(); |
||
| 372 | |||
| 373 | if (E.getKind() == Delta32 || E.getKind() == NegDelta32) { |
||
| 374 | if (Value < std::numeric_limits<int32_t>::min() || |
||
| 375 | Value > std::numeric_limits<int32_t>::max()) |
||
| 376 | return makeTargetOutOfRangeError(G, B, E); |
||
| 377 | *(little32_t *)FixupPtr = Value; |
||
| 378 | } else |
||
| 379 | *(little64_t *)FixupPtr = Value; |
||
| 380 | break; |
||
| 381 | } |
||
| 382 | case Branch26PCRel: { |
||
| 383 | assert((FixupAddress.getValue() & 0x3) == 0 && |
||
| 384 | "Branch-inst is not 32-bit aligned"); |
||
| 385 | |||
| 386 | int64_t Value = E.getTarget().getAddress() - FixupAddress + E.getAddend(); |
||
| 387 | |||
| 388 | if (static_cast<uint64_t>(Value) & 0x3) |
||
| 389 | return make_error<JITLinkError>("BranchPCRel26 target is not 32-bit " |
||
| 390 | "aligned"); |
||
| 391 | |||
| 392 | if (Value < -(1 << 27) || Value > ((1 << 27) - 1)) |
||
| 393 | return makeTargetOutOfRangeError(G, B, E); |
||
| 394 | |||
| 395 | uint32_t RawInstr = *(little32_t *)FixupPtr; |
||
| 396 | assert((RawInstr & 0x7fffffff) == 0x14000000 && |
||
| 397 | "RawInstr isn't a B or BR immediate instruction"); |
||
| 398 | uint32_t Imm = (static_cast<uint32_t>(Value) & ((1 << 28) - 1)) >> 2; |
||
| 399 | uint32_t FixedInstr = RawInstr | Imm; |
||
| 400 | *(little32_t *)FixupPtr = FixedInstr; |
||
| 401 | break; |
||
| 402 | } |
||
| 403 | case MoveWide16: { |
||
| 404 | uint64_t TargetOffset = |
||
| 405 | (E.getTarget().getAddress() + E.getAddend()).getValue(); |
||
| 406 | |||
| 407 | uint32_t RawInstr = *(ulittle32_t *)FixupPtr; |
||
| 408 | assert(isMoveWideImm16(RawInstr) && |
||
| 409 | "RawInstr isn't a MOVK/MOVZ instruction"); |
||
| 410 | |||
| 411 | unsigned ImmShift = getMoveWide16Shift(RawInstr); |
||
| 412 | uint32_t Imm = (TargetOffset >> ImmShift) & 0xffff; |
||
| 413 | uint32_t FixedInstr = RawInstr | (Imm << 5); |
||
| 414 | *(ulittle32_t *)FixupPtr = FixedInstr; |
||
| 415 | break; |
||
| 416 | } |
||
| 417 | case LDRLiteral19: { |
||
| 418 | assert((FixupAddress.getValue() & 0x3) == 0 && "LDR is not 32-bit aligned"); |
||
| 419 | assert(E.getAddend() == 0 && "LDRLiteral19 with non-zero addend"); |
||
| 420 | uint32_t RawInstr = *(ulittle32_t *)FixupPtr; |
||
| 421 | assert(RawInstr == 0x58000010 && "RawInstr isn't a 64-bit LDR literal"); |
||
| 422 | int64_t Delta = E.getTarget().getAddress() - FixupAddress; |
||
| 423 | if (Delta & 0x3) |
||
| 424 | return make_error<JITLinkError>("LDR literal target is not 32-bit " |
||
| 425 | "aligned"); |
||
| 426 | if (Delta < -(1 << 20) || Delta > ((1 << 20) - 1)) |
||
| 427 | return makeTargetOutOfRangeError(G, B, E); |
||
| 428 | |||
| 429 | uint32_t EncodedImm = ((static_cast<uint32_t>(Delta) >> 2) & 0x7ffff) << 5; |
||
| 430 | uint32_t FixedInstr = RawInstr | EncodedImm; |
||
| 431 | *(ulittle32_t *)FixupPtr = FixedInstr; |
||
| 432 | break; |
||
| 433 | } |
||
| 434 | case Page21: { |
||
| 435 | uint64_t TargetPage = |
||
| 436 | (E.getTarget().getAddress().getValue() + E.getAddend()) & |
||
| 437 | ~static_cast<uint64_t>(4096 - 1); |
||
| 438 | uint64_t PCPage = |
||
| 439 | FixupAddress.getValue() & ~static_cast<uint64_t>(4096 - 1); |
||
| 440 | |||
| 441 | int64_t PageDelta = TargetPage - PCPage; |
||
| 442 | if (!isInt<33>(PageDelta)) |
||
| 443 | return makeTargetOutOfRangeError(G, B, E); |
||
| 444 | |||
| 445 | uint32_t RawInstr = *(ulittle32_t *)FixupPtr; |
||
| 446 | assert((RawInstr & 0xffffffe0) == 0x90000000 && |
||
| 447 | "RawInstr isn't an ADRP instruction"); |
||
| 448 | uint32_t ImmLo = (static_cast<uint64_t>(PageDelta) >> 12) & 0x3; |
||
| 449 | uint32_t ImmHi = (static_cast<uint64_t>(PageDelta) >> 14) & 0x7ffff; |
||
| 450 | uint32_t FixedInstr = RawInstr | (ImmLo << 29) | (ImmHi << 5); |
||
| 451 | *(ulittle32_t *)FixupPtr = FixedInstr; |
||
| 452 | break; |
||
| 453 | } |
||
| 454 | case PageOffset12: { |
||
| 455 | uint64_t TargetOffset = |
||
| 456 | (E.getTarget().getAddress() + E.getAddend()).getValue() & 0xfff; |
||
| 457 | |||
| 458 | uint32_t RawInstr = *(ulittle32_t *)FixupPtr; |
||
| 459 | unsigned ImmShift = getPageOffset12Shift(RawInstr); |
||
| 460 | |||
| 461 | if (TargetOffset & ((1 << ImmShift) - 1)) |
||
| 462 | return make_error<JITLinkError>("PAGEOFF12 target is not aligned"); |
||
| 463 | |||
| 464 | uint32_t EncodedImm = (TargetOffset >> ImmShift) << 10; |
||
| 465 | uint32_t FixedInstr = RawInstr | EncodedImm; |
||
| 466 | *(ulittle32_t *)FixupPtr = FixedInstr; |
||
| 467 | break; |
||
| 468 | } |
||
| 469 | default: |
||
| 470 | return make_error<JITLinkError>( |
||
| 471 | "In graph " + G.getName() + ", section " + B.getSection().getName() + |
||
| 472 | " unsupported edge kind " + getEdgeKindName(E.getKind())); |
||
| 473 | } |
||
| 474 | |||
| 475 | return Error::success(); |
||
| 476 | } |
||
| 477 | |||
| 478 | /// aarch64 pointer size. |
||
| 479 | constexpr uint64_t PointerSize = 8; |
||
| 480 | |||
| 481 | /// AArch64 null pointer content. |
||
| 482 | extern const char NullPointerContent[PointerSize]; |
||
| 483 | |||
| 484 | /// AArch64 pointer jump stub content. |
||
| 485 | /// |
||
| 486 | /// Contains the instruction sequence for an indirect jump via an in-memory |
||
| 487 | /// pointer: |
||
| 488 | /// ADRP x16, ptr@page21 |
||
| 489 | /// LDR x16, [x16, ptr@pageoff12] |
||
| 490 | /// BR x16 |
||
| 491 | extern const char PointerJumpStubContent[12]; |
||
| 492 | |||
| 493 | /// Creates a new pointer block in the given section and returns an |
||
| 494 | /// Anonymous symobl pointing to it. |
||
| 495 | /// |
||
| 496 | /// If InitialTarget is given then an Pointer64 relocation will be added to the |
||
| 497 | /// block pointing at InitialTarget. |
||
| 498 | /// |
||
| 499 | /// The pointer block will have the following default values: |
||
| 500 | /// alignment: 64-bit |
||
| 501 | /// alignment-offset: 0 |
||
| 502 | /// address: highest allowable (~7U) |
||
| 503 | inline Symbol &createAnonymousPointer(LinkGraph &G, Section &PointerSection, |
||
| 504 | Symbol *InitialTarget = nullptr, |
||
| 505 | uint64_t InitialAddend = 0) { |
||
| 506 | auto &B = G.createContentBlock(PointerSection, NullPointerContent, |
||
| 507 | orc::ExecutorAddr(~uint64_t(7)), 8, 0); |
||
| 508 | if (InitialTarget) |
||
| 509 | B.addEdge(Pointer64, 0, *InitialTarget, InitialAddend); |
||
| 510 | return G.addAnonymousSymbol(B, 0, 8, false, false); |
||
| 511 | } |
||
| 512 | |||
| 513 | /// Create a jump stub block that jumps via the pointer at the given symbol. |
||
| 514 | /// |
||
| 515 | /// The stub block will have the following default values: |
||
| 516 | /// alignment: 32-bit |
||
| 517 | /// alignment-offset: 0 |
||
| 518 | /// address: highest allowable: (~11U) |
||
| 519 | inline Block &createPointerJumpStubBlock(LinkGraph &G, Section &StubSection, |
||
| 520 | Symbol &PointerSymbol) { |
||
| 521 | auto &B = G.createContentBlock(StubSection, PointerJumpStubContent, |
||
| 522 | orc::ExecutorAddr(~uint64_t(11)), 1, 0); |
||
| 523 | B.addEdge(Page21, 0, PointerSymbol, 0); |
||
| 524 | B.addEdge(PageOffset12, 4, PointerSymbol, 0); |
||
| 525 | return B; |
||
| 526 | } |
||
| 527 | |||
| 528 | /// Create a jump stub that jumps via the pointer at the given symbol and |
||
| 529 | /// an anonymous symbol pointing to it. Return the anonymous symbol. |
||
| 530 | /// |
||
| 531 | /// The stub block will be created by createPointerJumpStubBlock. |
||
| 532 | inline Symbol &createAnonymousPointerJumpStub(LinkGraph &G, |
||
| 533 | Section &StubSection, |
||
| 534 | Symbol &PointerSymbol) { |
||
| 535 | return G.addAnonymousSymbol( |
||
| 536 | createPointerJumpStubBlock(G, StubSection, PointerSymbol), 0, |
||
| 537 | sizeof(PointerJumpStubContent), true, false); |
||
| 538 | } |
||
| 539 | |||
| 540 | /// Global Offset Table Builder. |
||
| 541 | class GOTTableManager : public TableManager<GOTTableManager> { |
||
| 542 | public: |
||
| 543 | static StringRef getSectionName() { return "$__GOT"; } |
||
| 544 | |||
| 545 | bool visitEdge(LinkGraph &G, Block *B, Edge &E) { |
||
| 546 | Edge::Kind KindToSet = Edge::Invalid; |
||
| 547 | const char *BlockWorkingMem = B->getContent().data(); |
||
| 548 | const char *FixupPtr = BlockWorkingMem + E.getOffset(); |
||
| 549 | |||
| 550 | switch (E.getKind()) { |
||
| 551 | case aarch64::RequestGOTAndTransformToPage21: |
||
| 552 | case aarch64::RequestTLVPAndTransformToPage21: { |
||
| 553 | KindToSet = aarch64::Page21; |
||
| 554 | break; |
||
| 555 | } |
||
| 556 | case aarch64::RequestGOTAndTransformToPageOffset12: |
||
| 557 | case aarch64::RequestTLVPAndTransformToPageOffset12: { |
||
| 558 | KindToSet = aarch64::PageOffset12; |
||
| 559 | uint32_t RawInstr = *(const support::ulittle32_t *)FixupPtr; |
||
| 560 | (void)RawInstr; |
||
| 561 | assert(E.getAddend() == 0 && |
||
| 562 | "GOTPageOffset12/TLVPageOffset12 with non-zero addend"); |
||
| 563 | assert((RawInstr & 0xfffffc00) == 0xf9400000 && |
||
| 564 | "RawInstr isn't a 64-bit LDR immediate"); |
||
| 565 | break; |
||
| 566 | } |
||
| 567 | case aarch64::RequestGOTAndTransformToDelta32: { |
||
| 568 | KindToSet = aarch64::Delta32; |
||
| 569 | break; |
||
| 570 | } |
||
| 571 | default: |
||
| 572 | return false; |
||
| 573 | } |
||
| 574 | assert(KindToSet != Edge::Invalid && |
||
| 575 | "Fell through switch, but no new kind to set"); |
||
| 576 | DEBUG_WITH_TYPE("jitlink", { |
||
| 577 | dbgs() << " Fixing " << G.getEdgeKindName(E.getKind()) << " edge at " |
||
| 578 | << B->getFixupAddress(E) << " (" << B->getAddress() << " + " |
||
| 579 | << formatv("{0:x}", E.getOffset()) << ")\n"; |
||
| 580 | }); |
||
| 581 | E.setKind(KindToSet); |
||
| 582 | E.setTarget(getEntryForTarget(G, E.getTarget())); |
||
| 583 | return true; |
||
| 584 | } |
||
| 585 | |||
| 586 | Symbol &createEntry(LinkGraph &G, Symbol &Target) { |
||
| 587 | return createAnonymousPointer(G, getGOTSection(G), &Target); |
||
| 588 | } |
||
| 589 | |||
| 590 | private: |
||
| 591 | Section &getGOTSection(LinkGraph &G) { |
||
| 592 | if (!GOTSection) |
||
| 593 | GOTSection = &G.createSection(getSectionName(), |
||
| 594 | orc::MemProt::Read | orc::MemProt::Exec); |
||
| 595 | return *GOTSection; |
||
| 596 | } |
||
| 597 | |||
| 598 | Section *GOTSection = nullptr; |
||
| 599 | }; |
||
| 600 | |||
| 601 | /// Procedure Linkage Table Builder. |
||
| 602 | class PLTTableManager : public TableManager<PLTTableManager> { |
||
| 603 | public: |
||
| 604 | PLTTableManager(GOTTableManager &GOT) : GOT(GOT) {} |
||
| 605 | |||
| 606 | static StringRef getSectionName() { return "$__STUBS"; } |
||
| 607 | |||
| 608 | bool visitEdge(LinkGraph &G, Block *B, Edge &E) { |
||
| 609 | if (E.getKind() == aarch64::Branch26PCRel && !E.getTarget().isDefined()) { |
||
| 610 | DEBUG_WITH_TYPE("jitlink", { |
||
| 611 | dbgs() << " Fixing " << G.getEdgeKindName(E.getKind()) << " edge at " |
||
| 612 | << B->getFixupAddress(E) << " (" << B->getAddress() << " + " |
||
| 613 | << formatv("{0:x}", E.getOffset()) << ")\n"; |
||
| 614 | }); |
||
| 615 | E.setTarget(getEntryForTarget(G, E.getTarget())); |
||
| 616 | return true; |
||
| 617 | } |
||
| 618 | return false; |
||
| 619 | } |
||
| 620 | |||
| 621 | Symbol &createEntry(LinkGraph &G, Symbol &Target) { |
||
| 622 | return createAnonymousPointerJumpStub(G, getStubsSection(G), |
||
| 623 | GOT.getEntryForTarget(G, Target)); |
||
| 624 | } |
||
| 625 | |||
| 626 | public: |
||
| 627 | Section &getStubsSection(LinkGraph &G) { |
||
| 628 | if (!StubsSection) |
||
| 629 | StubsSection = &G.createSection(getSectionName(), |
||
| 630 | orc::MemProt::Read | orc::MemProt::Exec); |
||
| 631 | return *StubsSection; |
||
| 632 | } |
||
| 633 | |||
| 634 | GOTTableManager &GOT; |
||
| 635 | Section *StubsSection = nullptr; |
||
| 636 | }; |
||
| 637 | |||
| 638 | } // namespace aarch64 |
||
| 639 | } // namespace jitlink |
||
| 640 | } // namespace llvm |
||
| 641 | |||
| 642 | #endif // LLVM_EXECUTIONENGINE_JITLINK_AARCH64_H |