Mercurial > hg > CbC > CbC_llvm

annotate llvm/test/Transforms/CodeGenPrepare/X86/statepoint-relocate.ll @ 150:1d019706d866

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM10
author anatofuz
date Thu, 13 Feb 2020 15:10:13 +0900
parents
children 2e18cbf3894f
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 ; RUN: opt -codegenprepare -S < %s | FileCheck %s
anatofuz
parents:
diff changeset
2
anatofuz
parents:
diff changeset
3 target datalayout = "e-i64:64-f80:128-n8:16:32:64-S128"
anatofuz
parents:
diff changeset
4 target triple = "x86_64-pc-linux-gnu"
anatofuz
parents:
diff changeset
5
anatofuz
parents:
diff changeset
6 declare zeroext i1 @return_i1()
anatofuz
parents:
diff changeset
7
anatofuz
parents:
diff changeset
8 define i32 @test_sor_basic(i32* %base) gc "statepoint-example" {
anatofuz
parents:
diff changeset
9 ; CHECK: getelementptr i32, i32* %base, i32 15
anatofuz
parents:
diff changeset
10 ; CHECK: getelementptr i32, i32* %base-new, i32 15
anatofuz
parents:
diff changeset
11 entry:
anatofuz
parents:
diff changeset
12 %ptr = getelementptr i32, i32* %base, i32 15
anatofuz
parents:
diff changeset
13 %tok = call token (i64, i32, i1 ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_i1f(i64 0, i32 0, i1 ()* @return_i1, i32 0, i32 0, i32 0, i32 0, i32* %base, i32* %ptr)
anatofuz
parents:
diff changeset
14 %base-new = call i32* @llvm.experimental.gc.relocate.p0i32(token %tok, i32 7, i32 7)
anatofuz
parents:
diff changeset
15 %ptr-new = call i32* @llvm.experimental.gc.relocate.p0i32(token %tok, i32 7, i32 8)
anatofuz
parents:
diff changeset
16 %ret = load i32, i32* %ptr-new
anatofuz
parents:
diff changeset
17 ret i32 %ret
anatofuz
parents:
diff changeset
18 }
anatofuz
parents:
diff changeset
19
anatofuz
parents:
diff changeset
20 define i32 @test_sor_two_derived(i32* %base) gc "statepoint-example" {
anatofuz
parents:
diff changeset
21 ; CHECK: getelementptr i32, i32* %base, i32 15
anatofuz
parents:
diff changeset
22 ; CHECK: getelementptr i32, i32* %base, i32 12
anatofuz
parents:
diff changeset
23 ; CHECK: getelementptr i32, i32* %base-new, i32 12
anatofuz
parents:
diff changeset
24 ; CHECK: getelementptr i32, i32* %base-new, i32 15
anatofuz
parents:
diff changeset
25 entry:
anatofuz
parents:
diff changeset
26 %ptr = getelementptr i32, i32* %base, i32 15
anatofuz
parents:
diff changeset
27 %ptr2 = getelementptr i32, i32* %base, i32 12
anatofuz
parents:
diff changeset
28 %tok = call token (i64, i32, i1 ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_i1f(i64 0, i32 0, i1 ()* @return_i1, i32 0, i32 0, i32 0, i32 0, i32* %base, i32* %ptr, i32* %ptr2)
anatofuz
parents:
diff changeset
29 %base-new = call i32* @llvm.experimental.gc.relocate.p0i32(token %tok, i32 7, i32 7)
anatofuz
parents:
diff changeset
30 %ptr-new = call i32* @llvm.experimental.gc.relocate.p0i32(token %tok, i32 7, i32 8)
anatofuz
parents:
diff changeset
31 %ptr2-new = call i32* @llvm.experimental.gc.relocate.p0i32(token %tok, i32 7, i32 9)
anatofuz
parents:
diff changeset
32 %ret = load i32, i32* %ptr-new
anatofuz
parents:
diff changeset
33 ret i32 %ret
anatofuz
parents:
diff changeset
34 }
anatofuz
parents:
diff changeset
35
anatofuz
parents:
diff changeset
36 define i32 @test_sor_ooo(i32* %base) gc "statepoint-example" {
anatofuz
parents:
diff changeset
37 ; CHECK: getelementptr i32, i32* %base, i32 15
anatofuz
parents:
diff changeset
38 ; CHECK: getelementptr i32, i32* %base-new, i32 15
anatofuz
parents:
diff changeset
39 entry:
anatofuz
parents:
diff changeset
40 %ptr = getelementptr i32, i32* %base, i32 15
anatofuz
parents:
diff changeset
41 %tok = call token (i64, i32, i1 ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_i1f(i64 0, i32 0, i1 ()* @return_i1, i32 0, i32 0, i32 0, i32 0, i32* %base, i32* %ptr)
anatofuz
parents:
diff changeset
42 %ptr-new = call i32* @llvm.experimental.gc.relocate.p0i32(token %tok, i32 7, i32 8)
anatofuz
parents:
diff changeset
43 %base-new = call i32* @llvm.experimental.gc.relocate.p0i32(token %tok, i32 7, i32 7)
anatofuz
parents:
diff changeset
44 %ret = load i32, i32* %ptr-new
anatofuz
parents:
diff changeset
45 ret i32 %ret
anatofuz
parents:
diff changeset
46 }
anatofuz
parents:
diff changeset
47
anatofuz
parents:
diff changeset
48 define i32 @test_sor_gep_smallint([3 x i32]* %base) gc "statepoint-example" {
anatofuz
parents:
diff changeset
49 ; CHECK: getelementptr [3 x i32], [3 x i32]* %base, i32 0, i32 2
anatofuz
parents:
diff changeset
50 ; CHECK: getelementptr [3 x i32], [3 x i32]* %base-new, i32 0, i32 2
anatofuz
parents:
diff changeset
51 entry:
anatofuz
parents:
diff changeset
52 %ptr = getelementptr [3 x i32], [3 x i32]* %base, i32 0, i32 2
anatofuz
parents:
diff changeset
53 %tok = call token (i64, i32, i1 ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_i1f(i64 0, i32 0, i1 ()* @return_i1, i32 0, i32 0, i32 0, i32 0, [3 x i32]* %base, i32* %ptr)
anatofuz
parents:
diff changeset
54 %base-new = call [3 x i32]* @llvm.experimental.gc.relocate.p0a3i32(token %tok, i32 7, i32 7)
anatofuz
parents:
diff changeset
55 %ptr-new = call i32* @llvm.experimental.gc.relocate.p0i32(token %tok, i32 7, i32 8)
anatofuz
parents:
diff changeset
56 %ret = load i32, i32* %ptr-new
anatofuz
parents:
diff changeset
57 ret i32 %ret
anatofuz
parents:
diff changeset
58 }
anatofuz
parents:
diff changeset
59
anatofuz
parents:
diff changeset
60 define i32 @test_sor_gep_largeint([3 x i32]* %base) gc "statepoint-example" {
anatofuz
parents:
diff changeset
61 ; CHECK: getelementptr [3 x i32], [3 x i32]* %base, i32 0, i32 21
anatofuz
parents:
diff changeset
62 ; CHECK-NOT: getelementptr [3 x i32], [3 x i32]* %base-new, i32 0, i32 21
anatofuz
parents:
diff changeset
63 entry:
anatofuz
parents:
diff changeset
64 %ptr = getelementptr [3 x i32], [3 x i32]* %base, i32 0, i32 21
anatofuz
parents:
diff changeset
65 %tok = call token (i64, i32, i1 ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_i1f(i64 0, i32 0, i1 ()* @return_i1, i32 0, i32 0, i32 0, i32 0, [3 x i32]* %base, i32* %ptr)
anatofuz
parents:
diff changeset
66 %base-new = call [3 x i32]* @llvm.experimental.gc.relocate.p0a3i32(token %tok, i32 7, i32 7)
anatofuz
parents:
diff changeset
67 %ptr-new = call i32* @llvm.experimental.gc.relocate.p0i32(token %tok, i32 7, i32 8)
anatofuz
parents:
diff changeset
68 %ret = load i32, i32* %ptr-new
anatofuz
parents:
diff changeset
69 ret i32 %ret
anatofuz
parents:
diff changeset
70 }
anatofuz
parents:
diff changeset
71
anatofuz
parents:
diff changeset
72 define i32 @test_sor_noop(i32* %base) gc "statepoint-example" {
anatofuz
parents:
diff changeset
73 ; CHECK: getelementptr i32, i32* %base, i32 15
anatofuz
parents:
diff changeset
74 ; CHECK: call i32* @llvm.experimental.gc.relocate.p0i32(token %tok, i32 7, i32 8)
anatofuz
parents:
diff changeset
75 ; CHECK: call i32* @llvm.experimental.gc.relocate.p0i32(token %tok, i32 7, i32 9)
anatofuz
parents:
diff changeset
76 entry:
anatofuz
parents:
diff changeset
77 %ptr = getelementptr i32, i32* %base, i32 15
anatofuz
parents:
diff changeset
78 %ptr2 = getelementptr i32, i32* %base, i32 12
anatofuz
parents:
diff changeset
79 %tok = call token (i64, i32, i1 ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_i1f(i64 0, i32 0, i1 ()* @return_i1, i32 0, i32 0, i32 0, i32 0, i32* %base, i32* %ptr, i32* %ptr2)
anatofuz
parents:
diff changeset
80 %ptr-new = call i32* @llvm.experimental.gc.relocate.p0i32(token %tok, i32 7, i32 8)
anatofuz
parents:
diff changeset
81 %ptr2-new = call i32* @llvm.experimental.gc.relocate.p0i32(token %tok, i32 7, i32 9)
anatofuz
parents:
diff changeset
82 %ret = load i32, i32* %ptr-new
anatofuz
parents:
diff changeset
83 ret i32 %ret
anatofuz
parents:
diff changeset
84 }
anatofuz
parents:
diff changeset
85
anatofuz
parents:
diff changeset
86 define i32 @test_sor_basic_wrong_order(i32* %base) gc "statepoint-example" {
anatofuz
parents:
diff changeset
87 ; CHECK-LABEL: @test_sor_basic_wrong_order
anatofuz
parents:
diff changeset
88 ; Here we have base relocate inserted after derived. Make sure that we don't
anatofuz
parents:
diff changeset
89 ; produce uses of the relocated base pointer before it's definition.
anatofuz
parents:
diff changeset
90 entry:
anatofuz
parents:
diff changeset
91 %ptr = getelementptr i32, i32* %base, i32 15
anatofuz
parents:
diff changeset
92 ; CHECK: getelementptr i32, i32* %base, i32 15
anatofuz
parents:
diff changeset
93 %tok = call token (i64, i32, i1 ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_i1f(i64 0, i32 0, i1 ()* @return_i1, i32 0, i32 0, i32 0, i32 0, i32* %base, i32* %ptr)
anatofuz
parents:
diff changeset
94 %ptr-new = call i32* @llvm.experimental.gc.relocate.p0i32(token %tok, i32 7, i32 8)
anatofuz
parents:
diff changeset
95 %base-new = call i32* @llvm.experimental.gc.relocate.p0i32(token %tok, i32 7, i32 7)
anatofuz
parents:
diff changeset
96 ; CHECK: %base-new = call i32* @llvm.experimental.gc.relocate.p0i32(token %tok, i32 7, i32 7)
anatofuz
parents:
diff changeset
97 ; CHECK-NEXT: getelementptr i32, i32* %base-new, i32 15
anatofuz
parents:
diff changeset
98 %ret = load i32, i32* %ptr-new
anatofuz
parents:
diff changeset
99 ret i32 %ret
anatofuz
parents:
diff changeset
100 }
anatofuz
parents:
diff changeset
101
anatofuz
parents:
diff changeset
102 define i32 @test_sor_noop_cross_bb(i1 %external-cond, i32* %base) gc "statepoint-example" {
anatofuz
parents:
diff changeset
103 ; CHECK-LABEL: @test_sor_noop_cross_bb
anatofuz
parents:
diff changeset
104 ; Here base relocate doesn't dominate derived relocate. Make sure that we don't
anatofuz
parents:
diff changeset
105 ; produce undefined use of the relocated base pointer.
anatofuz
parents:
diff changeset
106 entry:
anatofuz
parents:
diff changeset
107 %ptr = getelementptr i32, i32* %base, i32 15
anatofuz
parents:
diff changeset
108 ; CHECK: getelementptr i32, i32* %base, i32 15
anatofuz
parents:
diff changeset
109 %tok = call token (i64, i32, i1 ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_i1f(i64 0, i32 0, i1 ()* @return_i1, i32 0, i32 0, i32 0, i32 0, i32* %base, i32* %ptr)
anatofuz
parents:
diff changeset
110 br i1 %external-cond, label %left, label %right
anatofuz
parents:
diff changeset
111
anatofuz
parents:
diff changeset
112 left:
anatofuz
parents:
diff changeset
113 %ptr-new = call i32* @llvm.experimental.gc.relocate.p0i32(token %tok, i32 7, i32 8)
anatofuz
parents:
diff changeset
114 ; CHECK: call i32* @llvm.experimental.gc.relocate.p0i32(token %tok, i32 7, i32 8)
anatofuz
parents:
diff changeset
115 %ret-new = load i32, i32* %ptr-new
anatofuz
parents:
diff changeset
116 ret i32 %ret-new
anatofuz
parents:
diff changeset
117
anatofuz
parents:
diff changeset
118 right:
anatofuz
parents:
diff changeset
119 %ptr-base = call i32* @llvm.experimental.gc.relocate.p0i32(token %tok, i32 7, i32 7)
anatofuz
parents:
diff changeset
120 ; CHECK: call i32* @llvm.experimental.gc.relocate.p0i32(token %tok, i32 7, i32 7)
anatofuz
parents:
diff changeset
121 %ret-base = load i32, i32* %ptr-base
anatofuz
parents:
diff changeset
122 ret i32 %ret-base
anatofuz
parents:
diff changeset
123 }
anatofuz
parents:
diff changeset
124
anatofuz
parents:
diff changeset
125 define i32 @test_sor_noop_same_bb(i1 %external-cond, i32* %base) gc "statepoint-example" {
anatofuz
parents:
diff changeset
126 ; CHECK-LABEL: @test_sor_noop_same_bb
anatofuz
parents:
diff changeset
127 ; Here base relocate doesn't dominate derived relocate. Make sure that we don't
anatofuz
parents:
diff changeset
128 ; produce undefined use of the relocated base pointer.
anatofuz
parents:
diff changeset
129 entry:
anatofuz
parents:
diff changeset
130 %ptr1 = getelementptr i32, i32* %base, i32 15
anatofuz
parents:
diff changeset
131 ; CHECK: getelementptr i32, i32* %base, i32 15
anatofuz
parents:
diff changeset
132 %ptr2 = getelementptr i32, i32* %base, i32 5
anatofuz
parents:
diff changeset
133 ; CHECK: getelementptr i32, i32* %base, i32 5
anatofuz
parents:
diff changeset
134 %tok = call token (i64, i32, i1 ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_i1f(i64 0, i32 0, i1 ()* @return_i1, i32 0, i32 0, i32 0, i32 0, i32* %base, i32* %ptr1, i32* %ptr2)
anatofuz
parents:
diff changeset
135 ; CHECK: call i32* @llvm.experimental.gc.relocate.p0i32(token %tok, i32 7, i32 7)
anatofuz
parents:
diff changeset
136 %ptr2-new = call i32* @llvm.experimental.gc.relocate.p0i32(token %tok, i32 7, i32 9)
anatofuz
parents:
diff changeset
137 %ret2-new = load i32, i32* %ptr2-new
anatofuz
parents:
diff changeset
138 ; CHECK: getelementptr i32, i32* %base-new, i32 5
anatofuz
parents:
diff changeset
139 %ptr1-new = call i32* @llvm.experimental.gc.relocate.p0i32(token %tok, i32 7, i32 8)
anatofuz
parents:
diff changeset
140 %ret1-new = load i32, i32* %ptr1-new
anatofuz
parents:
diff changeset
141 ; CHECK: getelementptr i32, i32* %base-new, i32 15
anatofuz
parents:
diff changeset
142 %base-new = call i32* @llvm.experimental.gc.relocate.p0i32(token %tok, i32 7, i32 7)
anatofuz
parents:
diff changeset
143 %ret-new = add i32 %ret2-new, %ret1-new
anatofuz
parents:
diff changeset
144 ret i32 %ret-new
anatofuz
parents:
diff changeset
145 }
anatofuz
parents:
diff changeset
146
anatofuz
parents:
diff changeset
147 declare token @llvm.experimental.gc.statepoint.p0f_i1f(i64, i32, i1 ()*, i32, i32, ...)
anatofuz
parents:
diff changeset
148 declare i32* @llvm.experimental.gc.relocate.p0i32(token, i32, i32)
anatofuz
parents:
diff changeset
149 declare [3 x i32]* @llvm.experimental.gc.relocate.p0a3i32(token, i32, i32)