jayfoad wrote: > IMHO, not relying on `SplitBB` makes sense to me since `SplitBB` is only one of the known sources of this problem so extending it to a more general case might make check more robust. Are there other known sources of this problem? https://github.com/llvm/llvm-project/pull/193143