2 ms·
For small pieces of code I would try to use a superoptimizer like souper.
by adrianN 3y ago
For small pieces of code I would try to use a superoptimizer like souper.
- a1o 3y agohttps://github.com/google/souper https://github.com/google/souper It looks like it only supports Linux and macOS - no Windows, but no other things too like mobile. It seems it exists for ten years, I wonder what optimizations aren't still picked by the recent compilers.
- adrianN 3y agoCompilers need to balance compilation speed with optimization. SMT solvers are right out for speed reasons.