lld/test/ELF/comdat-binding.s

# REQUIRES: x86
# RUN: rm -rf %t && split-file %s %t
# RUN: llvm-mc -filetype=obj -triple=x86_64 %t/g.s -o %t/g.o
# RUN: llvm-mc -filetype=obj -triple=x86_64 %t/w.s -o %t/w.o
# RUN: llvm-mc -filetype=obj -triple=x86_64 %t/u.s -o %t/u.o
# RUN: ld.lld -e 0 %t/w.o %t/u.o -o %t/w
# RUN: llvm-readelf -s %t/w | FileCheck %s --check-prefix=WEAK
# RUN: ld.lld -e 0 %t/u.o %t/w.o -o %t/u
# RUN: llvm-readelf -s %t/u | FileCheck %s --check-prefix=UNIQUE

## We prefer STB_GLOBAL definition, then changing it to undefined since it is in
## in a non-prevailing COMDAT. Ideally this should be defined, but our behavior
## is fine because valid input cannot form this case.
# RUN: ld.lld -e 0 %t/w.o %t/g.o -o %t/und --noinhibit-exec 2>&1 | FileCheck %s --check-prefix=WARN
# RUN: llvm-readelf -s %t/und | FileCheck %s --check-prefix=UND

# WEAK:   NOTYPE WEAK   DEFAULT [[#]] _ZZ1fvE1x
# UNIQUE: OBJECT UNIQUE DEFAULT [[#]] _ZZ1fvE1x
# UND:    NOTYPE GLOBAL DEFAULT UND   _ZZ1fvE1x

# WARN: warning: relocation refers to a symbol in a discarded section: f()::x
# WARN-NEXT: >>> defined in {{.*}}g.o
# WARN-NEXT: >>> section group signature: _ZZ1fvE1x
# WARN-NEXT: >>> prevailing definition is in {{.*}}w.o
# WARN-NEXT: >>> or the symbol in the prevailing group had STB_WEAK binding and the symbol in a non-prevailing group had STB_GLOBAL binding. Mixing groups with STB_WEAK and STB_GLOBAL binding signature is not supported
# WARN-NEXT: >>> referenced by {{.*}}g.o:(.text+0x3)

#--- g.s
movq _ZZ1fvE1x@gotpcrel(%rip), %rax

.section .bss._ZZ1fvE1x,"awG",@nobits,_ZZ1fvE1x,comdat
.globl _ZZ1fvE1x
_ZZ1fvE1x:

#--- w.s
.section .bss._ZZ1fvE1x,"awG",@nobits,_ZZ1fvE1x,comdat
.weak _ZZ1fvE1x
_ZZ1fvE1x:

#--- u.s
.section .bss._ZZ1fvE1x,"awG",@nobits,_ZZ1fvE1x,comdat
.type _ZZ1fvE1x, @gnu_unique_object
_ZZ1fvE1x: