🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: comp.lang.misc
Article #6669

Re: 'register' variables and other goodies (was Re: Common subexpression optimization)

#6669
From: Preston Briggs
Date: Wed, 07 Feb 1990 04:27
18 lines
1087 bytes
In article <8960010@hpfcso.HP.COM> mjs@hpfcso.HP.COM (Marc Sabatella) writes:
(in response to a posting by J. Giles)

>>Yes, but Pascal is not separately compilable.  The compiler can do a complete
>>interprocedural dataflow analysis to find out _unambiguously_ what arguments
>>might be aliased with what global variables.

>(scoff...)

You doubt?

People *have* built interprocedural flow analysers for Pascal compilers.
People have even done it for Fortran, complete with separate compilation.
Even commercial people (as opposed to research).
Other people even use such compilers.

Preston Briggs
preston@titan.rice.edu
Technical Details
Message-ID: <4651@brazos.Rice.edu>
Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!rice!titan!preston
References: <14226@lambda.UUCP> <8960010@hpfcso.HP.COM>

Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!rice!titan!preston
From: preston@titan.rice.edu (Preston Briggs)
Newsgroups: comp.lang.misc
Subject: Re: 'register' variables and other goodies (was Re: Common subexpression optimization)
Message-ID: <4651@brazos.Rice.edu>
Date: 7 Feb 90 04:27:39 GMT
References: <14226@lambda.UUCP> <8960010@hpfcso.HP.COM>
Sender: root@rice.edu
Organization: Rice University, Houston
Lines: 18