3 ms·
It seems crazy that stochastic optimization written by a couple of grad students is better than 30 years of the very best programmers writing optimizing compile
by erichocean 11y ago
It seems crazy that stochastic optimization written by a couple of grad students is better than 30 years of the very best programmers writing optimizing compilers by hand.
Take something like Inria's certified C compiler, then run STOKE (with loop optimizations available) and you've got a provably correct optimizing compiler that's as fast or faster than GCC, Clang, VS, and Intel but without the compilation bugs.
Really cool stuff.
- UniQP 11y agoThere are a lot of compiler optimizations that uses global analyses/optimizations that are not covered by optimizing a sequence of assembly instructions. Thus, I doubt that CompCert + STOKE would reach the code quality of production compilers. Nevertheless, I agree that superoptimizers ofter find optimizations that are not considered by the compiler engineers. Another good example is the Optgen tool [1] that also identified missing (machine-independent) optimizations in all production compilers. [1] http://pp.ipd.kit.edu/optgen/ http://pp.ipd.kit.edu/optgen/