From: Michael Snyder <msnyder@vmware.com>
To: paawan oza <paawan1982@yahoo.com>
Cc: Hui Zhu <teawater@gmail.com>,
Mark Kettenis <mark.kettenis@xs4all.nl>,
"pedro@codesourcery.com" <pedro@codesourcery.com>,
"gdb-patches@sourceware.org" <gdb-patches@sourceware.org>
Subject: Re: final i386.floating.record.patch
Date: Wed, 29 Jul 2009 22:01:00 -0000 [thread overview]
Message-ID: <4A70AD4A.2080604@vmware.com> (raw)
In-Reply-To: <337799.66621.qm@web112517.mail.gq1.yahoo.com>
paawan oza wrote:
> Hi All,
>
> Now the format is modified, and I am submitting the patch, I hope this meets the expectations.
> thank you all for your review comments specially Micahel and Hui.
> please find the patch as follows.
I'm sorry, Oza, but the patch does not apply.
bash-3.00$ patch < ~/oza3/i386.floating.record.patch.txt
patching file i386-tdep.c
Hunk #3 succeeded at 4249 with fuzz 1.
Hunk #4 FAILED at 4263.
Hunk #5 FAILED at 4321.
Hunk #6 FAILED at 4330.
Hunk #7 FAILED at 4351.
Hunk #8 FAILED at 4362.
Hunk #9 FAILED at 4414.
Hunk #10 FAILED at 4451.
Hunk #11 FAILED at 4470.
Hunk #12 FAILED at 4489.
Hunk #13 FAILED at 5110.
10 out of 13 hunks FAILED -- saving rejects to file i386-tdep.c.rej
>
> **********
> ChangeLog
> **********
> Current: gdb-6.8.50.20090729
> 2009-07-29 Oza <paawan1982@yahoo.com>
>
> * i386-tdep.c: Support for floating point recording.
>
> ******
> 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
> *****
>
> diff -urN gdb.orig/i386-tdep.c gdb.new/i386-tdep.c
> --- gdb.orig/i386-tdep.c 2009-07-29 19:48:51.000000000 -0400
> +++ gdb.new/i386-tdep.c 2009-07-29 19:51:08.000000000 -0400
> @@ -3139,6 +3139,66 @@
> return 0;
> }
>
> +
> +/* Defines contents to record. */
> +#define I386_SAVE_FPU_REGS 0xfffd
> +#define I386_SAVE_FPU_ENV 0xfffe
> +#define I386_SAVE_FPU_ENV_REG_STACK 0xffff
> +
> +/* 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 gdbarch *gdbarch,
> + struct i386_record_s *ir,
> + uint32_t iregnum)
> +{
> + struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
> + int i;
> +
> + /* Oza: Because of floating point insn 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, in future we use ftag register and record only
> + those who are not marked as an empty. */
> +
> + if (I386_SAVE_FPU_REGS == iregnum)
> + {
> + for (i = I387_ST0_REGNUM (tdep); i <= I387_ST0_REGNUM (tdep) + 7; i++)
> + {
> + if (record_arch_list_add_reg (ir->regcache, i))
> + return -1;
> + }
> + }
> + else if (I386_SAVE_FPU_ENV == iregnum)
> + {
> + for (i = I387_FCTRL_REGNUM (tdep); i <= I387_FOP_REGNUM (tdep); i++)
> + {
> + if (record_arch_list_add_reg (ir->regcache, i))
> + return -1;
> + }
> + }
> + else if (I386_SAVE_FPU_ENV_REG_STACK == iregnum)
> + {
> + for (i = I387_ST0_REGNUM (tdep); i <= I387_FOP_REGNUM (tdep); i++)
> + {
> + if (record_arch_list_add_reg (ir->regcache, i))
> + return -1;
> + }
> + }
> + else if ((iregnum >= I387_ST0_REGNUM (tdep)) &&
> + (iregnum <= I387_FOP_REGNUM (tdep)))
> + {
> + if (record_arch_list_add_reg (ir->regcache,iregnum))
> + return -1;
> + }
> + else
> + {
> + /* Parameter 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. */
> @@ -3153,6 +3213,7 @@
> uint32_t tmpu32;
> uint32_t opcode;
> struct i386_record_s ir;
> + struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
>
> memset (&ir, 0, sizeof (struct i386_record_s));
> ir.regcache = regcache;
> @@ -4188,8 +4249,7 @@
> }
> break;
>
> - /* floats */
> - /* It just record the memory change of instrcution. */
> + /* Floats. */
> case 0xd8:
> case 0xd9:
> case 0xda:
> @@ -4203,45 +4263,56 @@
> ir.reg |= ((opcode & 7) << 3);
> if (ir.mod != 3)
> {
> - /* memory */
> + /* Memory. */
> uint32_t addr;
>
> if (i386_record_lea_modrm_addr (&ir, &addr))
> return -1;
> switch (ir.reg)
> {
> - case 0x00:
> - case 0x01:
> case 0x02:
> + case 0x12:
> + case 0x22:
> + case 0x32:
> + /* For fcom, ficom nothing to do. */
> + break;
> case 0x03:
> + case 0x13:
> + case 0x23:
> + case 0x33:
> + /* For fcomp, ficomp pop FPU stack, store all. */
> + if (i386_record_floats (gdbarch, &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 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:
> + /* For 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 (gdbarch, &ir, I387_ST0_REGNUM (tdep)))
> + return -1;
> break;
> case 0x08:
> case 0x0a:
> @@ -4250,6 +4321,7 @@
> case 0x19:
> case 0x1a:
> case 0x1b:
> + case 0x1d:
> case 0x28:
> case 0x29:
> case 0x2a:
> @@ -4258,9 +4330,14 @@
> case 0x39:
> case 0x3a:
> case 0x3b:
> + case 0x3c:
> + case 0x3d:
> switch (ir.reg & 7)
> {
> case 0:
> + /* Handling fld, fild. */
> + if (i386_record_floats (gdbarch, &ir, I386_SAVE_FPU_REGS))
> + return -1;
> break;
> case 1:
> switch (ir.reg >> 4)
> @@ -4274,6 +4351,7 @@
> return -1;
> break;
> case 3:
> + break;
> default:
> if (record_arch_list_add_mem (addr, 2))
> return -1;
> @@ -4284,15 +4362,49 @@
> switch (ir.reg >> 4)
> {
> case 0:
> + if (record_arch_list_add_mem (addr, 4))
> + return -1;
> + if (3 == (ir.reg & 7))
> + {
> + /* For fstp m32fp. */
> + if (i386_record_floats (gdbarch, &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)))
> + {
> + /* For fstp insn. */
> + if (i386_record_floats (gdbarch, &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))
> + {
> + /* For fstp m64fp. */
> + if (i386_record_floats (gdbarch, &ir,
> + I386_SAVE_FPU_REGS))
> + return -1;
> + }
> break;
> case 3:
> + if ((3 <= (ir.reg & 7)) && (6 <= (ir.reg & 7)))
> + {
> + /* For fistp, fbld, fild, fbstp. */
> + if (i386_record_floats (gdbarch, &ir,
> + I386_SAVE_FPU_REGS))
> + return -1;
> + }
> + /* Fall through */
> default:
> if (record_arch_list_add_mem (addr, 2))
> return -1;
> @@ -4302,11 +4414,21 @@
> }
> break;
> case 0x0c:
> + /* Insn fldenv. */
> + if (i386_record_floats (gdbarch, &ir,
> + I386_SAVE_FPU_ENV_REG_STACK))
> + return -1;
> + break;
> case 0x0d:
> - case 0x1d:
> + /* Insn fldcw. */
> + if (i386_record_floats (gdbarch, &ir, I387_FCTRL_REGNUM (tdep)))
> + return -1;
> + break;
> case 0x2c:
> - case 0x3c:
> - case 0x3d:
> + /* Insn frstor. */
> + if (i386_record_floats (gdbarch, &ir,
> + I386_SAVE_FPU_ENV_REG_STACK))
> + return -1;
> break;
> case 0x0e:
> if (ir.dflag)
> @@ -4329,6 +4451,9 @@
> case 0x3e:
> if (record_arch_list_add_mem (addr, 10))
> return -1;
> + /* Insn fstp, fbstp. */
> + if (i386_record_floats (gdbarch, &ir, I386_SAVE_FPU_REGS))
> + return -1;
> break;
> case 0x2e:
> if (ir.dflag)
> @@ -4345,10 +4470,17 @@
> }
> if (record_arch_list_add_mem (addr, 80))
> return -1;
> + /* Insn fsave. */
> + if (i386_record_floats (gdbarch, &ir,
> + I386_SAVE_FPU_ENV_REG_STACK))
> + return -1;
> break;
> case 0x3f:
> if (record_arch_list_add_mem (addr, 8))
> return -1;
> + /* Ins fistp. */
> + if (i386_record_floats (gdbarch, &ir, I386_SAVE_FPU_REGS))
> + return -1;
> break;
> default:
> ir.addr -= 2;
> @@ -4357,8 +4489,211 @@
> break;
> }
> }
> + /* Opcode is an extension of modR/M byte. */
> + else
> + {
> + switch (opcode)
> + {
> + case 0xd8:
> + if (i386_record_floats (gdbarch, &ir, I387_ST0_REGNUM (tdep)))
> + return -1;
> + break;
> + case 0xd9:
> + if (0x0c == (ir.modrm >> 4))
> + {
> + if ((ir.modrm & 0x0f) <= 7)
> + {
> + if (i386_record_floats (gdbarch, &ir,
> + I386_SAVE_FPU_REGS))
> + return -1;
> + }
> + else
> + {
> + if (i386_record_floats (gdbarch, &ir,
> + I387_ST0_REGNUM (tdep)))
> + return -1;
> + /* If only st(0) is changing, then we have already
> + recorded. */
> + if ((ir.modrm & 0x0f) - 0x08)
> + {
> + if (i386_record_floats (gdbarch, &ir,
> + I387_ST0_REGNUM (tdep) +
> + ((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 (gdbarch, &ir,
> + I387_ST0_REGNUM (tdep)))
> + 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 (gdbarch, &ir,
> + I386_SAVE_FPU_REGS))
> + return -1;
> + break;
> + case 0xfd:
> + if (i386_record_floats (gdbarch, &ir,
> + I387_ST0_REGNUM (tdep)))
> + return -1;
> + if (i386_record_floats (gdbarch, &ir,
> + I387_ST0_REGNUM (tdep) + 1))
> + return -1;
> + break;
> + }
> + }
> + break;
> + case 0xda:
> + if (0xe9 == ir.modrm)
> + {
> + if (i386_record_floats (gdbarch, &ir, I386_SAVE_FPU_REGS))
> + return -1;
> + }
> + else if ((0x0c == ir.modrm >> 4) || (0x0d == ir.modrm >> 4))
> + {
> + if (i386_record_floats (gdbarch, &ir,
> + I387_ST0_REGNUM (tdep)))
> + return -1;
> + if (((ir.modrm & 0x0f) > 0) && ((ir.modrm & 0x0f) <= 7))
> + {
> + if (i386_record_floats (gdbarch, &ir,
> + I387_ST0_REGNUM (tdep) +
> + (ir.modrm & 0x0f)))
> + return -1;
> + }
> + else if ((ir.modrm & 0x0f) - 0x08)
> + {
> + if (i386_record_floats (gdbarch, &ir,
> + I387_ST0_REGNUM (tdep) +
> + ((ir.modrm & 0x0f) - 0x08)))
> + return -1;
> + }
> + }
> + break;
> + case 0xdb:
> + if (0xe3 == ir.modrm)
> + {
> + if (i386_record_floats (gdbarch, &ir, I386_SAVE_FPU_ENV))
> + return -1;
> + }
> + else if ((0x0c == ir.modrm >> 4) || (0x0d == ir.modrm >> 4))
> + {
> + if (i386_record_floats (gdbarch, &ir,
> + I387_ST0_REGNUM (tdep)))
> + return -1;
> + if (((ir.modrm & 0x0f) > 0) && ((ir.modrm & 0x0f) <= 7))
> + {
> + if (i386_record_floats (gdbarch, &ir,
> + I387_ST0_REGNUM (tdep) +
> + (ir.modrm & 0x0f)))
> + return -1;
> + }
> + else if ((ir.modrm & 0x0f) - 0x08)
> + {
> + if (i386_record_floats (gdbarch, &ir,
> + I387_ST0_REGNUM (tdep) +
> + ((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 (gdbarch, &ir,
> + I387_ST0_REGNUM (tdep) +
> + (ir.modrm & 0x0f)))
> + return -1;
> + }
> + else
> + {
> + if (i386_record_floats (gdbarch, &ir,
> + I387_ST0_REGNUM (tdep) +
> + ((ir.modrm & 0x0f) - 0x08)))
> + return -1;
> + }
> + }
> + break;
> + case 0xdd:
> + if (0x0c == ir.modrm >> 4)
> + {
> + if (i386_record_floats (gdbarch, &ir,
> + I387_FTAG_REGNUM (tdep)))
> + return -1;
> + }
> + else if ((0x0d == ir.modrm >> 4) || (0x0e == ir.modrm >> 4))
> + {
> + if ((ir.modrm & 0x0f) <= 7)
> + {
> + if (i386_record_floats (gdbarch, &ir,
> + I387_ST0_REGNUM (tdep) +
> + (ir.modrm & 0x0f)))
> + return -1;
> + }
> + else
> + {
> + if (i386_record_floats (gdbarch, &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 (gdbarch, &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 (gdbarch, &ir, I386_SAVE_FPU_REGS))
> + return -1;
> + }
> + break;
> + }
> + }
> break;
> -
> /* string ops */
> /* movsS */
> case 0xa4:
> @@ -4775,12 +5110,18 @@
> break;
>
> /* 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"),
> + paddress (gdbarch, ir.addr));
> + return -1;
> + }
> + opcode = (uint32_t) tmpu8;
> + ir.addr++;
> + goto reswitch;
> break;
>
> /* int3 */
>
>
> Regards,
> Oza.
>
>
>
>
> --- On Mon, 7/27/09, Michael Snyder <msnyder@vmware.com> wrote:
>
>> From: Michael Snyder <msnyder@vmware.com>
>> Subject: Re: i386.record.floating.point.patch : with more testing and assurity
>> To: "paawan oza" <paawan1982@yahoo.com>
>> Cc: "Hui Zhu" <teawater@gmail.com>, "Mark Kettenis" <mark.kettenis@xs4all.nl>, "pedro@codesourcery.com" <pedro@codesourcery.com>, "gdb-patches@sourceware.org" <gdb-patches@sourceware.org>
>> Date: Monday, July 27, 2009, 12:34 AM
>> paawan oza wrote:
>>
>>> (please try take difference with attached files and
>> see the 'diff' result, it is strange, if you take the patch
>> on windows it gets even more worse with formatting)
>>
>> OK, I've done as you suggested. Here are my comments
>> (search for "msnyder):
>>
>>
>> -----Inline Attachment Follows-----
>>
>>
>> --- i386-tdep.0726.c 2009-07-26
>> 10:55:37.000013000 -0700
>> +++ i386-tdep.c 2009-07-26
>> 11:00:19.001044000 -0700
>> @@ -3139,6 +3139,66 @@
>> return 0;
>> }
>>
>> +
>> +/* Defines contents to record. */
>> +#define I386_SAVE_FPU_REGS
>> 0xfffd
>> +#define I386_SAVE_FPU_ENV
>> 0xfffe
>> +#define I386_SAVE_FPU_ENV_REG_STACK
>> 0xffff
>> +
>> +/* 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 gdbarch
>> *gdbarch,
>> +
>>
>> struct i386_record_s *ir,
>> +
>>
>> uint32_t iregnum)
>> +{
>> + struct gdbarch_tdep *tdep = gdbarch_tdep
>> (gdbarch);
>> + int i;
>> +
>> + /* Oza:Because of floating point insn push/pop of
>> fpu stack is going to
>>
>> msnyder: "Oza: Because"
>>
>> + happen. Currently we store
>> st0-st7 registers, but we need not store all
>> + registers all the time, in future
>> we use ftag register and record only
>> + those who are not marked as an
>> empty.
>> + */
>> + if (I386_SAVE_FPU_REGS == iregnum)
>> + {
>> + for (i = I387_ST0_REGNUM (tdep);i
>> <= I387_ST0_REGNUM (tdep) + 7;i++)
>>
>> msynder:
>> for (i = I387_ST0_REGNUM
>> (tdep); i <= I387_ST0_REGNUM (tdep) + 7; i++)
>>
>> + {
>> + if
>> (record_arch_list_add_reg (ir->regcache, i))
>> + return -1;
>> + }
>> + }
>> + else if (I386_SAVE_FPU_ENV == iregnum)
>> + {
>> + for (i = I387_FCTRL_REGNUM (tdep);i
>> <= I387_FOP_REGNUM (tdep);i++)
>>
>> msnyder:
>> for (i = I387_FCTRL_REGNUM
>> (tdep); i <= I387_FOP_REGNUM (tdep); i++)
>>
>> + {
>>
>> msnyder: indent { to the right by two spaces after "for".
>>
>> + if (record_arch_list_add_reg
>> (ir->regcache, i))
>> + return -1;
>> + }
>> + }
>> + else if (I386_SAVE_FPU_ENV_REG_STACK == iregnum)
>> + {
>> + for (i = I387_ST0_REGNUM (tdep);i
>> <= I387_FOP_REGNUM (tdep);i++)
>>
>> msnyder:
>> for (i = I387_ST0_REGNUM
>> (tdep); i <= I387_FOP_REGNUM (tdep); i++)
>>
>> + {
>> + if (record_arch_list_add_reg
>> (ir->regcache, i))
>> + return -1;
>>
>> + }
>> + }
>> + else if ((iregnum >= I387_ST0_REGNUM (tdep))
>> &&
>> + (iregnum
>> <= I387_FOP_REGNUM (tdep)))
>> + {
>> + if (record_arch_list_add_reg
>> (ir->regcache,iregnum))
>> + return -1;
>> + }
>> + else
>> + {
>> + /* Parameter 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. */
>> @@ -3153,6 +3213,7 @@
>> uint32_t tmpu32;
>> uint32_t opcode;
>> struct i386_record_s ir;
>> + struct gdbarch_tdep *tdep = gdbarch_tdep
>> (gdbarch);
>>
>> memset (&ir, 0, sizeof (struct
>> i386_record_s));
>> ir.regcache = regcache;
>> @@ -4188,8 +4249,7 @@
>> }
>> break;
>>
>> - /* floats */
>> - /* It just record the memory change
>> of instrcution. */
>> + /* Floats. */
>> case 0xd8:
>> case 0xd9:
>> case 0xda:
>> @@ -4203,45 +4263,56 @@
>> ir.reg |= ((opcode & 7)
>> << 3);
>> if (ir.mod != 3)
>> {
>> - /* memory */
>> + /* Memory. */
>> uint32_t addr;
>>
>> if (i386_record_lea_modrm_addr
>> (&ir, &addr))
>> return -1;
>> switch (ir.reg)
>> {
>> - case 0x00:
>> - case 0x01:
>> case 0x02:
>> + case 0x12:
>> + case 0x22:
>> + case 0x32:
>> + /* For
>> fcom, ficom nothing to do. */
>> + break;
>> case 0x03:
>> + case 0x13:
>> + case 0x23:
>> + case 0x33:
>> + /* For
>> fcomp, ficomp pop FPU stack, store all. */
>> + if
>> (i386_record_floats (gdbarch, &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 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:
>> + /* For
>> 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 (gdbarch, &ir, I387_ST0_REGNUM
>> (tdep)))
>> +
>> return -1;
>> break;
>> case 0x08:
>> case 0x0a:
>> @@ -4250,6 +4321,7 @@
>> case 0x19:
>> case 0x1a:
>> case 0x1b:
>> + case 0x1d:
>> case 0x28:
>> case 0x29:
>> case 0x2a:
>> @@ -4258,9 +4330,14 @@
>> case 0x39:
>> case 0x3a:
>> case 0x3b:
>> + case 0x3c:
>> + case 0x3d:
>> switch (ir.reg
>> & 7)
>> {
>> case 0:
>> +
>> /* Handling fld, fild. */
>> +
>> if (i386_record_floats (gdbarch, &ir,
>> I386_SAVE_FPU_REGS))
>> +
>> return -1;
>>
>> msnyder: indented too far (two spaces extra):
>>
>> /* Handling fld, fild. */
>>
>> if (i386_record_floats (gdbarch, &ir,
>> I386_SAVE_FPU_REGS))
>>
>> return -1;
>>
>>
>>
>> break;
>> case 1:
>> switch
>> (ir.reg >> 4)
>> @@ -4274,6 +4351,7 @@
>>
>> return -1;
>>
>> break;
>> case
>> 3:
>> +
>> break;
>>
>> msnyder: indented too far:
>>
>> break;
>>
>>
>> default:
>>
>> if (record_arch_list_add_mem (addr, 2))
>>
>> return -1;
>> @@ -4284,15 +4362,49 @@
>> switch
>> (ir.reg >> 4)
>> {
>> case
>> 0:
>> +
>> if
>> (record_arch_list_add_mem (addr, 4))
>> +
>> return -1;
>> +
>> if (3 == (ir.reg &
>> 7))
>> +
>> {
>> +
>> /* For fstp
>> m32fp. */
>> +
>> if
>> (i386_record_floats (gdbarch, &ir,
>> +
>>
>>
>> I386_SAVE_FPU_REGS))
>> +
>> return
>> -1;
>>
>> +
>> }
>> +
>> break;
>>
>> msnyder: indented four extra spaces too far.
>>
>>
>>
>> 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)))
>>
>> msnyder: remove '\' from end of lines:
>>
>>
>> if ((3 == (ir.reg & 7))
>>
>> || (5 == (ir.reg
>> & 7))
>>
>> || (7 == (ir.reg
>> & 7)))
>>
>>
>>
>>
>> +
>> {
>> +
>> /* For fstp insn.
>> */
>> +
>> if
>> (i386_record_floats (gdbarch, &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))
>> +
>> {
>> +
>> /* For fstp
>> m64fp. */
>> +
>> if
>> (i386_record_floats (gdbarch, &ir,
>> +
>>
>>
>> I386_SAVE_FPU_REGS))
>> +
>> return
>> -1;
>>
>> +
>> }
>>
>> msnyder: indented too far.
>>
>>
>> break;
>> case
>> 3:
>> +
>> if ((3 <= (ir.reg
>> & 7)) && (6 <= (ir.reg & 7)))
>> +
>> {
>> +
>> /* For fistp,
>> fbld, fild, fbstp. */
>> +
>> if
>> (i386_record_floats (gdbarch, &ir,
>> +
>>
>>
>> I386_SAVE_FPU_REGS))
>> +
>> return
>> -1;
>>
>> +
>> }
>> +
>> /*Fall through */
>>
>> msnyder: indented too far.
>>
>>
>> default:
>>
>> if (record_arch_list_add_mem (addr, 2))
>>
>> return -1;
>> @@ -4302,11 +4414,21 @@
>> }
>> break;
>> case 0x0c:
>> + /* Insn
>> fldenv. */
>> + if
>> (i386_record_floats (gdbarch, &ir,
>> +
>>
>> I386_SAVE_FPU_ENV_REG_STACK))
>> +
>> return -1;
>> + break;
>> case 0x0d:
>> - case 0x1d:
>> + /* Insn
>> fldcw. */
>> + if
>> (i386_record_floats (gdbarch, &ir, I387_FCTRL_REGNUM
>> (tdep)))
>> +
>> return -1;
>> + break;
>> case 0x2c:
>> - case 0x3c:
>> - case 0x3d:
>> + /* Insn
>> frstor. */
>> + if
>> (i386_record_floats (gdbarch, &ir,
>> +
>>
>> I386_SAVE_FPU_ENV_REG_STACK))
>> +
>> return -1;
>> break;
>> case 0x0e:
>> if (ir.dflag)
>> @@ -4329,6 +4451,9 @@
>> case 0x3e:
>> if
>> (record_arch_list_add_mem (addr, 10))
>> return -1;
>> + /* Insn
>> fstp, fbstp. */
>> + if
>> (i386_record_floats (gdbarch, &ir, I386_SAVE_FPU_REGS))
>> +
>> return -1;
>>
>>
>> break;
>> case 0x2e:
>> if (ir.dflag)
>> @@ -4345,10 +4470,17 @@
>> }
>> if
>> (record_arch_list_add_mem (addr, 80))
>> return -1;
>> + /* Insn
>> fsave. */
>> + if
>> (i386_record_floats (gdbarch, &ir,
>> +
>>
>> I386_SAVE_FPU_ENV_REG_STACK))
>> +
>> return -1;
>> break;
>> case 0x3f:
>> if
>> (record_arch_list_add_mem (addr, 8))
>> return -1;
>> + /* Ins
>> fistp. */
>> + if
>> (i386_record_floats (gdbarch, &ir, I386_SAVE_FPU_REGS))
>> +
>> return -1;
>> break;
>> default:
>> ir.addr -= 2;
>> @@ -4357,8 +4489,205 @@
>> break;
>> }
>> }
>> + /* Opcode is an extension of
>> modR/M byte. */
>> + else
>>
>> msnyder: above, indentation level minus two after }
>> /* Opcode is an extension of modR/M
>> byte. */
>> else
>>
>> + {
>> + switch (opcode)
>>
>> msnyder: above, indentation level plus two after {
>> switch
>> (opcode)
>>
>> And then everything below this point needs to be
>> re-indented to the right.
>>
>>
>> + {
>> + case 0xd8:
>> + if
>> (i386_record_floats (gdbarch, &ir, I387_ST0_REGNUM
>> (tdep)))
>> + return
>> -1;
>> + break;
>> + case 0xd9:
>>
>> + if (0x0c ==
>> (ir.modrm >> 4))
>> + {
>> + if
>> ((ir.modrm & 0x0f) <= 7)
>> +
>> {
>> +
>> if (i386_record_floats (gdbarch, &ir,
>> I386_SAVE_FPU_REGS))
>> +
>> return -1;
>>
>> msnyder: missing a right-indent.
>>
>> +
>> }
>> +
>> else
>> +
>> {
>> +
>> if (i386_record_floats (gdbarch, &ir,
>> +
>>
>> I387_ST0_REGNUM (tdep)))
>>
>> msnyder: missing a right-indent.
>>
>> +
>> return -1;
>> +
>> /* If only st(0) is changing, then we have already
>> recorded. */
>> +
>> if ((ir.modrm & 0x0f) - 0x08)
>> +
>> {
>> +
>> if (i386_record_floats (gdbarch, &ir,
>>
>> msnyder: missing a right-indent.
>>
>> +
>>
>> I387_ST0_REGNUM
>> (tdep) + \
>>
>> msnyder: no \ at end of line.
>>
>>
>>
>>
>> I387_ST0_REGNUM (tdep) +
>>
>> +
>>
>> ((ir.modrm &
>> 0x0f) - 0x08)))
>> +
>> return -1;
>>
>>
>> +
>> }
>> +
>> }
>> + }
>> + else
>> + {
>>
>> msnyder: indentation.
>>
>> +
>> switch(ir.modrm)
>>
>> msnyder: "switch ("
>>
>> +
>> {
>> +
>> case 0xe0:
>> +
>> case 0xe1:
>> +
>> case 0xf0:
>> +
>> case 0xf5:
>> +
>> case 0xf8:
>> +
>> case 0xfa:
>> +
>> case 0xfc:
>> +
>> case 0xfe:
>> +
>> case 0xff:
>> +
>> if (i386_record_floats (gdbarch, &ir,
>> +
>>
>> I387_ST0_REGNUM
>> (tdep)))
>> +
>> 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 (gdbarch, &ir,
>> I386_SAVE_FPU_REGS))
>> +
>> return -1;
>> +
>> break;
>> +
>> case 0xfd:
>> +
>> if (i386_record_floats (gdbarch, &ir,
>> +
>>
>> I387_ST0_REGNUM
>> (tdep)))
>> +
>> return -1;
>> +
>> if (i386_record_floats (gdbarch, &ir,
>> +
>>
>> I387_ST0_REGNUM
>> (tdep) + 1))
>> +
>> return -1;
>> +
>> break;
>> +
>> }
>> + }
>> + break;
>> + case 0xda:
>> + if (0xe9
>> == ir.modrm)
>> + {
>> + if
>> (i386_record_floats (gdbarch, &ir, I386_SAVE_FPU_REGS))
>> +
>> return -1;
>>
>>
>> msnyder: indentation after {
>>
>> + }
>> + else if
>> ((0x0c == ir.modrm >> 4) || (0x0d == ir.modrm >>
>> 4))
>> + {
>> + if
>> (i386_record_floats (gdbarch, &ir, I387_ST0_REGNUM
>> (tdep)))
>>
>> msnyder: indentation after {
>>
>> +
>> return -1;
>>
>> + if
>> (((ir.modrm & 0x0f) > 0) && ((ir.modrm &
>> 0x0f) <= 7))
>> +
>> {
>> +
>> if (i386_record_floats (gdbarch, &ir,
>>
>> msnyder: indentation after {
>>
>> +
>>
>> I387_ST0_REGNUM (tdep) +
>>
>> +
>>
>> (ir.modrm & 0x0f)))
>> +
>> return -1;
>>
>>
>> +
>> }
>> +
>> else if ((ir.modrm & 0x0f) - 0x08)
>> +
>> {
>> +
>> if (i386_record_floats (gdbarch, &ir,
>> +
>>
>> I387_ST0_REGNUM (tdep) +
>> \
>>
>> msnyder: no \ at end of line.
>>
>>
>>
>> I387_ST0_REGNUM (tdep) +
>>
>>
>> +
>>
>> ((ir.modrm & 0x0f) -
>> 0x08)))
>> +
>> return -1;
>> +
>> }
>> +
>> }
>> + break;
>> + case 0xdb:
>> + if (0xe3
>> == ir.modrm)
>> + {
>> + if
>> (i386_record_floats (gdbarch, &ir, I386_SAVE_FPU_ENV))
>>
>> msnyder: indentation after {
>>
>> +
>> return -1;
>>
>> + }
>> + else if
>> ((0x0c == ir.modrm >> 4) || (0x0d == ir.modrm >>
>> 4))
>> + {
>> + if
>> (i386_record_floats (gdbarch, &ir, I387_ST0_REGNUM
>> (tdep)))
>>
>> msnyder: indentation after {
>>
>> +
>> return -1;
>>
>> + if
>> (((ir.modrm & 0x0f) > 0) && ((ir.modrm &
>> 0x0f) <= 7))
>> +
>> {
>> +
>> if (i386_record_floats (gdbarch, &ir,
>>
>> msnyder: indentation after {
>>
>> +
>>
>> I387_ST0_REGNUM (tdep) +
>> \
>>
>> msnyder: no \ at end of line.
>>
>>
>>
>> I387_ST0_REGNUM (tdep) +
>>
>> +
>>
>> (ir.modrm & 0x0f)))
>> +
>> return -1;
>>
>>
>> +
>> }
>> +
>> else if ((ir.modrm & 0x0f) - 0x08)
>> +
>> {
>> +
>> if (i386_record_floats (gdbarch, &ir,
>>
>> msnyder: indentation after {
>>
>> +
>>
>> I387_ST0_REGNUM (tdep) +
>> \
>>
>> msnyder: no \ at end of line.
>>
>>
>>
>> I387_ST0_REGNUM (tdep) +
>>
>> +
>>
>> ((ir.modrm & 0x0f) -
>> 0x08)))
>> +
>> return -1;
>> +
>> }
>> +
>> }
>> + break;
>> + case 0xdc:
>> + if ((0x0c
>> == ir.modrm >> 4) \
>> +
>> || (0x0d == ir.modrm >> 4) \
>> +
>> || (0x0f == ir.modrm >> 4))
>>
>> msnyder: no \ at end of line.
>>
>> if ((0x0c == ir.modrm >> 4)
>>
>> || (0x0d == ir.modrm >> 4)
>>
>> || (0x0f == ir.modrm >> 4))
>>
>> + {
>> + if
>> ((ir.modrm & 0x0f) <= 7)
>> +
>> {
>> +
>> if (i386_record_floats (gdbarch, &ir,
>> +
>>
>> I387_ST0_REGNUM (tdep) +
>> \
>>
>> msnyder: no \ at end of line.
>>
>>
>>
>> I387_ST0_REGNUM (tdep) +
>>
>> +
>>
>> (ir.modrm & 0x0f)))
>> +
>> return -1;
>>
>>
>> +
>> }
>> +
>> else
>> +
>> {
>> +
>> if (i386_record_floats (gdbarch, &ir,
>> +
>>
>> I387_ST0_REGNUM (tdep) +
>> \
>>
>> msnyder: no \ at end of line.
>>
>>
>>
>> I387_ST0_REGNUM (tdep) +
>>
>> +
>>
>> ((ir.modrm & 0x0f) -
>> 0x08)))
>> +
>> return -1;
>> +
>> }
>> +
>> }
>> +
>> break;
>> + case 0xdd:
>>
>> + if (0x0c
>> == ir.modrm >> 4)
>> + {
>> +
>> if (i386_record_floats (gdbarch, &ir,
>> +
>>
>> I387_FTAG_REGNUM
>> (tdep)))
>> +
>> return -1;
>> + }
>> + else if
>> ((0x0d == ir.modrm >> 4) || (0x0e == ir.modrm >>
>> 4))
>> + {
>>
>> +
>> if ((ir.modrm & 0x0f) <= 7)
>> +
>> {
>> +
>> if (i386_record_floats (gdbarch, &ir,
>> +
>>
>> I387_ST0_REGNUM
>> (tdep) + \
>>
>> msnyder: no \ at end of line.
>>
>>
>>
>> I387_ST0_REGNUM (tdep) +
>>
>> +
>>
>> (ir.modrm &
>> 0x0f)))
>> +
>> return
>> -1;
>> +
>> }
>> +
>> else
>> +
>> {
>> +
>> if (i386_record_floats (gdbarch,
>> &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))
>>
>> msnyder: no \ at end of line.
>>
>> if ((0x0c == ir.modrm >> 4)
>>
>> || (0x0e == ir.modrm >> 4)
>>
>> || (0x0f == ir.modrm >> 4)
>>
>> || (0xd9 == ir.modrm))
>>
>>
>> +
>> {
>>
>> + if
>> (i386_record_floats (gdbarch, &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 (gdbarch, &ir, I386_SAVE_FPU_REGS))
>> +
>> return -1;
>> + }
>>
>> + break;
>> + }
>>
>> + }
>>
>> break;
>> -
>> /* string ops */
>> /* movsS */
>> case 0xa4:
>> @@ -4777,10 +5106,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"),
>> +
>>
>> paddress (gdbarch, ir.addr));
>>
>> msnyder: indentation
>>
>> printf_unfiltered (_("Process record:
>> error reading memory at "
>>
>>
>> "addr 0x%s len = 1.\n"),
>>
>>
>> paddress (gdbarch, ir.addr));
>>
>> + return -1;
>> + }
>> + opcode = (uint32_t) tmpu8;
>> + ir.addr++;
>> + goto reswitch;
>>
>> break;
>>
>> /* int3 */
>>
>
>
>
>
next prev parent reply other threads:[~2009-07-29 20:20 UTC|newest]
Thread overview: 44+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-07-26 14:27 i386.record.floating.point.patch : with more testing and assurity paawan oza
2009-07-26 22:51 ` Michael Snyder
2009-07-27 1:09 ` Michael Snyder
2009-07-29 18:30 ` final i386.floating.record.patch paawan oza
2009-07-29 22:01 ` Michael Snyder [this message]
2009-07-30 0:44 ` Michael Snyder
2009-07-30 18:00 ` paawan oza
2009-07-30 21:13 ` Michael Snyder
2009-07-27 2:33 ` i386.record.floating.point.patch : with more testing and assurity Samuel Bronson
2009-07-29 18:34 final i386.floating.record.patch paawan oza
2009-07-30 6:24 ` Michael Snyder
2009-07-30 18:09 ` paawan oza
2009-08-03 14:59 ` paawan oza
2009-08-03 20:07 ` Michael Snyder
2009-08-03 14:56 paawan oza
2009-08-03 20:04 ` Michael Snyder
2009-08-04 3:20 ` Hui Zhu
2009-08-04 13:03 ` paawan oza
2009-08-04 13:06 paawan oza
2009-08-04 13:58 ` Hui Zhu
2009-08-04 14:18 ` paawan oza
2009-08-04 14:26 ` paawan oza
2009-08-04 14:43 ` Hui Zhu
2009-08-04 17:59 ` paawan oza
2009-08-05 1:29 ` Hui Zhu
2009-08-05 1:34 ` Michael Snyder
2009-08-05 13:48 ` paawan oza
2009-08-07 7:25 paawan oza
2009-08-07 15:50 ` Hui Zhu
2009-08-16 21:41 ` Michael Snyder
2009-08-17 9:17 ` Hui Zhu
2009-08-17 16:16 ` paawan oza
2009-08-18 15:22 paawan oza
2009-08-19 2:17 ` Hui Zhu
2009-08-19 2:44 ` Hui Zhu
2009-08-21 16:59 paawan oza
2009-08-23 1:32 ` Hui Zhu
2009-08-23 3:00 ` Michael Snyder
2009-08-23 9:04 ` paawan oza
2009-08-23 9:29 ` paawan oza
2009-09-09 0:19 ` Michael Snyder
2009-09-10 1:13 ` paawan oza
2009-09-26 9:33 ` paawan oza
2009-12-10 7:55 ` Hui Zhu
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=4A70AD4A.2080604@vmware.com \
--to=msnyder@vmware.com \
--cc=gdb-patches@sourceware.org \
--cc=mark.kettenis@xs4all.nl \
--cc=paawan1982@yahoo.com \
--cc=pedro@codesourcery.com \
--cc=teawater@gmail.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox