Re: Submition of i386.record.floating.point.patch

Hui Zhu
2009-06-03T02:58:00Z

On Wed, Jun 3, 2009 at 01:58, paawan oza <paawan1982@yahoo.com> wrote:
> Hi Hui,
>
> I think, you have applied the old patch which I had sent earlier with in tar format.
> the correct patch was in the email body.
>
> I am attaching correct patch, please find it attached.
> the patch is tested against the example program which I have sent.
>

OK. It works.
Could you post some example about howto make sure it works OK?

>
>
> --- On Tue, 6/2/09, Hui Zhu <teawater@gmail.com> wrote:
>
>> From: Hui Zhu <teawater@gmail.com>
>> Subject: Re: Submition of i386.record.floating.point.patch
>> To: "paawan oza" <paawan1982@yahoo.com>
>> Cc: gdb-patches@sourceware.org
>> Date: Tuesday, June 2, 2009, 12:27 PM
>> On Mon, Jun 1, 2009 at 22:54, paawan
>> oza <paawan1982@yahoo.com>
>> wrote:
>> >
>> > Hi,
>> >
>> > I am sorry for the inconvenience caused last time,
>> during patch submition.
>> > this time I am trying to post everything in email
>> body.
>> >
>> >
>> ******************************************************
>> > ChangeLog:
>> >
>> ******************************************************
>> > Current: gdb-6.8.50.20090531
>> > 2009-05-31  Oza  <paawan1982@yahoo.com>
>> >
>> >        * i386-tdep.c: Support for floating point
>> recording.
>> >        * i386-tdep.h: floating point registers
>> enumaration added.
>> >
>> -------------------------------------------------------
>> >
>> >
>> ******************************************************
>> > README:
>> >
>> ******************************************************
>> > Patch description:
>> >
>> > -> Provides floating point support for i386
>>  (reversible debugging:record-replay)
>> > -> previously gdb was not recording floating point
>> registers, now all the floating point registers which are
>> likely to be changed by floating   point instructions, are
>> recorded and replayed.
>> > -> the patch intends to provide the full support
>> for all i386 floating point instructions.
>> >
>> ---------------------------------------------------------
>> >
>> >
>> >
>> >
>> ******************************************************
>> > Patch:i386-record-floats.patch
>> >
>> ******************************************************
>> > diff -urN gdb.orig/i386-tdep.c gdb.new/i386-tdep.c
>> > --- gdb.orig/i386-tdep.c        2009-05-29
>> 17:08:40.000000000 -0400
>> > +++ gdb.new/i386-tdep.c 2009-06-01 20:02:23.000000000
>> -0400
>> > @@ -543,6 +543,9 @@
>> >  /* The maximum number of saved registers.  This
>> should include all
>> >    registers mentioned above, and %eip.  */
>> >  #define I386_NUM_SAVED_REGS    I386_NUM_GREGS
>> > +#define I386_SAVE_FPU_REGS             0xFFFD
>> > +#define I386_SAVE_FPU_ENV              0xFFFE
>> > +#define I386_SAVE_FPU_ENV_REG_STACK    0xFFFF
>> >
>> >  struct i386_frame_cache
>> >  {
>> > @@ -2985,6 +2988,54 @@
>> >   return 0;
>> >  }
>> >
>> > +/* Record the value of floating point registers which
>> will be changed by the current instruction
>> > +   to "record_arch_list".
>> > +   return -1 if something is wrong. */
>> > +
>> > +static int i386_record_floats(struct i386_record_s
>> *ir, uint32_t iregnum)
>> > +{
>> > +  int i;
>> > +
>> > +  /* Oza : push/pop of fpu stack is going to happen
>> > +     currently we store st0-st7 registers, but we
>> need not store all registers all the time.
>> > +     using fstatus, we use 11-13 bits which gives
>> us stack top and hence we optimize our storage. */
>> > +  if (I386_SAVE_FPU_REGS == iregnum)
>> > +    {
>> > +      for
>> (i=I386_ST0_REGNUM;i<=I386_ST7_REGNUM;i++)
>> > +        {
>> > +          if (record_arch_list_add_reg
>> (ir->regcache,i))
>> > +            return -1;
>> > +        }
>> > +    }
>> > +  else if (I386_SAVE_FPU_ENV == iregnum)
>> > +    {
>> > +      for (i=I386_FCTRL;i<=I386_FOP;i++)
>> > +      {
>> > +        if (record_arch_list_add_reg
>> (ir->regcache,i))
>> > +          return -1;
>> > +      }
>> > +    }
>> > +  else if (I386_SAVE_FPU_ENV_REG_STACK == iregnum)
>> > +    {
>> > +      for (i=I386_ST0_REGNUM;i<=I386_FOP;i++)
>> > +      {
>> > +        if (record_arch_list_add_reg
>> (ir->regcache,i))
>> > +          return -1;
>> > +      }
>> > +    }
>> > +  else if (iregnum >= I386_ST0_REGNUM &&
>> iregnum <= I386_FOP)
>> > +    {
>> > +      if (record_arch_list_add_reg
>> (ir->regcache,iregnum))
>> > +        return -1;
>> > +    }
>> > +  else
>> > +    {
>> > +      /* param Error */
>> > +      return -1;
>> > +    }
>> > +  return 0;
>> > +}
>> > +
>> >  /* Parse the current instruction and record the
>> values of the registers and
>> >    memory that will be changed in current
>> instruction to "record_arch_list".
>> >    Return -1 if something wrong. */
>> > @@ -4035,7 +4086,6 @@
>> >       break;
>> >
>> >       /* floats */
>> > -      /* It just record the memory change of
>> instrcution. */
>> >     case 0xd8:
>> >     case 0xd9:
>> >     case 0xda:
>> > @@ -4056,39 +4106,49 @@
>> >            return -1;
>> >          switch (ir.reg)
>> >            {
>> > -           case 0x00:
>> > -           case 0x01:
>> >            case 0x02:
>> > -           case 0x03:
>> > +           case 0x12:
>> > +           case 0x22:
>> > +           case 0x32:
>> > +             /* for FCOM, FICOM nothing to do
>> */
>> > +              break;
>> > +            case 0x03:
>> > +           case 0x13:
>> > +           case 0x23:
>> > +           case 0x33:
>> > +             /* FCOMP, FICOMP pop FPU stack,
>> store all */
>> > +             if (i386_record_floats(&ir,
>> I386_SAVE_FPU_REGS))
>> > +                return -1;
>> > +              break;
>> > +           case 0x00:
>> > +                   case 0x01:
>> >            case 0x04:
>> >            case 0x05:
>> >            case 0x06:
>> >            case 0x07:
>> >            case 0x10:
>> > -           case 0x11:
>> > -           case 0x12:
>> > -           case 0x13:
>> > +                   case 0x11:
>> >            case 0x14:
>> >            case 0x15:
>> >            case 0x16:
>> >            case 0x17:
>> >            case 0x20:
>> >            case 0x21:
>> > -           case 0x22:
>> > -           case 0x23:
>> >            case 0x24:
>> >            case 0x25:
>> >            case 0x26:
>> >            case 0x27:
>> >            case 0x30:
>> >            case 0x31:
>> > -           case 0x32:
>> > -           case 0x33:
>> >            case 0x34:
>> >            case 0x35:
>> >            case 0x36:
>> >            case 0x37:
>> > -             break;
>> > +             /* FADD, FMUL, FSUB, FSUBR, FDIV,
>> FDIVR, FIADD, FIMUL, FISUB, FISUBR, FIDIV, FIDIVR
>> > +              ModR/M.reg is an extension of
>> code, always affects st(0) register */
>> > +             if (i386_record_floats(&ir,
>> I386_ST0_REGNUM))
>> > +                return -1;
>> > +              break;
>> >            case 0x08:
>> >            case 0x0a:
>> >            case 0x0b:
>> > @@ -4096,6 +4156,7 @@
>> >            case 0x19:
>> >            case 0x1a:
>> >            case 0x1b:
>> > +           case 0x1d:
>> >            case 0x28:
>> >            case 0x29:
>> >            case 0x2a:
>> > @@ -4103,11 +4164,16 @@
>> >            case 0x38:
>> >            case 0x39:
>> >            case 0x3a:
>> > -           case 0x3b:
>> > +           case 0x3b:
>> > +           case 0x3c:
>> > +           case 0x3d:
>> >              switch (ir.reg & 7)
>> >                {
>> >                case 0:
>> > -                 break;
>> > +                 /* FLD, FILD */
>> > +                 if
>> (i386_record_floats(&ir, I386_SAVE_FPU_REGS))
>> > +                    return -1;
>> > +                  break;
>> >                case 1:
>> >                  switch (ir.reg >> 4)
>> >                    {
>> > @@ -4120,6 +4186,7 @@
>> >                        return -1;
>> >                      break;
>> >                    case 3:
>> > +                     break;
>> >                    default:
>> >                      if
>> (record_arch_list_add_mem (addr, 2))
>> >                        return -1;
>> > @@ -4130,15 +4197,42 @@
>> >                  switch (ir.reg >> 4)
>> >                    {
>> >                    case 0:
>> > +                     if
>> (record_arch_list_add_mem (addr, 4))
>> > +                       return -1;
>> > +                     if (3 == (ir.reg &
>> 7))
>> > +                        {
>> > +                        /* FSTP m32fp */
>> > +                       if
>> (i386_record_floats(&ir, I386_SAVE_FPU_REGS))
>> > +                         return -1;
>> > +                        }
>> > +                      break;
>> >                    case 1:
>> >                      if
>> (record_arch_list_add_mem (addr, 4))
>> >                        return -1;
>> > +                     if ((3 == (ir.reg
>> & 7)) || (5 == (ir.reg & 7)) || (7 == (ir.reg &
>> 7)))
>> > +                        {
>> > +                        /* FSTP */
>> > +                       if
>> (i386_record_floats(&ir, I386_SAVE_FPU_REGS))
>> > +                         return -1;
>> > +                        }
>> >                      break;
>> >                    case 2:
>> >                      if
>> (record_arch_list_add_mem (addr, 8))
>> >                        return -1;
>> > +                     if (3 == (ir.reg &
>> 7))
>> > +                        {
>> > +                        /* FSTP m64fp */
>> > +                       if
>> (i386_record_floats(&ir, I386_SAVE_FPU_REGS))
>> > +                         return -1;
>> > +                        }
>> >                      break;
>> >                    case 3:
>> > +                     if ((3 <= (ir.reg
>> & 7)) && (6 <= (ir.reg & 7)))
>> > +                        {
>> > +                        /* FISTP, FBLD,
>> FILD, FBSTP */
>> > +                       if
>> (i386_record_floats(&ir, I386_SAVE_FPU_REGS))
>> > +                         return -1;
>> > +                        }
>> >                    default:
>> >                      if
>> (record_arch_list_add_mem (addr, 2))
>> >                        return -1;
>> > @@ -4147,54 +4241,71 @@
>> >                  break;
>> >                }
>> >              break;
>> > -           case 0x0c:
>> > -           case 0x0d:
>> > -           case 0x1d:
>> > -           case 0x2c:
>> > -           case 0x3c:
>> > -           case 0x3d:
>> > -             break;
>> > -           case 0x0e:
>> > +           case 0x0c:
>> > +             /* FLDENV */
>> > +             if (i386_record_floats(&ir,
>> I386_SAVE_FPU_ENV_REG_STACK))
>> > +               return -1;
>> > +              break;
>> > +           case 0x0d:
>> > +              /* FLDCW */
>> > +             if (i386_record_floats(&ir,
>> I386_FCTRL))
>> > +               return -1;
>> > +              break;
>> > +           case 0x2c:
>> > +              /* FRTSTOR */
>> > +             if (i386_record_floats(&ir,
>> I386_SAVE_FPU_ENV_REG_STACK))
>> > +               return -1;
>> > +             break;
>> > +           case 0x0e:
>> >              if (ir.dflag)
>> >                {
>> > -                 if (record_arch_list_add_mem
>> (addr, 28))
>> > -                   return -1;
>> > +               if (record_arch_list_add_mem
>> (addr, 28))
>> > +                 return -1;
>> >                }
>> >              else
>> >                {
>> > -                 if (record_arch_list_add_mem
>> (addr, 14))
>> > -                   return -1;
>> > +               if (record_arch_list_add_mem
>> (addr, 14))
>> > +                 return -1;
>> >                }
>> >              break;
>> > -           case 0x0f:
>> > -           case 0x2f:
>> > +           case 0x0f:
>> > +           case 0x2f:
>> >              if (record_arch_list_add_mem
>> (addr, 2))
>> >                return -1;
>> >              break;
>> > -           case 0x1f:
>> > -           case 0x3e:
>> > +           case 0x1f:
>> > +           case 0x3e:
>> >              if (record_arch_list_add_mem
>> (addr, 10))
>> >                return -1;
>> > +              /* FSTP, FBSTP */
>> > +              if (i386_record_floats(&ir,
>> I386_SAVE_FPU_REGS))
>> > +               return -1;
>> >              break;
>> > -           case 0x2e:
>> > +           case 0x2e:
>> >              if (ir.dflag)
>> >                {
>> > -                 if (record_arch_list_add_mem
>> (addr, 28))
>> > -                   return -1;
>> > -                 addr += 28;
>> > +               if (record_arch_list_add_mem
>> (addr, 28))
>> > +                 return -1;
>> > +               addr += 28;
>> >                }
>> >              else
>> >                {
>> > -                 if (record_arch_list_add_mem
>> (addr, 14))
>> > -                   return -1;
>> > -                 addr += 14;
>> > +               if (record_arch_list_add_mem
>> (addr, 14))
>> > +                 return -1;
>> > +               addr += 14;
>> >                }
>> >              if (record_arch_list_add_mem
>> (addr, 80))
>> >                return -1;
>> > +              /* FSAVE */
>> > +             if (i386_record_floats(&ir,
>> I386_SAVE_FPU_ENV_REG_STACK))
>> > +               return -1;
>> >              break;
>> > -           case 0x3f:
>> > +           case 0x3f:
>> >              if (record_arch_list_add_mem
>> (addr, 8))
>> >                return -1;
>> > +               /* FISTP */
>> > +              if (i386_record_floats(&ir,
>> I386_SAVE_FPU_REGS))
>> > +               return -1;
>> >              break;
>> >            default:
>> >              ir.addr -= 2;
>> > @@ -4202,9 +4313,180 @@
>> >              goto no_support;
>> >              break;
>> >            }
>> > -       }
>> > +       }
>> > +        /* opcode is an extension of modR/M byte
>> */
>> > +       else
>> > +       {
>> > +          switch (opcode)
>> > +            {
>> > +            case 0xd8:
>> > +              if (i386_record_floats(&ir,
>> I386_ST0_REGNUM))
>> > +                return -1;
>> > +              break;
>> > +            case 0xd9:
>> > +              if (0x0c == (ir.modrm >>
>> 4))
>> > +                {
>> > +                  if ((ir.modrm & 0x0f)
>> <= 7)
>> > +                    {
>> > +                    if
>> (i386_record_floats(&ir, I386_SAVE_FPU_REGS))
>> > +                      return -1;
>> > +                    }
>> > +                  else
>> > +                    {
>> > +                    if
>> (i386_record_floats(&ir, I386_ST0_REGNUM))
>> > +                      return -1;
>> > +                    /* if only st(0) is
>> changing, then we have already recorded */
>> > +                    if ((ir.modrm &
>> 0x0f) - 0x08)
>> > +                      {
>> > +                      if
>> (i386_record_floats(&ir, I386_ST0_REGNUM + ((ir.modrm
>> & 0x0f) - 0x08)))
>> > +                        return -1;
>> > +                      }
>> > +                    }
>> > +                }
>> > +              else
>> > +                {
>> > +                switch(ir.modrm)
>> > +                  {
>> > +                  case 0xe0:
>> > +                  case 0xe1:
>> > +                  case 0xf0:
>> > +                  case 0xf5:
>> > +                  case 0xf8:
>> > +                  case 0xfa:
>> > +                  case 0xfc:
>> > +                  case 0xfe:
>> > +                  case 0xff:
>> > +                    if
>> (i386_record_floats(&ir, I386_ST0_REGNUM))
>> > +                      return -1;
>> > +                    break;
>> > +                  case 0xf1:
>> > +                  case 0xf2:
>> > +                  case 0xf3:
>> > +                  case 0xf4:
>> > +                  case 0xf6:
>> > +                  case 0xf7:
>> > +                  case 0xe8:
>> > +                  case 0xe9:
>> > +                  case 0xea:
>> > +                  case 0xeb:
>> > +                  case 0xec:
>> > +                  case 0xed:
>> > +                  case 0xee:
>> > +                  case 0xf9:
>> > +                  case 0xfb:
>> > +                    if
>> (i386_record_floats(&ir, I386_SAVE_FPU_REGS))
>> > +                      return -1;
>> > +                    break;
>> > +                  case 0xfd:
>> > +                    if
>> (i386_record_floats(&ir, I386_ST0_REGNUM))
>> > +                      return -1;
>> > +                    if
>> (i386_record_floats(&ir, I386_ST1_REGNUM))
>> > +                      return -1;
>> > +                    break;
>> > +                  }
>> > +              }
>> > +              break;
>> > +            case 0xda:
>> > +              if (0xe9 == ir.modrm)
>> > +                {
>> > +               if (i386_record_floats(&ir,
>> I386_SAVE_FPU_REGS))
>> > +                  return -1;
>> > +                }
>> > +              else if ((0x0c == ir.modrm
>> >> 4) || (0x0d == ir.modrm >> 4))
>> > +                {
>> > +                if
>> (i386_record_floats(&ir, I386_ST0_REGNUM))
>> > +                  return -1;
>> > +                if (((ir.modrm & 0x0f)
>> > 0) && ((ir.modrm & 0x0f) <= 7))
>> > +                  {
>> > +                  if
>> (i386_record_floats(&ir, I386_ST0_REGNUM + (ir.modrm
>> & 0x0f)))
>> > +                    return -1;
>> > +                  }
>> > +                else if ((ir.modrm &
>> 0x0f) - 0x08)
>> > +                  {
>> > +                 if
>> (i386_record_floats(&ir, I386_ST0_REGNUM + ((ir.modrm
>> & 0x0f) - 0x08)))
>> > +                    return -1;
>> > +                  }
>> > +                }
>> > +              break;
>> > +            case 0xdb:
>> > +              if (0xe3 == ir.modrm)
>> > +                {
>> > +               if (i386_record_floats(&ir,
>> I386_SAVE_FPU_ENV))
>> > +                  return -1;
>> > +                }
>> > +              else if ((0x0c == ir.modrm
>> >> 4) || (0x0d == ir.modrm >> 4))
>> > +                {
>> > +                if
>> (i386_record_floats(&ir, I386_ST0_REGNUM))
>> > +                  return -1;
>> > +                if (((ir.modrm & 0x0f)
>> > 0) && ((ir.modrm & 0x0f) <= 7))
>> > +                  {
>> > +                  if
>> (i386_record_floats(&ir, I386_ST0_REGNUM + (ir.modrm
>> & 0x0f)))
>> > +                    return -1;
>> > +                  }
>> > +                else if ((ir.modrm &
>> 0x0f) - 0x08)
>> > +                  {
>> > +                 if
>> (i386_record_floats(&ir, I386_ST0_REGNUM + ((ir.modrm
>> & 0x0f) - 0x08)))
>> > +                    return -1;
>> > +                  }
>> > +                }
>> > +              break;
>> > +            case 0xdc:
>> > +              if ((0x0c == ir.modrm >>
>> 4) || (0x0d == ir.modrm >> 4) || (0x0f == ir.modrm
>> >> 4))
>> > +                {
>> > +                if ((ir.modrm & 0x0f)
>> <= 7)
>> > +                  {
>> > +                  if
>> (i386_record_floats(&ir, I386_ST0_REGNUM + (ir.modrm
>> & 0x0f)))
>> > +                    return -1;
>> > +                  }
>> > +                else
>> > +                  {
>> > +                 if
>> (i386_record_floats(&ir, I386_ST0_REGNUM + ((ir.modrm
>> & 0x0f) - 0x08)))
>> > +                    return -1;
>> > +                  }
>> > +                }
>> > +               break;
>> > +            case 0xdd:
>> > +              if (0x0c == ir.modrm >>
>> 4)
>> > +                {
>> > +                  if
>> (i386_record_floats(&ir,I386_FTAG))
>> > +                    return -1;
>> > +                }
>> > +              else if ((0x0d == ir.modrm
>> >> 4) || (0x0e == ir.modrm >> 4))
>> > +                {
>> > +                  if ((ir.modrm & 0x0f)
>> <= 7)
>> > +                    {
>> > +                      if
>> (i386_record_floats(&ir, I386_ST0_REGNUM + (ir.modrm
>> & 0x0f)))
>> > +                        return -1;
>> > +                    }
>> > +                  else
>> > +                    {
>> > +                      if
>> (i386_record_floats(&ir, I386_SAVE_FPU_REGS))
>> > +                        return -1;
>> > +                    }
>> > +                }
>> > +              break;
>> > +            case 0xde:
>> > +              if ((0x0c == ir.modrm >>
>> 4) || (0x0e == ir.modrm >> 4) || (0x0f == ir.modrm
>> >> 4) || (0xd9 == ir.modrm))
>> > +                {
>> > +                  if
>> (i386_record_floats(&ir, I386_SAVE_FPU_REGS))
>> > +                    return -1;
>> > +                }
>> > +              break;
>> > +            case 0xdf:
>> > +             if (0xe0 == ir.modrm)
>> > +                {
>> > +                  if
>> (record_arch_list_add_reg (ir.regcache, I386_EAX_REGNUM))
>> > +                   return -1;
>> > +                }
>> > +              else if ((0x0f == ir.modrm
>> >> 4) || (0x0e == ir.modrm >> 4))
>> > +                {
>> > +                  if
>> (i386_record_floats(&ir, I386_SAVE_FPU_REGS))
>> > +                    return -1;
>> > +                }
>> > +              break;
>> > +            }
>> > +        }
>> >       break;
>> > -
>> >       /* string ops */
>> >       /* movsS */
>> >     case 0xa4:
>> > @@ -4623,10 +4905,17 @@
>> >       /* fwait */
>> >       /* XXX */
>> >     case 0x9b:
>> > -      printf_unfiltered (_("Process record doesn't
>> support instruction "
>> > -                          "fwait.\n"));
>> > -      ir.addr -= 1;
>> > -      goto no_support;
>> > +      if (target_read_memory (ir.addr, &tmpu8,
>> 1))
>> > +       {
>> > +         if (record_debug)
>> > +           printf_unfiltered (_("Process record:
>> error reading memory at "
>> > +                                "addr
>> 0x%s len = 1.\n"),
>> > +                              paddr_nz
>> (ir.addr));
>> > +         return -1;
>> > +       }
>> > +      opcode = (uint32_t) tmpu8;
>> > +      ir.addr++;
>> > +      goto reswitch;
>> >       break;
>> >
>> >       /* int3 */
>> > diff -urN gdb.orig/i386-tdep.h gdb.new/i386-tdep.h
>> > --- gdb.orig/i386-tdep.h        2009-05-17
>> 17:56:44.000000000 -0400
>> > +++ gdb.new/i386-tdep.h 2009-05-31 16:33:14.000000000
>> -0400
>> > @@ -145,7 +145,22 @@
>> >   I386_ES_REGNUM,              /* %es */
>> >   I386_FS_REGNUM,              /* %fs */
>> >   I386_GS_REGNUM,              /* %gs */
>> > -  I386_ST0_REGNUM              /* %st(0) */
>> > +  I386_ST0_REGNUM,             /* %st(0) */
>> > +  I386_ST1_REGNUM,             /* %st(1) */
>> > +  I386_ST2_REGNUM,             /* %st(2) */
>> > +  I386_ST3_REGNUM,             /* %st(3) */
>> > +  I386_ST4_REGNUM,             /* %st(4) */
>> > +  I386_ST5_REGNUM,             /* %st(5) */
>> > +  I386_ST6_REGNUM,             /* %st(6) */
>> > +  I386_ST7_REGNUM,             /* %st(7) */
>> > +  I386_FCTRL,                  /* floating
>> point env regs : FCTRL-FOP */
>> > +  I386_FSTAT,
>> > +  I386_FTAG,
>> > +  I386_FISEG,
>> > +  I386_FIOFF,
>> > +  I386_FOSEG,
>> > +  I386_FOOFF,
>> > +  I386_FOP
>> >  };
>> >
>>
>> About this part, I think this is my mistake.  I didn't
>> take fp work
>> for now very clear (Or I am still not clear with x86 fp).
>> FCTRL, FOP and so on are the fp reg of amd64.  For
>> now, prec is still
>> not support amd64 (I am working on it).
>> And amd64's support are in amd64-tedp.... files.
>> Change i386_regnum
>> is not a good idea.
>>
>> I suggest you divide fp patch to 2 parts. One is for i386,
>> the other for amd64.
>> For now, just send i386 patch for review.  And send
>> amd64 patch when
>> prec support amd64.
>>

What do you think about my idea?

Thanks,
Hui

>>
>>
>> >  #define I386_NUM_GREGS 16
>> >
>> >
>> >
>> >
>> >
>> *******************************************************
>> > test-example which does basic verification for the
>> patch.
>> >
>> *******************************************************
>> >
>> > #include <stdio.h>
>> > #include <math.h>
>> >
>> > int main()
>> > {
>> >        float no1,no2,no3,no4,no5,no6,no7;
>> >        double x = 100.345, y = 25.7789;
>> >        long double ldx = 88888888888888888888.88,
>> ldy = 9999999999999999999.99;
>> >        float result,resultd,resultld;
>> >        no1 = 10.45;
>> >        no2 = 20.77;
>> >        no3 = 156.89874646;
>> >        no4 = 14.56;
>> >        no5 = 11.11;
>> >        no6 = 66.77;
>> >        no7 = 88.88;
>> >
>> >        result = no1 + no2 + no3 + no4 + no5 + no6
>> + no7;
>> >        printf("result is %f\n",result);
>> >
>> >        result = fmodf(no2,no1);
>> >        printf("result is %f\n",result);
>> >
>> >        resultd = fmod(x,y);
>> >        printf("result is %f\n",resultd);
>> >
>> >        resultld = fmodl(ldy,ldy);
>> >        printf("result is %f\n",resultld);
>> >
>> >        result = fabsf(no1);
>> >        printf("result is %f\n",result);
>> >
>> >        result = no3 / no4;
>> >        printf("result is %f\n",result);
>> >
>> >        result = no1 * no2 * no3 * no4;
>> >        printf("result is %f\n",result);
>> >
>> >        result = sin(30);
>> >        printf("result is %f\n",result);
>> >
>> >        result = cos(30);
>> >        printf("result is %f\n",result);
>> >
>> >        result = tan(30);
>> >        printf("result is %f\n",result);
>> >
>> >        result = atan(30);
>> >        printf("result is %f\n",result);
>> >
>> >        result = sqrt(no3);
>> >        printf("result is %f\n",result);
>> >
>> >        result = log10(no3);
>> >        printf("result is %f\n",result);
>> >
>> >        result = log(no3);
>> >        printf("result is %f\n",result);
>> >
>> >        result = exp10(no3);
>> >        printf("result is %f\n",result);
>> >
>> >        result = exp(no3);
>> >        printf("result is %f\n",result);
>> >
>> >        ldy = 88888888888888888888.88;
>> >        if (ldx == ldy)
>> >          ldy = 7777777777777777777777777777.777;
>> >        else
>> >          ldy = 666666666666666666666666666.666;
>> >
>> > }
>>
>> With this example, what I got is:
>> gdb ./a.out
>> GNU gdb (GDB) 6.8.50.20090602-cvs
>> Copyright (C) 2009 Free Software Foundation, Inc.
>> License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>
>> This is free software: you are free to change and
>> redistribute it.
>> There is NO WARRANTY, to the extent permitted by law.
>> Type "show copying"
>> and "show warranty" for details.
>> This GDB was configured as "i686-pc-linux-gnu".
>> For bug reporting instructions, please see:
>> <http://www.gnu.org/software/gdb/bugs/>...
>> Setting up the environment for debugging gdb.
>> Function "internal_error" not defined.
>> Make breakpoint pending on future shared library load? (y
>> or [n])
>> [answered N; input not from terminal]
>> Function "info_command" not defined.
>> Make breakpoint pending on future shared library load? (y
>> or [n])
>> [answered N; input not from terminal]
>> /home/teawater/gdb/bgdb/gdb/.gdbinit:8: Error in sourced
>> command file:
>> No breakpoint number 0.
>> (gdb) start
>> During symbol reading, DW_AT_name missing from
>> DW_TAG_base_type.
>> Temporary breakpoint 1 at 0x8048608: file 1.c, line 7.
>> Starting program: /home/teawater/gdb/bgdb/gdb/a.out
>>
>> Temporary breakpoint 1, main () at 1.c:7
>> 7           double
>> x = 100.345, y = 25.7789;
>> (gdb) record
>> (gdb) c
>> Continuing.
>> result is 369.438751
>> Process record doesn't support instruction fwait.
>> Process record doesn't support instruction 0x9b at address
>> 0xb7fa35fa.
>> Process record: failed to record execution log.
>>
>> Program received signal SIGTRAP, Trace/breakpoint trap.
>> 0xb7fa35fa in ?? () from /lib/tls/i686/cmov/libm.so.6
>> (gdb)
>>
>>
>> Thanks,
>> Hui
>>
>
>
>