# Copyright (C) 1994 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., 675 Mass Ave, Cambridge, MA 02139, USA.  */

# Please email any bugs, comments, and/or additions to this file to:
# bug-gdb@prep.ai.mit.edu

# This file was adapted from Chill tests by Stan Shebs (shebs@cygnus.com).

if $tracelevel then {
	strace $tracelevel
}

set prms_id 0
set bug_id 0

# Set the current language to fortran.  This counts as a test.  If it
# fails, then we skip the other tests.

proc set_lang_fortran {} {
    global prompt

    send "set language fortran\n"
    expect {
	-re ".*$prompt $" {}
	timeout { fail "set language fortran (timeout)" ; return 0 }
    }

    send "show language\n"
    expect {
	-re ".* source language is \"fortran\".*$prompt $" {
	    pass "set language to \"fortran\""
	    return 1
	}
	-re ".*$prompt $" {
	    fail "setting language to \"fortran\""
	    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 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 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]
    if $verbose>2 then {
	send_user "Sending \"$sendthis\" to gdb\n"
	send_user "Looking to match \"$expectthis\"\n"
	send_user "Message is \"$message\"\n"
    }
    send "$sendthis\n"
    expect {
	-re ".* = $expectthis\r\n$prompt $" {
	    incr passcount
	    return 1
	}
	-re ".*$prompt $" {
	    if ![string match "" $message] then {
		fail "$sendthis ($message)"
	    } else {
		fail "$sendthis"
	    }
	    return 1
	}
	timeout {
	    fail "$sendthis (timeout)"
	    return 0
	}
    }
}

proc test_integer_literals_accepted {} {
    global prompt
    global passcount

    set passcount 0

    # Test various decimal values.

    test_print_accept "p 123" "123"
    test_print_accept "p -123" "-123"

    if $passcount then {
	pass "$passcount correct integer literals printed"
    }
}

proc test_character_literals_accepted {} {
    global prompt
    global passcount

    set passcount 0

    # Test various character values.

    test_print_accept "p 'a'" "'a'"

    if $passcount then {
	pass "$passcount correct character literals printed"
    }
}

# 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.

proc test_print_reject { args } {
    global prompt
    global passcount
    global verbose

    if [llength $args]==2 then {
	set expectthis [lindex $args 1]
    } else {
	set expectthis "should never match this bogus string"
    }
    set sendthis [lindex $args 0]
    if $verbose>2 then {
	send_user "Sending \"$sendthis\" to gdb\n"
	send_user "Looking to match \"$expectthis\"\n"
    }
    send "$sendthis\n"
    expect {
	-re ".*A .* in expression.*\\.*$prompt $" {
	    incr passcount
	    return 1
	}
	-re ".*Junk after end of expression.*$prompt $" {
	    incr passcount
	    return 1
	}
	-re ".*No symbol table is loaded.*$prompt $" {
	    incr passcount
	    return 1
	}
	-re ".*$expectthis.*$prompt $" {
	    incr passcount
	    return 1
	}
	-re ".*$prompt $" {
	    fail "$sendthis not properly rejected"
	    return 1
	}
	timeout {
	    fail "$sendthis (timeout)"
	    return 0
	}
    }
}

proc test_integer_literals_rejected {} {
    global prompt
    global passcount

    set passcount 0

    test_print_reject "p _"

    if $passcount then {
	pass "$passcount incorrect integer literals rejected"
    }
}

proc test_logical_literals_accepted {} {
    global prompt
    global passcount

    set passcount 0

    # Test the only possible values for a logical, TRUE and FALSE.

    test_print_accept "p .TRUE." ".TRUE."
    test_print_accept "p .FALSE." ".FALSE."

    if $passcount then {
	pass "$passcount correct logical literals printed"
    }
}

proc test_float_literals_accepted {} {
    global prompt
    global passcount

    set passcount 0

    # Test various floating point formats

    test_print_accept "p .44 .LT. .45" "1"
    test_print_accept "p .44 .GT. .45" "0"
    test_print_accept "p 0.44 .LT. 0.45" "1"
    test_print_accept "p 0.44 .GT. 0.45" "0"
    test_print_accept "p 44. .LT. 45." "1"
    test_print_accept "p 44. .GT. 45." "0"
    test_print_accept "p 44.0 .LT. 45.0" "1"
    test_print_accept "p 44.0 .GT. 45.0" "0"
    test_print_accept "p 10D20 .LT. 10D21" "1"
    test_print_accept "p 10D20 .GT. 10D21" "0"
    test_print_accept "p 10d20 .LT. 10d21" "1"
    test_print_accept "p 10d20 .GT. 10d21" "0"
    test_print_accept "p 10E20 .LT. 10E21" "1"
    test_print_accept "p 10E20 .GT. 10E21" "0"
    test_print_accept "p 10e20 .LT. 10e21" "1"
    test_print_accept "p 10e20 .GT. 10e21" "0"
    test_print_accept "p 10.D20 .LT. 10.D21" "1"
    test_print_accept "p 10.D20 .GT. 10.D21" "0"
    test_print_accept "p 10.d20 .LT. 10.d21" "1"
    test_print_accept "p 10.d20 .GT. 10.d21" "0"
    test_print_accept "p 10.E20 .LT. 10.E21" "1"
    test_print_accept "p 10.E20 .GT. 10.E21" "0"
    test_print_accept "p 10.e20 .LT. 10.e21" "1"
    test_print_accept "p 10.e20 .GT. 10.e21" "0"
    test_print_accept "p 10.0D20 .LT. 10.0D21" "1"
    test_print_accept "p 10.0D20 .GT. 10.0D21" "0"
    test_print_accept "p 10.0d20 .LT. 10.0d21" "1"
    test_print_accept "p 10.0d20 .GT. 10.0d21" "0"
    test_print_accept "p 10.0E20 .LT. 10.0E21" "1"
    test_print_accept "p 10.0E20 .GT. 10.0E21" "0"
    test_print_accept "p 10.0e20 .LT. 10.0e21" "1"
    test_print_accept "p 10.0e20 .GT. 10.0e21" "0"
    test_print_accept "p 10.0D+20 .LT. 10.0D+21" "1"
    test_print_accept "p 10.0D+20 .GT. 10.0D+21" "0"
    test_print_accept "p 10.0d+20 .LT. 10.0d+21" "1"
    test_print_accept "p 10.0d+20 .GT. 10.0d+21" "0"
    test_print_accept "p 10.0E+20 .LT. 10.0E+21" "1"
    test_print_accept "p 10.0E+20 .GT. 10.0E+21" "0"
    test_print_accept "p 10.0e+20 .LT. 10.0e+21" "1"
    test_print_accept "p 10.0e+20 .GT. 10.0e+21" "0"
    test_print_accept "p 10.0D-11 .LT. 10.0D-10" "1"
    test_print_accept "p 10.0D-11 .GT. 10.0D-10" "0"
    test_print_accept "p 10.0d-11 .LT. 10.0d-10" "1"
    test_print_accept "p 10.0d-11 .GT. 10.0d-10" "0"
    test_print_accept "p 10.0E-11 .LT. 10.0E-10" "1"
    test_print_accept "p 10.0E-11 .GT. 10.0E-10" "0"
    test_print_accept "p 10.0e-11 .LT. 10.0e-10" "1"
    test_print_accept "p 10.0e-11 .GT. 10.0e-10" "0"

    if $passcount then {
	pass "$passcount correct float literal comparisons"
    }
}

proc test_convenience_variables {} {
    global prompt

    gdb_test "set \\\$foo = 101"	" = 101" \
	"Set a new convenience variable"

    gdb_test "print \\\$foo"		" = 101" \
	"Print contents of new convenience variable"

    gdb_test "set \\\$foo = 301"	" = 301" \
	"Set convenience variable to a new value"

    gdb_test "print \\\$foo"		" = 301" \
	"Print new contents of convenience variable"

    gdb_test "set \\\$_ = 11"		" = 11" \
	"Set convenience variable \$_"

    gdb_test "print \\\$_"		" = 11" \
	"Print contents of convenience variable \$_"

    gdb_test "print \\\$foo + 10"	" = 311" \
	"Use convenience variable in arithmetic expression"

    gdb_test "print (\\\$foo = 32) + 4"	" = 36" \
	"Use convenience variable assignment in arithmetic expression"

    gdb_test "print \\\$bar"		" = void" \
	"Print contents of uninitialized convenience variable"
}

proc test_value_history {} {
    global prompt

    gdb_test "print 101"	"\\\$1 = 101" \
	"Set value-history\[1\] using \$1"

    gdb_test "print 102" 	"\\\$2 = 102" \
	"Set value-history\[2\] using \$2"

    gdb_test "print 103"	"\\\$3 = 103" \
	"Set value-history\[3\] using \$3"

    gdb_test "print \\\$\\\$"	"\\\$4 = 102" \
	"Print value-history\[MAX-1\] using inplicit index \$\$"

    gdb_test "print \\\$\\\$"	"\\\$5 = 103" \
	"Print value-history\[MAX-1\] again using implicit index \$\$"

    gdb_test "print \\\$"	"\\\$6 = 103" \
	"Print value-history\[MAX\] using implicit index \$"

    gdb_test "print \\\$\\\$2"	"\\\$7 = 102" \
	"Print value-history\[MAX-2\] using explicit index \$\$2"

    gdb_test "print \\\$0"	"\\\$8 = 102" \
	"Print value-history\[MAX\] using explicit index \$0"

    gdb_test "print 108"	"\\\$9 = 108" ""

    gdb_test "print \\\$\\\$0"	"\\\$10 = 108" \
	"Print value-history\[MAX\] using explicit index \$\$0"

    gdb_test "print \\\$1"	"\\\$11 = 101" \
	"Print value-history\[1\] using explicit index \$1"

    gdb_test "print \\\$2"	"\\\$12 = 102" \
	"Print value-history\[2\] using explicit index \$2"

    gdb_test "print \\\$3"	"\\\$13 = 103" \
	"Print value-history\[3\] using explicit index \$3"

    gdb_test "print \\\$-3"	"\\\$14 = 100" \
	"Print (value-history\[MAX\] - 3) using implicit index \$"

    gdb_test "print \\\$1 + 3"	"\\\$15 = 104" \
	"Use value-history element in arithmetic expression"
}

proc test_arithmetic_expressions {} {
    global prompt
    global passcount

    set passcount 0

    # Test unary minus with various operands

#    test_print_accept "p -(TRUE)"	"-1"	"unary minus applied to bool"
#    test_print_accept "p -('a')"	"xxx"	"unary minus applied to char"
    test_print_accept "p -(1)"		"-1"	"unary minus applied to int"
    test_print_accept "p -(1.0)"	"-1"	"unary minus applied to real"

    # Test addition with various operands

    test_print_accept "p .TRUE. + 1"	"2"	"bool plus int"
    test_print_accept "p 1 + 1"		"2"	"int plus int"
    test_print_accept "p 1.0 + 1"	"2"	"real plus int"
    test_print_accept "p 1.0 + 2.0"	"3"	"real plus real"

    # Test subtraction with various operands

    test_print_accept "p .TRUE. - 1"	"0"	"bool minus int"
    test_print_accept "p 3 - 1"		"2"	"int minus int"
    test_print_accept "p 3.0 - 1"	"2"	"real minus int"
    test_print_accept "p 5.0 - 2.0"	"3"	"real minus real"

    # Test multiplication with various operands

    test_print_accept "p .TRUE. * 1"	"1"	"bool times int"
    test_print_accept "p 2 * 3"		"6"	"int times int"
    test_print_accept "p 2.0 * 3"	"6"	"real times int"
    test_print_accept "p 2.0 * 3.0"	"6"	"real times real"

    # Test division with various operands

    test_print_accept "p .TRUE. / 1"	"1"	"bool divided by int"
    test_print_accept "p 6 / 3"		"2"	"int divided by int"
    test_print_accept "p 6.0 / 3"	"2"	"real divided by int"
    test_print_accept "p 6.0 / 3.0"	"2"	"real divided by real"

    # Test modulo with various operands

    if $passcount then {
	pass "$passcount correct arithmetic expressions"
    }
}

# Start with a fresh gdb.

gdb_exit
gdb_start
gdb_reinitialize_dir $srcdir/$subdir

send "set print sevenbit-strings\n" ; expect -re ".*$prompt $"

if [set_lang_fortran] then {
    test_value_history
    test_convenience_variables
    test_integer_literals_accepted
    test_integer_literals_rejected
    test_logical_literals_accepted
    test_character_literals_accepted
    test_float_literals_accepted
    test_arithmetic_expressions
} else {
    warning "$test_name tests suppressed."
}