Re: i386.record.floating.point.patch : with more testing and assurity

[paawan oza <paawan1982@yahoo.com>]

Hi,
thank you for the update.
just to confirm....I start adding some tests regarding floatin_patch into
src/gdb/testsuite/gdb.reverse
Regards,
Oza.

--- On Wed, 7/15/09, Hui Zhu <teawater@gmail.com> wrote:

> From: Hui Zhu <teawater@gmail.com>
> Subject: Re: i386.record.floating.point.patch : with more testing and assurity
> To: "Michael Snyder" <msnyder@vmware.com>
> Cc: "paawan oza" <paawan1982@yahoo.com>, "gdb-patches@sourceware.org" <gdb-patches@sourceware.org>, "Pedro Alves" <pedro@codesourcery.com>
> Date: Wednesday, July 15, 2009, 1:05 PM
> I try this test with fp insn
> patch.  Everything is OK.  Thanks.
> 
> BTW, I copy them to "src/gdb/testsuite/gdb.reverse". 
> And use command
> make check RUNTESTFLAGS="i387-float-reverse.exp
> --target_board=precord"
> in testsuite directory.
> 
> Thanks,
> Hui
> 
> On Tue, Jul 14, 2009 at 03:38, Michael Snyder<msnyder@vmware.com>
> wrote:
> > Hui Zhu wrote:
> >>
> >> Could you post it in patch format?  That will
> make me can try it directly.
> >>  :)
> >>
> >> Thanks,
> >> Hui
> >
> >
> > OK, but this is not intended as a submission.
> > It's just an example or starting point.
> >
> > Michael
> >
> >
> > diff -rNu gdb.tmp/i387-float-reverse.c
> gdb.arch/i387-float-reverse.c
> > --- gdb.tmp/i387-float-reverse.c        1969-12-31
> 16:00:00.000000000 -0800
> > +++ gdb.arch/i387-float-reverse.c       2009-07-11
> 17:16:56.000000000 -0700
> > @@ -0,0 +1,30 @@
> > +/* Reverse debugging of floating point registers.
> > +
> > +   Copyright 2009, 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 (void)
> > +{
> > +  int i = 0;   /* BEGIN I387-FLOAT-REVERSE */
> > +
> > +  asm ("fldz");        /* test st0 register */
> > +  asm ("fld1");
> > +  asm ("nop");
> > +
> > +  return i;    /* END I387-FLOAT-REVERSE */
> > +}
> > +
> > diff -rNu gdb.tmp/i387-float-reverse.exp
> gdb.arch/i387-float-reverse.exp
> > --- gdb.tmp/i387-float-reverse.exp      1969-12-31
> 16:00:00.000000000 -0800
> > +++ gdb.arch/i387-float-reverse.exp     2009-07-11
> 17:30:03.000000000 -0700
> > @@ -0,0 +1,83 @@
> > +# Copyright 2009 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/>.
> > +
> > +# This file is part of the gdb testsuite.
> > +
> > +if $tracelevel {
> > +    strace $tracelevel
> > +}
> > +
> > +set prms_id 0
> > +set bug_id 0
> > +
> > +if ![istarget "i?86-*linux*"] then {
> > +    verbose "Skipping i387 reverse float tests."
> > +    return
> > +}
> > +
> > +set testfile "i387-float-reverse"
> > +set srcfile ${testfile}.c
> > +set binfile ${objdir}/${subdir}/${testfile}
> > +
> > +# some targets have leading underscores on assembly
> symbols.
> > +# TODO: detect this automatically
> > +set additional_flags ""
> > +if [istarget "i?86-*-cygwin*"] then {
> > +  set additional_flags
> "additional_flags=-DSYMBOL_PREFIX=\"_\""
> > +}
> > +
> > +if { [gdb_compile "${srcdir}/${subdir}/${srcfile}"
> "${binfile}" executable
> > [list debug $additional_flags]] != "" } {
> > +    untested i387-float-reverse
> > +    return -1
> > +}
> > +
> > +# Get things started.
> > +
> > +gdb_exit
> > +gdb_start
> > +gdb_reinitialize_dir $srcdir/$subdir
> > +gdb_load ${binfile}
> > +runto main
> > +
> > +# Record to end of main
> > +
> > +set location [gdb_get_line_number "END
> I387-FLOAT-REVERSE"]
> > +gdb_test "record" "" "Turn on process record"
> > +gdb_test "until $location" ".*/$srcfile:$location.*"
> \
> > +    "record to end of main"
> > +
> > +# Now rewind to beginning so we can begin testing.
> > +
> > +set location [gdb_get_line_number "BEGIN
> I387-FLOAT-REVERSE"]
> > +gdb_test "set exec-dir reverse" "" "set reverse
> direction"
> > +gdb_test "until $location" ".*/$srcfile:$location.*"
> \
> > +    "rewind to beginning of main"
> > +gdb_test "set exec-dir forward" "" "set forward
> direction"
> > +
> > +# Test st0 register
> > +
> > +set location [gdb_get_line_number "test st0
> register"]
> > +gdb_test "until $location"
> ".*/$srcfile:$location.*asm.*fldz.*" \
> > +    "begin test st0"
> > +gdb_test "stepi" "asm.*fld1.*"            "set
> st0 == 0"
> > +gdb_test "info register st0" "st0 *0\t.*" "verify st0
> == 0"
> > +gdb_test "stepi" "asm.*nop.*"             "set
> st0 == 1"
> > +gdb_test "info register st0" "st0 *1\t.*" "verify st0
> == 1"
> > +
> > +# Now step backward, and check that st0 value reverts
> to zero.
> > +
> > +gdb_test "reverse-stepi" "asm.*fld1.*"    "undo set
> st0 == 1"
> > +gdb_test "info register st0" "st0 *0\t.*" "verify st0
> == 0 again"
> > +
> >
> >
>