Mirror of the gdb-patches mailing list
 help / color / mirror / Atom feed
From: "Pierre Muller" <muller@ics.u-strasbg.fr>
To: "'Mark Kettenis'" <mark.kettenis@xs4all.nl>
Cc: <gdb-patches@sourceware.org>
Subject: [RFA] i386-tdep.c: Add i386_skip_noop function
Date: Fri, 25 Jan 2008 14:16:00 -0000	[thread overview]
Message-ID: <004701c85f53$2ef82dc0$8ce88940$@u-strasbg.fr> (raw)
In-Reply-To: <200801241750.m0OHoD5k007103@brahms.sibelius.xs4all.nl>

  I tried to conciliate Pedro's and Mark's remarks
in a new patch.
  As this patch only tries to catch no-op
instruction added on purpose at the start
of a function to allow hot-patching, 
I removed the 'check' variable of my previous patch
that allowed to check several different patterns
as in the optics of 'on purpose no-op', 
looking for several patterns is a non-sense.
  As I also directly read 2 bytes, I added 
a check that returns pc in case the call to read_memory_nobpt
fails.

ChangeLog entry:
2008-01-25  Pierre Muller  <muller@ics.u-strasbg.fr>

	* i386-tdep.c (i386_skip_noop): New function.
	(i386_analyze_prologue): Call i386_skip_noop function.


Index: gdb/i386-tdep.c
===================================================================
RCS file: /cvs/src/src/gdb/i386-tdep.c,v
retrieving revision 1.248
diff -u -p -r1.248 i386-tdep.c
--- gdb/i386-tdep.c	11 Jan 2008 13:20:00 -0000	1.248
+++ gdb/i386-tdep.c	25 Jan 2008 10:29:09 -0000
@@ -632,6 +632,41 @@ struct i386_insn i386_frame_setup_skip_i
   { 0 }
 };
 
+
+/* Check whether PC points to a no-op instruction.  */
+static CORE_ADDR
+i386_skip_noop (CORE_ADDR pc)
+{
+  gdb_byte op[2];
+
+  if (read_memory_nobpt (pc, (gdb_byte *) &op, 2) != 0)
+    return pc;
+/* Some Microsoft's system dll functions start with a
+   `mov %edi,%edi' instruction, which is effectively a two byte `nop'.
+   This instruction is used for hot patching support, together with 5
+   bytes of slack before the function.  Later, when hot-patching, the 2
+   byte op can be replaced with a relative jump to 5 bytes back.  The 5
+   bytes slack is large enough to hold a jump into anywhere in
+   the 32-bit address space.  
+   A two byte nop is used to be sure that no thread is executing
+   the instruction at byte 1 of the function, so the patching can be
+   performed atomically.  */
+
+/* 0x8b,0xff matches `mov %edi,%edi' */
+  if (op[0] == 0x8b && op[1] == 0xff)
+    {
+      return pc + 2;
+    }
+/* Here other patterns can be added if found.  */
+/* Quoted from Mark Kettenis:
+   "I've heard of a couple of code generation tools that do something
similar
+   as Microsoft and insert nop instructions at the start of a function to
be
+   patched up later.  So other targets could benefit from the same code.  
+   And calling this function unconditionally keeps the code simple."  */
+
+  return pc; 
+}
+
 /* Check whether PC points at a code that sets up a new stack frame.
    If so, it updates CACHE and returns the address of the first
    instruction after the sequence that sets up the frame or LIMIT,
@@ -817,6 +852,7 @@ static CORE_ADDR
 i386_analyze_prologue (CORE_ADDR pc, CORE_ADDR current_pc,
 		       struct i386_frame_cache *cache)
 {
+  pc = i386_skip_noop (pc);
   pc = i386_follow_jump (pc);
   pc = i386_analyze_struct_return (pc, current_pc, cache);
   pc = i386_skip_probe (pc);




  reply	other threads:[~2008-01-25 13:07 UTC|newest]

Thread overview: 15+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2007-12-10 16:45 [RFC] Enhance backtrace for microsoft system DLL calls Pierre Muller
2007-12-10 17:37 ` Pedro Alves
2007-12-10 18:08   ` Daniel Jacobowitz
2007-12-10 18:41 ` Pedro Alves
2007-12-11 10:44 ` Mark Kettenis
2007-12-11 17:29   ` Pierre Muller
2008-01-14 10:16     ` [RFC-v2] " Pierre Muller
2008-01-24  0:52       ` Pedro Alves
2008-01-24 17:51       ` Mark Kettenis
2008-01-25 14:16         ` Pierre Muller [this message]
2008-01-25 16:38           ` [RFA] i386-tdep.c: Add i386_skip_noop function Joel Brobecker
2008-01-25 16:46             ` [RFA] i386-tdep.c: Add i386_skip_noop function; updated Pierre Muller
2008-01-25 17:05               ` Mark Kettenis
2008-01-25 17:26                 ` Joel Brobecker
2008-01-25 18:50                 ` Pierre Muller

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='004701c85f53$2ef82dc0$8ce88940$@u-strasbg.fr' \
    --to=muller@ics.u-strasbg.fr \
    --cc=gdb-patches@sourceware.org \
    --cc=mark.kettenis@xs4all.nl \
    /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