Re:Large Language Models for Compiler Optimization
by wyldfire on Sunday September 17, 2023 @08:34PM
(#37550841)
> phase ordering precisely because they don't impact correctness.
lol let's say they're less likely to impact correctness than an arbitrary new optimization.
Re:Large Language Models for Compiler Optimization
by ncruces on Monday September 18, 2023 @04:20AM
(#37553625)
If you find a bug, it's in the optimization passes (that don't reorder and should, if you decide to do this).
At this point this is like (usefully) fuzzing your optimizer, which long term is going to be great for correctness.
Most work in ML for compilers focuses on replacing heuristics and phase ordering precisely because they don't impact correctness. There is some work being done on neural compilation [1], but I'm not sure that's going to be a viable approach anytime soon.
1. https://ieeexplore.ieee.org/document/9926313