On Wed, Sep 7, 2011 at 4:46 AM, Richard Guenther 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
>
> :
> D.2724_4 = xx_2(D) < xy_3(D);
> p_5 = (int) D.2724_4;
> D
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
:
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
:
