test/Transforms/RewriteStatepointsForGC/two-invokes-one-landingpad.ll

   1 ; RUN: opt < %s -rewrite-statepoints-for-gc -S | FileCheck %s
   2 ; RUN: opt < %s -passes=rewrite-statepoints-for-gc -S | FileCheck %s
   3
   4 declare void @some_call(i64 addrspace(1)*)
   5
   6 declare i32 @dummy_personality_function()
   7
   8 define i64 addrspace(1)* @test(i64 addrspace(1)* %obj, i64 addrspace(1)* %obj1)
   9   gc "statepoint-example"
  10   personality i32 ()* @dummy_personality_function {
  11 entry:
  12   invoke void @some_call(i64 addrspace(1)* %obj) [ "deopt"() ]
  13           to label %second_invoke unwind label %exceptional_return
  14
  15 second_invoke:                                    ; preds = %entry
  16   invoke void @some_call(i64 addrspace(1)* %obj) [ "deopt"() ]
  17           to label %normal_return unwind label %exceptional_return
  18
  19 normal_return:                                    ; preds = %second_invoke
  20   ret i64 addrspace(1)* %obj
  21
  22 ; CHECK: exceptional_return1:
  23 ; CHECK-NEXT: %lpad2 = landingpad token
  24
  25 ; CHECK: exceptional_return.split-lp:
  26 ; CHECK-NEXT: %lpad.split-lp = landingpad token
  27
  28 ; CHECK: exceptional_return:
  29 ; CHECK-NOT: phi token
  30
  31 exceptional_return:                               ; preds = %second_invoke, %entry
  32   %lpad = landingpad token cleanup
  33   ret i64 addrspace(1)* %obj1
  34 }