Re: Ada Status in mainline
Diego Novillo [EMAIL PROTECTED] writes: On Wed, May 25, 2005 at 03:37:29PM -0600, Jeffrey A Law wrote: So, if I wanted to be able to bootstrap Ada, what I do I need to do? Disable VRP? Applying the patches in the PRs I mentioned. If that doesn't work, try with VRP disabled. Does not work for me on powerpc64-linux-gnu, the compiler fails to build with: /aj-cvs/gcc/gcc/ada/atree.adb: In function Atree._Elabb: /aj-cvs/gcc/gcc/ada/atree.adb:51: error: invariant not recomputed when ADDR_EXPR changed C.3356D.19258; /aj-cvs/gcc/gcc/ada/atree.adb:51: error: invariant not recomputed when ADDR_EXPR changed C.3357D.19259; pgp6lIoaXOKcV.pgp Description: PGP signature Andreas -- Andreas Jaeger, [EMAIL PROTECTED], http://www.suse.de/~aj SUSE Linux Products GmbH, Maxfeldstr. 5, 90409 Nürnberg, Germany GPG fingerprint = 93A3 365E CE47 B889 DF7F FED1 389A 563C C272 A126 pgpt6mpOljxKJ.pgp Description: PGP signature
Ada Status in mainline
So when's the last time someone bootstrapped Ada with the mainline sources on i686-pc-linux-gnu? I was trying to get it built to further exercise the ADDR_EXPR status bit checking code and it consistently hangs building the stage3 compiler (even with all the recent ADDR_EXPR stuff disabled). Rather than rolling my sources back further and further to see if/when Ada built, I figured it might just be quicker to ask :-) Jeff
Re: Ada Status in mainline
On Wednesday 25 May 2005 16:56, Jeffrey A Law wrote: So when's the last time someone bootstrapped Ada with the mainline sources on i686-pc-linux-gnu? I was trying to get it built to further exercise the ADDR_EXPR status bit checking code and it consistently hangs building the stage3 compiler (even with all the recent ADDR_EXPR stuff disabled). Rather than rolling my sources back further and further to see if/when Ada built, I figured it might just be quicker to ask :-) I may be mistaken, but didn't GCC miscompile the Ada front end because of this VRP bug here: http://gcc.gnu.org/PR21332 ? Gr. Steven
Re: Ada Status in mainline
Steven Bosscher [EMAIL PROTECTED] writes: On Wednesday 25 May 2005 16:56, Jeffrey A Law wrote: So when's the last time someone bootstrapped Ada with the mainline sources on i686-pc-linux-gnu? I was trying to get it built to further exercise the ADDR_EXPR status bit checking code and it consistently hangs building the stage3 compiler (even with all the recent ADDR_EXPR stuff disabled). Rather than rolling my sources back further and further to see if/when Ada built, I figured it might just be quicker to ask :-) I may be mistaken, but didn't GCC miscompile the Ada front end because of this VRP bug here: http://gcc.gnu.org/PR21332 ? ITYM http://gcc.gnu.org/PR21029 Andreas. -- Andreas Schwab, SuSE Labs, [EMAIL PROTECTED] SuSE Linux Products GmbH, Maxfeldstraße 5, 90409 Nürnberg, Germany Key fingerprint = 58CA 54C7 6D53 942B 1756 01D3 44D5 214B 8276 4ED5 And now for something completely different.
Re: Ada Status in mainline
Jeff, The last time I bootstrapped with Ada successfully on i686-pc-linux-gnu was around 9/10th May after that it hangs in stage3 so I've had it disabled since then. Maybe it's time once it back bootstraping to enable Ada by default during bootstraps. Graham
Re: Ada Status in mainline
On 5/25/05, Graham Stott [EMAIL PROTECTED] wrote: Jeff, The last time I bootstrapped with Ada successfully on i686-pc-linux-gnu was around 9/10th May after that it hangs in stage3 so I've had it disabled since then. Maybe it's time once it back bootstraping to enable Ada by default during bootstraps. Please no, not until building Ada with any previous version of Ada succeeds (or the required version is properly checked at configure time). Richard.
Re: Ada Status in mainline
I may be mistaken, but didn't GCC miscompile the Ada front end because of this VRP bug here: http://gcc.gnu.org/PR21332 ? I'm not sure if that was it, but there was a VRP item on my plate from a few weeks ago since I claimed that it was an Ada front-end bug and not a VRP bug. Unfortunately, I got distracted and then was away. I will make a real attempt to look at it in the next few days.
Re: Ada Status in mainline
On Wed, May 25, 2005 at 02:09:12PM -0400, Richard Kenner wrote: I may be mistaken, but didn't GCC miscompile the Ada front end because of this VRP bug here: http://gcc.gnu.org/PR21332 ? I'm not sure if that was it, but there was a VRP item on my plate from a few weeks ago since I claimed that it was an Ada front-end bug and not a VRP bug. Unfortunately, I got distracted and then was away. I will make a real attempt to look at it in the next few days. The VRP bug you remember is already worked around by 2005-05-02 Diego Novillo [EMAIL PROTECTED] * tree-vrp.c (set_value_range_to_nonnull): Declare inline. (set_value_range_to_null): Likewise. (set_value_range_to_varying): New function. Use it in all call sites that used to call set_value_range (vr, VR_VARYING, ...). (extract_range_from_assert): If the integral type has a super-type, and LIMIT is not within MIN and MAX values of that type, set the resulting range to VR_VARYING. As soon as the Ada FE bug is fixed, we can remove the work-around. PR21332 is fixed by a local patch I'm working on and by a patch from Steven Bosscher that I approved last Friday (though I believe he still hasn't committed yet). The other bug related to Ada is PR21029. It needs an scev maintainer to look at. I've already pinged Sebastian and Dan, but I'm not sure if they've had the time to look at it yet. Diego.
Re: Ada Status in mainline
On Wed, 2005-05-25 at 14:14 -0400, Diego Novillo wrote: On Wed, May 25, 2005 at 02:09:12PM -0400, Richard Kenner wrote: I may be mistaken, but didn't GCC miscompile the Ada front end because of this VRP bug here: http://gcc.gnu.org/PR21332 ? I'm not sure if that was it, but there was a VRP item on my plate from a few weeks ago since I claimed that it was an Ada front-end bug and not a VRP bug. Unfortunately, I got distracted and then was away. I will make a real attempt to look at it in the next few days. The VRP bug you remember is already worked around by 2005-05-02 Diego Novillo [EMAIL PROTECTED] * tree-vrp.c (set_value_range_to_nonnull): Declare inline. (set_value_range_to_null): Likewise. (set_value_range_to_varying): New function. Use it in all call sites that used to call set_value_range (vr, VR_VARYING, ...). (extract_range_from_assert): If the integral type has a super-type, and LIMIT is not within MIN and MAX values of that type, set the resulting range to VR_VARYING. As soon as the Ada FE bug is fixed, we can remove the work-around. PR21332 is fixed by a local patch I'm working on and by a patch from Steven Bosscher that I approved last Friday (though I believe he still hasn't committed yet). The other bug related to Ada is PR21029. It needs an scev maintainer to look at. I've already pinged Sebastian and Dan, but I'm not sure if they've had the time to look at it yet. So, if I wanted to be able to bootstrap Ada, what I do I need to do? Disable VRP? Disable something in the loop optimizer? Anything else? jeff
Re: Ada Status in mainline
On Wed, May 25, 2005 at 03:37:29PM -0600, Jeffrey A Law wrote: So, if I wanted to be able to bootstrap Ada, what I do I need to do? Disable VRP? Applying the patches in the PRs I mentioned. If that doesn't work, try with VRP disabled. Diego.
Re: Ada Status in mainline
Jeffrey A Law [EMAIL PROTECTED] writes: So, if I wanted to be able to bootstrap Ada, what I do I need to do? Disable VRP? Disable something in the loop optimizer? Anything else? The patch from PR21029 (comment #6) is working for me. Andreas. -- Andreas Schwab, SuSE Labs, [EMAIL PROTECTED] SuSE Linux Products GmbH, Maxfeldstraße 5, 90409 Nürnberg, Germany Key fingerprint = 58CA 54C7 6D53 942B 1756 01D3 44D5 214B 8276 4ED5 And now for something completely different.
Re: Ada Status in mainline
On Wed, 2005-05-25 at 23:46 +0200, Andreas Schwab wrote: Jeffrey A Law [EMAIL PROTECTED] writes: So, if I wanted to be able to bootstrap Ada, what I do I need to do? Disable VRP? Disable something in the loop optimizer? Anything else? The patch from PR21029 (comment #6) is working for me. Thanks. That did the trick for me as well. Bootstrap complete, including Ada (with the new ADDR_EXPR checks enabled). This is good. jeff
