test/Transforms/ObjCARC/opt-catchswitch.ll

   1 ; RUN: opt -S -objc-arc < %s | FileCheck %s
   2
   3 target datalayout = "e-m:x-p:32:32-i64:64-f80:32-n8:16:32-a:0:32-S32"
   4 target triple = "i686--windows-msvc"
   5
   6 declare i8* @f(i8*, i8*)
   7
   8 declare i32 @__CxxFrameHandler3(...)
   9
  10 declare dllimport i8* @llvm.objc.autoreleaseReturnValue(i8* returned)
  11 declare dllimport i8* @llvm.objc.retain(i8* returned)
  12 declare dllimport i8* @llvm.objc.retainAutoreleasedReturnValue(i8* returned)
  13 declare dllimport void @llvm.objc.release(i8*)
  14
  15 define i8* @g(i8* %p, i8* %q) local_unnamed_addr personality i8* bitcast (i32 (...)* @__CxxFrameHandler3 to i8*) {
  16 entry:
  17   %0 = tail call i8* @llvm.objc.retain(i8* %p) #0
  18   %1 = tail call i8* @llvm.objc.retain(i8* %q) #0
  19   %call = invoke i8* @f(i8* %p, i8* %q)
  20           to label %invoke.cont unwind label %catch.dispatch, !clang.arc.no_objc_arc_exceptions !0
  21
  22 catch.dispatch:
  23   %2 = catchswitch within none [label %catch] unwind to caller
  24
  25 catch:
  26   %3 = catchpad within %2 [i8* null, i32 64, i8* null]
  27   catchret from %3 to label %cleanup
  28
  29 invoke.cont:
  30   %4 = tail call i8* @llvm.objc.retainAutoreleasedReturnValue(i8* %call) #0
  31   br label %cleanup
  32
  33 cleanup:
  34   %retval.0 = phi i8* [ %call, %invoke.cont ], [ null, %catch ]
  35   tail call void @llvm.objc.release(i8* %q) #0, !clang.imprecise_release !0
  36   tail call void @llvm.objc.release(i8* %p) #0, !clang.imprecise_release !0
  37   %5 = tail call i8* @llvm.objc.autoreleaseReturnValue(i8* %retval.0) #0
  38   ret i8* %retval.0
  39 }
  40
  41 ; CHECK-LABEL: entry:
  42 ; CHECK-NEXT:    %0 = tail call i8* @llvm.objc.retain(i8* %p) #0
  43 ; CHECK-NEXT:    %call = invoke i8* @f(i8* %p, i8* %q)
  44 ; CHECK-NEXT:            to label %invoke.cont unwind label %catch.dispatch
  45
  46 ; CHECK-LABEL: catch.dispatch:
  47 ; CHECK-NEXT:    %1 = catchswitch within none [label %catch] unwind to caller
  48
  49 ; CHECK-LABEL: cleanup:
  50 ; CHECK:         tail call void @llvm.objc.release(i8* %p) #0
  51
  52 attributes #0 = { nounwind }
  53
  54 !0 = !{}