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.
22 # Test floating-point related functionality.
26 if { [prepare_for_testing float.exp float float.c] } {
30 # Set it up at a breakpoint so we have its registers.
32 if ![runto_main] then {
33 perror "couldn't run to breakpoint"
39 if { [istarget "alpha*-*-*"] } then {
40 gdb_test "info float" "f0.*" "info float"
41 } elseif { [istarget "arm*-*-*"] } then {
42 gdb_test_multiple "info float" "info float" {
43 -re "Software FPU type.*mask:.*flags:.*$gdb_prompt $" {
44 pass "info float (FPA)"
46 -re "fpscr.*s0.*s1.*s31.*$gdb_prompt $" {
47 # Only check for single precision; d0 might be a vector register
49 pass "info float (VFP)"
51 -re "No floating.point info available for this processor.*" {
52 pass "info float (without FPU)"
55 } elseif { [istarget "i?86-*-*"] || [istarget "x86_64-*-*"] } then {
56 gdb_test "info float" "R7:.*Status Word:.*Opcode:.*" "info float"
57 } elseif [istarget "ia64-*-*"] then {
58 gdb_test "info float" "f0.*f1.*f127.*" "info float"
59 } elseif [istarget "m68k-*-*"] then {
60 gdb_test_multiple "info float" "info_float" {
61 -re "fp0.*fp1.*fp7.*$gdb_prompt $" {
62 pass "info float (with FPU)"
64 -re "No floating.point info available for this processor.*" {
65 pass "info float (without FPU)"
68 } elseif [istarget "mips*-*-*"] then {
69 gdb_test "info float" "f0:.*flt:.*dbl:.*" "info float"
70 } elseif [istarget "powerpc*-*-*"] then {
71 gdb_test_multiple "info float" "info_float" {
72 -re "f0.*f1.*f31.*fpscr.*$gdb_prompt $" {
73 pass "info float (with FPU)"
75 -re "No floating.point info available for this processor.*" {
76 pass "info float (without FPU)"
79 } elseif [istarget "s390*-*-*"] then {
80 gdb_test "info float" "fpc.*f0.*f1.*f15.*" "info float"
81 } elseif [istarget "sh*-*"] then {
82 # SH may or may not have an FPU
83 gdb_test_multiple "info float" "info float" {
84 -re "fpul.*fr0.*fr1.*fr15.*$gdb_prompt $" {
85 pass "info float (with FPU)"
87 -re "No floating.point info available for this processor.*" {
88 pass "info float (without FPU)"
91 } elseif [istarget "hppa*-*"] then {
92 gdb_test "info float" "fr4.*fr4R.*fr31R.*" "info float"
93 } elseif [istarget "sparc*-*-*"] then {
94 gdb_test "info float" "f0.*f1.*f31.*d0.*d30.*" "info float"
96 gdb_test "info float" "No floating.point info available for this processor." "info float (unknown target)"
100 gdb_test "finish" "Value returned is .* = (inf|nan).*"