1 # Copyright
(C
) 2002, 2003, 2004 Free Software Foundation
, Inc.
3 # This
program is free software
; you can redistribute it and
/or modify
4 # it under the terms of the GNU General Public License as published by
5 # the Free Software Foundation
; either version
2 of the License
, or
6 #
(at your option
) any later version.
8 # This
program is distributed in the hope that it will be useful
,
9 # but WITHOUT
ANY WARRANTY
; without even the implied warranty of
10 # MERCHANTABILITY or FITNESS
FOR A PARTICULAR PURPOSE. See the
11 # GNU General Public License
for more details.
13 # You should have received a copy of the GNU General Public License
14 # along with this
program; if not
, write to the Free Software
15 # Foundation
, Inc.
, 59 Temple Place
- Suite
330, Boston
, MA
02111-1307, USA.
17 # This file was written by Janis Johnson
, <janis187@us.ibm.com
>
20 # Test interoperability of two compilers that follow the same ABI
, or
21 # compatibility of two versions of GCC.
23 # Each test has a main
program that does nothing but
call a function
,
24 # plus two additional source files that contain parts of a
program that
25 # rely
on the ABI. those source files are compiled into relocatable
26 # object files with both compilers. Executables are built using various
27 # combinations of those object files
, with the main
program compiled
28 # with the compiler under test and using that compiler
's runtime support.
30 # The including .exp file must define these callback procedures.
31 if [string match "" [info procs "compat-use-alt-compiler"]] then {
32 error "Proc compat-use-alt-compiler is not defined."
34 if [string match "" [info procs "compat-use-tst-compiler"]] then {
35 error "Proc compat-use-tst-compiler is not defined."
38 # Each test is run with each pair of compiler options from this list.
39 # The first set of options in each pair is used by the compiler under
40 # test, and the second set is used by the alternate compiler.
41 # The default option lists can be overridden by
42 # COMPAT_OPTIONS="[list [list {tst_1} {alt_1}]...[list {tst_n} {alt_n}]]"
43 # where tst_i and alt_i are lists of options. You can put this in the
44 # environment before site.exp is written or add it to site.exp directly.
45 if ![info exists COMPAT_OPTIONS] {
46 set COMPAT_OPTIONS [list \
50 set option_list $COMPAT_OPTIONS
52 # Subsets of tests can be selectively disabled by members of this list:
53 # - ATTRIBUTE: disable all tests using the __attribute__ extension,
54 # - COMPLEX_INT: disable all tests using the complex integral types extension,
55 # - VA: disable all tests using the variable number of arguments feature,
56 # - ZERO_ARRAY: disable all tests using the zero-sized arrays extension.
57 # The default skip lists can be overriden by
58 # COMPAT_SKIPS="[list {skip_1}...{skip_n}]"
59 # where skip_i are skip identifiers. You can put this in the environment
60 # before site.exp is written or add it to site.exp directly.
61 if ![info exists COMPAT_SKIPS] {
62 set COMPAT_SKIPS [list {}]
65 set skip_list $COMPAT_SKIPS
71 # compat-obj -- compile to an object file
73 # SOURCE is the source file
74 # DEST is the object file
75 # OPTALL is the list of compiler options to use with all tests
76 # OPTFILE is the list of compiler options to use with this file
77 # OPTSTR is the options to print with test messages
78 # XFAILDATA is the xfail data to be passed to the compiler
80 proc compat-obj { source dest optall optfile optstr xfaildata } {
83 global compiler_conditional_xfail_data
86 # Add the skip specifiers.
87 foreach skip $skip_list {
88 if { ![string match $skip ""] } {
89 lappend optall "-DSKIP_$skip"
93 # Set up the options for compiling this file.
95 lappend options "additional_flags=$optfile $optall"
97 set compiler_conditional_xfail_data $xfaildata
98 set comp_output [${tool}_target_compile "$source" "$dest" object $options]
99 ${tool}_check_compile "$testcase $dest compile" $optstr $dest $comp_output
102 # compat-run -- link and run an executable
104 # TESTNAME is the mixture of object files to link
105 # OBJLIST is the list of object files to link
106 # DEST is the name of the executable
107 # OPTALL is a list of compiler and linker options to use for all tests
108 # OPTFILE is a list of compiler and linker options to use for this test
109 # OPTSTR is the list of options to list in messages
111 proc compat-run { testname objlist dest optall optfile optstr } {
115 # Check that all of the objects were built successfully.
116 foreach obj [split $objlist] {
117 if ![file exists $obj] then {
118 unresolved "$testcase $testname link $optstr"
119 unresolved "$testcase $testname execute $optstr"
124 # Set up the options for linking this test.
126 lappend options "additional_flags=$optfile $optall"
128 # Link the objects into an executable.
129 set comp_output [${tool}_target_compile "$objlist" $dest executable \
131 if ![${tool}_check_compile "$testcase $testname link" "" \
132 $dest $comp_output] then {
133 unresolved "$testcase $testname execute $optstr"
137 # Run the self-checking executable.
138 if ![string match "*/*" $dest] then {
141 set result [${tool}_load $dest "" ""]
142 set status [lindex $result 0]
143 if { $status == "pass" } then {
144 remote_file build delete $dest
146 $status "$testcase $testname execute $optstr"
150 # compat-get-options-main -- get target requirements for a test and
151 # options for the primary source file and the test as a whole
153 # SRC is the full pathname of the primary source file.
155 proc compat-get-options-main { src } {
156 # dg-options sets a variable called dg-extra-tool-flags.
157 set dg-extra-tool-flags ""
159 # dg-require-* sets dg-do-what.
160 upvar dg-do-what dg-do-what
162 set tmp [dg-get-options $src]
164 set cmd [lindex $op 0]
165 if { ![string compare "dg-options" $cmd] \
166 || [string match "dg-require-*" $cmd] } {
167 set status [catch "$op" errmsg]
168 if { $status != 0 } {
169 perror "src: $errmsg for \"$op\"\n"
170 unresolved "$src: $errmsg for \"$op\""
173 } elseif { ![string compare "dg-xfail-if" $cmd] } {
174 warning "compat.exp does not support $cmd in primary source file"
176 # Ignore unrecognized dg- commands, but warn about them.
177 warning "compat.exp does not support $cmd"
181 # Return flags to use for compiling the primary source file and for
183 return ${dg-extra-tool-flags}
187 # compat-get-options -- get special tool flags to use for a secondary
190 # SRC is the full pathname of the source file.
191 # The result is a list of options to use.
193 # This code is copied from proc dg-test in dg.exp from DejaGNU.
195 proc compat-get-options { src } {
196 # dg-options sets a variable called dg-extra-tool-flags.
197 set dg-extra-tool-flags ""
199 # dg-xfail-if sets compiler_conditional_xfail_data.
200 global compiler_conditional_xfail_data
201 set compiler_conditional_xfail_data ""
203 # dg-xfail-if needs access to dg-do-what.
204 upvar dg-do-what dg-do-what
206 set tmp [dg-get-options $src]
208 set cmd [lindex $op 0]
209 if { ![string compare "dg-options" $cmd] \
210 || ![string compare "dg-xfail-if" $cmd] } {
211 set status [catch "$op" errmsg]
212 if { $status != 0 } {
213 perror "src: $errmsg for \"$op\"\n"
214 unresolved "$src: $errmsg for \"$op\""
217 } elseif { [string match "dg-require-*" $cmd] } {
218 warning "compat.exp does not support $cmd in secondary source files"
220 # Ignore unrecognized dg- commands, but warn about them.
221 warning "compat.exp does not support $cmd"
225 return ${dg-extra-tool-flags}
229 # compat-execute -- compile with compatible compilers
231 # SRC1 is the full pathname of the main file of the testcase.
232 # SID identifies a test suite in the names of temporary files.
233 # USE_ALT is nonzero if we're using an alternate compiler as well as
234 # the compiler under test.
236 proc compat
-execute { src1 sid use_alt
} {
243 global compiler_conditional_xfail_data
244 global dg
-do-what
-default
246 #
Get extra flags
for this test from the primary source file
, and
247 # process other dg
-* options that this suite supports. Warn about
249 verbose
"compat-execute: $src1" 1
250 set dg
-do-what
[list $
{dg
-do-what
-default
} "" P]
251 set extra_flags_1
[compat
-get-options
-main $src1
]
253 # Check whether this test is supported
for this target.
254 if { [lindex $
{dg
-do-what
} 1 ] == "N" } {
256 verbose
"$src1 not supported on this target, skipping it" 3
260 #
Set up the names of the other source files.
261 regsub
"_main.*" $src1 "" base
262 regsub
".*/" $base "" base
263 regsub
"_main" $src1 "_x" src2
264 regsub
"_main" $src1 "_y" src3
266 # Use the dg
-options mechanism to specify extra flags
for this test.
267 # The extra flags in each file are used to
compile that file
, and the
268 # extra flags in
*_main.
* are also used
for linking.
269 set extra_flags_2
[compat
-get-options $src2
]
270 set compile_xfail_2 $compiler_conditional_xfail_data
271 set extra_flags_3
[compat
-get-options $src3
]
272 set compile_xfail_3 $compiler_conditional_xfail_data
274 #
Define the names of the object files.
275 regsub
"sid" "sid_main_tst.o" $sid obj1
276 regsub
"sid" "sid_x_tst.o" $sid obj2_tst
277 regsub
"sid" "sid_x_alt.o" $sid obj2_alt
278 regsub
"sid" "sid_y_tst.o" $sid obj3_tst
279 regsub
"sid" "sid_y_alt.o" $sid obj3_alt
281 #
Get the base
name of this test
, for use in messages.
282 regsub
"^$srcdir/?" $src1 "" testcase
283 regsub
"^$tmpdir/?" $testcase "tmpdir-" testcase
284 regsub
"_main.*" $testcase "" testcase
285 #
Set up the base
name of executable files so they
'll be unique.
286 regsub -all "\[./\]" $testcase "-" execbase
288 # If we couldn't rip $srcdir out of `src1
' then just do the best we can.
289 # The point is to reduce the unnecessary noise in the logs. Don't
strip
290 # out too much because different testcases with the same
name can confuse
292 if [string match "/*" $testcase] then {
293 set testcase "[file tail [file dirname $src1]]/[file tail $src1]"
296 # Loop through all of the option lists used for this test.
299 foreach option_pair $option_list {
301 # Pick out each set of options.
302 set tst_option [lindex $option_pair 0]
303 set alt_option [lindex $option_pair 1]
305 if { ![string match $tst_option ""] \
306 || ![string match $alt_option ""] } then {
307 set optstr "\"$tst_option\",\"$alt_option\""
309 verbose "Testing $testcase, $optstr" 1
311 # There's a unique
name for each executable we generate
, based
on
312 # the
set of options and how the pieces of the tests are compiled.
313 set execname1
"${execbase}-${count}1"
314 set execname2
"${execbase}-${count}2"
315 set execname3
"${execbase}-${count}3"
316 set execname4
"${execbase}-${count}4"
319 remote_file build
delete $execname1
320 remote_file build
delete $execname2
321 remote_file build
delete $execname3
322 remote_file build
delete $execname4
324 #
Compile pieces with the alternate compiler
; we
'll catch problems
325 # later. Skip this if we don't have an alternate compiler.
326 if { $use_alt
!= 0 } then {
327 compat
-use
-alt
-compiler
328 compat
-obj "$src2" "$obj2_alt" $alt_option $extra_flags_2 \
329 $optstr $compile_xfail_2
330 compat
-obj "$src3" "$obj3_alt" $alt_option $extra_flags_3 \
331 $optstr $compile_xfail_3
334 #
Compile pieces with the compiler under test.
335 compat
-use
-tst
-compiler
336 compat
-obj "$src1" "$obj1" $tst_option $extra_flags_1 $optstr ""
337 compat
-obj "$src2" "$obj2_tst" $tst_option $extra_flags_2 \
338 $optstr $compile_xfail_2
339 compat
-obj "$src3" "$obj3_tst" $tst_option $extra_flags_3 \
340 $optstr $compile_xfail_3
342 # Link
(using the compiler under test
), run
, and clean up tests.
343 compat
-run
"${obj2_tst}-${obj3_tst}" \
344 "$obj1 $obj2_tst $obj3_tst" $execname1 \
345 $tst_option $extra_flags_1 $optstr
347 #
If we
've got an alternate compiler try some combinations.
348 if { $use_alt != 0 } then {
349 compat-run "${obj2_tst}-${obj3_alt}" "$obj1 $obj2_tst $obj3_alt" \
350 $execname2 $tst_option $extra_flags_1 $optstr
351 compat-run "${obj2_alt}-${obj3_tst}" "$obj1 $obj2_alt $obj3_tst" \
352 $execname3 $tst_option $extra_flags_1 $optstr
353 compat-run "${obj2_alt}-${obj3_alt}" "$obj1 $obj2_alt $obj3_alt" \
354 $execname4 $tst_option $extra_flags_1 $optstr
357 # Clean up object files.
358 set files [glob -nocomplain ${sid}_*.o]
359 if { $files != "" } {
360 foreach objfile $files {
361 if { ![info exists gluefile] || $objfile != $gluefile } {
362 eval "remote_file build delete $objfile"