On April 14, 2015 1:36:14 AM GMT+02:00, Jan Hubicka wrote:
>Hi,
>while looking on a testcase, i noticed that for simple code
>
> if (param > 6.0)
>BB1;
> else
>BB2;
>the inline predicates currectly determine (param > 6.0) predicate
>for BB1, but they give (true) predicate to BB2 unless
>
On Tue, 14 Apr 2015, Jan Hubicka wrote:
> Hi,
> while looking on a testcase, i noticed that for simple code
>
> if (param > 6.0)
> BB1;
> else
> BB2;
> the inline predicates currectly determine (param > 6.0) predicate
> for BB1, but they give (true) predicate to BB2 unless -fno-trappi
Hi,
while looking on a testcase, i noticed that for simple code
if (param > 6.0)
BB1;
else
BB2;
the inline predicates currectly determine (param > 6.0) predicate
for BB1, but they give (true) predicate to BB2 unless -fno-trapping-math is
specified. This is because invert_tree_comparis