Optimizing compiler almost fully tested