https://github.com/michaelmaitland commented: Can you please add a test that contains virtual registers? I think this is needed in order to do reaching def analysis prior to register allocation? https://github.com/llvm/llvm-project/pull/118097