344 lines · plain
1; RUN: opt -disable-output -passes=print-lcg %s 2>&1 | FileCheck %s2;3; Basic validation of the call graph analysis used in the new pass manager.4 5define void @f() {6; CHECK-LABEL: Edges in function: f7; CHECK-NOT: ->8 9entry:10 ret void11}12 13; A bunch more functions just to make it easier to test several call edges at once.14define void @f1() {15 ret void16}17define void @f2() {18 ret void19}20define void @f3() {21 ret void22}23define void @f4() {24 ret void25}26define void @f5() {27 ret void28}29define void @f6() {30 ret void31}32define void @f7() {33 ret void34}35define void @f8() {36 ret void37}38define void @f9() {39 ret void40}41define void @f10() {42 ret void43}44define void @f11() {45 ret void46}47define void @f12() {48 ret void49}50 51declare i32 @__gxx_personality_v0(...)52 53define void @test0() {54; CHECK-LABEL: Edges in function: test055; CHECK-NEXT: call -> f56; CHECK-NOT: ->57 58entry:59 call void @f()60 call void @f()61 call void @f()62 call void @f()63 ret void64}65 66define ptr @test1(ptr %x) personality ptr @__gxx_personality_v0 {67; CHECK-LABEL: Edges in function: test168; CHECK-NEXT: call -> f669; CHECK-NEXT: call -> f1070; CHECK-NEXT: ref -> f1271; CHECK-NEXT: ref -> f1172; CHECK-NEXT: ref -> f773; CHECK-NEXT: ref -> f974; CHECK-NEXT: ref -> f875; CHECK-NEXT: ref -> f576; CHECK-NEXT: ref -> f477; CHECK-NEXT: ref -> f378; CHECK-NEXT: ref -> f279; CHECK-NEXT: ref -> f180; CHECK-NOT: ->81 82entry:83 br label %next84 85dead:86 br label %next87 88next:89 phi ptr [ @f1, %entry ], [ @f2, %dead ]90 select i1 true, ptr @f3, ptr @f491 store ptr @f5, ptr %x92 call void @f6()93 call void (ptr, ptr) @f7(ptr @f8, ptr @f9)94 invoke void @f10() to label %exit unwind label %unwind95 96exit:97 ret ptr @f1198 99unwind:100 %res = landingpad { ptr, i32 }101 cleanup102 resume { ptr, i32 } { ptr @f12, i32 42 }103}104 105@g = global ptr @f1106@g1 = global [4 x ptr] [ptr @f2, ptr @f3, ptr @f4, ptr @f5]107@g2 = global {i8, ptr, i8} {i8 1, ptr @f6, i8 2}108@h = constant ptr @f7109 110define void @test2() {111; CHECK-LABEL: Edges in function: test2112; CHECK-NEXT: ref -> f7113; CHECK-NEXT: ref -> f6114; CHECK-NEXT: ref -> f5115; CHECK-NEXT: ref -> f4116; CHECK-NEXT: ref -> f3117; CHECK-NEXT: ref -> f2118; CHECK-NEXT: ref -> f1119; CHECK-NOT: ->120 121 load ptr, ptr @g122 load ptr, ptr getelementptr ([4 x ptr], ptr @g1, i32 0, i32 2)123 load ptr, ptr getelementptr ({i8, ptr, i8}, ptr @g2, i32 0, i32 1)124 load ptr, ptr @h125 ret void126}127 128@test3_ptr = external global ptr129 130define void @test3_aa1() {131; CHECK-LABEL: Edges in function: test3_aa1132; CHECK-NEXT: call -> test3_aa2133; CHECK-NEXT: ref -> test3_ab1134; CHECK-NOT: ->135 136entry:137 call void @test3_aa2()138 store ptr @test3_ab1, ptr @test3_ptr139 ret void140}141 142define void @test3_aa2() {143; CHECK-LABEL: Edges in function: test3_aa2144; CHECK-NEXT: call -> test3_aa1145; CHECK-NEXT: call -> test3_ab2146; CHECK-NOT: ->147 148entry:149 call void @test3_aa1()150 call void @test3_ab2()151 ret void152}153 154define void @test3_ab1() {155; CHECK-LABEL: Edges in function: test3_ab1156; CHECK-NEXT: call -> test3_ab2157; CHECK-NEXT: call -> test3_ac1158; CHECK-NOT: ->159 160entry:161 call void @test3_ab2()162 call void @test3_ac1()163 ret void164}165 166define void @test3_ab2() {167; CHECK-LABEL: Edges in function: test3_ab2168; CHECK-NEXT: call -> test3_ab1169; CHECK-NEXT: call -> test3_ba1170; CHECK-NOT: ->171 172entry:173 call void @test3_ab1()174 call void @test3_ba1()175 ret void176}177 178define void @test3_ac1() {179; CHECK-LABEL: Edges in function: test3_ac1180; CHECK-NEXT: call -> test3_ac2181; CHECK-NEXT: ref -> test3_aa2182; CHECK-NOT: ->183 184entry:185 call void @test3_ac2()186 store ptr @test3_aa2, ptr @test3_ptr187 ret void188}189 190define void @test3_ac2() {191; CHECK-LABEL: Edges in function: test3_ac2192; CHECK-NEXT: call -> test3_ac1193; CHECK-NEXT: ref -> test3_ba1194; CHECK-NOT: ->195 196entry:197 call void @test3_ac1()198 store ptr @test3_ba1, ptr @test3_ptr199 ret void200}201 202define void @test3_ba1() {203; CHECK-LABEL: Edges in function: test3_ba1204; CHECK-NEXT: call -> test3_bb1205; CHECK-NEXT: ref -> test3_ca1206; CHECK-NOT: ->207 208entry:209 call void @test3_bb1()210 store ptr @test3_ca1, ptr @test3_ptr211 ret void212}213 214define void @test3_bb1() {215; CHECK-LABEL: Edges in function: test3_bb1216; CHECK-NEXT: call -> test3_ca2217; CHECK-NEXT: ref -> test3_ba1218; CHECK-NOT: ->219 220entry:221 call void @test3_ca2()222 store ptr @test3_ba1, ptr @test3_ptr223 ret void224}225 226define void @test3_ca1() {227; CHECK-LABEL: Edges in function: test3_ca1228; CHECK-NEXT: call -> test3_ca2229; CHECK-NOT: ->230 231entry:232 call void @test3_ca2()233 ret void234}235 236define void @test3_ca2() {237; CHECK-LABEL: Edges in function: test3_ca2238; CHECK-NEXT: call -> test3_ca3239; CHECK-NOT: ->240 241entry:242 call void @test3_ca3()243 ret void244}245 246define void @test3_ca3() {247; CHECK-LABEL: Edges in function: test3_ca3248; CHECK-NEXT: call -> test3_ca1249; CHECK-NOT: ->250 251entry:252 call void @test3_ca1()253 ret void254}255 256; Verify the SCCs formed.257;258; CHECK-LABEL: RefSCC with 1 call SCCs:259; CHECK-NEXT: SCC with 1 functions:260; CHECK-NEXT: f261;262; CHECK-LABEL: RefSCC with 1 call SCCs:263; CHECK-NEXT: SCC with 1 functions:264; CHECK-NEXT: f1265;266; CHECK-LABEL: RefSCC with 1 call SCCs:267; CHECK-NEXT: SCC with 1 functions:268; CHECK-NEXT: f2269;270; CHECK-LABEL: RefSCC with 1 call SCCs:271; CHECK-NEXT: SCC with 1 functions:272; CHECK-NEXT: f3273;274; CHECK-LABEL: RefSCC with 1 call SCCs:275; CHECK-NEXT: SCC with 1 functions:276; CHECK-NEXT: f4277;278; CHECK-LABEL: RefSCC with 1 call SCCs:279; CHECK-NEXT: SCC with 1 functions:280; CHECK-NEXT: f5281;282; CHECK-LABEL: RefSCC with 1 call SCCs:283; CHECK-NEXT: SCC with 1 functions:284; CHECK-NEXT: f6285;286; CHECK-LABEL: RefSCC with 1 call SCCs:287; CHECK-NEXT: SCC with 1 functions:288; CHECK-NEXT: f7289;290; CHECK-LABEL: RefSCC with 1 call SCCs:291; CHECK-NEXT: SCC with 1 functions:292; CHECK-NEXT: f8293;294; CHECK-LABEL: RefSCC with 1 call SCCs:295; CHECK-NEXT: SCC with 1 functions:296; CHECK-NEXT: f9297;298; CHECK-LABEL: RefSCC with 1 call SCCs:299; CHECK-NEXT: SCC with 1 functions:300; CHECK-NEXT: f10301;302; CHECK-LABEL: RefSCC with 1 call SCCs:303; CHECK-NEXT: SCC with 1 functions:304; CHECK-NEXT: f11305;306; CHECK-LABEL: RefSCC with 1 call SCCs:307; CHECK-NEXT: SCC with 1 functions:308; CHECK-NEXT: f12309;310; CHECK-LABEL: RefSCC with 1 call SCCs:311; CHECK-NEXT: SCC with 1 functions:312; CHECK-NEXT: test0313;314; CHECK-LABEL: RefSCC with 1 call SCCs:315; CHECK-NEXT: SCC with 1 functions:316; CHECK-NEXT: test1317;318; CHECK-LABEL: RefSCC with 1 call SCCs:319; CHECK-NEXT: SCC with 1 functions:320; CHECK-NEXT: test2321;322; CHECK-LABEL: RefSCC with 1 call SCCs:323; CHECK-NEXT: SCC with 3 functions:324; CHECK-NEXT: test3_ca2325; CHECK-NEXT: test3_ca3326; CHECK-NEXT: test3_ca1327;328; CHECK-LABEL: RefSCC with 2 call SCCs:329; CHECK-NEXT: SCC with 1 functions:330; CHECK-NEXT: test3_bb1331; CHECK-NEXT: SCC with 1 functions:332; CHECK-NEXT: test3_ba1333;334; CHECK-LABEL: RefSCC with 3 call SCCs:335; CHECK-NEXT: SCC with 2 functions:336; CHECK-NEXT: test3_ac1337; CHECK-NEXT: test3_ac2338; CHECK-NEXT: SCC with 2 functions:339; CHECK-NEXT: test3_ab2340; CHECK-NEXT: test3_ab1341; CHECK-NEXT: SCC with 2 functions:342; CHECK-NEXT: test3_aa1343; CHECK-NEXT: test3_aa2344