llvm/lld/test/ELF/symver-non-default.s

# REQUIRES: x86
## Test symbol resolution related to .symver produced non-default version symbols.

# RUN: split-file %s %t
# RUN: llvm-mc -filetype=obj -triple=x86_64 %t/ref.s -o %t/ref.o
# RUN: llvm-mc -filetype=obj -triple=x86_64 %t/def1.s -o %t/def1.o
# RUN: llvm-mc -filetype=obj -triple=x86_64 %t/def2.s -o %t/def2.o
# RUN: llvm-mc -filetype=obj -triple=x86_64 %t/def3.s -o %t/def3.o

## foo@v1 & foo defined at the same location are combined.
# RUN: ld.lld -shared --version-script=%t/ver1 %t/def1.o %t/ref.o -o %t1.so
# RUN: llvm-readelf --dyn-syms %t1.so | FileCheck %s --check-prefix=CHECK1
# RUN: ld.lld -shared --version-script=%t/ver2 %t/def1.o %t/ref.o -o %t1.so
# RUN: llvm-readelf --dyn-syms %t1.so | FileCheck %s --check-prefix=CHECK1

# CHECK1:       1: {{.*}} NOTYPE GLOBAL DEFAULT [[#]] foo@v1
# CHECK1-EMPTY:

## Test an executable link without exporting foo.
# RUN: ld.lld -pie --version-script=%t/ver1 %t/def1.o %t/ref.o -o %t1
# RUN: llvm-readelf -s %t1 | FileCheck %s --check-prefix=EXE1

# EXE1:         Symbol table '.dynsym' contains 1 entries:
# EXE1:         Symbol table '.symtab' contains 3 entries:
# EXE1:         2: {{.*}} NOTYPE GLOBAL DEFAULT [[#]] foo{{$}}

## def2.o doesn't define foo. foo@v1 & undefined foo are unrelated.
# RUN: ld.lld -shared --version-script=%t/ver1 %t/def2.o %t/ref.o -o %t2.so
# RUN: llvm-readelf -r --dyn-syms %t2.so | FileCheck %s --check-prefix=CHECK2

# CHECK2:       R_X86_64_JUMP_SLOT {{.*}} foo + 0
# CHECK2:       1: {{.*}} NOTYPE GLOBAL DEFAULT UND   foo{{$}}
# CHECK2-NEXT:  2: {{.*}} NOTYPE GLOBAL DEFAULT [[#]] foo@v1
# CHECK2-EMPTY:

# RUN: not ld.lld -pie --version-script=%t/ver1 %t/def2.o %t/ref.o -o /dev/null 2>&1 | FileCheck %s --check-prefix=EXE2

# EXE2:         error: undefined symbol: foo{{$}}

## def2.o doesn't define foo. foo@v1 & defined foo are unrelated.
# RUN: ld.lld -shared --version-script=%t/ver1 %t/def2.o %t/def3.o %t/ref.o -o %t3.so
# RUN: llvm-readelf -r --dyn-syms %t3.so | FileCheck %s --check-prefix=CHECK3

# CHECK3:       R_X86_64_JUMP_SLOT {{.*}} foo + 0
# CHECK3:       1: {{.*}} NOTYPE GLOBAL DEFAULT [[#]] foo@v1
# CHECK3-NEXT:  2: {{.*}} NOTYPE GLOBAL DEFAULT [[#]] foo{{$}}
# CHECK3-EMPTY:

# RUN: ld.lld -pie --version-script=%t/ver1 %t/def2.o %t/def3.o %t/ref.o -o %t3
# RUN: llvm-readelf -s %t3 | FileCheck %s --check-prefix=EXE3

# EXE3:         Symbol table '.dynsym' contains 1 entries:
# EXE3:         Symbol table '.symtab' contains 4 entries:
# EXE3:         2: {{.*}} NOTYPE GLOBAL DEFAULT [[#SEC:]] foo{{$}}
# EXE3-NEXT:    3: {{.*}} NOTYPE GLOBAL DEFAULT [[#SEC]] foo{{$}}

## foo@v1 overrides the defined foo which is affected by a version script.
# RUN: ld.lld -shared --version-script=%t/ver2 %t/def2.o %t/def3.o %t/ref.o -o %t4
# RUN: llvm-readelf -r --dyn-syms %t4 | FileCheck %s --check-prefix=CHECK4

# CHECK4:       R_X86_64_JUMP_SLOT {{.*}} foo@v1 + 0
# CHECK4:       1: {{.*}} NOTYPE GLOBAL DEFAULT [[#]] foo@v1
# CHECK4-EMPTY:

#--- ver1
v1 {};

#--- ver2
v1 { foo; };

#--- ref.s
call foo

#--- def1.s
.globl foo
.symver foo, foo@v1
foo:
  ret

#--- def2.s
.globl foo_v1
.symver foo_v1, foo@v1, remove
foo_v1:
  ret

#--- def3.s
.globl foo
foo:
  ret