test/Transforms/RewriteStatepointsForGC/deopt-bundles/relocate-invoke-result.ll

   1
   2 ;; RUN: opt -rewrite-statepoints-for-gc -rs4gc-use-deopt-bundles -verify -S < %s | FileCheck %s
   3 ;; This test is to verify that RewriteStatepointsForGC correctly relocates values
   4 ;; defined by invoke instruction results.
   5
   6 declare i64* addrspace(1)* @non_gc_call() "gc-leaf-function"
   7
   8 declare void @gc_call()
   9
  10 declare i32* @fake_personality_function()
  11
  12 define i64* addrspace(1)* @test() gc "statepoint-example" personality i32* ()* @fake_personality_function {
  13 ; CHECK-LABEL: @test(
  14
  15 entry:
  16   %obj = invoke i64* addrspace(1)* @non_gc_call()
  17           to label %normal_dest unwind label %unwind_dest
  18
  19 unwind_dest:                                      ; preds = %entry
  20   %lpad = landingpad { i8*, i32 }
  21           cleanup
  22   resume { i8*, i32 } undef
  23
  24 normal_dest:                                      ; preds = %entry
  25 ; CHECK: normal_dest:
  26 ; CHECK-NEXT: gc.statepoint
  27 ; CHECK-NEXT: %obj.relocated = call coldcc i8 addrspace(1)*
  28 ; CHECK-NEXT: bitcast
  29
  30   call void @gc_call() [ "deopt"(i32 0, i32 -1, i32 0, i32 0, i32 0) ]
  31   ret i64* addrspace(1)* %obj
  32 }