OSDN Git Service

* lib/g++.exp (g++_init): Use istarget. Remove target_triplet global.
[pf3gnuchains/gcc-fork.git] / gcc / testsuite / lib / target-supports-dg.exp
index b361b7f..3e577a9 100644 (file)
@@ -1,8 +1,9 @@
-#   Copyright (C) 1997, 1999, 2000, 2003, 2004, 2005 Free Software Foundation, Inc.
+#   Copyright (C) 1997, 1999, 2000, 2003, 2004, 2005, 2007, 2008, 2009, 2010,
+#   2011 Free Software Foundation, Inc.
 
 # This program is free software; you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
-# the Free Software Foundation; either version 2 of the License, or
+# the Free Software Foundation; either version 3 of the License, or
 # (at your option) any later version.
 #
 # This program is distributed in the hope that it will be useful,
 # GNU General Public License for more details.
 #
 # You should have received a copy of the GNU General Public License
-# along with this program; if not, write to the Free Software
-# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
+# along with GCC; see the file COPYING3.  If not see
+# <http://www.gnu.org/licenses/>.
+
+# DejaGnu's dg-test defines extra flags that are used to compile a test.
+# Access them for directives that need to examine all options that are
+# used for a test, including checks for non-cached effective targets.
+# We don't know how far up the call chain it is but we know we'll hit
+# it eventually, and that we're at least 3 calls down.
+
+proc current_compiler_flags { } {
+    set frames 2
+    while { ![info exists flags1] } {
+       set frames [expr $frames + 1]
+       upvar $frames dg-extra-tool-flags flags1
+    }
+    upvar $frames tool_flags flags2
+    return "$flags1 $flags2"
+}
 
 # If this target does not support weak symbols, skip this test.
 
@@ -28,6 +45,21 @@ proc dg-require-weak { args } {
     }
 }
 
+# If this target does not support overriding weak symbols, skip this
+# test.
+
+proc dg-require-weak-override { args } {
+    set weak_override_available [ check_weak_override_available ]
+    if { $weak_override_available == -1 } {
+       upvar name name
+       unresolved "$name"
+    }
+    if { $weak_override_available != 1 } {
+       upvar dg-do-what dg-do-what
+       set dg-do-what [list [lindex ${dg-do-what} 0] "N" "P"]
+    }
+}
+
 # If this target does not support the "visibility" attribute, skip this
 # test.
 
@@ -58,6 +90,16 @@ proc dg-require-alias { args } {
     }
 }
 
+# If this target does not support the "ifunc" attribute, skip this
+# test.
+
+proc dg-require-ifunc { args } {
+    if { ![ check_ifunc_available ] } {
+       upvar dg-do-what dg-do-what
+       set dg-do-what [list [lindex ${dg-do-what} 0] "N" "P"]
+    }
+}
+
 # If this target's linker does not support the --gc-sections flag,
 # skip this test.
 
@@ -71,7 +113,7 @@ proc dg-require-gc-sections { args } {
 # If this target does not support profiling, skip this test.
 
 proc dg-require-profiling { args } {
-    if { ![ check_profiling_available ${args} ] } {
+    if { ![ check_profiling_available [lindex $args 1] ] } {
        upvar dg-do-what dg-do-what
        set dg-do-what [list [lindex ${dg-do-what} 0] "N" "P"]
     }
@@ -80,11 +122,10 @@ proc dg-require-profiling { args } {
 # If this target does not support DLL attributes skip this test.
 
 proc dg-require-dll { args } {
-    global target_triplet
     # As a special case, the mcore-*-elf supports these attributes.
     # All Symbian OS targets also support these attributes.
-    if { [string match "mcore-*-elf" $target_triplet]
-         || [string match "*-*-symbianelf" $target_triplet]} {
+    if { [istarget mcore-*-elf]
+         || [istarget *-*-symbianelf] } {
        return
     }
     # PE/COFF targets support dllimport/dllexport.
@@ -96,6 +137,15 @@ proc dg-require-dll { args } {
     set dg-do-what [list [lindex ${dg-do-what} 0] "N" "P"]
 }
 
+# If this host does not support an ASCII locale, skip this test.
+
+proc dg-require-ascii-locale { args } {
+    if { ![ check_ascii_locale_available] } {
+       upvar dg-do-what dg-do-what
+        set dg-do-what [list [lindex ${dg-do-what} 0] "N" "P"]
+    }
+}
+
 proc dg-require-iconv { args } {
     if { ![ check_iconv_available ${args} ] } {
        upvar dg-do-what dg-do-what
@@ -113,11 +163,30 @@ proc dg-require-named-sections { args } {
 }
 
 # If the target does not match the required effective target, skip this test.
+# Only apply this if the optional selector matches.
 
 proc dg-require-effective-target { args } {
     set args [lreplace $args 0 0]
+    # Verify the number of arguments.  The last is optional.
+    if { [llength $args] < 1 || [llength $args] > 2 } {
+       error "syntax error, need a single effective-target keyword with optional selector"
+    }
+
+    # Don't bother if we're already skipping the test.
+    upvar dg-do-what dg-do-what
+    if { [lindex ${dg-do-what} 1] == "N" } {
+      return
+    }
+    
+    # Evaluate selector if present.
+    if { [llength $args] == 2 } {
+       switch [dg-process-target [lindex $args 1]] {
+           "S" { }
+           "N" { return }
+       }
+    }
+
     if { ![is-effective-target [lindex $args 0]] } {
-       upvar dg-do-what dg-do-what
         set dg-do-what [list [lindex ${dg-do-what} 0] "N" "P"]
     }
 }
@@ -149,34 +218,90 @@ proc dg-require-cxa-atexit { args } {
     }
 }
 
-# Check the flags with which the test will be run against options in
-# a test directive that will skip or xfail that test.  The DejaGnu proc
-# check_conditional_xfail will look at the options in compiler_flags, so
-# set that up for this test based on flags we know about.
+# If the host is remote rather than the same as the build system, skip
+# this test.  Some tests are incompatible with DejaGnu's handling of
+# remote hosts, which involves copying the source file to the host and
+# compiling it with a relative path and "-o a.out".
 
-proc check_test_flags { args } {
+proc dg-require-host-local { args } {
+    if [ is_remote host ] {
+        upvar dg-do-what dg-do-what
+        set dg-do-what [list [lindex ${dg-do-what} 0] "N" "P"]
+    }
+}
+
+proc dg-require-linker-plugin { args } {
+    set linker_plugin_available [ check_linker_plugin_available ]
+    if { $linker_plugin_available == 0 } {
+       upvar dg-do-what dg-do-what
+       set dg-do-what [list [lindex ${dg-do-what} 0] "N" "P"]
+    }
+}
+
+# Add any target-specific flags needed for accessing the given list
+# of features.  This must come after all dg-options.
+
+proc dg-add-options { args } {
+    upvar dg-extra-tool-flags extra-tool-flags
+
+    foreach arg [lrange $args 1 end] {
+       if { [info procs add_options_for_$arg] != "" } {
+           set extra-tool-flags \
+               [eval [list add_options_for_$arg ${extra-tool-flags}]]
+       } else {
+           error "Unrecognized option type: $arg"
+       }
+    }
+}
+
+# Compare flags for a test directive against flags that will be used to
+# compile the test: multilib flags, flags for torture options, and either
+# the default flags for this group of tests or flags specified with a
+# previous dg-options directive.
+
+proc check-flags { args } {
     global compiler_flags
-    upvar 2 dg-extra-tool-flags extra_tool_flags
+    global TOOL_OPTIONS
 
-    # Pull the args out of the enclosing list.
+    # The args are within another list; pull them out.
     set args [lindex $args 0]
 
     # Start the list with a dummy tool name so the list will match "*"
     # if there are no flags.
     set compiler_flags " toolname "
-    append compiler_flags $extra_tool_flags
+    append compiler_flags [current_compiler_flags]
+    # If running a subset of the test suite, $TOOL_OPTIONS may not exist.
+    catch {append compiler_flags " $TOOL_OPTIONS "}
     set dest [target_info name]
     if [board_info $dest exists multilib_flags] {
        append compiler_flags "[board_info $dest multilib_flags] "
     }
 
-    set answer [check_conditional_xfail $args]
+    # The next two arguments are optional.  If they were not specified,
+    # use the defaults.
+    if { [llength $args] == 2 } {
+       lappend $args [list "*"]
+    }
+    if { [llength $args] == 3 } {
+       lappend $args [list ""]
+    }
+
+    # If the option strings are the defaults, or the same as the
+    # defaults, there is no need to call check_conditional_xfail to
+    # compare them to the actual options.
+    if { [string compare [lindex $args 2] "*"] == 0
+        && [string compare [lindex $args 3] "" ] == 0 } {
+       set result 1    
+    } else {
+       # The target list might be an effective-target keyword, so replace
+       # the original list with "*-*-*", since we already know it matches.
+       set result [check_conditional_xfail [lreplace $args 1 1 "*-*-*"]]
+    }
 
-    # Any value in this variable originally was left over from an earlier test.
+    # Any value in this variable was left over from an earlier test.
     set compiler_flags ""
 
-    verbose "check_test_flags: $args $answer" 2
-    return $answer
+    return $result
 }
 
 # Skip the test (report it as UNSUPPORTED) if the target list and
@@ -190,52 +315,110 @@ proc check_test_flags { args } {
 # group of tests or flags specified with a previous dg-options command.
 
 proc dg-skip-if { args } {
+    # Verify the number of arguments.  The last two are optional.
     set args [lreplace $args 0 0]
+    if { [llength $args] < 2 || [llength $args] > 4 } {
+       error "dg-skip-if 2: need 2, 3, or 4 arguments"
+    }
+
+    # Don't bother if we're already skipping the test.
+    upvar dg-do-what dg-do-what
+    if { [lindex ${dg-do-what} 1] == "N" } {
+      return
+    }
 
     set selector [list target [lindex $args 1]]
     if { [dg-process-target $selector] == "S" } {
-       # The target list matched; now check the flags.  The DejaGnu proc
-       # check_conditional_xfail will look at the options in compiler_flags,
-       # so set that up for this test based on flags we know about.  Start
-       # the list with a dummy tool name so the list will match "*" if
-       # there are no flags.
-
-       global compiler_flags
-       upvar dg-extra-tool-flags extra_tool_flags
-
-       set compiler_flags " toolname "
-       append compiler_flags $extra_tool_flags
-       set dest [target_info name]
-       if [board_info $dest exists multilib_flags] {
-           append compiler_flags "[board_info $dest multilib_flags] "
-       }
-
-       # The target list might be an effective-target keyword, so replace
-       # the original list with "*-*-*".
-       if [check_conditional_xfail [lreplace $args 1 1 "*-*-*"]] {
+       if [check-flags $args] {
            upvar dg-do-what dg-do-what
             set dg-do-what [list [lindex ${dg-do-what} 0] "N" "P"]
        }
-
-       # Any value in this variable was left over from an earlier test.
-       set compiler_flags ""
     }
 }
 
 # Like check_conditional_xfail, but callable from a dg test.
 
 proc dg-xfail-if { args } {
+    # Verify the number of arguments.  The last three are optional.
+    set args [lreplace $args 0 0]
+    if { [llength $args] < 2 || [llength $args] > 4 } {
+       error "dg-xfail-if: need 2, 3, or 4 arguments"
+    }
+
     # Don't change anything if we're already skipping the test.
     upvar dg-do-what dg-do-what
     if { [lindex ${dg-do-what} 1] == "N" } {
       return
     }
 
-    set args [lreplace $args 0 0]
     set selector [list target [lindex $args 1]]
     if { [dg-process-target $selector] == "S" } {
        global compiler_conditional_xfail_data
-       set compiler_conditional_xfail_data [lreplace $args 1 1 "*-*-*"]
+
+       # The target list might be an effective-target keyword.  Replace
+       # the original list with "*-*-*", since we already know it matches.
+       set args [lreplace $args 1 1 "*-*-*"]
+
+       # Supply default values for unspecified optional arguments.
+       if { [llength $args] == 2 } {
+           lappend $args [list "*"]
+       }
+       if { [llength $args] == 3 } {
+           lappend $args [list ""]
+       }
+
+       set compiler_conditional_xfail_data $args
+    }
+}
+
+# Like dg-xfail-if but for the execute step.
+
+proc dg-xfail-run-if { args } {
+    # Verify the number of arguments.  The last two are optional.
+    set args [lreplace $args 0 0]
+    if { [llength $args] < 2 || [llength $args] > 4 } {
+       error "dg-xfail-run-if: need 2, 3, or 4 arguments"
+    }
+
+    # Don't bother if we're already skipping the test.
+    upvar dg-do-what dg-do-what
+    if { [lindex ${dg-do-what} 1] == "N" } {
+      return
+    }
+
+    set selector [list target [lindex $args 1]]
+    if { [dg-process-target $selector] == "S" } {
+       if [check-flags $args] {
+           upvar dg-do-what dg-do-what
+            set dg-do-what [list [lindex ${dg-do-what} 0] "S" "F"]
+       }
+    }
+}
+
+# Record whether the program is expected to return a nonzero status.
+
+set shouldfail 0
+
+proc dg-shouldfail { args } {
+    # Don't bother if we're already skipping the test.
+    upvar dg-do-what dg-do-what
+    if { [lindex ${dg-do-what} 1] == "N" } {
+      return
+    }
+
+    global shouldfail
+
+    set args [lreplace $args 0 0]
+    if { [llength $args] > 1 } {
+       set selector [list target [lindex $args 1]]
+       if { [dg-process-target $selector] == "S" } {
+           # The target matches, now check the flags.
+           if [check-flags $args] {
+               set shouldfail 1
+           }
+       }
+    } else {
+       set shouldfail 1
     }
 }