This is not entirely true. Basile Starynkévitch has written GNU MELT [1] as a way to circumvent "hard to work with" internal representation of GCC by letting you create GCC plug-ins in a Lisp dialect. This basically side-steps the traditional political blockade set-up by RMS. It is very clever, and starting to mature; Basile has fixed a number of issues in how he generates C code.
I'm not sure about Gerry Jensen's idea, e.g. how much effort, whether it is worth the effort, etc. Creating a VM for legacy code is also difficult, since it will run rather slow unless you are a really good implementor (for example, the Hercules VM [2] for simulating IBM mainframes is rather slow last I checked due to how it has to intercept and translate instructions into the native architecture). [1] http://gcc.gnu.org/wiki/MiddleEndLispTranslator [2] http://www.hercules-390.org/ On Tue, Jun 22, 2010 at 11:37 AM, Monty Zukowski <mo...@codetransform.com>wrote: > GNU C was explicitly designed to make its intermediate representation > hard to work with. LLVM is a more practical choice. > > Monty > > On Mon, Jun 21, 2010 at 6:02 PM, Gerry J <geral...@tpg.com.au> wrote: > > You may find the concept of semantic slicing relevant: > > http://www.cse.dmu.ac.uk/~mward/martin/papers/csmr2005-t.pdf<http://www.cse.dmu.ac.uk/%7Emward/martin/papers/csmr2005-t.pdf> > > There is software at: > > http://www.cse.dmu.ac.uk/~mward/fermat.html<http://www.cse.dmu.ac.uk/%7Emward/fermat.html> > > > > One possible path to explore is to take GNU C etc intermediate > > representation of source as the "assembly language" of a VM and reverse > from > > that to a more portable VM, as in Squeak or Java. > > Perhaps Ometa could be combined in some way with FermaT to recognise > > patterns and port legacy code to a fonc VM ? > > > > Regards, > > Gerry Jensen > > 02 9713 6004 > > > > > > > > > >> > >> > >> > >> > > > > > > _______________________________________________ > > fonc mailing list > > fonc@vpri.org > > http://vpri.org/mailman/listinfo/fonc > > > > _______________________________________________ > fonc mailing list > fonc@vpri.org > http://vpri.org/mailman/listinfo/fonc >
_______________________________________________ fonc mailing list fonc@vpri.org http://vpri.org/mailman/listinfo/fonc