A Catalog of Research Compiler Infrastructures and Tools

Zephyr Compiler Infrastructure provides a means to define an intermediate representation and write passes on it in several languages; it also provides a hardware description language to power a code-generator generator. From the web site:

If you describe your intermediate forms using Zephyr’s Abstract Syntax Description Language (ASDL), we can generate data-structure definitions in C, C++, Java, Standard ML, and Haskell. Your IR can be serialized on disk and freely exchanged among compiler passes written in these languages…

[Zephyr] generate[s] the machine-dependent parts from descriptions of instructions’ semantics, of binary representations, or of other properties. Zephyr’s Computer Systems Description Languages (CSDL) let you describe as much or as little as you need for your application.

Zephyr also seems to provide a reasonable set of built-in optimizations.

This entry was posted on Wednesday, March 31st, 2004 at 1:41 am and is filed under Back-ends and portable IRs, C and/or C++, Haskell, Java/JVM, Standard ML, Tools: IR translators, Tools: code-generator generators. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.