1 # Copyright 2003, 2007-2012 Free Software Foundation, Inc.
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.
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.
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/>.
16 # Please email any bugs, comments, and/or additions to this file to:
19 # This file is part of the gdb testsuite.
26 # Test floating-point related functionality.
30 if { [prepare_for_testing float.exp float float.c] } {
34 # Set it up at a breakpoint so we have its registers.
36 if ![runto_main] then {
37 perror "couldn't run to breakpoint"
43 if { [istarget "alpha*-*-*"] } then {
44 gdb_test "info float" "f0.*" "info float"
45 } elseif { [istarget "arm*-*-*"] } then {
46 gdb_test_multiple "info float" "info float" {
47 -re "Software FPU type.*mask:.*flags:.*$gdb_prompt $" {
48 pass "info float (FPA)"
50 -re "fpscr.*s0.*s1.*s31.*$gdb_prompt $" {
51 # Only check for single precision; d0 might be a vector register
53 pass "info float (VFP)"
55 -re "No floating.point info available for this processor.*" {
56 pass "info float (without FPU)"
59 } elseif { [istarget "i?86-*-*"] || [istarget "x86_64-*-*"] } then {
60 gdb_test "info float" "R7:.*Status Word:.*Opcode:.*" "info float"
61 } elseif [istarget "ia64-*-*"] then {
62 gdb_test "info float" "f0.*f1.*f127.*" "info float"
63 } elseif [istarget "m68k-*-*"] then {
64 gdb_test_multiple "info float" "info_float" {
65 -re "fp0.*fp1.*fp7.*$gdb_prompt $" {
66 pass "info float (with FPU)"
68 -re "No floating.point info available for this processor.*" {
69 pass "info float (without FPU)"
72 } elseif [istarget "mips*-*-*"] then {
73 gdb_test "info float" "f0:.*flt:.*dbl:.*" "info float"
74 } elseif [istarget "powerpc*-*-*"] then {
75 gdb_test_multiple "info float" "info_float" {
76 -re "f0.*f1.*f31.*fpscr.*$gdb_prompt $" {
77 pass "info float (with FPU)"
79 -re "No floating.point info available for this processor.*" {
80 pass "info float (without FPU)"
83 } elseif [istarget "s390*-*-*"] then {
84 gdb_test "info float" "fpc.*f0.*f1.*f15.*" "info float"
85 } elseif [istarget "sh*-*"] then {
86 # SH may or may not have an FPU
87 gdb_test_multiple "info float" "info float" {
88 -re "fpul.*fr0.*fr1.*fr15.*$gdb_prompt $" {
89 pass "info float (with FPU)"
91 -re "No floating.point info available for this processor.*" {
92 pass "info float (without FPU)"
95 } elseif [istarget "hppa*-*"] then {
96 gdb_test "info float" "fr4.*fr4R.*fr31R.*" "info float"
97 } elseif [istarget "sparc*-*-*"] then {
98 gdb_test "info float" "f0.*f1.*f31.*d0.*d30.*" "info float"
100 gdb_test "info float" "No floating.point info available for this processor." "info float (unknown target)"
104 gdb_test "finish" "Value returned is .* = (inf|nan).*"