Wed Mar 17 11:24:37 CET 2010

Compiler Testing

What is needed is a test relative to a reference implementation, and a
sufficient argument the test coverage is broad enough.

This requires:

     - a _simple_ reference implementation (VM + compiler)

     - simulators for target architectures + test suite.

The idea is that it is easy to write these components (errors can't
hide), but it is error prone to write an optimizing compiler.