[StripGCRelocates] New pass to remove gc.relocates added by RS4GC
[lldb.git] / llvm / test / Transforms / Util / strip-gc-relocates.ll
1 ; RUN: opt -S -strip-gc-relocates -instcombine < %s | FileCheck %s
2 ; test utility/debugging pass which removes gc.relocates, inserted by -rewrite-statepoints-for-gc
3 declare void @use_obj32(i32 addrspace(1)*) "gc-leaf-function"
4
5 declare void @g()
6 declare token @llvm.experimental.gc.statepoint.p0f_isVoidf(i64, i32, void ()*, i32, i32, ...)
7 declare i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token, i32, i32) #0
8 declare void @do_safepoint()
9
10 declare i32 addrspace(1)* @new_instance() #1
11
12
13 ; Simple case: remove gc.relocate
14 define i32 addrspace(1)* @test1(i32 addrspace(1)* %arg) gc "statepoint-example" {
15 entry:
16 ; CHECK-LABEL: test1
17 ; CHECK: gc.statepoint
18 ; CHECK-NOT: gc.relocate
19 ; CHECK: ret i32 addrspace(1)* %arg
20   %statepoint_token = call token (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 2882400000, i32 0, void ()* @g, i32 0, i32 0, i32 0, i32 1, i32 100, i32 addrspace(1)* %arg)
21   %arg.relocated = call coldcc i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token %statepoint_token, i32 8, i32 8) ; (%arg, %arg)
22   %arg.relocated.casted = bitcast i8 addrspace(1)* %arg.relocated to i32 addrspace(1)*
23   ret i32 addrspace(1)* %arg.relocated.casted
24 }
25
26 ; Remove gc.relocates in presence of nested relocates.
27 define void @test2(i32 addrspace(1)* %base) gc "statepoint-example" {
28 entry:
29 ; CHECK-LABEL: test2
30 ; CHECK: statepoint
31 ; CHECK-NOT: gc.relocate
32 ; CHECK: call void @use_obj32(i32 addrspace(1)* %ptr.gep1)
33 ; CHECK: call void @use_obj32(i32 addrspace(1)* %ptr.gep1)
34   %ptr.gep = getelementptr i32, i32 addrspace(1)* %base, i32 15
35   %ptr.gep1 = getelementptr i32, i32 addrspace(1)* %ptr.gep, i32 15
36   %statepoint_token = call token (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 2882400000, i32 0, void ()* @do_safepoint, i32 0, i32 0, i32 0, i32 0, i32 addrspace(1)* %ptr.gep1, i32 addrspace(1)* %base)
37   %ptr.gep1.relocated = call coldcc i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token %statepoint_token, i32 8, i32 7) ; (%base, %ptr.gep1)
38   %ptr.gep1.relocated.casted = bitcast i8 addrspace(1)* %ptr.gep1.relocated to i32 addrspace(1)*
39   %base.relocated = call coldcc i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token %statepoint_token, i32 8, i32 8) ; (%base, %base)
40   %base.relocated.casted = bitcast i8 addrspace(1)* %base.relocated to i32 addrspace(1)*
41   call void @use_obj32(i32 addrspace(1)* %ptr.gep1.relocated.casted)
42   %statepoint_token1 = call token (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 2882400000, i32 0, void ()* @do_safepoint, i32 0, i32 0, i32 0, i32 0, i32 addrspace(1)* %ptr.gep1.relocated.casted, i32 addrspace(1)* %base.relocated.casted)
43   %ptr.gep1.relocated2 = call coldcc i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token %statepoint_token1, i32 8, i32 7) ; (%base.relocated.casted, %ptr.gep1.relocated.casted)
44   %ptr.gep1.relocated2.casted = bitcast i8 addrspace(1)* %ptr.gep1.relocated2 to i32 addrspace(1)*
45   %base.relocated3 = call coldcc i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token %statepoint_token1, i32 8, i32 8) ; (%base.relocated.casted, %base.relocated.casted)
46   %base.relocated3.casted = bitcast i8 addrspace(1)* %base.relocated3 to i32 addrspace(1)*
47   call void @use_obj32(i32 addrspace(1)* %ptr.gep1.relocated2.casted)
48   ret void
49 }
50
51 ; landing pad gc.relocates removed by instcombine since it has no uses.
52 define i32 addrspace(1)* @test3(i32 addrspace(1)* %arg) gc "statepoint-example" personality i32 8 {
53 ; CHECK-LABEL: test3(
54 ; CHECK: gc.statepoint
55 ; CHECK-LABEL: normal_dest:
56 ; CHECK-NOT: gc.relocate
57 ; CHECK: ret i32 addrspace(1)* %arg
58 ; CHECK-LABEL: unwind_dest:
59 ; CHECK-NOT: gc.relocate
60 entry:
61   %statepoint_token = invoke token (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 2882400000, i32 0, void ()* @g, i32 0, i32 0, i32 0, i32 1, i32 100, i32 addrspace(1)* %arg)
62           to label %normal_dest unwind label %unwind_dest
63
64 normal_dest:                                      ; preds = %entry
65   %arg.relocated1 = call coldcc i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token %statepoint_token, i32 8, i32 8) ; (%arg, %arg)
66   %arg.relocated1.casted = bitcast i8 addrspace(1)* %arg.relocated1 to i32 addrspace(1)*
67   ret i32 addrspace(1)* %arg.relocated1.casted
68
69 unwind_dest:                                      ; preds = %entry
70   %lpad = landingpad token
71           cleanup
72   %arg.relocated = call coldcc i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token %lpad, i32 8, i32 8) ; (%arg, %arg)
73   %arg.relocated.casted = bitcast i8 addrspace(1)* %arg.relocated to i32 addrspace(1)*
74   resume token undef
75 }
76
77 ; in presence of phi
78 define void @test4(i1 %cond) gc "statepoint-example" {
79 ; CHECK-LABEL: test4
80 entry:
81   %base1 = call i32 addrspace(1)* @new_instance()
82   %base2 = call i32 addrspace(1)* @new_instance()
83   br i1 %cond, label %here, label %there
84
85 here:                                             ; preds = %entry
86   br label %merge
87
88 there:                                            ; preds = %entry
89   br label %merge
90
91 merge:                                            ; preds = %there, %here
92 ; CHECK-LABEL: merge:
93 ; CHECK-NOT: gc.relocate
94 ; CHECK: %ptr.gep.remat = getelementptr i32, i32 addrspace(1)* %basephi.base
95   %basephi.base = phi i32 addrspace(1)* [ %base1, %here ], [ %base2, %there ], !is_base_value !0
96   %basephi = phi i32 addrspace(1)* [ %base1, %here ], [ %base2, %there ]
97   %ptr.gep = getelementptr i32, i32 addrspace(1)* %basephi, i32 15
98   %statepoint_token = call token (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 2882400000, i32 0, void ()* @do_safepoint, i32 0, i32 0, i32 0, i32 0, i32 addrspace(1)* %basephi.base)
99   %basephi.base.relocated = call coldcc i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token %statepoint_token, i32 7, i32 7) ; (%basephi.base, %basephi.base)
100   %basephi.base.relocated.casted = bitcast i8 addrspace(1)* %basephi.base.relocated to i32 addrspace(1)*
101   %ptr.gep.remat = getelementptr i32, i32 addrspace(1)* %basephi.base.relocated.casted, i32 15
102   call void @use_obj32(i32 addrspace(1)* %ptr.gep.remat)
103   ret void
104 }
105
106 ; The gc.relocate type is different from %arg, but removing the gc.relocate,
107 ; needs a bitcast to be added from i32 addrspace(1)* to i8 addrspace(1)*
108 define i8 addrspace(1)* @test5(i32 addrspace(1)* %arg) gc "statepoint-example" {
109 entry:
110 ; CHECK-LABEL: test5
111 ; CHECK: gc.statepoint
112 ; CHECK-NOT: gc.relocate
113   %statepoint_token = call token (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 2882400000, i32 0, void ()* @g, i32 0, i32 0, i32 0, i32 1, i32 100, i32 addrspace(1)* %arg)
114   %arg.relocated = call coldcc i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token %statepoint_token, i32 8, i32 8) ; (%arg, %arg)
115   ret i8 addrspace(1)* %arg.relocated
116 }
117
118 attributes #0 = { nounwind readonly }
119 attributes #1 = { nounwind "gc-leaf-function" }
120 !0 = !{}