1 # Copyright
(C
) 1997, 1999, 2000, 2003, 2004, 2005, 2007, 2008, 2009, 2010
2 # Free Software Foundation
, Inc.
4 # This
program 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
3 of the License
, or
7 #
(at your option
) any later version.
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.
14 # You should have received a copy of the GNU General Public License
15 # along with GCC
; see the file COPYING3.
If not see
16 #
<http
://www.gnu.org
/licenses
/>.
18 # DejaGnu
's dg-test defines extra flags that are used to compile a test.
19 # Access them for directives that need to examine all options that are
20 # used for a test, including checks for non-cached effective targets.
21 # We don't know how far up the
call chain it is but we know we
'll hit
22 # it eventually, and that we're at least
3 calls down.
24 proc current_compiler_flags
{ } {
26 while { ![info exists flags1
] } {
27 set frames
[expr $frames
+ 1]
28 upvar $frames dg
-extra
-tool
-flags flags1
30 upvar $frames tool_flags flags2
31 return "$flags1 $flags2"
34 #
If this target does not support weak symbols
, skip this test.
36 proc dg
-require
-weak
{ args } {
37 set weak_available
[ check_weak_available
]
38 if { $weak_available
== -1 } {
42 if { $weak_available
!= 1 } {
43 upvar dg
-do-what dg
-do-what
44 set dg
-do-what
[list
[lindex $
{dg
-do-what
} 0] "N" "P"]
48 #
If this target does not support overriding weak symbols
, skip this
51 proc dg
-require
-weak
-override
{ args } {
52 set weak_override_available
[ check_weak_override_available
]
53 if { $weak_override_available
== -1 } {
57 if { $weak_override_available
!= 1 } {
58 upvar dg
-do-what dg
-do-what
59 set dg
-do-what
[list
[lindex $
{dg
-do-what
} 0] "N" "P"]
63 #
If this target does not support the
"visibility" attribute, skip this
66 proc dg
-require
-visibility
{ args } {
67 set visibility_available
[ check_visibility_available
[lindex $
args 1 ] ]
68 if { $visibility_available
== -1 } {
72 if { $visibility_available
!= 1 } {
73 upvar dg
-do-what dg
-do-what
74 set dg
-do-what
[list
[lindex $
{dg
-do-what
} 0] "N" "P"]
78 #
If this target does not support the
"alias" attribute, skip this
81 proc dg
-require
-alias
{ args } {
82 set alias_available
[ check_alias_available
]
83 if { $alias_available
== -1 } {
87 if { $alias_available
< 2 } {
88 upvar dg
-do-what dg
-do-what
89 set dg
-do-what
[list
[lindex $
{dg
-do-what
} 0] "N" "P"]
93 #
If this target
's linker does not support the --gc-sections flag,
96 proc dg-require-gc-sections { args } {
97 if { ![ check_gc_sections_available ] } {
98 upvar dg-do-what dg-do-what
99 set dg-do-what [list [lindex ${dg-do-what} 0] "N" "P"]
103 # If this target does not support profiling, skip this test.
105 proc dg-require-profiling { args } {
106 if { ![ check_profiling_available ${args} ] } {
107 upvar dg-do-what dg-do-what
108 set dg-do-what [list [lindex ${dg-do-what} 0] "N" "P"]
112 # If this target does not support DLL attributes skip this test.
114 proc dg-require-dll { args } {
115 global target_triplet
116 # As a special case, the mcore-*-elf supports these attributes.
117 # All Symbian OS targets also support these attributes.
118 if { [string match "mcore-*-elf" $target_triplet]
119 || [string match "*-*-symbianelf" $target_triplet]} {
122 # PE/COFF targets support dllimport/dllexport.
123 if { [gcc_target_object_format] == "pe" } {
127 upvar dg-do-what dg-do-what
128 set dg-do-what [list [lindex ${dg-do-what} 0] "N" "P"]
131 proc dg-require-iconv { args } {
132 if { ![ check_iconv_available ${args} ] } {
133 upvar dg-do-what dg-do-what
134 set dg-do-what [list [lindex ${dg-do-what} 0] "N" "P"]
138 # If this target does not support named sections skip this test.
140 proc dg-require-named-sections { args } {
141 if { ![ check_named_sections_available ] } {
142 upvar dg-do-what dg-do-what
143 set dg-do-what [list [lindex ${dg-do-what} 0] "N" "P"]
147 # If the target does not match the required effective target, skip this test.
148 # Only apply this if the optional selector matches.
150 proc dg-require-effective-target { args } {
151 set args [lreplace $args 0 0]
152 # Verify the number of arguments. The last is optional.
153 if { [llength $args] < 1 || [llength $args] > 2 } {
154 error "syntax error, need a single effective-target keyword with optional selector"
157 # Evaluate selector if present.
158 if { [llength $args] == 2 } {
159 switch [dg-process-target [lindex $args 1]] {
165 if { ![is-effective-target [lindex $args 0]] } {
166 upvar dg-do-what dg-do-what
167 set dg-do-what [list [lindex ${dg-do-what} 0] "N" "P"]
171 # If this target does not have fork, skip this test.
173 proc dg-require-fork { args } {
174 if { ![check_fork_available] } {
175 upvar dg-do-what dg-do-what
176 set dg-do-what [list [lindex ${dg-do-what} 0] "N" "P"]
180 # If this target does not have mkfifo, skip this test.
182 proc dg-require-mkfifo { args } {
183 if { ![check_mkfifo_available] } {
184 upvar dg-do-what dg-do-what
185 set dg-do-what [list [lindex ${dg-do-what} 0] "N" "P"]
189 # If this target does not use __cxa_atexit, skip this test.
191 proc dg-require-cxa-atexit { args } {
192 if { ![ check_cxa_atexit_available ] } {
193 upvar dg-do-what dg-do-what
194 set dg-do-what [list [lindex ${dg-do-what} 0] "N" "P"]
198 # If the host is remote rather than the same as the build system, skip
199 # this test. Some tests are incompatible with DejaGnu's handling of
200 # remote hosts
, which involves copying the source file to the host and
201 # compiling it with a relative path and
"-o a.out".
203 proc dg
-require
-host
-local
{ args } {
204 if [ is_remote host
] {
205 upvar dg
-do-what dg
-do-what
206 set dg
-do-what
[list
[lindex $
{dg
-do-what
} 0] "N" "P"]
210 # Add
any target
-specific flags needed
for accessing the given list
211 # of features. This must come after all dg
-options.
213 proc dg
-add
-options
{ args } {
214 upvar dg
-extra
-tool
-flags extra
-tool
-flags
216 foreach
arg [lrange $
args 1 end
] {
217 if { [info procs add_options_for_$
arg] != "" } {
218 set extra
-tool
-flags \
219 [eval
[list add_options_for_$
arg $
{extra
-tool
-flags
}]]
221 error
"Unrecognized option type: $arg"
226 # Compare flags
for a test directive against flags that will be used to
227 #
compile the test
: multilib flags
, flags
for torture options
, and either
228 # the default flags
for this group of tests or flags specified with a
229 # previous dg
-options directive.
231 proc check
-flags
{ args } {
232 global compiler_flags
235 # The
args are within another list
; pull them out.
236 set args [lindex $
args 0]
238 # Start the list with a dummy tool
name so the list will match
"*"
239 #
if there are no flags.
240 set compiler_flags
" toolname "
241 append compiler_flags
[current_compiler_flags
]
242 #
If running a subset of the test suite
, $TOOL_OPTIONS may not exist.
243 catch
{append compiler_flags
" $TOOL_OPTIONS "}
244 set dest
[target_info
name]
245 if [board_info $dest
exists multilib_flags
] {
246 append compiler_flags
"[board_info $dest multilib_flags] "
249 # The next two arguments are optional.
If they were not specified
,
251 if { [llength $
args] == 2 } {
252 lappend $
args [list
"*"]
254 if { [llength $
args] == 3 } {
255 lappend $
args [list
""]
258 #
If the option strings are the defaults
, or the same as the
259 # defaults
, there is no need to
call check_conditional_xfail to
260 # compare them to the actual options.
261 if { [string compare
[lindex $
args 2] "*"] == 0
262 && [string compare
[lindex $
args 3] "" ] == 0 } {
265 # The target list might be an effective
-target keyword
, so replace
266 # the original list with
"*-*-*", since we already know it matches.
267 set result
[check_conditional_xfail
[lreplace $
args 1 1 "*-*-*"]]
270 #
Any value in this
variable was left over from an earlier test.
271 set compiler_flags
""
276 # Skip the test
(report it as UNSUPPORTED
) if the target list and
277 # included flags are matched and the excluded flags are not matched.
279 # The first
argument is the line number of the dg
-skip
-if directive
280 # within the test file. Remaining arguments are as
for xfail lists
:
281 # message
{ targets
} { include } { exclude
}
283 # This tests against multilib flags plus either the default flags
for this
284 # group of tests or flags specified with a previous dg
-options command.
286 proc dg
-skip
-if { args } {
287 # Verify the number of arguments. The last two are optional.
288 set args [lreplace $
args 0 0]
289 if { [llength $
args] < 2 ||
[llength $
args] > 4 } {
290 error
"dg-skip-if 2: need 2, 3, or 4 arguments"
293 # Don
't bother if we're already skipping the test.
294 upvar dg
-do-what dg
-do-what
295 if { [lindex $
{dg
-do-what
} 1] == "N" } {
299 set selector
[list target
[lindex $
args 1]]
300 if { [dg
-process
-target $selector
] == "S" } {
301 if [check
-flags $
args] {
302 upvar dg
-do-what dg
-do-what
303 set dg
-do-what
[list
[lindex $
{dg
-do-what
} 0] "N" "P"]
308 # Like check_conditional_xfail
, but callable from a dg test.
310 proc dg
-xfail
-if { args } {
311 # Verify the number of arguments. The last three are optional.
312 set args [lreplace $
args 0 0]
313 if { [llength $
args] < 2 ||
[llength $
args] > 4 } {
314 error
"dg-xfail-if: need 2, 3, or 4 arguments"
317 # Don
't change anything if we're already skipping the test.
318 upvar dg
-do-what dg
-do-what
319 if { [lindex $
{dg
-do-what
} 1] == "N" } {
323 set selector
[list target
[lindex $
args 1]]
324 if { [dg
-process
-target $selector
] == "S" } {
325 global compiler_conditional_xfail_data
327 # The target list might be an effective
-target keyword. Replace
328 # the original list with
"*-*-*", since we already know it matches.
329 set args [lreplace $
args 1 1 "*-*-*"]
331 # Supply default
values for unspecified optional arguments.
332 if { [llength $
args] == 2 } {
333 lappend $
args [list
"*"]
335 if { [llength $
args] == 3 } {
336 lappend $
args [list
""]
339 set compiler_conditional_xfail_data $
args
343 # Like dg
-xfail
-if but
for the
execute step.
345 proc dg
-xfail
-run
-if { args } {
346 # Verify the number of arguments. The last two are optional.
347 set args [lreplace $
args 0 0]
348 if { [llength $
args] < 2 ||
[llength $
args] > 4 } {
349 error
"dg-xfail-run-if: need 2, 3, or 4 arguments"
352 # Don
't bother if we're already skipping the test.
353 upvar dg
-do-what dg
-do-what
354 if { [lindex $
{dg
-do-what
} 1] == "N" } {
358 set selector
[list target
[lindex $
args 1]]
359 if { [dg
-process
-target $selector
] == "S" } {
360 if [check
-flags $
args] {
361 upvar dg
-do-what dg
-do-what
362 set dg
-do-what
[list
[lindex $
{dg
-do-what
} 0] "S" "F"]
367 # Record whether the
program is expected to
return a nonzero
status.
371 proc dg
-shouldfail
{ args } {
372 # Don
't bother if we're already skipping the test.
373 upvar dg
-do-what dg
-do-what
374 if { [lindex $
{dg
-do-what
} 1] == "N" } {
380 set args [lreplace $
args 0 0]
381 if { [llength $
args] > 1 } {
382 set selector
[list target
[lindex $
args 1]]
383 if { [dg
-process
-target $selector
] == "S" } {
384 # The target matches
, now check the flags.
385 if [check
-flags $
args] {
394 # Intercept the
call to the DejaGnu version of dg
-process
-target to
395 # support use of an effective
-target keyword in place of a list of
396 # target triplets to xfail or skip a test.
398 # selector is one of
:
399 # xfail target
-triplet
-1 ...
400 # xfail effective
-target
-keyword
401 # xfail selector
-expression
402 # target target
-triplet
-1 ...
403 # target effective
-target
-keyword
404 # target selector
-expression
406 #
For a target list the result is
"S" if the target is selected, "N" otherwise.
407 #
For an xfail list the result is
"F" if the target is affected, "P" otherwise.
409 # A selector expression appears within curly braces and uses a single logical
410 # operator
: !, &&, or ||. An operand is another selector expression
, an
411 # effective
-target keyword
, or a list of target triplets within quotes or
414 if { [info procs saved
-dg
-process
-target
] == [list
] } {
415 rename dg
-process
-target saved
-dg
-process
-target
417 # Evaluate an operand within a selector expression.
418 proc selector_opd
{ op
} {
419 set selector
"target"
421 set answer
[ expr
{ [dg
-process
-target $selector
] == "S" } ]
422 verbose
"selector_opd: `$op' $answer" 2
426 # Evaluate a target triplet list within a selector expression.
427 # Unlike other operands
, this needs to be expanded from a list to
428 # the same string as
"target".
429 proc selector_list
{ op
} {
430 set selector
"target [join $op]"
431 set answer
[ expr
{ [dg
-process
-target $selector
] == "S" } ]
432 verbose
"selector_list: `$op' $answer" 2
436 # Evaluate a selector expression.
437 proc selector_expression
{ exp
} {
438 if { [llength $exp
] == 2 } {
439 if [string match
"!" [lindex $exp 0]] {
440 set op1
[lindex $exp
1]
441 set answer
[expr
{ ! [selector_opd $op1
] }]
443 # Assume it
's a list of target triplets.
444 set answer [selector_list $exp]
446 } elseif { [llength $exp] == 3 } {
447 set op1 [lindex $exp 0]
448 set opr [lindex $exp 1]
449 set op2 [lindex $exp 2]
450 if [string match "&&" $opr] {
451 set answer [expr { [selector_opd $op1] && [selector_opd $op2] }]
452 } elseif [string match "||" $opr] {
453 set answer [expr { [selector_opd $op1] || [selector_opd $op2] }]
455 # Assume it's a list of target triplets.
456 set answer
[selector_list $exp
]
459 # Assume it
's a list of target triplets.
460 set answer [selector_list $exp]
463 verbose "selector_expression: `$exp' $answer
" 2
467 proc dg
-process
-target
{ args } {
468 verbose
"replacement dg-process-target: `$args'" 2
470 # Extract the
'what' keyword from the
argument list.
471 set selector
[string trim
[lindex $
args 0]]
472 if [regexp
"^xfail " $selector] {
474 } elseif
[regexp
"^target " $selector] {
477 error
"syntax error in target selector \"$selector\""
480 # Extract the rest of the list
, which might be a keyword.
481 regsub
"^${what}" $selector "" rest
482 set rest
[string trim $rest
]
484 if [is
-effective
-target
-keyword $rest
] {
485 # The selector is an effective target keyword.
486 if [is
-effective
-target $rest
] {
487 return [expr
{ $what
== "xfail" ? "F" : "S" }]
489 return [expr
{ $what
== "xfail" ? "P" : "N" }]
493 if [string match
"{*}" $rest] {
494 if [selector_expression
[lindex $rest
0]] {
495 return [expr
{ $what
== "xfail" ? "F" : "S" }]
497 return [expr
{ $what
== "xfail" ? "P" : "N" }]
501 # The selector is not an effective
-target keyword
, so process
502 # the list of target triplets.
503 return [saved
-dg
-process
-target $selector
]