1; RUN: llvm-profdata merge --sample -profile-isfs -o %t0.afdo %S/Inputs/fsloader.afdo 2; RUN: llc -enable-fs-discriminator -improved-fs-discriminator=false -fs-profile-file=%t0.afdo -disable-ra-fsprofile-loader=false -disable-layout-fsprofile-loader=false -print-machine-bfi -print-bfi-func-name=foo -print-before=fs-profile-loader -stop-after=fs-profile-loader < %s 2>&1 | FileCheck %s --check-prefixes=BFI,BFIV0 3; RUN: llvm-profdata merge --sample -profile-isfs -o %t1.afdo %S/Inputs/fsloader_v1.afdo 4; RUN: llc -enable-fs-discriminator -improved-fs-discriminator=true -fs-profile-file=%t1.afdo -disable-ra-fsprofile-loader=false -disable-layout-fsprofile-loader=false -print-machine-bfi -print-bfi-func-name=foo -print-before=fs-profile-loader -stop-after=fs-profile-loader < %s 2>&1 | FileCheck %s --check-prefixes=BFI,BFIV1 5; 6;; 7;; C source code for the test (compiler at -O3): 8;; // A test case for loop unroll. 9;; 10;; __attribute__((noinline)) int bar(int i){ 11;; volatile int j; 12;; j = i; 13;; return j; 14;; } 15;; 16;; unsigned sum; 17;; __attribute__((noinline)) void work(int i){ 18;; if (sum % 7) 19;; sum += i; 20;; else 21;; sum -= i; 22;; } 23;; 24;; __attribute__((noinline)) void foo(){ 25;; int i, j; 26;; for (j = 0; j < 48; j++) 27;; for (i = 0; i < 4; i++) { 28;; int ii = bar(i+j*48); 29;; if (ii % 2) 30;; work(ii*2); 31;; if (ii % 4) 32;; work(ii*3); 33;; } 34;; } 35;; 36;; int main() { 37;; int i; 38;; for (i = 0; i < 10000000; i++) { 39;; foo(); 40;; } 41;; } 42;; 43;; Check BFI before and after 44 45; BFI: block-frequency-info: foo 46; BFI: - BB0[entry]: float = 1.0, int = {{.*}}, count = 4268 47; BFI: - BB1[for.cond1.preheader]: float = 59.967, int = {{.*}}, count = 255941 48; BFI: - BB2[if.then]: float = 2.5405, int = {{.*}}, count = 10843 49; BFI: - BB3[if.end]: float = 59.967, int = {{.*}}, count = 255941 50; BFI: - BB4[if.then7]: float = 2.5405, int = {{.*}}, count = 10843 51; BFI: - BB5[if.end9]: float = 59.967, int = {{.*}}, count = 255941 52; BFI: - BB6[if.then.1]: float = 2.5405, int = {{.*}}, count = 10843 53; BFI: - BB7[if.end.1]: float = 59.967, int = {{.*}}, count = 255941 54; BFI: - BB8[if.then7.1]: float = 2.5405, int = {{.*}}, count = 10843 55; BFI: - BB9[if.end9.1]: float = 59.967, int = {{.*}}, count = 255941 56; BFI: - BB10[if.then.2]: float = 2.5405, int = {{.*}}, count = 10843 57; BFI: - BB11[if.end.2]: float = 59.967, int = {{.*}}, count = 255941 58; BFI: - BB12[if.then7.2]: float = 2.5405, int = {{.*}}, count = 10843 59; BFI: - BB13[if.end9.2]: float = 59.967, int = {{.*}}, count = 255941 60; BFI: - BB14[if.then.3]: float = 2.5405, int = {{.*}}, count = 10843 61; BFI: - BB15[if.end.3]: float = 59.967, int = {{.*}}, count = 255941 62; BFI: - BB16[if.then7.3]: float = 2.5405, int = {{.*}}, count = 10843 63; BFI: - BB17[if.end9.3]: float = 59.967, int = {{.*}}, count = 255941 64; BFI: - BB18[for.end12]: float = 1.0, int = {{.*}}, count = 4268 65; 66; BFI: # *** IR Dump Before SampleFDO loader in MIR (fs-profile-loader) ***: 67; BFI: # End machine code for function foo. 68; BFI-EMPTY: 69; BFI: block-frequency-info: foo 70; BFI: - BB0[entry]: float = 1.0, int = {{.*}}, count = 4268 71; BFI: - BB1[for.cond1.preheader]: float = 66.446, int = {{.*}}, count = 283590 72; BFI: - BB2[if.then]: float = 2.7041, int = {{.*}}, count = 11541 73; BFI: - BB3[if.end]: float = 66.446, int = {{.*}}, count = 283590 74; BFI: - BB4[if.then7]: float = 2.7041, int = {{.*}}, count = 11541 75; BFI: - BB5[if.end9]: float = 66.446, int = {{.*}}, count = 283590 76; BFI: - BB6[if.then.1]: float = 65.351, int = {{.*}}, count = 278916 77; BFI: - BB7[if.end.1]: float = 66.446, int = {{.*}}, count = 283590 78; BFI: - BB8[if.then7.1]: float = 66.446, int = {{.*}}, count = 283590 79; BFI: - BB9[if.end9.1]: float = 66.446, int = {{.*}}, count = 283590 80; BFIV0: - BB10[if.then.2]: float = 2.7041, int = {{.*}}, count = 11541 81; BFIV1: - BB10[if.then.2]: float = 61.075, int = {{.*}}, count = 260670 82; BFI: - BB11[if.end.2]: float = 66.446, int = {{.*}}, count = 283590 83; BFI: - BB12[if.then7.2]: float = 65.405, int = {{.*}}, count = 279149 84; BFI: - BB13[if.end9.2]: float = 66.446, int = {{.*}}, count = 283590 85; BFIV0: - BB14[if.then.3]: float = 61.075, int = {{.*}}, count = 260670 86; BFIV1: - BB14[if.then.3]: float = 2.7041, int = {{.*}}, count = 11541 87; BFI: - BB15[if.end.3]: float = 66.446, int = {{.*}}, count = 283590 88; BFI: - BB16[if.then7.3]: float = 54.846, int = {{.*}}, count = 234082 89; BFI: - BB17[if.end9.3]: float = 66.446, int = {{.*}}, count = 283590 90; BFI: - BB18[for.end12]: float = 1.0, int = {{.*}}, count = 4268 91 92target triple = "x86_64-unknown-linux-gnu" 93 94@sum = dso_local local_unnamed_addr global i32 0, align 4 95 96declare i32 @bar(i32 %i) #0 97declare void @work(i32 %i) #2 98declare i32 @main() #3 99 100define dso_local void @foo() local_unnamed_addr #0 !dbg !61 !prof !62 { 101entry: 102 br label %for.cond1.preheader, !dbg !63 103 104for.cond1.preheader: 105 %j.024 = phi i32 [ 0, %entry ], [ %inc11, %if.end9.3 ] 106 %mul = mul nuw nsw i32 %j.024, 48 107 %call = tail call i32 @bar(i32 %mul), !dbg !65, !prof !66 108 %0 = and i32 %call, 1, !dbg !67 109 %tobool.not = icmp eq i32 %0, 0, !dbg !67 110 br i1 %tobool.not, label %if.end, label %if.then, !dbg !68, !prof !69 111 112if.then: 113 %mul4 = shl nsw i32 %call, 1, !dbg !70 114 tail call void @work(i32 %mul4), !dbg !71, !prof !72 115 br label %if.end, !dbg !71 116 117if.end: 118 %1 = and i32 %call, 3, !dbg !73 119 %tobool6.not = icmp eq i32 %1, 0, !dbg !73 120 br i1 %tobool6.not, label %if.end9, label %if.then7, !dbg !74, !prof !69 121 122if.then7: 123 %mul8 = mul nsw i32 %call, 3, !dbg !75 124 tail call void @work(i32 %mul8), !dbg !76, !prof !72 125 br label %if.end9, !dbg !76 126 127if.end9: 128 %add.1 = or i32 %mul, 1, !dbg !77 129 %call.1 = tail call i32 @bar(i32 %add.1), !dbg !65, !prof !66 130 %2 = and i32 %call.1, 1, !dbg !67 131 %tobool.not.1 = icmp eq i32 %2, 0, !dbg !67 132 br i1 %tobool.not.1, label %if.end.1, label %if.then.1, !dbg !68, !prof !69 133 134if.then.1: 135 %mul4.1 = shl nsw i32 %call.1, 1, !dbg !70 136 tail call void @work(i32 %mul4.1), !dbg !71, !prof !72 137 br label %if.end.1, !dbg !71 138 139if.end.1: 140 %3 = and i32 %call.1, 3, !dbg !73 141 %tobool6.not.1 = icmp eq i32 %3, 0, !dbg !73 142 br i1 %tobool6.not.1, label %if.end9.1, label %if.then7.1, !dbg !74, !prof !69 143 144if.then7.1: 145 %mul8.1 = mul nsw i32 %call.1, 3, !dbg !75 146 tail call void @work(i32 %mul8.1), !dbg !76, !prof !72 147 br label %if.end9.1, !dbg !76 148 149if.end9.1: 150 %add.2 = or i32 %mul, 2, !dbg !77 151 %call.2 = tail call i32 @bar(i32 %add.2), !dbg !65, !prof !66 152 %4 = and i32 %call.2, 1, !dbg !67 153 %tobool.not.2 = icmp eq i32 %4, 0, !dbg !67 154 br i1 %tobool.not.2, label %if.end.2, label %if.then.2, !dbg !68, !prof !69 155 156if.then.2: 157 %mul4.2 = shl nsw i32 %call.2, 1, !dbg !70 158 tail call void @work(i32 %mul4.2), !dbg !71, !prof !72 159 br label %if.end.2, !dbg !71 160 161if.end.2: 162 %5 = and i32 %call.2, 3, !dbg !73 163 %tobool6.not.2 = icmp eq i32 %5, 0, !dbg !73 164 br i1 %tobool6.not.2, label %if.end9.2, label %if.then7.2, !dbg !74, !prof !69 165 166if.then7.2: 167 %mul8.2 = mul nsw i32 %call.2, 3, !dbg !75 168 tail call void @work(i32 %mul8.2), !dbg !76, !prof !72 169 br label %if.end9.2, !dbg !76 170 171if.end9.2: 172 %add.3 = or i32 %mul, 3, !dbg !77 173 %call.3 = tail call i32 @bar(i32 %add.3), !dbg !65, !prof !66 174 %6 = and i32 %call.3, 1, !dbg !67 175 %tobool.not.3 = icmp eq i32 %6, 0, !dbg !67 176 br i1 %tobool.not.3, label %if.end.3, label %if.then.3, !dbg !68, !prof !69 177 178if.then.3: 179 %mul4.3 = shl nsw i32 %call.3, 1, !dbg !70 180 tail call void @work(i32 %mul4.3), !dbg !71, !prof !72 181 br label %if.end.3, !dbg !71 182 183if.end.3: 184 %7 = and i32 %call.3, 3, !dbg !73 185 %tobool6.not.3 = icmp eq i32 %7, 0, !dbg !73 186 br i1 %tobool6.not.3, label %if.end9.3, label %if.then7.3, !dbg !74, !prof !69 187 188if.then7.3: 189 %mul8.3 = mul nsw i32 %call.3, 3, !dbg !75 190 tail call void @work(i32 %mul8.3), !dbg !76, !prof !72 191 br label %if.end9.3, !dbg !76 192 193if.end9.3: 194 %inc11 = add nuw nsw i32 %j.024, 1, !dbg !78 195 %exitcond.not = icmp eq i32 %inc11, 48, !dbg !80 196 br i1 %exitcond.not, label %for.end12, label %for.cond1.preheader, !dbg !63, !prof !81, !llvm.loop !82 197 198for.end12: 199 ret void, !dbg !86 200} 201 202attributes #0 = { nofree noinline nounwind uwtable "frame-pointer"="none" "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" "use-sample-profile" } 203attributes #1 = { argmemonly mustprogress nofree nosync nounwind willreturn } 204attributes #2 = { mustprogress nofree noinline norecurse nosync nounwind uwtable willreturn "frame-pointer"="none" "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" "use-sample-profile" } 205attributes #3 = { nofree nounwind uwtable "frame-pointer"="none" "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" "use-sample-profile" } 206 207!llvm.dbg.cu = !{!0} 208!llvm.module.flags = !{!2, !3, !4, !5, !6, !35} 209!llvm.ident = !{!40} 210 211!0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, producer: "clang version 14.0.0 (https://github.com/llvm/llvm-project.git 755f5e23159796d727c3d95d60894a52eb675b1b)", isOptimized: true, runtimeVersion: 0, emissionKind: LineTablesOnly, splitDebugInlining: false, debugInfoForProfiling: true, nameTableKind: None) 212!1 = !DIFile(filename: "/tmp/aaa.c", directory: "/mnt/ssd/xur/llvm_dev/gitwork/llvm-project/rel") 213!2 = !{i32 7, !"Dwarf Version", i32 4} 214!3 = !{i32 2, !"Debug Info Version", i32 3} 215!4 = !{i32 1, !"wchar_size", i32 4} 216!5 = !{i32 7, !"uwtable", i32 1} 217!6 = !{i32 1, !"ProfileSummary", !7} 218!7 = !{!8, !9, !10, !11, !12, !13, !14, !15, !16, !17} 219!8 = !{!"ProfileFormat", !"SampleProfile"} 220!9 = !{!"TotalCount", i64 9484871} 221!10 = !{!"MaxCount", i64 1246499} 222!11 = !{!"MaxInternalCount", i64 0} 223!12 = !{!"MaxFunctionCount", i64 1346190} 224!13 = !{!"NumCounts", i64 31} 225!14 = !{!"NumFunctions", i64 4} 226!15 = !{!"IsPartialProfile", i64 0} 227!16 = !{!"PartialProfileRatio", double 0.000000e+00} 228!17 = !{!"DetailedSummary", !18} 229!18 = !{!19, !20, !21, !22, !23, !24, !25, !26, !27, !28, !29, !30, !31, !32, !33, !34} 230!19 = !{i32 10000, i64 1246499, i32 2} 231!20 = !{i32 100000, i64 1246499, i32 2} 232!21 = !{i32 200000, i64 1246499, i32 2} 233!22 = !{i32 300000, i64 1056020, i32 4} 234!23 = !{i32 400000, i64 1056020, i32 4} 235!24 = !{i32 500000, i64 283590, i32 6} 236!25 = !{i32 600000, i64 279149, i32 9} 237!26 = !{i32 700000, i64 278916, i32 12} 238!27 = !{i32 800000, i64 269485, i32 15} 239!28 = !{i32 900000, i64 260670, i32 19} 240!29 = !{i32 950000, i64 234082, i32 22} 241!30 = !{i32 990000, i64 234082, i32 22} 242!31 = !{i32 999000, i64 4156, i32 27} 243!32 = !{i32 999900, i64 4045, i32 29} 244!33 = !{i32 999990, i64 4045, i32 29} 245!34 = !{i32 999999, i64 4045, i32 29} 246!35 = !{i32 5, !"CG Profile", !36} 247!36 = !{!37, !38, !39} 248!37 = !{ptr @foo, ptr @bar, i64 1022188} 249!38 = !{ptr @foo, ptr @work, i64 85360} 250!39 = !{ptr @main, ptr @foo, i64 2080} 251!40 = !{!"clang version 14.0.0 (https://github.com/llvm/llvm-project.git 755f5e23159796d727c3d95d60894a52eb675b1b)"} 252!41 = distinct !DISubprogram(name: "bar", scope: !42, file: !42, line: 3, type: !43, scopeLine: 3, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !44) 253!42 = !DIFile(filename: "/tmp/aaa.c", directory: "") 254!43 = !DISubroutineType(types: !44) 255!44 = !{} 256!45 = !{!"function_entry_count", i64 1076806} 257!46 = !DILocation(line: 4, column: 3, scope: !41) 258!47 = !DILocation(line: 5, column: 5, scope: !41) 259!48 = !{!49, !49, i64 0} 260!49 = !{!"int", !50, i64 0} 261!50 = !{!"omnipotent char", !51, i64 0} 262!51 = !{!"Simple C/C++ TBAA"} 263!52 = !DILocation(line: 6, column: 10, scope: !41) 264!53 = !DILocation(line: 7, column: 1, scope: !41) 265!54 = !DILocation(line: 6, column: 3, scope: !41) 266!55 = distinct !DISubprogram(name: "work", scope: !42, file: !42, line: 10, type: !43, scopeLine: 10, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !44) 267!56 = !{!"function_entry_count", i64 1346191} 268!57 = !DILocation(line: 11, column: 7, scope: !55) 269!58 = !DILocation(line: 11, column: 11, scope: !55) 270!59 = !DILocation(line: 0, scope: !55) 271!60 = !DILocation(line: 15, column: 1, scope: !55) 272!61 = distinct !DISubprogram(name: "foo", scope: !42, file: !42, line: 17, type: !43, scopeLine: 17, flags: DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !44) 273!62 = !{!"function_entry_count", i64 4268} 274!63 = !DILocation(line: 19, column: 3, scope: !64) 275!64 = !DILexicalBlockFile(scope: !61, file: !42, discriminator: 1) 276!65 = !DILocation(line: 21, column: 16, scope: !61) 277!66 = !{!"branch_weights", i32 272442} 278!67 = !DILocation(line: 22, column: 14, scope: !61) 279!68 = !DILocation(line: 22, column: 11, scope: !61) 280!69 = !{!"branch_weights", i32 260902, i32 11542} 281!70 = !DILocation(line: 23, column: 16, scope: !61) 282!71 = !DILocation(line: 23, column: 9, scope: !61) 283!72 = !{!"branch_weights", i32 11541} 284!73 = !DILocation(line: 24, column: 14, scope: !61) 285!74 = !DILocation(line: 24, column: 11, scope: !61) 286!75 = !DILocation(line: 25, column: 16, scope: !61) 287!76 = !DILocation(line: 25, column: 9, scope: !61) 288!77 = !DILocation(line: 21, column: 21, scope: !61) 289!78 = !DILocation(line: 19, column: 24, scope: !79) 290!79 = !DILexicalBlockFile(scope: !61, file: !42, discriminator: 2) 291!80 = !DILocation(line: 19, column: 17, scope: !64) 292!81 = !{!"branch_weights", i32 4269, i32 251732} 293!82 = distinct !{!82, !83, !84, !85} 294!83 = !DILocation(line: 19, column: 3, scope: !61) 295!84 = !DILocation(line: 26, column: 3, scope: !61) 296!85 = !{!"llvm.loop.mustprogress"} 297!86 = !DILocation(line: 27, column: 1, scope: !61) 298!87 = distinct !DISubprogram(name: "main", scope: !42, file: !42, line: 29, type: !43, scopeLine: 29, flags: DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !44) 299!88 = !{!"function_entry_count", i64 1} 300!89 = !DILocation(line: 31, column: 3, scope: !90) 301!90 = !DILexicalBlockFile(scope: !87, file: !42, discriminator: 1) 302!91 = !DILocation(line: 32, column: 5, scope: !87) 303!92 = !{!"branch_weights", i32 4156} 304!93 = !DILocation(line: 31, column: 30, scope: !94) 305!94 = !DILexicalBlockFile(scope: !87, file: !42, discriminator: 2) 306!95 = !DILocation(line: 31, column: 17, scope: !90) 307!96 = !{!"branch_weights", i32 2, i32 4157} 308!97 = distinct !{!97, !98, !99, !85} 309!98 = !DILocation(line: 31, column: 3, scope: !87) 310!99 = !DILocation(line: 33, column: 3, scope: !87) 311!100 = !DILocation(line: 34, column: 1, scope: !87) 312