4 ms·
You're assuming that the hard part is finding optimizable patterns and transforming them, and not deciding whether applying the transformation will actually be
by 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 agoIn 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 agoThat 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.