1 ; RUN: opt %s -rewrite-statepoints-for-gc -S | FileCheck %s
3 define i64 addrspace(1)* @test(<2 x i64 addrspace(1)*> %vec, i32 %idx) gc "statepoint-example" {
5 ; CHECK: extractelement
6 ; CHECK: extractelement
9 ; CHECK-DAG: ; (%base_ee, %base_ee)
11 ; CHECK-DAG: ; (%base_ee, %obj)
12 ; Note that the second extractelement is actually redundant here. A correct output would
13 ; be to reuse the existing obj as a base since it is actually a base pointer.
15 %obj = extractelement <2 x i64 addrspace(1)*> %vec, i32 %idx
16 %safepoint_token = call token (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 0, i32 0, void ()* @do_safepoint, i32 0, i32 0, i32 0, i32 0)
18 ret i64 addrspace(1)* %obj
21 define i64 addrspace(1)* @test2(<2 x i64 addrspace(1)*>* %ptr, i1 %cnd, i32 %idx1, i32 %idx2)
22 gc "statepoint-example" {
25 br i1 %cnd, label %taken, label %untaken
27 %obja = load <2 x i64 addrspace(1)*>, <2 x i64 addrspace(1)*>* %ptr
30 %objb = load <2 x i64 addrspace(1)*>, <2 x i64 addrspace(1)*>* %ptr
33 %vec = phi <2 x i64 addrspace(1)*> [%obja, %taken], [%objb, %untaken]
34 br i1 %cnd, label %taken2, label %untaken2
36 %obj0 = extractelement <2 x i64 addrspace(1)*> %vec, i32 %idx1
39 %obj1 = extractelement <2 x i64 addrspace(1)*> %vec, i32 %idx2
42 ; CHECK-LABEL: merge2:
43 ; CHECK-NEXT: %obj = phi i64 addrspace(1)*
44 ; CHECK-NEXT: statepoint
46 ; CHECK-DAG: ; (%obj, %obj)
47 %obj = phi i64 addrspace(1)* [%obj0, %taken2], [%obj1, %untaken2]
48 %safepoint_token = call token (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 0, i32 0, void ()* @do_safepoint, i32 0, i32 0, i32 0, i32 0)
49 ret i64 addrspace(1)* %obj
52 define i64 addrspace(1)* @test3(i64 addrspace(1)* %ptr)
53 gc "statepoint-example" {
56 %vec = insertelement <2 x i64 addrspace(1)*> undef, i64 addrspace(1)* %ptr, i32 0
57 %obj = extractelement <2 x i64 addrspace(1)*> %vec, i32 0
58 ; CHECK: insertelement
59 ; CHECK: extractelement
62 ; CHECK-DAG: (%obj, %obj)
63 %safepoint_token = call token (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 0, i32 0, void ()* @do_safepoint, i32 0, i32 0, i32 0, i32 0)
64 ret i64 addrspace(1)* %obj
66 define i64 addrspace(1)* @test4(i64 addrspace(1)* %ptr)
67 gc "statepoint-example" {
70 %derived = getelementptr i64, i64 addrspace(1)* %ptr, i64 16
71 %veca = insertelement <2 x i64 addrspace(1)*> undef, i64 addrspace(1)* %derived, i32 0
72 %vec = insertelement <2 x i64 addrspace(1)*> %veca, i64 addrspace(1)* %ptr, i32 1
73 %obj = extractelement <2 x i64 addrspace(1)*> %vec, i32 0
76 ; CHECK-DAG: ; (%ptr, %obj)
78 ; CHECK-DAG: ; (%ptr, %ptr)
79 %safepoint_token = call token (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 0, i32 0, void ()* @do_safepoint, i32 0, i32 0, i32 0, i32 0)
80 ret i64 addrspace(1)* %obj
83 declare void @use(i64 addrspace(1)*)
85 ; When we can optimize an extractelement from a known
86 ; index and avoid introducing new base pointer instructions
87 define void @test5(i1 %cnd, i64 addrspace(1)* %obj)
88 gc "statepoint-example" {
91 ; CHECK-DAG: (%obj, %bdv)
93 %gep = getelementptr i64, i64 addrspace(1)* %obj, i64 1
94 %vec = insertelement <2 x i64 addrspace(1)*> undef, i64 addrspace(1)* %gep, i32 0
95 %bdv = extractelement <2 x i64 addrspace(1)*> %vec, i32 0
96 %safepoint_token = call token (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 0, i32 0, void ()* @do_safepoint, i32 0, i32 0, i32 0, i32 5, i32 0, i32 -1, i32 0, i32 0, i32 0)
97 call void @use(i64 addrspace(1)* %bdv)
101 ; When we fundementally have to duplicate
102 define void @test6(i1 %cnd, i64 addrspace(1)* %obj, i64 %idx)
103 gc "statepoint-example" {
104 ; CHECK-LABEL: @test6
105 ; CHECK: %gep = getelementptr i64, i64 addrspace(1)* %obj, i64 1
106 ; CHECK: %vec.base = insertelement <2 x i64 addrspace(1)*> undef, i64 addrspace(1)* %obj, i32 0, !is_base_value !0
107 ; CHECK: %vec = insertelement <2 x i64 addrspace(1)*> undef, i64 addrspace(1)* %gep, i32 0
108 ; CHECK: %bdv.base = extractelement <2 x i64 addrspace(1)*> %vec.base, i64 %idx, !is_base_value !0
109 ; CHECK: %bdv = extractelement <2 x i64 addrspace(1)*> %vec, i64 %idx
110 ; CHECK: gc.statepoint
112 ; CHECK-DAG: (%bdv.base, %bdv)
114 %gep = getelementptr i64, i64 addrspace(1)* %obj, i64 1
115 %vec = insertelement <2 x i64 addrspace(1)*> undef, i64 addrspace(1)* %gep, i32 0
116 %bdv = extractelement <2 x i64 addrspace(1)*> %vec, i64 %idx
117 %safepoint_token = call token (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 0, i32 0, void ()* @do_safepoint, i32 0, i32 0, i32 0, i32 5, i32 0, i32 -1, i32 0, i32 0, i32 0)
118 call void @use(i64 addrspace(1)* %bdv)
122 ; A more complicated example involving vector and scalar bases.
123 ; This is derived from a failing test case when we didn't have correct
124 ; insertelement handling.
125 define i64 addrspace(1)* @test7(i1 %cnd, i64 addrspace(1)* %obj,
126 i64 addrspace(1)* %obj2)
127 gc "statepoint-example" {
128 ; CHECK-LABEL: @test7
130 %vec = insertelement <2 x i64 addrspace(1)*> undef, i64 addrspace(1)* %obj2, i32 0
133 ; CHECK-LABEL: merge1:
139 %vec2 = phi <2 x i64 addrspace(1)*> [ %vec, %entry ], [ %vec3, %merge1 ]
140 %gep = getelementptr i64, i64 addrspace(1)* %obj2, i64 1
141 %vec3 = insertelement <2 x i64 addrspace(1)*> undef, i64 addrspace(1)* %gep, i32 0
142 br i1 %cnd, label %merge1, label %next1
144 ; CHECK-LABEL: next1:
147 %bdv = extractelement <2 x i64 addrspace(1)*> %vec2, i32 0
150 ; CHECK-LABEL: merge:
153 ; CHECK: gc.statepoint
155 ; CHECK-DAG: (%objb.base, %objb)
157 %objb = phi i64 addrspace(1)* [ %obj, %next1 ], [ %bdv, %merge ]
158 br i1 %cnd, label %merge, label %next
160 %safepoint_token = call token (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 0, i32 0, void ()* @do_safepoint, i32 0, i32 0, i32 0, i32 5, i32 0, i32 -1, i32 0, i32 0, i32 0)
161 ret i64 addrspace(1)* %objb
165 declare void @do_safepoint()
167 declare token @llvm.experimental.gc.statepoint.p0f_isVoidf(i64, i32, void ()*, i32, i32, ...)