Commit | Line | Data |
---|---|---|
252b5132 | 1 | # Expect script for ld-empic tests |
a2b64bed | 2 | # Copyright 1994, 1995, 1996 Free Software Foundation, Inc. |
252b5132 RH |
3 | # |
4 | # This file is free software; you can redistribute it and/or modify | |
5 | # it under the terms of the GNU General Public License as published by | |
6 | # the Free Software Foundation; either version 2 of the License, or | |
7 | # (at your option) any later version. | |
8 | # | |
9 | # This program is distributed in the hope that it will be useful, | |
10 | # but WITHOUT ANY WARRANTY; without even the implied warranty of | |
11 | # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
12 | # GNU General Public License for more details. | |
13 | # | |
14 | # You should have received a copy of the GNU General Public License | |
15 | # along with this program; if not, write to the Free Software | |
16 | # Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. | |
17 | # | |
18 | # Written by Ian Lance Taylor (ian@cygnus.com) | |
19 | # | |
20 | ||
21 | # Test the handling of MIPS embedded PIC code. This test essentially | |
22 | # tests the compiler and assembler as well as the linker, since MIPS | |
23 | # embedded PIC is a GNU enhancement to standard MIPS tools. | |
24 | ||
25 | # Embedded PIC is only supported for MIPS ECOFF targets. | |
26 | if ![istarget mips*-*-ecoff*] { | |
27 | return | |
28 | } | |
29 | ||
30 | set testname relax | |
31 | ||
32 | if { [which $CC] == 0 } { | |
33 | untested $testname | |
34 | return | |
35 | } | |
36 | ||
37 | # Test that relaxation works correctly. This testsuite was composed | |
38 | # (by experimentation) to force the linker to relax twice--that is, | |
39 | # the first relaxation pass will force another call to be out of | |
40 | # range, requiring a second relaxation pass. | |
41 | if { ![ld_compile "$CC $CFLAGS -membedded-pic" $srcdir/$subdir/relax1.c tmpdir/relax1.o] | |
42 | || ![ld_compile "$CC $CFLAGS -membedded-pic" $srcdir/$subdir/relax2.c tmpdir/relax2.o] | |
43 | || ![ld_compile "$CC $CFLAGS -membedded-pic" $srcdir/$subdir/relax3.c tmpdir/relax3.o] | |
44 | || ![ld_compile "$CC $CFLAGS -membedded-pic" $srcdir/$subdir/relax4.c tmpdir/relax4.o] } { | |
45 | unresolved $testname | |
46 | return | |
47 | } | |
48 | ||
49 | if ![ld_simple_link $ld tmpdir/relax "--relax -T $srcdir/$subdir/relax.t tmpdir/relax1.o tmpdir/relax2.o tmpdir/relax3.o tmpdir/relax4.o"] { | |
50 | fail $testname | |
51 | } else { | |
52 | # Check that the relaxation produced the correct result. Check | |
53 | # each bal instruction. Some will go directly to the start of a | |
54 | # function, which is OK. Some will form part of the five | |
55 | # instruction expanded call sequence, in which case we compute the | |
56 | # real destination and make sure it is the start of a function. | |
57 | # Some bal instructions are used to locate the start of the | |
58 | # function in order to do position independent addressing into the | |
59 | # text section, in which case we just check that it correctly | |
60 | # computes the start of the function. | |
61 | ||
62 | # Get the symbol table. | |
992c450d | 63 | if ![ld_nm $nm "" tmpdir/relax] { |
252b5132 RH |
64 | unresolved $testname |
65 | return | |
66 | } | |
67 | ||
68 | # Get a disassembly. | |
69 | send_log "$objdump -d tmpdir/relax >tmpdir/relax.dis\n" | |
70 | verbose "$objdump -d tmpdir/relax >tmpdir/relax.dis" | |
71 | catch "exec $objdump -d tmpdir/relax >tmpdir/relax.dis" exec_output | |
72 | if ![string match "" $exec_output] { | |
73 | send_log "$exec_output\n" | |
74 | verbose $exec_output | |
75 | unresolved $testname | |
76 | return | |
77 | } | |
78 | ||
79 | set balcnt 0 | |
80 | set file [open tmpdir/relax.dis r] | |
81 | while { [gets $file line] != -1 } { | |
82 | verbose "$line" 2 | |
83 | ||
84 | if ![string match "*bal*" $line] { | |
85 | continue | |
86 | } | |
87 | ||
88 | verbose "$line" | |
89 | ||
90 | incr balcnt | |
91 | ||
92 | if ![regexp "^(\[0-9a-fA-F\]+) (<\[a-z+0-9A-Z.\]+>)? bal (\[0-9a-fA-F\]+)" $line whole addr label dest] { | |
93 | perror "unrecognized format for $line" | |
94 | unresolved $testname | |
95 | return | |
96 | } | |
97 | ||
98 | if "0x$addr + 8 != 0x$dest" { | |
99 | # This is a straight function call. All function calls in | |
100 | # this example are to either foo or bar. | |
101 | if "0x$dest != $nm_output(foo) && 0x$dest != $nm_output(bar)" { | |
102 | send_log "fail 1\n" | |
103 | send_log "$line\n" | |
104 | fail $testname | |
105 | return | |
106 | } | |
107 | } else { | |
108 | # Pick up the next line. If it is sll, this is a switch | |
109 | # prologue, and there is not much we can do to test it. | |
110 | # Otherwise, it should be lui, and the next instruction | |
111 | # should be an addiu, followed by an addu to $31. | |
112 | if { [gets $file l] == -1 } { | |
113 | send_log "fail 2\n" | |
114 | send_log "$line\n" | |
115 | fail $testname | |
116 | return | |
117 | } | |
118 | verbose $l | |
119 | ||
120 | if [string match "*sll*" $l] { | |
121 | continue | |
122 | } | |
123 | if ![regexp "lui (\[\$a-z0-9\]+),(\[0-9a-fA-Fx\]+)" $l whole reg upper] { | |
124 | send_log "fail 3\n" | |
125 | send_log "$line\n" | |
126 | send_log "$l\n" | |
127 | fail $testname | |
128 | return | |
129 | } | |
130 | ||
131 | if { [gets $file l] == -1 } { | |
132 | send_log "fail 4\n" | |
133 | send_log "$line\n" | |
134 | fail $testname | |
135 | return | |
136 | } | |
137 | verbose "$l" | |
138 | if ![regexp "addiu \\$reg,\\$reg,(\[-0-9\]+)" $l whole lower] { | |
139 | send_log "fail 5\n" | |
140 | send_log "$line\n" | |
141 | send_log "$l\n" | |
142 | send_log "addiu \\$reg,\\$reg,(\[-0-9\]+)\n" | |
143 | fail $testname | |
144 | return | |
145 | } | |
146 | ||
147 | if { [gets $file l] == -1 } { | |
148 | send_log "fail 6\n" | |
149 | send_log "$line\n" | |
150 | fail $testname | |
151 | return | |
152 | } | |
153 | verbose "$l" | |
154 | if ![regexp "addu \\$reg,\\$reg,\\\$ra" $l] { | |
155 | send_log "fail 7\n" | |
156 | send_log "$line\n" | |
157 | send_log "$l\n" | |
158 | fail $testname | |
159 | return | |
160 | } | |
161 | ||
162 | # The next line will be jalr in the case of an expanded | |
163 | # call. Otherwise, the code is getting the start of the | |
164 | # function, and the next line can be anything. | |
165 | ||
166 | if { [gets $file l] == -1 } { | |
167 | send_log "fail 8\n" | |
168 | send_log "$line\n" | |
169 | fail $testname | |
170 | return | |
171 | } | |
172 | verbose "$l" | |
173 | if [string match "*jalr*" $l] { | |
174 | set dest [expr 0x$addr + 8 + ($upper << 16) + $lower] | |
175 | if { $dest != $nm_output(foo) && $dest != $nm_output(bar) } { | |
176 | send_log "fail 9\n" | |
177 | send_log "$line\n" | |
178 | fail $testname | |
179 | return | |
180 | } | |
181 | } else { | |
182 | set dest [expr ($upper << 16) + $lower] | |
183 | if ![regexp "<(\[.a-z\]+)\\+(\[0-9a-fA-F\]+)>" $label whole base offset] { | |
184 | send_log "fail 10\n" | |
185 | send_log "$line\n" | |
186 | fail $testname | |
187 | return | |
188 | } | |
189 | set offset 0x$offset | |
190 | if { $base == ".foo" } { | |
191 | set offset [expr $offset - ($nm_output(foo) - 0x30)] | |
192 | } | |
193 | if { $offset + 8 != - $dest } { | |
194 | send_log "fail 11\n" | |
195 | send_log "$line\n" | |
196 | fail $testname | |
197 | return | |
198 | } | |
199 | } | |
200 | } | |
201 | } | |
202 | ||
203 | close $file | |
204 | ||
205 | if {$balcnt < 10} { | |
206 | send_log "fail 12\n" | |
207 | fail $testname | |
208 | } else { | |
209 | verbose "$balcnt bal instructions" | |
210 | pass $testname | |
211 | } | |
212 | } | |
213 | ||
214 | # We now test actually running embedded MIPS PIC code. This can only | |
215 | # be done on a MIPS host with the same endianness as our target. | |
216 | if [istarget mipsel-*-*] { | |
217 | if ![ishost mips*-*-ultrix*] { | |
218 | return | |
219 | } | |
220 | } else { | |
221 | if ![ishost mips*-*-irix*] { | |
222 | return | |
223 | } | |
224 | } | |
225 | ||
226 | set testname "run embedded PIC code" | |
227 | ||
228 | # Compile the program which will run the test. This code must be | |
229 | # compiled for the host, not the target. | |
230 | send_log "$CC_FOR_HOST $CFLAGS_FOR_HOST -o tmpdir/run $srcdir/$subdir/run.c\n" | |
231 | verbose "$CC_FOR_HOST $CFLAGS_FOR_HOST -o tmpdir/run $srcdir/$subdir/run.c" | |
232 | catch "exec $CC_FOR_HOST $CFLAGS_FOR_HOST -o tmpdir/run $srcdir/$subdir/run.c" exec_output | |
233 | if ![string match "" $exec_output] { | |
234 | send_log "$exec_output\n" | |
235 | verbose "$exec_output" | |
236 | unresolved $testname | |
237 | return | |
238 | } | |
239 | ||
240 | # Compile and link the test. | |
241 | if { ![ld_compile "$CC $CFLAGS -membedded-pic" $srcdir/$subdir/runtesti.s tmpdir/runtesti.o] | |
242 | || ![ld_compile "$CC $CFLAGS -membedded-pic" $srcdir/$subdir/runtest1.c tmpdir/runtest1.o] | |
243 | || ![ld_compile "$CC $CFLAGS -membedded-pic" $srcdir/$subdir/runtest2.c tmpdir/runtest2.o] } { | |
244 | unresolved $testname | |
245 | return | |
246 | } | |
247 | if ![ld_simple_link $ld tmpdir/runtest "--embedded-relocs tmpdir/runtesti.o tmpdir/runtest1.o tmpdir/runtest2.o"] { | |
248 | fail $testname | |
249 | } else { | |
250 | # Now run the test. | |
251 | send_log "tmpdir/run tmpdir/runtest\n" | |
252 | verbose "tmpdir/run tmpdir/runtest" | |
253 | catch "exec tmpdir/run tmpdir/runtest" exec_output | |
254 | if [string match "*ran and returned 0*" $exec_output] { | |
255 | send_log "$exec_output\n" | |
256 | verbose "$exec_output" | |
257 | pass $testname | |
258 | } else { | |
259 | send_log "$exec_output\n" | |
260 | verbose "$exec_output" | |
261 | fail $testname | |
262 | } | |
263 | } |