xref: /netbsd-src/external/gpl3/gdb.old/dist/gdb/testsuite/gdb.arch/i386-float.exp (revision 0a3071956a3a9fdebdbf7f338cf2d439b45fc728)
1# Copyright (C) 2009-2020 Free Software Foundation, Inc.
2
3# This program is free software; you can redistribute it and/or modify
4# it under the terms of the GNU General Public License as published by
5# the Free Software Foundation; either version 3 of the License, or
6# (at your option) any later version.
7#
8# This program is distributed in the hope that it will be useful,
9# but WITHOUT ANY WARRANTY; without even the implied warranty of
10# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
11# GNU General Public License for more details.
12#
13# You should have received a copy of the GNU General Public License
14# along with this program.  If not, see <http://www.gnu.org/licenses/>.
15
16
17# This file is part of the gdb testsuite.
18
19# Test the x87 floating point information printout.
20
21if { ![istarget "i?86-*-*"] && ![istarget "x86_64-*-*"] } then {
22    verbose "Skipping i386 tests for x87 floating point support."
23    return
24}
25
26standard_testfile .S
27
28# some targets have leading underscores on assembly symbols.
29set additional_flags [gdb_target_symbol_prefix_flags_asm]
30
31if { [prepare_for_testing "failed to prepare" $testfile $srcfile [list debug nopie $additional_flags]] } {
32    return -1
33}
34
35if ![runto_main] then {
36    fail "can't run to main"
37    return 0
38}
39
40with_test_prefix "zero" {
41    gdb_test "stepi" ".*fldt.*"
42    gdb_test "info float" "R7: Empty   0x00000000000000000000\r\n.*"
43}
44with_test_prefix "val" {
45    gdb_test "stepi" ".*fldt.*"
46    gdb_test "info float" "=>R7: Valid   0xbffee922191107450000 .*"
47}
48with_test_prefix "smallval" {
49    gdb_test "stepi" ".*fldt.*"
50    gdb_test "info float" "=>R6: Valid   0x03e5c6f8c103dc90456a \\+3.500000000000000007e-4632\r\n.*"
51}
52with_test_prefix "bigval" {
53    gdb_test "stepi" ".*ret.*"
54    gdb_test "info float" "=>R5: Valid   0x6a5cc643b78165d7d0e9 \\+7.250000000000000005e\\+3264\r\n.*"
55}
56