+ gdb_test_multiple "info float" "info float" {
+ -re "fpu type: none / unused\r\n$gdb_prompt $" {
+ pass "info float (without FPU)"
+ }
+ -re "fpu type:.*cause.*mask.*flags.*round.*flush.*f0:.*flt:.*dbl:.*$gdb_prompt $" {
+ pass "info float (with FPU)"
+ }
+ }