Subversion Repositories or1k

# Copyright (C) 1995, 1997 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 2 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., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.

# Please email any bugs, comments, and/or additions to this file to:

# bug-gdb@prep.ai.mit.edu

# This file tests various Chill values, expressions, and types.

if $tracelevel then {

        strace $tracelevel

}

if [skip_chill_tests] then { continue }

set testfile "builtins"

set srcfile ${srcdir}/$subdir/${testfile}.ch

set binfile ${objdir}/${subdir}/${testfile}.exe

if  { [compile "${srcfile} -g -w -o ${binfile} ${CHILL_RT0} ${CHILL_LIB}"] != "" } {

    perror "Couldn't compile ${srcfile}"

    return -1

}

# Set the current language to chill.  This counts as a test.  If it

# fails, then we skip the other tests.

proc set_lang_chill {} {

    global gdb_prompt

    global binfile objdir subdir

    verbose "loading file '$binfile'"

    gdb_load $binfile

    send_gdb "set language chill\n"

    gdb_expect {

        -re ".*$gdb_prompt $" {}

        timeout { fail "set language chill (timeout)" ; return 0 }

    }

    send_gdb "show language\n"

    gdb_expect {

        -re ".* source language is \"chill\".*$gdb_prompt $" {

            pass "set language to \"chill\""

            send_gdb "break xx_\n"

            gdb_expect {

                -re ".*$gdb_prompt $" {

                    send_gdb "run\n"

                    gdb_expect -re ".*$gdb_prompt $" {}

                    return 1

                }

                timeout {

                    fail "can't set breakpoint (timeout)"

                    return 0

                }

            }

        }

        -re ".*$gdb_prompt $" {

            fail "setting language to \"chill\""

            return 0

        }

        timeout {

            fail "can't show language (timeout)"

            return 0

        }

    }

}

# Testing printing of a specific value.  Increment passcount for

# success or issue fail message for failure.  In both cases, return

# a 1 to indicate that more tests can proceed.  However a timeout

# is a serious error, generates a special fail message, and causes

# a 0 to be returned to indicate that more tests are likely to fail

# as well.

#

# Args are:

#

#       First one is string to send_gdb to gdb

#       Second one is string to match gdb result to

#       Third one is an optional message to be printed

proc test_print_accept { args } {

    global gdb_prompt

    global passcount

    global verbose

    if [llength $args]==3 then {

        set message [lindex $args 2]

    } else {

        set message [lindex $args 0]

    }

    set sendthis [lindex $args 0]

    set expectthis [lindex $args 1]

    set result [gdb_test $sendthis ".* = ${expectthis}" $message]

    if $result==0 {incr passcount}

    return $result

}

proc test_lower {} {

    global passcount

    verbose "testing builtin LOWER"

    set passcount 0

    # discrete mode names

    test_print_accept "print lower(bool)" "FALSE"

    test_print_accept "print lower(char)" {'\^[(]0[)]'}

    test_print_accept "print lower(byte)" "-128"

    test_print_accept "print lower(ubyte)" "0"

    if [istarget "alpha-*-*"] then {

        test_print_accept "print lower(int)" "-2147483648"

    } else {

        test_print_accept "print lower(int)" "-32768"

    }

    test_print_accept "print lower(uint)" "0"

    setup_xfail "alpha-*-*"

    test_print_accept "print lower(long)" "-2147483648"

    test_print_accept "print lower(ulong)" "0"

    test_print_accept "print lower(m_set)" "e1"

    test_print_accept "print lower(m_set_range)" "e2"

    test_print_accept "print lower(m_numbered_set)" "n2"

    test_print_accept "print lower(m_char_range)" "'A'"

    test_print_accept "print lower(m_bool_range)" "FALSE"

    test_print_accept "print lower(m_long_range)" "255"

    test_print_accept "print lower(m_range)" "12"

    # discrete locations

    test_print_accept "print lower(v_bool)" "FALSE"

    test_print_accept "print lower(v_char)" {'\^[(]0[)]'}

    test_print_accept "print lower(v_byte)" "-128"

    test_print_accept "print lower(v_ubyte)" "0"

    if [istarget "alpha-*-*"] then {

        test_print_accept "print lower(v_int)" "-2147483648"

    } else {

        test_print_accept "print lower(v_int)" "-32768"

    }

    test_print_accept "print lower(v_uint)" "0"

    setup_xfail "alpha-*-*"

    test_print_accept "print lower(v_long)" "-2147483648"

    test_print_accept "print lower(v_ulong)" "0"

    test_print_accept "print lower(v_set)" "e1"

    test_print_accept "print lower(v_set_range)" "e2"

    test_print_accept "print lower(v_numbered_set)" "n2"

    test_print_accept "print lower(v_char_range)" "'A'"

    test_print_accept "print lower(v_bool_range)" "FALSE"

    test_print_accept "print lower(v_long_range)" "255"

    test_print_accept "print lower(v_range)" "12"

    # string mode names

    test_print_accept "print lower(m_chars)" "0"

    test_print_accept "print lower(m_chars_v)" "0"

    test_print_accept "print lower(m_bits)" "0"

    # string locations

    test_print_accept "print lower(v_chars)" "0"

    test_print_accept "print lower(v_chars_v)" "0"

    test_print_accept "print lower(v_bits)" "0"

    # string expressions

    test_print_accept "print lower(\"abcd\")" "0"

    test_print_accept "print lower(B'010101')" "0"

    # array mode name

    test_print_accept "print lower(m_arr)" "1";

    test_print_accept "print lower(m_char_arr)" {'\^[(]0[)]'}

    test_print_accept "print lower(m_bool_arr)" "FALSE"

    if [istarget "alpha-*-*"] then {

        test_print_accept "print lower(m_int_arr)" "-2147483648"

    } else {

        test_print_accept "print lower(m_int_arr)" "-32768"

    }

    test_print_accept "print lower(m_set_arr)" "e1"

    test_print_accept "print lower(m_set_range_arr)" "e2"

    test_print_accept "print lower(m_numbered_set_arr)" "n2"

    test_print_accept "print lower(m_char_range_arr)" "'A'"

    test_print_accept "print lower(m_bool_range_arr)" "FALSE"

    test_print_accept "print lower(m_long_range_arr)" "255"

    test_print_accept "print lower(m_range_arr)" "12"

    # array locations

    test_print_accept "print lower(v_arr)" "1";

    test_print_accept "print lower(v_char_arr)" {'\^[(]0[)]'}

    test_print_accept "print lower(v_bool_arr)" "FALSE"

    if [istarget "alpha-*-*"] then {

        test_print_accept "print lower(v_int_arr)" "-2147483648"

    } else {

        test_print_accept "print lower(v_int_arr)" "-32768"

    }

    test_print_accept "print lower(v_set_arr)" "e1"

    test_print_accept "print lower(v_set_range_arr)" "e2"

    test_print_accept "print lower(v_numbered_set_arr)" "n2"

    test_print_accept "print lower(v_char_range_arr)" "'A'"

    test_print_accept "print lower(v_bool_range_arr)" "FALSE"

    test_print_accept "print lower(v_long_range_arr)" "255"

    test_print_accept "print lower(v_range_arr)" "12"

}

proc test_upper {} {

    global passcount

    verbose "testing builtin UPPER"

    set passcount 0

    # discrete mode names

    test_print_accept "print upper(bool)" "TRUE"

    test_print_accept "print upper(char)" {'\^[(]255[)]'}

    test_print_accept "print upper(byte)" "127"

    test_print_accept "print upper(ubyte)" "255"

    if [istarget "alpha-*-*"] then {

        test_print_accept "print upper(int)" "2147483647"

        test_print_accept "print upper(uint)" "4294967295"

        setup_xfail "alpha-*-*"

        test_print_accept "print upper(long)" "4294967295"

        test_print_accept "print upper(ulong)" "18446744073709551615"

    } else {

        test_print_accept "print upper(int)" "32767"

        test_print_accept "print upper(uint)" "65535"

        test_print_accept "print upper(long)" "2147483647"

        test_print_accept "print upper(ulong)" "4294967295"

    }

    test_print_accept "print upper(m_set)" "e6"

    test_print_accept "print upper(m_set_range)" "e5"

    test_print_accept "print upper(m_numbered_set)" "n5"

    test_print_accept "print upper(m_char_range)" "'Z'"

    test_print_accept "print upper(m_bool_range)" "FALSE"

    test_print_accept "print upper(m_long_range)" "3211"

    test_print_accept "print upper(m_range)" "28"

    # discrete locations

    test_print_accept "print upper(v_bool)" "TRUE"

    test_print_accept "print upper(v_char)" {'\^[(]255[)]'}

    test_print_accept "print upper(v_byte)" "127"

    test_print_accept "print upper(v_ubyte)" "255"

    if [istarget "alpha-*-*"] then {

        test_print_accept "print upper(v_int)" "2147483647"

        test_print_accept "print upper(v_uint)" "4294967295"

        setup_xfail "alpha-*-*"

        test_print_accept "print upper(v_long)" "4294967295"

        test_print_accept "print upper(v_ulong)" "18446744073709551615"

    } else {

        test_print_accept "print upper(v_int)" "32767"

        test_print_accept "print upper(v_uint)" "65535"

        test_print_accept "print upper(v_long)" "2147483647"

        test_print_accept "print upper(v_ulong)" "4294967295"

    }

    test_print_accept "print upper(v_set)" "e6"

    test_print_accept "print upper(v_set_range)" "e5"

    test_print_accept "print upper(v_numbered_set)" "n5"

    test_print_accept "print upper(v_char_range)" "'Z'"

    test_print_accept "print upper(v_bool_range)" "FALSE"

    test_print_accept "print upper(v_long_range)" "3211"

    test_print_accept "print upper(v_range)" "28"

    # string mode names

    test_print_accept "print upper(m_chars)" "19"

    test_print_accept "print upper(m_chars_v)" "19"

    test_print_accept "print upper(m_bits)" "9"

    # string locations

    test_print_accept "print upper(v_chars)" "19"

    test_print_accept "print upper(v_chars_v)" "19"

    test_print_accept "print upper(v_bits)" "9"

    # string expressions

    test_print_accept "print upper(\"abcd\")" "3"

    test_print_accept "print upper(B'010101')" "5"

    # array mode name

    test_print_accept "print upper(m_arr)" "10";

    test_print_accept "print upper(m_char_arr)" {'\^[(]255[)]'}

    test_print_accept "print upper(m_bool_arr)" "TRUE"

    if [istarget "alpha-*-*"] then {

        test_print_accept "print upper(m_int_arr)" "2147483647"

    } else {

        test_print_accept "print upper(m_int_arr)" "32767"

    }

    test_print_accept "print upper(m_set_arr)" "e6"

    test_print_accept "print upper(m_set_range_arr)" "e5"

    test_print_accept "print upper(m_numbered_set_arr)" "n5"

    test_print_accept "print upper(m_char_range_arr)" "'Z'"

    test_print_accept "print upper(m_bool_range_arr)" "FALSE"

    test_print_accept "print upper(m_long_range_arr)" "3211"

    test_print_accept "print upper(m_range_arr)" "28"

    # array locations

    test_print_accept "print upper(v_arr)" "10";

    test_print_accept "print upper(v_char_arr)" {'\^[(]255[)]'}

    test_print_accept "print upper(v_bool_arr)" "TRUE"

    if [istarget "alpha-*-*"] then {

        test_print_accept "print upper(v_int_arr)" "2147483647"

    } else {

        test_print_accept "print upper(v_int_arr)" "32767"

    }

    test_print_accept "print upper(v_set_arr)" "e6"

    test_print_accept "print upper(v_set_range_arr)" "e5"

    test_print_accept "print upper(v_numbered_set_arr)" "n5"

    test_print_accept "print upper(v_char_range_arr)" "'Z'"

    test_print_accept "print upper(v_bool_range_arr)" "FALSE"

    test_print_accept "print upper(v_long_range_arr)" "3211"

    test_print_accept "print upper(v_range_arr)" "28"

}

proc test_length {} {

    global passcount

    verbose "testing builtin LENGTH"

    set passcount 0

    # string locations

    test_print_accept "print length(v_chars)" "20"

    test_print_accept "print length(v_chars_v)" "7";

    test_print_accept "print length(v_bits)" "10";

    # string expressions

    test_print_accept "print length(\"the quick brown fox ...\")" "23"

    test_print_accept "print length(B'010101010101')" "12"

    test_print_accept "print length(\"foo \" // \"bar\")" "7"

    # check some failures

    setup_xfail "*-*-*"

    test_print_accept "print length(m_chars)" "typename in invalid context"

    setup_xfail "*-*-*"

    test_print_accept "print length(v_byte)" "bad argument to LENGTH builtin"

    setup_xfail "*-*-*"

    test_print_accept "print length(b'000000' // b'111111')" "12"

}

proc test_size {} {

    global passcount

    verbose "testing builtin SIZE"

    set passcount 0

    # modes

    test_print_accept "print size(bool)" "1"

    test_print_accept "print size(char)" "1"

    test_print_accept "print size(byte)" "1"

    if [istarget "alpha-*-*"] then {

        test_print_accept "print size(int)" "4"

        test_print_accept "print size(ulong)" "8"

        test_print_accept "print size(ptr)" "8"

        test_print_accept "print size(m_chars_v)" "24"

        test_print_accept "print size(m_struct)" "40"

    } else {

        test_print_accept "print size(int)" "2"

        test_print_accept "print size(ulong)" "4"

        test_print_accept "print size(ptr)" "4"

        test_print_accept "print size(m_chars_v)" "22"

        test_print_accept "print size(m_struct)" "36"

    }

    test_print_accept "print size(m_set)" "1"

    test_print_accept "print size(m_numbered_set)" "1"

    test_print_accept "print size(m_char_range)" "1"

    test_print_accept "print size(m_range_arr)" "17"

    test_print_accept "print size(m_chars)" "20"

    test_print_accept "print size(m_bits)" "2"

    # locations

    test_print_accept "print size(v_bool)" "1"

    test_print_accept "print size(v_char)" "1"

    test_print_accept "print size(v_byte)" "1"

    if [istarget "alpha-*-*"] then {

        test_print_accept "print size(v_int)" "4"

        test_print_accept "print size(v_ulong)" "8"

        test_print_accept "print size(v_ptr)" "8"

        test_print_accept "print size(v_chars_v)" "24"

        test_print_accept "print size(v_struct)" "40"

    } else {

        test_print_accept "print size(v_int)" "2"

        test_print_accept "print size(v_ulong)" "4"

        test_print_accept "print size(v_ptr)" "4"

        test_print_accept "print size(v_chars_v)" "22"

        test_print_accept "print size(v_struct)" "36"

    }

    test_print_accept "print size(v_set)" "1"

    test_print_accept "print size(v_numbered_set)" "1"

    test_print_accept "print size(v_char_range)" "1"

    test_print_accept "print size(v_range_arr)" "17"

    test_print_accept "print size(v_chars)" "20"

    test_print_accept "print size(v_bits)" "2"

}

proc test_num {} {

    global passcount

    verbose "testing builtin NUM"

    set passcount 0

    # constants

    test_print_accept "print num(false)" "0"

    test_print_accept "print num(true)" "1"

    test_print_accept "print num(10)" "10"

    test_print_accept "print num(33-34)" "-1"

    test_print_accept "print num('X')" "88"

    test_print_accept "print num(e5)" "4"

    # locations

    test_print_accept "print num(v_bool)" "0"

    test_print_accept "print num(v_char)" "88"

    test_print_accept "print num(v_byte)" "-30"

    test_print_accept "print num(v_ubyte)" "30"

    test_print_accept "print num(v_int)" "-333"

    test_print_accept "print num(v_uint)" "333"

    test_print_accept "print num(v_long)" "-4444"

    test_print_accept "print num(v_ulong)" "4444"

    test_print_accept "print num(v_set)" "2"

    test_print_accept "print num(v_set_range)" "2"

    test_print_accept "print num(v_numbered_set)" "35"

    test_print_accept "print num(v_char_range)" "71"

    test_print_accept "print num(v_long_range)" "1000"

    test_print_accept "print num(v_range)" "23"

}

# Start with a fresh gdb.

gdb_exit

gdb_start

gdb_reinitialize_dir $srcdir/$subdir

gdb_test "set print sevenbit-strings" ".*"

if [set_lang_chill] then {

    # test builtins as described in chapter 6.20.3 Z.200

    test_num

    test_size

    test_lower

    test_upper

    test_length

} else {

    warning "$test_name tests suppressed."

}