From bf174910c85dee65d9bbacb5cb5a40c1c7a91399 Mon Sep 17 00:00:00 2001 From: Alan Modra Date: Fri, 12 Aug 2016 14:07:40 +0930 Subject: Add undefined weak function tests * testsuite/ld-undefined/weak-fundef.s: New. * testsuite/ld-undefined/weak-undef.t: Don't specify filename. * testsuite/ld-undefined/weak-undef.exp: Run new tests. Rearrange much of old code. Use is_elf_format to select targets. --- ld/testsuite/ld-undefined/weak-fundef.s | 14 ++++ ld/testsuite/ld-undefined/weak-undef.exp | 113 +++++++++++++++++++------------ ld/testsuite/ld-undefined/weak-undef.t | 2 +- 3 files changed, 84 insertions(+), 45 deletions(-) create mode 100644 ld/testsuite/ld-undefined/weak-fundef.s (limited to 'ld/testsuite/ld-undefined') diff --git a/ld/testsuite/ld-undefined/weak-fundef.s b/ld/testsuite/ld-undefined/weak-fundef.s new file mode 100644 index 0000000..2c20f79 --- /dev/null +++ b/ld/testsuite/ld-undefined/weak-fundef.s @@ -0,0 +1,14 @@ + .text + .weak undef_weak_fun + .type undef_weak_fun %function + .ifdef BL + bl undef_weak_fun + nop + .endif + .ifdef CALLPLT + call undef_weak_fun@plt + .endif + .ifdef HPPA + bl undef_weak_fun,%r2 + nop + .endif diff --git a/ld/testsuite/ld-undefined/weak-undef.exp b/ld/testsuite/ld-undefined/weak-undef.exp index c53d73e..127628f 100644 --- a/ld/testsuite/ld-undefined/weak-undef.exp +++ b/ld/testsuite/ld-undefined/weak-undef.exp @@ -18,67 +18,92 @@ # Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston, # MA 02110-1301, USA. -set testname "weak undefined symbols" - -# This test only works for ELF targets. It ought to work for some -# a.out targets, but it doesn't. +# The linker should accept references to undefined weaks without error, +# and resolve them to zero in a static executable. Ought to work for +# some a.out targets too. +set testname "weak undefined data symbols" -if { ![istarget *-*-sysv4*] \ - && ![istarget *-*-unixware*] \ - && ![istarget *-*-elf*] \ - && ![istarget *-*-eabi*] \ - && ![istarget hppa*64*-*-hpux*] \ - && ![istarget *-*-linux*] \ - && ![istarget *-*-gnu*] \ - && ![istarget *-*-nacl*] \ - && ![istarget *-*-irix5*] \ - && ![istarget *-*-irix6*] \ - && ![is_pecoff_format] \ - && ![istarget *-*-solaris2*] } then { +if { ![is_elf_format] && ![is_pecoff_format] } then { unsupported $testname - return -} +} elseif {![ld_assemble $as $srcdir/$subdir/weak-undef.s \ + tmpdir/weak-undef.o]} then { + # It's OK if .weak doesn't work on this target. + unresolved $testname +} elseif {![ld_simple_link $ld tmpdir/weak-undef \ + "tmpdir/weak-undef.o -T $srcdir/$subdir/weak-undef.t"]} then { + # Weak symbols are broken for non-i386 PE targets. + if {! [istarget i?86-*-*]} { + setup_xfail *-*-pe* + } + setup_xfail pj-*-* + fail $testname +} elseif {![is_remote host] && [which $objdump] == 0} then { + unresolved $testname +} else { + set exec_output [run_host_cmd "$objdump" "-s tmpdir/weak-undef"] + set exec_output [prune_warnings $exec_output] + verbose -log $exec_output -if { [istarget *-*-linux*aout*] \ - || [istarget *-*-linux*oldld*] } { - unsupported $testname - return -} + set output_regexp ".*Contents of section .data:.*0000 00000000 11111111.*" -# Weak symbols are broken for non-i386 PE targets. -if {! [istarget i?86-*-*]} { - setup_xfail *-*-pe* + if {[regexp $output_regexp $exec_output]} then { + pass $testname + } else { + fail $testname + } } -setup_xfail pj-*-* +# When linking a shared lib, weak undefined symbols should become dynamic. +set testname "weak undefined function symbols in shared lib" -if {! [ld_assemble $as $srcdir/$subdir/weak-undef.s tmpdir/weak-undef.o]} then { - # It's OK if .weak doesn't work on this target. - unresolved $testname - return +set asflags "" +switch -glob $target_triplet { + aarch64* - + arm* - + powerpc* { set asflags "--defsym BL=1" } + hppa* { set asflags "--defsym HPPA=1" } + i\[3-7\]86* - + x86_64* { set asflags "--defsym CALLPLT=1" } } -# The linker should accept references to undefined weaks without error, -# and resolve them to zero. - -set output_regexp \ -".*Contents of section .data:.*0000 00000000 11111111.*" - -if {! [ld_simple_link $ld tmpdir/weak-undef "$flags tmpdir/weak-undef.o -T $srcdir/$subdir/weak-undef.t"] } then { +if { $asflags == "" || ![is_elf_format] || ![check_shared_lib_support]} then { + unresolved $testname +} elseif {![ld_assemble $as "$asflags $srcdir/$subdir/weak-fundef.s" \ + tmpdir/weak-fundef.o]} then { + fail $testname +} elseif {![ld_simple_link $ld tmpdir/weak-fundef.so \ + "--shared tmpdir/weak-fundef.o"]} then { fail $testname +} elseif {![is_remote host] && [which $nm] == 0} then { + unresolved $testname } else { - if {![is_remote host] && [which $objdump] == 0} then { - unresolved $testname - return - } - - set exec_output [run_host_cmd "$objdump" "-s tmpdir/weak-undef"] + set exec_output [run_host_cmd "$nm" "-D tmpdir/weak-fundef.so"] set exec_output [prune_warnings $exec_output] verbose -log $exec_output + set output_regexp ".*w undef_weak_fun.*" + if {[regexp $output_regexp $exec_output]} then { pass $testname } else { fail $testname } + + # When linking a dynamic executable, weak undefined symbols become dynamic. + set testname "weak undefined function symbols in dynamic exe" + + if {![ld_simple_link $ld tmpdir/weak-fundef \ + "--no-as-needed tmpdir/weak-fundef.o tmpdir/weak-fundef.so"]} then { + fail $testname + } else { + set exec_output [run_host_cmd "$nm" "-D tmpdir/weak-fundef"] + set exec_output [prune_warnings $exec_output] + verbose -log $exec_output + + if {[regexp $output_regexp $exec_output]} then { + pass $testname + } else { + fail $testname + } + } } diff --git a/ld/testsuite/ld-undefined/weak-undef.t b/ld/testsuite/ld-undefined/weak-undef.t index a95bbcf..c0e8409 100644 --- a/ld/testsuite/ld-undefined/weak-undef.t +++ b/ld/testsuite/ld-undefined/weak-undef.t @@ -1,7 +1,7 @@ SECTIONS { .data : { - tmpdir/weak-undef.o(.data) + *(.data) } /DISCARD/ : { *(*) -- cgit v1.1