1 ; RUN: opt < %s -ipsccp -S | FileCheck %s
4 ;;======================== test1
6 define internal i32 @test1a(i32 %A) {
10 ; CHECK: define internal i32 @test1a
11 ; CHECK: ret i32 undef
13 define i32 @test1b() {
14 %X = call i32 @test1a( i32 17 )
17 ; CHECK: define i32 @test1b
23 ;;======================== test2
25 define internal i32 @test2a(i32 %A) {
26 %C = icmp eq i32 %A, 0
27 br i1 %C, label %T, label %F
29 %B = call i32 @test2a( i32 0 )
32 %C.upgrd.1 = call i32 @test2a(i32 1)
35 ; CHECK: define internal i32 @test2a
36 ; CHECK-NEXT: br label %T
37 ; CHECK: ret i32 undef
40 define i32 @test2b() {
41 %X = call i32 @test2a(i32 0)
44 ; CHECK: define i32 @test2b
45 ; CHECK-NEXT: %X = call i32 @test2a(i32 0)
46 ; CHECK-NEXT: ret i32 0
49 ;;======================== test3
51 @G = internal global i32 undef
53 define void @test3a() {
58 ; CHECK: define void @test3a
59 ; CHECK-NEXT: ret void
62 define i32 @test3b() {
64 %C = icmp eq i32 %V, 17
65 br i1 %C, label %T, label %F
70 store i32 123, i32* @G
73 ; CHECK: define i32 @test3b
78 ;;======================== test4
80 define internal {i64,i64} @test4a() {
81 %a = insertvalue {i64,i64} undef, i64 4, 1
82 %b = insertvalue {i64,i64} %a, i64 5, 0
86 define i64 @test4b() {
87 %a = invoke {i64,i64} @test4a()
88 to label %A unwind label %B
90 %b = extractvalue {i64,i64} %a, 0
91 %c = call i64 @test4c(i64 %b)
96 ; CHECK: define i64 @test4b()
97 ; CHECK: %c = call i64 @test4c(i64 5)
98 ; CHECK-NEXT: ret i64 5
101 define internal i64 @test4c(i64 %a) {
104 ; CHECK: define internal i64 @test4c
105 ; CHECK: ret i64 undef
109 ;;======================== test5
112 define internal {i64,i64} @test5a() {
113 %a = insertvalue {i64,i64} undef, i64 4, 1
114 %b = insertvalue {i64,i64} %a, i64 5, 0
118 define i64 @test5b() {
119 %a = invoke {i64,i64} @test5a()
120 to label %A unwind label %B
122 %c = call i64 @test5c({i64,i64} %a)
128 ; CHECK: define i64 @test5b()
130 ; CHECK-NEXT: %c = call i64 @test5c(%0 %a)
131 ; CHECK-NEXT: ret i64 %c
133 define internal i64 @test5c({i64,i64} %a) {
134 %b = extractvalue {i64,i64} %a, 0
139 ;;======================== test6
141 define i64 @test6a() {
145 define i64 @test6b() {
146 %a = call i64 @test6a()
149 ; CHECK: define i64 @test6b
152 ;;======================== test7
157 define internal {i32, i32} @test7a(i32 %A) {
159 %mrv0 = insertvalue %T undef, i32 %X, 0
160 %mrv1 = insertvalue %T %mrv0, i32 %A, 1
163 ; CHECK-NEXT: %mrv0 = insertvalue %T undef, i32 18, 0
164 ; CHECK-NEXT: %mrv1 = insertvalue %T %mrv0, i32 17, 1
167 define i32 @test7b() {
168 %X = call {i32, i32} @test7a(i32 17)
169 %Y = extractvalue {i32, i32} %X, 0
172 ; CHECK: define i32 @test7b
173 ; CHECK-NEXT: call %T @test7a(i32 17)
174 ; CHECK-NEXT: ret i32 36
177 ;;======================== test8
180 define internal {} @test8a(i32 %A, i32* %P) {
181 store i32 %A, i32* %P
184 ; CHECK-NEXT: store i32 5,
188 define void @test8b(i32* %P) {
189 %X = call {} @test8a(i32 5, i32* %P)
191 ; CHECK: define void @test8b
192 ; CHECK-NEXT: call { } @test8a
193 ; CHECK-NEXT: ret void
196 ;;======================== test9
198 @test9g = internal global { } zeroinitializer
200 define void @test9() {
202 %local_foo = alloca { }
203 load { }* @current_foo
204 store { } %0, { }* %local_foo