Re: [PATCH][4/n] VRP and anti-range handling

2012-07-26 Thread Roman Zhuykov
2012/6/18 Richard Guenther rguent...@suse.de: On Fri, 15 Jun 2012, Richard Guenther wrote: This tries to completely implement the intersect primitive for VRP (what extract_range_from_assert does at its end when merging new and old knowledge). Bootstrap and regtest pending on

Re: [PATCH][4/n] VRP and anti-range handling

2012-06-18 Thread Richard Guenther
On Fri, 15 Jun 2012, Richard Guenther wrote: This tries to completely implement the intersect primitive for VRP (what extract_range_from_assert does at its end when merging new and old knowledge). Bootstrap and regtest pending on x86_64-unknown-linux-gnu. I plan to re-organize vrp_meet

Re: [PATCH][4/n] VRP and anti-range handling

2012-06-18 Thread Dominique Dhumieres
Hi, Before revision 188728, the test gcc.dg/tree-ssa/vrp68.c failed because link_error appeared twice in the dump file. After r188728 it fails also at link time and link_error appears three time: FAIL: gcc.dg/tree-ssa/vrp68.c (test for excess errors) Excess errors: Undefined symbols:

[PATCH][4/n] VRP and anti-range handling

2012-06-15 Thread Richard Guenther
This tries to completely implement the intersect primitive for VRP (what extract_range_from_assert does at its end when merging new and old knowledge). Bootstrap and regtest pending on x86_64-unknown-linux-gnu. I plan to re-organize vrp_meet in a similar fashion as a followup. Richard.