247 lines
9.9 KiB
Text
247 lines
9.9 KiB
Text
|
# Copyright (C) 2007 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 3 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, see <http://www.gnu.org/licenses/>.
|
||
|
|
||
|
# This file was written by Wu Zhou. (woodzltc@cn.ibm.com)
|
||
|
|
||
|
# This file is part of the gdb testsuite. It is intended to test that
|
||
|
# gdb could correctly handle decimal floating point introduced in IEEE 754R.
|
||
|
|
||
|
proc d32_set_tests {} {
|
||
|
|
||
|
gdb_test "p d32=123.45df" " = 123.45"
|
||
|
gdb_test "p d32=12345.df" " = 12345"
|
||
|
gdb_test "p d32=12345.67df" " = 12345.67"
|
||
|
gdb_test "p d32=1234567.df" " = 1234567"
|
||
|
|
||
|
gdb_test "p d32=1.234567E0df" " = 1.234567"
|
||
|
gdb_test "p d32=1.234567E10df" " = 1.234567E\\+10"
|
||
|
gdb_test "p d32=1.234567E+96df" " = 1.234567E\\+96"
|
||
|
|
||
|
# Test that gdb could handle the max, normalized min and subnormalized min.
|
||
|
gdb_test "p d32=9.999999E96df" " = 9.999999E\\+96"
|
||
|
gdb_test "p d32=1.0E-95df" " = 1.0E\\-95"
|
||
|
gdb_test "p d32=1.E-101df" " = 1E\\-101"
|
||
|
gdb_test "p d32=0.000001E-95df" " = 1E\\-101"
|
||
|
|
||
|
# Test that gdb could detect coefficient/exponent out of range.
|
||
|
# The coefficient out of range will be rounded to its nearest value.
|
||
|
# And the exponent out of range will be handled as infinity.
|
||
|
gdb_test "p d32=1.2345678df" " = 1.234568" "1.2345678 is rounded to 1.234568"
|
||
|
gdb_test "p d32=1.0E-101df" " = 1E-101" "1.0E-101 is rounded to 1E-101"
|
||
|
gdb_test "p d32=1.234567E+97df" " = Infinity" "1.234567E+97 is Infinity"
|
||
|
|
||
|
# Test that gdb could detect the errors in the string representation of _Decimal32
|
||
|
gdb_test "p d32=12345.df" " = 12345" "12345. is an valid number"
|
||
|
gdb_test "p d32=12345df" ".*Invalid number.*" "12345 is an invalid number"
|
||
|
gdb_test "p d32=1.23Edf" " = NaN" "1.23E is NaN (not a number)"
|
||
|
gdb_test "p d32=1.23E45Adf" " = NaN" "1.23E45A is NaN (not a number)"
|
||
|
}
|
||
|
|
||
|
proc d64_set_tests {} {
|
||
|
|
||
|
gdb_test "p d64=123.45dd" " = 123.45"
|
||
|
gdb_test "p d64=12345.dd" " = 12345"
|
||
|
gdb_test "p d64=12345.67dd" " = 12345.67"
|
||
|
gdb_test "p d64=1.234567890123456dd" " = 1.234567890123456"
|
||
|
|
||
|
gdb_test "p d64=1.234567890123456E10dd" " = 12345678901.23456"
|
||
|
gdb_test "p d64=1.234567890123456E100dd" " = 1.234567890123456E\\+100"
|
||
|
gdb_test "p d64=1.234567890123456E384dd" " = 1.234567890123456E\\+384"
|
||
|
|
||
|
# Test that gdb could handle the max, normalized min and subnormalized min.
|
||
|
gdb_test "p d64=9.999999999999999E384dd" " = 9.999999999999999E\\+384"
|
||
|
gdb_test "p d64=1.E-383dd" " = 1E\\-383"
|
||
|
gdb_test "p d64=1.E-398dd" " = 1E\\-398"
|
||
|
gdb_test "p d64=0.000000000000001E-383dd" " = 1E\\-398"
|
||
|
|
||
|
# Test that gdb could detect coefficient/exponent out of range.
|
||
|
# The coefficient out of range will be rounded to its nearest value.
|
||
|
# And the exponent out of range will be handled as infinity.
|
||
|
gdb_test "p d64=1.2345678901234567dd" " = 1.234567890123457" "1.2345678901234567 is rounded to 1.234567890123457"
|
||
|
gdb_test "p d64=9.9999999999999999E384dd" " = Infinity" "d64=9.9999999999999999E384 is Infinity"
|
||
|
gdb_test "p d64=1.234567890123456E385dd" " = Infinity" "d64=1.234567890123456E385 is Infinity"
|
||
|
|
||
|
# Test that gdb could detect the errors in the string representation of _Decimal64
|
||
|
gdb_test "p d64=12345dd" ".*Invalid number.*" "12345dd is an invalid number"
|
||
|
gdb_test "p d64=1.23Edd" " = NaN" "1.23E is NaN (not a number)"
|
||
|
gdb_test "p d64=1.23E45Add" "= NaN" "1.23E45A is NaN (not a number)"
|
||
|
}
|
||
|
|
||
|
proc d128_set_tests {} {
|
||
|
|
||
|
gdb_test "p d128=123.45dl" " = 123.45"
|
||
|
gdb_test "p d128=12345.dl" " = 12345"
|
||
|
gdb_test "p d128=12345.67dl" " = 12345.67"
|
||
|
gdb_test "p d128=1.234567890123456789012345678901234dl" " = 1.234567890123456789012345678901234"
|
||
|
|
||
|
gdb_test "p d128=1.234567890123456E10dl" " = 12345678901.23456"
|
||
|
gdb_test "p d128=1.234567890123456E100dl" " = 1.234567890123456E\\+100"
|
||
|
gdb_test "p d128=1.234567890123456E1000dl" " = 1.234567890123456E\\+1000"
|
||
|
|
||
|
# Test that gdb could handle the max, normalized min and subnormalized min.
|
||
|
gdb_test "p d128=9.999999999999999999999999999999999E6144dl" " = 9.999999999999999999999999999999999E\\+6144"
|
||
|
gdb_test "p d128=1.E-6143dl" " = 1E\\-6143"
|
||
|
gdb_test "p d128=1.E-6176dl" " = 1E\\-6176"
|
||
|
gdb_test "p d128=0.000000000000000000000000000000001E-6143dl" " = 1E\\-6176"
|
||
|
|
||
|
# Test that gdb could detect coefficient/exponent out of range.
|
||
|
# The coefficient out of range will be rounded to its nearest value.
|
||
|
# And the exponent out of range will be handled as infinity.
|
||
|
gdb_test "p d128=1.2345678901234567890123456789012345dl" "1.234567890123456789012345678901234" "1.2345678901234567890123456789012345 is rounded to 1.234567890123456789012345678901234"
|
||
|
gdb_test "p d128=1.234567890123456E6145dl" "Infinity" "d128=1.234567890123456E6145 is Infinity"
|
||
|
|
||
|
# Test that gdb could detect the errors in the string representation of _Decimal128
|
||
|
gdb_test "p d128=12345dl" ".*Invalid number.*" "12345dl is an invalid number"
|
||
|
gdb_test "p d128=1.23Edl" " = NaN" "1.23E is NaN (not a number)"
|
||
|
gdb_test "p d128=1.23E45Adl" "= NaN" "1.23E45A is NaN (not a number)"
|
||
|
}
|
||
|
|
||
|
|
||
|
if $tracelevel {
|
||
|
strace $tracelevel
|
||
|
}
|
||
|
|
||
|
set testfile "dfp-test"
|
||
|
set srcfile ${testfile}.c
|
||
|
set binfile ${objdir}/${subdir}/${testfile}
|
||
|
if { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable "debug"] != "" } {
|
||
|
untested "Couldn't compile ${srcfile}"
|
||
|
return -1
|
||
|
}
|
||
|
|
||
|
gdb_exit
|
||
|
gdb_start
|
||
|
gdb_reinitialize_dir $srcdir/$subdir
|
||
|
gdb_load ${binfile}
|
||
|
|
||
|
if ![runto_main] then {
|
||
|
perror "couldn't run to breakpoint"
|
||
|
continue
|
||
|
}
|
||
|
|
||
|
# Different tests on 32-bits decimal floating point, including the printing
|
||
|
# of finite numbers, infinite and NaN, and also the setting of different
|
||
|
# decimal value.
|
||
|
|
||
|
if [gdb_test "next" \
|
||
|
".*Positive infd32.*" \
|
||
|
"next after initializing d32"] then { gdb_suppress_tests }
|
||
|
gdb_test "print d32" "1.2345" "d32 is initialized to 1.2345"
|
||
|
|
||
|
if [gdb_test "next" \
|
||
|
".*Negative infd32.*" \
|
||
|
"next after assigning builtin infinity to d32"] then { gdb_suppress_tests }
|
||
|
gdb_test "print d32" "Infinity" "d32 is positive Infinity"
|
||
|
|
||
|
if [gdb_test "next" \
|
||
|
".*__builtin_nand32.*" \
|
||
|
"next after assigning negative builtin infinity to d32"] then { gdb_suppress_tests }
|
||
|
gdb_test "print d32" "-Infinity" "d32 is negative Infinity"
|
||
|
|
||
|
if [gdb_test "next" \
|
||
|
".*d64 = 1.2345.*" \
|
||
|
"next after assigning builtin NaN to d32"] then { gdb_suppress_tests }
|
||
|
gdb_test "print d32" "NaN" "d32 is NaN"
|
||
|
|
||
|
d32_set_tests
|
||
|
|
||
|
|
||
|
# Different tests on 64-bits decimal floating point, including the display
|
||
|
# of finite number, infinite and NaN, and also the setting of different
|
||
|
# decimal value.
|
||
|
|
||
|
if [gdb_test "next" \
|
||
|
".*Positive infd64.*" \
|
||
|
"next after initializing d64"] then { gdb_suppress_tests }
|
||
|
gdb_test "print d64" "1.2345" "d64 is initialized to 1.2345"
|
||
|
|
||
|
if [gdb_test "next" \
|
||
|
".*Negative infd64.*" \
|
||
|
"next after assigning builtin infinity to d64"] then { gdb_suppress_tests }
|
||
|
gdb_test "print d64" "Infinity" "d64 is positive Infinity"
|
||
|
|
||
|
if [gdb_test "next" \
|
||
|
".*__builtin_nand64.*" \
|
||
|
"next after assigning negative builtin infinity to d64"] then { gdb_suppress_tests }
|
||
|
gdb_test "print d64" "-Infinity" "d64 is negative Infinity"
|
||
|
|
||
|
if [gdb_test "next" \
|
||
|
".*d128 = 1.2345.*" \
|
||
|
"next after assigning builtin NaN to d64"] then { gdb_suppress_tests }
|
||
|
gdb_test "print d64" "NaN" "d64 is NaN"
|
||
|
|
||
|
d64_set_tests
|
||
|
|
||
|
|
||
|
# Different tests on 128-bits decimal floating point, including the display
|
||
|
# of finite number, infinite and NaN, and also the setting of different
|
||
|
# decimal value.
|
||
|
|
||
|
if [gdb_test "next" \
|
||
|
".*Positive infd128.*" \
|
||
|
"next after initializing d128"] then { gdb_suppress_tests }
|
||
|
gdb_test "print d128" "1.2345" "d128 is initialized to 1.2345"
|
||
|
|
||
|
d128_set_tests
|
||
|
|
||
|
if [gdb_test "next" \
|
||
|
".*Negative infd128.*" \
|
||
|
"next after assigning builtin infinity to d128"] then { gdb_suppress_tests }
|
||
|
gdb_test "print d128" "Infinity" "d128 is positive Infinity"
|
||
|
|
||
|
if [gdb_test "next" \
|
||
|
".*__builtin_nand128.*" \
|
||
|
"next after assigning negative builtin infinity to d128"] then { gdb_suppress_tests }
|
||
|
gdb_test "print d128" "-Infinity" "d128 is negative Infinity"
|
||
|
|
||
|
if [gdb_test "next" \
|
||
|
".*arg0_32.*" \
|
||
|
"next after assigning builtin NaN to d128"] then { gdb_suppress_tests }
|
||
|
gdb_test "print d128" "NaN" "d128 is NaN"
|
||
|
|
||
|
# The following tests are intended to verify that gdb can correctly handle
|
||
|
# DFP types in function arguments.
|
||
|
|
||
|
gdb_breakpoint arg0_32
|
||
|
gdb_continue_to_breakpoint "entry to arg0_32"
|
||
|
gdb_test "backtrace" ".*arg0_32 \\(arg0=0.1, arg1=1.0, arg2=2.0, arg3=3.0, arg4=4.0, arg5=5.0\\).*" "backtrace at arg0_32"
|
||
|
|
||
|
gdb_breakpoint arg0_64
|
||
|
gdb_continue_to_breakpoint "entry to arg0_64"
|
||
|
gdb_test "backtrace" ".*arg0_64 \\(arg0=0.1, arg1=1.0, arg2=2.0, arg3=3.0, arg4=4.0, arg5=5.0\\).*" "backtrace at arg0_64"
|
||
|
|
||
|
gdb_breakpoint arg0_128
|
||
|
gdb_continue_to_breakpoint "entry to arg0_128"
|
||
|
gdb_test "backtrace" ".*arg0_128 \\(arg0=0.1, arg1=1.0, arg2=2.0, arg3=3.0, arg4=4.0, arg5=5.0\\).*" "backtrace at arg0_128"
|
||
|
|
||
|
# The following tests are intended to verify that gdb can handle DFP types
|
||
|
# correctly in struct.
|
||
|
|
||
|
gdb_breakpoint [gdb_get_line_number "Exit point"]
|
||
|
gdb_continue_to_breakpoint "Setting a decimal struct"
|
||
|
gdb_test "print ds.dec32" " = 1.2345"
|
||
|
gdb_test "print ds.dec64" " = 1.2345"
|
||
|
gdb_test "print ds.dec128" " = 1.2345"
|
||
|
|
||
|
# The following tests are intended to verify that gdb can handle "d1=d2"
|
||
|
# and "d1=-d2" correctly.
|
||
|
|
||
|
gdb_test "print ds.dec32=d32" " = 0.1"
|
||
|
gdb_test "print ds.dec64=d64" " = 0.1"
|
||
|
gdb_test "print ds.dec128=d128" " = 0.1"
|
||
|
gdb_test "print ds.dec32 = -d32" " = -0.1"
|
||
|
gdb_test "print ds.dec64 = -d64" " = -0.1"
|
||
|
gdb_test "print ds.dec128 = -d128" " = -0.1"
|