llvm/test/ThinLTO/X86/summary-matching.ll

   1 ;; Test to make sure that function's definiton and summary matches.
   2 ; RUN: split-file %s %t
   3 ; RUN: opt -thinlto-bc %t/main.ll >%t/main.o
   4 ; RUN: opt -thinlto-bc %t/b.ll >%t/b.o
   5 ; RUN: opt -thinlto-bc %t/c.ll >%t/c.o
   6
   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.ll
  27 ; ModuleID = 'main.cc'
  28 source_filename = "main.cc"
  29 target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
  30 target triple = "x86_64-unknown-linux-gnu"
  31
  32 ; Function Attrs: mustprogress norecurse uwtable
  33 define dso_local noundef i32 @main() #0 {
  34 entry:
  35   %retval = alloca i32, align 4
  36   store i32 0, ptr %retval, align 4
  37   %call = call noundef i32 @_Z1bv(), !callsite !6
  38   %call1 = call noundef i32 @_Z1cv(), !callsite !7
  39   %add = add nsw i32 %call, %call1
  40   %call2 = call noundef i32 @_Z3fooIiET_S0_S0_(i32 noundef 1, i32 noundef 2), !callsite !8
  41   %add3 = add nsw i32 %add, %call2
  42   ret i32 %add3
  43 }
  44
  45 declare noundef i32 @_Z1bv() #1
  46
  47 declare noundef i32 @_Z1cv() #1
  48
  49 declare noundef i32 @_Z3fooIiET_S0_S0_(i32 noundef, i32 noundef) #1
  50
  51 attributes #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" }
  52 attributes #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.ll
  68 ; ModuleID = 'c.cc'
  69 source_filename = "c.cc"
  70 target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
  71 target triple = "x86_64-unknown-linux-gnu"
  72
  73 $_Z3fooIiET_S0_S0_ = comdat any
  74
  75 $_Z3barIiET_S0_S0_ = comdat any
  76
  77 ; Function Attrs: mustprogress noinline optnone uwtable
  78 define dso_local noundef i32 @_Z1cv() #0 {
  79 entry:
  80   %num1 = alloca i32, align 4
  81   %num2 = alloca i32, align 4
  82   store i32 1, ptr %num1, align 4
  83   store i32 1, ptr %num2, align 4
  84   %0 = load i32, ptr %num1, align 4
  85   %1 = load i32, ptr %num2, align 4
  86   %call = call noundef i32 @_Z3fooIiET_S0_S0_(i32 noundef %0, i32 noundef %1), !callsite !6
  87   ret i32 %call
  88 }
  89
  90 ; Function Attrs: mustprogress uwtable
  91 define linkonce_odr dso_local noundef i32 @_Z3fooIiET_S0_S0_(i32 noundef %a, i32 noundef %b) #3 comdat {
  92 entry:
  93   %a.addr = alloca i32, align 4
  94   %b.addr = alloca i32, align 4
  95   %rtn = alloca i32, align 4
  96   store i32 %a, ptr %a.addr, align 4
  97   store i32 %b, ptr %b.addr, align 4
  98   %0 = load i32, ptr %a.addr, align 4
  99   %1 = load i32, ptr %b.addr, align 4
 100   %call = call noundef i32 @_Z3barIiET_S0_S0_(i32 noundef %0, i32 noundef %1), !callsite !7
 101   store i32 %call, ptr %rtn, align 4
 102   %2 = load i32, ptr %rtn, align 4
 103   ret i32 %2
 104 }
 105
 106 ; Function Attrs: mustprogress noinline optnone uwtable
 107 define linkonce_odr dso_local noundef i32 @_Z3barIiET_S0_S0_(i32 noundef %a, i32 noundef %b) #0 comdat {
 108 entry:
 109   %a.addr = alloca i32, align 4
 110   %b.addr = alloca i32, align 4
 111   %c = alloca ptr, align 8
 112   %d = alloca ptr, align 8
 113   store i32 %a, ptr %a.addr, align 4
 114   store i32 %b, ptr %b.addr, align 4
 115   %0 = load i32, ptr %a.addr, align 4
 116   %add = add nsw i32 %0, 1
 117   store i32 %add, ptr %a.addr, align 4
 118   %1 = load i32, ptr %b.addr, align 4
 119   %add1 = add nsw i32 %1, 1
 120   store i32 %add1, ptr %b.addr, align 4
 121   %2 = load i32, ptr %a.addr, align 4
 122   %add2 = add nsw i32 %2, 1
 123   store i32 %add2, ptr %a.addr, align 4
 124   %3 = load i32, ptr %b.addr, align 4
 125   %add3 = add nsw i32 %3, 1
 126   store i32 %add3, ptr %b.addr, align 4
 127   %4 = load i32, ptr %a.addr, align 4
 128   %add4 = add nsw i32 %4, 1
 129   store i32 %add4, ptr %a.addr, align 4
 130   %5 = load i32, ptr %b.addr, align 4
 131   %add5 = add nsw i32 %5, 1
 132   store i32 %add5, ptr %b.addr, align 4
 133   %6 = load i32, ptr %a.addr, align 4
 134   %add6 = add nsw i32 %6, 1
 135   store i32 %add6, ptr %a.addr, align 4
 136   %7 = load i32, ptr %b.addr, align 4
 137   %add7 = add nsw i32 %7, 1
 138   store i32 %add7, ptr %b.addr, align 4
 139   %8 = load i32, ptr %a.addr, align 4
 140   %add8 = add nsw i32 %8, 1
 141   store i32 %add8, ptr %a.addr, align 4
 142   %9 = load i32, ptr %b.addr, align 4
 143   %add9 = add nsw i32 %9, 1
 144   store i32 %add9, ptr %b.addr, align 4
 145   %10 = load i32, ptr %a.addr, align 4
 146   %add10 = add nsw i32 %10, 1
 147   store i32 %add10, ptr %a.addr, align 4
 148   %11 = load i32, ptr %b.addr, align 4
 149   %add11 = add nsw i32 %11, 1
 150   store i32 %add11, ptr %b.addr, align 4
 151   %12 = load i32, ptr %a.addr, align 4
 152   %add12 = add nsw i32 %12, 1
 153   store i32 %add12, ptr %a.addr, align 4
 154   %13 = load i32, ptr %b.addr, align 4
 155   %add13 = add nsw i32 %13, 1
 156   store i32 %add13, ptr %b.addr, align 4
 157   %14 = load i32, ptr %a.addr, align 4
 158   %add14 = add nsw i32 %14, 1
 159   store i32 %add14, ptr %a.addr, align 4
 160   %15 = load i32, ptr %b.addr, align 4
 161   %add15 = add nsw i32 %15, 1
 162   store i32 %add15, ptr %b.addr, align 4
 163   %16 = load i32, ptr %a.addr, align 4
 164   %add16 = add nsw i32 %16, 1
 165   store i32 %add16, ptr %a.addr, align 4
 166   %17 = load i32, ptr %b.addr, align 4
 167   %add17 = add nsw i32 %17, 1
 168   store i32 %add17, ptr %b.addr, align 4
 169   %18 = load i32, ptr %a.addr, align 4
 170   %add18 = add nsw i32 %18, 1
 171   store i32 %add18, ptr %a.addr, align 4
 172   %19 = load i32, ptr %b.addr, align 4
 173   %add19 = add nsw i32 %19, 1
 174   store i32 %add19, ptr %b.addr, align 4
 175   %20 = load i32, ptr %a.addr, align 4
 176   %add20 = add nsw i32 %20, 1
 177   store i32 %add20, ptr %a.addr, align 4
 178   %21 = load i32, ptr %b.addr, align 4
 179   %add21 = add nsw i32 %21, 1
 180   store i32 %add21, ptr %b.addr, align 4
 181   %22 = load i32, ptr %a.addr, align 4
 182   %add22 = add nsw i32 %22, 1
 183   store i32 %add22, ptr %a.addr, align 4
 184   %23 = load i32, ptr %b.addr, align 4
 185   %add23 = add nsw i32 %23, 1
 186   store i32 %add23, ptr %b.addr, align 4
 187   %call = call noalias noundef nonnull ptr @_Znwm(i64 noundef 4) #2, !callsite !8
 188   store i32 1, ptr %call, align 4
 189   store ptr %call, ptr %c, align 8
 190   %call24 = call noalias noundef nonnull ptr @_Znwm(i64 noundef 4) #2, !callsite !9
 191   store i32 1, ptr %call24, align 4
 192   store ptr %call24, ptr %d, align 8
 193   %24 = load i32, ptr %a.addr, align 4
 194   %25 = load i32, ptr %b.addr, align 4
 195   %cmp = icmp sgt i32 %24, %25
 196   br i1 %cmp, label %cond.true, label %cond.false
 197
 198 cond.true:                                        ; preds = %entry
 199   %26 = load i32, ptr %a.addr, align 4
 200   br label %cond.end
 201
 202 cond.false:                                       ; preds = %entry
 203   %27 = load i32, ptr %b.addr, align 4
 204   br label %cond.end
 205
 206 cond.end:                                         ; preds = %cond.false, %cond.true
 207   %cond = phi i32 [ %26, %cond.true ], [ %27, %cond.false ]
 208   ret i32 %cond
 209 }
 210
 211 ; Function Attrs: nobuiltin allocsize(0)
 212 declare noundef nonnull ptr @_Znwm(i64 noundef) #1
 213
 214 attributes #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" }
 215 attributes #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" }
 216 attributes #2 = { builtin allocsize(0) }
 217 attributes #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.ll
 234 ; ModuleID = 'b.cc'
 235 source_filename = "b.cc"
 236 target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
 237 target triple = "x86_64-unknown-linux-gnu"
 238
 239 $_Z3fooIiET_S0_S0_ = comdat any
 240
 241 ; Function Attrs: mustprogress noinline optnone uwtable
 242 define dso_local noundef i32 @_Z1bv() #0 {
 243 entry:
 244   %num1 = alloca i32, align 4
 245   %num2 = alloca i32, align 4
 246   store i32 0, ptr %num1, align 4
 247   store i32 0, ptr %num2, align 4
 248   %0 = load i32, ptr %num1, align 4
 249   %1 = load i32, ptr %num2, align 4
 250   %call = call noundef i32 @_Z3fooIiET_S0_S0_(i32 noundef %0, i32 noundef %1), !callsite !6
 251   ret i32 %call
 252 }
 253
 254 ; Function Attrs: mustprogress uwtable
 255 define linkonce_odr dso_local noundef i32 @_Z3fooIiET_S0_S0_(i32 noundef %a, i32 noundef %b) #3 comdat {
 256 entry:
 257   %a.addr.i = alloca i32, align 4
 258   %b.addr.i = alloca i32, align 4
 259   %c.i = alloca ptr, align 8
 260   %d.i = alloca ptr, align 8
 261   %a.addr = alloca i32, align 4
 262   %b.addr = alloca i32, align 4
 263   %rtn = alloca i32, align 4
 264   store i32 %a, ptr %a.addr, align 4
 265   store i32 %b, ptr %b.addr, align 4
 266   %0 = load i32, ptr %a.addr, align 4
 267   %1 = load i32, ptr %b.addr, align 4
 268   store i32 %0, ptr %a.addr.i, align 4
 269   store i32 %1, ptr %b.addr.i, align 4
 270   %2 = load i32, ptr %a.addr.i, align 4
 271   %add.i = add nsw i32 %2, 1
 272   store i32 %add.i, ptr %a.addr.i, align 4
 273   %3 = load i32, ptr %b.addr.i, align 4
 274   %add1.i = add nsw i32 %3, 1
 275   store i32 %add1.i, ptr %b.addr.i, align 4
 276   %4 = load i32, ptr %a.addr.i, align 4
 277   %add2.i = add nsw i32 %4, 1
 278   store i32 %add2.i, ptr %a.addr.i, align 4
 279   %5 = load i32, ptr %b.addr.i, align 4
 280   %add3.i = add nsw i32 %5, 1
 281   store i32 %add3.i, ptr %b.addr.i, align 4
 282   %6 = load i32, ptr %a.addr.i, align 4
 283   %add4.i = add nsw i32 %6, 1
 284   store i32 %add4.i, ptr %a.addr.i, align 4
 285   %7 = load i32, ptr %b.addr.i, align 4
 286   %add5.i = add nsw i32 %7, 1
 287   store i32 %add5.i, ptr %b.addr.i, align 4
 288   %8 = load i32, ptr %a.addr.i, align 4
 289   %add6.i = add nsw i32 %8, 1
 290   store i32 %add6.i, ptr %a.addr.i, align 4
 291   %9 = load i32, ptr %b.addr.i, align 4
 292   %add7.i = add nsw i32 %9, 1
 293   store i32 %add7.i, ptr %b.addr.i, align 4
 294   %10 = load i32, ptr %a.addr.i, align 4
 295   %add8.i = add nsw i32 %10, 1
 296   store i32 %add8.i, ptr %a.addr.i, align 4
 297   %11 = load i32, ptr %b.addr.i, align 4
 298   %add9.i = add nsw i32 %11, 1
 299   store i32 %add9.i, ptr %b.addr.i, align 4
 300   %12 = load i32, ptr %a.addr.i, align 4
 301   %add10.i = add nsw i32 %12, 1
 302   store i32 %add10.i, ptr %a.addr.i, align 4
 303   %13 = load i32, ptr %b.addr.i, align 4
 304   %add11.i = add nsw i32 %13, 1
 305   store i32 %add11.i, ptr %b.addr.i, align 4
 306   %14 = load i32, ptr %a.addr.i, align 4
 307   %add12.i = add nsw i32 %14, 1
 308   store i32 %add12.i, ptr %a.addr.i, align 4
 309   %15 = load i32, ptr %b.addr.i, align 4
 310   %add13.i = add nsw i32 %15, 1
 311   store i32 %add13.i, ptr %b.addr.i, align 4
 312   %16 = load i32, ptr %a.addr.i, align 4
 313   %add14.i = add nsw i32 %16, 1
 314   store i32 %add14.i, ptr %a.addr.i, align 4
 315   %17 = load i32, ptr %b.addr.i, align 4
 316   %add15.i = add nsw i32 %17, 1
 317   store i32 %add15.i, ptr %b.addr.i, align 4
 318   %18 = load i32, ptr %a.addr.i, align 4
 319   %add16.i = add nsw i32 %18, 1
 320   store i32 %add16.i, ptr %a.addr.i, align 4
 321   %19 = load i32, ptr %b.addr.i, align 4
 322   %add17.i = add nsw i32 %19, 1
 323   store i32 %add17.i, ptr %b.addr.i, align 4
 324   %20 = load i32, ptr %a.addr.i, align 4
 325   %add18.i = add nsw i32 %20, 1
 326   store i32 %add18.i, ptr %a.addr.i, align 4
 327   %21 = load i32, ptr %b.addr.i, align 4
 328   %add19.i = add nsw i32 %21, 1
 329   store i32 %add19.i, ptr %b.addr.i, align 4
 330   %22 = load i32, ptr %a.addr.i, align 4
 331   %add20.i = add nsw i32 %22, 1
 332   store i32 %add20.i, ptr %a.addr.i, align 4
 333   %23 = load i32, ptr %b.addr.i, align 4
 334   %add21.i = add nsw i32 %23, 1
 335   store i32 %add21.i, ptr %b.addr.i, align 4
 336   %24 = load i32, ptr %a.addr.i, align 4
 337   %add22.i = add nsw i32 %24, 1
 338   store i32 %add22.i, ptr %a.addr.i, align 4
 339   %25 = load i32, ptr %b.addr.i, align 4
 340   %add23.i = add nsw i32 %25, 1
 341   store i32 %add23.i, ptr %b.addr.i, align 4
 342   %call.i = call noalias noundef nonnull ptr @_Znwm(i64 noundef 4) #2, !callsite !7
 343   store i32 1, ptr %call.i, align 4
 344   store ptr %call.i, ptr %c.i, align 8
 345   %call24.i = call noalias noundef nonnull ptr @_Znwm(i64 noundef 4) #2, !callsite !8
 346   store i32 1, ptr %call24.i, align 4
 347   store ptr %call24.i, ptr %d.i, align 8
 348   %26 = load i32, ptr %a.addr.i, align 4
 349   %27 = load i32, ptr %b.addr.i, align 4
 350   %cmp.i = icmp sgt i32 %26, %27
 351   br i1 %cmp.i, label %cond.true.i, label %cond.false.i
 352
 353 cond.true.i:                                      ; preds = %entry
 354   %28 = load i32, ptr %a.addr.i, align 4
 355   br label %_Z3barIiET_S0_S0_.exit
 356
 357 cond.false.i:                                     ; preds = %entry
 358   %29 = load i32, ptr %b.addr.i, align 4
 359   br label %_Z3barIiET_S0_S0_.exit
 360
 361 _Z3barIiET_S0_S0_.exit:                           ; preds = %cond.true.i, %cond.false.i
 362   %cond.i = phi i32 [ %28, %cond.true.i ], [ %29, %cond.false.i ]
 363   store i32 %cond.i, ptr %rtn, align 4
 364   %30 = load i32, ptr %rtn, align 4
 365   ret i32 %30
 366 }
 367
 368 ; Function Attrs: nobuiltin allocsize(0)
 369 declare noundef nonnull ptr @_Znwm(i64 noundef) #1
 370
 371 attributes #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" }
 372 attributes #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" }
 373 attributes #2 = { builtin allocsize(0) }
 374 attributes #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}