* gcc.gnu.org/infrastructure - newer versions of GMP/mpfr/mpc/isl/cloog?
@ 2014-01-27 19:40 Tobias Burnus
2014-01-27 21:19 ` Tobias Grosser
0 siblings, 1 reply; 6+ messages in thread
From: Tobias Burnus @ 2014-01-27 19:40 UTC (permalink / raw)
To: GCC Mailing List
Hello,
motivated by the recent MPC 1.0.2 announcement, I looked at
./contrib/download_prerequisites and also at
ftp://gcc.gnu.org/pub/gcc/infrastructure/ to see which versions are
offered there.
Question: Would it make sense to place newer versions into
infrastructure and update ./contrib/download_prerequisites for those? I
believe most distros use newer versions nowadays and as some bugs have
been fixed in newer versions...
* GMP: infrastructure 4.3.2 (2010-01-08), current: 5.1.3 (2013-09-30)
* mpfr: infrastructure 2.4.2 (2009-11-30), current: 3.1.2 (2013-03-13)
* mpc: infrastructure 0.8.1 (2009-12-08), current: 1.0.2 (2014-01-15)
* ISL: infrastructure 0.11.1 (2012-12-12), current: 0.12.2 (2014-01-12)
* CLooG: infrastructure 0.18.0 (2012-12-20), current: 0.18.1
(2013-10-11) [Or 0.18.2 (2013-12-20) according to the GIT tag, but that
release only added a howto_cloog_release.txt file ...]
[BTW: CLooG 0.18.1 officially requires GMP 5.0.2 or later, I don't know
about 0.18.0 but I wouldn't be surprised if the same holds. Thus, for
in-tree builds that would be a reason to offer GMP 5.1.3 or 5.0.5.)
* * *
Note: That's independent from changing the prerequisites, listed at
http://gcc.gnu.org/install/prerequisites.html; currently infrastructure
matches the (lowest) version listed there.
* GMP: 4.3.2+; configure checks for: >= GCC_GMP_VERSION_NUM(4,2,3)
* MPFR: 2.4.2+; configure checks for >= MPFR_VERSION_NUM(2,4,0)
* MPC: 0.8.1+; configure: >= MPC_VERSION_NUM(0,8,1)
* ISL 0.11.1 (exact version?); configure: isl-0.10 or isl-0.11 or isl-0.12
* CLooG: 0.18.0 (exact version?); configure: 0.17 or 0.18,
BTW: quick grep only shows the following version dependence in
gcc/*{/*}.[ch]:
* gcc/fortran/simplify.c:
MPFR_VERSION < MPFR_VERSION_NUM(3,1,0)
* toplev.c:
#if GCC_GMP_VERSION < GCC_GMP_VERSION_NUM(4,3,0) &&
__GNU_MP_VERSION_PATCHLEVEL == 0
That's < than prerequisites but >= configure check
Regarding the prerequisites, one could consider bumping the GMP version
in the configure check to 4.3.0 - and remove the conditional code in
toplev.c. Otherwise, I think there is no real need to require newer
versions. However, one could add "or newer" to ISL/CLooG.
Tobias
^ permalink raw reply [flat|nested] 6+ messages in thread* Re: gcc.gnu.org/infrastructure - newer versions of GMP/mpfr/mpc/isl/cloog?
2014-01-27 19:40 gcc.gnu.org/infrastructure - newer versions of GMP/mpfr/mpc/isl/cloog? Tobias Burnus
@ 2014-01-27 21:19 ` Tobias Grosser
2014-02-13 13:19 ` Richard Biener
0 siblings, 1 reply; 6+ messages in thread
From: Tobias Grosser @ 2014-01-27 21:19 UTC (permalink / raw)
To: Tobias Burnus, GCC Mailing List
On 01/27/2014 08:29 PM, Tobias Burnus wrote:
> Hello,
>
> motivated by the recent MPC 1.0.2 announcement, I looked at
> ./contrib/download_prerequisites and also at
> ftp://gcc.gnu.org/pub/gcc/infrastructure/ to see which versions are
> offered there.
>
> Question: Would it make sense to place newer versions into
> infrastructure and update ./contrib/download_prerequisites for those? I
> believe most distros use newer versions nowadays and as some bugs have
> been fixed in newer versions...
>
> * GMP: infrastructure 4.3.2 (2010-01-08), current: 5.1.3 (2013-09-30)
> * mpfr: infrastructure 2.4.2 (2009-11-30), current: 3.1.2 (2013-03-13)
> * mpc: infrastructure 0.8.1 (2009-12-08), current: 1.0.2 (2014-01-15)
> * ISL: infrastructure 0.11.1 (2012-12-12), current: 0.12.2 (2014-01-12)
> * CLooG: infrastructure 0.18.0 (2012-12-20), current: 0.18.1
> (2013-10-11) [Or 0.18.2 (2013-12-20) according to the GIT tag, but that
> release only added a howto_cloog_release.txt file ...]
Hi Tobias,
that sounds like a great idea. We are internally currently working on
preparing graphite for the isl 0.13.0 release, which is a large
improvement and e.g. provides a computeout facility that allows us to
stop dependence analysis in case the dependence problem is too complex
to solve. This would address some of the open graphite bugs. Even before
this is ready, upgrading to CLooG 0.18.1 and isl-0.12.1 would probably
be a good thing to do.
Cheers,
Tobias
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: gcc.gnu.org/infrastructure - newer versions of GMP/mpfr/mpc/isl/cloog?
2014-01-27 21:19 ` Tobias Grosser
@ 2014-02-13 13:19 ` Richard Biener
2014-02-13 13:21 ` Tobias Grosser
0 siblings, 1 reply; 6+ messages in thread
From: Richard Biener @ 2014-02-13 13:19 UTC (permalink / raw)
To: Tobias Grosser; +Cc: Tobias Burnus, GCC Mailing List
On Mon, Jan 27, 2014 at 8:40 PM, Tobias Grosser <tobias@grosser.es> wrote:
> On 01/27/2014 08:29 PM, Tobias Burnus wrote:
>>
>> Hello,
>>
>> motivated by the recent MPC 1.0.2 announcement, I looked at
>> ./contrib/download_prerequisites and also at
>> ftp://gcc.gnu.org/pub/gcc/infrastructure/ to see which versions are
>> offered there.
>>
>> Question: Would it make sense to place newer versions into
>> infrastructure and update ./contrib/download_prerequisites for those? I
>> believe most distros use newer versions nowadays and as some bugs have
>> been fixed in newer versions...
>>
>> * GMP: infrastructure 4.3.2 (2010-01-08), current: 5.1.3 (2013-09-30)
>> * mpfr: infrastructure 2.4.2 (2009-11-30), current: 3.1.2 (2013-03-13)
>> * mpc: infrastructure 0.8.1 (2009-12-08), current: 1.0.2 (2014-01-15)
>> * ISL: infrastructure 0.11.1 (2012-12-12), current: 0.12.2 (2014-01-12)
>> * CLooG: infrastructure 0.18.0 (2012-12-20), current: 0.18.1
>> (2013-10-11) [Or 0.18.2 (2013-12-20) according to the GIT tag, but that
>> release only added a howto_cloog_release.txt file ...]
>
>
> Hi Tobias,
>
> that sounds like a great idea. We are internally currently working on
> preparing graphite for the isl 0.13.0 release, which is a large improvement
> and e.g. provides a computeout facility that allows us to stop dependence
> analysis in case the dependence problem is too complex to solve. This would
> address some of the open graphite bugs. Even before this is ready, upgrading
> to CLooG 0.18.1 and isl-0.12.1 would probably be a good thing to do.
I've tested building the 4.8 branch with cloog 0.18.1 and isl 0.12.2 and
that seems to work. Updating the infrastructure dir sounds good to me,
I'll do it.
Richard.
> Cheers,
> Tobias
>
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: gcc.gnu.org/infrastructure - newer versions of GMP/mpfr/mpc/isl/cloog?
2014-02-13 13:19 ` Richard Biener
@ 2014-02-13 13:21 ` Tobias Grosser
2014-02-13 13:37 ` Richard Biener
0 siblings, 1 reply; 6+ messages in thread
From: Tobias Grosser @ 2014-02-13 13:21 UTC (permalink / raw)
To: Richard Biener; +Cc: Tobias Burnus, GCC Mailing List
On 02/13/2014 08:19 AM, Richard Biener wrote:
> On Mon, Jan 27, 2014 at 8:40 PM, Tobias Grosser <tobias@grosser.es> wrote:
>> On 01/27/2014 08:29 PM, Tobias Burnus wrote:
>>>
>>> Hello,
>>>
>>> motivated by the recent MPC 1.0.2 announcement, I looked at
>>> ./contrib/download_prerequisites and also at
>>> ftp://gcc.gnu.org/pub/gcc/infrastructure/ to see which versions are
>>> offered there.
>>>
>>> Question: Would it make sense to place newer versions into
>>> infrastructure and update ./contrib/download_prerequisites for those? I
>>> believe most distros use newer versions nowadays and as some bugs have
>>> been fixed in newer versions...
>>>
>>> * GMP: infrastructure 4.3.2 (2010-01-08), current: 5.1.3 (2013-09-30)
>>> * mpfr: infrastructure 2.4.2 (2009-11-30), current: 3.1.2 (2013-03-13)
>>> * mpc: infrastructure 0.8.1 (2009-12-08), current: 1.0.2 (2014-01-15)
>>> * ISL: infrastructure 0.11.1 (2012-12-12), current: 0.12.2 (2014-01-12)
>>> * CLooG: infrastructure 0.18.0 (2012-12-20), current: 0.18.1
>>> (2013-10-11) [Or 0.18.2 (2013-12-20) according to the GIT tag, but that
>>> release only added a howto_cloog_release.txt file ...]
>>
>>
>> Hi Tobias,
>>
>> that sounds like a great idea. We are internally currently working on
>> preparing graphite for the isl 0.13.0 release, which is a large improvement
>> and e.g. provides a computeout facility that allows us to stop dependence
>> analysis in case the dependence problem is too complex to solve. This would
>> address some of the open graphite bugs. Even before this is ready, upgrading
>> to CLooG 0.18.1 and isl-0.12.1 would probably be a good thing to do.
>
> I've tested building the 4.8 branch with cloog 0.18.1 and isl 0.12.2 and
> that seems to work. Updating the infrastructure dir sounds good to me,
> I'll do it.
Thanks Richi!
Could we also make the minimal library requirement for gcc the following
two?
Cheers,
Tobias
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: gcc.gnu.org/infrastructure - newer versions of GMP/mpfr/mpc/isl/cloog?
2014-02-13 13:21 ` Tobias Grosser
@ 2014-02-13 13:37 ` Richard Biener
2014-02-13 13:41 ` Tobias Grosser
0 siblings, 1 reply; 6+ messages in thread
From: Richard Biener @ 2014-02-13 13:37 UTC (permalink / raw)
To: Tobias Grosser; +Cc: Tobias Burnus, GCC Mailing List
On Thu, Feb 13, 2014 at 2:20 PM, Tobias Grosser <tobias@grosser.es> wrote:
> On 02/13/2014 08:19 AM, Richard Biener wrote:
>>
>> On Mon, Jan 27, 2014 at 8:40 PM, Tobias Grosser <tobias@grosser.es> wrote:
>>>
>>> On 01/27/2014 08:29 PM, Tobias Burnus wrote:
>>>>
>>>>
>>>> Hello,
>>>>
>>>> motivated by the recent MPC 1.0.2 announcement, I looked at
>>>> ./contrib/download_prerequisites and also at
>>>> ftp://gcc.gnu.org/pub/gcc/infrastructure/ to see which versions are
>>>> offered there.
>>>>
>>>> Question: Would it make sense to place newer versions into
>>>> infrastructure and update ./contrib/download_prerequisites for those? I
>>>> believe most distros use newer versions nowadays and as some bugs have
>>>> been fixed in newer versions...
>>>>
>>>> * GMP: infrastructure 4.3.2 (2010-01-08), current: 5.1.3 (2013-09-30)
>>>> * mpfr: infrastructure 2.4.2 (2009-11-30), current: 3.1.2 (2013-03-13)
>>>> * mpc: infrastructure 0.8.1 (2009-12-08), current: 1.0.2 (2014-01-15)
>>>> * ISL: infrastructure 0.11.1 (2012-12-12), current: 0.12.2 (2014-01-12)
>>>> * CLooG: infrastructure 0.18.0 (2012-12-20), current: 0.18.1
>>>> (2013-10-11) [Or 0.18.2 (2013-12-20) according to the GIT tag, but that
>>>> release only added a howto_cloog_release.txt file ...]
>>>
>>>
>>>
>>> Hi Tobias,
>>>
>>> that sounds like a great idea. We are internally currently working on
>>> preparing graphite for the isl 0.13.0 release, which is a large
>>> improvement
>>> and e.g. provides a computeout facility that allows us to stop dependence
>>> analysis in case the dependence problem is too complex to solve. This
>>> would
>>> address some of the open graphite bugs. Even before this is ready,
>>> upgrading
>>> to CLooG 0.18.1 and isl-0.12.1 would probably be a good thing to do.
>>
>>
>> I've tested building the 4.8 branch with cloog 0.18.1 and isl 0.12.2 and
>> that seems to work. Updating the infrastructure dir sounds good to me,
>> I'll do it.
>
>
> Thanks Richi!
>
> Could we also make the minimal library requirement for gcc the following
> two?
I see no reason to do that at this point (I suppose only dropping support
for ISL < 0.12.2 would help you?), but I have updated the recommended
versions as documented in install.texi to those two.
When trunk re-opens for stage1 we can drop support for older
versions once we make code changes that make those versions no
longer work.
Pretty high on my wishlist and a good motivation would be to get
rid of the cloog dependency by using the ISL code generator ;)
I'll help as good as I can with all problems that arise in GCC
specific areas such as GIMPLE and SSA.
Thanks,
Richard.
> Cheers,
> Tobias
>
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: gcc.gnu.org/infrastructure - newer versions of GMP/mpfr/mpc/isl/cloog?
2014-02-13 13:37 ` Richard Biener
@ 2014-02-13 13:41 ` Tobias Grosser
0 siblings, 0 replies; 6+ messages in thread
From: Tobias Grosser @ 2014-02-13 13:41 UTC (permalink / raw)
To: Richard Biener; +Cc: Tobias Burnus, GCC Mailing List
On 02/13/2014 08:37 AM, Richard Biener wrote:
> On Thu, Feb 13, 2014 at 2:20 PM, Tobias Grosser <tobias@grosser.es> wrote:
>> On 02/13/2014 08:19 AM, Richard Biener wrote:
>>>
>>> On Mon, Jan 27, 2014 at 8:40 PM, Tobias Grosser <tobias@grosser.es> wrote:
>>>>
>>>> On 01/27/2014 08:29 PM, Tobias Burnus wrote:
>>>>>
>>>>>
>>>>> Hello,
>>>>>
>>>>> motivated by the recent MPC 1.0.2 announcement, I looked at
>>>>> ./contrib/download_prerequisites and also at
>>>>> ftp://gcc.gnu.org/pub/gcc/infrastructure/ to see which versions are
>>>>> offered there.
>>>>>
>>>>> Question: Would it make sense to place newer versions into
>>>>> infrastructure and update ./contrib/download_prerequisites for those? I
>>>>> believe most distros use newer versions nowadays and as some bugs have
>>>>> been fixed in newer versions...
>>>>>
>>>>> * GMP: infrastructure 4.3.2 (2010-01-08), current: 5.1.3 (2013-09-30)
>>>>> * mpfr: infrastructure 2.4.2 (2009-11-30), current: 3.1.2 (2013-03-13)
>>>>> * mpc: infrastructure 0.8.1 (2009-12-08), current: 1.0.2 (2014-01-15)
>>>>> * ISL: infrastructure 0.11.1 (2012-12-12), current: 0.12.2 (2014-01-12)
>>>>> * CLooG: infrastructure 0.18.0 (2012-12-20), current: 0.18.1
>>>>> (2013-10-11) [Or 0.18.2 (2013-12-20) according to the GIT tag, but that
>>>>> release only added a howto_cloog_release.txt file ...]
>>>>
>>>>
>>>>
>>>> Hi Tobias,
>>>>
>>>> that sounds like a great idea. We are internally currently working on
>>>> preparing graphite for the isl 0.13.0 release, which is a large
>>>> improvement
>>>> and e.g. provides a computeout facility that allows us to stop dependence
>>>> analysis in case the dependence problem is too complex to solve. This
>>>> would
>>>> address some of the open graphite bugs. Even before this is ready,
>>>> upgrading
>>>> to CLooG 0.18.1 and isl-0.12.1 would probably be a good thing to do.
>>>
>>>
>>> I've tested building the 4.8 branch with cloog 0.18.1 and isl 0.12.2 and
>>> that seems to work. Updating the infrastructure dir sounds good to me,
>>> I'll do it.
>>
>>
>> Thanks Richi!
>>
>> Could we also make the minimal library requirement for gcc the following
>> two?
>
> I see no reason to do that at this point (I suppose only dropping support
> for ISL < 0.12.2 would help you?), but I have updated the recommended
> versions as documented in install.texi to those two.
>
> When trunk re-opens for stage1 we can drop support for older
> versions once we make code changes that make those versions no
> longer work.
Perfect. That works for us.
> Pretty high on my wishlist and a good motivation would be to get
> rid of the cloog dependency by using the ISL code generator ;)
> I'll help as good as I can with all problems that arise in GCC
> specific areas such as GIMPLE and SSA.
We seem to agree on the next steps. Using the isl code generator is
pretty high on the wish list, only fixing the last P1 bugs is higher.
Cheers,
Tobias
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2014-02-13 13:41 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2014-01-27 19:40 gcc.gnu.org/infrastructure - newer versions of GMP/mpfr/mpc/isl/cloog? Tobias Burnus
2014-01-27 21:19 ` Tobias Grosser
2014-02-13 13:19 ` Richard Biener
2014-02-13 13:21 ` Tobias Grosser
2014-02-13 13:37 ` Richard Biener
2014-02-13 13:41 ` Tobias Grosser
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).