Subversion Repositories openrisc

# Copyright (C) 1996, 2002, 2003, 2004, 2005, 2007
# 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.  */

# Please email any bugs, comments, and/or additions to this file to:
# dejagnu@gnu.org

# Written by Cygnus Support.

proc do_arith {} {
    set testname "arith.s: Arithmetic operations"
    set x 0

    gas_start "arith.s" "-al"

    # Instead of having a variable for each match string just increment the
    # total number of matches seen.  That's simpler when testing large numbers
    # of instructions (as these tests to).
    # -re "^ +\[0-9\]+ 0000 489A0000\[^\n\]*\n" { set x [expr $x+1] }
    while 1 {
        expect {
            -re "^ +\[0-9\]+ 0000 C531\[^\n\]*\n"       { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0002 4532\[^\n\]*\n"       { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0004 05360700\[^\n\]*\n"   { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0008 4530\[^\n\]*\n"       { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 000a E530\[^\n\]*\n"       { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 000c E532\[^\n\]*\n"       { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 000e E5360700\[^\n\]*\n"   { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0012 E537A000\[^\n\]*\n"   { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0016 BF32\[^\n\]*\n"       { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0018 C530\[^\n\]*\n"       { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 001a 2532\[^\n\]*\n"       { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 001c A530\[^\n\]*\n"       { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 001e 65360700\[^\n\]*\n"   { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0022 8530\[^\n\]*\n"       { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0024 E537C000\[^\n\]*\n"   { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0028 DF32\[^\n\]*\n"       { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 002a E5378000\[^\n\]*\n"   { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 002e 9F32\[^\n\]*\n"       { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0030 A531\[^\n\]*\n"       { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0032 8531\[^\n\]*\n"       { set x [expr $x+1] }
            -re "\[^\n\]*\n"                            { }
            timeout                             { perror "timeout\n"; break }
            eof                                 { break }
        }
    }

    # This was intended to do any cleanup necessary.  It kinda looks like it
    # isn't needed, but just in case, please keep it in for now.
    gas_finish

    # Did we find what we were looking for?  If not, flunk it.
    if [expr $x==20] then { pass $testname } else { fail $testname }
}

proc do_bit {} {
    set testname "bit.s: bit operations"
    set x 0

    gas_start "bit.s" "-al"

    # Instead of having a variable for each match string just increment the
    # total number of matches seen.  That's simpler when testing large numbers
    # of instructions (as these tests to).
    while 1 {
        expect {
            -re "^ +\[0-9\]+ 0000 C6AF1000\[^\n\]*\n"   { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0004 C66F1000\[^\n\]*\n"   { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0008 C62F1000\[^\n\]*\n"   { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 000c C6EF1000\[^\n\]*\n"   { set x [expr $x+1] }
            -re "\[^\n\]*\n"                            { }
            timeout                             { perror "timeout\n"; break }
            eof                                 { break }
        }
    }

    # This was intended to do any cleanup necessary.  It kinda looks like it
    # isn't needed, but just in case, please keep it in for now.
    gas_finish

    # Did we find what we were looking for?  If not, flunk it.
    if [expr $x==4] then { pass $testname } else { fail $testname }
}

proc do_branch {} {
    set testname "branch.s: branch operations"
    set x 0

    gas_start "branch.s" "-al"

    # Instead of having a variable for each match string just increment the
    # total number of matches seen.  That's simpler when testing large numbers
    # of instructions (as these tests to).
    while 1 {
        expect {
            -re "^ +\[0-9\]+ 0000 8F05\[^\n\]*\n"       { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0002 FEFD\[^\n\]*\n"       { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0004 E6FD\[^\n\]*\n"       { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0006 D7FD\[^\n\]*\n"       { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0008 CBFD\[^\n\]*\n"       { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 000a B9FD\[^\n\]*\n"       { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 000c A1FD\[^\n\]*\n"       { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 000e 93FD\[^\n\]*\n"       { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0010 82FD\[^\n\]*\n"       { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0012 FAF5\[^\n\]*\n"       { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0014 E0F5\[^\n\]*\n"       { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0016 D8F5\[^\n\]*\n"       { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0018 C4F5\[^\n\]*\n"       { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 001a BCF5\[^\n\]*\n"       { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 001c A1F5\[^\n\]*\n"       { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 001e 99F5\[^\n\]*\n"       { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0020 82F5\[^\n\]*\n"       { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0022 FAED\[^\n\]*\n"       { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0024 E5ED\[^\n\]*\n"       { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0026 DDED\[^\n\]*\n"       { set x [expr $x+1] }
            -re "\[^\n\]*\n"                            { }
            timeout                             { perror "timeout\n"; break }
            eof                                 { break }
        }
    }

    # This was intended to do any cleanup necessary.  It kinda looks like it
    # isn't needed, but just in case, please keep it in for now.
    gas_finish

    # Did we find what we were looking for?  If not, flunk it.
    if [expr $x==20] then { pass $testname } else { fail $testname }
}

proc do_compare {} {
    set testname "compare.s: compare operations"
    set x 0

    gas_start "compare.s" "-al"

    # Instead of having a variable for each match string just increment the
    # total number of matches seen.  That's simpler when testing large numbers
    # of instructions (as these tests to).
    while 1 {
        expect {
            -re "^ +\[0-9\]+ 0000 E531\[^\n\]*\n"       { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0002 6532\[^\n\]*\n"       { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0004 E02F0000\[^\n\]*\n"   { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0008 E82F0000\[^\n\]*\n"   { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 000c E12F0000\[^\n\]*\n"   { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0010 E12F0000\[^\n\]*\n"   { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0014 E92F0000\[^\n\]*\n"   { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0018 E92F0000\[^\n\]*\n"   { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 001c E22F0000\[^\n\]*\n"   { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0020 EA2F0000\[^\n\]*\n"   { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0024 E32F0000\[^\n\]*\n"   { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0028 EB2F0000\[^\n\]*\n"   { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 002c E42F0000\[^\n\]*\n"   { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0030 E42F0000\[^\n\]*\n"   { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0034 EC2F0000\[^\n\]*\n"   { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0038 EC2F0000\[^\n\]*\n"   { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 003c E52F0000\[^\n\]*\n"   { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0040 ED2F0000\[^\n\]*\n"   { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0044 E62F0000\[^\n\]*\n"   { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0048 EE2F0000\[^\n\]*\n"   { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 004c E72F0000\[^\n\]*\n"   { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0050 EF2F0000\[^\n\]*\n"   { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0054 6531\[^\n\]*\n"       { set x [expr $x+1] }
            -re "\[^\n\]*\n"                            { }
            timeout                             { perror "timeout\n"; break }
            eof                                 { break }
        }
    }

    # This was intended to do any cleanup necessary.  It kinda looks like it
    # isn't needed, but just in case, please keep it in for now.
    gas_finish

    # Did we find what we were looking for?  If not, flunk it.
    if [expr $x==23] then { pass $testname } else { fail $testname }
}

proc do_jumps {} {
    set testname "jumps.s: jumps operations"
    set x 0

    gas_start "jumps.s" "-al"

    # Instead of having a variable for each match string just increment the
    # total number of matches seen.  That's simpler when testing large numbers
    # of instructions (as these tests to).
    while 1 {
        expect {
            -re "^ +\[0-9\]+ 0000 802F0000\[^\n\]*\n"   { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0004 6500\[^\n\]*\n"       { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0006 BF07FAFF\[^\n\]*\n"   { set x [expr $x+1] }
            -re "\[^\n\]*\n"                            { }
            timeout                             { perror "timeout\n"; break }
            eof                                 { break }
        }
    }

    # This was intended to do any cleanup necessary.  It kinda looks like it
    # isn't needed, but just in case, please keep it in for now.
    gas_finish

    # Did we find what we were looking for?  If not, flunk it.
    if [expr $x==3] then { pass $testname } else { fail $testname }
}

proc do_logical {} {
    set testname "logical.s: logical operations"
    set x 0

    gas_start "logical.s" "-al"

    # Instead of having a variable for each match string just increment the
    # total number of matches seen.  That's simpler when testing large numbers
    # of instructions (as these tests to).
    while 1 {
        expect {
            -re "^ +\[0-9\]+ 0000 4531\[^\n\]*\n"       { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0002 C5360700\[^\n\]*\n"   { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0006 2530\[^\n\]*\n"       { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0008 0531\[^\n\]*\n"       { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 000a 85360700\[^\n\]*\n"   { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 000e 2531\[^\n\]*\n"       { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0010 A5360700\[^\n\]*\n"   { set x [expr $x+1] }
            -re "\[^\n\]*\n"                            { }
            timeout                             { perror "timeout\n"; break }
            eof                                 { break }
        }
    }

    # This was intended to do any cleanup necessary.  It kinda looks like it
    # isn't needed, but just in case, please keep it in for now.
    gas_finish

    # Did we find what we were looking for?  If not, flunk it.
    if [expr $x==7] then { pass $testname } else { fail $testname }
}

proc do_mem {} {
    set testname "mem.s: memory operations"
    set x 0

    gas_start "mem.s" "-al"

    # Instead of having a variable for each match string just increment the
    # total number of matches seen.  That's simpler when testing large numbers
    # of instructions (as these tests to).
    while 1 {
        expect {
            -re "^ +\[0-9\]+ 0000 05370500\[^\n\]*\n"   { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0004 25370400\[^\n\]*\n"   { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0008 25370500\[^\n\]*\n"   { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 000c 4033\[^\n\]*\n"       { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 000e 4034\[^\n\]*\n"       { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0010 4035\[^\n\]*\n"       { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0012 462F0500\[^\n\]*\n"   { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0016 662F0400\[^\n\]*\n"   { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 001a 662F0500\[^\n\]*\n"   { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 001e C033\[^\n\]*\n"       { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0020 C034\[^\n\]*\n"       { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0022 4135\[^\n\]*\n"       { set x [expr $x+1] }
            -re "\[^\n\]*\n"                            { }
            timeout                             { perror "timeout\n"; break }
            eof                                 { break }
        }
    }

    # This was intended to do any cleanup necessary.  It kinda looks like it
    # isn't needed, but just in case, please keep it in for now.
    gas_finish

    # Did we find what we were looking for?  If not, flunk it.
    if [expr $x==12] then { pass $testname } else { fail $testname }
}

proc do_misc {} {
    set testname "misc.s: misc operations"
    set x 0

    gas_start "misc.s" "-al"

    # Instead of having a variable for each match string just increment the
    # total number of matches seen.  That's simpler when testing large numbers
    # of instructions (as these tests to).
    while 1 {
        expect {
            -re "^ +\[0-9\]+ 0000 E0076001\[^\n\]*\n"   { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0004 E0876001\[^\n\]*\n"   { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0008 E0072001\[^\n\]*\n"   { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 000c 0000\[^\n\]*\n"       { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 000e E0074001\[^\n\]*\n"   { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0012 E0070001\[^\n\]*\n"   { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0016 FF070001\[^\n\]*\n"   { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 001a E72F2000\[^\n\]*\n"   { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 001e E53F4000\[^\n\]*\n"   { set x [expr $x+1] }
            -re "\[^\n\]*\n"                            { }
            timeout                             { perror "timeout\n"; break }
            eof                                 { break }
        }
    }

    # This was intended to do any cleanup necessary.  It kinda looks like it
    # isn't needed, but just in case, please keep it in for now.
    gas_finish

    # Did we find what we were looking for?  If not, flunk it.
    if [expr $x==9] then { pass $testname } else { fail $testname }
}

proc do_move {} {
    set testname "move.s: move operations"
    set x 0

    gas_start "move.s" "-al"

    # Instead of having a variable for each match string just increment the
    # total number of matches seen.  That's simpler when testing large numbers
    # of instructions (as these tests to).
    while 1 {
        expect {
            -re "^ +\[0-9\]+ 0000 0530\[^\n\]*\n"       { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0002 0532\[^\n\]*\n"       { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0004 25360700\[^\n\]*\n"   { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0008 45360700\[^\n\]*\n"   { set x [expr $x+1] }
            -re "\[^\n\]*\n"                            { }
            timeout                             { perror "timeout\n"; break }
            eof                                 { break }
        }
    }

    # This was intended to do any cleanup necessary.  It kinda looks like it
    # isn't needed, but just in case, please keep it in for now.
    gas_finish

    # Did we find what we were looking for?  If not, flunk it.
    if [expr $x==4] then { pass $testname } else { fail $testname }
}

proc do_hilo {} {
    set testname "hilo.s: hilo tests"
    set x 0

    gas_start "hilo.s" "-al"

    # Instead of having a variable for each match string just increment the
    # total number of matches seen.  That's simpler when testing large numbers
    # of instructions (as these tests to).
    while 1 {
        expect {
            -re "^ +\[0-9\]+ 0000 200EEFBE\[^\n\]*\n"   { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0004 410EAEDE\[^\n\]*\n"   { set x [expr $x+1] }
            -re "^ +\[0-9\]+ 0008 410EADDE\[^\n\]*\n"   { set x [expr $x+1] }
            -re "\[^\n\]*\n"                            { }
            timeout                             { perror "timeout\n"; break }
            eof                                 { break }
        }
    }

    # This was intended to do any cleanup necessary.  It kinda looks like it
    # isn't needed, but just in case, please keep it in for now.
    gas_finish

    # Did we find what we were looking for?  If not, flunk it.
    if [expr $x==3] then { pass $testname } else { fail $testname }
}


proc do_simple_reloc_tests {} {
    set testname "reloc.s: Test for proper relocations (part 2)"
    set x 0

    if [gas_test_old "reloc.s" "" "Test for proper relocation (part 1)"] then {
        objdump_start_no_subdir "a.out" "-r"

        while 1 {
            expect {
                -re "^00000002\[^\n\]*R_V850_LO16\[^\n\]*\n"
                        { set x [expr $x+1] }
                -re "^00000006\[^\n\]*R_V850_HI16_S\[^\n\]*\n"
                        { set x [expr $x+1] }
                -re "^0000000a\[^\n\]*R_V850_HI16\[^\n\]*\n"
                        { set x [expr $x+1] }
                -re "^0000000e\[^\n\]*R_V850_ZDA_16_16_OFFSET\[^\n\]*\n"
                        { set x [expr $x+1] }
                -re "^00000012\[^\n\]*R_V850_TDA_16_16_OFFSET\[^\n\]*\n"
                        { set x [expr $x+1] }
                -re "^00000016\[^\n\]*R_V850_SDA_16_16_OFFSET\[^\n\]*\n"
                        { set x [expr $x+1] }
                -re "\[^\n\]*\n"                                { }
                timeout                 { perror "timeout\n"; break }
                eof                             { break }
            }
        }
    }

    # This was intended to do any cleanup necessary.  It kinda looks like it
    # isn't needed, but just in case, please keep it in for now.
    objdump_finish

    # Did we find what we were looking for?  If not, flunk it.
    if [expr $x==6] then { pass $testname } else { fail $testname }
}

if [istarget v850*-*-*] then {
    # Test the basic instruction parser.
    do_arith
    do_bit
    do_branch
    do_compare
    do_jumps
    do_logical
    do_mem
    do_misc
    do_move

    # Make sure we handle lo() hi() and hi0() correctly.
    do_hilo

    # Check for proper relocs on lo, hi, hi0, zdaoff, tdaoff and sdaoff
    # expressions
    do_simple_reloc_tests

    gas_test "hilo2.s" "" "" "hi/lo regression test"
    gas_test "fepsw.s" "" "" "eqsw regression test"

    gas_test_error "range.s" "-mwarn-signed-overflow" "Check for range error on byte load/store"
    run_dump_test "v850e1"
    run_dump_test "split-lo16"
}