Re: [PATCH] Further VRP improvements (take 2)

2012-03-12 Thread Richard Guenther
On Fri, 9 Mar 2012, Jakub Jelinek wrote: > On Thu, Mar 08, 2012 at 04:54:31PM +0100, Jakub Jelinek wrote: > > This patch adds ASSERT_EXPRs for > > if ((int) var cmp CST) > > (for cmp >, >=, <, <=). As the testcase shows, various different tests > > are folded into that form. > > > > Bootstrapped

[PATCH] Further VRP improvements (take 2)

2012-03-09 Thread Jakub Jelinek
On Thu, Mar 08, 2012 at 04:54:31PM +0100, Jakub Jelinek wrote: > This patch adds ASSERT_EXPRs for > if ((int) var cmp CST) > (for cmp >, >=, <, <=). As the testcase shows, various different tests > are folded into that form. > > Bootstrapped/regtested on x86_64-linux and i686-linux, ok for trunk?