low level optimization

[Dan Bernstein]

Anyone who isn't sure about the issues involved here should keep the
following in mind while reading Jim's articles: A standard-conforming
compiler can include foo.c as part of foo.o. When it links foo.o and
bar.o together to make a program, it still has foo.c and bar.c right
there inside the object files, so it can do all types of interprocedural
analysis.

In practice, compilers don't include *all* of foo.c and bar.c---only
some useful information about the procedure calls and variable use. This
still conforms with the standard.

Jim, I recommend that you look at the MIPS C compilers.

---Dan