Warning

This is a language reference manual, not a tutorial on the -specification language.

is, although it provides quite advanced rule-based programming concepts for specification of optimizations, not a commercial software product, but a research prototype. Thus

1.

may dump core in unexpected situations. Then send a mail with the specification and the version number of your binary to the author. To obtain the version number call optimix -v on the command line. I do not promise to provide immediate support but I am glad if users help me to detect errors.

2.

may generate incorrect code. Test your generated code first before you trust it!!

3.

The documentation may be hard to understand (because I have only limited time for it). Please try on different variants of your specification. Also read all papers on the subject of graph rewriting for program optimization.

4.

The specification language is not stable, and may change in further versions. The syntax is sometimes inconsistent and non-orthogonal. This is due to historic reasons and the experimental nature of the language. Future versions will try to make the language more orthogonal and in its conventional pars more similar to classical languages as C/C++/Java.

5.

is compiled with an enourmous amount of gcc warnings. This is due to the use of void pointer classes and the AST tool types, which would need casting everywhere. If the system does not compile, send a mail to the author and use the -binary.

6.

To construct has cost me about 3 man years. Please be patient with me and the current status of the tool.

7.

If you are pleased with the tool and find it revolutionary, please send a plain mail postcard with a nice picture to my address. This will motivate me to fight for further development. The more encouraging comments are found on the postcard, the better!