test/Transforms/ObjCARC/split-backedge.ll

   1 ; RUN: opt -S -objc-arc < %s | FileCheck %s
   2
   3 ; Handle a retain+release pair entirely contained within a split loop backedge.
   4 ; rdar://11256239
   5
   6 ; CHECK-LABEL: define void @test0(
   7 ; CHECK: call i8* @objc_retain(i8* %call) [[NUW:#[0-9]+]]
   8 ; CHECK: call i8* @objc_retain(i8* %call) [[NUW]]
   9 ; CHECK: call i8* @objc_retain(i8* %cond) [[NUW]]
  10 ; CHECK: call void @objc_release(i8* %call) [[NUW]]
  11 ; CHECK: call void @objc_release(i8* %call) [[NUW]]
  12 ; CHECK: call void @objc_release(i8* %cond) [[NUW]]
  13 define void @test0() {
  14 entry:
  15   br label %while.body
  16
  17 while.body:                                       ; preds = %while.cond
  18   %call = invoke i8* @returner()
  19           to label %invoke.cont unwind label %lpad, !clang.arc.no_objc_arc_exceptions !0
  20
  21 invoke.cont:                                      ; preds = %while.body
  22   %t0 = call i8* @objc_retain(i8* %call) nounwind
  23   %t1 = call i8* @objc_retain(i8* %call) nounwind
  24   %call.i1 = invoke i8* @returner()
  25           to label %invoke.cont1 unwind label %lpad
  26
  27 invoke.cont1:                                     ; preds = %invoke.cont
  28   %cond = select i1 undef, i8* null, i8* %call
  29   %t2 = call i8* @objc_retain(i8* %cond) nounwind
  30   call void @objc_release(i8* %call) nounwind
  31   call void @objc_release(i8* %call) nounwind
  32   call void @use_pointer(i8* %cond)
  33   call void @objc_release(i8* %cond) nounwind
  34   br label %while.body
  35
  36 lpad:                                             ; preds = %invoke.cont, %while.body
  37   %t4 = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__objc_personality_v0 to i8*)
  38           catch i8* null
  39   ret void
  40 }
  41
  42 declare i8* @returner()
  43 declare i32 @__objc_personality_v0(...)
  44 declare void @objc_release(i8*)
  45 declare i8* @objc_retain(i8*)
  46 declare void @use_pointer(i8*)
  47
  48 !0 = !{}
  49
  50 ; CHECK: attributes [[NUW]] = { nounwind }