xref: /llvm-project/llvm/test/Transforms/ObjCARC/contract-marker-funclet.ll (revision 01e4f41b43b57dee751146fde9992c660bd7c714) 
1; RUN: opt -mtriple=i686-unknown-windows-msvc -passes=objc-arc-contract -S -o - %s | FileCheck %s
2
3; Generated (and lightly modified and cleaned up) from the following source:
4; id f();
5; void g() {
6;   try {
7;     f();
8;   } catch (...) {
9;     f();
10;   }
11; }
12
13; CHECK-LABEL: define void @"\01?g@@YAXXZ"()
14; CHECK-LABEL: catch
15; CHECK: call void asm sideeffect "movl{{.*}}%ebp, %ebp{{.*}}", ""() [ "funclet"(token %1) ]
16
17; CHECK-LABEL: catch.1
18; CHECK: call void asm sideeffect "movl{{.*}}%ebp, %ebp{{.*}}", ""() [ "funclet"(token %1) ]
19
20; CHECK-LABEL: invoke.cont
21; CHECK: call void asm sideeffect "movl{{.*}}%ebp, %ebp{{.*}}", ""(){{$}}
22
23define void @"\01?g@@YAXXZ"() personality ptr @__CxxFrameHandler3 {
24entry:
25  %call = invoke ptr @"\01?f@@YAPAUobjc_object@@XZ"()
26          to label %invoke.cont unwind label %catch.dispatch
27
28catch.dispatch:                                   ; preds = %entry
29  %0 = catchswitch within none [label %catch] unwind to caller
30
31catch:                                            ; preds = %catch.dispatch
32  %1 = catchpad within %0 [ptr null, i32 64, ptr null]
33  %call1 = call ptr @"\01?f@@YAPAUobjc_object@@XZ"() [ "funclet"(token %1) ]
34  %2 = call ptr @llvm.objc.retainAutoreleasedReturnValue(ptr %call1) [ "funclet"(token %1) ]
35  call void @llvm.objc.release(ptr %2) [ "funclet"(token %1) ]
36  br label %catch.1
37
38catch.1:                                          ; preds = %catch
39  %call2 = call ptr @"\01?f@@YAPAUobjc_object@@XZ"() [ "funclet"(token %1) ]
40  %3 = call ptr @llvm.objc.retainAutoreleasedReturnValue(ptr %call2) [ "funclet"(token %1) ]
41  call void @llvm.objc.release(ptr %3) [ "funclet"(token %1) ]
42  catchret from %1 to label %catchret.dest
43
44catchret.dest:                                    ; preds = %catch.1
45  ret void
46
47invoke.cont:                                      ; preds = %entry
48  %4 = call ptr @llvm.objc.retainAutoreleasedReturnValue(ptr %call)
49  call void @llvm.objc.release(ptr %4)
50  ret void
51}
52
53; CHECK-LABEL: define dso_local void @"?test_attr_claimRV@@YAXXZ"()
54; CHECK: %[[CALL4:.*]] = notail call ptr @"?noexcept_func@@YAPAUobjc_object@@XZ"() [ "clang.arc.attachedcall"(ptr @llvm.objc.unsafeClaimAutoreleasedReturnValue) ]
55; CHECK-NEXT: ret void
56
57; CHECK: %[[V1:.*]] = cleanuppad
58; CHECK: %[[CALL:.*]] = notail call ptr @"?noexcept_func@@YAPAUobjc_object@@XZ"() [ "funclet"(token %[[V1]]), "clang.arc.attachedcall"(ptr @llvm.objc.unsafeClaimAutoreleasedReturnValue) ]
59; CHECK-NEXT: cleanupret from %[[V1]] unwind to caller
60
61define dso_local void @"?test_attr_claimRV@@YAXXZ"() local_unnamed_addr #0 personality ptr @__CxxFrameHandler3 {
62entry:
63  invoke void @"?foo@@YAXXZ"()
64          to label %invoke.cont unwind label %ehcleanup
65
66invoke.cont:                                      ; preds = %entry
67  %call.i4 = tail call ptr @"?noexcept_func@@YAPAUobjc_object@@XZ"() #2 [ "clang.arc.attachedcall"(ptr @llvm.objc.unsafeClaimAutoreleasedReturnValue) ]
68  ret void
69
70ehcleanup:                                        ; preds = %entry
71  %0 = cleanuppad within none []
72  %call.i = call ptr @"?noexcept_func@@YAPAUobjc_object@@XZ"() #2 [ "funclet"(token %0), "clang.arc.attachedcall"(ptr @llvm.objc.unsafeClaimAutoreleasedReturnValue) ]
73  cleanupret from %0 unwind to caller
74}
75
76declare ptr @"\01?f@@YAPAUobjc_object@@XZ"()
77
78declare i32 @__CxxFrameHandler3(...)
79
80declare void @"?foo@@YAXXZ"()
81declare ptr @"?noexcept_func@@YAPAUobjc_object@@XZ"()
82
83declare dllimport ptr @llvm.objc.retainAutoreleasedReturnValue(ptr)
84declare ptr @llvm.objc.unsafeClaimAutoreleasedReturnValue(ptr)
85
86declare dllimport void @llvm.objc.release(ptr)
87
88!llvm.module.flags = !{!0}
89
90!0 = !{i32 1, !"clang.arc.retainAutoreleasedReturnValueMarker", !"movl\09%ebp, %ebp\09\09// marker for objc_retainAutoreleaseReturnValue"}
91