GCC MELT documentation

You can find a lot of relevant resources about GCC internals on the Web. We recommend in particular:

Tutorials for GCC MELT

Audience: experimented GCC users, curious about GCC MELT, having already downloaded and installed it, and fluent with command-line and development utilities (e.g. gcc, make, bash, awk, some editor like emacs, vim, or gedit etc...), and already knowing how to invoke GCC. Check that your gcc command invokes directly the GCC compiler, without being aliased to utilities like ccache.

It is strongly suggested to read the tutorials below in order, after having installed GCC MELT on your computer.

Tutorial on invoking and using the MELT plugin

Read first our tutorial on how to use GCC MELT (after having installed it). This tutorial will explain on how to invoke the MELT plugin for GCC.
(It does not explain the MELT language, or how to develop your own GCC extensions in MELT).

Tutorial on the MELT language

After having installed and be able to invoke MELT on your machine (by reading the above tutorial), read the Tutorial on the MELT domain specific language (incomplete draft), which explain some basics about the MELT language (without any focus on handling GCC specific data).

Tutorial on the MELT implementation

To be written, to explain how to customize GCC. See some slides below.

Reference for GCC MELT

Reference documentation should be available locally on your system if the GCC MELT plugin has been properly installed. This documentation is written or generated in Texinfo form, then converted to HTML.

GCC MELT user reference documentation

The user reference documentation explains how to use the GCC MELT plugin, i.e. what are the available program argument options and environment variables. It is in the (hand-written) file meltplugin.html (GFDL license).

GCC MELT API reference documentation

The API reference documentation explains how to code in the the MELT domain specific language, i.e. what language constructs (macros, primitives, functions....) are available. It is machine-generated from :doc annotations inside *.melt files. It is available in the big (generated) file meltpluginapi.html (GPLv3 licensed, since derived from GPLv3 source code).

Publications on GCC MELT

Publications in reverse chronological order:

Using MELT to improve or explore your GCC-compiled source code (OpenGPU workshop, Paris, april 2012)
MELT, a Translated Domain Specific Language Embedded in the GCC Compiler at DSL2011 IFIP Working Conference on Domain-Specific Languages (Bordeaux, september 2011)
Multi-Stage Construction of a Global Static Analyzer, GCC summit, Ottawa, july 2007

Slides on GCC MELT

talk given at LRDE EPITA seminar on Extending the GCC compiler with MELT, may 22^nd, 2013 : 56 slides (PDF), video of talk (in French)
tutorial on GCC MELT, a high-level domain specific language to extend the GCC compiler given at Tapas2012 workshop [PDF, 21 slides] within 19^th Static Analysis Symposium (Deauville, september 2012)
tutorial on Gcc internals and Melt extensions (Paris, january 2012, Hipeac 2012 tutorial, improved for a talk at LIP6, Paris, may 2012) [PDF, 135+ slides]
talk on MELT (given at INRIA, LIG, MOUAIS near Grenoble, december 2011) [PDF, 100 slides]
DSL2011 presentation slides (Bordeaux, september 2011), [PDF, 31 slides]
GCC, MELT and Talpo, with Pierre Vittet (august 2011) [PDF, 85 slides], for Gnu Hacker Meeting (Paris, 2011)

Documentation about GCC MELT

External documentation about GCC