• Home
  • History
  • Annotate
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
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