1
0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-20 19:42:54 +02:00

Fix accidentally inverted logic from r152803, and make the

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

llvm-svn: 154118
This commit is contained in:
Dan Gohman 2012-04-05 20:27:21 +00:00
parent 95a9414392
commit a5e2200b2a
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*)