🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: comp.lang.misc
Article #1946

Re: Aggressive optimization

#1946
From: Jim Giles
Date: Tue, 06 Nov 1990 21:51
17 lines
1252 bytes
From article <7177:Nov620:48:1590@kramden.acf.nyu.edu>, by brnstnd@kramden.acf.nyu.edu (Dan Bernstein):
> [... if-test around aliased vs. non-aliased code ...]
> However, a smart compiler can perform this optimization automatically. In
> most cases it can do the test at compile time, and generate calls to
> either the fast compiled version or the slow compiled version. I don't
> know why Jim repeatedly insists this is impossible.

The example given doesn't even contain a procedure call.  It has
nothing at all to do with the thing that I consistently have asserted
is not possible for the compiler _alone_.  As it happens, I agree that
this case probably has a purely compile-time (or compiled-in run-time)
solution.

It is you continued claim that the compiler can solve interprocedural
aliasing questions by itself (and at compile-time) that I disagree with.

J. Giles
Technical Details
Message-ID: <5089@lanl.gov>
Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!yale!cmcl2!lanl!jlg
References: <7177:Nov620:48:1590@kramden.acf.nyu.edu>

Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!yale!cmcl2!lanl!jlg
From: jlg@lanl.gov (Jim Giles)
Newsgroups: comp.lang.misc
Subject: Re: Aggressive optimization
Message-ID: <5089@lanl.gov>
Date: 6 Nov 90 21:51:20 GMT
References: <7177:Nov620:48:1590@kramden.acf.nyu.edu>
Organization: Los Alamos Natl Lab, Los Alamos, N.M.
Lines: 17