1; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py UTC_ARGS: --version 4 2 3; Checks that we are able to handle overflowing counters correctly. 4 5; RUN: opt < %s -passes='sample-profile,print<branch-prob>' -sample-profile-file=%S/Inputs/overflow.proftext -disable-output 2>&1 | FileCheck %s 6 7; Original Source: 8; int sqrt(int); 9; int test(int i) { 10; if (i == 5) { 11; return 42; 12; } 13; else { 14; return sqrt(i); 15; } 16;} 17 18define dso_local noundef i32 @_Z3testi(i32 noundef %i) local_unnamed_addr #0 !dbg !10 { 19; CHECK-LABEL: '_Z3testi' 20; CHECK-NEXT: ---- Branch Probabilities ---- 21; CHECK-NEXT: edge %entry -> %return probability is 0x00000000 / 0x80000000 = 0.00% 22; CHECK-NEXT: edge %entry -> %if.else probability is 0x80000000 / 0x80000000 = 100.00% [HOT edge] 23; CHECK-NEXT: edge %if.else -> %return probability is 0x80000000 / 0x80000000 = 100.00% [HOT edge] 24; 25entry: 26 tail call void @llvm.dbg.value(metadata i32 %i, metadata !16, metadata !DIExpression()), !dbg !17 27 %cmp = icmp eq i32 %i, 5, !dbg !18 28 br i1 %cmp, label %return, label %if.else, !dbg !20 29 30if.else: ; preds = %entry 31 %call = tail call noundef i32 @_Z4sqrti(i32 noundef %i), !dbg !21 32 br label %return, !dbg !23 33 34return: ; preds = %entry, %if.else 35 %retval.0 = phi i32 [ %call, %if.else ], [ 42, %entry ], !dbg !24 36 ret i32 %retval.0, !dbg !25 37} 38 39declare !dbg !26 noundef i32 @_Z4sqrti(i32 noundef) 40 41; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none) 42declare void @llvm.dbg.value(metadata, metadata, metadata) 43 44attributes #0 = { "use-sample-profile" } 45 46!llvm.dbg.cu = !{!0} 47!llvm.module.flags = !{!2, !3, !4, !5, !6, !7, !8} 48!llvm.ident = !{!9} 49 50!0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus_14, file: !1, producer: "clang", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, splitDebugInlining: false, nameTableKind: None) 51!1 = !DIFile(filename: "test.cpp", directory: "/", checksumkind: CSK_MD5, checksum: "cb38d90153a7ebdd6ecf3058eb0524c7") 52!2 = !{i32 7, !"Dwarf Version", i32 5} 53!3 = !{i32 2, !"Debug Info Version", i32 3} 54!4 = !{i32 1, !"wchar_size", i32 4} 55!5 = !{i32 8, !"PIC Level", i32 2} 56!6 = !{i32 7, !"PIE Level", i32 2} 57!7 = !{i32 7, !"uwtable", i32 2} 58!8 = !{i32 7, !"debug-info-assignment-tracking", i1 true} 59!9 = !{!"clang"} 60!10 = distinct !DISubprogram(name: "test", linkageName: "_Z3loli", scope: !11, file: !11, line: 3, type: !12, scopeLine: 3, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !15) 61!11 = !DIFile(filename: "./test.cpp", directory: "/", checksumkind: CSK_MD5, checksum: "cb38d90153a7ebdd6ecf3058eb0524c7") 62!12 = !DISubroutineType(types: !13) 63!13 = !{!14, !14} 64!14 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed) 65!15 = !{!16} 66!16 = !DILocalVariable(name: "i", arg: 1, scope: !10, file: !11, line: 3, type: !14) 67!17 = !DILocation(line: 0, scope: !10) 68!18 = !DILocation(line: 4, column: 11, scope: !19) 69!19 = distinct !DILexicalBlock(scope: !10, file: !11, line: 4, column: 9) 70!20 = !DILocation(line: 4, column: 9, scope: !10) 71!21 = !DILocation(line: 8, column: 16, scope: !22) 72!22 = distinct !DILexicalBlock(scope: !19, file: !11, line: 7, column: 10) 73!23 = !DILocation(line: 8, column: 9, scope: !22) 74!24 = !DILocation(line: 0, scope: !19) 75!25 = !DILocation(line: 10, column: 1, scope: !10) 76!26 = !DISubprogram(name: "sqrt", linkageName: "_Z4sqrti", scope: !11, file: !11, line: 1, type: !12, flags: DIFlagPrototyped, spFlags: DISPFlagOptimized) 77 78