| # Copyright 1995, 1996, 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." |
| } |