| # OBSOLETE # Copyright 1995, 1996, 1997 Free Software Foundation, Inc. |
| # OBSOLETE |
| # OBSOLETE # This program is free software; you can redistribute it and/or modify |
| # OBSOLETE # it under the terms of the GNU General Public License as published by |
| # OBSOLETE # the Free Software Foundation; either version 2 of the License, or |
| # OBSOLETE # (at your option) any later version. |
| # OBSOLETE # |
| # OBSOLETE # This program is distributed in the hope that it will be useful, |
| # OBSOLETE # but WITHOUT ANY WARRANTY; without even the implied warranty of |
| # OBSOLETE # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| # OBSOLETE # GNU General Public License for more details. |
| # OBSOLETE # |
| # OBSOLETE # You should have received a copy of the GNU General Public License |
| # OBSOLETE # along with this program; if not, write to the Free Software |
| # OBSOLETE # Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. |
| # OBSOLETE |
| # OBSOLETE # Please email any bugs, comments, and/or additions to this file to: |
| # OBSOLETE # bug-gdb@prep.ai.mit.edu |
| # OBSOLETE |
| # OBSOLETE # This file tests various Chill values, expressions, and types. |
| # OBSOLETE |
| # OBSOLETE if $tracelevel then { |
| # OBSOLETE strace $tracelevel |
| # OBSOLETE } |
| # OBSOLETE |
| # OBSOLETE if [skip_chill_tests] then { continue } |
| # OBSOLETE |
| # OBSOLETE set testfile "powerset" |
| # OBSOLETE set srcfile ${srcdir}/$subdir/${testfile}.ch |
| # OBSOLETE set binfile ${objdir}/${subdir}/${testfile}.exe |
| # OBSOLETE if { [compile "${srcfile} -g -w -o ${binfile} ${CHILL_RT0} ${CHILL_LIB}"] != "" } { |
| # OBSOLETE perror "Couldn't compile ${srcfile}" |
| # OBSOLETE return -1 |
| # OBSOLETE } |
| # OBSOLETE |
| # OBSOLETE # Set the current language to chill. This counts as a test. If it |
| # OBSOLETE # fails, then we skip the other tests. |
| # OBSOLETE |
| # OBSOLETE proc set_lang_chill {} { |
| # OBSOLETE global gdb_prompt |
| # OBSOLETE global binfile objdir subdir |
| # OBSOLETE |
| # OBSOLETE verbose "loading file '$binfile'" |
| # OBSOLETE gdb_load $binfile |
| # OBSOLETE send_gdb "set language chill\n" |
| # OBSOLETE gdb_expect { |
| # OBSOLETE -re ".*$gdb_prompt $" {} |
| # OBSOLETE timeout { fail "set language chill (timeout)" ; return 0 } |
| # OBSOLETE } |
| # OBSOLETE |
| # OBSOLETE send_gdb "show language\n" |
| # OBSOLETE gdb_expect { |
| # OBSOLETE -re ".* source language is \"chill\".*$gdb_prompt $" { |
| # OBSOLETE pass "set language to \"chill\"" |
| # OBSOLETE send_gdb "break xx_\n" |
| # OBSOLETE gdb_expect { |
| # OBSOLETE -re ".*$gdb_prompt $" { |
| # OBSOLETE send_gdb "run\n" |
| # OBSOLETE gdb_expect -re ".*$gdb_prompt $" {} |
| # OBSOLETE return 1 |
| # OBSOLETE } |
| # OBSOLETE timeout { |
| # OBSOLETE fail "can't set breakpoint (timeout)" |
| # OBSOLETE return 0 |
| # OBSOLETE } |
| # OBSOLETE } |
| # OBSOLETE } |
| # OBSOLETE -re ".*$gdb_prompt $" { |
| # OBSOLETE fail "setting language to \"chill\"" |
| # OBSOLETE return 0 |
| # OBSOLETE } |
| # OBSOLETE timeout { |
| # OBSOLETE fail "can't show language (timeout)" |
| # OBSOLETE return 0 |
| # OBSOLETE } |
| # OBSOLETE } |
| # OBSOLETE } |
| # OBSOLETE |
| # OBSOLETE # Testing printing of a specific value. Increment passcount for |
| # OBSOLETE # success or issue fail message for failure. In both cases, return |
| # OBSOLETE # a 1 to indicate that more tests can proceed. However a timeout |
| # OBSOLETE # is a serious error, generates a special fail message, and causes |
| # OBSOLETE # a 0 to be returned to indicate that more tests are likely to fail |
| # OBSOLETE # as well. |
| # OBSOLETE # |
| # OBSOLETE # Args are: |
| # OBSOLETE # |
| # OBSOLETE # First one is string to send_gdb to gdb |
| # OBSOLETE # Second one is string to match gdb result to |
| # OBSOLETE # Third one is an optional message to be printed |
| # OBSOLETE |
| # OBSOLETE proc test_print_accept { args } { |
| # OBSOLETE global gdb_prompt |
| # OBSOLETE global passcount |
| # OBSOLETE global verbose |
| # OBSOLETE |
| # OBSOLETE if [llength $args]==3 then { |
| # OBSOLETE set message [lindex $args 2] |
| # OBSOLETE } else { |
| # OBSOLETE set message [lindex $args 0] |
| # OBSOLETE } |
| # OBSOLETE set sendthis [lindex $args 0] |
| # OBSOLETE set expectthis [lindex $args 1] |
| # OBSOLETE set result [gdb_test $sendthis ".* = ${expectthis}" $message] |
| # OBSOLETE if $result==0 {incr passcount} |
| # OBSOLETE return $result |
| # OBSOLETE } |
| # OBSOLETE |
| # OBSOLETE proc test_card {} { |
| # OBSOLETE global passcount |
| # OBSOLETE |
| # OBSOLETE verbose "testing builtin CARD" |
| # OBSOLETE set passcount 0 |
| # OBSOLETE |
| # OBSOLETE # discrete mode names |
| # OBSOLETE test_print_accept "print card(v_ps1)" "4" |
| # OBSOLETE test_print_accept "print card(v_ps2)" "15" |
| # OBSOLETE test_print_accept "print card(v_ps3)" "4" |
| # OBSOLETE test_print_accept "print card(v_ps4)" "11" |
| # OBSOLETE test_print_accept "print card(v_ps5)" "1" |
| # OBSOLETE test_print_accept "print card(v_ps51)" "0" |
| # OBSOLETE test_print_accept "print card(v_ps6)" "101" |
| # OBSOLETE |
| # OBSOLETE # a failure |
| # OBSOLETE setup_xfail "*-*-*" |
| # OBSOLETE test_print_accept "print card(m_ps1)" "typename in invalid context" |
| # OBSOLETE } |
| # OBSOLETE |
| # OBSOLETE proc test_min {} { |
| # OBSOLETE global passcount |
| # OBSOLETE |
| # OBSOLETE verbose "testing builtin MIN" |
| # OBSOLETE set passcount 0 |
| # OBSOLETE |
| # OBSOLETE # discrete mode names |
| # OBSOLETE test_print_accept "print min(v_ps1)" "1" |
| # OBSOLETE test_print_accept "print min(v_ps2)" "-100" |
| # OBSOLETE test_print_accept "print min(v_ps3)" "bb" |
| # OBSOLETE test_print_accept "print min(v_ps4)" "','" |
| # OBSOLETE test_print_accept "print min(v_ps5)" "FALSE" |
| # OBSOLETE test_print_accept "print min(v_ps6)" "-50" |
| # OBSOLETE |
| # OBSOLETE # a failure |
| # OBSOLETE setup_xfail "*-*-*" |
| # OBSOLETE test_print_accept "print min(v_ps51)" "MIN for empty powerset" |
| # OBSOLETE setup_xfail "*-*-*" |
| # OBSOLETE test_print_accept "print min(m_ps1)" "typename in invalid context" |
| # OBSOLETE } |
| # OBSOLETE |
| # OBSOLETE proc test_max {} { |
| # OBSOLETE global passcount |
| # OBSOLETE |
| # OBSOLETE verbose "testing builtin MIN" |
| # OBSOLETE set passcount 0 |
| # OBSOLETE |
| # OBSOLETE # discrete mode names |
| # OBSOLETE test_print_accept "print max(v_ps1)" "7" |
| # OBSOLETE test_print_accept "print max(v_ps2)" "100" |
| # OBSOLETE test_print_accept "print max(v_ps3)" "ii" |
| # OBSOLETE test_print_accept "print max(v_ps4)" "'z'" |
| # OBSOLETE test_print_accept "print max(v_ps5)" "FALSE" |
| # OBSOLETE test_print_accept "print max(v_ps6)" "50" |
| # OBSOLETE |
| # OBSOLETE # test an IN |
| # OBSOLETE test_print_accept "print 0 in v_ps6" "TRUE" |
| # OBSOLETE |
| # OBSOLETE # a failure |
| # OBSOLETE setup_xfail "*-*-*" |
| # OBSOLETE test_print_accept "print max(v_ps51)" "MAX for empty powerset" |
| # OBSOLETE } |
| # OBSOLETE |
| # OBSOLETE # Start with a fresh gdb. |
| # OBSOLETE |
| # OBSOLETE gdb_exit |
| # OBSOLETE gdb_start |
| # OBSOLETE gdb_reinitialize_dir $srcdir/$subdir |
| # OBSOLETE |
| # OBSOLETE gdb_test "set print sevenbit-strings" ".*" |
| # OBSOLETE |
| # OBSOLETE if [set_lang_chill] then { |
| # OBSOLETE # test builtins as described in chapter 6.20.3 Z.200 |
| # OBSOLETE test_card |
| # OBSOLETE test_min |
| # OBSOLETE test_max |
| # OBSOLETE } else { |
| # OBSOLETE warning "$test_name tests suppressed." |
| # OBSOLETE } |