# Expect script for LD selective linking tests
-# Copyright (C) 1998, 1999 Free Software Foundation
+# Copyright 1998, 1999, 2000, 2001, 2002 Free Software Foundation, Inc.
#
# This file 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
# (at your option) any later version.
-#
+#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
# 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., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
# Make sure that constructors are handled correctly.
+# AOUT based ports do not support selective linking
+if {[istarget "vax-*-ultrix*"]} {
+ return
+}
+
# COFF based ports do not support selective linking
-if {[istarget "*-*-coff" "*-*-pe"]} {
- return
+if {[istarget "*-*-coff"]} {
+ return
+}
+if {[istarget "*-*-pe"]} {
+ return
}
-set test1 "selective1"
-set test2 "selective2"
-set test3 "selective3"
-set test4 "selective4"
-set test5 "selective5"
-set test6 "selective6"
+# Alpha does not support selective linking
+if {[istarget "alpha*-*-*"]} {
+ return
+}
-set cflags "-w -O2 -ffunction-sections -fdata-sections"
+# List contains test-items with three items followed by four lists:
+# 1:name 2:test-type (CC or C++; add as needed) 3:filename 4:ld-flags
+# 5:must-have-symbols 6:must-not-have-symbols 7:xfail-targets.
+#
+# If a must(-not)-have symbol is a list, then that list must have two
+# items; the symbol name and a value the symbol must (not) have.
+#
+# Note: ld_nm trims leading `_' from _start
+#
+# FIXME: Instead of table, read settings from each source-file.
+set seltests {
+ {selective1 C 1.c {} {} {dropme1 dropme2} {alpha*-*}}
+ {selective2 C 2.c {} {} {foo} {alpha*-* mips*-*}}
+ {selective3 C 2.c {-u foo} {foo} {{foo 0}} {mips*-*}}
+ {selective4 C++ 3.cc {} {start a A::foo() B::foo()} {A::bar()} {alpha*-* mips*-*}}
+ {selective5 C++ 4.cc {} {start a A::bar()} {A::foo() B::foo()} {alpha*-* mips*-*}}
+ {selective6 C++ 5.cc {} {start a A::bar()}
+ {A::foo() B::foo() dropme1() dropme2()} {*-*-*}}
+}
+
+set cflags "-w -O -ffunction-sections -fdata-sections"
set cxxflags "-fvtable-gc -fno-exceptions -fno-rtti"
set ldflags "--gc-sections -Bstatic"
-if { [which $CXX] == 0 } {
- untested $test1
- untested $test2
- untested $test3
- untested $test4
- untested $test5
- untested $test6
- return
+if [istarget sh64*-*-elf] {
+ # This is what gcc passes to ld by default, plus switch to the
+ # "usual" ELF _start (shelf32 normally uses just `start' for COFF
+ # compatibility)
+ set ldflags "-e _start -mshelf32 $ldflags"
}
-if { ![ld_compile "$CC $cflags" $srcdir/$subdir/1.c tmpdir/1.o]} {
- unresolved $test1
+# If we don't have g++ for the target, mark all tests as untested.
+if { [which $CXX] == 0 } {
+ foreach testitem $seltests {
+ untested "[lindex $testitem 0]"
+ }
return
}
-if ![ld_simple_link $ld tmpdir/1.x "$ldflags tmpdir/1.o"] {
- fail $test1
-} else {
- if ![ld_nm $nm tmpdir/1.x] {
- unresolved $test1
- } else {
- if {[info exists nm_output(dropme1)]} {
- send_log "dropme1 == $nm_output(dropme1)\n"
- verbose "dropme1 == $nm_output(dropme1)"
- fail $test1
- } else {
- if {[info exists nm_output(dropme2)]} {
- send_log "dropme2 == $nm_output(dropme2)\n"
- verbose "dropme2 == $nm_output(dropme2)"
- fail $test1
- } else {
- pass $test1
- }
- }
- }
+foreach testitem $seltests {
+ set testname [lindex $testitem 0]
+ set testtype [lindex $testitem 1]
+ set testfile [lindex $testitem 2]
+ set objfile "tmpdir/[file rootname $testfile].o"
+ set ldfile "tmpdir/[file rootname $testfile].x"
+ set failed 0
+
+ set ldargs [lindex $testitem 3]
+ set mustsyms [lindex $testitem 4]
+ set mustnotsyms [lindex $testitem 5]
+ set xfails [lindex $testitem 6]
+
+ foreach xfail_target $xfails {
+ setup_xfail $xfail_target
}
-if { ![ld_compile "$CC $cflags" $srcdir/$subdir/2.c tmpdir/2.o]} {
- unresolved $test2
- return
-}
+ # It's either C or C++ at the moment.
+ if { $testtype == "C++" } {
+ set testflags "$cflags $cxxflags"
+ } {
+ set testflags "$cflags"
+ }
-if ![ld_simple_link $ld tmpdir/2.x "$ldflags tmpdir/2.o"] {
- fail $test2
-} else {
- if ![ld_nm $nm tmpdir/2.x] {
- unresolved $test2
- } else {
- if {[info exists nm_output(foo)] } {
- send_log "foo == $nm_output(foo)\n"
- verbose "foo== $nm_output(foo)"
- fail $test2
- } else {
- pass $test2
- }
- }
- }
-
-if { ![ld_compile "$CC $cflags" $srcdir/$subdir/2.c tmpdir/2.o]} {
- unresolved $test3
- return
-}
+ # Note that we do not actually *use* CXX; we just add cxxflags for C++
+ # tests. It might have been a buglet originally; now I think better
+ # leave as is.
+ if { ![ld_compile "$CC $testflags" $srcdir/$subdir/$testfile $objfile] } {
+ unresolved $testname
+ continue
+ }
-if ![ld_simple_link $ld tmpdir/2.x "$ldflags -u foo tmpdir/2.o"] {
- fail $test3
-} else {
- if ![ld_nm $nm tmpdir/2.x] {
- unresolved $test3
- } else {
- if {![info exists nm_output(foo)] } {
- send_log "bad output from nm\n"
- verbose "bad output from nm"
- fail $test3
- } else {
- if {$nm_output(foo) == 0} {
- send_log "foo == $nm_output(foo)\n"
- verbose "foo== $nm_output(foo)"
- fail $test3
- } else {
- pass $test3
- }
- }
- }
-}
+ # V850 targets need libgcc.a
+ # FIXME: This does not work with installed toolchains!
+ if [istarget v850*-*-elf] {
+ set objfile "$objfile -L ../gcc -lgcc"
+ }
-setup_xfail "v850*-*-elf"
+ # ARM targets need libgcc.a in THUMB mode so that __call_via_r3 is provided
+ # FIXME: This does not work with installed toolchains!
+ if {[istarget arm-*-*] || [istarget xscale-*-*]} {
+ set objfile "$objfile -L ../gcc -lgcc"
+ }
-if { ![ld_compile "$CC $cflags $cxxflags" $srcdir/$subdir/3.cc tmpdir/3.o]} {
- unresolved $test4
- return
-}
+ # HPPA linux targets need libgcc.a for millicode routines ($$dyncall).
+ if [istarget hppa*-*-linux*] {
+ catch "exec $CC -print-libgcc-file-name" libgcc
+ set objfile "$objfile $libgcc"
+ }
-setup_xfail "v850*-*-elf"
-
-if ![ld_simple_link $ld tmpdir/3.x "$ldflags tmpdir/3.o"] {
- fail $test4
-} else {
- if ![ld_nm $nm tmpdir/3.x] {
- unresolved $test4
- } else {
- if {[info exists nm_output(foo__1B)]} {
- send_log "foo__1B == $nm_output(foo__1B)\n"
- verbose "foo__1B == $nm_output(foo__1B)"
- fail $test4
- } else {
- if {[ info exists nm_output(bar__1A)]} {
- send_log "bar__1A== $nm_output(_bar__1A)\n"
- verbose "bar__1A == $nm_output(_bar__1A)"
- fail $test4
- } else {
- pass $test4
- }
- }
- }
-}
+ # m6811/m6812 code has references to soft registers.
+ if {[istarget m6811-*-*] || [istarget m6812-*-*]} {
+ set objfile "$objfile --defsym _.frame=0 --defsym _.d1=0"
+ set objfile "$objfile --defsym _.d2=0"
+ }
-if { ![ld_compile "$CC $cflags $cxxflags" $srcdir/$subdir/4.cc tmpdir/4.o]} {
- unresolved $test5
- return
-}
+ if ![ld_simple_link $ld $ldfile "$ldflags [join $ldargs] $objfile"] {
+ fail $testname
+ continue
+ }
-if ![ld_simple_link $ld tmpdir/4.x "$ldflags tmpdir/4.o"] {
- fail $test5
-} else {
- if ![ld_nm $nm tmpdir/4.x] {
- unresolved $test5
- } else {
- if {[info exists nm_output(foo__1B)]} {
- send_log "foo__1B == $nm_output(foo__1B)\n"
- verbose "foo__1B == $nm_output(foo__1B)"
- fail $test5
- } else {
- if {[info exists nm_output(foo__1A)]} {
- send_log "foo__1A== $nm_output(foo__1A)\n"
- verbose "foo__1A == $nm_output(foo__1A)"
- fail $test5
- } else {
- pass $test5
- }
+ if ![ld_nm $nm --demangle $ldfile] {
+ unresolved $testname
+ continue
+ }
+
+ # Must make V2 demangled names look like V3
+ foreach nm_output_key [array names nm_output] {
+ if [regsub \\(void\\) $nm_output_key () new_nm_output_key] {
+ set nm_output($new_nm_output_key) nm_output($nm_output_key)
}
}
-}
-setup_xfail "v850*-*-elf"
+ # Check each mandated symbol and optionally mandated values.
+ foreach mustsym $mustsyms {
+ if { [llength [concat $mustsym]] == 1 } {
+ if { ![info exists nm_output($mustsym)] } {
+ verbose -log "$testname: missing $mustsym"
+ fail $testname
+ set failed 1
+ break
+ }
+ } {
+ set mustsymname [lindex $mustsym 0]
+ set mustsymvalue [lindex $mustsym 1]
+ if { ![info exists nm_output($mustsymname)] } {
+ verbose -log "$testname: missing $mustsymname"
+ fail $testname
+ set failed 1
+ break
+ } {
+ if { $nm_output($mustsymname) != $mustsymvalue } {
+ verbose -log "$testname: $mustsymname != $mustsymvalue"
+ verbose -log "is instead $nm_output($mustsymname)"
+ fail $testname
+ set failed 1
+ break
+ }
+ }
+ }
+ }
-if { ![ld_compile "$CC $cflags $cxxflags" $srcdir/$subdir/5.cc tmpdir/5.o]} {
- unresolved $test6
- return
-}
+ if { $failed != 0 } {
+ continue
+ }
-if ![ld_simple_link $ld tmpdir/5.x "$ldflags tmpdir/5.o"] {
- fail $test6
-} else {
- if ![ld_nm $nm tmpdir/5.x] {
- unresolved $test6
- } else {
- if {[info exists nm_output(foo__1B)] } {
- send_log "foo__1B == $nm_output(foo__1B)\n"
- verbose "foo__1B == $nm_output(foo__1B)"
- fail $test6
- } else {
- if { [info exists nm_output(foo__1A)]} {
- send_log "foo__1A== $nm_output(foo__1A)\n"
- verbose "foo__1A == $nm_output(foo__1A)"
- fail $test6
- } else {
- pass $test6
+ # Check each unwanted symbol, or that symbols do not have specific
+ # values.
+ foreach mustnotsym $mustnotsyms {
+ if { [llength [concat $mustnotsym]] == 1 } {
+ if { [info exists nm_output($mustnotsym)] } {
+ verbose -log "$testname: $mustnotsym == $nm_output($mustnotsym)"
+ fail $testname
+ set failed 1
+ break
+ }
+ } {
+ set mustnotsymname [lindex $mustnotsym 0]
+ set mustnotsymvalue [lindex $mustnotsym 1]
+ if { [info exists nm_output($mustnotsymname)] \
+ && $nm_output($mustnotsymname) == $mustnotsymvalue} {
+ verbose -log "$testname: $mustnotsymname == $mustnotsymvalue"
+ fail $testname
+ set failed 1
+ break
}
}
}
+
+ if { $failed == 0 } {
+ pass $testname
+ }
}
projects / deliverable / binutils-gdb.git / blobdiff