lld/test/MachO/common-symbol-resolution.s

   1 # REQUIRES: x86
   2 # RUN: rm -rf %t; split-file %s %t
   3
   4 # RUN: llvm-mc -filetype=obj -triple=x86_64-apple-darwin %t/common.s -o %t/common.o
   5 # RUN: llvm-mc -filetype=obj -triple=x86_64-apple-darwin %t/weak-common.s -o %t/weak-common.o
   6 # RUN: llvm-mc -filetype=obj -triple=x86_64-apple-darwin %t/defined.s -o %t/defined.o
   7 # RUN: llvm-mc -filetype=obj -triple=x86_64-apple-darwin %t/weak-defined.s -o %t/weak-defined.o
   8 # RUN: llvm-mc -filetype=obj -triple=x86_64-apple-darwin %t/libfoo.s -o %t/libfoo.o
   9 # RUN: llvm-mc -filetype=obj -triple=x86_64-apple-darwin %t/test.s -o %t/test.o
  10 # RUN: llvm-mc -filetype=obj -triple=x86_64-apple-darwin %t/calls-foo.s -o %t/calls-foo.o
  11
  12 # RUN: %lld -lSystem -order_file %t/order -dylib %t/libfoo.o -o %t/libfoo.dylib
  13
  14 # RUN: llvm-ar rcs %t/defined.a %t/defined.o
  15 # RUN: llvm-ar rcs %t/weak-defined-and-common.a %t/weak-defined.o %t/common.o
  16 # RUN: llvm-ar rcs %t/common-and-weak-defined.a %t/common.o %t/weak-defined.o
  17
  18 ## The weak attribute appears to have no effect on common symbols. Given two
  19 ## common symbols of the same name, we always pick the one with the larger size,
  20 ## regardless of whether it is weak. Moreover, the resolved symbol in the output
  21 ## file will always be non-weak, even if the winning input symbol definition was
  22 ## weak.
  23 # RUN: %lld -lSystem -order_file %t/order %t/common.o %t/weak-common.o %t/test.o -o %t/test
  24 # RUN: llvm-objdump --syms %t/test | FileCheck %s --check-prefix=LARGER-COMMON
  25 # RUN: %lld -lSystem -order_file %t/order %t/weak-common.o %t/common.o %t/test.o -o %t/test
  26 # RUN: llvm-objdump --syms %t/test | FileCheck %s --check-prefix=LARGER-COMMON
  27
  28 ## Defined symbols are the only ones that take precedence over common symbols.
  29 # RUN: %lld -lSystem -order_file %t/order %t/defined.o %t/common.o %t/test.o -o %t/test
  30 # RUN: llvm-objdump --syms %t/test | FileCheck %s --check-prefix=DEFINED
  31 # RUN: %lld -lSystem -order_file %t/order %t/common.o %t/defined.o %t/test.o -o %t/test
  32 # RUN: llvm-objdump --syms %t/test | FileCheck %s --check-prefix=DEFINED
  33
  34 # RUN: %lld -lSystem -order_file %t/order %t/weak-defined.o %t/common.o %t/test.o -o %t/test
  35 # RUN: llvm-objdump --syms %t/test | FileCheck %s --check-prefix=WEAK-DEFINED
  36 # RUN: %lld -lSystem -order_file %t/order %t/common.o %t/weak-defined.o %t/test.o -o %t/test
  37 # RUN: llvm-objdump --syms %t/test | FileCheck %s --check-prefix=WEAK-DEFINED
  38
  39 ## Common symbols take precedence over archive symbols.
  40 # RUN: %lld -lSystem -order_file %t/order %t/defined.a %t/weak-common.o %t/test.o -o %t/test
  41 # RUN: llvm-objdump --syms %t/test | FileCheck %s --check-prefix=LARGER-COMMON
  42 # RUN: %lld -lSystem -order_file %t/order %t/weak-common.o %t/defined.a %t/test.o -o %t/test
  43 # RUN: llvm-objdump --syms %t/test | FileCheck %s --check-prefix=LARGER-COMMON
  44
  45 ## Defined symbols have the same precedence as common symbols within an archive.
  46 # RUN: %lld -lSystem -order_file %t/order %t/weak-defined-and-common.a %t/calls-foo.o -o %t/calls-foo
  47 # RUN: llvm-objdump --syms %t/calls-foo | FileCheck %s --check-prefix=WEAK-DEFINED
  48 # RUN: %lld -lSystem -order_file %t/order %t/calls-foo.o %t/common-and-weak-defined.a -o %t/calls-foo
  49 # RUN: llvm-objdump --syms %t/calls-foo | FileCheck %s --check-prefix=COMMON
  50
  51 ## Common symbols take precedence over dylib symbols.
  52 # RUN: %lld -lSystem -order_file %t/order %t/libfoo.dylib %t/weak-common.o %t/test.o -o %t/test
  53 # RUN: llvm-objdump --syms %t/test | FileCheck %s --check-prefix=LARGER-COMMON
  54 # RUN: %lld -lSystem -order_file %t/order %t/weak-common.o %t/libfoo.dylib %t/test.o -o %t/test
  55 # RUN: llvm-objdump --syms %t/test | FileCheck %s --check-prefix=LARGER-COMMON
  56
  57 # LARGER-COMMON-DAG:   [[#%x, FOO_ADDR:]] g     O __DATA,__common _foo
  58 # LARGER-COMMON-DAG:   [[#FOO_ADDR + 2]]  g     O __DATA,__common _foo_end
  59
  60 # COMMON:              g     O __DATA,__common _foo
  61 # DEFINED:             g     F __TEXT,__text _foo
  62 # WEAK-DEFINED:        w     F __TEXT,__text _foo
  63
  64 #--- order
  65 ## %t/order is important as we determine the size of a given symbol via the
  66 ## address of the next symbol.
  67 _foo
  68 _foo_end
  69
  70 #--- common.s
  71 .comm _foo, 1
  72
  73 .globl _bar
  74 _bar:
  75
  76 #--- weak-common.s
  77 .weak_definition _foo
  78 .comm _foo, 2
  79
  80 #--- defined.s
  81 .globl _foo
  82 _foo:
  83   .quad 0x1234
  84
  85 #--- weak-defined.s
  86 .globl _foo
  87 .weak_definition _foo
  88 _foo:
  89   .quad 0x1234
  90
  91 #--- libfoo.s
  92 .globl _foo
  93 _foo:
  94   .quad 0x1234
  95
  96 #--- test.s
  97 .comm _foo_end, 1
  98
  99 .globl _main
 100 _main:
 101   ret
 102
 103 #--- calls-foo.s
 104 .comm _foo_end, 1
 105
 106 .globl _main
 107 _main:
 108   callq _foo
 109   ret