Re: [PATCH] Make sizetypes no longer sign-extending

2012-05-07 Thread Eric Botcazou
Sure, no opposition by me to applying the whole set of patches. Done now. This has introduced a couple of ACATS failures on x86: FAIL: c52102a FAIL: c52102c The problem is that a builtin_memmove is wrongly folded into an assignment between MEM_EXPRs, although source and destination are

Re: [PATCH] Make sizetypes no longer sign-extending

2012-05-07 Thread Richard Guenther
On Mon, 7 May 2012, Eric Botcazou wrote: Sure, no opposition by me to applying the whole set of patches. Done now. This has introduced a couple of ACATS failures on x86: FAIL: c52102a FAIL: c52102c The problem is that a builtin_memmove is wrongly folded into an assignment

Re: [PATCH] Make sizetypes no longer sign-extending

2012-05-02 Thread Richard Guenther
On Fri, 27 Apr 2012, Eric Botcazou wrote: Ah, and all ACATS fails and -FAIL: gnat.dg/loop_optimization3.adb (test for excess errors) -FAIL: gnat.dg/loop_optimization3.adb execution test -FAIL: gnat.dg/test_8bitlong_overflow.adb (test for excess errors) -FAIL:

Re: [PATCH] Make sizetypes no longer sign-extending

2012-04-27 Thread Eric Botcazou
To followup myself - bootstrap with just the 2nd patch is still broken: /abuild/rguenther/obj2/./gcc/xgcc -B/abuild/rguenther/obj2/./gcc/ -B/usr/local/x86_64-unknown-linux-gnu/bin/ -B/usr/local/x86_64-unknown-linux-gnu/lib/ -isystem /usr/local/x86_64-unknown-linux-gnu/include -isystem

Re: [PATCH] Make sizetypes no longer sign-extending

2012-04-27 Thread Eric Botcazou
Ah, and all ACATS fails and -FAIL: gnat.dg/loop_optimization3.adb (test for excess errors) -FAIL: gnat.dg/loop_optimization3.adb execution test -FAIL: gnat.dg/test_8bitlong_overflow.adb (test for excess errors) -FAIL: gnat.dg/test_8bitlong_overflow.adb execution test are fixed by for

Re: [PATCH] Make sizetypes no longer sign-extending

2012-04-25 Thread Richard Guenther
On Tue, 24 Apr 2012, Richard Guenther wrote: On Tue, 24 Apr 2012, Richard Guenther wrote: I've been carrying this patch for quite some while now and really want to go forward with it - the problem is that while all default languages work fine after this patch Ada shows some testsuite

[PATCH] Make sizetypes no longer sign-extending

2012-04-24 Thread Richard Guenther
I've been carrying this patch for quite some while now and really want to go forward with it - the problem is that while all default languages work fine after this patch Ada shows some testsuite regressions. I've had various hacks/workarounds throughout the Ada frontend for them, but lost track

Re: [PATCH] Make sizetypes no longer sign-extending

2012-04-24 Thread Richard Earnshaw
On 24/04/12 14:03, Richard Guenther wrote: /* Size types *are* sign extended. */ ! sign_extended_type = !TYPE_UNSIGNED (type); looks like you failed to update the comment. R.

Re: [PATCH] Make sizetypes no longer sign-extending

2012-04-24 Thread Richard Guenther
On Tue, 24 Apr 2012, Richard Earnshaw wrote: On 24/04/12 14:03, Richard Guenther wrote: /* Size types *are* sign extended. */ ! sign_extended_type = !TYPE_UNSIGNED (type); looks like you failed to update the comment. Indeed. Fixed. Thanks, Richard.

Re: [PATCH] Make sizetypes no longer sign-extending

2012-04-24 Thread Richard Guenther
On Tue, 24 Apr 2012, Richard Guenther wrote: I've been carrying this patch for quite some while now and really want to go forward with it - the problem is that while all default languages work fine after this patch Ada shows some testsuite regressions. I've had various hacks/workarounds