4 ms·
To be clear, I don't believe flambda is providing anything on the scale of whole program optimization; it inlines more aggressively, but not the entire program.
by wk_end 11y ago
To be clear, I don't believe flambda is providing anything on the scale of whole program optimization; it inlines more aggressively, but not the entire program.
- Drup 11y agoThat is not exactly correct, it also does cross module inlining. Now, suppose you tweak a bit your parameters to inline ... liberally. It's going to inline all the mirage functors directly into your main, which enables various things. Of course, that's going to take a bit of time to compile. Also, IIRC, all the ingredients are in place for link time optimizations, but they were not developed for ocaml 4.03.