SRA bit-field optimization

[Alexandre Oliva]

On Oct  3, 2007, Eric Botcazou <ebotcazou@adacore.com> wrote:

> It apparently still misbehaves in some cases for Ada and has introduced an 
> ACATS regression at -O2 on x86-64 (c37213b):

> The correctness problem is that the last statement of BB 4 is not 
> tree_could_throw_p anymore, yielding:

Ugh, there was a thinko in the test for whether the original BB/stmt
could throw.  Thanks for the testcase, this patch fixes it.  I haven't
bootstrapped it yet, I'm on the road with a little computing
horsepower and limited network connection.  I should be back home
tonight.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: gcc-sra-bit-field-ref-fallout-ada.patch
Type: text/x-patch
Size: 699 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20071008/6dfdf99f/attachment.bin>
-------------- next part --------------

-- 
Alexandre Oliva         http://www.lsd.ic.unicamp.br/~oliva/
FSF Latin America Board Member         http://www.fsfla.org/
Red Hat Compiler Engineer   aoliva@{redhat.com, gcc.gnu.org}
Free Software Evangelist  oliva@{lsd.ic.unicamp.br, gnu.org}