91 lines · plain
1; RUN: opt -mtriple=i686-unknown-windows-msvc -passes=objc-arc-contract -S -o - %s | FileCheck %s2 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: catch15; CHECK: call void asm sideeffect "movl{{.*}}%ebp, %ebp{{.*}}", ""() [ "funclet"(token %1) ]16 17; CHECK-LABEL: catch.118; CHECK: call void asm sideeffect "movl{{.*}}%ebp, %ebp{{.*}}", ""() [ "funclet"(token %1) ]19 20; CHECK-LABEL: invoke.cont21; 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.dispatch27 28catch.dispatch: ; preds = %entry29 %0 = catchswitch within none [label %catch] unwind to caller30 31catch: ; preds = %catch.dispatch32 %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.137 38catch.1: ; preds = %catch39 %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.dest43 44catchret.dest: ; preds = %catch.145 ret void46 47invoke.cont: ; preds = %entry48 %4 = call ptr @llvm.objc.retainAutoreleasedReturnValue(ptr %call)49 call void @llvm.objc.release(ptr %4)50 ret void51}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 void56 57; CHECK: %[[V1:.*]] = cleanuppad58; 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 caller60 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 %ehcleanup65 66invoke.cont: ; preds = %entry67 %call.i4 = tail call ptr @"?noexcept_func@@YAPAUobjc_object@@XZ"() #2 [ "clang.arc.attachedcall"(ptr @llvm.objc.unsafeClaimAutoreleasedReturnValue) ]68 ret void69 70ehcleanup: ; preds = %entry71 %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 caller74}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