ld/testsuite/ld-selective/selective.exp

   1 # Expect script for LD selective linking tests
   2 #   Copyright 1998, 1999, 2000, 2001, 2002, 2003, 2004
   3 #   Free Software Foundation, Inc.
   4 #
   5 # This file is free software; you can redistribute it and/or modify
   6 # it under the terms of the GNU General Public License as published by
   7 # the Free Software Foundation; either version 2 of the License, or
   8 # (at your option) any later version.
   9 #
  10 # This program is distributed in the hope that it will be useful,
  11 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  12 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  13 # GNU General Public License for more details.
  14 #
  15 # You should have received a copy of the GNU General Public License
  16 # along with this program; if not, write to the Free Software
  17 # Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
  18 #
  19 # Written by Catherine Moore (clm@cygnus.com)
  20 # Make sure that constructors are handled correctly.
  21
  22 # Only ELF based ports support selective linking
  23 if ![is_elf_format] {
  24     return
  25 }
  26
  27 # IA64 does not support selective linking
  28 if {[istarget "ia64-*-*"]} {
  29     return
  30 }
  31
  32 # List contains test-items with three items followed by four lists:
  33 # 1:name 2:test-type (CC or C++; add as needed) 3:filename 4:ld-flags
  34 # 5:must-have-symbols 6:must-not-have-symbols 7:xfail-targets.
  35 #
  36 # If a must(-not)-have symbol is a list, then that list must have two
  37 # items; the symbol name and a value the symbol must (not) have.
  38 #
  39 # Note: ld_nm trims leading `_' from _start
  40 #
  41 # FIXME: Instead of table, read settings from each source-file.
  42 set seltests {
  43   {selective1 C   1.c  {}       {}    {dropme1 dropme2} {}}
  44   {selective2 C   2.c  {}       {}    {foo} {mips*-*}}
  45   {selective3 C   2.c  {-u foo} {foo} {{foo 0}} {mips*-*}}
  46   {selective4 C++ 3.cc {}       {start a A::foo() B::foo()} {A::bar()} {mips*-*}}
  47   {selective5 C++ 4.cc {}       {start a A::bar()} {A::foo() B::foo()} {mips*-*}}
  48   {selective6 C++ 5.cc {}       {start a A::bar()}
  49     {A::foo() B::foo() dropme1() dropme2()} {*-*-*}}
  50 }
  51
  52 set cflags "-w -O -ffunction-sections -fdata-sections"
  53 set cxxflags "-fvtable-gc -fno-exceptions -fno-rtti"
  54 set ldflags "--gc-sections -Bstatic"
  55
  56 if [istarget sh64*-*-elf] {
  57     # This is what gcc passes to ld by default, plus switch to the
  58     # "usual" ELF _start (shelf32 normally uses just `start' for COFF
  59     # compatibility)
  60     set ldflags "-e _start -mshelf32 $ldflags"
  61 }
  62
  63 # If we don't have g++ for the target, mark all tests as untested.
  64 if { [which $CXX] == 0 } {
  65     foreach testitem $seltests {
  66         untested "[lindex $testitem 0]"
  67     }
  68     return
  69 }
  70
  71 foreach testitem $seltests {
  72     set testname [lindex $testitem 0]
  73     set testtype [lindex $testitem 1]
  74     set testfile [lindex $testitem 2]
  75     set objfile "tmpdir/[file rootname $testfile].o"
  76     set ldfile "tmpdir/[file rootname $testfile].x"
  77     set failed 0
  78
  79     set ldargs [lindex $testitem 3]
  80     set mustsyms [lindex $testitem 4]
  81     set mustnotsyms [lindex $testitem 5]
  82     set xfails [lindex $testitem 6]
  83
  84     foreach xfail_target $xfails {
  85         setup_xfail $xfail_target
  86     }
  87     setup_xfail "alpha*-*" "arc*-*" "d30v*-*" "dlx*-*" "i370*-*" "i860*-*"
  88     setup_xfail "i960*-*" "mn10200-*" "or32-*" "pj-*" "sparc64*-*"
  89
  90     # It's either C or C++ at the moment.
  91     if { $testtype == "C++" } {
  92         set testflags "$cflags $cxxflags"
  93         if [string match "*gcc*" [lindex $CC 0]] {
  94             # Starting with 3.4.0, -fvtable-gc is no longer supported and thus
  95             # the functionality we try to test for cannot be expected to work.
  96             catch "exec -- $CC -dumpversion" version
  97             if [regexp "^(\[1-9\]\[0-9\]+|\[4-9\]|3.(\[1-9\]\[0-9\]+|\[4-9\]))\\." $version] {
  98                 setup_xfail {*-*-*}
  99             }
 100         }
 101     } {
 102         set testflags "$cflags"
 103     }
 104
 105     # Note that we do not actually *use* CXX; we just add cxxflags for C++
 106     # tests.  It might have been a buglet originally; now I think better
 107     # leave as is.
 108     if { ![ld_compile "$CC $testflags" $srcdir/$subdir/$testfile $objfile] } {
 109         unresolved $testname
 110         continue
 111     }
 112
 113     # V850 targets need libgcc.a
 114     if [istarget v850*-*-elf] {
 115         catch "exec $CC -print-libgcc-file-name" libgcc
 116         set objfile "$objfile $libgcc"
 117     }
 118
 119     # ARM targets need libgcc.a in THUMB mode so that __call_via_r3 is provided
 120     if {[istarget arm-*-*] || [istarget xscale-*-*]} {
 121         catch "exec $CC -print-libgcc-file-name" libgcc
 122         set objfile "$objfile $libgcc"
 123     }
 124
 125     # HPPA linux targets need libgcc.a for millicode routines ($$dyncall).
 126     if [istarget hppa*-*-linux*] {
 127         catch "exec $CC -print-libgcc-file-name" libgcc
 128         set objfile "$objfile $libgcc"
 129     }
 130
 131     # m6811/m6812 code has references to soft registers.
 132     if {[istarget m6811-*-*] || [istarget m6812-*-*]} {
 133         set objfile "$objfile --defsym _.frame=0 --defsym _.d1=0"
 134         set objfile "$objfile --defsym _.d2=0"
 135     }
 136
 137     if ![ld_simple_link $ld $ldfile "$ldflags [join $ldargs] $objfile"] {
 138         fail $testname
 139         continue
 140     }
 141
 142     if ![ld_nm $nm --demangle $ldfile] {
 143         unresolved $testname
 144         continue
 145     }
 146
 147     # Must make V2 demangled names look like V3
 148     foreach nm_output_key [array names nm_output] {
 149         if [regsub \\(void\\) $nm_output_key () new_nm_output_key] {
 150             set nm_output($new_nm_output_key) nm_output($nm_output_key)
 151         }
 152     }
 153
 154     # Check each mandated symbol and optionally mandated values.
 155     foreach mustsym $mustsyms {
 156         if { [llength [concat $mustsym]] == 1 } {
 157             if { ![info exists nm_output($mustsym)] } {
 158                 verbose -log "$testname: missing $mustsym"
 159                 fail $testname
 160                 set failed 1
 161                 break
 162             }
 163         } {
 164             set mustsymname [lindex $mustsym 0]
 165             set mustsymvalue [lindex $mustsym 1]
 166             if { ![info exists nm_output($mustsymname)] } {
 167                 verbose -log "$testname: missing $mustsymname"
 168                 fail $testname
 169                 set failed 1
 170                 break
 171             } {
 172                 if { $nm_output($mustsymname) != $mustsymvalue } {
 173                     verbose -log "$testname: $mustsymname != $mustsymvalue"
 174                     verbose -log "is instead $nm_output($mustsymname)"
 175                     fail $testname
 176                     set failed 1
 177                     break
 178                 }
 179             }
 180         }
 181     }
 182
 183     if { $failed != 0 } {
 184         continue
 185     }
 186
 187     # Check each unwanted symbol, or that symbols do not have specific
 188     # values.
 189     foreach mustnotsym $mustnotsyms {
 190         if { [llength [concat $mustnotsym]] == 1 } {
 191             if { [info exists nm_output($mustnotsym)] } {
 192                 verbose -log "$testname: $mustnotsym == $nm_output($mustnotsym)"
 193                 fail $testname
 194                 set failed 1
 195                 break
 196             }
 197         } {
 198             set mustnotsymname [lindex $mustnotsym 0]
 199             set mustnotsymvalue [lindex $mustnotsym 1]
 200             if { [info exists nm_output($mustnotsymname)] \
 201                     && $nm_output($mustnotsymname) == $mustnotsymvalue} {
 202                 verbose -log "$testname: $mustnotsymname == $mustnotsymvalue"
 203                 fail $testname
 204                 set failed 1
 205                 break
 206             }
 207         }
 208     }
 209
 210     if { $failed == 0 } {
 211         pass $testname
 212     }
 213 }