Revert "[DebugInfo] Recover debug intrinsics when killing duplicated/empty basic blocks"

This reverts commit 72ce759928e6dfee6a9efa310b966c19722352ba.

Reverted due to build failure.

1 files changed, 5 insertions, 22 deletions

diff --git a/llvm/lib/Transforms/Utils/Local.cpp b/llvm/lib/Transforms/Utils/Local.cpp
index 94edf8c..eaccaa1 100644
--- a/llvm/lib/Transforms/Utils/Local.cpp
+++ b/llvm/lib/Transforms/Utils/Local.cpp
@@ -485,19 +485,15 @@ void llvm::RecursivelyDeleteTriviallyDeadInstructions(
     I.eraseFromParent();
   }
 }
-void llvm::setDbgVariableUndef(DbgVariableIntrinsic *DVI) {
-  Value *DbgValue = DVI->getVariableLocation(false);
-  Value *Undef = UndefValue::get(DbgValue ? DbgValue->getType()
-                                          : Type::getInt1Ty(DVI->getContext()));
-  DVI->setOperand(
-      0, MetadataAsValue::get(DVI->getContext(), ValueAsMetadata::get(Undef)));
-}
 
 bool llvm::replaceDbgUsesWithUndef(Instruction *I) {
   SmallVector<DbgVariableIntrinsic *, 1> DbgUsers;
   findDbgUsers(DbgUsers, I);
-  for (auto *DII : DbgUsers)
-    setDbgVariableUndef(DII);
+  for (auto *DII : DbgUsers) {
+    Value *Undef = UndefValue::get(I->getType());
+    DII->setOperand(0, MetadataAsValue::get(DII->getContext(),
+                                            ValueAsMetadata::get(Undef)));
+  }
   return !DbgUsers.empty();
 }
 
@@ -1044,19 +1040,6 @@ bool llvm::TryToSimplifyUncondBranchFromEmptyBlock(BasicBlock *BB,
       assert(PN->use_empty() && "There shouldn't be any uses here!");
       PN->eraseFromParent();
     }
-    // If Succ has multiple predecessors, each debug intrinsic in BB may or may
-    // not be valid when we reach Succ, so the debug variable should be set
-    // undef since its value is unknown.
-    Instruction *DbgInsertPoint = Succ->getFirstNonPHI();
-    while (DbgInfoIntrinsic *DI = dyn_cast<DbgInfoIntrinsic>(&BB->front())) {
-      if (auto DVI = cast<DbgVariableIntrinsic>(DI)) {
-        if (!isa<DbgDeclareInst>(DVI))
-          setDbgVariableUndef(DVI);
-        DVI->moveBefore(DbgInsertPoint);
-      } else {
-        break;
-      }
-    }
   }
 
   // If the unconditional branch we replaced contains llvm.loop metadata, we