Fix accidentally inverted logic from r152803, and make the

testcase slightly less trivial. This fixes rdar://11171718.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@154118 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Dan Gohman 2012-04-05 20:27:21 +00:00
parent 703bf84d32
commit 036ebfd874
2 changed files with 7 additions and 1 deletions

View File

@ -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;

View File

@ -9,7 +9,13 @@ entry:
return: ; No predecessors!
%bar = bitcast %2* %x to i8*
%foo = call i8* @objc_autoreleaseReturnValue(i8* %bar) nounwind
call void @callee()
call void @use_pointer(i8* %foo)
call void @objc_release(i8* %foo) nounwind
ret void
}
declare i8* @objc_autoreleaseReturnValue(i8*)
declare void @objc_release(i8*)
declare void @callee()
declare void @use_pointer(i8*)