Commit | Line | Data |
---|---|---|
252b5132 RH |
1 | # Test linking directly to S-records. |
2 | # By Ian Lance Taylor, Cygnus Support. | |
219d1afa | 3 | # Copyright (C) 1999-2018 Free Software Foundation, Inc. |
a2b64bed | 4 | # |
f96b4a7b NC |
5 | # This file is part of the GNU Binutils. |
6 | # | |
7 | # This program is free software; you can redistribute it and/or modify | |
a2b64bed | 8 | # it under the terms of the GNU General Public License as published by |
f96b4a7b | 9 | # the Free Software Foundation; either version 3 of the License, or |
a2b64bed | 10 | # (at your option) any later version. |
f96b4a7b | 11 | # |
a2b64bed NC |
12 | # This program is distributed in the hope that it will be useful, |
13 | # but WITHOUT ANY WARRANTY; without even the implied warranty of | |
14 | # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
15 | # GNU General Public License for more details. | |
f96b4a7b | 16 | # |
a2b64bed NC |
17 | # You should have received a copy of the GNU General Public License |
18 | # along with this program; if not, write to the Free Software | |
f96b4a7b NC |
19 | # Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston, |
20 | # MA 02110-1301, USA. | |
252b5132 RH |
21 | |
22 | # Get the offset from an S-record line to the start of the data. | |
23 | ||
24 | proc srec_off { l } { | |
25 | if [string match "S1*" $l] { | |
26 | return 8 | |
27 | } else { if [string match "S2*" $l] { | |
28 | return 10 | |
29 | } else { if [string match "S3*" $l] { | |
30 | return 12 | |
31 | } else { | |
32 | return -1 | |
33 | } } } | |
34 | } | |
35 | ||
36 | # See if an S-record line contains only zero data. | |
37 | ||
38 | proc srec_zero { l } { | |
39 | if [string match "S\[0789\]*" $l] { | |
40 | return 1 | |
41 | } | |
42 | ||
43 | # Strip the address and checksum. | |
44 | if [string match "S\[123\]*" $l] { | |
45 | set l [string range $l [srec_off $l] [expr [string length $l] - 3]] | |
46 | } else { | |
47 | return 0 | |
48 | } | |
49 | ||
50 | # The rest must be zero. | |
51 | return [string match "" [string trim $l "0"]] | |
52 | } | |
53 | ||
54 | # Get the address of an S-record line. | |
55 | ||
56 | proc srec_addr { l } { | |
57 | if [string match "S\[123\]*" $l] { | |
58 | set addr [string range $l 4 [expr [srec_off $l] - 1]] | |
59 | } else { | |
60 | return -1 | |
61 | } | |
62 | ||
63 | return "0x$addr" | |
64 | } | |
65 | ||
66 | # Get the number of data bytes in an S-record line. | |
67 | ||
68 | proc srec_len { l } { | |
69 | if ![string match "S\[123\]*" $l] { | |
70 | return 0 | |
71 | } | |
72 | ||
73 | return [expr "0x[string range $l 2 3]" - ([srec_off $l] - 4) / 2 - 1] | |
74 | } | |
75 | ||
76 | # Extract bytes from an S-record line. | |
77 | ||
78 | proc srec_extract { l start len } { | |
79 | set off [srec_off $l] | |
80 | set rlen [srec_len $l] | |
81 | set stop [expr $start + $len] | |
82 | if { $stop > $rlen } { | |
83 | set stop [expr $rlen] | |
84 | } | |
85 | set start [expr $start * 2 + $off] | |
86 | set stop [expr $stop * 2 + $off - 1] | |
87 | return [string range $l $start $stop] | |
88 | } | |
89 | ||
90 | # See if a range of bytes in an S-record line is all zeroes. | |
91 | ||
92 | proc srec_zero_range { l start len } { | |
93 | return [string match "" [string trim [srec_extract $l $start $len] "0"]] | |
94 | } | |
95 | ||
96 | # Trim an S-record line such that the specified number of bytes remain | |
97 | # at the end. | |
98 | ||
99 | proc srec_trim { l leave } { | |
100 | set off [srec_off $l] | |
101 | set addr [srec_addr $l] | |
102 | set len [srec_len $l] | |
103 | ||
104 | if { $leave >= $len } { | |
105 | return $l | |
106 | } | |
107 | ||
108 | set s1 [string range $l 0 1] | |
109 | set s2 [format "%02x" [expr ($off - 4) / 2 + $leave + 1]] | |
110 | set s3 [format "%0[expr $off - 4]x" [expr $addr + $len - $leave]] | |
111 | set s4 [string range $l [expr [string length $l] - ($leave * 2) - 2] end] | |
112 | set s "${s1}${s2}${s3}${s4}" | |
113 | ||
114 | verbose "srec_trim { '$l' $leave } returning '$s'" 2 | |
115 | ||
116 | return $s | |
117 | } | |
118 | ||
119 | # Report failure when comparing S-record lines | |
120 | ||
121 | proc srec_compare_fail { which l1 l2 } { | |
122 | send_log "comparison failure $which:\n$l1\n$l2\n" | |
123 | verbose "comparison failure $which:\n$l1\n$l2" | |
124 | } | |
125 | ||
126 | # Compare S-record files. We don't want to fuss about things like | |
127 | # extra zeroes. Note that BFD always sorts S-records by address. | |
128 | ||
129 | proc srec_compare { f1 f2 } { | |
130 | set e1 [gets $f1 l1] | |
131 | set e2 [gets $f2 l2] | |
132 | ||
133 | while { $e1 != -1 } { | |
134 | set l1 [string trimright $l1 "\r\n"] | |
135 | set l2 [string trimright $l2 "\r\n"] | |
136 | if { $e2 == -1 } { | |
137 | # If l1 contains data, it must be zero. | |
138 | if ![srec_zero $l1] { | |
139 | send_log "data after EOF: $l1\n" | |
140 | verbose "data after EOF: $l1" | |
141 | return 0 | |
142 | } | |
143 | } else { if { [string compare $l1 $l2] == 0 } { | |
144 | set e1 [gets $f1 l1] | |
145 | set e2 [gets $f2 l2] | |
146 | } else { if { [srec_zero $l1] } { | |
147 | set e1 [gets $f1 l1] | |
148 | } else { if { [srec_zero $l2] } { | |
149 | set e2 [gets $f2 l2] | |
150 | } else { | |
151 | # The strings are not the same, and neither is all zeroes. | |
152 | set a1 [srec_addr $l1] | |
153 | set n1 [srec_len $l1] | |
154 | set a2 [srec_addr $l2] | |
155 | set n2 [srec_len $l2] | |
156 | ||
157 | if { $a1 < $a2 && ![srec_zero_range $l1 0 [expr $a2 - $a1]] } { | |
158 | verbose "$a1 $a2 [srec_extract $l1 0 [expr $a2 - $a1]]" 2 | |
159 | srec_compare_fail 1 $l1 $l2 | |
160 | return 0 | |
161 | } | |
162 | if { $a2 < $a1 && ![srec_zero_range $l2 0 [expr $a1 - $a2]] } { | |
163 | srec_compare_fail 2 $l1 $l2 | |
164 | return 0 | |
165 | } | |
166 | ||
167 | # Here we know that any initial data in both lines is | |
168 | # zero. Now make sure that any overlapping data matches. | |
169 | if { $a1 < $a2 } { | |
170 | set os1 [expr $a2 - $a1] | |
171 | set os2 0 | |
172 | } else { | |
173 | set os1 0 | |
174 | set os2 [expr $a1 - $a2] | |
175 | } | |
176 | if { $a1 + $n1 < $a2 + $n2 } { | |
177 | set ol [expr $n1 - $os1] | |
178 | } else { | |
179 | set ol [expr $n2 - $os2] | |
180 | } | |
181 | ||
182 | set x1 [srec_extract $l1 $os1 $ol] | |
183 | set x2 [srec_extract $l2 $os2 $ol] | |
184 | if { [string compare $x1 $x2] != 0 } { | |
185 | verbose "$os1 $ol $x1" 2 | |
186 | verbose "$os2 $ol $x2" 2 | |
187 | srec_compare_fail 3 $l1 $l2 | |
188 | return 0 | |
189 | } | |
190 | ||
191 | # These strings match. Trim the data from the larger | |
192 | # string, read a new copy of the smaller string, and | |
193 | # continue. | |
194 | if { $a1 + $n1 < $a2 + $n2 } { | |
195 | set l2 [srec_trim $l2 [expr ($a2 + $n2) - ($a1 + $n1)]] | |
196 | set e1 [gets $f1 l1] | |
197 | } else { if { $a1 + $n1 > $a2 + $n2 } { | |
198 | set l1 [srec_trim $l1 [expr ($a1 + $n1) - ($a2 + $n2)]] | |
199 | set e2 [gets $f2 l2] | |
200 | } else { | |
201 | set e1 [gets $f1 l1] | |
202 | set e2 [gets $f2 l2] | |
203 | } } | |
204 | } } } } | |
205 | } | |
206 | ||
207 | # We've reached the end of the first file. The remainder of the | |
208 | # second file must contain only zeroes. | |
209 | while { $e2 != -1 } { | |
210 | set l2 [string trimright $l2 "\r\n"] | |
211 | if ![srec_zero $l2] { | |
212 | send_log "data after EOF: $l2\n" | |
213 | verbose "data after EOF: $l2" | |
214 | return 0 | |
215 | } | |
216 | set e2 [gets $f2 l2] | |
217 | } | |
218 | ||
219 | return 1 | |
220 | } | |
221 | ||
222 | # Link twice, objcopy, and compare | |
223 | ||
224 | proc run_srec_test { test objs } { | |
225 | global ld | |
226 | global objcopy | |
227 | global sizeof_headers | |
228 | global host_triplet | |
229 | ||
ea9c6451 | 230 | # Tell the ELF linker to not do anything clever with .eh_frame, |
1b662205 | 231 | # not to put anything in small data, and define various symbols. |
c474ea1a | 232 | set flags "--traditional-format -G 0 -e 0 " |
d9816402 | 233 | append flags [ld_link_defsyms] |
252b5132 RH |
234 | |
235 | # If the linker script uses SIZEOF_HEADERS, use a -Ttext argument | |
236 | # to force both the normal link and the S-record link to be put in | |
237 | # the same place. We don't always use -Ttext because it interacts | |
238 | # poorly with a.out. | |
239 | ||
240 | if { $sizeof_headers } { | |
241 | set flags "$flags -Ttext 0x1000" | |
242 | } | |
243 | ||
887cf791 SKS |
244 | # ARM targets cannot convert format in the linker |
245 | # using the --oformat command line switch | |
246 | if {[istarget aarch64*-*-*] || \ | |
a06ea964 | 247 | [istarget arm*-*-*]} { |
a06ea964 NC |
248 | setup_xfail "aarch64-*-*" |
249 | setup_xfail "aarch64_be-*-*" | |
8c5fc800 | 250 | setup_xfail "arm*-*-*" |
252b5132 RH |
251 | } |
252 | ||
887cf791 SKS |
253 | # The AVR target does not correctly process |
254 | # relocs when output format is not ELF. | |
255 | if [istarget avr-*-*] { | |
256 | setup_xfail "avr-*-*" | |
13761a11 NC |
257 | } |
258 | ||
cfb8c092 NC |
259 | # Epiphany needs some help too |
260 | if [istarget epiphany*-*-*] { | |
261 | set flags "$flags --defsym _start=00000060" | |
262 | setup_xfail "epiphany*-*-*" | |
263 | } | |
264 | ||
6927f982 NC |
265 | if [istarget m681*-*-*] { |
266 | set flags "$flags --defsym _start=0xc000" | |
267 | setup_xfail "m681*-*-*" | |
268 | } | |
269 | ||
270 | if [istarget m68hc1*-*-*] { | |
271 | set flags "$flags --defsym _start=0xc000" | |
272 | setup_xfail "m68hc1*-*-*" | |
273 | } | |
274 | ||
275 | if [istarget m9s12x*-*-*] { | |
276 | set flags "$flags --defsym _start=0xc000" | |
277 | setup_xfail "m9s12x*-*-*" | |
278 | } | |
279 | ||
887cf791 SKS |
280 | # MSP430 targets always relax. |
281 | if [istarget msp430*-*-*] { | |
282 | setup_xfail "msp430*-*-*" | |
283 | } | |
284 | ||
770aa8a3 JW |
285 | # The RISC-V target does not correctly process |
286 | # relocs when output format is not ELF. | |
287 | if [istarget riscv*-*-*] { | |
288 | setup_xfail "riscv*-*-*" | |
289 | } | |
290 | ||
887cf791 SKS |
291 | # V850 targets need libgcc.a |
292 | if [istarget v850*-*-elf] { | |
293 | set objs "$objs -L ../gcc -lgcc" | |
294 | } | |
295 | ||
296 | # Xtensa ELF targets relax by default; S-Record linker does not | |
297 | if [istarget xtensa*-*-*] { | |
298 | set flags "$flags -no-relax" | |
299 | } | |
300 | ||
0220170b DD |
301 | # PRU ELF target relaxes by default; S-Record linker does not |
302 | if [istarget pru*-*-*] { | |
303 | set flags "$flags -no-relax" | |
304 | } | |
305 | ||
d9816402 AM |
306 | if { ![ld_link $ld tmpdir/sr1 "$flags $objs"] \ |
307 | || ![ld_link $ld tmpdir/sr2.sr "$flags --oformat srec $objs"] } { | |
252b5132 RH |
308 | fail $test |
309 | return | |
310 | } | |
311 | ||
312 | send_log "$objcopy -O srec tmpdir/sr1 tmpdir/sr1.sr\n" | |
7f6a71ff | 313 | set exec_output [run_host_cmd "$objcopy" "-O srec tmpdir/sr1 tmpdir/sr1.sr"] |
252b5132 RH |
314 | set exec_output [prune_warnings $exec_output] |
315 | if ![string match "" $exec_output] { | |
316 | send_log "$exec_output\n" | |
317 | verbose "$exec_output" | |
318 | unresolved $test | |
319 | return | |
320 | } | |
321 | ||
322 | set f1 [open tmpdir/sr1.sr r] | |
323 | set f2 [open tmpdir/sr2.sr r] | |
324 | if [srec_compare $f1 $f2] { | |
325 | pass $test | |
326 | } else { | |
327 | fail $test | |
328 | } | |
329 | close $f1 | |
330 | close $f2 | |
331 | } | |
332 | ||
333 | set test1 "S-records" | |
334 | set test2 "S-records with constructors" | |
335 | ||
336 | # See whether the default linker script uses SIZEOF_HEADERS. | |
7f6a71ff | 337 | set exec_output [run_host_cmd "$ld" "--verbose"] |
252b5132 RH |
338 | set sizeof_headers [string match "*SIZEOF_HEADERS*" $exec_output] |
339 | ||
340 | # First test linking a C program. We don't require any libraries. We | |
341 | # link it normally, and objcopy to the S-record format, and then link | |
342 | # directly to the S-record format, and require that the two files | |
343 | # contain the same data. | |
344 | ||
7f6a71ff | 345 | if { ![is_remote host] && [which $CC] == 0 } { |
252b5132 RH |
346 | untested $test1 |
347 | untested $test2 | |
348 | return | |
349 | } | |
350 | ||
219a6876 | 351 | # Pass -fplt to CC and CXX since -fno-plt doesn't work with S-records |
68193357 L |
352 | # tests. Also add $NOPIE_CFLAGS and $NOPIE_LDFLAGS if PIE doesn't work |
353 | # with S-records. | |
354 | global PLT_CFLAGS NOPIE_CFLAGS NOPIE_LDFLAGS | |
219a6876 | 355 | set old_CC "$CC" |
68193357 | 356 | set CC "$CC $PLT_CFLAGS $NOPIE_CFLAGS $NOPIE_LDFLAGS" |
219a6876 | 357 | set old_CXX "$CXX" |
68193357 | 358 | set CXX "$CXX $PLT_CFLAGS $NOPIE_CFLAGS $NOPIE_LDFLAGS" |
219a6876 | 359 | |
252b5132 RH |
360 | if { ![ld_compile $CC $srcdir/$subdir/sr1.c tmpdir/sr1.o] \ |
361 | || ![ld_compile $CC $srcdir/$subdir/sr2.c tmpdir/sr2.o] } { | |
362 | unresolved $test1 | |
363 | unresolved $test2 | |
219a6876 L |
364 | set CC "$old_CC" |
365 | set CXX "$old_CXX" | |
252b5132 RH |
366 | return |
367 | } | |
368 | ||
369 | # The i386-aout target is confused: the linker does not put the | |
370 | # sections where objdump finds them. I don't know which is wrong. | |
371 | setup_xfail "i*86-*-aout*" | |
372 | ||
373 | # These tests fail on the native MIPS ELF targets because the GP value | |
374 | # in the .reginfo section is not updated when the S-record version is | |
375 | # written out. The mips-elf target itself does not use a .reginfo section. | |
66517a2f | 376 | setup_xfail "mips*-*-irix5*" "mips*-*-irix6*" "mips*-*-linux*" |
252b5132 RH |
377 | |
378 | # The S-record linker doesn't do the magic TOC handling that XCOFF | |
379 | # linkers do. | |
380 | setup_xfail "*-*-aix*" "*-*-xcoff*" | |
381 | ||
a9fa4610 | 382 | # The S-record linker is not supported for ARC. |
82f46e2c | 383 | setup_xfail "arc*-*-*" |
a9fa4610 | 384 | |
252b5132 RH |
385 | # The S-record linker doesn't build ARM/Thumb stubs. |
386 | setup_xfail "arm-*-coff" | |
252b5132 RH |
387 | setup_xfail "arm-*-pe*" |
388 | # setup_xfail "arm-*elf*" | |
abdbda5e | 389 | setup_xfail "arm*-*-linux*" |
252b5132 | 390 | |
252b5132 RH |
391 | # The S-record linker doesn't include the .{zda} sections. |
392 | setup_xfail "v850*-*-elf" | |
393 | ||
394 | # The S-record linker doesn't handle Alpha Elf relaxation. | |
ee58dd1e | 395 | setup_xfail "alpha*-*-elf*" "alpha*-*-linux-*" "alpha*-*-gnu*" |
252b5132 RH |
396 | setup_xfail "alpha*-*-netbsd*" |
397 | ||
36a3dc51 | 398 | # The S-record linker hasn't any hope of coping with HPPA relocs. |
ec0c103c NC |
399 | # Or MeP complex relocs. |
400 | setup_xfail "hppa*-*-*" "mep-*-*" | |
36a3dc51 | 401 | |
d416627c L |
402 | # The S-record linker doesn't handle IA64 Elf relaxation. |
403 | setup_xfail "ia64-*-*" | |
404 | ||
69f868fa DD |
405 | # The S-record linker doesn't support the special PE headers - the PE |
406 | # emulation tries to write pe-specific information to the PE headers | |
407 | # in the output bfd, but it's not a PE bfd (it's an srec bfd) | |
408 | setup_xfail "*-*-cygwin*" "*-*-mingw*" "*-*-pe*" "*-*-winnt*" | |
1c0d3aa6 | 409 | setup_xfail "score-*-*" |
69f868fa | 410 | |
ba8149a9 JZ |
411 | # The S-record linker doesn't support Blackfin ELF FDPIC ABI. |
412 | setup_xfail "bfin-*-linux-uclibc" | |
413 | ||
aa137e4d NC |
414 | # On tile, we appear to be getting some random-seeming zeroing or 24-bit |
415 | # rightshifts (!) in the output when directly generating S-records from | |
416 | # the linker. Not clear what could be causing this but we don't | |
417 | # anticipate creating s-records (and could always use objcopy to | |
418 | # generate the format if need be). | |
419 | setup_xfail "tile*-*-*" | |
420 | ||
b8891f8d AJ |
421 | # The S-record linker is not supported for C-SKY. |
422 | setup_xfail "csky*-*-*" | |
423 | ||
252b5132 RH |
424 | run_srec_test $test1 "tmpdir/sr1.o tmpdir/sr2.o" |
425 | ||
426 | # Now try linking a C++ program with global constructors and | |
427 | # destructors. Note that since we are not linking against any | |
428 | # libraries, this program won't actually work or anything. | |
429 | ||
7f6a71ff | 430 | if { ![is_remote host] && [which $CXX] == 0 } { |
252b5132 | 431 | untested $test2 |
219a6876 L |
432 | set CC "$old_CC" |
433 | set CXX "$old_CXX" | |
252b5132 RH |
434 | return |
435 | } | |
436 | ||
da04927b | 437 | if ![ld_compile "$CXX $CXXFLAGS -fno-exceptions" $srcdir/$subdir/sr3.cc tmpdir/sr3.o] { |
252b5132 | 438 | unresolved $test2 |
219a6876 L |
439 | set CC "$old_CC" |
440 | set CXX "$old_CXX" | |
252b5132 RH |
441 | return |
442 | } | |
443 | ||
444 | # See above. | |
445 | setup_xfail "i*86-*-aout*" | |
66517a2f | 446 | setup_xfail "mips*-*-irix5*" "mips*-*-irix6*" "mips*-*-linux*" |
252b5132 | 447 | setup_xfail "*-*-aix*" "*-*-xcoff*" |
82f46e2c | 448 | setup_xfail "arc*-*-*" |
abdbda5e | 449 | setup_xfail "arm*-*-*" |
252b5132 | 450 | setup_xfail "v850*-*-elf" |
ee58dd1e | 451 | setup_xfail "alpha*-*-elf*" "alpha*-*-linux-*" "alpha*-*-gnu*" |
252b5132 | 452 | setup_xfail "alpha*-*-netbsd*" |
ec0c103c | 453 | setup_xfail "hppa*-*-*" "mep-*-*" |
d416627c | 454 | setup_xfail "ia64-*-*" |
69f868fa | 455 | setup_xfail "*-*-cygwin*" "*-*-mingw*" "*-*-pe*" "*-*-winnt*" |
1c0d3aa6 | 456 | setup_xfail "score-*-*" |
ba8149a9 | 457 | setup_xfail "bfin-*-linux-uclibc" |
aa137e4d | 458 | setup_xfail "tile*-*-*" |
b8891f8d | 459 | setup_xfail "csky*-*-*" |
252b5132 RH |
460 | |
461 | run_srec_test $test2 "tmpdir/sr3.o" | |
219a6876 L |
462 | |
463 | set CC "$old_CC" | |
464 | set CXX "$old_CXX" |