Index: llvm/lib/Transforms/Utils/SSAUpdater.cpp =================================================================== --- llvm/lib/Transforms/Utils/SSAUpdater.cpp +++ llvm/lib/Transforms/Utils/SSAUpdater.cpp @@ -195,11 +195,6 @@ else V = GetValueInMiddleOfBlock(User->getParent()); - // Notify that users of the existing value that it is being replaced. - Value *OldVal = U.get(); - if (OldVal != V && OldVal->hasValueHandle()) - ValueHandleBase::ValueIsRAUWd(OldVal, V); - U.set(V); } Index: llvm/test/Transforms/LCSSA/pr44320.ll =================================================================== --- llvm/test/Transforms/LCSSA/pr44320.ll +++ llvm/test/Transforms/LCSSA/pr44320.ll @@ -1,4 +1,3 @@ -; XFAIL: * ; RUN: opt -passes="verify,lcssa,verify" -verify-scev-strict -S -disable-output %s ; The first SCEV verification is required because it queries SCEV and populates