1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 2 2; RUN: opt < %s -passes=ipsccp -S | FileCheck %s 3; RUN: opt < %s -enable-debugify -passes=ipsccp -debugify-quiet -disable-output 4 5;;======================== test1 6 7define internal i32 @test1a(i32 %A) { 8; CHECK-LABEL: define internal i32 @test1a 9; CHECK-SAME: (i32 [[A:%.*]]) { 10; CHECK-NEXT: ret i32 undef 11; 12 %X = add i32 1, 2 13 ret i32 %A 14} 15 16define i32 @test1b() { 17; CHECK-LABEL: define i32 @test1b() { 18; CHECK-NEXT: [[X:%.*]] = call i32 @test1a(i32 17) 19; CHECK-NEXT: ret i32 17 20; 21 %X = call i32 @test1a( i32 17 ) 22 ret i32 %X 23 24} 25 26 27 28;;======================== test2 29 30define internal i32 @test2a(i32 %A) { 31; CHECK-LABEL: define internal i32 @test2a 32; CHECK-SAME: (i32 [[A:%.*]]) { 33; CHECK-NEXT: br label [[T:%.*]] 34; CHECK: T: 35; CHECK-NEXT: [[B:%.*]] = call i32 @test2a(i32 0) 36; CHECK-NEXT: ret i32 undef 37; 38 %C = icmp eq i32 %A, 0 39 br i1 %C, label %T, label %F 40T: 41 %B = call i32 @test2a( i32 0 ) 42 ret i32 0 43F: 44 %C.upgrd.1 = call i32 @test2a(i32 1) 45 ret i32 %C.upgrd.1 46} 47 48define i32 @test2b() { 49; CHECK-LABEL: define i32 @test2b() { 50; CHECK-NEXT: [[X:%.*]] = call i32 @test2a(i32 0) 51; CHECK-NEXT: ret i32 0 52; 53 %X = call i32 @test2a(i32 0) 54 ret i32 %X 55} 56 57;;======================== test3 58 59@G = internal global i32 undef 60 61define void @test3a() { 62; CHECK-LABEL: define void @test3a() { 63; CHECK-NEXT: [[X:%.*]] = load i32, ptr @G, align 4 64; CHECK-NEXT: store i32 [[X]], ptr @G, align 4 65; CHECK-NEXT: ret void 66; 67 %X = load i32, ptr @G 68 store i32 %X, ptr @G 69 ret void 70} 71 72define i32 @test3b() { 73; CHECK-LABEL: define i32 @test3b() { 74; CHECK-NEXT: [[V:%.*]] = load i32, ptr @G, align 4 75; CHECK-NEXT: [[C:%.*]] = icmp eq i32 [[V]], 17 76; CHECK-NEXT: br i1 [[C]], label [[T:%.*]], label [[F:%.*]] 77; CHECK: T: 78; CHECK-NEXT: store i32 17, ptr @G, align 4 79; CHECK-NEXT: ret i32 17 80; CHECK: F: 81; CHECK-NEXT: store i32 123, ptr @G, align 4 82; CHECK-NEXT: ret i32 0 83; 84 %V = load i32, ptr @G 85 %C = icmp eq i32 %V, 17 86 br i1 %C, label %T, label %F 87T: 88 store i32 17, ptr @G 89 ret i32 %V 90F: 91 store i32 123, ptr @G 92 ret i32 0 93} 94 95;;======================== test4 96 97define internal {i64,i64} @test4a() { 98; CHECK-LABEL: define internal { i64, i64 } @test4a() { 99; CHECK-NEXT: ret { i64, i64 } undef 100; 101 %a = insertvalue {i64,i64} undef, i64 4, 1 102 %b = insertvalue {i64,i64} %a, i64 5, 0 103 ret {i64,i64} %b 104} 105 106define i64 @test4b() personality ptr @__gxx_personality_v0 { 107; CHECK-LABEL: define i64 @test4b() personality ptr @__gxx_personality_v0 { 108; CHECK-NEXT: [[A:%.*]] = invoke { i64, i64 } @test4a() 109; CHECK-NEXT: to label [[A:%.*]] unwind label [[B:%.*]] 110; CHECK: A: 111; CHECK-NEXT: [[C:%.*]] = call i64 @test4c(i64 5) 112; CHECK-NEXT: ret i64 5 113; CHECK: B: 114; CHECK-NEXT: [[VAL:%.*]] = landingpad { ptr, i32 } 115; CHECK-NEXT: catch ptr null 116; CHECK-NEXT: ret i64 0 117; 118 %a = invoke {i64,i64} @test4a() 119 to label %A unwind label %B 120A: 121 %b = extractvalue {i64,i64} %a, 0 122 %c = call i64 @test4c(i64 %b) 123 ret i64 %c 124B: 125 %val = landingpad { ptr, i32 } 126 catch ptr null 127 ret i64 0 128} 129 130define internal i64 @test4c(i64 %a) { 131; CHECK-LABEL: define internal i64 @test4c 132; CHECK-SAME: (i64 [[A:%.*]]) { 133; CHECK-NEXT: ret i64 undef 134; 135 ret i64 %a 136} 137 138;;======================== test5 139 140; PR4313 141define internal {i64,i64} @test5a() { 142; CHECK-LABEL: define internal { i64, i64 } @test5a() { 143; CHECK-NEXT: ret { i64, i64 } undef 144; 145 %a = insertvalue {i64,i64} undef, i64 4, 1 146 %b = insertvalue {i64,i64} %a, i64 5, 0 147 ret {i64,i64} %b 148} 149 150define i64 @test5b() personality ptr @__gxx_personality_v0 { 151; CHECK-LABEL: define i64 @test5b() personality ptr @__gxx_personality_v0 { 152; CHECK-NEXT: [[A:%.*]] = invoke { i64, i64 } @test5a() 153; CHECK-NEXT: to label [[A:%.*]] unwind label [[B:%.*]] 154; CHECK: A: 155; CHECK-NEXT: [[C:%.*]] = call i64 @test5c({ i64, i64 } { i64 5, i64 4 }) 156; CHECK-NEXT: ret i64 5 157; CHECK: B: 158; CHECK-NEXT: [[VAL:%.*]] = landingpad { ptr, i32 } 159; CHECK-NEXT: catch ptr null 160; CHECK-NEXT: ret i64 0 161; 162 %a = invoke {i64,i64} @test5a() 163 to label %A unwind label %B 164A: 165 %c = call i64 @test5c({i64,i64} %a) 166 ret i64 %c 167B: 168 %val = landingpad { ptr, i32 } 169 catch ptr null 170 ret i64 0 171} 172 173define internal i64 @test5c({i64,i64} %a) { 174; CHECK-LABEL: define internal i64 @test5c 175; CHECK-SAME: ({ i64, i64 } [[A:%.*]]) { 176; CHECK-NEXT: ret i64 undef 177; 178 %b = extractvalue {i64,i64} %a, 0 179 ret i64 %b 180} 181 182 183;;======================== test6 184 185define i64 @test6a() { 186; CHECK-LABEL: define i64 @test6a() { 187; CHECK-NEXT: ret i64 0 188; 189 ret i64 0 190} 191 192define i64 @test6b() { 193; CHECK-LABEL: define i64 @test6b() { 194; CHECK-NEXT: [[A:%.*]] = call i64 @test6a() 195; CHECK-NEXT: ret i64 0 196; 197 %a = call i64 @test6a() 198 ret i64 %a 199} 200 201;;======================== test7 202 203%T = type {i32,i32} 204 205define internal %T @test7a(i32 %A) { 206; CHECK-LABEL: define internal %T @test7a 207; CHECK-SAME: (i32 [[A:%.*]]) { 208; CHECK-NEXT: ret [[T:%.*]] undef 209; 210 %X = add i32 1, %A 211 %mrv0 = insertvalue %T undef, i32 %X, 0 212 %mrv1 = insertvalue %T %mrv0, i32 %A, 1 213 ret %T %mrv1 214} 215 216define i32 @test7b() { 217; CHECK-LABEL: define i32 @test7b() { 218; CHECK-NEXT: [[X:%.*]] = call [[T:%.*]] @test7a(i32 17) 219; CHECK-NEXT: ret i32 36 220; 221 %X = call %T @test7a(i32 17) 222 %Y = extractvalue %T %X, 0 223 %Z = add i32 %Y, %Y 224 ret i32 %Z 225} 226 227;;======================== test8 228 229 230define internal {} @test8a(i32 %A, ptr %P) { 231; CHECK-LABEL: define internal {} @test8a 232; CHECK-SAME: (i32 [[A:%.*]], ptr [[P:%.*]]) { 233; CHECK-NEXT: store i32 5, ptr [[P]], align 4 234; CHECK-NEXT: ret {} undef 235; 236 store i32 %A, ptr %P 237 ret {} {} 238} 239 240define void @test8b(ptr %P) { 241; CHECK-LABEL: define void @test8b 242; CHECK-SAME: (ptr [[P:%.*]]) { 243; CHECK-NEXT: [[X:%.*]] = call {} @test8a(i32 5, ptr [[P]]) 244; CHECK-NEXT: ret void 245; 246 %X = call {} @test8a(i32 5, ptr %P) 247 ret void 248} 249 250;;======================== test9 251 252@test9g = internal global { } zeroinitializer 253 254define void @test9() { 255; CHECK-LABEL: define void @test9() { 256; CHECK-NEXT: entry: 257; CHECK-NEXT: [[LOCAL_FOO:%.*]] = alloca {}, align 8 258; CHECK-NEXT: store {} zeroinitializer, ptr [[LOCAL_FOO]], align 1 259; CHECK-NEXT: ret void 260; 261entry: 262 %local_foo = alloca { } 263 load { }, ptr @test9g 264 store { } %0, ptr %local_foo 265 ret void 266} 267 268declare i32 @__gxx_personality_v0(...) 269 270;;======================== test10 271 272define i32 @test10a() nounwind { 273; CHECK-LABEL: define i32 @test10a 274; CHECK-SAME: () #[[ATTR0:[0-9]+]] { 275; CHECK-NEXT: entry: 276; CHECK-NEXT: [[CALL:%.*]] = call i32 @test10b(i32 undef) 277; CHECK-NEXT: ret i32 [[CALL]] 278; 279entry: 280 %call = call i32 @test10b(i32 undef) 281 ret i32 %call 282 283} 284 285define internal i32 @test10b(i32 %x) nounwind { 286; CHECK-LABEL: define internal i32 @test10b 287; CHECK-SAME: (i32 [[X:%.*]]) #[[ATTR0]] { 288; CHECK-NEXT: entry: 289; CHECK-NEXT: [[R:%.*]] = and i32 undef, 1 290; CHECK-NEXT: ret i32 [[R]] 291; 292entry: 293 %r = and i32 %x, 1 294 ret i32 %r 295} 296 297;;======================== test11 298 299define i64 @test11a() { 300; CHECK-LABEL: define i64 @test11a() { 301; CHECK-NEXT: [[XOR:%.*]] = xor i64 undef, undef 302; CHECK-NEXT: ret i64 [[XOR]] 303; 304 %xor = xor i64 undef, undef 305 ret i64 %xor 306} 307 308define i64 @test11b() { 309; CHECK-LABEL: define i64 @test11b() { 310; CHECK-NEXT: [[CALL1:%.*]] = call i64 @test11a() 311; CHECK-NEXT: [[CALL2:%.*]] = call i64 @llvm.ctpop.i64(i64 [[CALL1]]) 312; CHECK-NEXT: ret i64 [[CALL2]] 313; 314 %call1 = call i64 @test11a() 315 %call2 = call i64 @llvm.ctpop.i64(i64 %call1) 316 ret i64 %call2 317} 318 319declare i64 @llvm.ctpop.i64(i64) 320 321;;======================== test12 322;; Ensure that a struct as an arg to a potentially constant-foldable 323;; function does not crash SCCP (for now it'll just ignores it) 324 325define i1 @test12() { 326; CHECK-LABEL: define i1 @test12() { 327; CHECK-NEXT: [[C:%.*]] = call i1 @llvm.is.constant.sl_i32i32s({ i32, i32 } { i32 -1, i32 32 }) 328; CHECK-NEXT: ret i1 [[C]] 329; 330 %c = call i1 @llvm.is.constant.sl_i32i32s({i32, i32} {i32 -1, i32 32}) 331 ret i1 %c 332} 333 334declare i1 @llvm.is.constant.sl_i32i32s({i32, i32} %a) 335