mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-12-28 19:31:58 +00:00
7486d92a6c
For COFF and MachO, sections semantically have relocations that apply to them. That is not the case on ELF. In relocatable objects (.o), a section with relocations in ELF has offsets to another section where the relocations should be applied. In dynamic objects and executables, relocations don't have an offset, they have a virtual address. The section sh_info may or may not point to another section, but that is not actually used for resolving the relocations. This patch exposes that in the ObjectFile API. It has the following advantages: * Most (all?) clients can handle this more efficiently. They will normally walk all relocations, so doing an effort to iterate in a particular order doesn't save time. * llvm-readobj now prints relocations in the same way the native readelf does. * probably most important, relocations that don't point to any section are now visible. This is the case of relocations in the rela.dyn section. See the updated relocation-executable.test for example. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@182908 91177308-0d34-0410-b5e6-96231b3b80d8
70 lines
2.0 KiB
LLVM
70 lines
2.0 KiB
LLVM
; RUN: llc -mtriple=aarch64-none-linux-gnu -verify-machineinstrs -relocation-model=pic %s -o - | FileCheck %s
|
|
; RUN: llc -mtriple=aarch64-none-linux-gnu -verify-machineinstrs -relocation-model=pic -filetype=obj %s -o -| llvm-objdump -r - | FileCheck --check-prefix=CHECK-ELF %s
|
|
|
|
@var = global i32 0
|
|
|
|
; CHECK-ELF: RELOCATION RECORDS FOR [.rela.text]
|
|
|
|
define i32 @get_globalvar() {
|
|
; CHECK: get_globalvar:
|
|
|
|
%val = load i32* @var
|
|
; CHECK: adrp x[[GOTHI:[0-9]+]], :got:var
|
|
; CHECK: ldr x[[GOTLOC:[0-9]+]], [x[[GOTHI]], #:got_lo12:var]
|
|
; CHECK: ldr w0, [x[[GOTLOC]]]
|
|
|
|
; CHECK-ELF: R_AARCH64_ADR_GOT_PAGE var
|
|
; CHECK-ELF: R_AARCH64_LD64_GOT_LO12_NC var
|
|
ret i32 %val
|
|
}
|
|
|
|
define i32* @get_globalvaraddr() {
|
|
; CHECK: get_globalvaraddr:
|
|
|
|
%val = load i32* @var
|
|
; CHECK: adrp x[[GOTHI:[0-9]+]], :got:var
|
|
; CHECK: ldr x0, [x[[GOTHI]], #:got_lo12:var]
|
|
|
|
; CHECK-ELF: R_AARCH64_ADR_GOT_PAGE var
|
|
; CHECK-ELF: R_AARCH64_LD64_GOT_LO12_NC var
|
|
ret i32* @var
|
|
}
|
|
|
|
@hiddenvar = hidden global i32 0
|
|
|
|
define i32 @get_hiddenvar() {
|
|
; CHECK: get_hiddenvar:
|
|
|
|
%val = load i32* @hiddenvar
|
|
; CHECK: adrp x[[HI:[0-9]+]], hiddenvar
|
|
; CHECK: ldr w0, [x[[HI]], #:lo12:hiddenvar]
|
|
|
|
; CHECK-ELF: R_AARCH64_ADR_PREL_PG_HI21 hiddenvar
|
|
; CHECK-ELF: R_AARCH64_LDST32_ABS_LO12_NC hiddenvar
|
|
ret i32 %val
|
|
}
|
|
|
|
define i32* @get_hiddenvaraddr() {
|
|
; CHECK: get_hiddenvaraddr:
|
|
|
|
%val = load i32* @hiddenvar
|
|
; CHECK: adrp [[HI:x[0-9]+]], hiddenvar
|
|
; CHECK: add x0, [[HI]], #:lo12:hiddenvar
|
|
|
|
; CHECK-ELF: R_AARCH64_ADR_PREL_PG_HI21 hiddenvar
|
|
; CHECK-ELF: R_AARCH64_ADD_ABS_LO12_NC hiddenvar
|
|
ret i32* @hiddenvar
|
|
}
|
|
|
|
define void()* @get_func() {
|
|
; CHECK: get_func:
|
|
|
|
ret void()* bitcast(void()*()* @get_func to void()*)
|
|
; CHECK: adrp x[[GOTHI:[0-9]+]], :got:get_func
|
|
; CHECK: ldr x0, [x[[GOTHI]], #:got_lo12:get_func]
|
|
|
|
; Particularly important that the ADRP gets a relocation, LLVM tends to think
|
|
; it can relax it because it knows where get_func is. It can't!
|
|
; CHECK-ELF: R_AARCH64_ADR_GOT_PAGE get_func
|
|
; CHECK-ELF: R_AARCH64_LD64_GOT_LO12_NC get_func
|
|
} |