Path: utzoo!utgpu!water!watmath!clyde!att!osu-cis!tut.cis.ohio-state.edu!mailrus!purdue!haven!uvaarpa!babbage!mac3n
From: mac3n@babbage.acc.virginia.edu (Alex Colvin)
Newsgroups: comp.arch
Subject: Re: "interprocedural analysis useless for code optmization"
Summary: alias opportunities & language design
Message-ID: <371@babbage.acc.virginia.edu>
Date: 15 Oct 88 15:47:53 GMT
References: <9988@cup.portal.com> <29285@think.UUCP>
Organization: University of Virginia
Lines: 13

The possibilities for aliasing are MUCH greater in C.  C allows any non-
register variable to be aliased.  Technically, it may be aliased only by
another variable of the same type (modulo union types).

Pascal seems to have been designed to obviate the need for aliasing
analysis.  It looks like it was successful.

Perhaps the conclusion here is that language design up front simplifies
optimization in back.  What does this tell us about universal intermediate
languages?

Unfortunately, someone's got to compile those millions of lines of C.  And
PL/I and F*TRAN.