[llvm] r222984 - Relax an assert a bit to avoid a crash on unreachable code.

[Rafael Espindola]

Author: rafael
Date: Sun Nov 30 20:55:24 2014
New Revision: 222984

URL: http://llvm.org/viewvc/llvm-project?rev=222984&view=rev
Log:
Relax an assert a bit to avoid a crash on unreachable code.

Patch by Duncan Exon Smith with a small tweak by me.

Added:
    llvm/trunk/test/Transforms/GVN/load-from-unreachable-predecessor.ll
Modified:
    llvm/trunk/lib/Analysis/MemoryDependenceAnalysis.cpp

Modified: llvm/trunk/lib/Analysis/MemoryDependenceAnalysis.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Analysis/MemoryDependenceAnalysis.cpp?rev=222984&r1=222983&r2=222984&view=diff
==============================================================================
--- llvm/trunk/lib/Analysis/MemoryDependenceAnalysis.cpp (original)
+++ llvm/trunk/lib/Analysis/MemoryDependenceAnalysis.cpp Sun Nov 30 20:55:24 2014
@@ -1361,7 +1361,7 @@ getNonLocalPointerDepFromBB(const PHITra
       if (I->getBB() != BB)
         continue;
 
-      assert(I->getResult().isNonLocal() &&
+      assert((I->getResult().isNonLocal() || !DT->isReachableFromEntry(BB)) &&
              "Should only be here with transparent block");
       I->setResult(MemDepResult::getUnknown());
       Result.push_back(NonLocalDepResult(I->getBB(), I->getResult(),

Added: llvm/trunk/test/Transforms/GVN/load-from-unreachable-predecessor.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/GVN/load-from-unreachable-predecessor.ll?rev=222984&view=auto
==============================================================================
--- llvm/trunk/test/Transforms/GVN/load-from-unreachable-predecessor.ll (added)
+++ llvm/trunk/test/Transforms/GVN/load-from-unreachable-predecessor.ll Sun Nov 30 20:55:24 2014
@@ -0,0 +1,20 @@
+; RUN: opt -gvn -S < %s | FileCheck %s
+
+; Check that an unreachable predecessor to a PHI node doesn't cause a crash.
+; PR21625.
+
+define i32 @f(i32** %f) {
+; CHECK: bb0:
+; Load should be removed, since it's ignored.
+; CHECK-NEXT: br label
+bb0:
+  %bar = load i32** %f
+  br label %bb2
+bb1:
+  %zed = load i32** %f
+  br i1 false, label %bb1, label %bb2
+bb2:
+  %foo = phi i32* [ null, %bb0 ], [ %zed, %bb1 ]
+  %storemerge = load i32* %foo
+  ret i32 %storemerge
+}