lld/test/MachO/dead-strip.s

   1 # REQUIRES: x86, llvm-64-bits
   2
   3 # RUN: rm -rf %t; split-file %s %t
   4
   5 # RUN: llvm-mc -filetype=obj -triple=x86_64-apple-macos \
   6 # RUN:     %t/basics.s -o %t/basics.o
   7
   8 ## Check that .private_extern symbols are marked as local in the symbol table
   9 ## and aren't in the export trie.
  10 # RUN: %lld -lSystem -dead_strip -map %t/map -u _ref_private_extern_u \
  11 # RUN:     %t/basics.o -o %t/basics
  12 # RUN: llvm-objdump --syms --section-headers %t/basics | \
  13 # RUN:     FileCheck --check-prefix=EXEC --implicit-check-not _unref %s
  14 # RUN: llvm-objdump --macho --section=__DATA,__ref_section \
  15 # RUN:     --exports-trie --indirect-symbols %t/basics | \
  16 # RUN:     FileCheck --check-prefix=EXECDATA --implicit-check-not _unref %s
  17 # RUN: llvm-otool -l %t/basics | grep -q 'segname __PAGEZERO'
  18 # EXEC-LABEL: Sections:
  19 # EXEC-LABEL: Name
  20 # EXEC-NEXT:  __text
  21 # EXEC-NEXT:  __got
  22 # EXEC-NEXT:  __ref_section
  23 # EXEC-NEXT:  __common
  24 # EXEC-LABEL: SYMBOL TABLE:
  25 # EXEC-DAG:   l {{.*}} _ref_data
  26 # EXEC-DAG:   l {{.*}} _ref_local
  27 # EXEC-DAG:   l {{.*}} _ref_from_no_dead_strip_globl
  28 # EXEC-DAG:   l {{.*}} _no_dead_strip_local
  29 # EXEC-DAG:   l {{.*}} _ref_from_no_dead_strip_local
  30 # EXEC-DAG:   l {{.*}} _ref_private_extern_u
  31 # EXEC-DAG:   l {{.*}} _main
  32 # EXEC-DAG:   l {{.*}} _ref_private_extern
  33 # EXEC-DAG:   g {{.*}} _no_dead_strip_globl
  34 # EXEC-DAG:   g {{.*}} _ref_com
  35 # EXEC-DAG:   g {{.*}} __mh_execute_header
  36 # EXECDATA-LABEL: Indirect symbols
  37 # EXECDATA-NEXT:  name
  38 # EXECDATA-NEXT:  LOCAL
  39 # EXECDATA-LABEL: Contents of (__DATA,__ref_section) section
  40 # EXECDATA-NEXT:   04 00 00 00 00 00 00 00 05 00 00 00 00 00 00 00
  41 # EXECDATA-LABEL: Exports trie:
  42 # EXECDATA-DAG:   _ref_com
  43 # EXECDATA-DAG:   _no_dead_strip_globl
  44 # EXECDATA-DAG:   __mh_execute_header
  45
  46 ## Check that dead stripped symbols get listed properly.
  47 # RUN: FileCheck --check-prefix=MAP %s < %t/map
  48
  49 # MAP:        _main
  50 # MAP-LABEL: Dead Stripped Symbols
  51 # MAP-DAG:   <<dead>> 0x00000001 [ 2] _unref_com
  52 # MAP-DAG:   <<dead>> 0x00000008 [ 2] _unref_data
  53 # MAP-DAG:   <<dead>> 0x00000006 [ 2] _unref_extern
  54 # MAP-DAG:   <<dead>> 0x00000001 [ 2] _unref_local
  55 # MAP-DAG:   <<dead>> 0x00000007 [ 2] _unref_private_extern
  56 # MAP-DAG:   <<dead>> 0x00000008 [ 2] l_unref_data
  57
  58 ## Run dead stripping on code without any dead symbols.
  59 # RUN: llvm-mc -filetype=obj -triple=x86_64-apple-macos \
  60 # RUN:     %t/no-dead-symbols.s -o %t/no-dead-symbols.o
  61 # RUN: %lld -lSystem -dead_strip -map %t/no-dead-symbols-map \
  62 # RUN:     %t/no-dead-symbols.o -o %t/no-dead-symbols
  63 ## Mark the end of the file with a string.
  64 # RUN: FileCheck --check-prefix=NODEADSYMBOLS %s < %t/no-dead-symbols-map
  65
  66 # NODEADSYMBOLS-LABEL: # Symbols:
  67 # NODEADSYMBOLS-NEXT:  # Address Size File Name
  68 # NODEADSYMBOLS-NEXT:  _main
  69 # NODEADSYMBOLS-LABEL: # Dead Stripped Symbols:
  70 # NODEADSYMBOLS-NEXT:  # Size File Name
  71 # NODEADSYMBOLS-EMPTY:
  72
  73 # RUN: %lld -dylib -dead_strip -u _ref_private_extern_u %t/basics.o -o %t/basics.dylib
  74 # RUN: llvm-objdump --syms %t/basics.dylib | \
  75 # RUN:     FileCheck --check-prefix=DYLIB --implicit-check-not _unref %s
  76 # RUN: %lld -bundle -dead_strip -u _ref_private_extern_u %t/basics.o -o %t/basics.dylib
  77 # RUN: llvm-objdump --syms %t/basics.dylib | \
  78 # RUN:     FileCheck --check-prefix=DYLIB --implicit-check-not _unref %s
  79 # DYLIB-LABEL: SYMBOL TABLE:
  80 # DYLIB-DAG:   l {{.*}} _ref_data
  81 # DYLIB-DAG:   l {{.*}} _ref_local
  82 # DYLIB-DAG:   l {{.*}} _ref_from_no_dead_strip_globl
  83 # DYLIB-DAG:   l {{.*}} _no_dead_strip_local
  84 # DYLIB-DAG:   l {{.*}} _ref_from_no_dead_strip_local
  85 # DYLIB-DAG:   l {{.*}} _ref_private_extern_u
  86 # DYLIB-DAG:   l {{.*}} _ref_private_extern
  87 # DYLIB-DAG:   g {{.*}} _ref_com
  88 # DYLIB-DAG:   g {{.*}} _unref_com
  89 # DYLIB-DAG:   g {{.*}} _unref_extern
  90 # DYLIB-DAG:   g {{.*}} _no_dead_strip_globl
  91
  92 ## Extern symbols aren't stripped from executables with -export_dynamic
  93 # RUN: %lld -lSystem -dead_strip -export_dynamic -u _ref_private_extern_u \
  94 # RUN:     %t/basics.o -o %t/basics-export-dyn
  95 # RUN: llvm-objdump --syms --section-headers %t/basics-export-dyn | \
  96 # RUN:     FileCheck --check-prefix=EXECDYN %s
  97 # EXECDYN-LABEL: Sections:
  98 # EXECDYN-LABEL: Name
  99 # EXECDYN-NEXT:  __text
 100 # EXECDYN-NEXT:  __got
 101 # EXECDYN-NEXT:  __ref_section
 102 # EXECDYN-NEXT:  __common
 103 # EXECDYN-LABEL: SYMBOL TABLE:
 104 # EXECDYN-DAG:   l {{.*}} _ref_data
 105 # EXECDYN-DAG:   l {{.*}} _ref_local
 106 # EXECDYN-DAG:   l {{.*}} _ref_from_no_dead_strip_globl
 107 # EXECDYN-DAG:   l {{.*}} _no_dead_strip_local
 108 # EXECDYN-DAG:   l {{.*}} _ref_from_no_dead_strip_local
 109 # EXECDYN-DAG:   l {{.*}} _ref_private_extern_u
 110 # EXECDYN-DAG:   l {{.*}} _main
 111 # EXECDYN-DAG:   l {{.*}} _ref_private_extern
 112 # EXECDYN-DAG:   g {{.*}} _ref_com
 113 # EXECDYN-DAG:   g {{.*}} _unref_com
 114 # EXECDYN-DAG:   g {{.*}} _unref_extern
 115 # EXECDYN-DAG:   g {{.*}} _no_dead_strip_globl
 116 # EXECDYN-DAG:   g {{.*}} __mh_execute_header
 117
 118 ## Absolute symbol handling.
 119 # RUN: llvm-mc -filetype=obj -triple=x86_64-apple-macos \
 120 # RUN:     %t/abs.s -o %t/abs.o
 121 # RUN: %lld -lSystem -dead_strip %t/abs.o -o %t/abs
 122 # RUN: llvm-objdump --macho --syms --exports-trie %t/abs | \
 123 # RUN:     FileCheck --check-prefix=ABS %s
 124 #ABS-LABEL: SYMBOL TABLE:
 125 #ABS-NEXT:   g {{.*}} _main
 126 #ABS-NEXT:   g *ABS* _abs1
 127 #ABS-NEXT:   g {{.*}} __mh_execute_header
 128 #ABS-LABEL: Exports trie:
 129 #ABS-NEXT:   __mh_execute_header
 130 #ABS-NEXT:   _main
 131 #ABS-NEXT:   _abs1 [absolute]
 132
 133 ## Check that symbols from -exported_symbol(s_list) are preserved.
 134 # RUN: llvm-mc -filetype=obj -triple=x86_64-apple-macos \
 135 # RUN:     %t/exported-symbol.s -o %t/exported-symbol.o
 136 # RUN: %lld -lSystem -dead_strip -exported_symbol _my_exported_symbol \
 137 # RUN:     %t/exported-symbol.o -o %t/exported-symbol
 138 # RUN: llvm-objdump --syms %t/exported-symbol | \
 139 # RUN:     FileCheck --check-prefix=EXPORTEDSYMBOL --implicit-check-not _unref %s
 140 # EXPORTEDSYMBOL-LABEL: SYMBOL TABLE:
 141 # EXPORTEDSYMBOL-NEXT:   l {{.*}} _main
 142 # EXPORTEDSYMBOL-NEXT:   l {{.*}} __mh_execute_header
 143 # EXPORTEDSYMBOL-NEXT:   g {{.*}} _my_exported_symbol
 144
 145 ## Check that mod_init_funcs and mod_term_funcs are not stripped.
 146 # RUN: llvm-mc -filetype=obj -triple=x86_64-apple-macos \
 147 # RUN:     %t/mod-funcs.s -o %t/mod-funcs.o
 148 # RUN: %lld -lSystem -dead_strip %t/mod-funcs.o -o %t/mod-funcs
 149 # RUN: llvm-objdump --syms %t/mod-funcs | \
 150 # RUN:     FileCheck --check-prefix=MODFUNCS --implicit-check-not _unref %s
 151 # MODFUNCS-LABEL: SYMBOL TABLE:
 152 # MODFUNCS-NEXT:   l {{.*}} _ref_from_init
 153 # MODFUNCS-NEXT:   l {{.*}} _ref_init
 154 # MODFUNCS-NEXT:   l {{.*}} _ref_from_term
 155 # MODFUNCS-NEXT:   l {{.*}} _ref_term
 156 # MODFUNCS-NEXT:   g {{.*}} _main
 157 # MODFUNCS-NEXT:   g {{.*}} __mh_execute_header
 158
 159 ## Check that DylibSymbols in dead subsections are stripped: They should
 160 ## not be in the import table and should have no import stubs.
 161 # RUN: llvm-mc -filetype=obj -triple=x86_64-apple-macos \
 162 # RUN:     %t/dylib.s -o %t/dylib.o
 163 # RUN: %lld -dylib -dead_strip %t/dylib.o -o %t/dylib.dylib
 164 # RUN: llvm-mc -filetype=obj -triple=x86_64-apple-macos \
 165 # RUN:     %t/strip-dylib-ref.s -o %t/strip-dylib-ref.o
 166 # RUN: %lld -lSystem -dead_strip %t/strip-dylib-ref.o %t/dylib.dylib \
 167 # RUN:     -o %t/strip-dylib-ref -U _ref_undef_fun -U _unref_undef_fun
 168 # RUN: llvm-objdump --syms --bind --lazy-bind --weak-bind %t/strip-dylib-ref | \
 169 # RUN:     FileCheck --check-prefix=STRIPDYLIB --implicit-check-not _unref %s
 170 # STRIPDYLIB:      SYMBOL TABLE:
 171 # STRIPDYLIB-NEXT:  l {{.*}} __dyld_private
 172 # STRIPDYLIB-NEXT:  g {{.*}} _main
 173 # STRIPDYLIB-NEXT:  g {{.*}} __mh_execute_header
 174 # STRIPDYLIB-NEXT:  *UND* dyld_stub_binder
 175 # STRIPDYLIB-NEXT:  *UND* _ref_dylib_fun
 176 # STRIPDYLIB-NEXT:  *UND* _ref_undef_fun
 177 # STRIPDYLIB:      Bind table:
 178 # STRIPDYLIB:      Lazy bind table:
 179 # STRIPDYLIB:       __DATA   __la_symbol_ptr {{.*}} flat-namespace _ref_undef_fun
 180 # STRIPDYLIB:       __DATA   __la_symbol_ptr {{.*}} dylib _ref_dylib_fun
 181 # STRIPDYLIB:      Weak bind table:
 182 ## Stubs smoke check: There should be two stubs entries, not four, but we
 183 ## don't verify that they belong to _ref_undef_fun and _ref_dylib_fun.
 184 # RUN: llvm-objdump -d --section=__stubs --section=__stub_helper \
 185 # RUN:     %t/strip-dylib-ref |FileCheck --check-prefix=STUBS %s
 186 # STUBS-LABEL: <__stubs>:
 187 # STUBS-NEXT:  jmpq
 188 # STUBS-NEXT:  jmpq
 189 # STUBS-NOT:   jmpq
 190 # STUBS-LABEL: <__stub_helper>:
 191 # STUBS:  pushq $0
 192 # STUBS:  jmp
 193 # STUBS:  jmp
 194 # STUBS-NOT:  jmp
 195 ## An undefined symbol referenced from a dead-stripped function shouldn't
 196 ## produce a diagnostic:
 197 # RUN: %lld -lSystem -dead_strip %t/strip-dylib-ref.o %t/dylib.dylib \
 198 # RUN:     -o %t/strip-dylib-ref -U _ref_undef_fun
 199
 200 ## Check that referenced undefs are kept with -undefined dynamic_lookup.
 201 # RUN: llvm-mc -filetype=obj -triple=x86_64-apple-macos \
 202 # RUN:     %t/ref-undef.s -o %t/ref-undef.o
 203 # RUN: %lld -lSystem -dead_strip %t/ref-undef.o \
 204 # RUN:     -o %t/ref-undef -undefined dynamic_lookup
 205 # RUN: llvm-objdump --syms --lazy-bind %t/ref-undef | \
 206 # RUN:     FileCheck --check-prefix=STRIPDYNLOOKUP %s
 207 # STRIPDYNLOOKUP: SYMBOL TABLE:
 208 # STRIPDYNLOOKUP:   *UND* _ref_undef_fun
 209 # STRIPDYNLOOKUP: Lazy bind table:
 210 # STRIPDYNLOOKUP:   __DATA   __la_symbol_ptr {{.*}} flat-namespace _ref_undef_fun
 211
 212 ## S_ATTR_LIVE_SUPPORT tests.
 213 # RUN: llvm-mc -filetype=obj -triple=x86_64-apple-macos \
 214 # RUN:     %t/live-support.s -o %t/live-support.o
 215 # RUN: %lld -lSystem -dead_strip %t/live-support.o %t/dylib.dylib \
 216 # RUN:     -U _ref_undef_fun -U _unref_undef_fun -o %t/live-support
 217 # RUN: llvm-objdump --syms %t/live-support | \
 218 # RUN:     FileCheck --check-prefix=LIVESUPP --implicit-check-not _unref %s
 219 # LIVESUPP-LABEL: SYMBOL TABLE:
 220 # LIVESUPP-NEXT:   l {{.*}} _ref_ls_fun_fw
 221 # LIVESUPP-NEXT:   l {{.*}} _ref_ls_fun_bw
 222 # LIVESUPP-NEXT:   l {{.*}} _ref_ls_dylib_fun
 223 # LIVESUPP-NEXT:   l {{.*}} _ref_ls_undef_fun
 224 # LIVESUPP-NEXT:   l {{.*}} __dyld_private
 225 # LIVESUPP-NEXT:   g {{.*}} _main
 226 # LIVESUPP-NEXT:   g {{.*}} _bar
 227 # LIVESUPP-NEXT:   g {{.*}} _foo
 228 # LIVESUPP-NEXT:   g {{.*}} __mh_execute_header
 229 # LIVESUPP-NEXT:   *UND* dyld_stub_binder
 230 # LIVESUPP-NEXT:   *UND* _ref_dylib_fun
 231 # LIVESUPP-NEXT:   *UND* _ref_undef_fun
 232
 233 # RUN: llvm-mc -filetype=obj -triple=x86_64-apple-macos \
 234 # RUN:     %t/live-support-iterations.s -o %t/live-support-iterations.o
 235 # RUN: %lld -lSystem -dead_strip %t/live-support-iterations.o \
 236 # RUN:     -o %t/live-support-iterations
 237 # RUN: llvm-objdump --syms %t/live-support-iterations | \
 238 # RUN:     FileCheck --check-prefix=LIVESUPP2 --implicit-check-not _unref %s
 239 # LIVESUPP2-LABEL: SYMBOL TABLE:
 240 # LIVESUPP2-NEXT:   l {{.*}} _bar
 241 # LIVESUPP2-NEXT:   l {{.*}} _foo_refd
 242 # LIVESUPP2-NEXT:   l {{.*}} _bar_refd
 243 # LIVESUPP2-NEXT:   l {{.*}} _baz
 244 # LIVESUPP2-NEXT:   l {{.*}} _baz_refd
 245 # LIVESUPP2-NEXT:   l {{.*}} _foo
 246 # LIVESUPP2-NEXT:   g {{.*}} _main
 247 # LIVESUPP2-NEXT:   g {{.*}} __mh_execute_header
 248
 249 ## Dead stripping should not remove the __TEXT,__unwind_info
 250 ## and __TEXT,__gcc_except_tab functions, but it should still
 251 ## remove the unreferenced function __Z5unref.
 252 ## The reference to ___gxx_personality_v0 should also not be
 253 ## stripped.
 254 ## (Need to use darwin19.0.0 to make -mc emit __LD,__compact_unwind.)
 255 # RUN: llvm-mc -filetype=obj -triple=x86_64-apple-darwin19.0.0 \
 256 # RUN:     %t/unwind.s -o %t/unwind.o
 257 # RUN: %lld -lc++ -lSystem -dead_strip %t/unwind.o -o %t/unwind
 258 # RUN: llvm-objdump --syms %t/unwind | \
 259 # RUN:     FileCheck --check-prefix=UNWIND --implicit-check-not unref %s
 260 # RUN: llvm-otool -l %t/unwind | FileCheck --check-prefix=UNWINDSECT %s
 261 # UNWINDSECT-DAG: sectname __unwind_info
 262 # UNWINDSECT-DAG: sectname __gcc_except_tab
 263 # UNWIND-LABEL: SYMBOL TABLE:
 264 # UNWIND-NEXT:   l O __TEXT,__gcc_except_tab GCC_except_table1
 265 # UNWIND-NEXT:   l O __DATA,__data __dyld_private
 266 # UNWIND-NEXT:   g F __TEXT,__text _main
 267 # UNWIND-NEXT:   g F __TEXT,__text __mh_execute_header
 268 # UNWIND-NEXT:   *UND* dyld_stub_binder
 269 # UNWIND-NEXT:   *UND* __ZTIi
 270 # UNWIND-NEXT:   *UND* ___cxa_allocate_exception
 271 # UNWIND-NEXT:   *UND* ___cxa_begin_catch
 272 # UNWIND-NEXT:   *UND* ___cxa_end_catch
 273 # UNWIND-NEXT:   *UND* ___cxa_throw
 274 # UNWIND-NEXT:   *UND* ___gxx_personality_v0
 275 # UNWIND-NOT:    GCC_except_table0
 276
 277 ## If a dead stripped function has a strong ref to a dylib symbol but
 278 ## a live function only a weak ref, the dylib is still not a WEAK_DYLIB.
 279 ## This matches ld64.
 280 # RUN: llvm-mc -filetype=obj -triple=x86_64-apple-macos \
 281 # RUN:     %t/weak-ref.s -o %t/weak-ref.o
 282 # RUN: llvm-mc -filetype=obj -triple=x86_64-apple-macos \
 283 # RUN:     %t/strong-dead-ref.s -o %t/strong-dead-ref.o
 284 # RUN: %lld -lSystem -dead_strip %t/weak-ref.o %t/strong-dead-ref.o \
 285 # RUN:     %t/dylib.dylib -o %t/weak-ref
 286 # RUN: llvm-otool -l %t/weak-ref | FileCheck -DDIR=%t --check-prefix=WEAK %s
 287 # WEAK:          cmd LC_LOAD_DYLIB
 288 # WEAK-NEXT: cmdsize
 289 # WEAK-NEXT:    name /usr/lib/libSystem.dylib
 290 # WEAK:          cmd LC_LOAD_DYLIB
 291 # WEAK-NEXT: cmdsize
 292 # WEAK-NEXT:    name [[DIR]]/dylib.dylib
 293
 294 ## A strong symbol that would override a weak import does not emit the
 295 ## "this overrides a weak import" opcode if it is dead-stripped.
 296 # RUN: llvm-mc -filetype=obj -triple=x86_64-apple-macos \
 297 # RUN:     %t/weak-dylib.s -o %t/weak-dylib.o
 298 # RUN: %lld -dylib -dead_strip %t/weak-dylib.o -o %t/weak-dylib.dylib
 299 # RUN: llvm-mc -filetype=obj -triple=x86_64-apple-macos \
 300 # RUN:     %t/dead-weak-override.s -o %t/dead-weak-override.o
 301 # RUN: %lld -dead_strip %t/dead-weak-override.o %t/weak-dylib.dylib \
 302 # RUN:     -o %t/dead-weak-override
 303 # RUN: llvm-objdump --macho --weak-bind --private-header \
 304 # RUN:     %t/dead-weak-override | FileCheck --check-prefix=DEADWEAK %s
 305 # DEADWEAK-NOT: WEAK_DEFINES
 306 # DEADWEAK:     Weak bind table:
 307 # DEADWEAK:     segment  section            address     type       addend   symbol
 308 # DEADWEAK-NOT: strong              _weak_in_dylib
 309
 310 ## Stripped symbols should not be in the debug info stabs entries.
 311 # RUN: llvm-mc -g -filetype=obj -triple=x86_64-apple-macos \
 312 # RUN:     %t/debug.s -o %t/debug.o
 313 # RUN: %lld -lSystem -dead_strip %t/debug.o -o %t/debug
 314 # RUN: dsymutil -s %t/debug | FileCheck --check-prefix=EXECSTABS %s
 315 # EXECSTABS-NOT: N_FUN {{.*}} '_unref'
 316 # EXECSTABS:     N_FUN {{.*}} '_main'
 317 # EXECSTABS-NOT: N_FUN {{.*}} '_unref'
 318
 319 # RUN: llvm-mc -g -filetype=obj -triple=x86_64-apple-macos \
 320 # RUN:     %t/literals.s -o %t/literals.o
 321 # RUN: %lld -dylib -dead_strip %t/literals.o -o %t/literals
 322 # RUN: llvm-objdump --macho --section="__TEXT,__cstring" --section="__DATA,str_ptrs" \
 323 # RUN:   --section="__TEXT,__literals" %t/literals | FileCheck %s --check-prefix=LIT
 324 # LIT:      Contents of (__TEXT,__cstring) section
 325 # LIT-NEXT: foobar
 326 # LIT-NEXT: Contents of (__DATA,str_ptrs) section
 327 # LIT-NEXT: __TEXT:__cstring:bar
 328 # LIT-NEXT: __TEXT:__cstring:bar
 329 # LIT-NEXT: Contents of (__TEXT,__literals) section
 330 # LIT-NEXT: ef be ad de {{$}}
 331
 332 ## Ensure that addrsig metadata does not keep unreferenced functions alive.
 333 # RUN: llvm-mc -filetype=obj -triple=x86_64-apple-macos \
 334 # RUN:     %t/addrsig.s -o %t/addrsig.o
 335 # RUN: %lld -lSystem -dead_strip --icf=safe %t/addrsig.o -o %t/addrsig
 336 # RUN: llvm-objdump --syms %t/addrsig | \
 337 # RUN:     FileCheck --check-prefix=ADDSIG --implicit-check-not _addrsig %s
 338 # ADDSIG-LABEL: SYMBOL TABLE:
 339 # ADDSIG-NEXT:   g F __TEXT,__text _main
 340 # ADDSIG-NEXT:   g F __TEXT,__text __mh_execute_header
 341 # ADDSIG-NEXT:   *UND* dyld_stub_binder
 342
 343 ## Duplicate symbols that will be dead stripped later should not fail when using
 344 ## the --dead-stripped-duplicates flag
 345 # RUN: llvm-mc -filetype=obj -triple=x86_64-apple-macos \
 346 # RUN:     %t/duplicate1.s -o %t/duplicate1.o
 347 # RUN: llvm-mc -filetype=obj -triple=x86_64-apple-macos \
 348 # RUN:     %t/duplicate2.s -o %t/duplicate2.o
 349 # RUN: %lld -lSystem -dead_strip --dead-strip-duplicates -map %t/stripped-duplicate-map \
 350 # RUN:     %t/duplicate1.o %t/duplicate2.o -o %t/duplicate
 351 # RUN: llvm-objdump --syms %t/duplicate | FileCheck %s --check-prefix=DUP
 352 # DUP-LABEL: SYMBOL TABLE:
 353 # DUP-NEXT:   g F __TEXT,__text _main
 354 # DUP-NEXT:   g F __TEXT,__text __mh_execute_header
 355 # DUP-NEXT:   *UND* dyld_stub_binder
 356
 357 ## Check that the duplicate dead stripped symbols get listed properly.
 358 # RUN: FileCheck --check-prefix=DUPMAP %s < %t/stripped-duplicate-map
 359 # DUPMAP: _main
 360 # DUPMAP-LABEL: Dead Stripped Symbols
 361 # DUPMAP: <<dead>> 0x00000001 [ 3] _foo
 362
 363 #--- duplicate1.s
 364 .text
 365 .globl _main, _foo
 366 _foo:
 367   retq
 368
 369 _main:
 370   retq
 371
 372 .subsections_via_symbols
 373
 374 #--- duplicate2.s
 375 .text
 376 .globl _foo
 377 _foo:
 378   retq
 379
 380 .subsections_via_symbols
 381
 382 #--- basics.s
 383 .comm _ref_com, 1
 384 .comm _unref_com, 1
 385
 386 .section __DATA,__unref_section
 387 _unref_data:
 388   .quad 4
 389
 390 l_unref_data:
 391   .quad 5
 392
 393 ## Referenced by no_dead_strip == S_ATTR_NO_DEAD_STRIP
 394 .section __DATA,__ref_section,regular,no_dead_strip
 395
 396 ## Referenced because in no_dead_strip section.
 397 _ref_data:
 398   .quad 4
 399
 400 ## This is a local symbol so it's not in the symbol table, but
 401 ## it is still in the section data.
 402 l_ref_data:
 403   .quad 5
 404
 405 .text
 406
 407 # Exported symbols should not be stripped from dylibs
 408 # or bundles, but they should be stripped from executables.
 409 .globl _unref_extern
 410 _unref_extern:
 411   callq _ref_local
 412   retq
 413
 414 # Unreferenced local symbols should be stripped.
 415 _unref_local:
 416   retq
 417
 418 # Same for unreferenced private externs.
 419 .globl _unref_private_extern
 420 .private_extern _unref_private_extern
 421 _unref_private_extern:
 422   # This shouldn't create an indirect symbol since it's
 423   # a reference from a dead function.
 424   movb _unref_com@GOTPCREL(%rip), %al
 425   retq
 426
 427 # Referenced local symbols should not be stripped.
 428 _ref_local:
 429   callq _ref_private_extern
 430   retq
 431
 432 # Same for referenced private externs.
 433 # This one is referenced by a relocation.
 434 .globl _ref_private_extern
 435 .private_extern _ref_private_extern
 436 _ref_private_extern:
 437   retq
 438
 439 # This one is referenced by a -u flag.
 440 .globl _ref_private_extern_u
 441 .private_extern _ref_private_extern_u
 442 _ref_private_extern_u:
 443   retq
 444
 445 # Entry point should not be stripped for executables, even if hidden.
 446 # For shared libraries this is stripped since it's just a regular hidden
 447 # symbol there.
 448 .globl _main
 449 .private_extern _main
 450 _main:
 451   movb _ref_com@GOTPCREL(%rip), %al
 452   callq _ref_local
 453   retq
 454
 455 # Things marked no_dead_strip should not be stripped either.
 456 # (clang emits this e.g. for `__attribute__((used))` globals.)
 457 # Both for .globl symbols...
 458 .globl _no_dead_strip_globl
 459 .no_dead_strip _no_dead_strip_globl
 460 _no_dead_strip_globl:
 461   callq _ref_from_no_dead_strip_globl
 462   retq
 463 _ref_from_no_dead_strip_globl:
 464   retq
 465
 466 # ...and for locals.
 467 .no_dead_strip _no_dead_strip_local
 468 _no_dead_strip_local:
 469   callq _ref_from_no_dead_strip_local
 470   retq
 471 _ref_from_no_dead_strip_local:
 472   retq
 473
 474 .subsections_via_symbols
 475
 476 #--- exported-symbol.s
 477 .text
 478
 479 .globl _unref_symbol
 480 _unref_symbol:
 481   retq
 482
 483 .globl _my_exported_symbol
 484 _my_exported_symbol:
 485   retq
 486
 487 .globl _main
 488 _main:
 489   retq
 490
 491 .subsections_via_symbols
 492
 493 #--- abs.s
 494 .globl _abs1, _abs2, _abs3
 495
 496 .no_dead_strip _abs1
 497 _abs1 = 1
 498 _abs2 = 2
 499 _abs3 = 3
 500
 501 .section __DATA,__foo,regular,no_dead_strip
 502 # Absolute symbols are not in a section, so the no_dead_strip
 503 # on the section above has no effect.
 504 .globl _abs4
 505 _abs4 = 4
 506
 507 .text
 508 .globl _main
 509 _main:
 510   # This is relaxed away, so there's no relocation here and
 511   # _abs3 isn't in the exported symbol table.
 512   mov _abs3, %rax
 513   retq
 514
 515 .subsections_via_symbols
 516
 517 #--- mod-funcs.s
 518 ## Roughly based on `clang -O2 -S` output for `struct A { A(); ~A(); }; A a;`
 519 ## for mod_init_funcs. mod_term_funcs then similar to that.
 520 .section __TEXT,__StaticInit,regular,pure_instructions
 521
 522 __unref:
 523   retq
 524
 525 _ref_from_init:
 526   retq
 527
 528 _ref_init:
 529   callq _ref_from_init
 530   retq
 531
 532 _ref_from_term:
 533   retq
 534
 535 _ref_term:
 536   callq _ref_from_term
 537   retq
 538
 539 .globl _main
 540 _main:
 541   retq
 542
 543 .section __DATA,__mod_init_func,mod_init_funcs
 544 .quad _ref_init
 545
 546 .section __DATA,__mod_term_func,mod_term_funcs
 547 .quad _ref_term
 548
 549 .subsections_via_symbols
 550
 551 #--- dylib.s
 552 .text
 553
 554 .globl _ref_dylib_fun
 555 _ref_dylib_fun:
 556   retq
 557
 558 .globl _unref_dylib_fun
 559 _unref_dylib_fun:
 560   retq
 561
 562 .subsections_via_symbols
 563
 564 #--- strip-dylib-ref.s
 565 .text
 566
 567 _unref:
 568   callq _ref_dylib_fun
 569   callq _unref_dylib_fun
 570   callq _ref_undef_fun
 571   callq _unref_undef_fun
 572   retq
 573
 574 .globl _main
 575 _main:
 576   callq _ref_dylib_fun
 577   callq _ref_undef_fun
 578   retq
 579
 580 .subsections_via_symbols
 581
 582 #--- live-support.s
 583 ## In practice, live_support is used for instruction profiling
 584 ## data and asan. (Also for __eh_frame, but that needs special handling
 585 ## in the linker anyways.)
 586 ## This test isn't based on anything happening in real code though.
 587 .section __TEXT,__ref_ls_fw,regular,live_support
 588 _ref_ls_fun_fw:
 589   # This is called by _main and is kept alive by normal
 590   # forward liveness propagation, The live_support attribute
 591   # does nothing in this case.
 592   retq
 593
 594 .section __TEXT,__unref_ls_fw,regular,live_support
 595 _unref_ls_fun_fw:
 596   retq
 597
 598 .section __TEXT,__ref_ls_bw,regular,live_support
 599 _ref_ls_fun_bw:
 600   # This _calls_ something that's alive but isn't referenced itself. This is
 601   # kept alive only due to this being in a live_support section.
 602   callq _foo
 603
 604   # _bar on the other hand is kept alive since it's called from here.
 605   callq _bar
 606   retq
 607
 608 ## Kept alive by a live symbol form a dynamic library.
 609 _ref_ls_dylib_fun:
 610   callq _ref_dylib_fun
 611   retq
 612
 613 ## Kept alive by a live undefined symbol.
 614 _ref_ls_undef_fun:
 615   callq _ref_undef_fun
 616   retq
 617
 618 ## All symbols in this live_support section reference dead symbols
 619 ## and are hence dead themselves.
 620 .section __TEXT,__unref_ls_bw,regular,live_support
 621 _unref_ls_fun_bw:
 622   callq _unref
 623   retq
 624
 625 _unref_ls_dylib_fun_bw:
 626   callq _unref_dylib_fun
 627   retq
 628
 629 _unref_ls_undef_fun_bw:
 630   callq _unref_undef_fun
 631   retq
 632
 633 .text
 634 .globl _unref
 635 _unref:
 636   retq
 637
 638 .globl _bar
 639 _bar:
 640   retq
 641
 642 .globl _foo
 643 _foo:
 644   callq _ref_ls_fun_fw
 645   retq
 646
 647 .globl _main
 648 _main:
 649   callq _ref_ls_fun_fw
 650   callq _foo
 651   callq _ref_dylib_fun
 652   callq _ref_undef_fun
 653   retq
 654
 655 .subsections_via_symbols
 656
 657 #--- live-support-iterations.s
 658 .section __TEXT,_ls,regular,live_support
 659
 660 ## This is a live_support subsection that only becomes
 661 ## live after _foo below is processed. This means the algorithm of
 662 ## 1. mark things reachable from gc roots live
 663 ## 2. go through live sections and mark the ones live pointing to
 664 ##    live symbols or sections
 665 ## needs more than one iteration, since _bar won't be live when step 2
 666 ## runs for the first time.
 667 ## (ld64 gets this wrong -- it has different output based on if _bar is
 668 ## before _foo or after it.)
 669 _bar:
 670   callq _foo_refd
 671   callq _bar_refd
 672   retq
 673
 674 ## Same here. This is maybe more interesting since it references a live_support
 675 ## symbol instead of a "normal" symbol.
 676 _baz:
 677   callq _foo_refd
 678   callq _baz_refd
 679   retq
 680
 681 _foo:
 682   callq _main
 683   callq _foo_refd
 684   retq
 685
 686 ## Test no_dead_strip on a symbol in a live_support section.
 687 ## ld64 ignores this, but that doesn't look intentional. So lld honors it.
 688 .no_dead_strip
 689 _quux:
 690   retq
 691
 692
 693 .text
 694 .globl _main
 695 _main:
 696   movq $0, %rax
 697   retq
 698
 699 _foo_refd:
 700   retq
 701
 702 _bar_refd:
 703   retq
 704
 705 _baz_refd:
 706   retq
 707
 708 .subsections_via_symbols
 709
 710 #--- unwind.s
 711 ## This is the output of `clang -O2 -S throw.cc` where throw.cc
 712 ## looks like this:
 713 ##     int unref() {
 714 ##       try {
 715 ##         throw 0;
 716 ##       } catch (int i) {
 717 ##         return i + 1;
 718 ##       }
 719 ##     }
 720 ##     int main() {
 721 ##       try {
 722 ##         throw 0;
 723 ##       } catch (int i) {
 724 ##         return i;
 725 ##       }
 726 ##     }
 727 .section __TEXT,__text,regular,pure_instructions
 728 .globl __Z5unrefv                      ## -- Begin function _Z5unrefv
 729 .p2align 4, 0x90
 730 __Z5unrefv:                             ## @_Z5unrefv
 731 Lfunc_begin0:
 732   .cfi_startproc
 733   .cfi_personality 155, ___gxx_personality_v0
 734   .cfi_lsda 16, Lexception0
 735 ## %bb.0:
 736   pushq  %rbp
 737   .cfi_def_cfa_offset 16
 738   .cfi_offset %rbp, -16
 739   movq  %rsp, %rbp
 740   .cfi_def_cfa_register %rbp
 741   subq  $16, %rsp
 742   movl  $4, %edi
 743   callq  ___cxa_allocate_exception
 744   movl  $0, (%rax)
 745 Ltmp0:
 746   movq  __ZTIi@GOTPCREL(%rip), %rsi
 747   movq  %rax, %rdi
 748   xorl  %edx, %edx
 749   callq  ___cxa_throw
 750 Ltmp1:
 751 ## %bb.1:
 752   ud2
 753 LBB0_2:
 754 Ltmp2:
 755   leaq  -4(%rbp), %rcx
 756   movq  %rax, %rdi
 757   movl  %edx, %esi
 758   movq  %rcx, %rdx
 759   callq  __Z5unrefv.cold.1
 760   movl  -4(%rbp), %eax
 761   addq  $16, %rsp
 762   popq  %rbp
 763   retq
 764 Lfunc_end0:
 765   .cfi_endproc
 766   .section  __TEXT,__gcc_except_tab
 767   .p2align 2
 768 GCC_except_table0:
 769 Lexception0:
 770   .byte 255                             ## @LPStart Encoding = omit
 771   .byte 155                             ## @TType Encoding = indirect pcrel sdata4
 772   .uleb128 Lttbase0-Lttbaseref0
 773 Lttbaseref0:
 774   .byte 1                               ## Call site Encoding = uleb128
 775   .uleb128 Lcst_end0-Lcst_begin0
 776 Lcst_begin0:
 777   .uleb128 Lfunc_begin0-Lfunc_begin0    ## >> Call Site 1 <<
 778   .uleb128 Ltmp0-Lfunc_begin0           ##   Call between Lfunc_begin0 and Ltmp0
 779   .byte 0                               ##     has no landing pad
 780   .byte 0                               ##   On action: cleanup
 781   .uleb128 Ltmp0-Lfunc_begin0           ## >> Call Site 2 <<
 782   .uleb128 Ltmp1-Ltmp0                  ##   Call between Ltmp0 and Ltmp1
 783   .uleb128 Ltmp2-Lfunc_begin0           ##     jumps to Ltmp2
 784   .byte 1                               ##   On action: 1
 785   .uleb128 Ltmp1-Lfunc_begin0           ## >> Call Site 3 <<
 786   .uleb128 Lfunc_end0-Ltmp1             ##   Call between Ltmp1 and Lfunc_end0
 787   .byte 0                               ##     has no landing pad
 788   .byte 0                               ##   On action: cleanup
 789 Lcst_end0:
 790   .byte 1                               ## >> Action Record 1 <<
 791                                         ##   Catch TypeInfo 1
 792   .byte 0                               ##   No further actions
 793   .p2align 2
 794                                         ## >> Catch TypeInfos <<
 795   .long  __ZTIi@GOTPCREL+4              ## TypeInfo 1
 796 Lttbase0:
 797   .p2align 2
 798                                         ## -- End function
 799   .section  __TEXT,__text,regular,pure_instructions
 800   .globl  _main                         ## -- Begin function main
 801   .p2align 4, 0x90
 802 _main:                                  ## @main
 803 Lfunc_begin1:
 804   .cfi_startproc
 805   .cfi_personality 155, ___gxx_personality_v0
 806   .cfi_lsda 16, Lexception1
 807 ## %bb.0:
 808   pushq  %rbp
 809   .cfi_def_cfa_offset 16
 810   .cfi_offset %rbp, -16
 811   movq  %rsp, %rbp
 812   .cfi_def_cfa_register %rbp
 813   pushq  %rbx
 814   pushq  %rax
 815   .cfi_offset %rbx, -24
 816   movl  $4, %edi
 817   callq  ___cxa_allocate_exception
 818   movl  $0, (%rax)
 819 Ltmp3:
 820   movq  __ZTIi@GOTPCREL(%rip), %rsi
 821   movq  %rax, %rdi
 822   xorl  %edx, %edx
 823   callq ___cxa_throw
 824 Ltmp4:
 825 ## %bb.1:
 826   ud2
 827 LBB1_2:
 828 Ltmp5:
 829   movq  %rax, %rdi
 830   callq ___cxa_begin_catch
 831   movl  (%rax), %ebx
 832   callq ___cxa_end_catch
 833   movl  %ebx, %eax
 834   addq  $8, %rsp
 835   popq  %rbx
 836   popq  %rbp
 837   retq
 838 Lfunc_end1:
 839   .cfi_endproc
 840   .section  __TEXT,__gcc_except_tab
 841   .p2align  2
 842 GCC_except_table1:
 843 Lexception1:
 844   .byte 255                             ## @LPStart Encoding = omit
 845   .byte 155                             ## @TType Encoding = indirect pcrel sdata4
 846   .uleb128 Lttbase1-Lttbaseref1
 847 Lttbaseref1:
 848   .byte 1                               ## Call site Encoding = uleb128
 849   .uleb128 Lcst_end1-Lcst_begin1
 850 Lcst_begin1:
 851   .uleb128 Lfunc_begin1-Lfunc_begin1    ## >> Call Site 1 <<
 852   .uleb128 Ltmp3-Lfunc_begin1           ##   Call between Lfunc_begin1 and Ltmp3
 853   .byte 0                               ##     has no landing pad
 854   .byte 0                               ##   On action: cleanup
 855   .uleb128 Ltmp3-Lfunc_begin1           ## >> Call Site 2 <<
 856   .uleb128 Ltmp4-Ltmp3                  ##   Call between Ltmp3 and Ltmp4
 857   .uleb128 Ltmp5-Lfunc_begin1           ##     jumps to Ltmp5
 858   .byte 1                               ##   On action: 1
 859   .uleb128 Ltmp4-Lfunc_begin1           ## >> Call Site 3 <<
 860   .uleb128 Lfunc_end1-Ltmp4             ##   Call between Ltmp4 and Lfunc_end1
 861   .byte 0                               ##     has no landing pad
 862   .byte 0                               ##   On action: cleanup
 863 Lcst_end1:
 864   .byte 1                               ## >> Action Record 1 <<
 865                                         ##   Catch TypeInfo 1
 866   .byte 0                               ##   No further actions
 867   .p2align 2
 868                                         ## >> Catch TypeInfos <<
 869   .long __ZTIi@GOTPCREL+4               ## TypeInfo 1
 870 Lttbase1:
 871   .p2align 2
 872                                         ## -- End function
 873   .section __TEXT,__text,regular,pure_instructions
 874   .p2align 4, 0x90                      ## -- Begin function _Z5unrefv.cold.1
 875 __Z5unrefv.cold.1:                      ## @_Z5unrefv.cold.1
 876   .cfi_startproc
 877 ## %bb.0:
 878   pushq  %rbp
 879   .cfi_def_cfa_offset 16
 880   .cfi_offset %rbp, -16
 881   movq  %rsp, %rbp
 882   .cfi_def_cfa_register %rbp
 883   pushq  %rbx
 884   pushq  %rax
 885   .cfi_offset %rbx, -24
 886   movq  %rdx, %rbx
 887   callq  ___cxa_begin_catch
 888   movl  (%rax), %eax
 889   incl  %eax
 890   movl  %eax, (%rbx)
 891   addq  $8, %rsp
 892   popq  %rbx
 893   popq  %rbp
 894   jmp  ___cxa_end_catch                 ## TAILCALL
 895   .cfi_endproc
 896                                         ## -- End function
 897 .subsections_via_symbols
 898
 899 #--- weak-ref.s
 900 .text
 901 .weak_reference _ref_dylib_fun
 902 .globl _main
 903 _main:
 904   callq _ref_dylib_fun
 905   retq
 906
 907 .subsections_via_symbols
 908
 909 #--- strong-dead-ref.s
 910 .text
 911 .globl _unref_dylib_fun
 912 _unref:
 913   callq _unref_dylib_fun
 914   retq
 915
 916 .subsections_via_symbols
 917
 918 #--- weak-dylib.s
 919 .text
 920 .globl _weak_in_dylib
 921 .weak_definition _weak_in_dylib
 922 _weak_in_dylib:
 923   retq
 924
 925 .subsections_via_symbols
 926
 927 #--- dead-weak-override.s
 928
 929 ## Overrides the _weak_in_dylib symbol in weak-dylib, but is dead stripped.
 930 .text
 931
 932 #.no_dead_strip _weak_in_dylib
 933 .globl _weak_in_dylib
 934 _weak_in_dylib:
 935   retq
 936
 937 .globl _main
 938 _main:
 939   retq
 940
 941 .subsections_via_symbols
 942
 943 #--- debug.s
 944 .text
 945 .globl _unref
 946 _unref:
 947   retq
 948
 949 .globl _main
 950 _main:
 951   retq
 952
 953 .subsections_via_symbols
 954
 955 #--- no-dead-symbols.s
 956 .text
 957 .globl _main
 958 _main:
 959   retq
 960
 961 #--- literals.s
 962 .cstring
 963 _unref_foo:
 964   .ascii "foo"
 965 _bar:
 966 Lbar:
 967   .asciz "bar"
 968 _unref_baz:
 969   .asciz "baz"
 970
 971 .literal4
 972 .p2align 2
 973 L._foo4:
 974   .long 0xdeadbeef
 975 L._bar4:
 976   .long 0xdeadbeef
 977 L._unref:
 978   .long 0xfeedface
 979
 980 .section __DATA,str_ptrs,literal_pointers
 981 .globl _data
 982 _data:
 983   .quad _bar
 984   .quad Lbar
 985
 986 ## The output binary has these integer literals put into a section that isn't
 987 ## marked with a S_*BYTE_LITERALS flag, so we don't mark word_ptrs with the
 988 ## S_LITERAL_POINTERS flag in order not to confuse llvm-objdump.
 989 .section __DATA,word_ptrs
 990 .globl _more_data
 991 _more_data:
 992   .quad L._foo4
 993   .quad L._bar4
 994
 995 .subsections_via_symbols
 996
 997 #--- ref-undef.s
 998 .globl _main
 999 _main:
1000   callq _ref_undef_fun
1001 .subsections_via_symbols
1002
1003 #--- addrsig.s
1004 .globl _main, _addrsig
1005 _main:
1006   retq
1007
1008 _addrsig:
1009   retq
1010
1011 .subsections_via_symbols
1012
1013 .addrsig
1014 .addrsig_sym _addrsig