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
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
|
; Test workload based importing via -thinlto-workload-def
;
; Set up
; RUN: rm -rf %t
; RUN: mkdir -p %t
; RUN: split-file %s %t
;
; RUN: opt -module-summary %t/m1.ll -o %t/m1.bc
; RUN: opt -module-summary %t/m2.ll -o %t/m2.bc
; RUN: opt -module-summary %t/m3.ll -o %t/m3.bc
; RUN: rm -rf %t_baseline
; RUN: rm -rf %t_exp
; RUN: mkdir -p %t_baseline
; RUN: mkdir -p %t_exp
;
; Normal run. m1 shouldn't get m2_f1 because it's not referenced from there.
;
; RUN: llvm-lto2 run %t/m1.bc %t/m2.bc %t/m3.bc \
; RUN: -o %t_baseline/result.o -save-temps \
; RUN: -r %t/m1.bc,m1_f1,plx \
; RUN: -r %t/m1.bc,interposable_f,p \
; RUN: -r %t/m1.bc,noninterposable_f \
; RUN: -r %t/m1.bc,m1_variant \
; RUN: -r %t/m1.bc,m2_f1_alias \
; RUN: -r %t/m2.bc,m2_f1,plx \
; RUN: -r %t/m2.bc,m2_f1_alias,plx \
; RUN: -r %t/m2.bc,interposable_f \
; RUN: -r %t/m2.bc,noninterposable_f,p \
; RUN: -r %t/m2.bc,m2_variant \
; RUN: -r %t/m3.bc,m1_f1 \
; RUN: -r %t/m3.bc,m3_f1,plx
; RUN: llvm-dis %t_baseline/result.o.1.3.import.bc -o - | FileCheck %s --check-prefix=NOPROF
;
; NOPROF-NOT: m2_f1()
;
; The run with workload definitions - same other options.
;
; RUN: echo '{ \
; RUN: "m1_f1": ["m1_f1", "m2_f1", "m2_f1_alias", "interposable_f", "noninterposable_f"], \
; RUN: "m2_f1": ["m1_f1", "m1_f2", "interposable_f"] \
; RUN: }' > %t_exp/workload_defs.json
;
; RUN: llvm-lto2 run %t/m1.bc %t/m2.bc %t/m3.bc \
; RUN: -o %t_exp/result.o -save-temps \
; RUN: -thinlto-workload-def=%t_exp/workload_defs.json \
; RUN: -r %t/m1.bc,m1_f1,plx \
; RUN: -r %t/m1.bc,interposable_f,p \
; RUN: -r %t/m1.bc,noninterposable_f \
; RUN: -r %t/m1.bc,m1_variant \
; RUN: -r %t/m1.bc,m2_f1_alias \
; RUN: -r %t/m2.bc,m2_f1,plx \
; RUN: -r %t/m2.bc,m2_f1_alias,plx \
; RUN: -r %t/m2.bc,interposable_f \
; RUN: -r %t/m2.bc,noninterposable_f,p \
; RUN: -r %t/m2.bc,m2_variant \
; RUN: -r %t/m3.bc,m1_f1 \
; RUN: -r %t/m3.bc,m3_f1,plx
; RUN: llvm-dis %t_exp/result.o.1.3.import.bc -o - | FileCheck %s --check-prefix=FIRST
; RUN: llvm-dis %t_exp/result.o.2.3.import.bc -o - | FileCheck %s --check-prefix=SECOND
; RUN: llvm-dis %t_exp/result.o.3.3.import.bc -o - | FileCheck %s --check-prefix=THIRD
;
; The third module is bitwse-identical to the "normal" run, as the workload
; defintion doesn't mention it.
;
; RUN: diff %t_baseline/result.o.3.3.import.bc %t_exp/result.o.3.3.import.bc
;
; This time, we expect m1 to have m2_f1 and the m2 variant of both interposable_f
; and noninterposable_f
;
; FIRST-LABEL: @m1_f1
; FIRST-LABEL: @m1_f2.llvm.0
;
; @interposable_f is prevailing in m1, so it won't be imported
; FIRST-LABEL: define void @interposable_f
; FIRST-NEXT: call void @m1_variant
;
; FIRST-LABEL: @m2_f1
;
; @noninterposable_f is prevailing in m2 so it will be imported from there.
; FIRST-LABEL: define available_externally void @noninterposable_f
; FIRST-NEXT: call void @m2_variant
;
; FIRST-LABEL: define available_externally void @m2_f1_alias
;
; For the second module we expect to get the functions imported from m1: m1_f1
; and m1_f2. interposable_f will also come from m1 because that's where its
; prevailing variant is.
; SECOND-LABEL: @m2_f1
;
; SECOND-LABEL: define weak_odr void @noninterposable_f
; SECOND-NEXT: call void @m2_variant()
; SECOND-LABEL: @m1_f1
; SECOND-LABEL: define available_externally hidden void @m1_f2.llvm.0
;
; we import @interposable_f from m1, the prevailing variant.
; SECOND-LABEL: define available_externally void @interposable_f
; SECOND-NEXT: call void @m1_variant
;
; The third module remains unchanged. The more robust test is the `diff` test
; in the run lines above.
; THIRD-LABEL: define available_externally void @m1_f1
;--- m1.ll
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-pc-linux-gnu"
declare void @m1_variant()
declare void @m2_f1_alias()
define dso_local void @m1_f1() {
call void @m1_f2()
call void @noninterposable_f()
ret void
}
define internal void @m1_f2() {
call void @interposable_f()
ret void
}
define external void @interposable_f() {
call void @m1_variant()
ret void
}
define linkonce_odr void @noninterposable_f() {
call void @m1_variant()
ret void
}
;--- m2.ll
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-pc-linux-gnu"
declare void @m2_variant()
define dso_local void @m2_f1() {
call void @interposable_f()
call void @noninterposable_f()
ret void
}
@m2_f1_alias = alias void (...), ptr @m2_f1
define weak void @interposable_f() {
call void @m2_variant()
ret void
}
define linkonce_odr void @noninterposable_f() {
call void @m2_variant()
ret void
}
;--- m3.ll
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-pc-linux-gnu"
declare void @m1_f1()
define dso_local void @m3_f1() {
call void @m1_f1()
ret void
}
|
