Re: A fast scheme implementation?



On Thu, 13 Dec 2007 14:47:26 -0800, William D Clinger wrote:
Not entirely true. If the compiler squirrels away a serialized
representation of its IR along with the object code, then when invoked
to do linking it can perform whole-program optimizations.

Such things have been known in commercial C compilers for some time;
more recently the LLVM project has been working in this area, and a
separate effort is known to exist for GCC.

I stand corrected. Should I count the time spent waiting for this to be
implemented in gcc as part of the compile time?

Only if the competition was specific to GCC, rather than just "C". I
remember using a MIPS toolchain back in the late 80s/early 90s that had a
mode where it would emit some sort of half-compiled tree representation,
rather than object code, and the "linker" would then do whole-program
optimization. I never used it, because it was (a) slow, and (b) I tended
to compile all of my programs in a "whole program" way anyway, they
didn't depend much on separately compiled libraries.

It would be interesting to see how well a modern Java implementation
managed it, too. One of the things that current versions of HotSpot are
supposed to do is inlining and specialization.

Cheers,

--
Andrew
.



Relevant Pages

  • Re: Cobol object code compare
    ... Cobol object code compare ... cobol compile codes or re-creates the source from the object. ... You shouldn't have to recompile to get a good production executable, ... To join/leave the list, search archives, change list settings, * ...
    (comp.sys.hp.mpe)
  • Re: <ctype.h> toLower()
    ... > If it's a free standing implimentation, then the scope of the standard is ... I am talking about the compiled object code when I mean ... advantages of object code far outweigh source code in terms of portability. ... > you compile it with a hosted implimentation for that platform). ...
    (alt.comp.lang.learn.c-cpp)
  • Re: Cobol object code compare
    ... cobol compile codes or re-creates the source from the object. ... least slightly different executables. ... make dramatic differences in the object code, ... production executables, make sure that your source code and documentation is ...
    (comp.sys.hp.mpe)
  • Re: Serializing Python compiled code.
    ... In a C++ application having a Python interpreter embedded, ... possible to compile a small Python snippet into object code and ... serialize the compiled object code to, for example, a database? ...
    (comp.lang.python)
  • Re: sha-256 as a boolean function
    ... I'd like to have SHA-256 in form of a set of boolean functions, i,e. ... Write yourself a compiler to compile the source code into a primative ... machine language into a Turing complete set of primative operators. ... The source code IS such an other representation ...
    (sci.crypt)