442 lines
15 KiB
Plaintext
442 lines
15 KiB
Plaintext
# 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."
|
|
}
|