From: teawater <teawater@gmail.com>
To: "Dave Korn" <dave.korn@artimi.com>
Cc: "Daniel Jacobowitz" <drow@false.org>,
"Jakob Engblom" <jakob@virtutech.com>,
"Michael Snyder" <msnyder@vmware.com>,
gdb@sourceware.org
Subject: Re: [discuss] semantics, "replay debugging" vs. "reverse debugging"
Date: Wed, 22 Oct 2008 17:19:00 -0000 [thread overview]
Message-ID: <daef60380810221018q6ee41fe1y40fe33d460f880b@mail.gmail.com> (raw)
In-Reply-To: <005b01c93468$e64f2740$9601a8c0@CAM.ARTIMI.COM>
So I just say "some insn". Not all.
On Thu, Oct 23, 2008 at 01:09, Dave Korn <dave.korn@artimi.com> wrote:
> teawater wrote on 22 October 2008 17:43:
>
>> Sorry I am wrong.
>> In ARM, Just adds set cpsr reg. So:
>> add r0,r0,#10
>> Can reverse without record too.
>
> Your examples are too limited to be of practical use; almost every
> instruction executed destroys information.
>
> It's easy to reverse "add r0,r0,#10" by subtracting 10 from r0. But how do
> you reverse "add r0,r1,#10", or anything else where the source and dest
> register are different? The original value of r0 is gone without trace, and
> r1 was not changed by the instruction!
>
>
> cheers,
> DaveK
> --
> Can't think of a witty .sigline today....
>
>
next prev parent reply other threads:[~2008-10-22 17:19 UTC|newest]
Thread overview: 18+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-10-20 1:14 Michael Snyder
2008-10-20 8:11 ` Frederic Riss
2008-10-20 16:08 ` teawater
2008-10-21 7:29 ` Jakob Engblom
2008-10-22 3:26 ` teawater
2008-10-22 13:37 ` Daniel Jacobowitz
2008-10-22 16:19 ` teawater
2008-10-22 16:43 ` teawater
2008-10-22 16:48 ` teawater
2008-10-22 17:09 ` Dave Korn
2008-10-22 17:19 ` teawater [this message]
2008-10-22 18:14 ` Michael Snyder
2008-10-22 19:38 ` Jakob Engblom
2008-10-23 3:46 ` teawater
2008-10-23 8:35 ` Jeremy Bennett
2008-10-23 10:43 ` Jakob Engblom
2008-10-23 3:39 ` teawater
2008-10-21 7:27 ` Jakob Engblom
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=daef60380810221018q6ee41fe1y40fe33d460f880b@mail.gmail.com \
--to=teawater@gmail.com \
--cc=dave.korn@artimi.com \
--cc=drow@false.org \
--cc=gdb@sourceware.org \
--cc=jakob@virtutech.com \
--cc=msnyder@vmware.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