llvm/test/Transforms/ObjCARC/unsafe-claim-rv.ll

   1 ; RUN: opt -passes=objc-arc -S < %s | FileCheck %s
   2
   3 ; Generated by compiling:
   4 ;
   5 ; id baz(ptr X) { return (__bridge_transfer id)X; }
   6 ;
   7 ; void foo(id X) {
   8 ; ptr Y = 0;
   9 ; if (X)
  10 ;   Y = (__bridge_retained ptr)X;
  11 ; baz(Y);
  12 ; }
  13 ;
  14 ; clang -x objective-c -mllvm -enable-objc-arc-opts=0 -fobjc-arc -S -emit-llvm test.m
  15 ;
  16 ; And then hand-reduced further.
  17
  18 declare ptr @llvm.objc.autoreleaseReturnValue(ptr)
  19 declare ptr @llvm.objc.unsafeClaimAutoreleasedReturnValue(ptr)
  20 declare ptr @llvm.objc.retain(ptr)
  21 declare void @llvm.objc.release(ptr)
  22
  23 define void @foo(ptr %X) {
  24 entry:
  25   %0 = tail call ptr @llvm.objc.retain(ptr %X)
  26   %tobool = icmp eq ptr %0, null
  27   br i1 %tobool, label %if.end, label %if.then
  28
  29 if.then:                                          ; preds = %entry
  30   %1 = tail call ptr @llvm.objc.retain(ptr nonnull %0)
  31   br label %if.end
  32
  33 if.end:                                           ; preds = %if.then, %entry
  34   %Y.0 = phi ptr [ %1, %if.then ], [ null, %entry ]
  35   %2 = tail call ptr @llvm.objc.autoreleaseReturnValue(ptr %Y.0)
  36   %3 = tail call ptr @llvm.objc.unsafeClaimAutoreleasedReturnValue(ptr %2)
  37   tail call void @llvm.objc.release(ptr %0)
  38   ret void
  39 }
  40
  41 ; CHECK: if.then
  42 ; CHECK: tail call ptr @llvm.objc.retain
  43 ; CHECK: %Y.0 = phi
  44 ; CHECK-NEXT: tail call void @llvm.objc.release
  45 ; CHECK-NEXT: tail call void @llvm.objc.release
  46