1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
|
; REQUIRES: x86
;; Check that we internalize bitcode symbols (only) where possible, i.e. when
;; they are not referenced by undefined symbols originating from non-bitcode
;; files.
; RUN: rm -rf %t; split-file %s %t
; RUN: llvm-as %t/test.s -o %t/test.o
; RUN: llvm-as %t/baz.s -o %t/baz.o
; RUN: llvm-mc -filetype=obj -triple=x86_64-apple-darwin %t/regular.s -o %t/regular.o
; RUN: %lld -lSystem %t/test.o %t/baz.o %t/regular.o -o %t/test -save-temps
; RUN: llvm-dis < %t/test.0.2.internalize.bc | FileCheck %s
; RUN: llvm-objdump --macho --syms %t/test | FileCheck %s --check-prefix=SYMTAB
; CHECK: @comm = internal global
; CHECK: @comm_hide = internal global
;; Check that main is not internalized. This covers the case of bitcode symbols
;; referenced by undefined symbols that don't belong to any InputFile.
; CHECK: define dso_local void @main()
;; Check that the foo and bar functions are correctly internalized.
; CHECK: define internal void @bar()
; CHECK: define internal void @foo()
;; Check that a bitcode symbol that is referenced by a regular object file isn't
;; internalized.
; CHECK: define dso_local void @used_in_regular_obj()
;; Check that a bitcode symbol that is defined in another bitcode file gets
;; internalized.
; CHECK: define internal void @baz()
;; Check that all internalized symbols are not emitted to the symtab
; SYMTAB-LABEL: SYMBOL TABLE:
; SYMTAB-DAG: g F __TEXT,__text _main
; SYMTAB-DAG: g F __TEXT,__text _used_in_regular_obj
; SYMTAB-DAG: g F __TEXT,__text __mh_execute_header
; SYMTAB-DAG: *UND* dyld_stub_binder
; SYMTAB-EMPTY:
; RUN: %lld -lSystem -dylib %t/test.o %t/baz.o %t/regular.o -o %t/test.dylib -save-temps
; RUN: llvm-dis < %t/test.dylib.0.2.internalize.bc | FileCheck %s --check-prefix=DYN
; RUN: llvm-nm -m %t/test.dylib | FileCheck %s --check-prefix=DYN-SYMS \
; RUN: --implicit-check-not _foo
; RUN: %lld -lSystem -export_dynamic %t/test.o %t/baz.o %t/regular.o -o %t/test.extdyn -save-temps
; RUN: llvm-dis < %t/test.extdyn.0.2.internalize.bc
; RUN: llvm-nm -m %t/test.extdyn | FileCheck %s --check-prefix=DYN-SYMS \
; RUN: --implicit-check-not _foo
;; Note that only foo() gets internalized here; everything else that isn't
;; hidden must be exported.
; DYN: @comm = common dso_local global
; DYN: @comm_hide = internal global
; DYN: define dso_local void @main()
; DYN: define dso_local void @bar()
; DYN: define internal void @foo()
; DYN: define dso_local void @used_in_regular_obj()
; DYN: define dso_local void @baz()
; DYN-SYMS-DAG: (__TEXT,__text) external _bar
; DYN-SYMS-DAG: (__TEXT,__text) external _baz
; DYN-SYMS-DAG: (__DATA,__common) external _comm
; DYN-SYMS-DAG: (__TEXT,__text) external _main
; DYN-SYMS-DAG: (__TEXT,__text) external _used_in_regular_obj
;--- test.s
target triple = "x86_64-apple-macosx10.15.0"
target datalayout = "e-m:o-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
;; Common symbols are always external.
@comm = common global i8 0, align 1
@comm_hide = common hidden global i8 0, align 1
declare void @baz()
define void @main() {
call void @bar()
call void @baz()
ret void
}
define void @bar() {
ret void
}
define hidden void @foo() {
ret void
}
define void @used_in_regular_obj() {
ret void
}
;--- baz.s
target triple = "x86_64-apple-macosx10.15.0"
target datalayout = "e-m:o-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
define void @baz() {
ret void
}
;--- regular.s
.data
.quad _used_in_regular_obj
|
