Commit | Line | Data |
---|---|---|
252b5132 RH |
1 | # Test linking directly to S-records. |
2 | # By Ian Lance Taylor, Cygnus Support. | |
a2b64bed NC |
3 | # Copyright 2001 |
4 | # Free Software Foundation, Inc. | |
5 | # | |
6 | # This file is free software; you can redistribute it and/or modify | |
7 | # it under the terms of the GNU General Public License as published by | |
8 | # the Free Software Foundation; either version 2 of the License, or | |
9 | # (at your option) any later version. | |
10 | # | |
11 | # This program is distributed in the hope that it will be useful, | |
12 | # but WITHOUT ANY WARRANTY; without even the implied warranty of | |
13 | # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
14 | # GNU General Public License for more details. | |
15 | # | |
16 | # You should have received a copy of the GNU General Public License | |
17 | # along with this program; if not, write to the Free Software | |
18 | # Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. | |
252b5132 RH |
19 | |
20 | # Get the offset from an S-record line to the start of the data. | |
21 | ||
22 | proc srec_off { l } { | |
23 | if [string match "S1*" $l] { | |
24 | return 8 | |
25 | } else { if [string match "S2*" $l] { | |
26 | return 10 | |
27 | } else { if [string match "S3*" $l] { | |
28 | return 12 | |
29 | } else { | |
30 | return -1 | |
31 | } } } | |
32 | } | |
33 | ||
34 | # See if an S-record line contains only zero data. | |
35 | ||
36 | proc srec_zero { l } { | |
37 | if [string match "S\[0789\]*" $l] { | |
38 | return 1 | |
39 | } | |
40 | ||
41 | # Strip the address and checksum. | |
42 | if [string match "S\[123\]*" $l] { | |
43 | set l [string range $l [srec_off $l] [expr [string length $l] - 3]] | |
44 | } else { | |
45 | return 0 | |
46 | } | |
47 | ||
48 | # The rest must be zero. | |
49 | return [string match "" [string trim $l "0"]] | |
50 | } | |
51 | ||
52 | # Get the address of an S-record line. | |
53 | ||
54 | proc srec_addr { l } { | |
55 | if [string match "S\[123\]*" $l] { | |
56 | set addr [string range $l 4 [expr [srec_off $l] - 1]] | |
57 | } else { | |
58 | return -1 | |
59 | } | |
60 | ||
61 | return "0x$addr" | |
62 | } | |
63 | ||
64 | # Get the number of data bytes in an S-record line. | |
65 | ||
66 | proc srec_len { l } { | |
67 | if ![string match "S\[123\]*" $l] { | |
68 | return 0 | |
69 | } | |
70 | ||
71 | return [expr "0x[string range $l 2 3]" - ([srec_off $l] - 4) / 2 - 1] | |
72 | } | |
73 | ||
74 | # Extract bytes from an S-record line. | |
75 | ||
76 | proc srec_extract { l start len } { | |
77 | set off [srec_off $l] | |
78 | set rlen [srec_len $l] | |
79 | set stop [expr $start + $len] | |
80 | if { $stop > $rlen } { | |
81 | set stop [expr $rlen] | |
82 | } | |
83 | set start [expr $start * 2 + $off] | |
84 | set stop [expr $stop * 2 + $off - 1] | |
85 | return [string range $l $start $stop] | |
86 | } | |
87 | ||
88 | # See if a range of bytes in an S-record line is all zeroes. | |
89 | ||
90 | proc srec_zero_range { l start len } { | |
91 | return [string match "" [string trim [srec_extract $l $start $len] "0"]] | |
92 | } | |
93 | ||
94 | # Trim an S-record line such that the specified number of bytes remain | |
95 | # at the end. | |
96 | ||
97 | proc srec_trim { l leave } { | |
98 | set off [srec_off $l] | |
99 | set addr [srec_addr $l] | |
100 | set len [srec_len $l] | |
101 | ||
102 | if { $leave >= $len } { | |
103 | return $l | |
104 | } | |
105 | ||
106 | set s1 [string range $l 0 1] | |
107 | set s2 [format "%02x" [expr ($off - 4) / 2 + $leave + 1]] | |
108 | set s3 [format "%0[expr $off - 4]x" [expr $addr + $len - $leave]] | |
109 | set s4 [string range $l [expr [string length $l] - ($leave * 2) - 2] end] | |
110 | set s "${s1}${s2}${s3}${s4}" | |
111 | ||
112 | verbose "srec_trim { '$l' $leave } returning '$s'" 2 | |
113 | ||
114 | return $s | |
115 | } | |
116 | ||
117 | # Report failure when comparing S-record lines | |
118 | ||
119 | proc srec_compare_fail { which l1 l2 } { | |
120 | send_log "comparison failure $which:\n$l1\n$l2\n" | |
121 | verbose "comparison failure $which:\n$l1\n$l2" | |
122 | } | |
123 | ||
124 | # Compare S-record files. We don't want to fuss about things like | |
125 | # extra zeroes. Note that BFD always sorts S-records by address. | |
126 | ||
127 | proc srec_compare { f1 f2 } { | |
128 | set e1 [gets $f1 l1] | |
129 | set e2 [gets $f2 l2] | |
130 | ||
131 | while { $e1 != -1 } { | |
132 | set l1 [string trimright $l1 "\r\n"] | |
133 | set l2 [string trimright $l2 "\r\n"] | |
134 | if { $e2 == -1 } { | |
135 | # If l1 contains data, it must be zero. | |
136 | if ![srec_zero $l1] { | |
137 | send_log "data after EOF: $l1\n" | |
138 | verbose "data after EOF: $l1" | |
139 | return 0 | |
140 | } | |
141 | } else { if { [string compare $l1 $l2] == 0 } { | |
142 | set e1 [gets $f1 l1] | |
143 | set e2 [gets $f2 l2] | |
144 | } else { if { [srec_zero $l1] } { | |
145 | set e1 [gets $f1 l1] | |
146 | } else { if { [srec_zero $l2] } { | |
147 | set e2 [gets $f2 l2] | |
148 | } else { | |
149 | # The strings are not the same, and neither is all zeroes. | |
150 | set a1 [srec_addr $l1] | |
151 | set n1 [srec_len $l1] | |
152 | set a2 [srec_addr $l2] | |
153 | set n2 [srec_len $l2] | |
154 | ||
155 | if { $a1 < $a2 && ![srec_zero_range $l1 0 [expr $a2 - $a1]] } { | |
156 | verbose "$a1 $a2 [srec_extract $l1 0 [expr $a2 - $a1]]" 2 | |
157 | srec_compare_fail 1 $l1 $l2 | |
158 | return 0 | |
159 | } | |
160 | if { $a2 < $a1 && ![srec_zero_range $l2 0 [expr $a1 - $a2]] } { | |
161 | srec_compare_fail 2 $l1 $l2 | |
162 | return 0 | |
163 | } | |
164 | ||
165 | # Here we know that any initial data in both lines is | |
166 | # zero. Now make sure that any overlapping data matches. | |
167 | if { $a1 < $a2 } { | |
168 | set os1 [expr $a2 - $a1] | |
169 | set os2 0 | |
170 | } else { | |
171 | set os1 0 | |
172 | set os2 [expr $a1 - $a2] | |
173 | } | |
174 | if { $a1 + $n1 < $a2 + $n2 } { | |
175 | set ol [expr $n1 - $os1] | |
176 | } else { | |
177 | set ol [expr $n2 - $os2] | |
178 | } | |
179 | ||
180 | set x1 [srec_extract $l1 $os1 $ol] | |
181 | set x2 [srec_extract $l2 $os2 $ol] | |
182 | if { [string compare $x1 $x2] != 0 } { | |
183 | verbose "$os1 $ol $x1" 2 | |
184 | verbose "$os2 $ol $x2" 2 | |
185 | srec_compare_fail 3 $l1 $l2 | |
186 | return 0 | |
187 | } | |
188 | ||
189 | # These strings match. Trim the data from the larger | |
190 | # string, read a new copy of the smaller string, and | |
191 | # continue. | |
192 | if { $a1 + $n1 < $a2 + $n2 } { | |
193 | set l2 [srec_trim $l2 [expr ($a2 + $n2) - ($a1 + $n1)]] | |
194 | set e1 [gets $f1 l1] | |
195 | } else { if { $a1 + $n1 > $a2 + $n2 } { | |
196 | set l1 [srec_trim $l1 [expr ($a1 + $n1) - ($a2 + $n2)]] | |
197 | set e2 [gets $f2 l2] | |
198 | } else { | |
199 | set e1 [gets $f1 l1] | |
200 | set e2 [gets $f2 l2] | |
201 | } } | |
202 | } } } } | |
203 | } | |
204 | ||
205 | # We've reached the end of the first file. The remainder of the | |
206 | # second file must contain only zeroes. | |
207 | while { $e2 != -1 } { | |
208 | set l2 [string trimright $l2 "\r\n"] | |
209 | if ![srec_zero $l2] { | |
210 | send_log "data after EOF: $l2\n" | |
211 | verbose "data after EOF: $l2" | |
212 | return 0 | |
213 | } | |
214 | set e2 [gets $f2 l2] | |
215 | } | |
216 | ||
217 | return 1 | |
218 | } | |
219 | ||
220 | # Link twice, objcopy, and compare | |
221 | ||
222 | proc run_srec_test { test objs } { | |
223 | global ld | |
224 | global objcopy | |
225 | global sizeof_headers | |
226 | global host_triplet | |
227 | ||
228 | set flags "" | |
229 | ||
230 | # If the linker script uses SIZEOF_HEADERS, use a -Ttext argument | |
231 | # to force both the normal link and the S-record link to be put in | |
232 | # the same place. We don't always use -Ttext because it interacts | |
233 | # poorly with a.out. | |
234 | ||
235 | if { $sizeof_headers } { | |
236 | set flags "$flags -Ttext 0x1000" | |
237 | } | |
238 | ||
239 | # The a29k compiled code calls V_SPILL and V_FILL. Since we don't | |
240 | # need to run this code, but we don't have definitions for those | |
241 | # functions, we just define them out. | |
242 | if [istarget a29k*-*-*] { | |
243 | set flags "$flags --defsym V_SPILL=0 --defsym V_FILL=0" | |
244 | } | |
245 | ||
bad19f8f NC |
246 | if {[istarget arm*-*-*] || \ |
247 | [istarget strongarm*-*-*] || \ | |
248 | [istarget xscale*-*-*] || \ | |
249 | [istarget thumb-*-*] } { | |
252b5132 | 250 | |
bad19f8f NC |
251 | # ARM targets call __gccmain |
252 | set flags "$flags --defsym __gccmain=0" | |
253 | ||
254 | # ARM targets cannot convert format in the linker | |
0fc3347a | 255 | # using the --oformat command line switch |
bad19f8f NC |
256 | setup_xfail "*arm*-*-*" |
257 | setup_xfail "xscale-*-*" | |
258 | setup_xfail "thumb-*-*" | |
252b5132 RH |
259 | } |
260 | ||
261 | # PowerPC EABI code calls __eabi. | |
262 | if [istarget powerpc*-*-eabi*] { | |
263 | set flags "$flags --defsym __eabi=0" | |
264 | } | |
265 | ||
266 | # mn10200 code calls __truncsipsi2_d0_d2. | |
267 | if {[istarget mn10200*-*-*]} then { | |
268 | set flags "$flags --defsym __truncsipsi2_d0_d2=0" | |
269 | } | |
270 | ||
fef67c28 SC |
271 | # m6811/m6812 code has references to soft registers. |
272 | if {[istarget m6811-*-*] || [istarget m6812-*-*]} { | |
273 | set flags "$flags --defsym _.frame=0 --defsym _.d1=0 --defsym _.d2=0" | |
274 | set flags "$flags --defsym _.d3=0 --defsym _.d4=0" | |
275 | set flags "$flags --defsym _.tmp=0 --defsym _.xy=0" | |
276 | } | |
277 | ||
252b5132 RH |
278 | # V850 targets need libgcc.a |
279 | if [istarget v850*-*-elf] { | |
280 | set objs "$objs -L ../gcc -lgcc" | |
281 | } | |
282 | ||
283 | if { ![ld_simple_link $ld tmpdir/sr1 "$flags $objs"] \ | |
0fc3347a | 284 | || ![ld_simple_link $ld tmpdir/sr2.sr "$flags --oformat srec $objs"] } { |
252b5132 RH |
285 | setup_xfail "hppa*-*-*elf*" |
286 | fail $test | |
287 | return | |
288 | } | |
289 | ||
290 | send_log "$objcopy -O srec tmpdir/sr1 tmpdir/sr1.sr\n" | |
291 | verbose "$objcopy -O srec tmpdir/sr1 tmpdir/sr1.sr" | |
292 | catch "exec $objcopy -O srec tmpdir/sr1 tmpdir/sr1.sr" exec_output | |
293 | set exec_output [prune_warnings $exec_output] | |
294 | if ![string match "" $exec_output] { | |
295 | send_log "$exec_output\n" | |
296 | verbose "$exec_output" | |
297 | unresolved $test | |
298 | return | |
299 | } | |
300 | ||
301 | set f1 [open tmpdir/sr1.sr r] | |
302 | set f2 [open tmpdir/sr2.sr r] | |
303 | if [srec_compare $f1 $f2] { | |
304 | pass $test | |
305 | } else { | |
306 | fail $test | |
307 | } | |
308 | close $f1 | |
309 | close $f2 | |
310 | } | |
311 | ||
312 | set test1 "S-records" | |
313 | set test2 "S-records with constructors" | |
314 | ||
315 | # See whether the default linker script uses SIZEOF_HEADERS. | |
316 | catch "exec $ld --verbose" exec_output | |
317 | set sizeof_headers [string match "*SIZEOF_HEADERS*" $exec_output] | |
318 | ||
319 | # First test linking a C program. We don't require any libraries. We | |
320 | # link it normally, and objcopy to the S-record format, and then link | |
321 | # directly to the S-record format, and require that the two files | |
322 | # contain the same data. | |
323 | ||
324 | if { [which $CC] == 0 } { | |
325 | untested $test1 | |
326 | untested $test2 | |
327 | return | |
328 | } | |
329 | ||
330 | if { ![ld_compile $CC $srcdir/$subdir/sr1.c tmpdir/sr1.o] \ | |
331 | || ![ld_compile $CC $srcdir/$subdir/sr2.c tmpdir/sr2.o] } { | |
332 | unresolved $test1 | |
333 | unresolved $test2 | |
334 | return | |
335 | } | |
336 | ||
337 | # The i386-aout target is confused: the linker does not put the | |
338 | # sections where objdump finds them. I don't know which is wrong. | |
339 | setup_xfail "i*86-*-aout*" | |
340 | ||
341 | # These tests fail on the native MIPS ELF targets because the GP value | |
342 | # in the .reginfo section is not updated when the S-record version is | |
343 | # written out. The mips-elf target itself does not use a .reginfo section. | |
66517a2f | 344 | setup_xfail "mips*-*-irix5*" "mips*-*-irix6*" "mips*-*-linux*" |
252b5132 RH |
345 | |
346 | # The S-record linker doesn't do the magic TOC handling that XCOFF | |
347 | # linkers do. | |
348 | setup_xfail "*-*-aix*" "*-*-xcoff*" | |
349 | ||
350 | # The S-record linker doesn't build ARM/Thumb stubs. | |
351 | setup_xfail "arm-*-coff" | |
bad19f8f NC |
352 | setup_xfail "strongarm*-*-coff" |
353 | setup_xfail "xscale*-*-coff" | |
252b5132 RH |
354 | setup_xfail "arm-*-pe*" |
355 | # setup_xfail "arm-*elf*" | |
356 | setup_xfail "thumb-*-coff*" | |
357 | setup_xfail "thumb-*-pe*" | |
358 | setup_xfail "thumb-*-elf*" | |
abdbda5e | 359 | setup_xfail "arm*-*-linux*" |
252b5132 RH |
360 | |
361 | # The S-record linker doesn't build special EABI sections. | |
362 | setup_xfail "powerpc*-*-eabi*" | |
363 | ||
364 | # The S-record linker doesn't include the .{zda} sections. | |
365 | setup_xfail "v850*-*-elf" | |
366 | ||
367 | # The S-record linker doesn't handle Alpha Elf relaxation. | |
368 | setup_xfail "alpha*-*-elf*" "alpha*-*-linux-gnu*" "alpha*-*-gnu*" | |
369 | setup_xfail "alpha*-*-netbsd*" | |
370 | ||
36a3dc51 AM |
371 | # The S-record linker hasn't any hope of coping with HPPA relocs. |
372 | setup_xfail "hppa*-*-*" | |
373 | ||
69f868fa DD |
374 | # The S-record linker doesn't support the special PE headers - the PE |
375 | # emulation tries to write pe-specific information to the PE headers | |
376 | # in the output bfd, but it's not a PE bfd (it's an srec bfd) | |
377 | setup_xfail "*-*-cygwin*" "*-*-mingw*" "*-*-pe*" "*-*-winnt*" | |
378 | ||
252b5132 RH |
379 | run_srec_test $test1 "tmpdir/sr1.o tmpdir/sr2.o" |
380 | ||
381 | # Now try linking a C++ program with global constructors and | |
382 | # destructors. Note that since we are not linking against any | |
383 | # libraries, this program won't actually work or anything. | |
384 | ||
385 | if { [which $CXX] == 0 } { | |
386 | untested $test2 | |
387 | return | |
388 | } | |
389 | ||
22a517d0 | 390 | if ![ld_compile "$CXX $CXXFLAGS -fgnu-linker -fno-exceptions" $srcdir/$subdir/sr3.cc tmpdir/sr3.o] { |
252b5132 RH |
391 | unresolved $test2 |
392 | return | |
393 | } | |
394 | ||
395 | # See above. | |
396 | setup_xfail "i*86-*-aout*" | |
66517a2f | 397 | setup_xfail "mips*-*-irix5*" "mips*-*-irix6*" "mips*-*-linux*" |
252b5132 | 398 | setup_xfail "*-*-aix*" "*-*-xcoff*" |
abdbda5e NC |
399 | setup_xfail "arm*-*-*" |
400 | setup_xfail "strongarm*-*-*" | |
252b5132 RH |
401 | setup_xfail "thumb-*-*" |
402 | setup_xfail "powerpc*-*-eabi*" | |
403 | setup_xfail "v850*-*-elf" | |
404 | setup_xfail "alpha*-*-elf*" "alpha*-*-linux-gnu*" "alpha*-*-gnu*" | |
405 | setup_xfail "alpha*-*-netbsd*" | |
36a3dc51 | 406 | setup_xfail "hppa*-*-*" |
69f868fa | 407 | setup_xfail "*-*-cygwin*" "*-*-mingw*" "*-*-pe*" "*-*-winnt*" |
252b5132 RH |
408 | |
409 | run_srec_test $test2 "tmpdir/sr3.o" |