ld/testsuite/ld-elf/binutils.exp

   1 # Expect script for binutils tests
   2 # Copyright (C) 2006-2024 Free Software Foundation, Inc.
   3 #
   4 # This file is part of the GNU Binutils.
   5 #
   6 # This program is free software; you can redistribute it and/or modify
   7 # it under the terms of the GNU General Public License as published by
   8 # the Free Software Foundation; either version 3 of the License, or
   9 # (at your option) any later version.
  10 #
  11 # This program is distributed in the hope that it will be useful,
  12 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  13 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  14 # GNU General Public License for more details.
  15 #
  16 # You should have received a copy of the GNU General Public License
  17 # along with this program; if not, write to the Free Software
  18 # Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
  19 # MA 02110-1301, USA.
  20 #
  21 # Written by H.J. Lu (hongjiu.lu@intel.com)
  22 #
  23
  24 # Make sure that binutils can correctly handle ld output in ELF.
  25
  26 if { !([istarget *-*-linux*]
  27        || [istarget arm*-*-uclinuxfdpiceabi]
  28        || [istarget *-*-nacl*]
  29        || [istarget *-*-gnu*]) || [istarget *ecoff] } then {
  30     return
  31 }
  32
  33 # The optional test_name argument provides a mechanism for the caller
  34 # to hardwire the test name. This is important if ld_options contains
  35 # absolute path names because the default test name is constructed
  36 # from the prog_name and ld_options and we do not want absolute paths
  37 # to appear in the test_name.  The optional readelf_options can be
  38 # used to specify different options for readelf.
  39 proc binutils_test { prog_name ld_options test {test_name ""} {readelf_options "-l"}} {
  40     global as
  41     global ld
  42     global READELF
  43     global objcopy
  44     global strip
  45     global srcdir
  46     global subdir
  47     global link_output
  48
  49     eval set prog \$$prog_name
  50
  51     if { "$test_name" == "" } {
  52       set test_name "$prog_name $ld_options ($test)"
  53     }
  54
  55     if { ![ld_assemble $as $srcdir/$subdir/$test.s tmpdir/$test.o ] } {
  56         unsupported "$test_name"
  57         return
  58     }
  59
  60     if { ![ld_link $ld tmpdir/$test "$ld_options -z stack-size=0 tmpdir/$test.o"] } {
  61         if { [string match "*not supported*" $link_output]
  62              || [string match "*unrecognized option*" $link_output]
  63              || [string match "*-z * ignored*" $link_output] } {
  64             unsupported "$ld_options is not supported by this target"
  65         } else {
  66             fail "$test_name"
  67         }
  68         return
  69     }
  70
  71     send_log "$READELF $readelf_options --wide tmpdir/$test > tmpdir/$test.exp\n"
  72     set got [remote_exec host "$READELF $readelf_options --wide tmpdir/$test" "" "/dev/null" "tmpdir/$test.exp"]
  73     if { [lindex $got 0] != 0 || ![string match "" [lindex $got 1]] } then {
  74         send_log "$got\n"
  75         fail "$test_name"
  76         return
  77     }
  78
  79     if [string match "*-z relro*" $ld_options] {
  80         # These targets set TEXT_DYNAMIC and therefore have `.dynamic'
  81         # in the (read-only) text segment rather than data segment.
  82         set relro_dynamic [expr !([istarget "hppa64*-*-*"] \
  83                                   || ([istarget "mips*-*-*"] \
  84                                       && ![istarget "*-*-vxworks*"]))]
  85         # These targets have `.got' in regular data even though they do
  86         # not have `.got' there.
  87         set relro_gotplt [expr [istarget "mips*-*-*"]]
  88         # These targets do not set NO_SMALL_DATA or DATA_GOT and therefore
  89         # have `.got' in (read-write) small data rather than regular data.
  90         set relro_got [expr !([istarget "alpha*-*-*"] \
  91                               || [istarget "hppa*-*-linux-*"] \
  92                               || [istarget "hppa*-*-netbsd*"] \
  93                               || [istarget "hppa*-*-openbsd*"] \
  94                               || [istarget "metag-*-*"] \
  95                               || [istarget "mips*-*-*"] \
  96                               || [istarget "or1k-*-*"] \
  97                               || [istarget "sh*-*-*"] \
  98                               || [istarget "x86_64-*-rdos*"])]
  99         # Check if GNU_RELRO segment is generated.
 100         set got [remote_exec host "grep GNU_RELRO tmpdir/$test.exp"]
 101         if { ![string match "*GNU_RELRO*" $got] } then {
 102             set got [remote_exec host "cat tmpdir/$test.exp"]
 103             if { [string match "*.data.rel.ro*" $got]
 104                  || ($relro_dynamic && [string match "*.dynamic*" $got])
 105                  || ($relro_gotplt && [string match "*.got.plt*" $got])
 106                  || ($relro_got && [string match "*.got*" $got])
 107                  || [string match "*.eh_frame*" $got]
 108                  || [string match "*.gcc_except_table*" $got]
 109                  || [string match "*.exception_ranges*" $got]
 110                  || [string match "*.ctors*" $got]
 111                  || [string match "*.dtors*" $got]
 112                  || [string match "*.tdata*" $got]
 113                  || [string match "*.preinit_array*" $got]
 114                  || [string match "*.init_array*" $got]
 115                  || [string match "*.fini_array*" $got] } then {
 116                 # Fail if GNU_RELRO segment isn't generated, but should.
 117                 fail "$test_name"
 118                 return
 119             }
 120         }
 121     }
 122
 123     send_log "$prog tmpdir/$test\n"
 124     set got [remote_exec host "$prog tmpdir/$test"]
 125     if { [lindex $got 0] != 0 || ![string match "" [lindex $got 1]] } then {
 126         send_log "$got\n"
 127         fail "$test_name"
 128         return
 129     }
 130
 131     send_log "$READELF $readelf_options --wide tmpdir/$test > tmpdir/$test.out\n"
 132     set got [remote_exec host "$READELF $readelf_options --wide tmpdir/$test" "" "/dev/null" "tmpdir/$test.out"]
 133     if { [lindex $got 0] != 0 || ![string match "" [lindex $got 1]] } then {
 134         send_log "$got\n"
 135         fail "$test_name"
 136         return
 137     }
 138
 139     if { [catch {exec cmp tmpdir/$test.exp tmpdir/$test.out}] } then {
 140         send_log "tmpdir/$test.exp tmpdir/$test.out differ.\n"
 141         fail "$test_name"
 142         return
 143     }
 144
 145     pass "$test_name"
 146 }
 147
 148 binutils_test strip "-z max-page-size=0x200000" maxpage1
 149 binutils_test strip "-z max-page-size=0x200000 -z common-page-size=0x100000" maxpage1
 150 binutils_test strip "-z max-page-size=0x100000" maxpage1
 151 binutils_test strip "-z max-page-size=0x100000 -z common-page-size=0x1000" maxpage1
 152
 153 binutils_test strip "" maxpage1
 154 binutils_test strip "-shared" maxpage1
 155 binutils_test objcopy "" maxpage1
 156 binutils_test objcopy "-shared" maxpage1
 157
 158 binutils_test strip "-z relro" relro1
 159 binutils_test strip "-z relro -shared" relro1
 160 binutils_test objcopy "-z relro" relro1
 161 binutils_test objcopy "-z relro -shared" relro1
 162 if { ([istarget "i?86-*-elf*"]
 163       || [istarget "i?86-*-linux*"]
 164       || [istarget "i?86-*-gnu*"]
 165       || [istarget "x86_64-*-linux*"]
 166       || [istarget "amd64-*-linux*"]) } {
 167     binutils_test strip "-z relro -shared" relro2
 168     binutils_test objcopy "-z relro -shared" relro2
 169 }
 170
 171 binutils_test strip "-T ${srcdir}/${subdir}/lma.lnk" lma "strip -T lma.lnk"
 172
 173 set tls_tests { "tdata1" "tdata2" }
 174 # hppa64 has its own .tbss section, with different flags.
 175 if { ![istarget "hppa64-*-*"] } {
 176     lappend tls_tests "tdata3" "tbss1" "tbss2" "tbss3"
 177 }
 178 set tls_opts {
 179     "-z noseparate-code"
 180     "-z separate-code"
 181     "-z relro"
 182     "-shared -z noseparate-code"
 183     "-shared -z separate-code"
 184     "-shared -z relro"
 185     "-z max-page-size=0x100000"
 186     "-z max-page-size=0x100000 -z common-page-size=0x1000"
 187 }
 188
 189 foreach testitem $tls_tests {
 190     foreach testopt $tls_opts {
 191         binutils_test objcopy $testopt $testitem
 192     }
 193 }
 194
 195 binutils_test strip "-s" gap "" "-lS"