arsenm wrote: I've been incrementally working on this for 2 years, the number of verifier errors across the targets is getting lower and lower. The main obstacles now are missing subregister support in some of the optimization APIs https://github.com/llvm/llvm-project/pull/208015