Naville added a comment. DemoteReg does the same already in ``U->replaceUsesOfWith(&I, V);``, so I think we're all good here CHANGES SINCE LAST ACTION https://reviews.llvm.org/D138641/new/ https://reviews.llvm.org/D138641