From aa7868594eea6fd43c78e0496573a0c48b1092af Mon Sep 17 00:00:00 2001 From: Michael Zolotukhin Date: Tue, 10 Apr 2018 02:16:29 +0000 Subject: [SSAUpdaterBulk] Handle CFG with unreachable from entry blocks. llvm-svn: 329660 --- llvm/lib/Transforms/Utils/SSAUpdaterBulk.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'llvm/lib') diff --git a/llvm/lib/Transforms/Utils/SSAUpdaterBulk.cpp b/llvm/lib/Transforms/Utils/SSAUpdaterBulk.cpp index 8f106c57b43..9f358e1d60a 100644 --- a/llvm/lib/Transforms/Utils/SSAUpdaterBulk.cpp +++ b/llvm/lib/Transforms/Utils/SSAUpdaterBulk.cpp @@ -57,7 +57,7 @@ bool SSAUpdaterBulk::HasValueForBlock(unsigned Var, BasicBlock *BB) { Value *SSAUpdaterBulk::computeValueAt(BasicBlock *BB, RewriteInfo &R, DominatorTree *DT) { if (!R.Defines.count(BB)) { - if (PredCache.get(BB).size()) { + if (DT->isReachableFromEntry(BB) && PredCache.get(BB).size()) { BasicBlock *IDom = DT->getNode(BB)->getIDom()->getBlock(); R.Defines[BB] = computeValueAt(IDom, R, DT); } else -- cgit v1.2.3