/// Look for this pattern:
/// \code
-/// %call = tail call i8* @something(...)
+/// %call = call i8* @something(...)
/// %2 = call i8* @objc_retain(i8* %call)
/// %3 = call i8* @objc_autorelease(i8* %2)
/// ret i8* %3
bool HasSafePathToCall = HasSafePathToPredecessorCall(Arg, Retain,
DependingInstructions,
Visited, PA);
-
- // Don't remove retainRV/autoreleaseRV pairs if the call isn't a tail call.
- if (GetBasicARCInstKind(Retain) == ARCInstKind::RetainRV &&
- GetBasicARCInstKind(Autorelease) == ARCInstKind::AutoreleaseRV &&
- !cast<CallInst>(*DependingInstructions.begin())->isTailCall())
- continue;
-
DependingInstructions.clear();
Visited.clear();
; CHECK-NEXT: ret i8* %call
define i8* @test3() {
entry:
- %call = tail call i8* @returner()
+ %call = call i8* @returner()
%0 = call i8* @llvm.objc.retainAutoreleasedReturnValue(i8* %call) nounwind
%1 = call i8* @llvm.objc.autoreleaseReturnValue(i8* %0) nounwind
ret i8* %1
ret i32* %retval
}
-; Don't eliminate the retainRV/autoreleaseRV pair if the call isn't a tail call.
-
-; CHECK-LABEL: define i8* @test28(
-; CHECK: call i8* @returner()
-; CHECK: call i8* @llvm.objc.retainAutoreleasedReturnValue(
-; CHECK: call i8* @llvm.objc.autoreleaseReturnValue(
-define i8* @test28() {
-entry:
- %call = call i8* @returner()
- %0 = call i8* @llvm.objc.retainAutoreleasedReturnValue(i8* %call) nounwind
- %1 = call i8* @llvm.objc.autoreleaseReturnValue(i8* %0) nounwind
- ret i8* %1
-}
-
!0 = !{}
; CHECK: attributes [[NUW]] = { nounwind }