388 lines · plain
1;; Test to make sure that function's definiton and summary matches.2; RUN: split-file %s %t3; RUN: opt -thinlto-bc %t/main.ll >%t/main.o4; RUN: opt -thinlto-bc %t/b.ll >%t/b.o5; RUN: opt -thinlto-bc %t/c.ll >%t/c.o6 7; RUN: llvm-lto2 run %t/b.o %t/c.o %t/main.o -enable-memprof-context-disambiguation \8; RUN: -supports-hot-cold-new -o %t/a.out \9; RUN: -r=%t/main.o,main,plx \10; RUN: -r=%t/b.o,_Z1bv,plx \11; RUN: -r=%t/b.o,_Z3fooIiET_S0_S0_,plx \12; RUN: -r=%t/b.o,_Znwm \13; RUN: -r=%t/c.o,_Z1cv,plx \14; RUN: -r=%t/c.o,_Z3fooIiET_S0_S0_ \15; RUN: -r=%t/c.o,_Z3barIiET_S0_S0_,plx \16; RUN: -r=%t/c.o,_Znwm \17; RUN: -r=%t/main.o,_Z1bv \18; RUN: -r=%t/main.o,_Z1cv \19; RUN: -r=%t/main.o,_Z3fooIiET_S0_S0_ 20 21;; foo has two copys:22;; foo in b.ll is prevailing and inlines bar.23;; foo in c.ll isn't prevailing and doesn't inline bar.24;; main will import foo in c.ll and foo's summary in b.ll default.25 26;--- main.ll27; ModuleID = 'main.cc'28source_filename = "main.cc"29target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"30target triple = "x86_64-unknown-linux-gnu"31 32; Function Attrs: mustprogress norecurse uwtable33define dso_local noundef i32 @main() #0 {34entry:35 %retval = alloca i32, align 436 store i32 0, ptr %retval, align 437 %call = call noundef i32 @_Z1bv(), !callsite !638 %call1 = call noundef i32 @_Z1cv(), !callsite !739 %add = add nsw i32 %call, %call140 %call2 = call noundef i32 @_Z3fooIiET_S0_S0_(i32 noundef 1, i32 noundef 2), !callsite !841 %add3 = add nsw i32 %add, %call242 ret i32 %add343}44 45declare noundef i32 @_Z1bv() #146 47declare noundef i32 @_Z1cv() #148 49declare noundef i32 @_Z3fooIiET_S0_S0_(i32 noundef, i32 noundef) #150 51attributes #0 = { mustprogress norecurse uwtable "frame-pointer"="all" "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }52attributes #1 = { "frame-pointer"="all" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }53 54!llvm.module.flags = !{!0, !1, !2, !3, !4}55!llvm.ident = !{!5}56 57!0 = !{i32 1, !"wchar_size", i32 4}58!1 = !{i32 8, !"PIC Level", i32 2}59!2 = !{i32 7, !"PIE Level", i32 2}60!3 = !{i32 7, !"uwtable", i32 2}61!4 = !{i32 7, !"frame-pointer", i32 2}62!5 = !{!"clang version 19.0.0"}63!6 = !{i64 1}64!7 = !{i64 5}65!8 = !{i64 7}66 67;--- c.ll68; ModuleID = 'c.cc'69source_filename = "c.cc"70target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"71target triple = "x86_64-unknown-linux-gnu"72 73$_Z3fooIiET_S0_S0_ = comdat any74 75$_Z3barIiET_S0_S0_ = comdat any76 77; Function Attrs: mustprogress noinline optnone uwtable78define dso_local noundef i32 @_Z1cv() #0 {79entry:80 %num1 = alloca i32, align 481 %num2 = alloca i32, align 482 store i32 1, ptr %num1, align 483 store i32 1, ptr %num2, align 484 %0 = load i32, ptr %num1, align 485 %1 = load i32, ptr %num2, align 486 %call = call noundef i32 @_Z3fooIiET_S0_S0_(i32 noundef %0, i32 noundef %1), !callsite !687 ret i32 %call88}89 90; Function Attrs: mustprogress uwtable91define linkonce_odr dso_local noundef i32 @_Z3fooIiET_S0_S0_(i32 noundef %a, i32 noundef %b) #3 comdat {92entry:93 %a.addr = alloca i32, align 494 %b.addr = alloca i32, align 495 %rtn = alloca i32, align 496 store i32 %a, ptr %a.addr, align 497 store i32 %b, ptr %b.addr, align 498 %0 = load i32, ptr %a.addr, align 499 %1 = load i32, ptr %b.addr, align 4100 %call = call noundef i32 @_Z3barIiET_S0_S0_(i32 noundef %0, i32 noundef %1), !callsite !7101 store i32 %call, ptr %rtn, align 4102 %2 = load i32, ptr %rtn, align 4103 ret i32 %2104}105 106; Function Attrs: mustprogress noinline optnone uwtable107define linkonce_odr dso_local noundef i32 @_Z3barIiET_S0_S0_(i32 noundef %a, i32 noundef %b) #0 comdat {108entry:109 %a.addr = alloca i32, align 4110 %b.addr = alloca i32, align 4111 %c = alloca ptr, align 8112 %d = alloca ptr, align 8113 store i32 %a, ptr %a.addr, align 4114 store i32 %b, ptr %b.addr, align 4115 %0 = load i32, ptr %a.addr, align 4116 %add = add nsw i32 %0, 1117 store i32 %add, ptr %a.addr, align 4118 %1 = load i32, ptr %b.addr, align 4119 %add1 = add nsw i32 %1, 1120 store i32 %add1, ptr %b.addr, align 4121 %2 = load i32, ptr %a.addr, align 4122 %add2 = add nsw i32 %2, 1123 store i32 %add2, ptr %a.addr, align 4124 %3 = load i32, ptr %b.addr, align 4125 %add3 = add nsw i32 %3, 1126 store i32 %add3, ptr %b.addr, align 4127 %4 = load i32, ptr %a.addr, align 4128 %add4 = add nsw i32 %4, 1129 store i32 %add4, ptr %a.addr, align 4130 %5 = load i32, ptr %b.addr, align 4131 %add5 = add nsw i32 %5, 1132 store i32 %add5, ptr %b.addr, align 4133 %6 = load i32, ptr %a.addr, align 4134 %add6 = add nsw i32 %6, 1135 store i32 %add6, ptr %a.addr, align 4136 %7 = load i32, ptr %b.addr, align 4137 %add7 = add nsw i32 %7, 1138 store i32 %add7, ptr %b.addr, align 4139 %8 = load i32, ptr %a.addr, align 4140 %add8 = add nsw i32 %8, 1141 store i32 %add8, ptr %a.addr, align 4142 %9 = load i32, ptr %b.addr, align 4143 %add9 = add nsw i32 %9, 1144 store i32 %add9, ptr %b.addr, align 4145 %10 = load i32, ptr %a.addr, align 4146 %add10 = add nsw i32 %10, 1147 store i32 %add10, ptr %a.addr, align 4148 %11 = load i32, ptr %b.addr, align 4149 %add11 = add nsw i32 %11, 1150 store i32 %add11, ptr %b.addr, align 4151 %12 = load i32, ptr %a.addr, align 4152 %add12 = add nsw i32 %12, 1153 store i32 %add12, ptr %a.addr, align 4154 %13 = load i32, ptr %b.addr, align 4155 %add13 = add nsw i32 %13, 1156 store i32 %add13, ptr %b.addr, align 4157 %14 = load i32, ptr %a.addr, align 4158 %add14 = add nsw i32 %14, 1159 store i32 %add14, ptr %a.addr, align 4160 %15 = load i32, ptr %b.addr, align 4161 %add15 = add nsw i32 %15, 1162 store i32 %add15, ptr %b.addr, align 4163 %16 = load i32, ptr %a.addr, align 4164 %add16 = add nsw i32 %16, 1165 store i32 %add16, ptr %a.addr, align 4166 %17 = load i32, ptr %b.addr, align 4167 %add17 = add nsw i32 %17, 1168 store i32 %add17, ptr %b.addr, align 4169 %18 = load i32, ptr %a.addr, align 4170 %add18 = add nsw i32 %18, 1171 store i32 %add18, ptr %a.addr, align 4172 %19 = load i32, ptr %b.addr, align 4173 %add19 = add nsw i32 %19, 1174 store i32 %add19, ptr %b.addr, align 4175 %20 = load i32, ptr %a.addr, align 4176 %add20 = add nsw i32 %20, 1177 store i32 %add20, ptr %a.addr, align 4178 %21 = load i32, ptr %b.addr, align 4179 %add21 = add nsw i32 %21, 1180 store i32 %add21, ptr %b.addr, align 4181 %22 = load i32, ptr %a.addr, align 4182 %add22 = add nsw i32 %22, 1183 store i32 %add22, ptr %a.addr, align 4184 %23 = load i32, ptr %b.addr, align 4185 %add23 = add nsw i32 %23, 1186 store i32 %add23, ptr %b.addr, align 4187 %call = call noalias noundef nonnull ptr @_Znwm(i64 noundef 4) #2, !callsite !8188 store i32 1, ptr %call, align 4189 store ptr %call, ptr %c, align 8190 %call24 = call noalias noundef nonnull ptr @_Znwm(i64 noundef 4) #2, !callsite !9191 store i32 1, ptr %call24, align 4192 store ptr %call24, ptr %d, align 8193 %24 = load i32, ptr %a.addr, align 4194 %25 = load i32, ptr %b.addr, align 4195 %cmp = icmp sgt i32 %24, %25196 br i1 %cmp, label %cond.true, label %cond.false197 198cond.true: ; preds = %entry199 %26 = load i32, ptr %a.addr, align 4200 br label %cond.end201 202cond.false: ; preds = %entry203 %27 = load i32, ptr %b.addr, align 4204 br label %cond.end205 206cond.end: ; preds = %cond.false, %cond.true207 %cond = phi i32 [ %26, %cond.true ], [ %27, %cond.false ]208 ret i32 %cond209}210 211; Function Attrs: nobuiltin allocsize(0)212declare noundef nonnull ptr @_Znwm(i64 noundef) #1213 214attributes #0 = { mustprogress noinline optnone uwtable "frame-pointer"="all" "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }215attributes #1 = { nobuiltin allocsize(0) "frame-pointer"="all" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }216attributes #2 = { builtin allocsize(0) }217attributes #3 = { mustprogress uwtable "frame-pointer"="all" "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }218 219!llvm.module.flags = !{!0, !1, !2, !3, !4}220!llvm.ident = !{!5}221 222!0 = !{i32 1, !"wchar_size", i32 4}223!1 = !{i32 8, !"PIC Level", i32 2}224!2 = !{i32 7, !"PIE Level", i32 2}225!3 = !{i32 7, !"uwtable", i32 2}226!4 = !{i32 7, !"frame-pointer", i32 2}227!5 = !{!"clang version 19.0.0"}228!6 = !{i64 6}229!7 = !{i64 3}230!8 = !{i64 4}231!9 = !{i64 9}232 233;--- b.ll234; ModuleID = 'b.cc'235source_filename = "b.cc"236target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"237target triple = "x86_64-unknown-linux-gnu"238 239$_Z3fooIiET_S0_S0_ = comdat any240 241; Function Attrs: mustprogress noinline optnone uwtable242define dso_local noundef i32 @_Z1bv() #0 {243entry:244 %num1 = alloca i32, align 4245 %num2 = alloca i32, align 4246 store i32 0, ptr %num1, align 4247 store i32 0, ptr %num2, align 4248 %0 = load i32, ptr %num1, align 4249 %1 = load i32, ptr %num2, align 4250 %call = call noundef i32 @_Z3fooIiET_S0_S0_(i32 noundef %0, i32 noundef %1), !callsite !6251 ret i32 %call252}253 254; Function Attrs: mustprogress uwtable255define linkonce_odr dso_local noundef i32 @_Z3fooIiET_S0_S0_(i32 noundef %a, i32 noundef %b) #3 comdat {256entry:257 %a.addr.i = alloca i32, align 4258 %b.addr.i = alloca i32, align 4259 %c.i = alloca ptr, align 8260 %d.i = alloca ptr, align 8261 %a.addr = alloca i32, align 4262 %b.addr = alloca i32, align 4263 %rtn = alloca i32, align 4264 store i32 %a, ptr %a.addr, align 4265 store i32 %b, ptr %b.addr, align 4266 %0 = load i32, ptr %a.addr, align 4267 %1 = load i32, ptr %b.addr, align 4268 store i32 %0, ptr %a.addr.i, align 4269 store i32 %1, ptr %b.addr.i, align 4270 %2 = load i32, ptr %a.addr.i, align 4271 %add.i = add nsw i32 %2, 1272 store i32 %add.i, ptr %a.addr.i, align 4273 %3 = load i32, ptr %b.addr.i, align 4274 %add1.i = add nsw i32 %3, 1275 store i32 %add1.i, ptr %b.addr.i, align 4276 %4 = load i32, ptr %a.addr.i, align 4277 %add2.i = add nsw i32 %4, 1278 store i32 %add2.i, ptr %a.addr.i, align 4279 %5 = load i32, ptr %b.addr.i, align 4280 %add3.i = add nsw i32 %5, 1281 store i32 %add3.i, ptr %b.addr.i, align 4282 %6 = load i32, ptr %a.addr.i, align 4283 %add4.i = add nsw i32 %6, 1284 store i32 %add4.i, ptr %a.addr.i, align 4285 %7 = load i32, ptr %b.addr.i, align 4286 %add5.i = add nsw i32 %7, 1287 store i32 %add5.i, ptr %b.addr.i, align 4288 %8 = load i32, ptr %a.addr.i, align 4289 %add6.i = add nsw i32 %8, 1290 store i32 %add6.i, ptr %a.addr.i, align 4291 %9 = load i32, ptr %b.addr.i, align 4292 %add7.i = add nsw i32 %9, 1293 store i32 %add7.i, ptr %b.addr.i, align 4294 %10 = load i32, ptr %a.addr.i, align 4295 %add8.i = add nsw i32 %10, 1296 store i32 %add8.i, ptr %a.addr.i, align 4297 %11 = load i32, ptr %b.addr.i, align 4298 %add9.i = add nsw i32 %11, 1299 store i32 %add9.i, ptr %b.addr.i, align 4300 %12 = load i32, ptr %a.addr.i, align 4301 %add10.i = add nsw i32 %12, 1302 store i32 %add10.i, ptr %a.addr.i, align 4303 %13 = load i32, ptr %b.addr.i, align 4304 %add11.i = add nsw i32 %13, 1305 store i32 %add11.i, ptr %b.addr.i, align 4306 %14 = load i32, ptr %a.addr.i, align 4307 %add12.i = add nsw i32 %14, 1308 store i32 %add12.i, ptr %a.addr.i, align 4309 %15 = load i32, ptr %b.addr.i, align 4310 %add13.i = add nsw i32 %15, 1311 store i32 %add13.i, ptr %b.addr.i, align 4312 %16 = load i32, ptr %a.addr.i, align 4313 %add14.i = add nsw i32 %16, 1314 store i32 %add14.i, ptr %a.addr.i, align 4315 %17 = load i32, ptr %b.addr.i, align 4316 %add15.i = add nsw i32 %17, 1317 store i32 %add15.i, ptr %b.addr.i, align 4318 %18 = load i32, ptr %a.addr.i, align 4319 %add16.i = add nsw i32 %18, 1320 store i32 %add16.i, ptr %a.addr.i, align 4321 %19 = load i32, ptr %b.addr.i, align 4322 %add17.i = add nsw i32 %19, 1323 store i32 %add17.i, ptr %b.addr.i, align 4324 %20 = load i32, ptr %a.addr.i, align 4325 %add18.i = add nsw i32 %20, 1326 store i32 %add18.i, ptr %a.addr.i, align 4327 %21 = load i32, ptr %b.addr.i, align 4328 %add19.i = add nsw i32 %21, 1329 store i32 %add19.i, ptr %b.addr.i, align 4330 %22 = load i32, ptr %a.addr.i, align 4331 %add20.i = add nsw i32 %22, 1332 store i32 %add20.i, ptr %a.addr.i, align 4333 %23 = load i32, ptr %b.addr.i, align 4334 %add21.i = add nsw i32 %23, 1335 store i32 %add21.i, ptr %b.addr.i, align 4336 %24 = load i32, ptr %a.addr.i, align 4337 %add22.i = add nsw i32 %24, 1338 store i32 %add22.i, ptr %a.addr.i, align 4339 %25 = load i32, ptr %b.addr.i, align 4340 %add23.i = add nsw i32 %25, 1341 store i32 %add23.i, ptr %b.addr.i, align 4342 %call.i = call noalias noundef nonnull ptr @_Znwm(i64 noundef 4) #2, !callsite !7343 store i32 1, ptr %call.i, align 4344 store ptr %call.i, ptr %c.i, align 8345 %call24.i = call noalias noundef nonnull ptr @_Znwm(i64 noundef 4) #2, !callsite !8346 store i32 1, ptr %call24.i, align 4347 store ptr %call24.i, ptr %d.i, align 8348 %26 = load i32, ptr %a.addr.i, align 4349 %27 = load i32, ptr %b.addr.i, align 4350 %cmp.i = icmp sgt i32 %26, %27351 br i1 %cmp.i, label %cond.true.i, label %cond.false.i352 353cond.true.i: ; preds = %entry354 %28 = load i32, ptr %a.addr.i, align 4355 br label %_Z3barIiET_S0_S0_.exit356 357cond.false.i: ; preds = %entry358 %29 = load i32, ptr %b.addr.i, align 4359 br label %_Z3barIiET_S0_S0_.exit360 361_Z3barIiET_S0_S0_.exit: ; preds = %cond.true.i, %cond.false.i362 %cond.i = phi i32 [ %28, %cond.true.i ], [ %29, %cond.false.i ]363 store i32 %cond.i, ptr %rtn, align 4364 %30 = load i32, ptr %rtn, align 4365 ret i32 %30366}367 368; Function Attrs: nobuiltin allocsize(0)369declare noundef nonnull ptr @_Znwm(i64 noundef) #1370 371attributes #0 = { mustprogress noinline optnone uwtable "frame-pointer"="all" "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }372attributes #1 = { nobuiltin allocsize(0) "frame-pointer"="all" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }373attributes #2 = { builtin allocsize(0) }374attributes #3 = { mustprogress uwtable "frame-pointer"="all" "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }375 376!llvm.module.flags = !{!0, !1, !2, !3, !4}377!llvm.ident = !{!5}378 379!0 = !{i32 1, !"wchar_size", i32 4}380!1 = !{i32 8, !"PIC Level", i32 2}381!2 = !{i32 7, !"PIE Level", i32 2}382!3 = !{i32 7, !"uwtable", i32 2}383!4 = !{i32 7, !"frame-pointer", i32 2}384!5 = !{!"clang version 19.0.0"}385!6 = !{i64 2}386!7 = !{i64 4, i64 3}387!8 = !{i64 9, i64 3}388