Re: Data Structure Reorganizing Optimizations

monnier@di.epfl.ch (Stefan Monnier)
Mon, 14 Nov 1994 13:35:10 GMT

          From comp.compilers

Related articles
[14 earlier articles]
Re: Data Structure Reorganizing Optimizations pardo@cs.washington.edu (1994-11-09)
Re: Data Structure Reorganizing Optimizations kendall@pot.East.Sun.COM (1994-11-05)
Re: Data Structure Reorganizing Optimizations praetorius@figs.enet.dec.com (1994-11-09)
Re: Data Structure Reorganizing Optimizations pjensen@csi.compuserve.com (1994-11-11)
Re: Data Structure Reorganizing Optimizations glew@ichips.intel.com (1994-11-13)
Re: Data Structure Reorganizing Optimizations glew@ichips.intel.com (1994-11-13)
Re: Data Structure Reorganizing Optimizations monnier@di.epfl.ch (1994-11-14)
Re: Data Structure Reorganizing Optimizations rockwell@nova.umd.edu (1994-11-14)
Re: Data Structure Reorganizing Optimizations dsiebert@icaen.uiowa.edu (1994-11-14)
Re: Data Structure Reorganizing Optimizations ok@cs.rmit.oz.au (1994-11-21)
Re: Data Structure Reorganizing Optimizations thorinn@diku.dk (1994-11-21)
Re: Data Structure Reorganizing Optimizations praetorius@figs.enet.dec.com (1994-11-23)
| List of all articles for this month |
Newsgroups: comp.arch,comp.compilers
From: monnier@di.epfl.ch (Stefan Monnier)
Keywords: optimize, design
Organization: Ecole Polytechnique Federale de Lausanne
References: 94-10-108 94-11-087
Date: Mon, 14 Nov 1994 13:35:10 GMT

Andy Glew <glew@ichips.intel.com> wrote:
> From this, I conclude that there are valid reasons to not arbitrarily
> reorder BUT ALL OF THESE REASONS ARE BROKEN OR NONPORTABLE C PROGRAMS IN
> THE FIRST PLACE!!! (except for class a, passing between separately
> compiled modules)


And I might argue that this exception is due to C being broken:
it assumes that two structures that have the same fields will be laid
out the same way. (since when you compile two files with the same
struct definition, it's not one but two similar types that are seen
from the compiler). This is an old problem due to old linker design.
Languages with a better separate compilation support (like modula-2,
but tons of other examples could be used) don't have this problem !




Stefan
--


Post a followup to this message

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