OSDN Git Service

* gcc.c-torture/unsorted/dump-noaddr.x (dump_compare): Use --dumpbase
[pf3gnuchains/gcc-fork.git] / gcc / testsuite / lib / gcc-dg.exp
index 0164398..7e68417 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, 2006, 2007, 2008, 2009
+#   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/>.
 
 load_lib dg.exp
 load_lib file-format.exp
 load_lib target-supports.exp
 load_lib target-supports-dg.exp
 load_lib scanasm.exp
+load_lib scanrtl.exp
 load_lib scantree.exp
+load_lib scanipa.exp
+load_lib timeout.exp
+load_lib timeout-dg.exp
 load_lib prune.exp
 load_lib libgloss.exp
 load_lib target-libpath.exp
+load_lib torture-options.exp
 
 # We set LC_ALL and LANG to C so that we get the same error messages as expected.
 setenv LC_ALL C
 setenv LANG C
 
-if ![info exists TORTURE_OPTIONS] {
+if [info exists TORTURE_OPTIONS] {
+    set DG_TORTURE_OPTIONS $TORTURE_OPTIONS
+} else {
     # It is theoretically beneficial to group all of the O2/O3 options together,
     # as in many cases the compiler will generate identical executables for
     # all of them--and the c-torture testsuite will skip testing identical
@@ -36,7 +44,7 @@ if ![info exists TORTURE_OPTIONS] {
     # Also note that -finline-functions is explicitly included in one of the
     # items below, even though -O3 is also specified, because some ports may
     # choose to disable inlining functions by default, even when optimizing.
-    set TORTURE_OPTIONS [list \
+    set DG_TORTURE_OPTIONS [list \
        { -O0 } \
        { -O1 } \
        { -O2 } \
@@ -47,6 +55,11 @@ if ![info exists TORTURE_OPTIONS] {
        { -Os } ]
 }
 
+if [info exists ADDITIONAL_TORTURE_OPTIONS] {
+    set DG_TORTURE_OPTIONS \
+       [concat $DG_TORTURE_OPTIONS $ADDITIONAL_TORTURE_OPTIONS]
+}
+
 global GCC_UNDER_TEST
 if ![info exists GCC_UNDER_TEST] {
     set GCC_UNDER_TEST "[find_gcc]"
@@ -61,17 +74,6 @@ if { $orig_environment_saved == 0 } {
     set_ld_library_path_env_vars
 }
 
-# Split TORTURE_OPTIONS into two choices: one for testcases with loops and
-# one for testcases without loops.
-
-set torture_with_loops $TORTURE_OPTIONS
-set torture_without_loops ""
-foreach option $TORTURE_OPTIONS {
-    if ![string match "*loop*" $option] {
-       lappend torture_without_loops $option
-    }
-}
-
 # Define gcc callbacks for dg.exp.
 
 proc gcc-dg-test-1 { target_compile prog do_what extra_tool_flags } {
@@ -136,6 +138,15 @@ proc gcc-dg-test-1 { target_compile prog do_what extra_tool_flags } {
 
     set comp_output [$target_compile "$prog" "$output_file" "$compile_type" $options]
 
+    # Look for an internal compiler error, which sometimes masks the fact
+    # that we didn't get an expected error message.  XFAIL an ICE via
+    # dg-xfail-if and use { dg-prune-output ".*internal compiler error.*" }
+    # to avoid a second failure for excess errors.
+    if [string match "*internal compiler error*" $comp_output] {
+       upvar 2 name name
+       fail "$name (internal compiler error)"
+    }
+
     if { $do_what == "repo" } {
        set object_file "$output_file"
        set output_file "[file rootname [file tail $prog]].exe"
@@ -172,9 +183,39 @@ proc gcc-dg-prune { system text } {
        return "::unsupported::memory full"
     }
 
+    # Likewise, if we see ".text exceeds local store range" or
+    # similar.
+    if {[string match "spu-*" $system] && \
+           [string match "*exceeds local store*" $text]} {
+       # The format here is important.  See dg.exp.
+       return "::unsupported::memory full"
+    }
+
     return $text
 }
 
+# Replace ${tool}_load with a wrapper to provide for an expected nonzero
+# exit status.  Multiple languages include this file so this handles them
+# all, not just gcc.
+if { [info procs ${tool}_load] != [list] \
+      && [info procs saved_${tool}_load] == [list] } {
+    rename ${tool}_load saved_${tool}_load
+
+    proc ${tool}_load { program args } {
+       global tool
+       global shouldfail
+       set result [eval [list saved_${tool}_load $program] $args]
+       if { $shouldfail != 0 } {
+           switch [lindex $result 0] {
+               "pass" { set status "fail" }
+               "fail" { set status "pass" }
+           }
+           set result [list $status [lindex $result 1]]
+       }
+       return $result
+    }
+}
+
 # Utility routines.
 
 #
@@ -197,7 +238,17 @@ proc search_for { file pattern } {
 proc gcc-dg-runtest { testcases default-extra-flags } {
     global runtests
 
+    # Some callers set torture options themselves; don't override those.
+    set existing_torture_options [torture-options-exist]
+    if { $existing_torture_options == 0 } {
+       global DG_TORTURE_OPTIONS
+       torture-init
+       set-torture-options $DG_TORTURE_OPTIONS
+    }
+    dump-torture-options
+
     foreach test $testcases {
+       global torture_with_loops torture_without_loops
        # If we're only testing specific files and this isn't one of
        # them, skip it.
        if ![runtest_file_p $runtests $test] {
@@ -206,7 +257,6 @@ proc gcc-dg-runtest { testcases default-extra-flags } {
 
        # Look for a loop within the source code - if we don't find one,
        # don't pass -funroll[-all]-loops.
-       global torture_with_loops torture_without_loops
        if [expr [search_for $test "for*("]+[search_for $test "while*("]] {
            set option_list $torture_with_loops
        } else {
@@ -220,6 +270,10 @@ proc gcc-dg-runtest { testcases default-extra-flags } {
            dg-test $test $flags ${default-extra-flags}
        }
     }
+
+    if { $existing_torture_options == 0 } {
+       torture-finish
+    }
 }
 
 proc gcc-dg-debug-runtest { target_compile trivial opt_opts testcases } {
@@ -233,11 +287,20 @@ proc gcc-dg-debug-runtest { target_compile trivial opt_opts testcases } {
                    "additional_flags=$type"]
            if { ! [string match "*: target system does not support the * debug format*" \
                    $comp_output] } {
+               remove-build-file "trivial.S"
                foreach level {1 "" 3} {
-                   lappend DEBUG_TORTURE_OPTIONS [list "${type}${level}"]
-                   foreach opt $opt_opts {
-                       lappend DEBUG_TORTURE_OPTIONS \
-                               [list "${type}${level}" "$opt" ]
+                   if { ($type == "-gdwarf-2") && ($level != "") } {
+                       lappend DEBUG_TORTURE_OPTIONS [list "${type}" "-g${level}"]
+                       foreach opt $opt_opts {
+                           lappend DEBUG_TORTURE_OPTIONS \
+                                   [list "${type}" "-g${level}" "$opt" ]
+                       }
+                   } else {
+                       lappend DEBUG_TORTURE_OPTIONS [list "${type}${level}"]
+                       foreach opt $opt_opts {
+                           lappend DEBUG_TORTURE_OPTIONS \
+                                   [list "${type}${level}" "$opt" ]
+                       }
                    }
                }
            }
@@ -259,8 +322,14 @@ proc gcc-dg-debug-runtest { target_compile trivial opt_opts testcases } {
 
        foreach flags $DEBUG_TORTURE_OPTIONS {
            set doit 1
-           if { [string match {*/debug-[126].c} "$nshort"] \
-                   && [string match "*1" [lindex "$flags" 0] ] } {
+
+           # These tests check for information which may be deliberately
+           # suppressed at -g1.
+           if { ([string match {*/debug-[126].c} "$nshort"] \
+                  || [string match {*/enum-1.c} "$nshort"] \
+                  || [string match {*/enum-[12].C} "$nshort"]) \
+                   && ([string match "*1" [lindex "$flags" 0] ]
+                       || [lindex "$flags" 1] == "-g1") } {
                set doit 0
            }
 
@@ -301,10 +370,21 @@ proc remove-build-file { pat } {
     set file_list "[glob -nocomplain $pat]"
     verbose "remove-build-file `$file_list'" 2
     foreach output_file $file_list {
+       if [is_remote host] {
+           # Ensure the host knows the file is gone by deleting there
+           # first.
+           remote_file host delete $output_file
+       }
        remote_file build delete $output_file
     }
 }
 
+# Remove runtime-generated profile file for the current test.
+proc cleanup-profile-file { } {
+    remove-build-file "mon.out"
+    remove-build-file "gmon.out"
+}
+
 # Remove compiler-generated coverage files for the current test.
 proc cleanup-coverage-files { } {
     # This assumes that we are two frames down from dg-test or some other proc
@@ -343,79 +423,146 @@ proc cleanup-repo-files { } {
 #
 # SUFFIX is the filename suffix pattern.
 proc cleanup-rtl-dump { suffix } {
-    # This assumes that we are two frames down from dg-test or some other proc
-    # that stores the filename of the testcase in a local variable "name".
-    # A cleaner solution would require a new DejaGnu release.
-    upvar 2 name testcase
-    remove-build-file "[file tail $testcase].??.$suffix"
-
-    # Clean up dump files for additional source files.
-    if [info exists additional_sources] {
-       foreach srcfile $additional_sources {
-           remove-build-file "[file tail $srcfile].??.$suffix"
-       }
-    }
+  cleanup-dump "\[0-9\]\[0-9\]\[0-9\]r.$suffix"
 }
 
 # Remove a specific tree dump file for the current test.
 #
-# SUFFIX is the file suffix pattern.
+# SUFFIX is the tree dump file suffix pattern.
 proc cleanup-tree-dump { suffix } {
-    # This assumes that we are two frames down from dg-test or some other proc
-    # that stores the filename of the testcase in a local variable "name".
-    # A cleaner solution would require a new DejaGnu release.
-    upvar 2 name testcase
-    remove-build-file "[file tail $testcase].t??.$suffix"
-
-    # Clean up dump files for additional source files.
-    if [info exists additional_sources] {
-       foreach srcfile $additional_sources {
-           remove-build-file "[file tail $srcfile].t??.$suffix"
-       }
-    }
+  cleanup-dump "\[0-9\]\[0-9\]\[0-9\]t.$suffix"
 }
 
 # Remove a specific ipa dump file for the current test.
 #
-# SUFFIX is the file suffix pattern.
+# SUFFIX is the ipa dump file suffix pattern.
 proc cleanup-ipa-dump { suffix } {
-    # This assumes that we are two frames down from dg-test or some other proc
-    # that stores the filename of the testcase in a local variable "name".
-    # A cleaner solution would require a new DejaGnu release.
-    upvar 2 name testcase
-    remove-build-file "[file tail $testcase].i??.$suffix"
+  cleanup-dump "\[0-9\]\[0-9\]\[0-9\]i.$suffix"
+}
+
+# Remove all dump files with the provided suffix.
+proc cleanup-dump { suffix } {
+    # This assumes that we are three frames down from dg-test or some other
+    # proc that stores the filename of the testcase in a local variable
+    # "name".  A cleaner solution would require a new DejaGnu release.
+    upvar 3 name testcase
+    # The name might include a list of options; extract the file name.
+    set src [file tail [lindex $testcase 0]]
+    remove-build-file "[file tail $src].$suffix"
 
     # Clean up dump files for additional source files.
     if [info exists additional_sources] {
        foreach srcfile $additional_sources {
-           remove-build-file "[file tail $srcfile].i??.$suffix"
+           remove-build-file "[file tail $srcfile].$suffix"
        }
     }
 }
 
 # Remove files kept by --save-temps for the current test.
 #
-# Currently this is only .i files, but more can be added if there are
-# tests generating them.
-proc cleanup-saved-temps { } {
+# Currently this is only .i, .ii, .s and .o files, but more can be added
+# if there are tests generating them.
+# ARGS is a list of suffixes to NOT delete.
+proc cleanup-saved-temps { args } {
     global additional_sources
+    set suffixes {}
+
+    # add the to-be-kept suffixes
+    foreach suffix {".ii" ".i" ".s" ".o"} {
+       if {[lsearch $args $suffix] < 0} {
+           lappend suffixes $suffix
+       }
+    }
 
     # This assumes that we are two frames down from dg-test or some other proc
     # that stores the filename of the testcase in a local variable "name".
     # A cleaner solution would require a new DejaGnu release.
     upvar 2 name testcase
-    remove-build-file "[file rootname [file tail $testcase]].ii"
-    remove-build-file "[file rootname [file tail $testcase]].i"
+    foreach suffix $suffixes {
+       remove-build-file "[file rootname [file tail $testcase]]$suffix"
+    }
 
     # Clean up saved temp files for additional source files.
     if [info exists additional_sources] {
        foreach srcfile $additional_sources {
-            remove-build-file "[file rootname [file tail $srcfile]].ii"
-            remove-build-file "[file rootname [file tail $srcfile]].i"
+           foreach suffix $suffixes {
+               remove-build-file "[file rootname [file tail $srcfile]]$suffix"
+           }
        }
     }
 }
 
+# Remove files for specified Fortran modules.
+proc cleanup-modules { modlist } {
+    foreach modname $modlist {
+       remove-build-file [string tolower $modname].mod
+    }
+}
+
+# Scan Fortran modules for a given regexp.
+#
+# Argument 0 is the module name
+# Argument 1 is the regexp to match
+proc scan-module { args } {
+    set modfilename [string tolower [lindex $args 0]].mod
+    set fd [open $modfilename r]
+    set text [read $fd]
+    close $fd
+
+    upvar 2 name testcase
+    if [regexp -- [lindex $args 1] $text] {
+      pass "$testcase scan-module [lindex $args 1]"
+    } else {
+      fail "$testcase scan-module [lindex $args 1]"
+    }
+}
+
+# Verify that the compiler output file exists, invoked via dg-final.
+proc output-exists { args } {
+    # Process an optional target or xfail list.
+    if { [llength $args] >= 1 } {
+       switch [dg-process-target [lindex $args 0]] {
+           "S" { }
+           "N" { return }
+           "F" { setup_xfail "*-*-*" }
+           "P" { }
+       }
+    }
+
+    # Access variables from gcc-dg-test-1.
+    upvar 2 name testcase
+    upvar 2 output_file output_file
+
+    if [file exists $output_file] {
+       pass "$testcase output-exists $output_file"
+    } else {
+       fail "$testcase output-exists $output_file"
+    }
+}
+
+# Verify that the compiler output file does not exist, invoked via dg-final.
+proc output-exists-not { args } {
+    # Process an optional target or xfail list.
+    if { [llength $args] >= 1 } {
+       switch [dg-process-target [lindex $args 0]] {
+           "S" { }
+           "N" { return }
+           "F" { setup_xfail "*-*-*" }
+           "P" { }
+       }
+    }
+
+    # Access variables from gcc-dg-test-1.
+    upvar 2 name testcase
+    upvar 2 output_file output_file
+
+    if [file exists $output_file] {
+       fail "$testcase output-exists-not $output_file"
+    } else {
+       pass "$testcase output-exists-not $output_file"
+    }
+}
+
 # We need to make sure that additional_* are cleared out after every
 # test.  It is not enough to clear them out *before* the next test run
 # because gcc-target-compile gets run directly from some .exp files
@@ -433,24 +580,119 @@ if { [info procs saved-dg-test] == [list] } {
        global additional_prunes
        global errorInfo
        global compiler_conditional_xfail_data
+       global shouldfail
 
        if { [ catch { eval saved-dg-test $args } errmsg ] } {
            set saved_info $errorInfo
            set additional_files ""
            set additional_sources ""
            set additional_prunes ""
+           set shouldfail 0
            if [info exists compiler_conditional_xfail_data] {
                unset compiler_conditional_xfail_data
            }
+           unset_timeout_vars
            error $errmsg $saved_info
        }
        set additional_files ""
        set additional_sources ""
        set additional_prunes ""
+       set shouldfail 0
+       unset_timeout_vars
        if [info exists compiler_conditional_xfail_data] {
            unset compiler_conditional_xfail_data
        }
     }
 }
 
+if { [info procs saved-dg-warning] == [list] \
+     && [info exists gcc_warning_prefix] } {
+    rename dg-warning saved-dg-warning
+
+    proc dg-warning { args } {
+       # Make this variable available here and to the saved proc.
+       upvar dg-messages dg-messages
+       global gcc_warning_prefix
+
+       process-message saved-dg-warning "$gcc_warning_prefix" "$args"
+    }
+}
+
+if { [info procs saved-dg-error] == [list] \
+     && [info exists gcc_error_prefix] } {
+    rename dg-error saved-dg-error
+
+    proc dg-error { args } {
+       # Make this variable available here and to the saved proc.
+       upvar dg-messages dg-messages
+       global gcc_error_prefix
+
+       process-message saved-dg-error "$gcc_error_prefix" "$args"
+    }
+
+    # Override dg-bogus at the same time.  It doesn't handle a prefix
+    # but its expression should include a column number.  Otherwise the
+    # line number can match the column number for other messages, leading
+    # to insanity.
+    rename dg-bogus saved-dg-bogus
+
+    proc dg-bogus { args } {
+       upvar dg-messages dg-messages
+       process-message saved-dg-bogus "" $args
+    }
+}
+
+# Modify the regular expression saved by a DejaGnu message directive to
+# include a prefix and to force the expression to match a single line.
+# MSGPROC is the procedure to call.
+# MSGPREFIX is the prefix to prepend.
+# DGARGS is the original argument list.
+
+proc process-message { msgproc msgprefix dgargs } {
+    upvar dg-messages dg-messages
+
+    # Process the dg- directive, including adding the regular expression
+    # to the new message entry in dg-messages.
+    set msgcnt [llength ${dg-messages}]
+    catch { eval $msgproc $dgargs }
+
+    # If the target expression wasn't satisfied there is no new message.
+    if { [llength ${dg-messages}] == $msgcnt } {
+       return;
+    }
+
+    # Get the entry for the new message.  Prepend the message prefix to
+    # the regular expression and make it match a single line.
+    set newentry [lindex ${dg-messages} end]
+    set expmsg [lindex $newentry 2]
+
+    # Handle column numbers from the specified expression (if there is
+    # one) and set up the search expression that will be used by DejaGnu.
+    if [regexp "^(\[0-9\]+):" $expmsg "" column] {
+       # The expression in the directive included a column number.
+       # Remove "COLUMN:" from the original expression and move it
+       # to the proper place in the search expression.
+       regsub "^\[0-9\]+:" $expmsg "" expmsg
+       set expmsg "$column: $msgprefix\[^\n\]*$expmsg"
+    } elseif [string match "" [lindex $newentry 0]] {
+       # The specified line number is 0; don't expect a column number.
+       set expmsg "$msgprefix\[^\n\]*$expmsg"
+    } else {
+       # There is no column number in the search expression, but we
+       # should expect one in the message itself.
+       set expmsg "\[0-9\]+: $msgprefix\[^\n\]*$expmsg"
+    }
+
+    set newentry [lreplace $newentry 2 2 $expmsg]
+    set dg-messages [lreplace ${dg-messages} end end $newentry]
+    verbose "process-message:\n${dg-messages}" 2
+}
+
+# Look for messages that don't have standard prefixes.
+
+proc dg-message { args } {
+    upvar dg-messages dg-messages
+    process-message saved-dg-warning "" $args
+}
+
 set additional_prunes ""