blob: 49837dd4b17fb7245213c14324fd4f4680685d26 [file] [log] [blame]
# Support routines for LD testsuite.
# Copyright 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003,
# 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012
# Free Software Foundation, Inc.
#
# This file is part of the GNU Binutils.
#
# 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 3 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., 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
# Returns 1 if the gcc for the target is at least version MAJOR.MINOR
# Returns 0 otherwise.
#
proc at_least_gcc_version { major minor } {
if {![info exists CC]} {
set CC [find_gcc]
}
if { $CC == "" } {
return 0
}
set state [remote_exec host $CC --version]
set tmp "[lindex $state 1]\n"
# Look for (eg) 4.6.1 in the version output.
set ver_re "\[^\\.0-9\]+(\[1-9\]\[0-9\]*)\\.(\[0-9\]+)(?:\\.\[0-9\]+)?"
regexp $ver_re $tmp fred maj min
verbose "gcc version: $tmp"
if { ![info exists maj] || ![info exists min] } then {
perror "can't decipher gcc version number, fix the framework!"
return 0
}
verbose "major gcc version is $maj, want at least $major"
if { $maj == $major } then {
verbose "minor gcc version is $min, want at least $minor"
return [expr $min >= $minor]
} else {
return [expr $maj > $major]
}
}
# Extract and print the version number of ld.
#
proc default_ld_version { ld } {
global host_triplet
if { ![is_remote host] && [which $ld] == 0 } then {
perror "$ld does not exist"
exit 1
}
remote_exec host "$ld --version" "" "/dev/null" "ld.version"
remote_upload host "ld.version"
set tmp [prune_warnings [file_contents "ld.version"]]
remote_file build delete "ld.version"
remote_file host delete "ld.version"
regexp "\[^\n\]* (cygnus-|)(\[-0-9.a-zA-Z-\]+)\[\r\n\].*" $tmp version cyg number
if [info exists number] then {
clone_output "$ld $number\n"
}
}
proc run_host_cmd { prog command } {
global link_output
if { ![is_remote host] && [which "$prog"] == 0 } then {
perror "$prog does not exist"
return 0
}
verbose -log "$prog $command"
set status [remote_exec host [concat sh -c [list "$prog $command 2>&1"]] "" "/dev/null" "ld.tmp"]
remote_upload host "ld.tmp"
set link_output [file_contents "ld.tmp"]
regsub "\n$" $link_output "" link_output
if { [lindex $status 0] != 0 && [string match "" $link_output] } then {
append link_output "child process exited abnormally"
}
remote_file build delete ld.tmp
remote_file host delete ld.tmp
if [string match "" $link_output] then {
return ""
}
verbose -log "$link_output"
return "$link_output"
}
proc run_host_cmd_yesno { prog command } {
global exec_output
set exec_output [prune_warnings [run_host_cmd "$prog" "$command"]]
if [string match "" $exec_output] then {
return 1;
}
return 0;
}
# Link an object using relocation.
#
proc default_ld_relocate { ld target objects } {
global HOSTING_EMU
remote_file host delete $target
return [run_host_cmd_yesno "$ld" "$HOSTING_EMU -o $target -r $objects"]
}
# Check to see if ld is being invoked with a non-endian output format
#
proc is_endian_output_format { object_flags } {
if {[string match "*-oformat binary*" $object_flags] || \
[string match "*-oformat ieee*" $object_flags] || \
[string match "*-oformat ihex*" $object_flags] || \
[string match "*-oformat netbsd-core*" $object_flags] || \
[string match "*-oformat srec*" $object_flags] || \
[string match "*-oformat tekhex*" $object_flags] || \
[string match "*-oformat trad-core*" $object_flags] } then {
return 0
} else {
return 1
}
}
# Look for big-endian or little-endian switches in the multlib
# options and translate these into a -EB or -EL switch. Note
# we cannot rely upon proc process_multilib_options to do this
# for us because for some targets the compiler does not support
# -EB/-EL but it does support -mbig-endian/-mlittle-endian, and
# the site.exp file will include the switch "-mbig-endian"
# (rather than "big-endian") which is not detected by proc
# process_multilib_options.
#
proc big_or_little_endian {} {
if [board_info [target_info name] exists multilib_flags] {
set tmp_flags " [board_info [target_info name] multilib_flags]"
foreach x $tmp_flags {
case $x in {
{*big*endian eb EB -eb -EB -mb -meb} {
set flags " -EB"
return $flags
}
{*little*endian el EL -el -EL -ml -mel} {
set flags " -EL"
return $flags
}
}
}
}
set flags ""
return $flags
}
# Link a program using ld.
#
proc default_ld_link { ld target objects } {
global HOSTING_EMU
global HOSTING_CRT0
global HOSTING_LIBS
global LIBS
global host_triplet
global link_output
global exec_output
set objs "$HOSTING_CRT0 $objects"
set libs "$LIBS $HOSTING_LIBS"
if [is_endian_output_format $objects] then {
set flags [big_or_little_endian]
} else {
set flags ""
}
remote_file host delete $target
return [run_host_cmd_yesno "$ld" "$HOSTING_EMU $flags -o $target $objs $libs"]
}
# Link a program using ld, without including any libraries.
#
proc default_ld_simple_link { ld target objects } {
global host_triplet
global gcc_ld_flag
global exec_output
if [is_endian_output_format $objects] then {
set flags [big_or_little_endian]
} else {
set flags ""
}
# If we are compiling with gcc, we want to add gcc_ld_flag to
# flags. Rather than determine this in some complex way, we guess
# 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 ldflags "$gcc_ld_flag $ldflags"
}
remote_file host delete $target
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
# symbol, since the default linker script might use ENTRY.
regsub -all "(^|\n)(\[^\n\]*: warning: cannot find entry symbol\[^\n\]*\n?)" $exec_output "\\1" exec_output
if [string match "" $exec_output] then {
return 1
} else {
return 0
}
}
# Compile an object using cc.
#
proc default_ld_compile { cc source object } {
global CFLAGS
global CXXFLAGS
global srcdir
global subdir
global host_triplet
global gcc_gas_flag
set cc_prog $cc
if {[llength $cc_prog] > 1} then {
set cc_prog [lindex $cc_prog 0]
}
if {![is_remote host] && [which $cc_prog] == 0} then {
perror "$cc_prog does not exist"
return 0
}
remote_file build delete "$object"
remote_file host delete "$object"
set flags "-I$srcdir/$subdir"
# If we are compiling with gcc, we want to add gcc_gas_flag to
# flags. Rather than determine this in some complex way, we guess
# based on the name of the compiler.
set ccexe $cc
set ccparm [string first " " $cc]
set ccflags ""
if { $ccparm > 0 } then {
set ccflags [string range $cc $ccparm end]
set ccexe [string range $cc 0 $ccparm]
set cc $ccexe
}
set ccexe [string replace $ccexe 0 [string last "/" $ccexe] ""]
if {[string match "*gcc*" $ccexe] || [string match "*++*" $ccexe]} then {
set flags "$gcc_gas_flag $flags"
}
if {[string match "*++*" $ccexe]} {
set flags "$flags $CXXFLAGS"
} else {
set flags "$flags $CFLAGS"
}
if [board_info [target_info name] exists multilib_flags] {
append flags " [board_info [target_info name] multilib_flags]"
}
verbose -log "$cc $flags $ccflags -c $source -o $object"
set status [remote_exec host [concat sh -c [list "$cc $flags $ccflags -c $source -o $object 2>&1"]] "" "/dev/null" "ld.tmp"]
remote_upload host "ld.tmp"
set exec_output [file_contents "ld.tmp"]
remote_file build delete "ld.tmp"
remote_file host delete "ld.tmp"
set exec_output [prune_warnings $exec_output]
if [string match "" $exec_output] then {
if {![file exists $object]} then {
regexp ".*/(\[^/\]*)$" $source all dobj
regsub "\\.c" $dobj ".o" realobj
verbose "looking for $realobj"
if {[remote_file host exists $realobj]} then {
verbose -log "mv $realobj $object"
remote_upload "$realobj" "$object"
} else {
perror "$object not found after compilation"
return 0
}
}
return 1
} else {
verbose -log "$exec_output"
perror "$source: compilation failed"
return 0
}
}
# Assemble a file.
#
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 $in_flags $ASFLAGS -o $object $source"]
set exec_output [prune_warnings $exec_output]
if [string match "" $exec_output] then {
return 1
} else {
perror "$source: assembly failed"
return 0
}
}
# Run nm on a file, putting the result in the array nm_output.
#
proc default_ld_nm { nm nmflags object } {
global NMFLAGS
global nm_output
global host_triplet
if {[info exists nm_output]} {
unset nm_output
}
if ![info exists NMFLAGS] { set NMFLAGS "" }
# Ensure consistent sorting of symbols
if {[info exists env(LC_ALL)]} {
set old_lc_all $env(LC_ALL)
}
set env(LC_ALL) "C"
verbose -log "$nm $NMFLAGS $nmflags $object >tmpdir/nm.out"
set status [remote_exec host [concat sh -c [list "$nm $NMFLAGS $nmflags $object 2>ld.stderr"]] "" "/dev/null" "tmpdir/nm.out"]
if {[info exists old_lc_all]} {
set env(LC_ALL) $old_lc_all
} else {
unset env(LC_ALL)
}
remote_upload host "ld.stderr"
remote_upload host "tmpdir/nm.out" "tmpdir/nm.out"
set exec_output [prune_warnings [file_contents "ld.stderr"]]
remote_file host delete "ld.stderr"
remote_file build delete "ld.stderr"
if [string match "" $exec_output] then {
set file [open tmpdir/nm.out r]
while { [gets $file line] != -1 } {
verbose "$line" 2
if [regexp "^(\[0-9a-fA-F\]+) \[a-zA-Z0-9\] \\.*(.+)$" $line whole value name] {
set name [string trimleft $name "_"]
verbose "Setting nm_output($name) to 0x$value" 2
set nm_output($name) 0x$value
}
}
close $file
return 1
} else {
verbose -log "$exec_output"
perror "$object: nm failed"
return 0
}
}
# Define various symbols needed when not linking against all
# target libs.
proc ld_simple_link_defsyms {} {
set flags "--defsym __stack_chk_fail=0"
# ARM targets call __gccmain
if {[istarget arm*-*-*]} {
append flags " --defsym __gccmain=0"
}
# Windows targets need __main, prefixed with underscore.
if {[istarget *-*-cygwin* ] || [istarget *-*-mingw*]} {
append flags " --defsym ___main=0"
}
# PowerPC EABI code calls __eabi.
if {[istarget powerpc*-*-eabi*] || [istarget powerpc*-*-rtems*]} {
append flags " --defsym __eabi=0"
}
# mn10200 code calls __truncsipsi2_d0_d2.
if {[istarget mn10200*-*-*]} then {
append flags " --defsym __truncsipsi2_d0_d2=0"
}
# m6811/m6812 code has references to soft registers.
if {[istarget m6811-*-*] || [istarget m6812-*-*] || [istarget m68hc1*-*-*]} {
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"
}
# 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"
}
return $flags
}
# run_dump_test FILE (optional:) EXTRA_OPTIONS
# Copied from gas testsuite, tweaked and further extended.
#
# Assemble a .s file, then run some utility on it and check the output.
#
# There should be an assembly language file named FILE.s in the test
# suite directory, and a pattern file called FILE.d. `run_dump_test'
# will assemble FILE.s, run some tool like `objdump', `objcopy', or
# `nm' on the .o file to produce textual output, and then analyze that
# with regexps. The FILE.d file specifies what program to run, and
# what to expect in its output.
#
# The FILE.d file begins with zero or more option lines, which specify
# flags to pass to the assembler, the program to run to dump the
# assembler's output, and the options it wants. The option lines have
# the syntax:
#
# # OPTION: VALUE
#
# OPTION is the name of some option, like "name" or "objdump", and
# VALUE is OPTION's value. The valid options are described below.
# Whitespace is ignored everywhere, except within VALUE. The option
# list ends with the first line that doesn't match the above syntax
# (hmm, not great for error detection).
#
# The optional EXTRA_OPTIONS argument to `run_dump_test' is a list of
# two-element lists. The first element of each is an option name, and
# the second additional arguments to be added on to the end of the
# option list as given in FILE.d. (If omitted, no additional options
# are added.)
#
# The interesting options are:
#
# name: TEST-NAME
# The name of this test, passed to DejaGNU's `pass' and `fail'
# commands. If omitted, this defaults to FILE, the root of the
# .s and .d files' names.
#
# as: FLAGS
# When assembling, pass FLAGS to the assembler.
# If assembling several files, you can pass different assembler
# options in the "source" directives. See below.
#
# ld: FLAGS
# Link assembled files using FLAGS, in the order of the "source"
# directives, when using multiple files.
#
# ld_after_inputfiles: FLAGS
# Similar to "ld", but put after all input files.
#
# objcopy_linked_file: FLAGS
# Run objcopy on the linked file with the specified flags.
# This lets you transform the linked file using objcopy, before the
# result is analyzed by an analyzer program specified below (which
# may in turn *also* be objcopy).
#
# PROG: PROGRAM-NAME
# The name of the program to run to analyze the .o file produced
# by the assembler or the linker output. This can be omitted;
# run_dump_test will guess which program to run by seeing which of
# the flags options below is present.
#
# objdump: FLAGS
# nm: FLAGS
# objcopy: FLAGS
# Use the specified program to analyze the assembler or linker
# output file, and pass it FLAGS, in addition to the output name.
# Note that they are run with LC_ALL=C in the environment to give
# consistent sorting of symbols.
#
# source: SOURCE [FLAGS]
# Assemble the file SOURCE.s using the flags in the "as" directive
# and the (optional) FLAGS. If omitted, the source defaults to
# FILE.s.
# This is useful if several .d files want to share a .s file.
# More than one "source" directive can be given, which is useful
# when testing linking.
#
# dump: DUMP
# Match against DUMP.d. If omitted, this defaults to FILE.d. This
# is useful if several .d files differ by options only. Options are
# always read from FILE.d.
#
# xfail: TARGET
# The test is expected to fail on TARGET. This may occur more than
# once.
#
# target: TARGET
# Only run the test for TARGET. This may occur more than once; the
# target being tested must match at least one. You may provide target
# name "cfi" for any target supporting the CFI statements.
#
# notarget: TARGET
# Do not run the test for TARGET. This may occur more than once;
# the target being tested must not match any of them.
#
# 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. 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". 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 in binutils-common.exp;
# see further comments there.
#
proc run_dump_test { name {extra_options {}} } {
global subdir srcdir
global OBJDUMP NM AS OBJCOPY READELF LD
global OBJDUMPFLAGS NMFLAGS ASFLAGS OBJCOPYFLAGS READELFFLAGS LDFLAGS
global host_triplet runtests
global env verbose
if [string match "*/*" $name] {
set file $name
set name [file tail $name]
} else {
set file "$srcdir/$subdir/$name"
}
if ![runtest_file_p $runtests $name] then {
return
}
set opt_array [slurp_options "${file}.d"]
if { $opt_array == -1 } {
perror "error reading options from $file.d"
unresolved $subdir/$name
return
}
set dumpfile tmpdir/dump.out
set run_ld 0
set run_objcopy 0
set opts(as) {}
set opts(ld) {}
set opts(ld_after_inputfiles) {}
set opts(xfail) {}
set opts(target) {}
set opts(notarget) {}
set opts(objdump) {}
set opts(nm) {}
set opts(objcopy) {}
set opts(readelf) {}
set opts(name) {}
set opts(PROG) {}
set opts(source) {}
set opts(dump) {}
set opts(error) {}
set opts(warning) {}
set opts(objcopy_linked_file) {}
foreach i $opt_array {
set opt_name [lindex $i 0]
set opt_val [lindex $i 1]
if ![info exists opts($opt_name)] {
perror "unknown option $opt_name in file $file.d"
unresolved $subdir/$name
return
}
switch -- $opt_name {
xfail {}
target {}
notarget {}
warning {}
error {}
source {
# Move any source-specific as-flags to a separate list to
# simplify processing.
if { [llength $opt_val] > 1 } {
lappend asflags [lrange $opt_val 1 end]
set opt_val [lindex $opt_val 0]
} else {
lappend asflags {}
}
}
default {
if [string length $opts($opt_name)] {
perror "option $opt_name multiply set in $file.d"
unresolved $subdir/$name
return
}
# A single "# ld:" with no options should do the right thing.
if { $opt_name == "ld" } {
set run_ld 1
}
# Likewise objcopy_linked_file.
if { $opt_name == "objcopy_linked_file" } {
set run_objcopy 1
}
}
}
if { $opt_name == "as" || $opt_name == "ld" } {
set opt_val [subst $opt_val]
}
# Append differently whether it's a message (without space) or
# an option or list (with space).
switch -- $opt_name {
warning -
error {
append opts($opt_name) $opt_val
}
default {
set opts($opt_name) [concat $opts($opt_name) $opt_val]
}
}
}
foreach i $extra_options {
set opt_name [lindex $i 0]
set opt_val [lindex $i 1]
if ![info exists opts($opt_name)] {
perror "unknown option $opt_name given in extra_opts"
unresolved $subdir/$name
return
}
# Add extra option to end of existing option, adding space
# if necessary.
if { ![regexp "warning|error" $opt_name]
&& [string length $opts($opt_name)] } {
append opts($opt_name) " "
}
append opts($opt_name) $opt_val
}
foreach opt { as ld } {
regsub {\[big_or_little_endian\]} $opts($opt) \
[big_or_little_endian] opts($opt)
}
# Decide early whether we should run the test for this target.
if { [llength $opts(target)] > 0 } {
set targmatch 0
foreach targ $opts(target) {
if [istarget $targ] {
set targmatch 1
break
}
}
if { $targmatch == 0 } {
return
}
}
foreach targ $opts(notarget) {
if [istarget $targ] {
return
}
}
set program ""
# It's meaningless to require an output-testing method when we
# expect an error.
if { $opts(error) == "" } {
if {$opts(PROG) != ""} {
switch -- $opts(PROG) {
objdump { set program objdump }
nm { set program nm }
objcopy { set program objcopy }
readelf { set program readelf }
default
{ perror "unrecognized program option $opts(PROG) in $file.d"
unresolved $subdir/$name
return }
}
} else {
# Guess which program to run, by seeing which option was specified.
foreach p {objdump objcopy nm readelf} {
if {$opts($p) != ""} {
if {$program != ""} {
perror "ambiguous dump program in $file.d"
unresolved $subdir/$name
return
} else {
set program $p
}
}
}
}
if { $program == "" && $opts(warning) == "" } {
perror "dump program unspecified in $file.d"
unresolved $subdir/$name
return
}
}
if { $opts(name) == "" } {
set testname "$subdir/$name"
} else {
set testname $opts(name)
}
if { $opts(source) == "" } {
set sourcefiles [list ${file}.s]
set asflags [list ""]
} else {
set sourcefiles {}
foreach sf $opts(source) {
if { [string match "/*" $sf] } {
lappend sourcefiles "$sf"
} else {
lappend sourcefiles "$srcdir/$subdir/$sf"
}
}
}
if { $opts(dump) == "" } {
set dfile ${file}.d
} else {
set dfile $srcdir/$subdir/$opts(dump)
}
# Time to setup xfailures.
foreach targ $opts(xfail) {
setup_xfail $targ
}
# Assemble each file.
set objfiles {}
for { set i 0 } { $i < [llength $sourcefiles] } { incr i } {
set sourcefile [lindex $sourcefiles $i]
set sourceasflags [lindex $asflags $i]
set objfile "tmpdir/dump$i.o"
catch "exec rm -f $objfile" exec_output
lappend objfiles $objfile
set cmd "$AS $ASFLAGS $opts(as) $sourceasflags -o $objfile $sourcefile"
send_log "$cmd\n"
set cmdret [remote_exec host [concat sh -c [list "$cmd 2>&1"]] "" "/dev/null" "ld.tmp"]
remote_upload host "ld.tmp"
set comp_output [prune_warnings [file_contents "ld.tmp"]]
remote_file host delete "ld.tmp"
remote_file build delete "ld.tmp"
if { [lindex $cmdret 0] != 0 || ![string match "" $comp_output] } then {
send_log "$comp_output\n"
verbose "$comp_output" 3
set exitstat "succeeded"
if { $cmdret != 0 } { set exitstat "failed" }
verbose -log "$exitstat with: <$comp_output>"
fail $testname
return
}
}
set expmsg $opts(error)
if { $opts(warning) != "" } {
if { $expmsg != "" } {
perror "$testname: mixing error and warning test-directives"
return
}
set expmsg $opts(warning)
}
# Perhaps link the file(s).
if { $run_ld } {
set objfile "tmpdir/dump"
catch "exec rm -f $objfile" exec_output
# Add -L$srcdir/$subdir so that the linker command can use
# linker scripts in the source directory.
set cmd "$LD $LDFLAGS -L$srcdir/$subdir \
$opts(ld) -o $objfile $objfiles $opts(ld_after_inputfiles)"
send_log "$cmd\n"
set cmdret [remote_exec host [concat sh -c [list "$cmd 2>&1"]] "" "/dev/null" "ld.tmp"]
remote_upload host "ld.tmp"
set comp_output [file_contents "ld.tmp"]
remote_file host delete "ld.tmp"
remote_file build delete "ld.tmp"
set cmdret [lindex $cmdret 0]
if { $cmdret == 0 && $run_objcopy } {
set infile $objfile
set objfile "tmpdir/dump1"
remote_file host delete $objfile
# Note that we don't use OBJCOPYFLAGS here; any flags must be
# explicitly specified.
set cmd "$OBJCOPY $opts(objcopy_linked_file) $infile $objfile"
send_log "$cmd\n"
set cmdret [remote_exec host [concat sh -c [list "$cmd 2>&1"]] "" "/dev/null" "ld.tmp"]
remote_upload host "ld.tmp"
append comp_output [file_contents "ld.tmp"]
remote_file host delete "ld.tmp"
remote_file build delete "ld.tmp"
set cmdret [lindex $cmdret 0]
}
regsub "\n$" $comp_output "" comp_output
if { $cmdret != 0 || $comp_output != "" || $expmsg != "" } then {
set exitstat "succeeded"
if { $cmdret != 0 } { set exitstat "failed" }
verbose -log "$exitstat with: <$comp_output>, expected: <$expmsg>"
send_log "$comp_output\n"
verbose "$comp_output" 3
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
return
}
} else {
verbose -log "$exitstat with: <$comp_output>, expected: <$expmsg>"
fail $testname
return
}
}
} else {
set objfile "tmpdir/dump0.o"
}
# We must not have expected failure if we get here.
if { $opts(error) != "" } {
fail $testname
return
}
set progopts1 $opts($program)
eval set progopts \$[string toupper $program]FLAGS
eval set binary \$[string toupper $program]
if { ![is_remote host] && [which $binary] == 0 } {
untested $testname
return
}
if { $progopts1 == "" } { set $progopts1 "-r" }
verbose "running $binary $progopts $progopts1" 3
# Objcopy, unlike the other two, won't send its output to stdout,
# so we have to run it specially.
set cmd "$binary $progopts $progopts1 $objfile > $dumpfile"
if { $program == "objcopy" } {
set cmd "$binary $progopts $progopts1 $objfile $dumpfile"
}
# Ensure consistent sorting of symbols
if {[info exists env(LC_ALL)]} {
set old_lc_all $env(LC_ALL)
}
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"
remote_file build delete "ld.tmp"
if {[info exists old_lc_all]} {
set env(LC_ALL) $old_lc_all
} else {
unset env(LC_ALL)
}
if { $cmdret != 0 || $comp_output != "" } {
send_log "exited abnormally with $cmdret, output:$comp_output\n"
fail $testname
return
}
if { $verbose > 2 } then { verbose "output is [file_contents $dumpfile]" 3 }
if { [regexp_diff $dumpfile "${dfile}"] } then {
fail $testname
if { $verbose == 2 } then { verbose "output is [file_contents $dumpfile]" 2 }
return
}
pass $testname
}
proc slurp_options { file } {
# If options_regsub(foo) is set to {a b}, then the contents of a
# "#foo:" line will have regsub -all applied to replace a with b.
global options_regsub
if [catch { set f [open $file r] } x] {
#perror "couldn't open `$file': $x"
perror "$x"
return -1
}
set opt_array {}
# whitespace expression
set ws {[ ]*}
set nws {[^ ]*}
# whitespace is ignored anywhere except within the options list;
# option names are alphabetic plus underscore only.
set pat "^#${ws}(\[a-zA-Z_\]*)$ws:${ws}(.*)$ws\$"
while { [gets $f line] != -1 } {
set line [string trim $line]
# Whitespace here is space-tab.
if [regexp $pat $line xxx opt_name opt_val] {
# match!
if [info exists options_regsub($opt_name)] {
set subst $options_regsub($opt_name)
regsub -all -- [lindex $subst 0] $opt_val [lindex $subst 1] \
opt_val
}
lappend opt_array [list $opt_name $opt_val]
} else {
break
}
}
close $f
return $opt_array
}
proc file_contents { filename } {
set file [open $filename r]
set contents [read $file]
close $file
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 } {
remote_file host delete $target
set exec_output [run_host_cmd "$ar" "$aropts rc $target $objects"]
set exec_output [prune_warnings $exec_output]
if [string match "" $exec_output] then {
send_log "$exec_output\n"
return 1
} else {
return 0
}
}
# List contains test-items with 3 items followed by 2 lists, one item and
# one optional item:
# 0:name
# 1:ld/ar options
# 2:assembler options
# 3:filenames of assembler files
# 4:list of actions, options and expected outputs.
# 5:name of output file
# 6:compiler flags (optional)
#
# Actions: { command command-line-options file-containg-expected-output-regexps }
# Commands:
# objdump: Apply objdump options on result.
# nm: Apply nm options on result.
# readelf: Apply readelf options on result.
# ld: Don't apply anything on result. Compare output during linking with
# the file containing regexps (which is the second arg, not the third).
# 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
global as
global nm
global ar
global objdump
global READELF
global srcdir
global subdir
global env
global CC
global CFLAGS
global runtests
global exec_output
foreach testitem $ldtests {
set testname [lindex $testitem 0]
if ![runtest_file_p $runtests $testname] then {
continue
}
set ld_options [lindex $testitem 1]
set as_options [lindex $testitem 2]
set src_files [lindex $testitem 3]
set actions [lindex $testitem 4]
set binfile tmpdir/[lindex $testitem 5]
set cflags [lindex $testitem 6]
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"
# verbose -log "as_options is $as_options"
# verbose -log "src_files is $src_files"
# verbose -log "actions is $actions"
# verbose -log "binfile is $binfile"
# Assemble each file in the test.
foreach src_file $src_files {
set fileroot "[file rootname [file tail $src_file]]"
set objfile "tmpdir/$fileroot.o"
lappend objfiles $objfile
if { [file extension $src_file] == ".c" } {
set as_file "tmpdir/$fileroot.s"
if ![ld_compile "$CC -S $CFLAGS $cflags" $srcdir/$subdir/$src_file $as_file] {
set is_unresolved 1
break
}
} else {
set as_file "$srcdir/$subdir/$src_file"
}
if ![ld_assemble $as "$as_options $as_file" $objfile] {
set is_unresolved 1
break
}
}
# Catch assembler errors.
if { $is_unresolved } {
unresolved $testname
continue
}
if { [regexp ".*\\.a$" $binfile] } {
if { ![ar_simple_create $ar $ld_options $binfile "$objfiles"] } {
set failed 1
}
} elseif { ![ld_simple_link $ld $binfile "-L$srcdir/$subdir $ld_options $objfiles"] } {
set maybe_failed 1
set ld_output "$exec_output"
}
if { !$failed } {
foreach actionlist $actions {
set action [lindex $actionlist 0]
set progopts [lindex $actionlist 1]
# There are actions where we run regexp_diff on the
# output, and there are other actions (presumably).
# Handling of the former look the same.
set dump_prog ""
switch -- $action {
objdump
{ set dump_prog $objdump }
nm
{ set dump_prog $nm }
readelf
{ set dump_prog $READELF }
ld
{ set dump_prog "ld" }
default
{
perror "Unrecognized action $action"
set is_unresolved 1
break
}
}
if { $action == "ld" } {
set regexpfile $progopts
verbose "regexpfile is $srcdir/$subdir/$regexpfile"
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/$regexpfile"] } 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
# Ensure consistent sorting of symbols
if {[info exists env(LC_ALL)]} {
set old_lc_all $env(LC_ALL)
}
set env(LC_ALL) "C"
set cmd "$binary $progopts $binfile"
set status [remote_exec host [concat sh -c [list "$cmd >dump.out 2>ld.stderr"]] "" "/dev/null"]
send_log "$cmd\n"
remote_upload host "ld.stderr"
set comp_output [prune_warnings [file_contents "ld.stderr"]]
remote_file host delete "ld.stderr"
remote_file build delete "ld.stderr"
if {[info exists old_lc_all]} {
set env(LC_ALL) $old_lc_all
} else {
unset env(LC_ALL)
}
if ![string match "" $comp_output] then {
send_log "$comp_output\n"
set failed 1
break
}
remote_upload host "dump.out"
if { [regexp_diff "dump.out" "$srcdir/$subdir/$dumpfile"] } then {
verbose "output is [file_contents "dump.out"]" 2
set failed 1
remote_file build delete "dump.out"
remote_file host delete "dump.out"
break
}
remote_file build delete "dump.out"
remote_file host delete "dump.out"
}
}
}
if { $is_unresolved } {
unresolved $testname
} elseif { $maybe_failed || $failed } {
fail $testname
} else {
pass $testname
}
}
}
# This definition is taken from an unreleased version of DejaGnu. Once
# that version gets released, and has been out in the world for a few
# months at least, it may be safe to delete this copy.
if ![string length [info proc prune_warnings]] {
#
# prune_warnings -- delete various system verbosities from TEXT
#
# An example is:
# ld.so: warning: /usr/lib/libc.so.1.8.1 has older revision than expected 9
#
# Sites with particular verbose os's may wish to override this in site.exp.
#
proc prune_warnings { text } {
# This is from sun4's. Do it for all machines for now.
# The "\\1" is to try to preserve a "\n" but only if necessary.
regsub -all "(^|\n)(ld.so: warning:\[^\n\]*\n?)+" $text "\\1" text
# It might be tempting to get carried away and delete blank lines, etc.
# Just delete *exactly* what we're ask to, and that's it.
return $text
}
}
# targets_to_xfail is a list of target triplets to be xfailed.
# ldtests contains test-items with 3 items followed by 1 lists, 2 items
# and 3 optional items:
# 0:name
# 1:ld options
# 2:assembler options
# 3:filenames of source files
# 4:name of output file
# 5:expected output
# 6:compiler flags (optional)
# 7:language (optional)
# 8:linker warning (optional)
proc run_ld_link_exec_tests { targets_to_xfail ldtests } {
global ld
global as
global srcdir
global subdir
global env
global CC
global CXX
global CFLAGS
global CXXFLAGS
global errcnt
global exec_output
foreach testitem $ldtests {
foreach target $targets_to_xfail {
setup_xfail $target
}
set testname [lindex $testitem 0]
set ld_options [lindex $testitem 1]
set as_options [lindex $testitem 2]
set src_files [lindex $testitem 3]
set binfile tmpdir/[lindex $testitem 4]
set expfile [lindex $testitem 5]
set cflags [lindex $testitem 6]
set lang [lindex $testitem 7]
set warning [lindex $testitem 8]
set objfiles {}
set failed 0
# verbose -log "Testname is $testname"
# verbose -log "ld_options is $ld_options"
# verbose -log "as_options is $as_options"
# verbose -log "src_files is $src_files"
# verbose -log "binfile is $binfile"
# Assemble each file in the test.
foreach src_file $src_files {
set fileroot "[file rootname [file tail $src_file]]"
set objfile "tmpdir/$fileroot.o"
lappend objfiles $objfile
# We ignore warnings since some compilers may generate
# incorrect section attributes and the assembler will warn
# them.
if { [ string match "c++" $lang ] } {
ld_compile "$CXX -c $CXXFLAGS $cflags" $srcdir/$subdir/$src_file $objfile
} else {
ld_compile "$CC -c $CFLAGS $cflags" $srcdir/$subdir/$src_file $objfile
}
}
# We have to use $CC to build PIE and shared library.
if { [ string match "c" $lang ] } {
set link_proc ld_simple_link
set link_cmd $CC
} elseif { [ string match "c++" $lang ] } {
set link_proc ld_simple_link
set link_cmd $CXX
} elseif { [ string match "-shared" $ld_options ] \
|| [ string match "-pie" $ld_options ] } {
set link_proc ld_simple_link
set link_cmd $CC
} else {
set link_proc ld_link
set link_cmd $ld
}
if ![$link_proc $link_cmd $binfile "-L$srcdir/$subdir $ld_options $objfiles"] {
set failed 1
} else {
set failed 0
}
# Check if exec_output is expected.
if { $warning != "" } then {
verbose -log "returned with: <$exec_output>, expected: <$warning>"
if { [regexp $warning $exec_output] } then {
set failed 0
} else {
set failed 1
}
}
if { $failed == 0 } {
send_log "Running: $binfile > $binfile.out\n"
verbose "Running: $binfile > $binfile.out"
catch "exec $binfile > $binfile.out" exec_output
if ![string match "" $exec_output] then {
send_log "$exec_output\n"
verbose "$exec_output" 1
set failed 1
} else {
send_log "diff $binfile.out $srcdir/$subdir/$expfile\n"
verbose "diff $binfile.out $srcdir/$subdir/$expfile"
catch "exec diff $binfile.out $srcdir/$subdir/$expfile" exec_output
set exec_output [prune_warnings $exec_output]
if ![string match "" $exec_output] then {
send_log "$exec_output\n"
verbose "$exec_output" 1
set failed 1
}
}
}
if { $failed != 0 } {
fail $testname
} else {
set errcnt 0
pass $testname
}
}
}
# List contains test-items with 3 items followed by 2 lists, one item and
# one optional item:
# 0:name
# 1:ld or ar options
# 2:compile options
# 3:filenames of source files
# 4:action and options.
# 5:name of output file
# 6:language (optional)
# 7:linker warnings (optional)
#
# Actions:
# 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).
#
proc run_cc_link_tests { ldtests } {
global nm
global objdump
global READELF
global srcdir
global subdir
global env
global CC
global CXX
global CFLAGS
global CXXFLAGS
global ar
global exec_output
foreach testitem $ldtests {
set testname [lindex $testitem 0]
set ldflags [lindex $testitem 1]
set cflags [lindex $testitem 2]
set src_files [lindex $testitem 3]
set actions [lindex $testitem 4]
set binfile tmpdir/[lindex $testitem 5]
set lang [lindex $testitem 6]
set warnings [lindex $testitem 7]
set objfiles {}
set is_unresolved 0
set failed 0
# Compile each file in the test.
foreach src_file $src_files {
set fileroot "[file rootname [file tail $src_file]]"
set objfile "tmpdir/$fileroot.o"
lappend objfiles $objfile
# We ignore warnings since some compilers may generate
# incorrect section attributes and the assembler will warn
# them.
if { [ string match "c++" $lang ] } {
ld_compile "$CXX -c $CXXFLAGS $cflags" $srcdir/$subdir/$src_file $objfile
} else {
ld_compile "$CC -c $CFLAGS $cflags" $srcdir/$subdir/$src_file $objfile
}
}
# Clear error and warning counts.
reset_vars
if { [ string match "c++" $lang ] } {
set cc_cmd $CXX
} else {
set cc_cmd $CC
}
if { [regexp ".*\\.a$" $binfile] } {
if { ![ar_simple_create $ar $ldflags $binfile "$objfiles"] } {
fail $testname
set failed 1
} else {
set failed 0
}
} elseif { ![ld_simple_link $cc_cmd $binfile "-L$srcdir/$subdir $ldflags $objfiles"] } {
# Check if exec_output is expected.
if { $warnings != "" } then {
verbose -log "returned with: <$exec_output>, expected: <$warnings>"
if { [regexp $warnings $exec_output] } then {
set failed 0
} else {
set failed 1
}
} else {
fail $testname
set failed 1
}
} else {
set failed 0
}
if { $failed == 0 } {
foreach actionlist $actions {
set action [lindex $actionlist 0]
set progopts [lindex $actionlist 1]
# There are actions where we run regexp_diff on the
# output, and there are other actions (presumably).
# Handling of the former look the same.
set dump_prog ""
switch -- $action {
objdump
{ set dump_prog $objdump }
nm
{ set dump_prog $nm }
readelf
{ set dump_prog $READELF }
default
{
perror "Unrecognized action $action"
set is_unresolved 1
break
}
}
if { $dump_prog != "" } {
set dumpfile [lindex $actionlist 2]
set binary $dump_prog
# Ensure consistent sorting of symbols
if {[info exists env(LC_ALL)]} {
set old_lc_all $env(LC_ALL)
}
set env(LC_ALL) "C"
set cmd "$binary $progopts $binfile > dump.out"
send_log "$cmd\n"
catch "exec $cmd" comp_output
if {[info exists old_lc_all]} {
set env(LC_ALL) $old_lc_all
} else {
unset env(LC_ALL)
}
set comp_output [prune_warnings $comp_output]
if ![string match "" $comp_output] then {
send_log "$comp_output\n"
set failed 1
break
}
if { [regexp_diff "dump.out" "$srcdir/$subdir/$dumpfile"] } then {
verbose "output is [file_contents "dump.out"]" 2
set failed 1
break
}
}
}
if { $failed != 0 } {
fail $testname
} else { if { $is_unresolved == 0 } {
pass $testname
} }
}
# Catch action errors.
if { $is_unresolved != 0 } {
unresolved $testname
continue
}
}
}
# Returns true if --gc-sections is supported on the target.
proc check_gc_sections_available { } {
global gc_sections_available_saved
global ld
if {![info exists gc_sections_available_saved]} {
# Some targets don't support gc-sections despite whatever's
# advertised by ld's options.
if {[istarget aarch64*-*-*]
|| [istarget arc-*-*]
|| [istarget d30v-*-*]
|| [istarget dlx-*-*]
|| [istarget i960-*-*]
|| [istarget or32-*-*]
|| [istarget pj*-*-*]
|| [istarget alpha-*-*]
|| [istarget hppa*64-*-*]
|| [istarget i370-*-*]
|| [istarget i860-*-*]
|| [istarget ia64-*-*]
|| [istarget mep-*-*]
|| [istarget mn10200-*-*]
|| [istarget *-*-cygwin]
|| [istarget *-*-mingw*] } {
set gc_sections_available_saved 0
return 0
}
# elf2flt uses -q (--emit-relocs), which is incompatible with
# --gc-sections.
if { [board_info target exists ldflags]
&& [regexp " -elf2flt\[ =\]" " [board_info target ldflags] "] } {
set gc_sections_available_saved 0
return 0
}
# Check if the ld used by gcc supports --gc-sections.
# FIXME: this test is useless since ld --help always says
# --gc-sections is available
set ld_output [remote_exec host $ld "--help"]
if { [ string first "--gc-sections" $ld_output ] >= 0 } {
set gc_sections_available_saved 1
} else {
set gc_sections_available_saved 0
}
}
return $gc_sections_available_saved
}
# Returns true if -shared is supported on the target
# Only used and accurate for ELF targets at the moment
proc check_shared_lib_support { } {
if {![istarget arc-*-*]
&& ![istarget avr-*-*]
&& ![istarget cr16-*-*]
&& ![istarget cris*-*-*]
&& ![istarget crx-*-*]
&& ![istarget d10v-*-*]
&& ![istarget d30v-*-*]
&& ![istarget dlx-*-*]
&& ![istarget epiphany-*-*]
&& ![istarget fr30-*-*]
&& ![istarget frv-*-*]
&& ![istarget h8300-*-*]
&& ![istarget i860-*-*]
&& ![istarget i960-*-*]
&& ![istarget ip2k-*-*]
&& ![istarget iq2000-*-*]
&& ![istarget lm32-*-*]
&& ![istarget m32c-*-*]
&& ![istarget m32r-*-*]
&& ![istarget m6811-*-*]
&& ![istarget m6812-*-*]
&& ![istarget m68hc1*-*-*]
&& ![istarget mcore*-*-*]
&& ![istarget mep-*-*]
&& ![istarget microblaze-*-*]
&& ![istarget mn10200-*-*]
&& ![istarget moxie-*-*]
&& ![istarget msp430-*-*]
&& ![istarget mt-*-*]
&& ![istarget openrisc-*-*]
&& ![istarget or32-*-*]
&& ![istarget pj-*-*]
&& ![istarget rx-*-*]
&& ![istarget spu-*-*]
&& ![istarget v850*-*-*]
&& ![istarget xstormy16-*-*]
&& ![istarget *-*-irix*]
&& ![istarget *-*-rtems] } {
return 1
}
return 0
}
# 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 { } {
global check_as_cfi_result
global as
if [info exists check_as_cfi_result] {
return $check_as_cfi_result
}
set as_file "tmpdir/check_as_cfi.s"
set as_fh [open $as_file w 0666]
puts $as_fh "# Generated file. DO NOT EDIT"
puts $as_fh "\t.cfi_startproc"
puts $as_fh "\t.cfi_endproc"
close $as_fh
remote_download host $as_file
verbose -log "Checking CFI support:"
rename "perror" "check_as_cfi_perror"
proc perror { args } { }
set success [ld_assemble $as $as_file "/dev/null"]
rename "perror" ""
rename "check_as_cfi_perror" "perror"
#remote_file host delete $as_file
set check_as_cfi_result $success
return $success
}
# Provide virtual target "cfi" for targets supporting CFI.
rename "istarget" "istarget_ld"
proc istarget { target } {
if {$target == "cfi"} {
return [check_as_cfi]
}
return [istarget_ld $target]
}