62 lines · plain
1; RUN: opt -S -passes=objc-arc-contract < %s | FileCheck %s2 3; CHECK-LABEL: define void @foo() {4; CHECK: %call = tail call ptr @qux()5; CHECK-NEXT: call void asm sideeffect "mov\09r7, r7\09\09@ marker for return value optimization", ""()6; CHECK-NEXT: %0 = tail call ptr @llvm.objc.retainAutoreleasedReturnValue(ptr %call) [[NUW:#[0-9]+]]7; CHECK: }8 9define void @foo() {10entry:11 %call = tail call ptr @qux()12 %0 = tail call ptr @llvm.objc.retainAutoreleasedReturnValue(ptr %call) nounwind13 tail call void @bar(ptr %0)14 ret void15}16 17; CHECK-LABEL: define void @foo2() {18; CHECK: %call = tail call ptr @qux()19; CHECK-NEXT: call void asm sideeffect "mov\09r7, r7\09\09@ marker for return value optimization", ""()20; CHECK-NEXT: %0 = tail call ptr @llvm.objc.unsafeClaimAutoreleasedReturnValue(ptr %call) [[NUW:#[0-9]+]]21; CHECK: }22 23define void @foo2() {24entry:25 %call = tail call ptr @qux()26 %0 = tail call ptr @llvm.objc.unsafeClaimAutoreleasedReturnValue(ptr %call) nounwind27 tail call void @bar(ptr %0)28 ret void29}30 31; CHECK-LABEL: define ptr @foo3(32; CHECK: call ptr @returnsArg(33; CHECK-NEXT: call void asm sideeffect34 35define ptr @foo3(ptr %a) {36 %call = call ptr @returnsArg(ptr %a)37 call ptr @llvm.objc.retainAutoreleasedReturnValue(ptr %call)38 ret ptr %call39}40 41; CHECK-LABEL: define ptr @foo4(42; CHECK: call ptr @returnsArg(43; CHECK-NEXT: call void asm sideeffect44 45define ptr @foo4(ptr %a) {46 %call = call ptr @returnsArg(ptr %a)47 call ptr @llvm.objc.retainAutoreleasedReturnValue(ptr %a)48 ret ptr %call49}50 51declare ptr @qux()52declare ptr @llvm.objc.retainAutoreleasedReturnValue(ptr)53declare ptr @llvm.objc.unsafeClaimAutoreleasedReturnValue(ptr)54declare void @bar(ptr)55declare ptr @returnsArg(ptr returned)56 57!llvm.module.flags = !{!0}58 59!0 = !{i32 1, !"clang.arc.retainAutoreleasedReturnValueMarker", !"mov\09r7, r7\09\09@ marker for return value optimization"}60 61; CHECK: attributes [[NUW]] = { nounwind }62