1; RUN: opt < %s -sample-profile -sample-profile-file=%S/Inputs/calls.prof | opt -analyze -branch-prob | FileCheck %s
2
3; Original C++ test case
4;
5; #include <stdio.h>
6;
7; int sum(int x, int y) {
8;   return x + y;
9; }
10;
11; int main() {
12;   int s, i = 0;
13;   while (i++ < 20000 * 20000)
14;     if (i != 100) s = sum(i, s); else s = 30;
15;   printf("sum is %d\n", s);
16;   return 0;
17; }
18
19@.str = private unnamed_addr constant [11 x i8] c"sum is %d\0A\00", align 1
20
21; Function Attrs: nounwind uwtable
22define i32 @_Z3sumii(i32 %x, i32 %y) {
23entry:
24  %x.addr = alloca i32, align 4
25  %y.addr = alloca i32, align 4
26  store i32 %x, i32* %x.addr, align 4
27  store i32 %y, i32* %y.addr, align 4
28  %0 = load i32* %x.addr, align 4, !dbg !11
29  %1 = load i32* %y.addr, align 4, !dbg !11
30  %add = add nsw i32 %0, %1, !dbg !11
31  ret i32 %add, !dbg !11
32}
33
34; Function Attrs: uwtable
35define i32 @main() {
36entry:
37  %retval = alloca i32, align 4
38  %s = alloca i32, align 4
39  %i = alloca i32, align 4
40  store i32 0, i32* %retval
41  store i32 0, i32* %i, align 4, !dbg !12
42  br label %while.cond, !dbg !13
43
44while.cond:                                       ; preds = %if.end, %entry
45  %0 = load i32* %i, align 4, !dbg !13
46  %inc = add nsw i32 %0, 1, !dbg !13
47  store i32 %inc, i32* %i, align 4, !dbg !13
48  %cmp = icmp slt i32 %0, 400000000, !dbg !13
49  br i1 %cmp, label %while.body, label %while.end, !dbg !13
50; CHECK: edge while.cond -> while.body probability is 11143 / 16696 = 66.7405%
51; CHECK: edge while.cond -> while.end probability is 5553 / 16696 = 33.2595%
52
53while.body:                                       ; preds = %while.cond
54  %1 = load i32* %i, align 4, !dbg !14
55  %cmp1 = icmp ne i32 %1, 100, !dbg !14
56  br i1 %cmp1, label %if.then, label %if.else, !dbg !14
57; NOTE: These weights are wrong. We currently do not handle multiple
58;       control flow paths in the same line. The edge while.body -> if.then
59;       should be much heavier than the other one. Support for DWARF
60;       discriminators will fix this.
61; CHECK: edge while.body -> if.then probability is 11143 / 22286 = 50%
62; CHECK: edge while.body -> if.else probability is 11143 / 22286 = 50%
63
64if.then:                                          ; preds = %while.body
65  %2 = load i32* %i, align 4, !dbg !14
66  %3 = load i32* %s, align 4, !dbg !14
67  %call = call i32 @_Z3sumii(i32 %2, i32 %3), !dbg !14
68  store i32 %call, i32* %s, align 4, !dbg !14
69  br label %if.end, !dbg !14
70
71if.else:                                          ; preds = %while.body
72  store i32 30, i32* %s, align 4, !dbg !14
73  br label %if.end
74
75if.end:                                           ; preds = %if.else, %if.then
76  br label %while.cond, !dbg !14
77
78while.end:                                        ; preds = %while.cond
79  %4 = load i32* %s, align 4, !dbg !16
80  %call2 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([11 x i8]* @.str, i32 0, i32 0), i32 %4), !dbg !16
81  ret i32 0, !dbg !17
82}
83
84declare i32 @printf(i8*, ...)
85
86!llvm.dbg.cu = !{!0}
87!llvm.module.flags = !{!8, !9}
88!llvm.ident = !{!10}
89
90!0 = metadata !{i32 786449, metadata !1, i32 4, metadata !"clang version 3.5 ", i1 false, metadata !"", i32 0, metadata !2, metadata !2, metadata !3, metadata !2, metadata !2, metadata !""} ; [ DW_TAG_compile_unit ] [./calls.cc] [DW_LANG_C_plus_plus]
91!1 = metadata !{metadata !"calls.cc", metadata !"."}
92!2 = metadata !{i32 0}
93!3 = metadata !{metadata !4, metadata !7}
94!4 = metadata !{i32 786478, metadata !1, metadata !5, metadata !"sum", metadata !"sum", metadata !"", i32 3, metadata !6, i1 false, i1 true, i32 0, i32 0, null, i32 256, i1 false, i32 (i32, i32)* @_Z3sumii, null, null, metadata !2, i32 3} ; [ DW_TAG_subprogram ] [line 3] [def] [sum]
95!5 = metadata !{i32 786473, metadata !1}          ; [ DW_TAG_file_type ] [./calls.cc]
96!6 = metadata !{i32 786453, i32 0, null, metadata !"", i32 0, i64 0, i64 0, i64 0, i32 0, null, metadata !2, i32 0, null, null, null} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ]
97!7 = metadata !{i32 786478, metadata !1, metadata !5, metadata !"main", metadata !"main", metadata !"", i32 7, metadata !6, i1 false, i1 true, i32 0, i32 0, null, i32 256, i1 false, i32 ()* @main, null, null, metadata !2, i32 7} ; [ DW_TAG_subprogram ] [line 7] [def] [main]
98!8 = metadata !{i32 2, metadata !"Dwarf Version", i32 4}
99!9 = metadata !{i32 1, metadata !"Debug Info Version", i32 1}
100!10 = metadata !{metadata !"clang version 3.5 "}
101!11 = metadata !{i32 4, i32 0, metadata !4, null}
102!12 = metadata !{i32 8, i32 0, metadata !7, null} ; [ DW_TAG_imported_declaration ]
103!13 = metadata !{i32 9, i32 0, metadata !7, null}
104!14 = metadata !{i32 10, i32 0, metadata !15, null}
105!15 = metadata !{i32 786443, metadata !1, metadata !7, i32 10, i32 0, i32 0} ; [ DW_TAG_lexical_block ] [./calls.cc]
106!16 = metadata !{i32 11, i32 0, metadata !7, null}
107!17 = metadata !{i32 12, i32 0, metadata !7, null}
108