annotate llvm/lib/Support/BranchProbability.cpp @ 173:0572611fdcc8 llvm10 llvm12

reorgnization done
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 11:55:54 +0900
parents 1d019706d866
children 2e18cbf3894f
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 //===-------------- lib/Support/BranchProbability.cpp -----------*- C++ -*-===//
anatofuz
parents:
diff changeset
2 //
anatofuz
parents:
diff changeset
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
anatofuz
parents:
diff changeset
4 // See https://llvm.org/LICENSE.txt for license information.
anatofuz
parents:
diff changeset
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
anatofuz
parents:
diff changeset
6 //
anatofuz
parents:
diff changeset
7 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
8 //
anatofuz
parents:
diff changeset
9 // This file implements Branch Probability class.
anatofuz
parents:
diff changeset
10 //
anatofuz
parents:
diff changeset
11 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
12
anatofuz
parents:
diff changeset
13 #include "llvm/Support/BranchProbability.h"
anatofuz
parents:
diff changeset
14 #include "llvm/Config/llvm-config.h"
anatofuz
parents:
diff changeset
15 #include "llvm/Support/Debug.h"
anatofuz
parents:
diff changeset
16 #include "llvm/Support/Format.h"
anatofuz
parents:
diff changeset
17 #include "llvm/Support/raw_ostream.h"
anatofuz
parents:
diff changeset
18 #include <cassert>
anatofuz
parents:
diff changeset
19
anatofuz
parents:
diff changeset
20 using namespace llvm;
anatofuz
parents:
diff changeset
21
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
22 constexpr uint32_t BranchProbability::D;
150
anatofuz
parents:
diff changeset
23
anatofuz
parents:
diff changeset
24 raw_ostream &BranchProbability::print(raw_ostream &OS) const {
anatofuz
parents:
diff changeset
25 if (isUnknown())
anatofuz
parents:
diff changeset
26 return OS << "?%";
anatofuz
parents:
diff changeset
27
anatofuz
parents:
diff changeset
28 // Get a percentage rounded to two decimal digits. This avoids
anatofuz
parents:
diff changeset
29 // implementation-defined rounding inside printf.
anatofuz
parents:
diff changeset
30 double Percent = rint(((double)N / D) * 100.0 * 100.0) / 100.0;
anatofuz
parents:
diff changeset
31 return OS << format("0x%08" PRIx32 " / 0x%08" PRIx32 " = %.2f%%", N, D,
anatofuz
parents:
diff changeset
32 Percent);
anatofuz
parents:
diff changeset
33 }
anatofuz
parents:
diff changeset
34
anatofuz
parents:
diff changeset
35 #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
anatofuz
parents:
diff changeset
36 LLVM_DUMP_METHOD void BranchProbability::dump() const { print(dbgs()) << '\n'; }
anatofuz
parents:
diff changeset
37 #endif
anatofuz
parents:
diff changeset
38
anatofuz
parents:
diff changeset
39 BranchProbability::BranchProbability(uint32_t Numerator, uint32_t Denominator) {
anatofuz
parents:
diff changeset
40 assert(Denominator > 0 && "Denominator cannot be 0!");
anatofuz
parents:
diff changeset
41 assert(Numerator <= Denominator && "Probability cannot be bigger than 1!");
anatofuz
parents:
diff changeset
42 if (Denominator == D)
anatofuz
parents:
diff changeset
43 N = Numerator;
anatofuz
parents:
diff changeset
44 else {
anatofuz
parents:
diff changeset
45 uint64_t Prob64 =
anatofuz
parents:
diff changeset
46 (Numerator * static_cast<uint64_t>(D) + Denominator / 2) / Denominator;
anatofuz
parents:
diff changeset
47 N = static_cast<uint32_t>(Prob64);
anatofuz
parents:
diff changeset
48 }
anatofuz
parents:
diff changeset
49 }
anatofuz
parents:
diff changeset
50
anatofuz
parents:
diff changeset
51 BranchProbability
anatofuz
parents:
diff changeset
52 BranchProbability::getBranchProbability(uint64_t Numerator,
anatofuz
parents:
diff changeset
53 uint64_t Denominator) {
anatofuz
parents:
diff changeset
54 assert(Numerator <= Denominator && "Probability cannot be bigger than 1!");
anatofuz
parents:
diff changeset
55 // Scale down Denominator to fit in a 32-bit integer.
anatofuz
parents:
diff changeset
56 int Scale = 0;
anatofuz
parents:
diff changeset
57 while (Denominator > UINT32_MAX) {
anatofuz
parents:
diff changeset
58 Denominator >>= 1;
anatofuz
parents:
diff changeset
59 Scale++;
anatofuz
parents:
diff changeset
60 }
anatofuz
parents:
diff changeset
61 return BranchProbability(Numerator >> Scale, Denominator);
anatofuz
parents:
diff changeset
62 }
anatofuz
parents:
diff changeset
63
anatofuz
parents:
diff changeset
64 // If ConstD is not zero, then replace D by ConstD so that division and modulo
anatofuz
parents:
diff changeset
65 // operations by D can be optimized, in case this function is not inlined by the
anatofuz
parents:
diff changeset
66 // compiler.
anatofuz
parents:
diff changeset
67 template <uint32_t ConstD>
anatofuz
parents:
diff changeset
68 static uint64_t scale(uint64_t Num, uint32_t N, uint32_t D) {
anatofuz
parents:
diff changeset
69 if (ConstD > 0)
anatofuz
parents:
diff changeset
70 D = ConstD;
anatofuz
parents:
diff changeset
71
anatofuz
parents:
diff changeset
72 assert(D && "divide by 0");
anatofuz
parents:
diff changeset
73
anatofuz
parents:
diff changeset
74 // Fast path for multiplying by 1.0.
anatofuz
parents:
diff changeset
75 if (!Num || D == N)
anatofuz
parents:
diff changeset
76 return Num;
anatofuz
parents:
diff changeset
77
anatofuz
parents:
diff changeset
78 // Split Num into upper and lower parts to multiply, then recombine.
anatofuz
parents:
diff changeset
79 uint64_t ProductHigh = (Num >> 32) * N;
anatofuz
parents:
diff changeset
80 uint64_t ProductLow = (Num & UINT32_MAX) * N;
anatofuz
parents:
diff changeset
81
anatofuz
parents:
diff changeset
82 // Split into 32-bit digits.
anatofuz
parents:
diff changeset
83 uint32_t Upper32 = ProductHigh >> 32;
anatofuz
parents:
diff changeset
84 uint32_t Lower32 = ProductLow & UINT32_MAX;
anatofuz
parents:
diff changeset
85 uint32_t Mid32Partial = ProductHigh & UINT32_MAX;
anatofuz
parents:
diff changeset
86 uint32_t Mid32 = Mid32Partial + (ProductLow >> 32);
anatofuz
parents:
diff changeset
87
anatofuz
parents:
diff changeset
88 // Carry.
anatofuz
parents:
diff changeset
89 Upper32 += Mid32 < Mid32Partial;
anatofuz
parents:
diff changeset
90
anatofuz
parents:
diff changeset
91 uint64_t Rem = (uint64_t(Upper32) << 32) | Mid32;
anatofuz
parents:
diff changeset
92 uint64_t UpperQ = Rem / D;
anatofuz
parents:
diff changeset
93
anatofuz
parents:
diff changeset
94 // Check for overflow.
anatofuz
parents:
diff changeset
95 if (UpperQ > UINT32_MAX)
anatofuz
parents:
diff changeset
96 return UINT64_MAX;
anatofuz
parents:
diff changeset
97
anatofuz
parents:
diff changeset
98 Rem = ((Rem % D) << 32) | Lower32;
anatofuz
parents:
diff changeset
99 uint64_t LowerQ = Rem / D;
anatofuz
parents:
diff changeset
100 uint64_t Q = (UpperQ << 32) + LowerQ;
anatofuz
parents:
diff changeset
101
anatofuz
parents:
diff changeset
102 // Check for overflow.
anatofuz
parents:
diff changeset
103 return Q < LowerQ ? UINT64_MAX : Q;
anatofuz
parents:
diff changeset
104 }
anatofuz
parents:
diff changeset
105
anatofuz
parents:
diff changeset
106 uint64_t BranchProbability::scale(uint64_t Num) const {
anatofuz
parents:
diff changeset
107 return ::scale<D>(Num, N, D);
anatofuz
parents:
diff changeset
108 }
anatofuz
parents:
diff changeset
109
anatofuz
parents:
diff changeset
110 uint64_t BranchProbability::scaleByInverse(uint64_t Num) const {
anatofuz
parents:
diff changeset
111 return ::scale<0>(Num, D, N);
anatofuz
parents:
diff changeset
112 }