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