Make the assembler generate an error if there is an attempt to define a section with...

[deliverable/binutils-gdb.git] / gas / testsuite / gas / elf / elf.exp

# Copyright (C) 2012-2020 Free Software Foundation, Inc.

# This program 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.  

#
# elf tests
#

proc run_elf_list_test { name suffix opts readelf_opts readelf_pipe } {
    global READELF
    global srcdir subdir
    set testname "elf $name list"
    set file $srcdir/$subdir/$name
    gas_run ${name}.s "$opts -o dump.o" ">&dump.out"
    if { ![string match "" $opts]
	  && [regexp_diff "dump.out" "${file}.l"] } then {
	fail $testname
	verbose "output is [file_contents "dump.out"]" 2
	return
    }
    send_log "$READELF $readelf_opts dump.o $readelf_pipe > dump.out\n"
    set status [gas_host_run "$READELF $readelf_opts dump.o" ">readelf.out"]
    if { [lindex $status 0] != 0 || ![string match "" [lindex $status 1]] } then {
	send_log "[lindex $status 1]\n"
	fail $testname
	return
    }
    catch "exec cat readelf.out $readelf_pipe > dump.out\n" comp_output
    if ![string match "" $comp_output] then {
	send_log "$comp_output\n"
	fail $testname
	return
    }
    verbose_eval {[file_contents "dump.out"]} 3
    if { [regexp_diff "dump.out" "${file}.e${suffix}"] } then {
	fail $testname
	verbose "output is [file_contents "dump.out"]" 2
	return
    }
    pass $testname
}

# We're testing bits in obj-elf -- don't run on anything else.
if { [is_elf_format] } then {
    set target_machine ""
    set dump_opts ""
    if {[istarget "arc*-*-*"]} {
	set target_machine -arc
    }
    if {[istarget "arm*-*-*"]} {
	set target_machine -arm
    }
    if {[istarget "avr*-*-*"]} {
	set dump_opts {{as -mno-link-relax}}
    }
    if {[istarget "m32r*-*-*"]} then {
	set target_machine -m32r
    }
    if {[istarget "mips*-*-*"]} then {
	set target_machine -mips
    }
    if {[istarget "msp430-*-*"]} then {
	set target_machine -msp430
    }
    if {[istarget "pru-*-*"]} {
	set dump_opts {{as -mno-link-relax}}
    }
    if {[istarget "riscv*-*-*"]} then {
	set target_machine -riscv
	set dump_opts {{as -mno-relax}}
    }
    if {[istarget "rl78-*-*"]} then {
	set target_machine -rl78
    }
    if {[istarget "rx-*-*"]} then {
	set target_machine -rx
    }
    if {[istarget "score-*-*"]} then {
	set target_machine -score
    }
    if {[istarget "tic6x-*-*"]} then {
	set target_machine -tic6x
    }
    if {[istarget "v850*-*-*"]} then {
	set target_machine -v850
    }
    if {[istarget "xtensa*-*-*"]} then {
	set target_machine -xtensa
	set dump_opts {{as --no-link-relax}}
    }

    # The MN10300 and Xtensa ports disable the assembler's call frame
    # optimization because it interfers with link-time relaxation of
    # function prologues.
    if {![istarget "mn10300-*-*"]
	&& ![istarget "am3*-*-*"]
	&& ![istarget "xtensa*-*-*"]
	&& ![istarget "msp430*-*-*"]
	&& ![istarget "nds32*-*-*"]
	&& ![istarget "am3*-*-*"]} then {
      run_dump_test "ehopt0"
    }
    case $target_triplet in {
	{ m68k-*-* m68[03]??-*-* } {
	    run_dump_test "file" { { as "--defsym m68k=1" } }
	}
	{ mmix-*-* } {
	    run_dump_test "file" { { as "--defsym mmix=1" } }
	}
	{ xtensa*-*-* } {
	    run_dump_test "file" { { as "--rename-section file.s=file.c" } }
	}
	default {
	    run_dump_test "file"
	}
    }
    run_dump_test "file-2"
    setup_xfail "nds32*-*-*"
    run_dump_test "group0a"
    run_dump_test "group0b"
    run_dump_test "group0c"
    run_dump_test "group1a"
    run_dump_test "group1b"
    run_dump_test "group2"
    run_dump_test "group3"
    case $target_triplet in {
	{ hppa64*-*-hpux* } { }
	{ riscv*-*-* } { }
	default {
	    run_dump_test "groupautoa"
	}
    }
    case $target_triplet in {
	{ hppa64*-*-hpux* } { }
	{ riscv*-*-* } { }
	{ xtensa*-*-* } { }
	default {
	    run_dump_test "groupautob"
	}
    }
    case $target_triplet in {
	{ alpha*-*-* } { }
	{ am3*-*-* } { }
	{ *c54x*-*-* } { }
	{ cr16*-*-* } { }
	{ crx*-*-* } { }
	{ h8300-*-* } { }
	{ hppa*-*-* } { }
	{ iq2000*-*-* } { }
	{ mips*-*-* } { }
	{ mn10200-*-* } { }
	{ mn10300-*-* } { }
	{ msp43*-*-* } { }
	{ rl78-*-* } { }
	{ riscv*-*-* } { }
	{ rx-*-* } { }
	default {
	    # The next test can fail if the target does not convert fixups
	    # against ordinary symbols into relocations against section symbols.
	    # This is usually revealed by the error message:
	    #  symbol `sym' required but not present
	    setup_xfail "m681*-*-*" "m68hc*-*-*" "xgate-*-*" "vax-*-*"
	    run_dump_test redef
	    run_dump_test equ-reloc
	}
    }
    run_dump_test "pseudo"
    run_dump_test "section0"
    run_dump_test "section1"
    # The h8300 port issues a warning message for
    # new sections created without atrributes.
    if {! [istarget "h8300-*-*"]} then {
	set as_flags "-al --generate-missing-build-notes=no"
	case $target_triplet in {
	    { i*86-*-* x86_64-*-* } {
		set as_flags "$as_flags -mx86-used-note=no"
	    }
	    { riscv*-*-* } {
		set as_flags "$as_flags -march-attr"
	    }
	}
	run_elf_list_test "section2" "$target_machine" "$as_flags" "-s" ""
    }
    run_dump_test "section3"
    run_dump_test "section4"
    if {! [istarget "h8300-*-*"] && ! [istarget "rx-*-*"]} then {
	# The h8300 port issues a warning message for
	# new sections created without atrributes.
	# The RX port does not complain about changing the attributes of the
	# .data and .bss sections since it does not use those names.
	run_elf_list_test "section5" "" "-al" "-SW" "| grep \" \\\\.test\\\[0-9\\\]\""
    }
    run_dump_test "struct"
    if { ![istarget "alpha*-*-*"] } then {
	# The alpha port uses .set for state, e.g. nomacro.
	run_dump_test "symtab"
    }
    run_dump_test "symver"
    run_dump_test "pr21661"
    run_dump_test "pr14891"

    # No indirect functions on non-GNU targets.
    # The Visium and MSP set the ELF header's OSABI field to ELFOSABI_STANDALONE.
    # The non-eabi ARM ports sets it to ELFOSABI_ARM.
    # So for these targets we cannot include an IFUNC symbol type
    # in the symbol type test.
    # We also need to exclude targets that do not support unique objects.
    if {    [istarget "*-*-hpux*"]
	 || [istarget "arm*-*-*"]
	 || [istarget "msp*-*-*"]
	 || [istarget "visium-*-*"]
	 || ![supports_gnu_unique]
     } then {
	# hppa64 has a non-standard common directive
	if { ![istarget "hppa64*-*-hpux*"] } then {
	    run_elf_list_test "type-noifunc" "" "" "-s" "| grep \"1 *\\\[FONTC\\\]\""
	}
    } else {
	run_dump_test ifunc-1
	run_elf_list_test "type" "" "" "-s" "| grep \"1 *\\\[FIONTCU\\\]\""
	run_elf_list_test "type-2" "" "--warn" "-s" "| grep \"0 *\\\[FIONT\\\]\""
    }

    run_dump_test "section6"
    run_dump_test "section7"
    run_dump_test "section8"
    run_dump_test "section9"
    run_dump_test "section10"
    run_dump_test "section11"
    run_dump_test "section12a"
    run_dump_test "section12b"
    run_dump_test "section13"
    run_dump_test "section14"
    run_dump_test "dwarf2-1" $dump_opts
    run_dump_test "dwarf2-2" $dump_opts
    run_dump_test "dwarf2-3" $dump_opts
    run_dump_test "dwarf2-4" $dump_opts
    run_dump_test "dwarf2-5" $dump_opts
    run_dump_test "dwarf2-6" $dump_opts
    run_dump_test "dwarf2-7" $dump_opts
    run_dump_test "dwarf2-8" $dump_opts
    run_dump_test "dwarf2-9" $dump_opts
    run_dump_test "dwarf2-10" $dump_opts
    run_dump_test "dwarf2-11" $dump_opts
    run_dump_test "dwarf2-12" $dump_opts
    run_dump_test "dwarf2-13" $dump_opts
    run_dump_test "dwarf2-14" $dump_opts
    run_dump_test "dwarf2-15" $dump_opts
    run_dump_test "dwarf2-16" $dump_opts
    run_dump_test "dwarf2-17" $dump_opts
    run_dump_test "dwarf2-18" $dump_opts
    run_dump_test "dwarf2-19" $dump_opts
    run_dump_test "bss"
    run_dump_test "bad-bss"
    run_dump_test "bad-section-flag"
    run_dump_test "bad-size"
    run_dump_test "bad-group"

    run_dump_test "syms"

    run_dump_test "missing-build-notes"
    
    run_dump_test "common1"
    run_dump_test "common2"

    # hpux has a non-standard common directive.
    if { ![istarget "*-*-hpux*"] } then {
	run_dump_test "common3a"
	run_dump_test "common3b"
	run_dump_test "common4a"
	run_dump_test "common4b"
	run_dump_test "common5a"
	run_dump_test "common5b"
	run_dump_test "common5c"
	run_dump_test "common5d"
    }

    run_dump_test "strtab"

    run_dump_test "bignums"
    
    load_lib gas-dg.exp
    dg-init
    dg-runtest [lsort [glob -nocomplain $srcdir/$subdir/err-*.s $srcdir/$subdir/warn-*.s]] "" ""
    dg-finish
}