Re: Fix PR77309, combine eliminates sign bit comparison

2016-12-07 Thread Segher Boessenkool
On Wed, Dec 07, 2016 at 02:02:17PM +0100, Bernd Schmidt wrote: > On 10/28/2016 03:43 PM, Segher Boessenkool wrote: > >On Fri, Oct 28, 2016 at 01:18:19PM +0200, Bernd Schmidt wrote: > >>In this PR, we manage to simplify the code down to > >> > >>(lt (and (reg) (signbit)) (const 0)) > >> > >>simplify

Re: Fix PR77309, combine eliminates sign bit comparison

2016-12-07 Thread Bernd Schmidt
On 10/28/2016 03:43 PM, Segher Boessenkool wrote: On Fri, Oct 28, 2016 at 01:18:19PM +0200, Bernd Schmidt wrote: In this PR, we manage to simplify the code down to (lt (and (reg) (signbit)) (const 0)) simplify_comparison then calls make_compound_operation on the AND expression, and that turns

Re: Fix PR77309, combine eliminates sign bit comparison

2016-10-28 Thread Segher Boessenkool
Hi Bernd, On Fri, Oct 28, 2016 at 01:18:19PM +0200, Bernd Schmidt wrote: > In this PR, we manage to simplify the code down to > > (lt (and (reg) (signbit)) (const 0)) > > simplify_comparison then calls make_compound_operation on the AND > expression, and that turns it into a ZERO_EXTRACT of a s