Mirror of the gdb-patches mailing list
 help / color / mirror / Atom feed
From: Daniel Jacobowitz <drow@false.org>
To: "Maciej W. Rozycki" <macro@mips.com>
Cc: gdb-patches@sourceware.org, David Ung <davidu@mips.com>,
		"Maciej W. Rozycki" <macro@linux-mips.org>
Subject: Re: mips-tdep.c: Sign-extend pointers for n32
Date: Wed, 19 Dec 2007 17:08:00 -0000	[thread overview]
Message-ID: <20071219161552.GA1280@caradoc.them.org> (raw)
In-Reply-To: <Pine.LNX.4.61.0712191530370.18015@perivale.mips.com>

On Wed, Dec 19, 2007 at 04:07:13PM +0000, Maciej W. Rozycki wrote:
>  But in practice it should not matter -- however you represent 8-bit and 
> 16-bit quantities you cannot overflow into the 64-bit data space as with a 
> flip of the bit #31 the upper 32 bits follow and when a result is written 
> back to memory or is otherwise finally processed (like output in a textual 
> form) it has to be masked to its data width again (obviously "sb/sh" do 
> this implicitly).  So I believe the change is correct as it is and the 
> question is academic.  Let me know if you think otherwise.

I happen to know otherwise.  I once wasted several days tracking down
a bug in the Linux kernel's IP checksumming implementation which
resulted in incorrectly extended values in registers; there are MIPS
parts which really do behave unpredictably when you use 32-bit
arithmetic operations on them (specifically the Broadcom SB1).
And I believe a compiler would be justified in using such instructions
on a signed char argument.

-- 
Daniel Jacobowitz
CodeSourcery


  reply	other threads:[~2007-12-19 16:16 UTC|newest]

Thread overview: 15+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2007-10-25 14:43 Maciej W. Rozycki
2007-12-16 18:49 ` Daniel Jacobowitz
2007-12-19 15:27   ` Maciej W. Rozycki
2007-12-19 15:28     ` Daniel Jacobowitz
2007-12-19 16:16       ` Maciej W. Rozycki
2007-12-19 17:08         ` Daniel Jacobowitz [this message]
2007-12-20 16:41           ` Maciej W. Rozycki
2007-12-20 17:07             ` Daniel Jacobowitz
2007-12-20 17:18               ` Maciej W. Rozycki
2007-12-20 19:37                 ` Daniel Jacobowitz
2007-12-21  4:36                 ` Joel Brobecker
2007-12-21 11:34                   ` Maciej W. Rozycki
2007-12-21 11:51                     ` Joel Brobecker
2007-12-21 12:02                       ` Maciej W. Rozycki
2007-12-22  5:30                         ` Joel Brobecker

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=20071219161552.GA1280@caradoc.them.org \
    --to=drow@false.org \
    --cc=davidu@mips.com \
    --cc=gdb-patches@sourceware.org \
    --cc=macro@linux-mips.org \
    --cc=macro@mips.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