1; RUN: opt -S -objc-arc < %s | FileCheck %s 2 3target datalayout = "e-m:x-p:32:32-i64:64-f80:32-n8:16:32-a:0:32-S32" 4target triple = "i686--windows-msvc" 5 6declare i8* @f(i8*, i8*) 7 8declare i32 @__CxxFrameHandler3(...) 9 10declare dllimport i8* @llvm.objc.autoreleaseReturnValue(i8* returned) 11declare dllimport i8* @llvm.objc.retain(i8* returned) 12declare dllimport i8* @llvm.objc.retainAutoreleasedReturnValue(i8* returned) 13declare dllimport void @llvm.objc.release(i8*) 14 15define i8* @g(i8* %p, i8* %q) local_unnamed_addr personality i8* bitcast (i32 (...)* @__CxxFrameHandler3 to i8*) { 16entry: 17 %0 = tail call i8* @llvm.objc.retain(i8* %p) #0 18 ; the following call prevents ARC optimizer from removing the retain/release 19 ; pair on %p 20 %v1 = call i8* @f(i8* null, i8* null) 21 %1 = tail call i8* @llvm.objc.retain(i8* %q) #0 22 %call = invoke i8* @f(i8* %p, i8* %q) 23 to label %invoke.cont unwind label %catch.dispatch, !clang.arc.no_objc_arc_exceptions !0 24 25catch.dispatch: 26 %2 = catchswitch within none [label %catch] unwind to caller 27 28catch: 29 %3 = catchpad within %2 [i8* null, i32 64, i8* null] 30 catchret from %3 to label %cleanup 31 32invoke.cont: 33 %4 = tail call i8* @llvm.objc.retainAutoreleasedReturnValue(i8* %call) #0 34 br label %cleanup 35 36cleanup: 37 %retval.0 = phi i8* [ %call, %invoke.cont ], [ null, %catch ] 38 tail call void @llvm.objc.release(i8* %q) #0, !clang.imprecise_release !0 39 tail call void @llvm.objc.release(i8* %p) #0, !clang.imprecise_release !0 40 %5 = tail call i8* @llvm.objc.autoreleaseReturnValue(i8* %retval.0) #0 41 ret i8* %retval.0 42} 43 44; CHECK-LABEL: entry: 45; CHECK-NEXT: %0 = tail call i8* @llvm.objc.retain(i8* %p) #0 46; CHECK-NEXT: call i8* @f(i8* null, i8* null) 47; CHECK-NEXT: %call = invoke i8* @f(i8* %p, i8* %q) 48; CHECK-NEXT: to label %invoke.cont unwind label %catch.dispatch 49 50; CHECK-LABEL: catch.dispatch: 51; CHECK-NEXT: %1 = catchswitch within none [label %catch] unwind to caller 52 53; CHECK-LABEL: cleanup: 54; CHECK: tail call void @llvm.objc.release(i8* %p) #0 55 56attributes #0 = { nounwind } 57 58!0 = !{} 59