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
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
|
#!/bin/sh
set -eu
: "${CPU_AS:?}" "${CPU_LD:?}" "${CPU_RUN:?}" "${CPU_READELF:?}" "${CPU_AR:?}"
TMP=${TMPDIR:-/tmp}/libmcpu-static-archive-link-$$
mkdir -p "$TMP/lib" "$TMP/first" "$TMP/second" "$TMP/order"
trap 'rm -rf "$TMP"' EXIT HUP INT TERM
cat > "$TMP/main-entry.s" <<'EOS'
.global _life
.extern entry
.text
_start_life:
LDI r64@0x00000, 40
CALL entry
MOV r64@0x00018, r64@0x00000
LDI r32@0x00030, 0
EXIT r32@0x00030
EOS
cat > "$TMP/helper.s" <<'EOS'
.global helper
.text
helper:
LDI r64@0x00008, 2
IADD r64@0x00000, r64@0x00000, r64@0x00008
RET
EOS
cat > "$TMP/entry.s" <<'EOS'
.global entry
.extern helper
.text
entry:
CALL helper
RET
EOS
cat > "$TMP/unused.s" <<'EOS'
.global unused
.extern missing_forever
.text
unused:
CALL missing_forever
RET
EOS
"$CPU_AS" -o "$TMP/main-entry.o" "$TMP/main-entry.s"
"$CPU_AS" -o "$TMP/helper.o" "$TMP/helper.s"
"$CPU_AS" -o "$TMP/entry.o" "$TMP/entry.s"
"$CPU_AS" -o "$TMP/unused.o" "$TMP/unused.s"
# The archive intentionally has no symbol-index member. helper.o precedes
# entry.o: entry.o is extracted first, introduces an undefined helper, and a
# repeated scan must then reach the earlier helper.o. unused.o must never be
# extracted, otherwise its missing_forever reference would break the link.
"$CPU_AR" rc "$TMP/lib/libchain.a" \
"$TMP/helper.o" "$TMP/entry.o" "$TMP/unused.o"
"$CPU_LD" --stack-size=4096 --no-heap -L"$TMP/lib" -lchain \
-o "$TMP/static-chain" "$TMP/main-entry.o"
[ "`"$CPU_RUN" --int-reg=r64@0x00018 "$TMP/static-chain"`" = 42 ]
# ABI-v3 also falls back to a static archive when no libchain.so exists.
# Extracted members are part of the output image and therefore add no NEEDED.
"$CPU_LD" --dynamic --stack-size=4096 --no-heap \
-L"$TMP/lib" -lchain -o "$TMP/dynamic-chain" "$TMP/main-entry.o"
[ "`"$CPU_RUN" --int-reg=r64@0x00018 "$TMP/dynamic-chain"`" = 42 ]
"$CPU_READELF" -d "$TMP/dynamic-chain" > "$TMP/dynamic-chain.dynamic"
[ "`grep -c 'NEEDED' "$TMP/dynamic-chain.dynamic" || true`" -eq 0 ]
# ABI-v3 ET_DYN output follows the same static-archive fallback rule. The
# selected members become part of the shared object and do not add NEEDED.
cat > "$TMP/wrapper.s" <<'EOS'
.global wrapper
.extern entry
.text
wrapper:
CALL entry
RET
EOS
"$CPU_AS" -o "$TMP/wrapper.o" "$TMP/wrapper.s"
"$CPU_LD" --shared --soname=libwrapper.so.1 \
-L"$TMP/lib" -lchain -o "$TMP/libwrapper.so" "$TMP/wrapper.o"
"$CPU_READELF" -d "$TMP/libwrapper.so" > "$TMP/libwrapper.dynamic"
grep -q 'SONAME.*\[libwrapper.so.1\]' "$TMP/libwrapper.dynamic"
[ "`grep -c 'NEEDED' "$TMP/libwrapper.dynamic" || true`" -eq 0 ]
# A weak undefined symbol does not cause archive extraction. Its PTR64
# relocation therefore remains the established NULL weak result.
cat > "$TMP/weak-main.s" <<'EOS'
.global _life
.weak optional
.data
optional_ptr:
.ptr optional
.text
_start_life:
LDI r32@0x00030, 0
EXIT r32@0x00030
EOS
cat > "$TMP/optional.s" <<'EOS'
.global optional
.text
optional:
RET
EOS
"$CPU_AS" -o "$TMP/weak-main.o" "$TMP/weak-main.s"
"$CPU_AS" -o "$TMP/optional.o" "$TMP/optional.s"
"$CPU_AR" rcs "$TMP/lib/liboptional.a" "$TMP/optional.o"
"$CPU_LD" --stack-size=4096 --no-heap -L"$TMP/lib" -loptional \
-o "$TMP/weak-main" "$TMP/weak-main.o"
[ "`"$CPU_RUN" --int-data=64@16 "$TMP/weak-main"`" = 0 ]
# Static archive order across -l operands follows traditional one-pass library
# semantics. A later archive can satisfy references introduced by an earlier
# one, but an already-scanned archive is not implicitly revisited.
cat > "$TMP/order-main.s" <<'EOS'
.global _life
.extern a1
.text
_start_life:
LDI r64@0x00000, 40
CALL a1
MOV r64@0x00018, r64@0x00000
LDI r32@0x00030, 0
EXIT r32@0x00030
EOS
cat > "$TMP/a1.s" <<'EOS'
.global a1
.extern b1
.text
a1:
CALL b1
RET
EOS
cat > "$TMP/a2.s" <<'EOS'
.global a2
.text
a2:
LDI r64@0x00008, 2
IADD r64@0x00000, r64@0x00000, r64@0x00008
RET
EOS
cat > "$TMP/b1.s" <<'EOS'
.global b1
.extern a2
.text
b1:
CALL a2
RET
EOS
"$CPU_AS" -o "$TMP/order-main.o" "$TMP/order-main.s"
"$CPU_AS" -o "$TMP/a1.o" "$TMP/a1.s"
"$CPU_AS" -o "$TMP/a2.o" "$TMP/a2.s"
"$CPU_AS" -o "$TMP/b1.o" "$TMP/b1.s"
"$CPU_AR" rcs "$TMP/order/liba.a" "$TMP/a1.o" "$TMP/a2.o"
"$CPU_AR" rcs "$TMP/order/libb.a" "$TMP/b1.o"
if "$CPU_LD" --stack-size=4096 --no-heap -L"$TMP/order" \
-la -lb -o "$TMP/order-fail" "$TMP/order-main.o" \
>/dev/null 2>"$TMP/order-fail.err"; then
echo "previous archive was unexpectedly rescanned across -l operands" >&2
exit 1
fi
grep -q 'undefined symbol: a2' "$TMP/order-fail.err"
"$CPU_LD" --stack-size=4096 --no-heap -L"$TMP/order" \
-la -lb -la -o "$TMP/order-ok" "$TMP/order-main.o"
[ "`"$CPU_RUN" --int-reg=r64@0x00018 "$TMP/order-ok"`" = 42 ]
# Prepare two providers for -lpick: a static one returns 42, a shared one 43.
cat > "$TMP/pick-main.s" <<'EOS'
.global _life
.extern pick
.text
_start_life:
LDI r64@0x00000, 40
CALL pick
MOV r64@0x00018, r64@0x00000
LDI r32@0x00030, 0
EXIT r32@0x00030
EOS
cat > "$TMP/pick-static.s" <<'EOS'
.global pick
.text
pick:
LDI r64@0x00008, 2
IADD r64@0x00000, r64@0x00000, r64@0x00008
RET
EOS
cat > "$TMP/pick-shared.s" <<'EOS'
.global pick
.text
pick:
LDI r64@0x00008, 3
IADD r64@0x00000, r64@0x00000, r64@0x00008
RET
EOS
"$CPU_AS" -o "$TMP/pick-main.o" "$TMP/pick-main.s"
"$CPU_AS" -o "$TMP/pick-static.o" "$TMP/pick-static.s"
"$CPU_AS" -o "$TMP/pick-shared.o" "$TMP/pick-shared.s"
"$CPU_AR" rcs "$TMP/first/libpick.a" "$TMP/pick-static.o"
"$CPU_LD" --shared --soname=libpick.so.7 \
-o "$TMP/second/libpick.so.7.0.0" "$TMP/pick-shared.o"
ln -s libpick.so.7.0.0 "$TMP/second/libpick.so.7"
ln -s libpick.so.7 "$TMP/second/libpick.so"
# Search is directory-major. The .a in the first -L directory wins over a
# .so in a later directory.
"$CPU_LD" --dynamic --stack-size=4096 --no-heap \
-L"$TMP/first" -L"$TMP/second" -lpick \
-o "$TMP/pick-first-static" "$TMP/pick-main.o"
[ "`"$CPU_RUN" --int-reg=r64@0x00018 "$TMP/pick-first-static"`" = 42 ]
"$CPU_READELF" -d "$TMP/pick-first-static" > "$TMP/pick-first-static.dynamic"
[ "`grep -c 'NEEDED' "$TMP/pick-first-static.dynamic" || true`" -eq 0 ]
# Reversing -L order selects the shared object and records its SONAME.
"$CPU_LD" --dynamic --stack-size=4096 --no-heap \
-L"$TMP/second" -L"$TMP/first" -lpick \
-o "$TMP/pick-first-shared" "$TMP/pick-main.o"
"$CPU_READELF" -d "$TMP/pick-first-shared" > "$TMP/pick-first-shared.dynamic"
grep -q 'NEEDED.*\[libpick.so.7\]' "$TMP/pick-first-shared.dynamic"
[ "`"$CPU_RUN" --library-path="$TMP/second" \
--int-reg=r64@0x00018 "$TMP/pick-first-shared"`" = 43 ]
# Within one directory ABI-v3 prefers .so over .a.
cp "$TMP/first/libpick.a" "$TMP/second/libpick.a"
"$CPU_LD" --dynamic --stack-size=4096 --no-heap \
-L"$TMP/second" -lpick -o "$TMP/pick-same-dir" "$TMP/pick-main.o"
"$CPU_READELF" -d "$TMP/pick-same-dir" | grep -q 'NEEDED.*\[libpick.so.7\]'
# ABI-v1 never selects .so for -l. It uses the archive even when both exist.
"$CPU_LD" --stack-size=4096 --no-heap \
-L"$TMP/second" -lpick -o "$TMP/pick-abi1" "$TMP/pick-main.o"
[ "`"$CPU_RUN" --int-reg=r64@0x00018 "$TMP/pick-abi1"`" = 42 ]
# With only a shared provider available, ABI-v1 -l must fail rather than
# silently introducing a dynamic dependency into a static executable.
rm -f "$TMP/second/libpick.a"
if "$CPU_LD" --stack-size=4096 --no-heap \
-L"$TMP/second" -lpick -o "$TMP/pick-abi1-bad" "$TMP/pick-main.o" \
>/dev/null 2>&1; then
echo "ABI-v1 unexpectedly selected a shared library" >&2
exit 1
fi
"$CPU_LD" --help 2>&1 | grep -q 'ABI-v1 and -r search .a'
"$CPU_LD" --help 2>&1 | grep -q 'ABI-v3 searches .so then .a'
exit 0
|
