llvm/test/Transforms/ObjCARC/contract-catchswitch.ll

   1 ; RUN: opt -S -objc-arc-contract < %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-msvc19.11.0"
   5
   6 %0 = type opaque
   7
   8 declare i32 @__CxxFrameHandler3(...)
   9 declare dllimport void @llvm.objc.release(i8*) local_unnamed_addr
  10 declare dllimport i8* @llvm.objc.retain(i8* returned) local_unnamed_addr
  11
  12 @p = global i8* null, align 4
  13
  14 declare void @f() local_unnamed_addr
  15
  16 define void @g() local_unnamed_addr personality i8* bitcast (i32 (...)* @__CxxFrameHandler3 to i8*) {
  17 entry:
  18   %tmp = load i8*, i8** @p, align 4
  19   %cast = bitcast i8* %tmp to %0*
  20   %tmp1 = tail call i8* @llvm.objc.retain(i8* %tmp) #0
  21   ; Split the basic block to ensure bitcast ends up in entry.split.
  22   br label %entry.split
  23
  24 entry.split:
  25   invoke void @f()
  26           to label %invoke.cont unwind label %catch.dispatch
  27
  28 ; Dummy nested catchswitch to test looping through the dominator tree.
  29 catch.dispatch:
  30   %tmp2 = catchswitch within none [label %catch] unwind label %catch.dispatch1
  31
  32 catch:
  33   %tmp3 = catchpad within %tmp2 [i8* null, i32 64, i8* null]
  34   catchret from %tmp3 to label %invoke.cont
  35
  36 catch.dispatch1:
  37   %tmp4 = catchswitch within none [label %catch1] unwind label %ehcleanup
  38
  39 catch1:
  40   %tmp5 = catchpad within %tmp4 [i8 *null, i32 64, i8* null]
  41   catchret from %tmp5 to label %invoke.cont
  42
  43 invoke.cont:
  44   %tmp6 = load i8*, i8** @p, align 4
  45   %cast1 = bitcast i8* %tmp6 to %0*
  46   %tmp7 = tail call i8* @llvm.objc.retain(i8* %tmp6) #0
  47   call void @llvm.objc.release(i8* %tmp) #0, !clang.imprecise_release !0
  48   ; Split the basic block to ensure bitcast ends up in invoke.cont.split.
  49   br label %invoke.cont.split
  50
  51 invoke.cont.split:
  52   invoke void @f()
  53           to label %invoke.cont1 unwind label %ehcleanup
  54
  55 invoke.cont1:
  56   ret void
  57
  58 ehcleanup:
  59   %tmp8 = phi %0* [ %cast, %catch.dispatch1 ], [ %cast1, %invoke.cont.split ]
  60   %tmp9 = cleanuppad within none []
  61   %tmp10 = bitcast %0* %tmp8 to i8*
  62   call void @llvm.objc.release(i8* %tmp10) #0 [ "funclet"(token %tmp9) ]
  63   cleanupret from %tmp9 unwind to caller
  64 }
  65
  66 ; CHECK-LABEL: entry.split:
  67 ; CHECK-NEXT:    %0 = bitcast i8* %tmp1 to %0*
  68 ; CHECK-NEXT:    invoke void @f()
  69 ; CHECK-NEXT:            to label %invoke.cont unwind label %catch.dispatch
  70
  71 ; CHECK-LABEL: invoke.cont.split:
  72 ; CHECK-NEXT:    %1 = bitcast i8* %tmp7 to %0*
  73 ; CHECK-NEXT:    invoke void @f()
  74 ; CHECK-NEXT:            to label %invoke.cont1 unwind label %ehcleanup
  75
  76 ; CHECK-LABEL: ehcleanup:
  77 ; CHECK-NEXT:    %tmp8 = phi %0* [ %0, %catch.dispatch1 ], [ %1, %invoke.cont.split ]
  78
  79 attributes #0 = { nounwind }
  80
  81 !0 = !{}