Verification of Optimization Correctness with SuperTest June 13, 2019 If you think advanced compiler optimizations are robust and well-tested, you are wrong. Our recent experiments with optimization testing have uncovered errors in every compiler technology that we got our hands on.