Re: [rfc] add ppc testcase to test fpscr

[Thiago Jung Bauermann <bauerman at br dot ibm dot com>]

El vie, 05-09-2008 a las 06:59 -0700, Joel Brobecker escribiÃ:
> > > > +    verbose "Skipping powerpc floating point register tests."
> > > > +    verbose -log "Skipping powerpc floating point register tests."
> > > 
> > > I searched throughout the gdb.base directory, and I found only uses
> > > of verbose without -log. In testsuite/lib, I saw uses of both forms,
> > > but never at the same time...
> > 
> > No reason. I probably copied the wrong example. I can remove either of
> > them, at will. :-)
> 
> Let's remove the second one, then.

Right. I also noticed that unlike gdb_test, gdb_test_multiple doesn't
wait for the prompt. I explicitly put that into the REs now.

Committed the following. Thanks!
-- 
[]'s
Thiago Jung Bauermann
IBM Linux Technology Center


2008-09-05  Thiago Jung Bauermann  <bauerman@br.ibm.com>

	* gdb.arch/ppc-fp.exp: New file.
	* gdb.arch/ppc-fp.c: New file.

diff --git a/gdb/testsuite/gdb.arch/ppc-fp.c b/gdb/testsuite/gdb.arch/ppc-fp.c
new file mode 100644
index 0000000..841b112
--- /dev/null
+++ b/gdb/testsuite/gdb.arch/ppc-fp.c
@@ -0,0 +1,36 @@
+/* Copyright 2008 Free Software Foundation, Inc.
+
+   This file is part of GDB.
+
+   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/>.  */
+
+int
+main (int argc, char *argv[])
+{
+  double result;
+
+  asm ("fdiv %0, %1, %1\n"	/* Invalid operation.  */
+       : "=f" (result)
+       : "f" (0.0));
+
+  asm ("mtfsf 0xff, %0\n"  /* Reset FPSCR.  */
+       :
+       : "f" (0.0));
+
+  asm ("fdiv %0, %1, %2\n"	/* Division by zero.  */
+       : "=f" (result)
+       : "f" (1.25), "f" (0.0));
+
+  return 0;
+}
diff --git a/gdb/testsuite/gdb.arch/ppc-fp.exp b/gdb/testsuite/gdb.arch/ppc-fp.exp
new file mode 100644
index 0000000..170d58c
--- /dev/null
+++ b/gdb/testsuite/gdb.arch/ppc-fp.exp
@@ -0,0 +1,100 @@
+# Copyright (C) 2008 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/>.
+#
+# Please email any bugs, comments, and/or additions to this file to:
+# bug-gdb@prep.ai.mit.edu
+#
+
+# Tests for Powerpc floating point register setting and fetching
+
+if $tracelevel then {
+    strace $tracelevel
+}
+
+if ![istarget "powerpc*"] then {
+    verbose "Skipping powerpc floating point register tests."
+    return
+}
+
+set testfile "ppc-fp"
+set binfile ${objdir}/${subdir}/${testfile}
+set srcfile ${testfile}.c
+
+if [get_compiler_info $binfile] {
+    warning "get_compiler failed"
+    return -1
+}
+
+if ![test_compiler_info gcc*] {
+    # We use GCC's extended asm syntax
+    warning "unknown compiler"
+    return -1
+}
+
+if { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable {quiet debug}] != "" } {
+    verbose "Skipping FPSCR tests."
+    return -1
+}
+
+# Start with a fresh gdb.
+
+gdb_exit
+gdb_start
+gdb_reinitialize_dir $srcdir/$subdir
+gdb_load ${binfile}
+
+gdb_breakpoint [gdb_get_line_number "Invalid operation."]
+gdb_breakpoint [gdb_get_line_number "Division by zero."]
+
+gdb_run_cmd
+
+# When the prompt comes back we'll be in the invalid operation breakpoint.
+gdb_expect { -re ".*$gdb_prompt $" {} }
+
+# First, verify if FPSCR exists and is all zeroes.
+gdb_test_multiple "print \$fpscr" "FPSCR exists" {
+  -re " = 0\[\r\n\]+$gdb_prompt $" { pass "FPSCR is all zeroes" }
+
+  -re " = void\[\r\n\]+$gdb_prompt $" {
+    # There's no FPSCR.  Skip this testcase.
+    verbose "Skipping powerpc floating point register tests."
+    return
+  }
+}
+
+# Step over invalid operation.
+gdb_test "next" "" ""
+
+# Verify that the following bits are set (See Power ISA for details):
+#
+# 32 - Floating-Point Exception Summary (FX)
+# 34 - Floating-Point Invalid Operation Summary (VX)
+# 42 - Floating-Point Invalid Operation Exception (VXZDZ)
+# 47 - Floating-Point Result Class Descriptor (C)
+# 51 - Floating-Point Unordered or NaN (FU or ?)
+gdb_test "print/t \$fpscr" " = 10100000001000010001000000000000" "FPSCR for invalid operation"
+
+gdb_continue_to_breakpoint "go to division by zero"
+
+# Step over division by zero.
+gdb_test "next" "" ""
+
+# Verify that the following bits are set (See Power ISA for details):
+#
+# 32 - Floating-Point Exception Summary (FX)
+# 37 - Floating-Point Zero Divide Exception (ZX)
+# 49 - Floating-Point Greater Than or Positive (FG or >)
+# 51 - Floating-Point Unordered or NaN (FU or ?)
+gdb_test "print/t \$fpscr" " = 10000100000000000101000000000000" "FPSCR for division by zero"