1; RUN: opt -rewrite-statepoints-for-gc -S < %s | FileCheck %s 2 3; Ensure that the gc.statepoint calls / invokes we generate have the 4; set of arguments we expect it to have. 5 6define 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 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, i64 addrspace(1)* %obj1, i64 addrspace(1)* %obj) 10entry: 11 %ret_val = invoke i64 addrspace(1)* @callee(i64 addrspace(1)* %obj) 12 to label %normal_return unwind label %exceptional_return 13 14normal_return: 15 ret i64 addrspace(1)* %ret_val 16 17exceptional_return: 18 %landing_pad4 = landingpad token 19 cleanup 20 ret i64 addrspace(1)* %obj1 21} 22 23define 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 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, i64 addrspace(1)* %obj) 27entry: 28 %ret_val = call 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. 33declare void @do_safepoint() 34define void @gc.safepoint_poll() { 35; CHECK-LABEL: gc.safepoint_poll 36entry: 37 call void @do_safepoint() 38 ret void 39} 40 41declare i64 addrspace(1)* @callee(i64 addrspace(1)*) 42declare i32 @personality() 43