# 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
# RUN: llvm-readelf --dyn-syms %t1 | FileCheck %s --check-prefix=CHECK1
# RUN: ld.lld -shared --version-script=%t/ver2 %t/def1.o %t/ref.o -o %t1
# RUN: llvm-readelf --dyn-syms %t1 | FileCheck %s --check-prefix=CHECK1

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

## 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
# RUN: llvm-readelf -r --dyn-syms %t2 | 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:

## 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
# RUN: llvm-readelf -r --dyn-syms %t3 | 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:

## 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