1; RUN: opt -S -rewrite-statepoints-for-gc < %s | FileCheck %s
2
3declare void @foo()
4declare i8 addrspace(1)* @some_function()
5declare void @some_function_consumer(i8 addrspace(1)*)
6declare dereferenceable(4) i8 addrspace(1)* @some_function_ret_deref()
7; CHECK: declare i8 addrspace(1)* @some_function_ret_deref()
8
9define i8 addrspace(1)* @test_deref_arg(i8 addrspace(1)* dereferenceable(4) %a) gc "statepoint-example" {
10; CHECK: define i8 addrspace(1)* @test_deref_arg(i8 addrspace(1)* %a)
11entry:
12  call i32 (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 0, i32 0, void ()* @foo, i32 0, i32 0, i32 0, i32 5, i32 0, i32 -1, i32 0, i32 0, i32 0)
13  ret i8 addrspace(1)* %a
14}
15
16define i8 addrspace(1)* @test_deref_or_null_arg(i8 addrspace(1)* dereferenceable_or_null(4) %a) gc "statepoint-example" {
17; CHECK: define i8 addrspace(1)* @test_deref_or_null_arg(i8 addrspace(1)* %a)
18entry:
19  call i32 (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 0, i32 0, void ()* @foo, i32 0, i32 0, i32 0, i32 5, i32 0, i32 -1, i32 0, i32 0, i32 0)
20  ret i8 addrspace(1)* %a
21}
22
23define i8 addrspace(1)* @test_deref_retval() gc "statepoint-example" {
24; CHECK-LABEL: @test_deref_retval(
25entry:
26  %a = call dereferenceable(4) i8 addrspace(1)* @some_function()
27; CHECK: %a = call i8 addrspace(1)* @some_function()
28  call i32 (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 0, i32 0, void ()* @foo, i32 0, i32 0, i32 0, i32 5, i32 0, i32 -1, i32 0, i32 0, i32 0)
29  ret i8 addrspace(1)* %a
30}
31
32define i8 addrspace(1)* @test_deref_or_null_retval() gc "statepoint-example" {
33; CHECK-LABEL: @test_deref_or_null_retval(
34entry:
35  %a = call dereferenceable_or_null(4) i8 addrspace(1)* @some_function()
36; CHECK: %a = call i8 addrspace(1)* @some_function()
37  call i32 (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 0, i32 0, void ()* @foo, i32 0, i32 0, i32 0, i32 5, i32 0, i32 -1, i32 0, i32 0, i32 0)
38  ret i8 addrspace(1)* %a
39}
40
41define i8 @test_md(i8 addrspace(1)* %ptr) gc "statepoint-example" {
42; CHECK-LABEL: @test_md(
43 entry:
44; CHECK: %tmp = load i8, i8 addrspace(1)* %ptr, !tbaa !0
45  %tmp = load i8, i8 addrspace(1)* %ptr, !tbaa !0
46  call i32 (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 0, i32 0, void ()* @foo, i32 0, i32 0, i32 0, i32 5, i32 0, i32 -1, i32 0, i32 0, i32 0)
47  ret i8 %tmp
48}
49
50define i8 addrspace(1)* @test_decl_only_attribute(i8 addrspace(1)* %ptr) gc "statepoint-example" {
51; CHECK-LABEL: @test_decl_only_attribute(
52entry:
53; No change here, but the prototype of some_function_ret_deref should have changed.
54; CHECK: call i8 addrspace(1)* @some_function_ret_deref()
55  %a = call i8 addrspace(1)* @some_function_ret_deref()
56  call i32 (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 0, i32 0, void ()* @foo, i32 0, i32 0, i32 0, i32 5, i32 0, i32 -1, i32 0, i32 0, i32 0)
57  ret i8 addrspace(1)* %a
58}
59
60define i8 addrspace(1)* @test_callsite_arg_attribute(i8 addrspace(1)* %ptr) gc "statepoint-example" {
61; CHECK-LABEL: @test_callsite_arg_attribute(
62entry:
63; CHECK: call void @some_function_consumer(i8 addrspace(1)* %ptr)
64  call void @some_function_consumer(i8 addrspace(1)* dereferenceable(4) %ptr)
65  call i32 (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 0, i32 0, void ()* @foo, i32 0, i32 0, i32 0, i32 5, i32 0, i32 -1, i32 0, i32 0, i32 0)
66  ret i8 addrspace(1)* %ptr
67}
68
69declare i32 @llvm.experimental.gc.statepoint.p0f_isVoidf(i64, i32, void ()*, i32, i32, ...)
70
71!0 = !{!1, !1, i64 0, i64 1}
72!1 = !{!"red", !2}
73!2 = !{!"blue"}
74
75; CHECK: !0 = !{!1, !1, i64 0}
76; CHECK: !1 = !{!"red", !2}
77; CHECK: !2 = !{!"blue"}
78