MLRISC
MLRISC is a configurable compiler back-end that supports generating code for Alpha, PA-RISC, Sparc, x86, PowerPC, MIPS, and TI C6x processors. The MLRISC intermediate representation, target instruction set, flowgraph, and optimization suite are all parameterizable, so that a front-end can specialize each to produce the most suitable backend for a given language. The system is implemented in ML and is used by several compilers, including:
- Standard ML of New Jersey
- Church
- LGIC (a compiler for CHILL)
- The Moby Language
- MLRISC was also used in an early implementation of the C–– portable assembly language.
Thanks to Kent Hunter for the pointer.