3 ms·

We should have -O4 meaning "however long it takes" or something.

• joosters 11y ago
  We already do. That's what high optimisation levels mean.
• Jweb_Guru 11y ago
  You're assuming that the hard part is finding optimizable patterns and transforming them, and not deciding whether applying the transformation will actually be an optimization.
  • bmh100 11y ago
    In regards to superoptimization, that actually is the case. See this blog post about the use of Souper in LLVM [1]. [1]: http://blog.regehr.org/archives/1146 http://blog.regehr.org/archives/1146
    • Jweb_Guru 11y ago
      That blog post (which I've read) doesn't provide any evidence for that (or even talk about it), and only discusses a small subset of optimizations.