[PATCH] Fix cond_exec_find_if_block (PR rtl-optimization/56745)

2013-04-02 Thread Jakub Jelinek
Hi! On the (undefined behavior) testcase below, we end up with then_bb ending with __builtin_unreachable () at the tree level, therefore no successor at the RTL level, and else_bb being EXIT_BLOCK_PTR (i.e. conditional return before a bb with undefined behavior at the end). Trying to optimize that

Re: [PATCH] Fix cond_exec_find_if_block (PR rtl-optimization/56745)

2013-04-02 Thread Richard Biener
On Tue, 2 Apr 2013, Jakub Jelinek wrote: > Hi! > > On the (undefined behavior) testcase below, we end up with > then_bb ending with __builtin_unreachable () at the tree level, therefore > no successor at the RTL level, and else_bb being EXIT_BLOCK_PTR (i.e. > conditional return before a bb with u

Re: [PATCH] Fix cond_exec_find_if_block (PR rtl-optimization/56745)

2013-04-02 Thread Jakub Jelinek
On Tue, Apr 02, 2013 at 02:57:13PM +0200, Richard Biener wrote: > On Tue, 2 Apr 2013, Jakub Jelinek wrote: > > On the (undefined behavior) testcase below, we end up with > > then_bb ending with __builtin_unreachable () at the tree level, therefore > > no successor at the RTL level, and else_bb bein

Re: [PATCH] Fix cond_exec_find_if_block (PR rtl-optimization/56745)

2013-04-02 Thread Richard Biener
On Tue, 2 Apr 2013, Jakub Jelinek wrote: > On Tue, Apr 02, 2013 at 02:57:13PM +0200, Richard Biener wrote: > > On Tue, 2 Apr 2013, Jakub Jelinek wrote: > > > On the (undefined behavior) testcase below, we end up with > > > then_bb ending with __builtin_unreachable () at the tree level, therefore >