Skip to content

Commit ed6d9f6

Browse files
[CGP] Introduce test for PR102926 (NFC)
1 parent fe1006b commit ed6d9f6

File tree

1 file changed

+169
-0
lines changed

1 file changed

+169
-0
lines changed
Lines changed: 169 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,169 @@
1+
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2+
; RUN: opt -S -passes='require<profile-summary>,function(codegenprepare)' -mtriple=aarch64-none-linux-gnu < %s | FileCheck %s
3+
4+
%struct.S = type { i8 }
5+
%struct.X = type { i32 }
6+
7+
@g_getS = internal global %struct.S zeroinitializer, align 1
8+
@g_getX = internal global %struct.X zeroinitializer, align 1
9+
@guard = internal global i64 0, align 8
10+
11+
declare ptr @getS_dec()
12+
declare extern_weak dllimport ptr @getS_dllimport_function()
13+
14+
define ptr @getS() personality ptr @__gxx_personality_v0 {
15+
entry:
16+
%guard = load atomic i8, ptr @guard acquire, align 8
17+
%mask = and i8 %guard, 1
18+
%cond = icmp eq i8 %mask, 0
19+
br i1 %cond, label %to_be_init, label %return
20+
21+
to_be_init: ; preds = %entry
22+
%is_init = call i32 @__cxa_guard_acquire(ptr @guard)
23+
%cond.2 = icmp ne i32 %is_init, 0
24+
br i1 %cond.2, label %ctor, label %return
25+
26+
ctor: ; preds = %to_be_init
27+
invoke void @S_ctor(ptr @g_getS)
28+
to label %continue unwind label %landing_pad
29+
30+
continue: ; preds = %ctor
31+
call void @__cxa_guard_release(ptr @guard)
32+
br label %return
33+
34+
return: ; preds = %continue, %to_be_init, %entry
35+
ret ptr @g_getS
36+
37+
landing_pad: ; preds = %ctor
38+
%lp = landingpad { ptr, i32 } cleanup
39+
call void @__cxa_guard_abort(ptr @guard)
40+
resume { ptr, i32 } %lp
41+
}
42+
43+
define ptr @getS_or_getX(i1 %cond) {
44+
entry:
45+
%result = select i1 %cond, ptr @g_getS, ptr @g_getX
46+
ret ptr %result
47+
}
48+
49+
define weak ptr @getS_weak_function() {
50+
entry:
51+
ret ptr @g_getS
52+
}
53+
54+
define linkonce_odr ptr @getS_linkonce_odr_function() {
55+
entry:
56+
ret ptr @g_getS
57+
}
58+
59+
; May revert propagation.
60+
define i32 @caller_1() {
61+
; CHECK-LABEL: @caller_1(
62+
; CHECK-NEXT: [[GETS_PTR:%.*]] = call ptr @getS()
63+
; CHECK-NEXT: [[GETI:%.*]] = call i32 @S_getI(ptr @g_getS)
64+
; CHECK-NEXT: ret i32 [[GETI]]
65+
;
66+
%getS_ptr = call ptr @getS()
67+
%getI = call i32 @S_getI(ptr @g_getS)
68+
ret i32 %getI
69+
}
70+
71+
; Cannot revert propagation due to use appearing in a different basic block.
72+
define i32 @caller_2() {
73+
; CHECK-LABEL: @caller_2(
74+
; CHECK-NEXT: entry:
75+
; CHECK-NEXT: [[GETS_PTR:%.*]] = call ptr @getS()
76+
; CHECK-NEXT: br label [[USE:%.*]]
77+
; CHECK: use:
78+
; CHECK-NEXT: [[GETI:%.*]] = call i32 @S_getI(ptr [[GETS_PTR]])
79+
; CHECK-NEXT: ret i32 [[GETI]]
80+
;
81+
entry:
82+
%getS_ptr = call ptr @getS()
83+
br label %use
84+
85+
use: ; preds = %entry
86+
%getI = call i32 @S_getI(ptr %getS_ptr)
87+
ret i32 %getI
88+
}
89+
90+
; Cannot revert propagation due to use before call.
91+
define i32 @caller_3() {
92+
; CHECK-LABEL: @caller_3(
93+
; CHECK-NEXT: entry:
94+
; CHECK-NEXT: [[GETI:%.*]] = call i32 @S_getI(ptr @g_getS)
95+
; CHECK-NEXT: [[GETS_PTR:%.*]] = call ptr @getS()
96+
; CHECK-NEXT: ret i32 [[GETI]]
97+
;
98+
entry:
99+
%getI = call i32 @S_getI(ptr @g_getS)
100+
%getS_ptr = call ptr @getS()
101+
ret i32 %getI
102+
}
103+
104+
; Cannot revert propagation due to non-uniform returned constant.
105+
define i32 @caller_4(i1 %cond) {
106+
; CHECK-LABEL: @caller_4(
107+
; CHECK-NEXT: [[GETS_OR_GETX_PTR:%.*]] = call ptr @getS_or_getX(i1 [[COND:%.*]])
108+
; CHECK-NEXT: [[GETI:%.*]] = call i32 @S_getI(ptr @g_getS)
109+
; CHECK-NEXT: ret i32 [[GETI]]
110+
;
111+
%getS_or_getX_ptr = call ptr @getS_or_getX(i1 %cond)
112+
%getI = call i32 @S_getI(ptr @g_getS)
113+
ret i32 %getI
114+
}
115+
116+
; Cannot revert propagation due to weak-linkage callee.
117+
define i32 @caller_5() {
118+
; CHECK-LABEL: @caller_5(
119+
; CHECK-NEXT: [[GETS_PTR:%.*]] = call ptr @getS_weak_function()
120+
; CHECK-NEXT: [[GETI:%.*]] = call i32 @S_getI(ptr @g_getS)
121+
; CHECK-NEXT: ret i32 [[GETI]]
122+
;
123+
%getS_ptr = call ptr @getS_weak_function()
124+
%getI = call i32 @S_getI(ptr @g_getS)
125+
ret i32 %getI
126+
}
127+
128+
; Cannot revert propagation due to callee with external function definition.
129+
define i32 @caller_6() {
130+
; CHECK-LABEL: @caller_6(
131+
; CHECK-NEXT: [[GETS_PTR:%.*]] = call ptr @getS_dec()
132+
; CHECK-NEXT: [[GETI:%.*]] = call i32 @S_getI(ptr @g_getS)
133+
; CHECK-NEXT: ret i32 [[GETI]]
134+
;
135+
%getS_ptr = call ptr @getS_dec()
136+
%getI = call i32 @S_getI(ptr @g_getS)
137+
ret i32 %getI
138+
}
139+
140+
; Cannot revert propagation due to callee with DLLImport storage class.
141+
define i32 @caller_7() {
142+
; CHECK-LABEL: @caller_7(
143+
; CHECK-NEXT: [[GETS_PTR:%.*]] = call ptr @getS_dllimport_function()
144+
; CHECK-NEXT: [[GETI:%.*]] = call i32 @S_getI(ptr @g_getS)
145+
; CHECK-NEXT: ret i32 [[GETI]]
146+
;
147+
%getS_ptr = call ptr @getS_dllimport_function()
148+
%getI = call i32 @S_getI(ptr @g_getS)
149+
ret i32 %getI
150+
}
151+
152+
; Cannot revert propagation due to callee whose definition may be overridden.
153+
define i32 @caller_8() {
154+
; CHECK-LABEL: @caller_8(
155+
; CHECK-NEXT: [[GETS_PTR:%.*]] = call ptr @getS_linkonce_odr_function()
156+
; CHECK-NEXT: [[GETI:%.*]] = call i32 @S_getI(ptr @g_getS)
157+
; CHECK-NEXT: ret i32 [[GETI]]
158+
;
159+
%getS_ptr = call ptr @getS_linkonce_odr_function()
160+
%getI = call i32 @S_getI(ptr @g_getS)
161+
ret i32 %getI
162+
}
163+
164+
declare i32 @__cxa_guard_acquire(ptr)
165+
declare void @S_ctor(ptr)
166+
declare i32 @S_getI(ptr)
167+
declare void @__cxa_guard_abort(ptr)
168+
declare void @__cxa_guard_release(ptr)
169+
declare i32 @__gxx_personality_v0(...)

0 commit comments

Comments
 (0)