3 ms·

Just curious: which compilers according to your statement are designed for extreme performance? I know at the very right of the compilation time/performance axi

by htfy96 8y ago

Just curious: which compilers according to your statement are designed for extreme performance? I know at the very right of the compilation time/performance axis lies SAT-based "super optimizers", but what lies between super optimizers and general-purpose compilers like icc?

sanxiyn 8y ago
For example, Unison is an alternative code generator for LLVM, which uses constraint programming to do combined register allocation and instruction selection. It is very slow, but it does generate optimal (not just improved!) code, within its performance model. http://unison-code.github.io/ http://unison-code.github.io/
- htfy96 8y ago
  Thanks for the information. It seems that it is a super optimizer[0]. [0]: https://en.wikipedia.org/wiki/Superoptimization https://en.wikipedia.org/wiki/Superoptimization
  - sanxiyn 8y ago
    Unison is not a superoptimizer. Superoptimizer is evem slower.