1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
| ; Make sure that even without some external devirtualization iteration tool,
; the CGSCC pass manager correctly observes and re-visits SCCs that change
; structure due to devirtualization. We trigger devirtualization here with GVN
; which forwards a store through a load and to an indirect call.
;
; RUN: opt -aa-pipeline=basic-aa -passes='cgscc(function-attrs)' -S < %s | FileCheck %s --check-prefix=BEFORE
; RUN: opt -aa-pipeline=basic-aa -passes='cgscc(function-attrs,function(gvn))' -S < %s | FileCheck %s --check-prefix=AFTER
;
; Also check that adding an extra CGSCC pass after the function update but
; without requiring the outer manager to iterate doesn't break any invariant.
; RUN: opt -aa-pipeline=basic-aa -passes='cgscc(function-attrs,function(gvn),function-attrs)' -S < %s | FileCheck %s --check-prefix=AFTER
declare void @readnone() readnone
declare void @unknown()
; The @test1_* checks that if we refine an indirect call to a direct call and
; in the process change the very structure of the call graph we also revisit
; that component of the graph and do so in an up-to-date fashion.
; BEFORE: define void @test1_a1() {
; AFTER: define void @test1_a1() {
define void @test1_a1() {
%fptr = alloca void()*
store void()* @test1_b2, void()** %fptr
store void()* @test1_b1, void()** %fptr
%f = load void()*, void()** %fptr
call void %f()
ret void
}
; BEFORE: define void @test1_b1() {
; AFTER: define void @test1_b1() {
define void @test1_b1() {
call void @unknown()
call void @test1_a1()
ret void
}
; BEFORE: define void @test1_a2() {
; AFTER: define void @test1_a2() #0 {
define void @test1_a2() {
%fptr = alloca void()*
store void()* @test1_b1, void()** %fptr
store void()* @test1_b2, void()** %fptr
%f = load void()*, void()** %fptr
call void %f()
ret void
}
; BEFORE: define void @test1_b2() {
; AFTER: define void @test1_b2() #0 {
define void @test1_b2() {
call void @readnone()
call void @test1_a2()
ret void
}
; The @test2_* set of functions exercise a case where running function passes
; introduces a new post-order relationship that was not present originally and
; makes sure we walk across the SCCs in that order.
; CHECK: define void @test2_a() {
define void @test2_a() {
call void @test2_b1()
call void @test2_b2()
call void @test2_b3()
call void @unknown()
ret void
}
; CHECK: define void @test2_b1() #0 {
define void @test2_b1() {
%fptr = alloca void()*
store void()* @test2_a, void()** %fptr
store void()* @readnone, void()** %fptr
%f = load void()*, void()** %fptr
call void %f()
ret void
}
; CHECK: define void @test2_b2() #0 {
define void @test2_b2() {
%fptr = alloca void()*
store void()* @test2_a, void()** %fptr
store void()* @test2_b2, void()** %fptr
store void()* @test2_b3, void()** %fptr
store void()* @test2_b1, void()** %fptr
%f = load void()*, void()** %fptr
call void %f()
ret void
}
; CHECK: define void @test2_b3() #0 {
define void @test2_b3() {
%fptr = alloca void()*
store void()* @test2_a, void()** %fptr
store void()* @test2_b2, void()** %fptr
store void()* @test2_b3, void()** %fptr
store void()* @test2_b1, void()** %fptr
%f = load void()*, void()** %fptr
call void %f()
ret void
}
; CHECK: attributes #0 = { readnone }
|