LLVM  13.0.0git

Enumerations

enum  EdgeKind_x86_64 : Edge::Kind {
Pointer64 = Edge::FirstRelocation, Pointer32, Delta64, Delta32,
NegDelta64, NegDelta32, BranchPCRel32, BranchPCRel32ToPtrJumpStub,
}
Represents x86-64 fixups and other x86-64-specific edge kinds. More...

Functions

const char * getEdgeKindName (Edge::Kind K)
Returns a string name for the given x86-64 edge. More...

bool isInRangeForImmU32 (uint64_t Value)
Returns true if the given uint64_t value is in range for a uint32_t. More...

bool isInRangeForImmS32 (int64_t Value)
Returns true if the given int64_t value is in range for an int32_t. More...

Error applyFixup (LinkGraph &G, Block &B, const Edge &E, char *BlockWorkingMem)
Apply fixup expression for edge to block content. More...

Creates a new pointer block in the given section and returns an anonymous symbol pointing to it. More...

SymbolcreateAnonymousPointerJumpStub (LinkGraph &G, Section &StubSection, Symbol &PointerSymbol)
Create a jump stub that jumps via the pointer at the given symbol, returns an anonymous symbol pointing to it. More...

Variables

const char NullPointerContent [8]
x86-64 null pointer content. More...

const char PointerJumpStubContent [6]
x86-64 pointer jump stub content. More...

◆ EdgeKind_x86_64

Represents x86-64 fixups and other x86-64-specific edge kinds.

Enumerator
Pointer64

A plain 64-bit pointer value relocation.

Fixup expression: Fixup <- Target + Addend : uint64

Pointer32

A plain 32-bit pointer value relocation.

Fixup expression: Fixup <- Target + Addend : uint32

Errors:

• The target must reside in the low 32-bits of the address space, otherwise an out-of-range error will be returned.
Delta64

A 64-bit delta.

Delta from the fixup to the target.

Fixup expression: Fixup <- Target - Fixup + Addend : int64

Delta32

A 32-bit delta.

Delta from the fixup to the target.

Fixup expression: Fixup <- Target - Fixup + Addend : int64

Errors:

• The result of the fixup expression must fit into an int32, otherwise an out-of-range error will be returned.
NegDelta64

A 64-bit negative delta.

Delta from target back to the fixup.

Fixup expression: Fixup <- Fixup - Target + Addend : int64

NegDelta32

A 32-bit negative delta.

Delta from the target back to the fixup.

Fixup expression: Fixup <- Fixup - Target + Addend : int32

Errors:

• The result of the fixup expression must fit into an int32, otherwise an out-of-range error will be returned.
BranchPCRel32

A 32-bit PC-relative branch.

Represents a PC-relative call or branch to a target. This can be used to identify, record, and/or patch call sites.

The fixup expression for this kind includes an implicit offset to account for the PC (unlike the Delta edges) so that a Branch32PCRel with a target T and addend zero is a call/branch to the start (offset zero) of T.

Fixup expression: Fixup <- Target - (Fixup + 4) + Addend : int32

Errors:

• The result of the fixup expression must fit into an int32, otherwise an out-of-range error will be returned.
BranchPCRel32ToPtrJumpStub

A 32-bit PC-relative branch to a pointer jump stub.

The target of this relocation should be a pointer jump stub of the form:

.text
jmpq *tgtptr(%rip)
; ...
.data
tgtptr:

This edge kind has the same fixup expression as BranchPCRel32, but further identifies the call/branch as being to a pointer jump stub. For edges of this kind the jump stub should not be bypassed (use BranchPCRel32ToPtrJumpStubRelaxable for that), but the pointer location target may be recorded to allow manipulation at runtime.

Fixup expression: Fixup <- Target - Fixup + Addend - 4 : int32

Errors:

• The result of the fixup expression must fit into an int32, otherwise an out-of-range error will be returned.
BranchPCRel32ToPtrJumpStubRelaxable

A relaxable version of BranchPCRel32ToPtrJumpStub.

The edge kind has the same fixup expression as BranchPCRel32ToPtrJumpStub, but identifies the call/branch as being to a pointer jump stub that may be bypassed if the ultimate target is within range of the fixup location.

Fixup expression: Fixup <- Target - Fixup + Addend - 4: int32

Errors:

• The result of the fixup expression must fit into an int32, otherwise an out-of-range error will be returned.
RequestGOTAndTransformToDelta32

A GOT entry getter/constructor, transformed to Delta32 pointing at the GOT entry for the original target.

Indicates that this edge should be transformed into a Delta32 targeting the GOT entry for the edge's current target, maintaining the same addend. A GOT entry for the target should be created if one does not already exist.

Edges of this kind are usually handled by a GOT builder pass inserted by default.

Fixup expression: NONE

Errors:

• ASSERTION Failure to handle edges of this kind prior to the fixup phase will result in an assert/unreachable during the fixup phase.

A PC-relative reference to a GOT entry, relaxable if GOT entry target is in-range of the fixup.

If the GOT entry target is in-range of the fixup then the load from the GOT may be replaced with a direct memory address calculation.

Fixup expression: Fixup <- Target - (Fixup + 4) + Addend : int32

Errors:

• The result of the fixup expression must fit into an int32, otherwise an out-of-range error will be returned.

A GOT entry getter/constructor, transformed to PCRel32ToGOTLoadRelaxable pointing at the GOT entry for the original target.

Indicates that this edge should be transformed into a PC32ToGOTLoadRelaxable targeting the GOT entry for the edge's current target, maintaining the same addend. A GOT entry for the target should be created if one does not already exist.

Edges of this kind are usually handled by a GOT builder pass inserted by default.

Fixup expression: NONE

Errors:

• ASSERTION Failure to handle edges of this kind prior to the fixup phase will result in an assert/unreachable during the fixup phase.

A PC-relative reference to a Thread Local Variable Pointer (TLVP) entry, relaxable if the TLVP entry target is in-range of the fixup.

If the TLVP entry target is in-range of the fixup then the load frmo the TLVP may be replaced with a direct memory address calculation.

The target of this edge must be a thread local variable entry of the form .quad <tlv getter thunk> .quad <tlv key> .quad <tlv initializer>

Fixup expression: Fixup <- Target - (Fixup + 4) + Addend : int32

Errors:

• The result of the fixup expression must fit into an int32, otherwise an out-of-range error will be returned.
• The target must be either external, or a TLV entry of the required form, otherwise a malformed TLV entry error will be returned.

A TLVP entry getter/constructor, transformed to Delta32ToTLVPLoadRelaxable.

Indicates that this edge should be transformed into a Delta32ToTLVPLoadRelaxable targeting the TLVP entry for the edge's current target. A TLVP entry for the target should be created if one does not already exist.

Fixup expression: NONE

Errors:

• ASSERTION Failure to handle edges of this kind prior to the fixup phase will result in an assert/unreachable during the fixup phase.

Definition at line 25 of file x86_64.h.

◆ applyFixup()

 Error llvm::jitlink::x86_64::applyFixup ( LinkGraph & G, Block & B, const Edge & E, char * BlockWorkingMem )
inline

Apply fixup expression for edge to block content.

Definition at line 261 of file x86_64.h.

◆ createAnonymousPointer()

 Symbol& llvm::jitlink::x86_64::createAnonymousPointer ( LinkGraph & G, Section & PointerSection, Symbol * InitialTarget = nullptr, uint64_t InitialAddend = 0 )
inline

Creates a new pointer block in the given section and returns an anonymous symbol pointing to it.

If InitialTarget is given then an Pointer64 relocation will be added to the block pointing at InitialTarget.

The pointer block will have the following default values: alignment: 64-bit alignment-offset: 0 address: highest allowable (~7U)

Definition at line 359 of file x86_64.h.

References B, G, NullPointerContent, and Pointer64.

◆ createAnonymousPointerJumpStub()

 Symbol& llvm::jitlink::x86_64::createAnonymousPointerJumpStub ( LinkGraph & G, Section & StubSection, Symbol & PointerSymbol )
inline

Create a jump stub that jumps via the pointer at the given symbol, returns an anonymous symbol pointing to it.

The stub block will have the following default values: alignment: 8-bit alignment-offset: 0 address: highest allowable: (~5U)

Definition at line 376 of file x86_64.h.

References B, Delta32, G, and PointerJumpStubContent.

◆ getEdgeKindName()

 const char * llvm::jitlink::x86_64::getEdgeKindName ( Edge::Kind K )

Returns a string name for the given x86-64 edge.

For debugging purposes only.

Definition at line 21 of file x86_64.cpp.

◆ isInRangeForImmS32()

 bool llvm::jitlink::x86_64::isInRangeForImmS32 ( int64_t Value )
inline

Returns true if the given int64_t value is in range for an int32_t.

Definition at line 255 of file x86_64.h.

References llvm::max(), and llvm::min().

Referenced by applyFixup().

◆ isInRangeForImmU32()

 bool llvm::jitlink::x86_64::isInRangeForImmU32 ( uint64_t Value )
inline

Returns true if the given uint64_t value is in range for a uint32_t.

Definition at line 250 of file x86_64.h.

Referenced by applyFixup().

◆ NullPointerContent

Initial value:
= {0x00, 0x00, 0x00, 0x00,
0x00, 0x00, 0x00, 0x00}

x86-64 null pointer content.

Definition at line 56 of file x86_64.cpp.

Referenced by createAnonymousPointer().