From: Alexandre Oliva <aoliva@redhat.com>
To: Joern Rennecke <amylaar@redhat.com>
Cc: wilson@cygnus.com (Jim Wilson),
gcc@gcc.gnu.org, gcc-patches@gcc.gnu.org, gdb@sources.redhat.com
Subject: Re: C++ ptrmemfun break if FUNCTION_BOUNDARY < 2 * BITS_PER_UNIT
Date: Mon, 09 Apr 2001 13:12:00 -0000 [thread overview]
Message-ID: <orn19pu921.fsf@guarana.lsd.ic.unicamp.br> (raw)
In-Reply-To: <200104091927.f39JRtw00873@phal.cambridge.redhat.com>
On Apr 9, 2001, Joern Rennecke <amylaar@redhat.com> wrote:
> Is it safe to use arithmetic SHIFTs instead of letting the compiler
>> choose them instead of DIVs and MULTs? For some reason, on
>> mn10300-elf, the div makes it to the generated code, which we
>> certainly don't want.
> A signed division is not a portable way to extract a bit.
I don't want to extract a bit. I want to extract the remaining bits.
The delta was shifted left (or multiplied by 2) to make room for the
vbit; now I want the delta back. It's a signed offset. The question
is : does GCC's notion of arithmetic shift, in the tree level,
guarantee sign-extension semantics, or do we really have to use
TRUNC_DIV, and I have to figure out why the heck it's not being
converted to an arithmetic shift on mn10300-elf, given that the asr
opcode does exactly the right thing.
> And for negative values, it just doesn't work.
Doh. Never mind. I *does* work. It's TRUNC_DIV that doesn't, for
what I need. I really need a right shift with sign extension:
3 >> 1 == 1
2 >> 1 == 1
1 >> 1 == 0
0 >> 1 == 0
0xffff >> 1 == 0xffff
0xfffe >> 1 == 0xffff
0xfffd >> 1 == 0xfffe
0xfffc >> 1 == 0xfffe
Does RSHIFT_EXPR guarantee the preservation of the most significant
(sign) bit? Does it guarantee the semantics above?
--
Alexandre Oliva Enjoy Guarana', see http://www.ic.unicamp.br/~oliva/
Red Hat GCC Developer aoliva@{cygnus.com, redhat.com}
CS PhD student at IC-Unicamp oliva@{lsd.ic.unicamp.br, gnu.org}
Free Software Evangelist *Please* write to mailing lists, not to me
next prev parent reply other threads:[~2001-04-09 13:12 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <200104062005.NAA13684@wilson.cygnus.com>
2001-04-09 8:19 ` Alexandre Oliva
2001-04-09 12:29 ` Joern Rennecke
2001-04-09 13:12 ` Alexandre Oliva [this message]
2001-04-09 13:42 ` Joern Rennecke
2001-04-18 5:48 ` Richard Earnshaw
2001-04-18 12:11 ` Alexandre Oliva
2001-04-10 9:27 ` C++ ptrmemfun break if FUNCTION_BOUNDARY < 2 *BITS_PER_UNIT Mark Mitchell
2001-04-17 10:38 ` C++ ptrmemfun break if FUNCTION_BOUNDARY < 2 * BITS_PER_UNIT Andrew Cagney
2001-04-17 13:02 ` Daniel Berlin
2001-05-16 4:53 ` Jason Merrill
2001-05-16 7:18 ` Daniel Berlin
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=orn19pu921.fsf@guarana.lsd.ic.unicamp.br \
--to=aoliva@redhat.com \
--cc=amylaar@redhat.com \
--cc=gcc-patches@gcc.gnu.org \
--cc=gcc@gcc.gnu.org \
--cc=gdb@sources.redhat.com \
--cc=wilson@cygnus.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