On Wed, Sep 7, 2011 at 4:46 AM, Richard Guenther <rguent...@suse.de> wrote: > > This makes sure that we propagate comparisons that we cannot invert > into inverted conditions by swapping edges or the conditional ops. > For the testcase it transforms > > <bb 2>: > D.2724_4 = xx_2(D) < xy_3(D); > p_5 = (int) D.2724_4; > D.2725_6 = p_5 == 0; > np_7 = (int) D.2725_6; > if (np_7 != 0) > > to > > <bb 2>: > if (xx_2(D) < xy_3(D)) > > while without the patch we would be left with > > <bb 2>: > D.2724_4 = xx_2(D) < xy_3(D); > if (D.2724_4 == 0)
This sounds like PR 15558. Thanks, Andrew Pinski
