Announce: GCC MELT plugin 0.8 rc3 for GCC 4.6

[Basile Starynkevitch]

Hello All,

The release candidate 3 of the MELT plugin version 0.8 for GCC 4.6 is
available as a gzipped source tar archive, from
http://gcc-melt.org/melt-0.8rc3-plugin-for-gcc-4.6.tgz of size 3356872
bytes, of md5sum 7fb95a2469948ee9ffeb10cb523ab134 (july 10th 2011). It
is extracted from MELT branch svn revision 176124

#######################################################################
NEWS for 0.8rc3 MELT plugin for gcc-4.6

July 10th, 2011: Release candidate 3 of MELT plugin 0.8 for GCC 4.6
as melt-0.8rc3-plugin-for-gcc-4.6

See http://gcc-melt.org/

New features (w.r.t. MELT plugin 0.7):

* support for pragmas for MELT

* the MELT garbage collector is called less often, using the
PLUGIN_GGC_START hook.

* several new c-iterators and c-matchers.

* added static analyzing pass gccframe, useful for melt-runtime.c

* reject nested defun-s, you should use letrec or let...

* the MELT plugin is built with its MELT-Plugin-Makefile

* debug_msg, assert_msg ... should work, thanks to MELT_HAVE_DEBUG
preprocessor flag, even when melt.so is a plugin for a GCC without
checks enabled.

* melt-runtime.h has a melt_gcc_version integer variable and
melt-runtime.c should be given MELT_GCC_VERSION preprocessor
constant.

* runfile mode compiles quickly (with debug_msg support). Add new mode
translatequickly to compile quickly (with debug_msg & assert_msg
support).

* the MELT building procedure builds various variants of MELT modules,

The 'optimized' variant is built with -O2 but don't support
(debug_msg ...) or (assert_msg ...). The 'quicklybuilt' variant is
built with -O0 and supports debug_msg & assert_msg. The
'debugnoline' variant is mostly useful with gdb, and also supports
debug_msg & assert_msg. These variants should be interoperable, you
could have a warmelt* module with 'optimized' variant and an
xtramelt* module in 'quicklybuilt' bariant.

* use the MELT_STAGE_ZERO=melt-stage0-static workaround
(bug not yet really fixed for plugins on x86 i686, ie 32 bits
machines; but this workaround is a temporary fix.)

Many bugfixes
(but some bugs remain)

#######################################################################

I did not really fix the bug reported by Allan McRae on 32 bits x86 but I did incorporate
a workaround. The plugin is building on 32 bits x86 Linux/Debian/Sid

Comments are welcome.

Cheers.
--
Basile STARYNKEVITCH http://starynkevitch.net/Basile/
email: basile<at>starynkevitch<dot>net mobile: +33 6 8501 2359
8, rue de la Faiencerie, 92340 Bourg La Reine, France
*** opinions {are only mine, sont seulement les miennes} ***