Re: In a Pascal-like language, would being able to declare a subroutine as "purely functional" be of any value?

glen herrmannsfeldt <gah@ugcs.caltech.edu>
Sat, 12 Mar 2011 01:38:43 +0000 (UTC)

          From comp.compilers
Related articles
In a Pascal-like language, would being able to declare a subroutine as noitalmost@cox.net (noitalmost) (2011-03-11)
Re: In a Pascal-like language, would being able to declare a subroutin gah@ugcs.caltech.edu (glen herrmannsfeldt) (2011-03-11)
Re: In a Pascal-like language, would being able to declare a subroutin bobduff@shell01.TheWorld.com (Robert A Duff) (2011-03-11)
Re: In a Pascal-like language, would being able to declare a subroutin pdjpurchase@googlemail.com (1Z) (2011-03-11)
Re: In a Pascal-like language, would being able to declare a subroutin gah@ugcs.caltech.edu (glen herrmannsfeldt) (2011-03-12)
Re: In a Pascal-like language, would being able to declare a subroutin comp.lang.misc@inglorion.net (Robbert Haarman) (2011-03-12)
Re: In a Pascal-like language, would being able to declare a subroutin mcr@wildcard.demon.co.uk (Martin Rodgers) (2011-03-12)
Re: In a Pascal-like language, would being able to declare a subroutin noitalmost@cox.net (noitalmost) (2011-03-15)
Re: In a Pascal-like language, would being able to declare a subroutin wclodius@los-alamos.net (2011-03-15)
Re: In a Pascal-like language, would being able to declare a subroutin mcr@wildcard.demon.co.uk (Martin Rodgers) (2011-03-16)
Re: In a Pascal-like language, would being able to declare a subroutin sinu.nayak2001@gmail.com (Srinivas Nayak) (2011-03-16)
[3 later articles]
| List of all articles for this month |
From: glen herrmannsfeldt <gah@ugcs.caltech.edu>
Newsgroups: comp.compilers
Date: Sat, 12 Mar 2011 01:38:43 +0000 (UTC)
Organization: A noiseless patient Spider
References: 11-03-032 11-03-034
Keywords: design, optimize
Posted-Date: 12 Mar 2011 23:20:21 EST

Robert A Duff <bobduff@shell01.theworld.com> wrote:


(snip)
>>...I'm thinking that at least a limited form must be
>> possible in order to do any sort of inter-procedural register
>> allocation.


> I don't see how inter-procedural register allocation is relevant.


Last I remember hearing about that was in the Cray-1 days.


The Cray machines had vector registers, which it would have
been nice to avoid saving so often.


Since Cray machines were often programmed in Fortran, in the
days before Fortran had recursion, it might not have been so hard.


I believe the idea was that the register addresses would be
resolved at link time, as is done with address relocation.


PURE helps in optimization and parallelization, but it isn't
so obvious in the case of register allocation.


-- glen


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.