On Mon, 23 Jan 2006, Paolo Bonzini wrote:
> 2006-01-23 Paolo Bonzini <[EMAIL PROTECTED]>
>
> PR rtl-optimization/25890
> PR rtl-optimization/25905
> * combine.c (expand_compound_operation, expand_field_assignment):
> Fail if the bitfield's final position is out of bounds.
On Mon, 2006-01-23 19:19:23 +0100, Paolo Bonzini <[EMAIL PROTECTED]> wrote:
> For this reason I'm inclined to disable combine's transformations, and
> return a (clobber (const_int 0)), in presence of "invalid" extractions.
> The attached patch does exactly this. I'm bootstrapping it overnight,
It turns out that the assertion checks I added in my last combine patch
trigger on about every target but the ones I tested. ;-) These
assertions tested for invalid zero_extract and sign_extract expressions,
where the initial and/or final positions are out of the first operand's
bounds.
Som
