Re: [PATCH] Remove some restrictions on loop shape in tree-if-conv.c

2015-04-30 Thread Richard Biener
On Thu, Apr 30, 2015 at 12:34 PM, Alan Lawrence wrote: > Richard Biener wrote: >> >> On Tue, Apr 28, 2015 at 3:55 PM, Alan Lawrence >> wrote: >>> >>> Tree if-conversion currently bails out for loops that (a) contain nested >>> loops; (b) have more than one exit; (c) where the exit block (source o

Re: [PATCH] Remove some restrictions on loop shape in tree-if-conv.c

2015-04-30 Thread Alan Lawrence
Richard Biener wrote: On Tue, Apr 28, 2015 at 3:55 PM, Alan Lawrence wrote: Tree if-conversion currently bails out for loops that (a) contain nested loops; (b) have more than one exit; (c) where the exit block (source of the exit edge) does not dominate the loop latch; (d) where the exit block

Re: [PATCH] Remove some restrictions on loop shape in tree-if-conv.c

2015-04-30 Thread Richard Biener
On Tue, Apr 28, 2015 at 3:55 PM, Alan Lawrence wrote: > Tree if-conversion currently bails out for loops that (a) contain nested > loops; (b) have more than one exit; (c) where the exit block (source of the > exit edge) does not dominate the loop latch; (d) where the exit block is the > loop heade

Re: [PATCH] Remove some restrictions on loop shape in tree-if-conv.c

2015-04-29 Thread Alan Lawrence
Sorry, I realize I forgot to attach the patch to the original email, this followed a couple of minutes later in message <553f91b9.7050...@arm.com> at https://gcc.gnu.org/ml/gcc-patches/2015-04/msg01745.html . Cheers, Alan Jeff Law wrote: On 04/28/2015 07:55 AM, Alan Lawrence wrote: Tree if-c

Re: [PATCH] Remove some restrictions on loop shape in tree-if-conv.c

2015-04-28 Thread Jeff Law
On 04/28/2015 07:55 AM, Alan Lawrence wrote: Tree if-conversion currently bails out for loops that (a) contain nested loops; (b) have more than one exit; (c) where the exit block (source of the exit edge) does not dominate the loop latch; (d) where the exit block is the loop header, or there are

Re: [PATCH] Remove some restrictions on loop shape in tree-if-conv.c

2015-04-28 Thread Alan Lawrence
Alan Lawrence wrote: Tree if-conversion currently bails out for loops that (a) contain nested loops; (b) have more than one exit; (c) where the exit block (source of the exit edge) does not dominate the loop latch; (d) where the exit block is the loop header, or there are statements after the e

[PATCH] Remove some restrictions on loop shape in tree-if-conv.c

2015-04-28 Thread Alan Lawrence
Tree if-conversion currently bails out for loops that (a) contain nested loops; (b) have more than one exit; (c) where the exit block (source of the exit edge) does not dominate the loop latch; (d) where the exit block is the loop header, or there are statements after the exit. This patch remo