llvm/test/Transforms/SCCP/clang-arc-rv.ll

   1 ; RUN: opt < %s -passes=ipsccp -S | FileCheck %s
   2 ; Return value can't be zapped if there is a call that has operand bundle
   3 ; "clang.arc.attachedcall".
   4
   5 @g0 = global i8 zeroinitializer, align 1
   6
   7 ; CHECK-LABEL: @foo(
   8 ; CHECK: ret i8* @g0
   9
  10 define internal i8* @foo() {
  11   ret i8* @g0
  12 }
  13
  14 ; CHECK-LABEL: @test(
  15 ; CHECK: %[[R:.*]] = call i8* @foo()
  16 ; CHECK call void (...) @llvm.objc.clang.arc.noop.use(i8* %[[R]])
  17
  18 define void @test() {
  19   %r = call i8* @foo() [ "clang.arc.attachedcall"(i8* (i8*)* @llvm.objc.unsafeClaimAutoreleasedReturnValue) ]
  20   call void (...) @llvm.objc.clang.arc.noop.use(i8* %r)
  21   ret void
  22 }
  23
  24 declare i8* @llvm.objc.unsafeClaimAutoreleasedReturnValue(i8*)
  25 declare void @llvm.objc.clang.arc.noop.use(...)