On Fri, 5 Sep 2014, Andreas Schwab wrote:
> Richard Biener writes:
>
> > 2014-09-05 Richard Biener
> >
> > * cfgloop.c (mark_loop_for_removal): Record former header
> > when ENABLE_CHECKING.
> > * cfgloop.h (strut loop): Add former_header member when
> > ENABLE_CHECKING.
> >
On Fri, Sep 5, 2014 at 3:00 AM, Richard Biener wrote:
>
> The following patch adds sanity checking for loops removed
> via mark_loop_for_removal or fix_loop_structure to check
> whether they reappear in the same place.
>
> The simplest case is where the loop header stays the same
> and we definite
On 09/05/14 04:00, Richard Biener wrote:
The following patch adds sanity checking for loops removed
via mark_loop_for_removal or fix_loop_structure to check
whether they reappear in the same place.
The simplest case is where the loop header stays the same
and we definitely should avoid all thes
Richard Biener writes:
> 2014-09-05 Richard Biener
>
> * cfgloop.c (mark_loop_for_removal): Record former header
> when ENABLE_CHECKING.
> * cfgloop.h (strut loop): Add former_header member when
> ENABLE_CHECKING.
> * loop-init.c (fix_loop_structure): Sanity check
The following patch adds sanity checking for loops removed
via mark_loop_for_removal or fix_loop_structure to check
whether they reappear in the same place.
The simplest case is where the loop header stays the same
and we definitely should avoid all these cases.
The other case is where the old h
