statepoint-call-lowering: test relocate int and array

[artagnon]

Summary

Let's confirm that this works before we attempt to relocate vectors.

[artagnon]

Rebase onto master: gc "statepoint-example" the two new functions

[reames]

I am completely missing all context on what you're trying to accomplish with these tests. What is "this" that is supposed to work?

test/CodeGen/X86/statepoint-call-lowering.ll

80

Er, this is *not* a relocation of an integer. It's the relocation of a *pointer* to an integer.

97

This is testing the relocation of *a pointer* to an array. Is that what you intended?

[artagnon]

After reading through StatepointLowering in greater detail, I realize that I should be testing the stackmaps, not the generic stores that are emitted; emitting those stores is not part of the statepoint code.

test/CodeGen/X86/statepoint-call-lowering.ll

 ; CHECK-NEXT: retq
 entry:
   %safepoint_token = tail call i32 (i1 ()*, i32, i32, ...)* @llvm.experimental.gc.statepoint.p0f_i1f(i1 ()* @return_i1, i32 0, i32 0, i32 0, i32 addrspace(1)* %a)
   %call1 = call i32 addrspace(1)* @llvm.experimental.gc.relocate.p1i32(i32 %safepoint_token, i32 4, i32 4)
   %call2 = call zeroext i1 @llvm.experimental.gc.result.int.i1(i32 %safepoint_token)
   ret i1 %call2
 }
 
+define i32 @test_relocate_integer(i32 addrspace(1)* %i) gc "statepoint-example" {
+; CHECK-LABEL: test_relocate_integer
+; Check that relocation of an integer is lowered correctly
+; CHECK: pushq %rax
+; CHECK: callq return_i1
+; CHECK-NEXT: .Ltmp16:
+; CHECK-NEXT: movq (%rsp), %rax
+; CHECK-NEXT: movl (%rax), %eax
+; CHECK-NEXT: popq %rdx
+; CHECK-NEXT: retq
+entry:
+  %tok = tail call i32 (i1 ()*, i32, i32, ...)* @llvm.experimental.gc.statepoint.p0f_i1f(i1 ()* @return_i1, i32 0, i32 0, i32 0, i32 addrspace(1)* %i)
+  %i-new = call i32 addrspace(1)* @llvm.experimental.gc.relocate.p1i32(i32 %tok, i32 4, i32 4)
+  %ret = load i32 addrspace(1)* %i-new
+  ret i32 %ret
+}
+
+define [3 x i32] @test_relocate_array([3 x i32] addrspace(1)* %v) gc "statepoint-example" {
+; CHECK-LABEL: test_relocate_array
+; Check that relocation of an array of integers is lowered correctly
+; CHECK: pushq %rax
+; CHECK: callq return_i1
+; CHECK-NEXT: .Ltmp19:
+; CHECK-NEXT: movq (%rsp), %rcx
+; CHECK-NEXT: movl (%rcx), %eax
+; CHECK-NEXT: movl 4(%rcx), %edx
+; CHECK-NEXT: movl 8(%rcx), %ecx
+; CHECK-NEXT: popq %rsi
+; CHECK-NEXT: retq
+  %tok = call i32 (i1 ()*, i32, i32, ...)* @llvm.experimental.gc.statepoint.p0f_i1f(i1 ()* @return_i1, i32 0, i32 0, i32 0, [3 x i32] addrspace(1)* %v)
+  %v-new = call [3 x i32] addrspace(1)* @llvm.experimental.gc.relocate.p1a3i32(i32 %tok, i32 4, i32 4)
+  %ret = load [3 x i32] addrspace(1)* %v-new
+  ret [3 x i32] %ret
+}
+
 declare i32 @llvm.experimental.gc.statepoint.p0f_i1f(i1 ()*, i32, i32, ...)
 declare i1 @llvm.experimental.gc.result.int.i1(i32)
 
 declare i32 @llvm.experimental.gc.statepoint.p0f_i32f(i32 ()*, i32, i32, ...)
 declare i32 @llvm.experimental.gc.result.int.i32(i32)
 
 declare i32 @llvm.experimental.gc.statepoint.p0f_p0i32f(i32* ()*, i32, i32, ...)
 declare i32* @llvm.experimental.gc.result.ptr.p0i32(i32)
 
 declare i32 @llvm.experimental.gc.statepoint.p0f_f32f(float ()*, i32, i32, ...)
 declare float @llvm.experimental.gc.result.float.f32(i32)
 
 declare i32 addrspace(1)* @llvm.experimental.gc.relocate.p1i32(i32, i32, i32)
+declare [3 x i32] addrspace(1)* @llvm.experimental.gc.relocate.p1a3i32(i32, i32, i32)