e0a6561ec9
As mentioned by commit c5d38924dc6688c15b3fa133abeb3626e8f0767c (Apr 2020), PC-relative entries avoid dynamic relocations and can therefore make the section read-only. This is similar to D78082 and D78590. We cannot commit to support compiler/runtime built at different versions, so just don't play with versions. For Mach-O support (incomplete yet), we use non-temporary `lxray_fn_idx[0-9]+` symbols. Label differences are represented as a pair of UNSIGNED and SUBTRACTOR relocations. The SUBTRACTOR external relocation requires r_extern==1 (needs to reference a symbol table entry) which can be satisfied by `lxray_fn_idx[0-9]+`. A `lxray_fn_idx[0-9]+` symbol also serves as the atom for this dead-strippable section (follow-up to commit b9a134aa629de23a1dcf4be32e946e4e308fc64d). Differential Revision: https://reviews.llvm.org/D152661
37 lines
1.1 KiB
LLVM
37 lines
1.1 KiB
LLVM
; RUN: llc -mtriple=hexagon-unknown-elf < %s | FileCheck %s
|
|
; RUN: llc -mtriple=hexagon-unknown-linux-musl < %s | FileCheck %s
|
|
|
|
define i32 @foo() nounwind noinline uwtable "function-instrument"="xray-always" {
|
|
; CHECK-LABEL: .Lxray_sled_0:
|
|
; CHECK: jump .Ltmp[[#l:]]
|
|
; CHECK: nop
|
|
; CHECK: nop
|
|
; CHECK: nop
|
|
; CHECK: nop
|
|
; CHECK: .Ltmp
|
|
; CHECK-SAME: [[#l]]:
|
|
ret i32 0
|
|
; CHECK-LABEL: .Lxray_sled_1:
|
|
; CHECK: jump .Ltmp[[#l:]]
|
|
; CHECK: nop
|
|
; CHECK: nop
|
|
; CHECK: nop
|
|
; CHECK: nop
|
|
; CHECK: .Ltmp
|
|
; CHECK-SAME: [[#l]]:
|
|
; CHECK: jumpr r31
|
|
}
|
|
; CHECK: .section xray_instr_map,"ao",@progbits,foo
|
|
; CHECK-NEXT: .Lxray_sleds_start0:
|
|
; CHECK-NEXT: [[TMP:.Ltmp[0-9]+]]:
|
|
; CHECK-NEXT: .word .Lxray_sled_0-[[TMP]]
|
|
; CHECK-NEXT: .word .Lfunc_begin0-([[TMP]]+4)
|
|
; CHECK-NEXT: .byte 0x00
|
|
; CHECK-NEXT: .byte 0x01
|
|
; CHECK-NEXT: .byte 0x02
|
|
; CHECK-NEXT: .space 5
|
|
; CHECK-LABEL: .Lxray_sleds_end0:
|
|
; CHECK-LABEL: xray_fn_idx
|
|
; CHECK: .word .Lxray_sleds_start0-.Lxray_fn_idx[[#]]
|
|
; CHECK-NEXT: .word 2
|