335 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 22; RUN: opt < %s -passes=ipsccp -S | FileCheck %s3; RUN: opt < %s -enable-debugify -passes=ipsccp -debugify-quiet -disable-output4 5;;======================== test16 7define internal i32 @test1a(i32 %A) {8; CHECK-LABEL: define internal i32 @test1a9; CHECK-SAME: (i32 [[A:%.*]]) {10; CHECK-NEXT: ret i32 poison11;12 %X = add i32 1, 213 ret i32 %A14}15 16define i32 @test1b() {17; CHECK-LABEL: define i32 @test1b() {18; CHECK-NEXT: [[X:%.*]] = call i32 @test1a(i32 17)19; CHECK-NEXT: ret i32 1720;21 %X = call i32 @test1a( i32 17 )22 ret i32 %X23 24}25 26 27 28;;======================== test229 30define internal i32 @test2a(i32 %A) {31; CHECK-LABEL: define internal i32 @test2a32; 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 poison37;38 %C = icmp eq i32 %A, 039 br i1 %C, label %T, label %F40T:41 %B = call i32 @test2a( i32 0 )42 ret i32 043F:44 %C.upgrd.1 = call i32 @test2a(i32 1)45 ret i32 %C.upgrd.146}47 48define i32 @test2b() {49; CHECK-LABEL: define i32 @test2b() {50; CHECK-NEXT: [[X:%.*]] = call i32 @test2a(i32 0)51; CHECK-NEXT: ret i32 052;53 %X = call i32 @test2a(i32 0)54 ret i32 %X55}56 57;;======================== test358 59@G = internal global i32 undef60 61define void @test3a() {62; CHECK-LABEL: define void @test3a() {63; CHECK-NEXT: [[X:%.*]] = load i32, ptr @G, align 464; CHECK-NEXT: store i32 [[X]], ptr @G, align 465; CHECK-NEXT: ret void66;67 %X = load i32, ptr @G68 store i32 %X, ptr @G69 ret void70}71 72define i32 @test3b() {73; CHECK-LABEL: define range(i32 0, 18) i32 @test3b() {74; CHECK-NEXT: [[V:%.*]] = load i32, ptr @G, align 475; CHECK-NEXT: [[C:%.*]] = icmp eq i32 [[V]], 1776; CHECK-NEXT: br i1 [[C]], label [[T:%.*]], label [[F:%.*]]77; CHECK: T:78; CHECK-NEXT: store i32 17, ptr @G, align 479; CHECK-NEXT: ret i32 1780; CHECK: F:81; CHECK-NEXT: store i32 123, ptr @G, align 482; CHECK-NEXT: ret i32 083;84 %V = load i32, ptr @G85 %C = icmp eq i32 %V, 1786 br i1 %C, label %T, label %F87T:88 store i32 17, ptr @G89 ret i32 %V90F:91 store i32 123, ptr @G92 ret i32 093}94 95;;======================== test496 97define internal {i64,i64} @test4a() {98; CHECK-LABEL: define internal { i64, i64 } @test4a() {99; CHECK-NEXT: ret { i64, i64 } poison100;101 %a = insertvalue {i64,i64} undef, i64 4, 1102 %b = insertvalue {i64,i64} %a, i64 5, 0103 ret {i64,i64} %b104}105 106define i64 @test4b() personality ptr @__gxx_personality_v0 {107; CHECK-LABEL: define range(i64 0, 6) 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 5113; CHECK: B:114; CHECK-NEXT: [[VAL:%.*]] = landingpad { ptr, i32 }115; CHECK-NEXT: catch ptr null116; CHECK-NEXT: ret i64 0117;118 %a = invoke {i64,i64} @test4a()119 to label %A unwind label %B120A:121 %b = extractvalue {i64,i64} %a, 0122 %c = call i64 @test4c(i64 %b)123 ret i64 %c124B:125 %val = landingpad { ptr, i32 }126 catch ptr null127 ret i64 0128}129 130define internal i64 @test4c(i64 %a) {131; CHECK-LABEL: define internal i64 @test4c132; CHECK-SAME: (i64 [[A:%.*]]) {133; CHECK-NEXT: ret i64 poison134;135 ret i64 %a136}137 138;;======================== test5139 140; PR4313141define internal {i64,i64} @test5a() {142; CHECK-LABEL: define internal { i64, i64 } @test5a() {143; CHECK-NEXT: ret { i64, i64 } poison144;145 %a = insertvalue {i64,i64} undef, i64 4, 1146 %b = insertvalue {i64,i64} %a, i64 5, 0147 ret {i64,i64} %b148}149 150define i64 @test5b() personality ptr @__gxx_personality_v0 {151; CHECK-LABEL: define range(i64 0, 6) 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 5157; CHECK: B:158; CHECK-NEXT: [[VAL:%.*]] = landingpad { ptr, i32 }159; CHECK-NEXT: catch ptr null160; CHECK-NEXT: ret i64 0161;162 %a = invoke {i64,i64} @test5a()163 to label %A unwind label %B164A:165 %c = call i64 @test5c({i64,i64} %a)166 ret i64 %c167B:168 %val = landingpad { ptr, i32 }169 catch ptr null170 ret i64 0171}172 173define internal i64 @test5c({i64,i64} %a) {174; CHECK-LABEL: define internal i64 @test5c175; CHECK-SAME: ({ i64, i64 } [[A:%.*]]) {176; CHECK-NEXT: ret i64 poison177;178 %b = extractvalue {i64,i64} %a, 0179 ret i64 %b180}181 182 183;;======================== test6184 185define i64 @test6a() {186; CHECK-LABEL: define i64 @test6a() {187; CHECK-NEXT: ret i64 0188;189 ret i64 0190}191 192define i64 @test6b() {193; CHECK-LABEL: define i64 @test6b() {194; CHECK-NEXT: [[A:%.*]] = call i64 @test6a()195; CHECK-NEXT: ret i64 0196;197 %a = call i64 @test6a()198 ret i64 %a199}200 201;;======================== test7202 203%T = type {i32,i32}204 205define internal %T @test7a(i32 %A) {206; CHECK-LABEL: define internal %T @test7a207; CHECK-SAME: (i32 [[A:%.*]]) {208; CHECK-NEXT: ret [[T:%.*]] poison209;210 %X = add i32 1, %A211 %mrv0 = insertvalue %T undef, i32 %X, 0212 %mrv1 = insertvalue %T %mrv0, i32 %A, 1213 ret %T %mrv1214}215 216define i32 @test7b() {217; CHECK-LABEL: define i32 @test7b() {218; CHECK-NEXT: [[X:%.*]] = call [[T:%.*]] @[[TEST7A:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](i32 17)219; CHECK-NEXT: ret i32 36220;221 %X = call %T @test7a(i32 17)222 %Y = extractvalue %T %X, 0223 %Z = add i32 %Y, %Y224 ret i32 %Z225}226 227;;======================== test8228 229 230define internal {} @test8a(i32 %A, ptr %P) {231; CHECK-LABEL: define internal {} @test8a232; CHECK-SAME: (i32 [[A:%.*]], ptr [[P:%.*]]) {233; CHECK-NEXT: store i32 5, ptr [[P]], align 4234; CHECK-NEXT: ret {} poison235;236 store i32 %A, ptr %P237 ret {} {}238}239 240define void @test8b(ptr %P) {241; CHECK-LABEL: define void @test8b242; CHECK-SAME: (ptr [[P:%.*]]) {243; CHECK-NEXT: [[X:%.*]] = call {} @test8a(i32 5, ptr [[P]])244; CHECK-NEXT: ret void245;246 %X = call {} @test8a(i32 5, ptr %P)247 ret void248}249 250;;======================== test9251 252@test9g = internal global { } zeroinitializer253 254define void @test9() {255; CHECK-LABEL: define void @test9() {256; CHECK-NEXT: entry:257; CHECK-NEXT: [[LOCAL_FOO:%.*]] = alloca {}, align 8258; CHECK-NEXT: store {} zeroinitializer, ptr [[LOCAL_FOO]], align 1259; CHECK-NEXT: ret void260;261entry:262 %local_foo = alloca { }263 load { }, ptr @test9g264 store { } %0, ptr %local_foo265 ret void266}267 268declare i32 @__gxx_personality_v0(...)269 270;;======================== test10271 272define i32 @test10a() nounwind {273; CHECK-LABEL: define i32 @test10a274; 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 %call282 283}284 285define internal i32 @test10b(i32 %x) nounwind {286; CHECK-LABEL: define internal i32 @test10b287; CHECK-SAME: (i32 [[X:%.*]]) #[[ATTR0]] {288; CHECK-NEXT: entry:289; CHECK-NEXT: [[R:%.*]] = and i32 undef, 1290; CHECK-NEXT: ret i32 [[R]]291;292entry:293 %r = and i32 %x, 1294 ret i32 %r295}296 297;;======================== test11298 299define i64 @test11a() {300; CHECK-LABEL: define i64 @test11a() {301; CHECK-NEXT: [[XOR:%.*]] = xor i64 undef, undef302; CHECK-NEXT: ret i64 [[XOR]]303;304 %xor = xor i64 undef, undef305 ret i64 %xor306}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 %call2317}318 319declare i64 @llvm.ctpop.i64(i64)320 321;;======================== test12322;; Ensure that a struct as an arg to a potentially constant-foldable323;; 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 %c332}333 334declare i1 @llvm.is.constant.sl_i32i32s({i32, i32} %a)335