lld/test/MachO/export-options.s

   1 # REQUIRES: x86
   2
   3 # RUN: rm -rf %t; split-file %s %t
   4 # RUN: echo "" | llvm-mc -filetype=obj -triple=x86_64-apple-macos -o %t/empty.o
   5 # RUN: llvm-mc -filetype=obj -triple=x86_64-apple-macos %t/default.s -o %t/default.o
   6 # RUN: llvm-mc -filetype=obj -triple=x86_64-apple-macos %t/lazydef.s -o %t/lazydef.o
   7 # RUN: llvm-mc -filetype=obj -triple=x86_64-apple-macos %t/too-many-warnings.s -o %t/too-many-warnings.o
   8 # RUN: llvm-ar --format=darwin rcs %t/lazydef.a %t/lazydef.o
   9
  10 ## Check that mixing exported and unexported symbol options yields an error
  11 # RUN: not %lld -dylib %t/default.o -o /dev/null \
  12 # RUN:         -exported_symbol a -unexported_symbol b 2>&1 | \
  13 # RUN:     FileCheck --check-prefix=CONFLICT %s
  14 #
  15 # RUN: not %lld -dylib %t/default.o -o /dev/null \
  16 # RUN:         -exported_symbols_list /dev/null -unexported_symbol b 2>&1 | \
  17 # RUN:     FileCheck --check-prefix=CONFLICT %s
  18 #
  19 # RUN: not %lld -dylib %t/default.o -o /dev/null \
  20 # RUN:         -no_exported_symbols -unexported_symbol b 2>&1 | \
  21 # RUN:     FileCheck --check-prefix=CONFLICT %s
  22 #
  23 # RUN: not %lld -dylib %t/default.o -o /dev/null \
  24 # RUN:         -no_exported_symbols -exported_symbol b 2>&1 | \
  25 # RUN:     FileCheck --check-prefix=CONFLICT-NO-EXPORTS %s
  26 #
  27 # RUN: not %lld -dylib %t/default.o -o /dev/null \
  28 # RUN:         -no_exported_symbols -exported_symbols_list %t/literals.txt 2>&1 | \
  29 # RUN:     FileCheck --check-prefix=CONFLICT-NO-EXPORTS %s
  30
  31 # CONFLICT: error: cannot use both -exported_symbol* and -unexported_symbol* options
  32
  33 # CONFLICT-NO-EXPORTS: error: cannot use both -exported_symbol* and -no_exported_symbols options
  34
  35 ## Check that an exported literal name with no symbol definition yields an error
  36 ## but that an exported glob-pattern with no matching symbol definition is OK
  37 # RUN: not %lld -dylib %t/default.o -o /dev/null \
  38 # RUN:         -exported_symbol absent_literal \
  39 # RUN:         -exported_symbol absent_gl?b 2>&1 | \
  40 # RUN:     FileCheck --check-prefix=UNDEF %s
  41
  42 # UNDEF: error: undefined symbol: absent_literal
  43 # UNDEF-NEXT: >>> referenced by -exported_symbol(s_list)
  44 # UNDEF-NOT: error: {{.*}} absent_gl{{.}}b
  45
  46 ## Check that dynamic_lookup suppresses the error
  47 # RUN: %lld -dylib %t/default.o -undefined dynamic_lookup -o %t/dyn-lookup \
  48 # RUN:      -exported_symbol absent_literal
  49 # RUN: llvm-objdump --macho --syms %t/dyn-lookup | FileCheck %s --check-prefix=DYN
  50 # DYN: *UND* absent_literal
  51
  52 ## Check that exported literal symbols are present in output's
  53 ## symbol table, even lazy symbols which would otherwise be omitted
  54 # RUN: %lld -dylib %t/default.o %t/lazydef.a -o %t/lazydef \
  55 # RUN:         -exported_symbol _keep_globl \
  56 # RUN:         -exported_symbol _keep_lazy
  57 # RUN: llvm-objdump --syms %t/lazydef | \
  58 # RUN:     FileCheck --check-prefix=EXPORT %s
  59
  60 # EXPORT-DAG: g     F __TEXT,__text _keep_globl
  61 # EXPORT-DAG: g     F __TEXT,__text _keep_lazy
  62
  63 ## Check that exported symbol is global
  64 # RUN: %no-fatal-warnings-lld -dylib %t/default.o -o %t/hidden-export \
  65 # RUN:         -exported_symbol _private_extern 2>&1 | \
  66 # RUN:     FileCheck --check-prefix=PRIVATE %s
  67
  68 # PRIVATE: warning: cannot export hidden symbol _private_extern
  69
  70 ## Check that we still hide the other symbols despite the warning
  71 # RUN: llvm-objdump --macho --exports-trie %t/hidden-export | \
  72 # RUN:     FileCheck --check-prefix=EMPTY-TRIE %s
  73 # EMPTY-TRIE:       Exports trie:
  74 # EMPTY-TRIE-EMPTY:
  75
  76 ## Check that the export trie is unaltered
  77 # RUN: %lld -dylib %t/default.o -o %t/default
  78 # RUN: llvm-objdump --macho --exports-trie %t/default | \
  79 # RUN:     FileCheck --check-prefix=DEFAULT %s
  80
  81 # DEFAULT-LABEL: Exports trie:
  82 # DEFAULT-DAG:   _hide_globl
  83 # DEFAULT-DAG:   _keep_globl
  84 # DEFAULT-NOT:   _private_extern
  85
  86 ## Check that the export trie is shaped by an allow list and then
  87 ## by a deny list. Both lists are designed to yield the same result.
  88
  89 ## Check the allow list
  90 # RUN: %lld -dylib %t/default.o -o %t/allowed \
  91 # RUN:     -exported_symbol _keep_globl
  92 # RUN: llvm-objdump --macho --exports-trie %t/allowed | \
  93 # RUN:     FileCheck --check-prefix=TRIE %s
  94 # RUN: llvm-nm -m %t/allowed | \
  95 # RUN:     FileCheck --check-prefix=NM %s
  96
  97 ## Check the deny list
  98 # RUN: %lld -dylib %t/default.o -o %t/denied \
  99 # RUN:     -unexported_symbol _hide_globl
 100 # RUN: llvm-objdump --macho --exports-trie %t/denied | \
 101 # RUN:     FileCheck --check-prefix=TRIE %s
 102 # RUN: llvm-nm -m %t/denied | \
 103 # RUN:     FileCheck --check-prefix=NM %s
 104
 105 # TRIE-LABEL: Exports trie:
 106 # TRIE-DAG:   _keep_globl
 107 # TRIE-NOT:   _hide_globl
 108 # TRIE-NOT:   _private_extern
 109
 110 # NM-DAG: external _keep_globl
 111 # NM-DAG: non-external (was a private external) _hide_globl
 112 # NM-DAG: non-external (was a private external) _private_extern
 113
 114 # RUN: llvm-mc -filetype=obj -triple=x86_64-apple-macos \
 115 # RUN:     %t/symdefs.s -o %t/symdefs.o
 116
 117 ## Check that only string-literal patterns match
 118 ## Check that comments and blank lines are stripped from symbol list
 119 # RUN: %lld -dylib %t/symdefs.o -o %t/literal \
 120 # RUN:     -exported_symbols_list %t/literals.txt
 121 # RUN: llvm-objdump --macho --exports-trie %t/literal | \
 122 # RUN:     FileCheck --check-prefix=LITERAL %s
 123
 124 # LITERAL-DAG: literal_only
 125 # LITERAL-DAG: literal_also
 126 # LITERAL-DAG: globby_also
 127 # LITERAL-NOT: globby_only
 128
 129 ## Check that only glob patterns match
 130 ## Check that comments and blank lines are stripped from symbol list
 131 # RUN: %lld -dylib %t/symdefs.o -o %t/globby \
 132 # RUN:     -exported_symbols_list %t/globbys.txt
 133 # RUN: llvm-objdump --macho --exports-trie %t/globby | \
 134 # RUN:     FileCheck --check-prefix=GLOBBY %s
 135
 136 # GLOBBY-DAG: literal_also
 137 # GLOBBY-DAG: globby_only
 138 # GLOBBY-DAG: globby_also
 139 # GLOBBY-NOT: literal_only
 140
 141 # RUN: llvm-mc -filetype=obj -triple=x86_64-apple-macos \
 142 # RUN:     %t/autohide.s -o %t/autohide.o
 143 # RUN: llvm-mc -filetype=obj -triple=x86_64-apple-macos \
 144 # RUN:     %t/autohide-private-extern.s -o %t/autohide-private-extern.o
 145 # RUN: llvm-mc -filetype=obj -triple=x86_64-apple-macos \
 146 # RUN:     %t/glob-private-extern.s -o %t/glob-private-extern.o
 147 # RUN: llvm-mc -filetype=obj -triple=x86_64-apple-macos \
 148 # RUN:     %t/weak-private-extern.s -o %t/weak-private-extern.o
 149 ## Test that we can export the autohide symbol but not when it's also
 150 ## private-extern
 151 # RUN: %lld -dylib -exported_symbol "_foo" %t/autohide.o -o %t/exp-autohide.dylib
 152 # RUN: llvm-nm -g %t/exp-autohide.dylib | FileCheck %s --check-prefix=EXP-AUTOHIDE
 153
 154 # RUN: not %lld -dylib -exported_symbol "_foo" %t/autohide-private-extern.o \
 155 # RUN:   -o /dev/null  2>&1 | FileCheck %s --check-prefix=AUTOHIDE-PRIVATE
 156
 157 # RUN: not %lld -dylib -exported_symbol "_foo" %t/autohide.o \
 158 # RUN:   %t/glob-private-extern.o -o /dev/null 2>&1 | \
 159 # RUN:   FileCheck %s --check-prefix=AUTOHIDE-PRIVATE
 160
 161 # RUN: not %lld -dylib -exported_symbol "_foo" %t/autohide.o \
 162 # RUN:   %t/weak-private-extern.o -o /dev/null 2>&1 | \
 163 # RUN:   FileCheck %s --check-prefix=AUTOHIDE-PRIVATE
 164
 165 ## Test that exported hidden symbols are still treated as a liveness root.
 166 ## This previously used to crash when enabling -dead_strip since it's unconventional
 167 ## to add treat private extern symbols as a liveness root.
 168 # RUN: %no-fatal-warnings-lld -dylib -exported_symbol "_foo" %t/autohide-private-extern.o \
 169 # RUN:   -dead_strip -o %t/exported-hidden
 170 # RUN: llvm-nm -m %t/exported-hidden | FileCheck %s --check-prefix=AUTOHIDE-PRIVATE-DEAD-STRIP
 171
 172 # RUN: %no-fatal-warnings-lld -dylib -exported_symbol "_foo" %t/autohide.o \
 173 # RUN:   -dead_strip %t/glob-private-extern.o -o %t/exported-hidden
 174 # RUN: llvm-nm -m %t/exported-hidden | FileCheck %s --check-prefix=AUTOHIDE-PRIVATE-DEAD-STRIP
 175
 176 # RUN: %no-fatal-warnings-lld -dylib -exported_symbol "_foo" %t/autohide.o \
 177 # RUN:   -dead_strip %t/weak-private-extern.o -o %t/exported-hidden
 178 # RUN: llvm-nm -m %t/exported-hidden | FileCheck %s --check-prefix=AUTOHIDE-PRIVATE-DEAD-STRIP
 179
 180 # EXP-AUTOHIDE: T _foo
 181 # AUTOHIDE-PRIVATE: error: cannot export hidden symbol _foo
 182 # AUTOHIDE-PRIVATE-DEAD-STRIP: (__TEXT,__text) non-external (was a private external) _foo
 183
 184 ## Test not exporting any symbols
 185 # RUN: %lld -dylib %t/symdefs.o -o %t/noexports -exported_symbols_list /dev/null
 186 # RUN: llvm-objdump --macho --exports-trie %t/noexports | FileCheck --check-prefix=NOEXPORTS %s
 187 # RUN: %lld -dylib %t/symdefs.o -o %t/noexports -no_exported_symbols
 188 # RUN: llvm-objdump --macho --exports-trie %t/noexports | FileCheck --check-prefix=NOEXPORTS %s
 189
 190 # NOEXPORTS-NOT: globby_also
 191 # NOEXPORTS-NOT: globby_only
 192 # NOEXPORTS-NOT: literal_also
 193 # NOEXPORTS-NOT: literal_only
 194
 195 # RUN: %lld -dylib %t/default.o -o %t/libdefault.dylib
 196 # RUN: %lld -dylib %t/empty.o %t/libdefault.dylib -exported_symbol _keep_globl \
 197 # RUN:   -exported_symbol _undef -exported_symbol _tlv \
 198 # RUN:   -undefined dynamic_lookup -o %t/reexport-dylib
 199 # RUN: llvm-objdump --macho --exports-trie %t/reexport-dylib
 200
 201 # REEXPORT:      Exports trie:
 202 # REEXPORT-NEXT: [re-export] _tlv [per-thread] (from libdefault)
 203 # REEXPORT-NEXT: [re-export] _keep_globl (from libdefault)
 204 # REEXPORT-NEXT: [re-export] _undef (from unknown)
 205
 206 ## -unexported_symbol will not make us re-export symbols in dylibs.
 207 # RUN: %lld -dylib %t/default.o -o %t/libdefault.dylib
 208 # RUN: %lld -dylib %t/empty.o %t/libdefault.dylib -unexported_symbol _tlv \
 209 # RUN:   -o %t/unexport-dylib
 210 # RUN: llvm-objdump --macho --exports-trie %t/unexport-dylib | FileCheck %s \
 211 # RUN:   --check-prefix=EMPTY-TRIE
 212
 213 ## Check that warnings are truncated to the first 3 only.
 214 # RUN: %no-fatal-warnings-lld -dylib %t/too-many-warnings.o -o %t/too-many.out \
 215 # RUN:         -exported_symbol "_private_extern*" 2>&1 | \
 216 # RUN:     FileCheck --check-prefix=TRUNCATE %s
 217
 218 # TRUNCATE: warning: cannot export hidden symbol _private_extern{{.+}}
 219 # TRUNCATE: warning: cannot export hidden symbol _private_extern{{.+}}
 220 # TRUNCATE: warning: cannot export hidden symbol _private_extern{{.+}}
 221 # TRUNCATE: warning: <... 7 more similar warnings...>
 222 # TRUNCATE-EMPTY:
 223
 224 #--- default.s
 225
 226 .globl _keep_globl, _hide_globl, _tlv
 227 _keep_globl:
 228   retq
 229 _hide_globl:
 230   retq
 231 .private_extern _private_extern
 232 _private_extern:
 233   retq
 234 _private:
 235   retq
 236
 237 .section __DATA,__thread_vars,thread_local_variables
 238 _tlv:
 239
 240 #--- lazydef.s
 241
 242 .globl _keep_lazy
 243 _keep_lazy:
 244   retq
 245
 246 #--- symdefs.s
 247
 248 .globl literal_only, literal_also, globby_only, globby_also
 249 literal_only:
 250   retq
 251 literal_also:
 252   retq
 253 globby_only:
 254   retq
 255 globby_also:
 256   retq
 257
 258 #--- literals.txt
 259
 260   literal_only # comment
 261   literal_also
 262
 263 # globby_only
 264   globby_also
 265
 266 #--- globbys.txt
 267
 268 # literal_only
 269   l?ter[aeiou]l_*[^y] # comment
 270
 271   *gl?bby_*
 272
 273 #--- autohide.s
 274 .globl _foo
 275 .weak_def_can_be_hidden _foo
 276 _foo:
 277   retq
 278
 279 #--- autohide-private-extern.s
 280 .globl _foo
 281 .weak_def_can_be_hidden _foo
 282 .private_extern _foo
 283 _foo:
 284   retq
 285
 286 #--- glob-private-extern.s
 287 .global _foo
 288 .private_extern _foo
 289 _foo:
 290   retq
 291
 292 #--- weak-private-extern.s
 293 .global _foo
 294 .weak_definition _foo
 295 .private_extern _foo
 296 _foo:
 297   retq
 298
 299 #--- too-many-warnings.s
 300 .private_extern _private_extern1
 301 .private_extern _private_extern2
 302 .private_extern _private_extern3
 303 .private_extern _private_extern4
 304 .private_extern _private_extern5
 305 .private_extern _private_extern6
 306 .private_extern _private_extern7
 307 .private_extern _private_extern8
 308 .private_extern _private_extern9
 309 .private_extern _private_extern10
 310
 311 _private_extern1:
 312   retq
 313
 314 _private_extern2:
 315   retq
 316
 317 _private_extern3:
 318   retq
 319
 320 _private_extern4:
 321   retq
 322
 323 _private_extern5:
 324   retq
 325
 326 _private_extern6:
 327   retq
 328
 329 _private_extern7:
 330   retq
 331
 332 _private_extern8:
 333   retq
 334
 335 _private_extern9:
 336   retq
 337
 338 _private_extern10:
 339   retq