To add onto that, my understanding is that just "knowing" which sequence of passes is required to perform desired transformation is isomorphic to the halting pr

To add onto that, my understanding is that just "knowing" which sequence of passes is required to perform desired transformation is isomorphic to the halting problem. We might do better if we were more intelligent about our pass managers, but last I checked, LLVM uses simple ones.