3 ms·

How does pass reordering relate to the halting problem?

• yters 6y ago
  You are right. Looks like it is just trying different permutations of the compiler flags, not actually trying to generate optimization proofs using machine learning. The latter is what my comment is aimed at.