1 ; RUN: opt -rewrite-statepoints-for-gc -S < %s | FileCheck %s 2 3 ; Ensure that the gc.statepoint calls / invokes we generate carry over 4 ; the right calling conventions. 5 6 define i64 addrspace(1)* @test_invoke_format(i64 addrspace(1)* %obj, i64 addrspace(1)* %obj1) gc "statepoint-example" personality i32 ()* @personality { 7 ; CHECK-LABEL: @test_invoke_format( 8 ; CHECK-LABEL: entry: 9 ; CHECK: invoke coldcc token (i64, i32, i64 addrspace(1)* (i64 addrspace(1)*)*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_p1i64p1i64f(i64 2882400000, i32 0, i64 addrspace(1)* (i64 addrspace(1)*)* @callee, i32 1, i32 0, i64 addrspace(1)* %obj, i32 0, i32 0 10 entry: 11 %ret_val = invoke coldcc i64 addrspace(1)* @callee(i64 addrspace(1)* %obj) 12 to label %normal_return unwind label %exceptional_return 13 14 normal_return: 15 ret i64 addrspace(1)* %ret_val 16 17 exceptional_return: 18 %landing_pad4 = landingpad token 19 cleanup 20 ret i64 addrspace(1)* %obj1 21 } 22 23 define i64 addrspace(1)* @test_call_format(i64 addrspace(1)* %obj, i64 addrspace(1)* %obj1) gc "statepoint-example" { 24 ; CHECK-LABEL: @test_call_format( 25 ; CHECK-LABEL: entry: 26 ; CHECK: call coldcc token (i64, i32, i64 addrspace(1)* (i64 addrspace(1)*)*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_p1i64p1i64f(i64 2882400000, i32 0, i64 addrspace(1)* (i64 addrspace(1)*)* @callee, i32 1, i32 0, i64 addrspace(1)* %obj, i32 0, i32 0 27 entry: 28 %ret_val = call coldcc i64 addrspace(1)* @callee(i64 addrspace(1)* %obj) 29 ret i64 addrspace(1)* %ret_val 30 } 31 32 ; This function is inlined when inserting a poll. 33 declare void @do_safepoint() 34 define void @gc.safepoint_poll() { 35 ; CHECK-LABEL: gc.safepoint_poll 36 entry: 37 call void @do_safepoint() 38 ret void 39 } 40 41 declare coldcc i64 addrspace(1)* @callee(i64 addrspace(1)*) 42 declare i32 @personality() 43
