Superoptimization

Modern compilers “optimize”, but the resulting code is not actually optimal in the sense of being the best possible code translation. Superoptimization changes all that by generating the theoretically best translation of any source program.

The theoretical basis has long been established and demonstrated, but it is immensely computationally demanding. Recent advances in algorithms and modern high performance computing have finally made the approach feasible. Embecosm are the first company to offer and deploy superoptimization for commercial applications. This is a practical technology that can deliver a step change in performance and code size for your key algorithms and libraries.

Generate the theoretically best code sequence

Can optimize for code size, speed or energy efficiency

Potential step change in compiled code performance

Available for all compilers, including GCC and LLVM

Thanks to Embecosm's experience, unique skills and novel techniques we were able to complete ambitious research that required searching an enormous computational space.

Dr Simon Hollis University of Bristol

Embecosm developed a first rate GNU toolchain for our architecture, the team is very strong technically, produce great documentation and have been a pleasure to work with.