Re: invert_tree_comparsion tweek for bettter inline predicates

2015-04-14 Thread Bernhard Reutner-Fischer
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 >

Re: invert_tree_comparsion tweek for bettter inline predicates

2015-04-14 Thread Richard Biener
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

invert_tree_comparsion tweek for bettter inline predicates

2015-04-13 Thread Jan Hubicka
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