Re: [PATCH] Fix reassoc ICE (PR tree-optimization/69802)

2016-02-16 Thread Richard Biener
On Mon, 15 Feb 2016, Jakub Jelinek wrote: > Hi! > > The following patch fixes an ICE where one of the range tests > is SSA_NAME_DEF_STMT of a bool/_Bool or unsigned : 1 bitfield. > In that case, we don't know where to put the adjusted range test. > The patch for this uncommon case gives up,

Re: [PATCH] Fix reassoc ICE (PR tree-optimization/69802)

2016-02-15 Thread Jakub Jelinek
On Mon, Feb 15, 2016 at 10:27:16PM +0100, Michael Matz wrote: > On Mon, 15 Feb 2016, Jakub Jelinek wrote: > > > + /* If op is default def SSA_NAME, there is no place to insert the > > + new comparison. Give up, unless we can use OP itself as the > > + range test. */ > > + if (op &&

Re: [PATCH] Fix reassoc ICE (PR tree-optimization/69802)

2016-02-15 Thread Michael Matz
Hi, On Mon, 15 Feb 2016, Jakub Jelinek wrote: > + /* If op is default def SSA_NAME, there is no place to insert the > + new comparison. Give up, unless we can use OP itself as the > + range test. */ > + if (op && SSA_NAME_IS_DEFAULT_DEF (op)) > +{ > + if (op == range->exp >

[PATCH] Fix reassoc ICE (PR tree-optimization/69802)

2016-02-15 Thread Jakub Jelinek
Hi! The following patch fixes an ICE where one of the range tests is SSA_NAME_DEF_STMT of a bool/_Bool or unsigned : 1 bitfield. In that case, we don't know where to put the adjusted range test. The patch for this uncommon case gives up, unless the range test can be the SSA_NAME_DEF_STMT itself,