1 ; The two profiles used in this test are the same but encoded in different 2 ; formats. This checks that we produce the same profile annotations regardless 3 ; of the profile format. 4 ; 5 ; RUN: opt < %s -sample-profile -sample-profile-file=%S/Inputs/fnptr.prof | opt -analyze -branch-prob | FileCheck %s 6 ; RUN: opt < %s -sample-profile -sample-profile-file=%S/Inputs/fnptr.binprof | opt -analyze -branch-prob | FileCheck %s 7 8 ; RUN: opt < %s -passes=sample-profile -sample-profile-file=%S/Inputs/fnptr.prof | opt -analyze -branch-prob | FileCheck %s 9 ; RUN: opt < %s -passes=sample-profile -sample-profile-file=%S/Inputs/fnptr.binprof | opt -analyze -branch-prob | FileCheck %s 10 11 ; CHECK: edge for.body3 -> if.then probability is 0x1a4f3959 / 0x80000000 = 20.55% 12 ; CHECK: edge for.body3 -> if.else probability is 0x65b0c6a7 / 0x80000000 = 79.45% 13 ; CHECK: edge for.inc -> for.inc12 probability is 0x20dc8dc9 / 0x80000000 = 25.67% 14 ; CHECK: edge for.inc -> for.body3 probability is 0x5f237237 / 0x80000000 = 74.33% 15 ; CHECK: edge for.inc12 -> for.end14 probability is 0x00000000 / 0x80000000 = 0.00% 16 ; CHECK: edge for.inc12 -> for.cond1.preheader probability is 0x80000000 / 0x80000000 = 100.00% 17 18 ; Original C++ test case. 19 ; 20 ; #include <stdlib.h> 21 ; #include <math.h> 22 ; #include <stdio.h> 23 ; 24 ; #define N 10000 25 ; #define M 6000 26 ; 27 ; double foo(int x) { 28 ; return x * sin((double)x); 29 ; } 30 ; 31 ; double bar(int x) { 32 ; return x - cos((double)x); 33 ; } 34 ; 35 ; int main() { 36 ; double (*fptr)(int); 37 ; double S = 0; 38 ; for (int i = 0; i < N; i++) 39 ; for (int j = 0; j < M; j++) { 40 ; fptr = (rand() % 100 < 30) ? foo : bar; 41 ; if (rand() % 100 < 10) 42 ; S += (*fptr)(i + j * 300); 43 ; else 44 ; S += (*fptr)(i - j / 840); 45 ; } 46 ; printf("S = %lf\n", S); 47 ; return 0; 48 ; } 49 50 @.str = private unnamed_addr constant [9 x i8] c"S = %lf\0A\00", align 1 51 52 define double @_Z3fooi(i32 %x) #0 !dbg !3 { 53 entry: 54 %conv = sitofp i32 %x to double, !dbg !2 55 %call = tail call double @sin(double %conv) #3, !dbg !8 56 %mul = fmul double %conv, %call, !dbg !8 57 ret double %mul, !dbg !8 58 } 59 60 declare double @sin(double) #1 61 62 define double @_Z3bari(i32 %x) #0 !dbg !10 { 63 entry: 64 %conv = sitofp i32 %x to double, !dbg !9 65 %call = tail call double @cos(double %conv) #3, !dbg !11 66 %sub = fsub double %conv, %call, !dbg !11 67 ret double %sub, !dbg !11 68 } 69 70 declare double @cos(double) #1 71 72 define i32 @main() #2 !dbg !13 { 73 entry: 74 br label %for.cond1.preheader, !dbg !12 75 76 for.cond1.preheader: ; preds = %for.inc12, %entry 77 %i.025 = phi i32 [ 0, %entry ], [ %inc13, %for.inc12 ] 78 %S.024 = phi double [ 0.000000e+00, %entry ], [ %S.2.lcssa, %for.inc12 ] 79 br label %for.body3, !dbg !14 80 81 for.body3: ; preds = %for.inc, %for.cond1.preheader 82 %j.023 = phi i32 [ 0, %for.cond1.preheader ], [ %inc, %for.inc ] 83 %S.122 = phi double [ %S.024, %for.cond1.preheader ], [ %S.2, %for.inc ] 84 %call = tail call i32 @rand() #3, !dbg !15 85 %rem = srem i32 %call, 100, !dbg !15 86 %cmp4 = icmp slt i32 %rem, 30, !dbg !15 87 %_Z3fooi._Z3bari = select i1 %cmp4, double (i32)* @_Z3fooi, double (i32)* @_Z3bari, !dbg !15 88 %call5 = tail call i32 @rand() #3, !dbg !16 89 %rem6 = srem i32 %call5, 100, !dbg !16 90 %cmp7 = icmp slt i32 %rem6, 10, !dbg !16 91 br i1 %cmp7, label %if.then, label %if.else, !dbg !16, !prof !17 92 93 if.then: ; preds = %for.body3 94 %mul = mul nsw i32 %j.023, 300, !dbg !18 95 %add = add nsw i32 %mul, %i.025, !dbg !18 96 %call8 = tail call double %_Z3fooi._Z3bari(i32 %add), !dbg !18 97 br label %for.inc, !dbg !18 98 99 if.else: ; preds = %for.body3 100 %div = sdiv i32 %j.023, 840, !dbg !19 101 %sub = sub nsw i32 %i.025, %div, !dbg !19 102 %call10 = tail call double %_Z3fooi._Z3bari(i32 %sub), !dbg !19 103 br label %for.inc 104 105 for.inc: ; preds = %if.then, %if.else 106 %call8.pn = phi double [ %call8, %if.then ], [ %call10, %if.else ] 107 %S.2 = fadd double %S.122, %call8.pn, !dbg !18 108 %inc = add nsw i32 %j.023, 1, !dbg !20 109 %exitcond = icmp eq i32 %j.023, 5999, !dbg !14 110 br i1 %exitcond, label %for.inc12, label %for.body3, !dbg !14, !prof !21 111 112 for.inc12: ; preds = %for.inc 113 %S.2.lcssa = phi double [ %S.2, %for.inc ] 114 %inc13 = add nsw i32 %i.025, 1, !dbg !22 115 %exitcond26 = icmp eq i32 %i.025, 9999, !dbg !12 116 br i1 %exitcond26, label %for.end14, label %for.cond1.preheader, !dbg !12, !prof !23 117 118 for.end14: ; preds = %for.inc12 119 %S.2.lcssa.lcssa = phi double [ %S.2.lcssa, %for.inc12 ] 120 %call15 = tail call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str, i64 0, i64 0), double %S.2.lcssa.lcssa), !dbg !24 121 ret i32 0, !dbg !25 122 } 123 124 ; Function Attrs: nounwind 125 declare i32 @rand() #1 126 127 ; Function Attrs: nounwind 128 declare i32 @printf(i8* nocapture readonly, ...) #1 129 130 !llvm.module.flags = !{!0} 131 !llvm.ident = !{!1} 132 !llvm.dbg.cu = !{!26} 133 134 !0 = !{i32 2, !"Debug Info Version", i32 3} 135 !1 = !{!"clang version 3.6.0 "} 136 !2 = !DILocation(line: 9, column: 3, scope: !3) 137 !3 = distinct !DISubprogram(name: "foo", line: 8, isLocal: false, isDefinition: true, flags: DIFlagPrototyped, isOptimized: true, unit: !26, scopeLine: 8, file: !4, scope: !5, type: !6, variables: !7) 138 !4 = !DIFile(filename: "fnptr.cc", directory: ".") 139 !5 = !DIFile(filename: "fnptr.cc", directory: ".") 140 !6 = !DISubroutineType(types: !7) 141 !7 = !{} 142 !8 = !DILocation(line: 9, column: 14, scope: !3) 143 !9 = !DILocation(line: 13, column: 3, scope: !10) 144 !10 = distinct !DISubprogram(name: "bar", line: 12, isLocal: false, isDefinition: true, flags: DIFlagPrototyped, isOptimized: true, unit: !26, scopeLine: 12, file: !4, scope: !5, type: !6, variables: !7) 145 !11 = !DILocation(line: 13, column: 14, scope: !10) 146 !12 = !DILocation(line: 19, column: 3, scope: !13) 147 !13 = distinct !DISubprogram(name: "main", line: 16, isLocal: false, isDefinition: true, flags: DIFlagPrototyped, isOptimized: true, unit: !26, scopeLine: 16, file: !4, scope: !5, type: !6, variables: !7) 148 !14 = !DILocation(line: 20, column: 5, scope: !13) 149 !15 = !DILocation(line: 21, column: 15, scope: !13) 150 !16 = !DILocation(line: 22, column: 11, scope: !13) 151 !17 = !{!"branch_weights", i32 534, i32 2064} 152 !18 = !DILocation(line: 23, column: 14, scope: !13) 153 !19 = !DILocation(line: 25, column: 14, scope: !13) 154 !20 = !DILocation(line: 20, column: 28, scope: !13) 155 !21 = !{!"branch_weights", i32 0, i32 1075} 156 !22 = !DILocation(line: 19, column: 26, scope: !13) 157 !23 = !{!"branch_weights", i32 0, i32 534} 158 !24 = !DILocation(line: 27, column: 3, scope: !13) 159 !25 = !DILocation(line: 28, column: 3, scope: !13) 160 !26 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, producer: "clang version 3.5 ", isOptimized: false, emissionKind: FullDebug, file: !4) 161
