bfd/
[platform/upstream/binutils.git] / ld / testsuite / lib / ld-lib.exp
index c9d4f8c..34de7c8 100644 (file)
@@ -1,6 +1,7 @@
 # Support routines for LD testsuite.
 #   Copyright 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003,
-#    2004, 2005, 2006, 2007, 2008, 2009  Free Software Foundation, Inc.
+#    2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011
+#    Free Software Foundation, Inc.
 #
 # This file is part of the GNU Binutils.
 #
 # Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
 # MA 02110-1301, USA.
 
+proc load_common_lib { name } {
+    global srcdir
+    load_file $srcdir/../../binutils/testsuite/lib/$name
+}
+
+load_common_lib binutils-common.exp
+
 # Extract and print the version number of ld.
 #
 proc default_ld_version { ld } {
@@ -179,17 +187,20 @@ proc default_ld_simple_link { ld target objects } {
     # based on the name of the compiler.
     set ldexe $ld
     set ldparm [string first " " $ld]
+    set ldflags ""
     if { $ldparm > 0 } then {
+       set ldflags [string range $ld $ldparm end]
        set ldexe [string range $ld 0 $ldparm]
+       set ld $ldexe
     }
     set ldexe [string replace $ldexe 0 [string last "/" $ldexe] ""]
     if {[string match "*gcc*" $ldexe] || [string match "*++*" $ldexe]} then {
-       set flags "$gcc_ld_flag $flags"
+       set ldflags "$gcc_ld_flag $ldflags"
     }
 
     remote_file host delete $target
 
-    set exec_output [run_host_cmd "$ld" "$flags -o $target $objects"]
+    set exec_output [run_host_cmd "$ld" "$ldflags $flags -o $target $objects"]
     set exec_output [prune_warnings $exec_output]
 
     # We don't care if we get a warning about a non-existent start
@@ -284,14 +295,14 @@ proc default_ld_compile { cc source object } {
 
 # Assemble a file.
 #
-proc default_ld_assemble { as source object } {
+proc default_ld_assemble { as in_flags source object } {
     global ASFLAGS
     global host_triplet
 
     if ![info exists ASFLAGS] { set ASFLAGS "" }
 
     set flags [big_or_little_endian]
-    set exec_output [run_host_cmd "$as" "$flags $ASFLAGS -o $object $source"]
+    set exec_output [run_host_cmd "$as" "$flags $in_flags $ASFLAGS -o $object $source"]
     set exec_output [prune_warnings $exec_output]
     if [string match "" $exec_output] then {
        return 1
@@ -352,177 +363,47 @@ proc default_ld_nm { nm nmflags object } {
     }
 }
 
-# True if the object format is known to be ELF.
-#
-proc is_elf_format {} {
-    if { ![istarget *-*-sysv4*] \
-        && ![istarget *-*-unixware*] \
-        && ![istarget *-*-elf*] \
-        && ![istarget *-*-eabi*] \
-        && ![istarget hppa*64*-*-hpux*] \
-        && ![istarget *-*-linux*] \
-        && ![istarget frv-*-uclinux*] \
-        && ![istarget bfin-*-uclinux] \
-        && ![istarget *-*-irix5*] \
-        && ![istarget *-*-irix6*] \
-        && ![istarget *-*-netbsd*] \
-        && ![istarget *-*-solaris2*] } {
-       return 0
-    }
+# Define various symbols needed when not linking against all
+# target libs.
+proc ld_simple_link_defsyms {} {
 
-    if { [istarget *-*-linux*aout*] \
-        || [istarget *-*-linux*oldld*] } {
-       return 0
-    }
+    set flags "--defsym __stack_chk_fail=0"
 
-    if { ![istarget *-*-netbsdelf*] \
-        && ([istarget *-*-netbsd*aout*] \
-            || [istarget *-*-netbsdpe*] \
-            || [istarget arm*-*-netbsd*] \
-            || [istarget sparc-*-netbsd*] \
-            || [istarget i*86-*-netbsd*] \
-            || [istarget m68*-*-netbsd*] \
-            || [istarget vax-*-netbsd*] \
-            || [istarget ns32k-*-netbsd*]) } {
-       return 0
+    # ARM targets call __gccmain
+    if {[istarget arm*-*-*]} {
+        append flags " --defsym __gccmain=0"
     }
-    return 1
-}
-
-# True if the object format is known to be 64-bit ELF.
-#
-proc is_elf64 { binary_file } {
-    global READELF
-    global READELFFLAGS
 
-    set readelf_size ""
-    catch "exec $READELF $READELFFLAGS -h $binary_file > readelf.out" got
-
-    if ![string match "" $got] then {
-       return 0
+    # Windows targets need __main, prefixed with underscore.
+    if {[istarget *-*-cygwin* ] || [istarget *-*-mingw*]} {
+        append flags " --defsym ___main=0"
     }
 
-    if { ![regexp "\n\[ \]*Class:\[ \]*ELF(\[0-9\]+)\n" \
-          [file_contents readelf.out] nil readelf_size] } {
-       return 0
+    # PowerPC EABI code calls __eabi.
+    if {[istarget powerpc*-*-eabi*] || [istarget powerpc*-*-rtems*]} {
+       append flags " --defsym __eabi=0"
     }
 
-    if { $readelf_size == "64" } {
-       return 1
+    # mn10200 code calls __truncsipsi2_d0_d2.
+    if {[istarget mn10200*-*-*]} then {
+       append flags " --defsym __truncsipsi2_d0_d2=0"
     }
 
-    return 0
-}
-
-# True if the object format is known to be a.out.
-#
-proc is_aout_format {} {
-    if { [istarget *-*-*\[ab\]out*] \
-            || [istarget *-*-linux*oldld*] \
-            || [istarget *-*-msdos*] \
-            || [istarget arm-*-netbsd] \
-            || [istarget i?86-*-netbsd] \
-            || [istarget i?86-*-mach*] \
-            || [istarget i?86-*-vsta] \
-            || [istarget pdp11-*-*] \
-            || [istarget m68*-ericsson-ose] \
-            || [istarget m68k-hp-bsd*] \
-            || [istarget m68*-*-hpux*] \
-            || [istarget m68*-*-netbsd] \
-            || [istarget m68*-*-netbsd*4k*] \
-            || [istarget m68k-sony-*] \
-            || [istarget m68*-sun-sunos\[34\]*] \
-            || [istarget m68*-wrs-vxworks*] \
-            || [istarget ns32k-*-*] \
-            || [istarget sparc*-*-netbsd] \
-            || [istarget sparc-sun-sunos4*] \
-            || [istarget vax-dec-ultrix*] \
-            || [istarget vax-*-netbsd] } {
-       return 1
-    }
-    return 0
-}
-
-# True if the object format is known to be PE COFF.
-#
-proc is_pecoff_format {} {
-    if { ![istarget *-*-mingw*] \
-        && ![istarget *-*-cygwin*] \
-        && ![istarget *-*-cegcc*] \
-        && ![istarget *-*-pe*] } {
-       return 0
+    # m6811/m6812 code has references to soft registers.
+    if {[istarget m6811-*-*] || [istarget m6812-*-*]} {
+       append flags " --defsym _.frame=0 --defsym _.d1=0 --defsym _.d2=0"
+       append flags " --defsym _.d3=0 --defsym _.d4=0"
+       append flags " --defsym _.tmp=0 --defsym _.xy=0 --defsym _.z=0"
     }
 
-    return 1
-}
-
-# Compares two files line-by-line.
-#   Returns differences if exist.
-#   Returns null if file(s) cannot be opened.
-#
-proc simple_diff { file_1 file_2 } {
-    global target
-
-    set eof -1
-    set differences 0
-
-    if [file exists $file_1] then {
-       set file_a [open $file_1 r]
-    } else {
-       warning "$file_1 doesn't exist"
-       return
+    # Some OpenBSD targets have ProPolice and reference __guard and
+    # __stack_smash_handler.
+    if [istarget *-*-openbsd*] {
+       append flags " --defsym __guard=0"
+       append flags " --defsym __stack_smash_handler=0"
     }
 
-    if [file exists $file_2] then {
-       set file_b [open $file_2 r]
-    } else {
-       fail "$file_2 doesn't exist"
-       return
-    }
-
-    verbose "# Diff'ing: $file_1 $file_2\n" 2
-
-    while { [gets $file_a line] != $eof } {
-       if [regexp "^#.*$" $line] then {
-           continue
-       } else {
-           lappend list_a $line
-       }
-    }
-    close $file_a
-
-    while { [gets $file_b line] != $eof } {
-       if [regexp "^#.*$" $line] then {
-           continue
-       } else {
-           lappend list_b $line
-       }
-    }
-    close $file_b
-
-    for { set i 0 } { $i < [llength $list_a] } { incr i } {
-       set line_a [lindex $list_a $i]
-       set line_b [lindex $list_b $i]
-
-       verbose "\t$file_1: $i: $line_a\n" 3
-       verbose "\t$file_2: $i: $line_b\n" 3
-       if [string compare $line_a $line_b] then {
-           verbose -log "\t$file_1: $i: $line_a\n"
-           verbose -log "\t$file_2: $i: $line_b\n"
-
-           fail "Test: $target"
-           return
-       }
-    }
-
-    if { [llength $list_a] != [llength $list_b] } {
-       fail "Test: $target"
-       return
-    }
-
-    if $differences<1 then {
-       pass "Test: $target"
-    }
+    return $flags
 }
 
 # run_dump_test FILE
@@ -613,18 +494,20 @@ proc simple_diff { file_1 file_2 } {
 #   error: REGEX
 #      An error with message matching REGEX must be emitted for the test
 #      to pass.  The PROG, objdump, nm and objcopy options have no
-#      meaning and need not supplied if this is present.
+#      meaning and need not supplied if this is present.  Multiple "error"
+#      directives append to the expected linker error message.
 #
 #   warning: REGEX
 #      Expect a linker warning matching REGEX.  It is an error to issue
-#      both "error" and "warning".
+#      both "error" and "warning".  Multiple "warning" directives
+#      append to the expected linker warning message.
 #
 # Each option may occur at most once unless otherwise mentioned.
 #
 # After the option lines come regexp lines.  `run_dump_test' calls
 # `regexp_diff' to compare the output of the dumping tool against the
-# regexps in FILE.d.  `regexp_diff' is defined later in this file; see
-# further comments there.
+# regexps in FILE.d.  `regexp_diff' is defined in binutils-common.exp;
+# see further comments there.
 #
 proc run_dump_test { name } {
     global subdir srcdir
@@ -684,6 +567,8 @@ proc run_dump_test { name } {
            xfail {}
            target {}
            notarget {}
+           warning {}
+           error {}
            source {
                # Move any source-specific as-flags to a separate array to
                # simplify processing.
@@ -884,8 +769,9 @@ proc run_dump_test { name } {
            send_log "$comp_output\n"
            verbose "$comp_output" 3
 
-           if { [regexp $expmsg $comp_output] \
-                   && (($cmdret == 0) == ($opts(warning) != "")) } {
+           if { ($expmsg == "") == ($comp_output == "") \
+                   && [regexp $expmsg $comp_output] \
+                   && (($cmdret == 0) == ($opts(error) == "")) } {
                # We have the expected output from ld.
                if { $opts(error) != "" || $program == "" } {
                    pass $testname
@@ -933,6 +819,7 @@ proc run_dump_test { name } {
     set env(LC_ALL) "C"
     send_log "$cmd\n"
     set cmdret [remote_exec host [concat sh -c [list "$cmd 2>ld.tmp"]] "" "/dev/null"]
+    set cmdret [lindex $cmdret 0]
     remote_upload host "ld.tmp"
     set comp_output [prune_warnings [file_contents "ld.tmp"]]
     remote_file host delete "ld.tmp"
@@ -942,8 +829,8 @@ proc run_dump_test { name } {
     } else {
        unset env(LC_ALL)
     }
-    if ![string match "" $comp_output] then {
-       send_log "$comp_output\n"
+    if { $cmdret != 0 || $comp_output != "" } {
+       send_log "exited abnormally with $cmdret, output:$comp_output\n"
        fail $testname
        return
     }
@@ -985,109 +872,6 @@ proc slurp_options { file } {
     return $opt_array
 }
 
-# regexp_diff, copied from gas, based on simple_diff above.
-#      compares two files line-by-line
-#      file1 contains strings, file2 contains regexps and #-comments
-#      blank lines are ignored in either file
-#      returns non-zero if differences exist
-#
-proc regexp_diff { file_1 file_2 } {
-
-    set eof -1
-    set end_1 0
-    set end_2 0
-    set differences 0
-    set diff_pass 0
-
-    if [file exists $file_1] then {
-       set file_a [open $file_1 r]
-    } else {
-       warning "$file_1 doesn't exist"
-       return 1
-    }
-
-    if [file exists $file_2] then {
-       set file_b [open $file_2 r]
-    } else {
-       fail "$file_2 doesn't exist"
-       close $file_a
-       return 1
-    }
-
-    verbose " Regexp-diff'ing: $file_1 $file_2" 2
-
-    while { 1 } {
-       set line_a ""
-       set line_b ""
-       while { [string length $line_a] == 0 } {
-           if { [gets $file_a line_a] == $eof } {
-               set end_1 1
-               break
-           }
-       }
-       while { [string length $line_b] == 0 || [string match "#*" $line_b] } {
-           if [ string match "#pass" $line_b ] {
-               set end_2 1
-               set diff_pass 1
-               break
-           } elseif [ string match "#..." $line_b ] {
-               if { [gets $file_b line_b] == $eof } {
-                   set end_2 1
-                   set diff_pass 1
-                   break
-               }
-               verbose "looking for \"^$line_b$\"" 3
-               while { ![regexp "^$line_b$" "$line_a"] } {
-                   verbose "skipping    \"$line_a\"" 3
-                   if { [gets $file_a line_a] == $eof } {
-                       set end_1 1
-                       break
-                   }
-               }
-               break
-           }
-           if { [gets $file_b line_b] == $eof } {
-               set end_2 1
-               break
-           }
-       }
-
-        if { $diff_pass } {
-            break
-        } elseif { $end_1 && $end_2 } {
-            break
-        } elseif { $end_1 } {
-            send_log "extra regexps in $file_2 starting with \"^$line_b$\"\nEOF from $file_1\n"
-            verbose "extra regexps in $file_2 starting with \"^$line_b$\"\nEOF from $file_1" 3
-            set differences 1
-            break
-        } elseif { $end_2 } {
-            send_log "extra lines in $file_1 starting with \"^$line_a$\"\nEOF from $file_2\n"
-            verbose "extra lines in $file_1 starting with \"^$line_a$\"\nEOF from $file_2\n" 3
-            set differences 1
-            break
-        } else {
-            verbose "regexp \"^$line_b$\"\nline   \"$line_a\"" 3
-            if ![regexp "^$line_b$" "$line_a"] {
-               send_log "regexp_diff match failure\n"
-               send_log "regexp \"^$line_b$\"\nline   \"$line_a\"\n"
-               set differences 1
-            }
-        }
-    }
-
-    if { $differences == 0 && !$diff_pass && [eof $file_a] != [eof $file_b] } {
-       send_log "$file_1 and $file_2 are different lengths\n"
-       verbose "$file_1 and $file_2 are different lengths" 3
-       set differences 1
-    }
-
-    close $file_a
-    close $file_b
-
-    return $differences
-}
-
 proc file_contents { filename } {
     set file [open $filename r]
     set contents [read $file]
@@ -1095,6 +879,12 @@ proc file_contents { filename } {
     return $contents
 }
 
+proc set_file_contents { filename contents } {
+    set file [open $filename w]
+    puts $file "$contents"
+    close $file
+}
+
 # Create an archive using ar
 #
 proc ar_simple_create { ar aropts target objects } {
@@ -1121,6 +911,10 @@ proc ar_simple_create { ar aropts target objects } {
 # objdump: Apply objdump options on result.  Compare with regex (last arg).
 # nm: Apply nm options on result.  Compare with regex (last arg).
 # readelf: Apply readelf options on result.  Compare with regex (last arg).
+# ld: Don't apply anything on result.  Compare output during linking with 
+#     regex (second arg).  Note that this *must* be the first action if it
+#     is to be used at all; in all other cases, any output from the linker
+#     during linking is treated as a sign of an error and FAILs the test.
 #
 proc run_ld_link_tests { ldtests } {
     global ld
@@ -1135,6 +929,7 @@ proc run_ld_link_tests { ldtests } {
     global CC
     global CFLAGS
     global runtests
+    global exec_output
 
     foreach testitem $ldtests {
        set testname [lindex $testitem 0]
@@ -1152,6 +947,8 @@ proc run_ld_link_tests { ldtests } {
        set objfiles {}
        set is_unresolved 0
        set failed 0
+       set maybe_failed 0
+       set ld_output ""
 
 #      verbose -log "Testname is $testname"
 #      verbose -log "ld_options is $ld_options"
@@ -1181,26 +978,21 @@ proc run_ld_link_tests { ldtests } {
        }
 
        # Catch assembler errors.
-       if { $is_unresolved != 0 } {
+       if { $is_unresolved } {
            unresolved $testname
            continue
        }
 
-       if { [regexp ".*a$" $binfile] } {
+       if { [regexp ".*\\.a$" $binfile] } {
            if { ![ar_simple_create $ar $ld_options $binfile "$objfiles"] } {
-               fail $testname
                set failed 1
-           } else {
-               set failed 0
            }
        } elseif { ![ld_simple_link $ld $binfile "-L$srcdir/$subdir $ld_options $objfiles"] } {
-           fail $testname
-           set failed 1
-       } else {
-           set failed 0
+           set maybe_failed 1
+           set ld_output "$exec_output"
        }
 
-       if { $failed == 0 } {
+       if { !$failed } {
            foreach actionlist $actions {
                set action [lindex $actionlist 0]
                set progopts [lindex $actionlist 1]
@@ -1216,6 +1008,8 @@ proc run_ld_link_tests { ldtests } {
                        { set dump_prog $nm }
                    readelf
                        { set dump_prog $READELF }
+                   ld
+                       { set dump_prog "ld" }
                    default
                        {
                            perror "Unrecognized action $action"
@@ -1224,7 +1018,18 @@ proc run_ld_link_tests { ldtests } {
                        }
                    }
 
-               if { $dump_prog != "" } {
+               if { $action == "ld" } {
+                   set dumpfile [lindex $actionlist 1]
+                   verbose "dumpfile is $dumpfile"
+                   set_file_contents "tmpdir/ld.messages" "$ld_output"
+                   verbose "ld.messages has '[file_contents tmpdir/ld.messages]'"
+                   if { [regexp_diff "tmpdir/ld.messages" "$srcdir/$subdir/$dumpfile"] } then {
+                       verbose "output is $ld_output" 2
+                       set failed 1
+                       break
+                   }
+                   set maybe_failed 0
+               } elseif { !$maybe_failed && $dump_prog != "" } {
                    set dumpfile [lindex $actionlist 2]
                    set binary $dump_prog
 
@@ -1266,18 +1071,14 @@ proc run_ld_link_tests { ldtests } {
                    remote_file host delete "dump.out"
                }
            }
-
-           if { $failed != 0 } {
-               fail $testname
-           } else { if { $is_unresolved == 0 } {
-               pass $testname
-           } }
        }
 
-       # Catch action errors.
-       if { $is_unresolved != 0 } {
+       if { $is_unresolved } {
            unresolved $testname
-           continue
+       } elseif { $maybe_failed || $failed } {
+           fail $testname
+       } else {
+           pass $testname
        }
     }
 }
@@ -1497,7 +1298,7 @@ proc run_cc_link_tests { ldtests } {
            set cc_cmd $CC
        }
 
-       if { [regexp ".*a$" $binfile] } {
+       if { [regexp ".*\\.a$" $binfile] } {
            if { ![ar_simple_create $ar $ldflags $binfile "$objfiles"] } {
                fail $testname
                set failed 1
@@ -1592,9 +1393,19 @@ proc check_gc_sections_available { } {
     if {![info exists gc_sections_available_saved]} {
        # Some targets don't support gc-sections despite whatever's
        # advertised by ld's options.
-       if { [istarget alpha*-*-*]
-            || [istarget mep-*-*]
+       if {[istarget arc-*-*]
+            || [istarget d30v-*-*]
+            || [istarget dlx-*-*]
+            || [istarget i960-*-*]
+            || [istarget or32-*-*]
+            || [istarget pj*-*-*]
+            || [istarget alpha-*-*]
+            || [istarget hppa64-*-*]
+            || [istarget i370-*-*]
+            || [istarget i860-*-*]
             || [istarget ia64-*-*]
+            || [istarget mep-*-*]
+            || [istarget mn10200-*-*]
             || [istarget *-*-cygwin]
             || [istarget *-*-mingw*] } {
            set gc_sections_available_saved 0
@@ -1620,6 +1431,22 @@ proc check_gc_sections_available { } {
     return $gc_sections_available_saved
 }
 
+# Returns true if the target ld supports the plugin API.
+proc check_plugin_api_available { } {
+    global plugin_api_available_saved
+    global ld
+    if {![info exists plugin_api_available_saved]} {
+       # Check if the ld used by gcc supports --plugin.
+       set ld_output [remote_exec host $ld "--help"]
+       if { [ string first "-plugin" $ld_output ] >= 0 } {
+           set plugin_api_available_saved 1
+       } else {
+           set plugin_api_available_saved 0
+       }
+    }
+    return $plugin_api_available_saved
+}
+
 # Check if the assembler supports CFI statements.
 
 proc check_as_cfi { } {