llvm-project/llvm/test/CodeGen/X86/tailcallpic3.ll
Ben Dunbobbin 4cb016cd2d [X86][ELF] Prefer lowering MC_GlobalAddress operands to .Lfoo$local for STV_DEFAULT only
This patch restricts the behaviour of referencing via .Lfoo$local
local aliases, introduced in https://reviews.llvm.org/D73230, to
STV_DEFAULT globals only.

Hidden symbols via --fvisiblity=hidden (https://gcc.gnu.org/wiki/Visibility)
is an important scenario.

Benefits:

- Improves the size of object files by using fewer STT_SECTION symbols.

- The code reads a bit better (it was not obvious to me without going
  back to the code reviews why the canBenefitFromLocalAlias function
  currently doesn't consider visibility).

- There is also a side benefit in restoring the effectiveness of the
  --wrap linker option and making the behavior of --wrap consistent
  between LTO and normal builds for references within a translation-unit.
  Note: this --wrap behavior (which is specific to LLD) should not be
  considered reliable. See comments on https://reviews.llvm.org/D73230
  for more.

Differential Revision: https://reviews.llvm.org/D85782
2020-08-14 00:09:15 +01:00

74 lines
1.4 KiB
LLVM

; RUN: llc < %s -mtriple=i686-pc-linux-gnu -relocation-model=pic | FileCheck %s
; While many of these could be tail called, we don't do it because it forces
; early binding.
declare void @external()
define hidden void @tailcallee_hidden() {
entry:
ret void
}
define void @tailcall_hidden() {
entry:
tail call void @tailcallee_hidden()
ret void
}
; CHECK: tailcall_hidden:
; CHECK: jmp tailcallee_hidden
define internal void @tailcallee_internal() {
entry:
ret void
}
define void @tailcall_internal() {
entry:
tail call void @tailcallee_internal()
ret void
}
; CHECK: tailcall_internal:
; CHECK: jmp tailcallee_internal
define default void @tailcallee_default() {
entry:
ret void
}
define void @tailcall_default() {
entry:
tail call void @tailcallee_default()
ret void
}
; CHECK: tailcall_default:
; CHECK: calll tailcallee_default@PLT
define void @tailcallee_default_implicit() {
entry:
ret void
}
define void @tailcall_default_implicit() {
entry:
tail call void @tailcallee_default_implicit()
ret void
}
; CHECK: tailcall_default_implicit:
; CHECK: calll tailcallee_default_implicit@PLT
define void @tailcall_external() {
tail call void @external()
ret void
}
; CHECK: tailcall_external:
; CHECK: calll external@PLT
define void @musttail_external() {
musttail call void @external()
ret void
}
; CHECK: musttail_external:
; CHECK: movl external@GOT
; CHECK: jmpl