Path: utzoo!utgpu!news-server.csri.toronto.edu!rutgers!cs.utexas.edu!sun-barr!newstop!exodus!brahmand.Eng.Sun.COM!grover
From: grover@brahmand.Eng.Sun.COM (Vinod Grover)
Newsgroups: comp.lang.misc
Subject: Re: Aggressive optimization
Message-ID: <2028@exodus.Eng.Sun.COM>
Date: 3 Nov 90 04:16:26 GMT
References: <PCG.90Nov1171210@odin.cs.aber.ac.uk> <4699@lanl.gov> <PCG.90Nov2231021@athene.cs.aber.ac.uk>
Sender: news@exodus.Eng.Sun.COM
Organization: Sun Microsystems, Mt. View, Ca.
Lines: 13

In article <PCG.90Nov2231021@athene.cs.aber.ac.uk> pcg@cs.aber.ac.uk (Piercarlo Grandi) writes:
>The burden of proof is on proponents of aggressive optimization, becasue
>they have to overcome the obvious observation that anything that
>enlarges or complicates a program will tend to decrease its reliability.

I fail to see how an optimiser can complicate a program if it performs its
transfromation at an intermediate level. The source program written by the
programmer is *not modified* in any way. The translation to a complex
intermediate form, if correct, does not affect the reliability of the source
program. 

Vinod Grover
Sun Microsystems