From cc64bbca818f996ab43573b1c113d85bde15a420 Mon Sep 17 00:00:00 2001
From: Dan Gohman <gohman@apple.com>
Date: Thu, 5 Apr 2012 20:27:21 +0000
Subject: Fix accidentally inverted logic from r152803, and make the testcase
 slightly less trivial. This fixes rdar://11171718.

llvm-svn: 154118
---
 llvm/lib/Transforms/Scalar/ObjCARC.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'llvm/lib')

diff --git a/llvm/lib/Transforms/Scalar/ObjCARC.cpp b/llvm/lib/Transforms/Scalar/ObjCARC.cpp
index 80c1dd166ec..56e6c4c9574 100644
--- a/llvm/lib/Transforms/Scalar/ObjCARC.cpp
+++ b/llvm/lib/Transforms/Scalar/ObjCARC.cpp
@@ -4073,7 +4073,7 @@ bool ObjCARCContract::runOnFunction(Function &F) {
         if (!UserInst)
           continue;
         // FIXME: dominates should return true for unreachable UserInst.
-        if (!DT->isReachableFromEntry(UserInst->getParent()) ||
+        if (DT->isReachableFromEntry(UserInst->getParent()) &&
             DT->dominates(Inst, UserInst)) {
           Changed = true;
           Instruction *Replacement = Inst;
-- 
cgit v1.2.3