28 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=ipsccp -S | FileCheck %s3; Return value can't be zapped if there is a call that has operand bundle4; "clang.arc.attachedcall".5 6@g0 = global i8 zeroinitializer, align 17 8define internal ptr @foo() {9; CHECK-LABEL: @foo(10; CHECK-NEXT: ret ptr @g011;12 ret ptr @g013}14 15define void @test() {16; CHECK-LABEL: @test(17; CHECK-NEXT: [[R:%.*]] = call ptr @foo() [ "clang.arc.attachedcall"(ptr @llvm.objc.unsafeClaimAutoreleasedReturnValue) ]18; CHECK-NEXT: call void (...) @llvm.objc.clang.arc.noop.use(ptr [[R]])19; CHECK-NEXT: ret void20;21 %r = call ptr @foo() [ "clang.arc.attachedcall"(ptr @llvm.objc.unsafeClaimAutoreleasedReturnValue) ]22 call void (...) @llvm.objc.clang.arc.noop.use(ptr %r)23 ret void24}25 26declare ptr @llvm.objc.unsafeClaimAutoreleasedReturnValue(ptr)27declare void @llvm.objc.clang.arc.noop.use(...)28