[ORC] Add a utility for adding missing "self" relocations to a Symbol
authorBen Langmuir <blangmuir@apple.com>
Tue, 2 Nov 2021 17:49:08 +0000 (10:49 -0700)
committerBen Langmuir <blangmuir@apple.com>
Thu, 4 Nov 2021 22:01:05 +0000 (15:01 -0700)
commita2639dcbe613bb2e219a50171f322d7ac1dc8de1
tree57a86c7d51d6950a7eee3d32e3870d3eb21ebea2
parent41481b7db5c7b535060b3d36685eb5bb87d1c7d6
[ORC] Add a utility for adding missing "self" relocations to a Symbol

If a tool wants to introduce new indirections via stubs at link-time in
ORC, it can cause fidelity issues around the address of the function if
some references to the function do not have relocations. This is known
to happen inside the body of the function itself on x86_64 for example,
where a PC-relative address is formed, but without a relocation.

```
_foo:
  leaq -7(%rip), %rax ## form pointer to '_foo' without relocation

_bar:
  leaq (%rip), %rax ##  uses X86_64_RELOC_SIGNED to '_foo'
```

The consequence of introducing a stub for such a function at link time
is that if it forms a pointer to itself without relocation, it will not
have the same value as a pointer from outside the function. If the
function pointer is used as a key, this can cause problems.

This utility provides best-effort support for adding such missing
relocations using MCDisassembler and MCInstrAnalysis to identify the
problematic instructions. Currently it is only implemented for x86_64.

Note: the related issue with call/jump instructions is not handled
here, only forming function pointers.

rdar://83514317

Differential revision: https://reviews.llvm.org/D113038
llvm/include/llvm/ExecutionEngine/Orc/IndirectionUtils.h
llvm/include/llvm/MC/MCInstrAnalysis.h
llvm/lib/ExecutionEngine/Orc/CMakeLists.txt
llvm/lib/ExecutionEngine/Orc/IndirectionUtils.cpp
llvm/lib/MC/MCInstrAnalysis.cpp
llvm/lib/Target/X86/MCTargetDesc/X86MCTargetDesc.cpp
llvm/test/ExecutionEngine/JITLink/X86/Inputs/x86-64_self_relocation.s [new file with mode: 0644]
llvm/test/ExecutionEngine/JITLink/X86/MachO_x86-64_self_relocation.test [new file with mode: 0644]
llvm/test/ExecutionEngine/JITLink/X86/MachO_x86-64_self_relocation_exec.test [new file with mode: 0644]
llvm/tools/llvm-jitlink/llvm-jitlink.cpp