Re: VRP wrapping MULT_EXPR

2012-08-03 Thread Marc Glisse
On Fri, 3 Aug 2012, Marc Glisse wrote: On Fri, 3 Aug 2012, Richard Guenther wrote: +/* Some quadruple precision helpers. */ +static int +quad_int_cmp (double_int l0, double_int h0, + double_int l1, double_int h1, bool uns) +{ + int c = double_int_cmp (h0, h1, uns); + if (c != 0)

Re: VRP wrapping MULT_EXPR

2012-08-03 Thread Marc Glisse
On Fri, 3 Aug 2012, Richard Guenther wrote: +/* Some quadruple precision helpers. */ +static int +quad_int_cmp (double_int l0, double_int h0, + double_int l1, double_int h1, bool uns) +{ + int c = double_int_cmp (h0, h1, uns); + if (c != 0) return c; + return double_int_ucmp (l0,

Re: VRP wrapping MULT_EXPR

2012-08-03 Thread Richard Guenther
On Thu, Aug 2, 2012 at 11:49 PM, Marc Glisse wrote: > Hello, > > here is a patch handling multiplication of wrapping integer types in VRP. It > passed bootstrap+testsuite limited to c,c++ and without the testcase, so > I'll retest it better during the night. For some reason the test > libgomp.grap

VRP wrapping MULT_EXPR

2012-08-02 Thread Marc Glisse
Hello, here is a patch handling multiplication of wrapping integer types in VRP. It passed bootstrap+testsuite limited to c,c++ and without the testcase, so I'll retest it better during the night. For some reason the test libgomp.graphite/force-parallel-6.c which used to fail passed with the