annotate llvm/lib/Support/BranchProbability.cpp @ 266:00f31e85ec16 default tip

Added tag current for changeset 31d058e83c98
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sat, 14 Oct 2023 10:13:55 +0900
parents 2e18cbf3894f
children
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>
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
19 #include <cmath>
150
anatofuz
parents:
diff changeset
20
anatofuz
parents:
diff changeset
21 using namespace llvm;
anatofuz
parents:
diff changeset
22
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
23 constexpr uint32_t BranchProbability::D;
150
anatofuz
parents:
diff changeset
24
anatofuz
parents:
diff changeset
25 raw_ostream &BranchProbability::print(raw_ostream &OS) const {
anatofuz
parents:
diff changeset
26 if (isUnknown())
anatofuz
parents:
diff changeset
27 return OS << "?%";
anatofuz
parents:
diff changeset
28
anatofuz
parents:
diff changeset
29 // Get a percentage rounded to two decimal digits. This avoids
anatofuz
parents:
diff changeset
30 // implementation-defined rounding inside printf.
anatofuz
parents:
diff changeset
31 double Percent = rint(((double)N / D) * 100.0 * 100.0) / 100.0;
anatofuz
parents:
diff changeset
32 return OS << format("0x%08" PRIx32 " / 0x%08" PRIx32 " = %.2f%%", N, D,
anatofuz
parents:
diff changeset
33 Percent);
anatofuz
parents:
diff changeset
34 }
anatofuz
parents:
diff changeset
35
anatofuz
parents:
diff changeset
36 #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
anatofuz
parents:
diff changeset
37 LLVM_DUMP_METHOD void BranchProbability::dump() const { print(dbgs()) << '\n'; }
anatofuz
parents:
diff changeset
38 #endif
anatofuz
parents:
diff changeset
39
anatofuz
parents:
diff changeset
40 BranchProbability::BranchProbability(uint32_t Numerator, uint32_t Denominator) {
anatofuz
parents:
diff changeset
41 assert(Denominator > 0 && "Denominator cannot be 0!");
anatofuz
parents:
diff changeset
42 assert(Numerator <= Denominator && "Probability cannot be bigger than 1!");
anatofuz
parents:
diff changeset
43 if (Denominator == D)
anatofuz
parents:
diff changeset
44 N = Numerator;
anatofuz
parents:
diff changeset
45 else {
anatofuz
parents:
diff changeset
46 uint64_t Prob64 =
anatofuz
parents:
diff changeset
47 (Numerator * static_cast<uint64_t>(D) + Denominator / 2) / Denominator;
anatofuz
parents:
diff changeset
48 N = static_cast<uint32_t>(Prob64);
anatofuz
parents:
diff changeset
49 }
anatofuz
parents:
diff changeset
50 }
anatofuz
parents:
diff changeset
51
anatofuz
parents:
diff changeset
52 BranchProbability
anatofuz
parents:
diff changeset
53 BranchProbability::getBranchProbability(uint64_t Numerator,
anatofuz
parents:
diff changeset
54 uint64_t Denominator) {
anatofuz
parents:
diff changeset
55 assert(Numerator <= Denominator && "Probability cannot be bigger than 1!");
anatofuz
parents:
diff changeset
56 // Scale down Denominator to fit in a 32-bit integer.
anatofuz
parents:
diff changeset
57 int Scale = 0;
anatofuz
parents:
diff changeset
58 while (Denominator > UINT32_MAX) {
anatofuz
parents:
diff changeset
59 Denominator >>= 1;
anatofuz
parents:
diff changeset
60 Scale++;
anatofuz
parents:
diff changeset
61 }
anatofuz
parents:
diff changeset
62 return BranchProbability(Numerator >> Scale, Denominator);
anatofuz
parents:
diff changeset
63 }
anatofuz
parents:
diff changeset
64
anatofuz
parents:
diff changeset
65 // If ConstD is not zero, then replace D by ConstD so that division and modulo
anatofuz
parents:
diff changeset
66 // operations by D can be optimized, in case this function is not inlined by the
anatofuz
parents:
diff changeset
67 // compiler.
anatofuz
parents:
diff changeset
68 template <uint32_t ConstD>
anatofuz
parents:
diff changeset
69 static uint64_t scale(uint64_t Num, uint32_t N, uint32_t D) {
anatofuz
parents:
diff changeset
70 if (ConstD > 0)
anatofuz
parents:
diff changeset
71 D = ConstD;
anatofuz
parents:
diff changeset
72
anatofuz
parents:
diff changeset
73 assert(D && "divide by 0");
anatofuz
parents:
diff changeset
74
anatofuz
parents:
diff changeset
75 // Fast path for multiplying by 1.0.
anatofuz
parents:
diff changeset
76 if (!Num || D == N)
anatofuz
parents:
diff changeset
77 return Num;
anatofuz
parents:
diff changeset
78
anatofuz
parents:
diff changeset
79 // Split Num into upper and lower parts to multiply, then recombine.
anatofuz
parents:
diff changeset
80 uint64_t ProductHigh = (Num >> 32) * N;
anatofuz
parents:
diff changeset
81 uint64_t ProductLow = (Num & UINT32_MAX) * N;
anatofuz
parents:
diff changeset
82
anatofuz
parents:
diff changeset
83 // Split into 32-bit digits.
anatofuz
parents:
diff changeset
84 uint32_t Upper32 = ProductHigh >> 32;
anatofuz
parents:
diff changeset
85 uint32_t Lower32 = ProductLow & UINT32_MAX;
anatofuz
parents:
diff changeset
86 uint32_t Mid32Partial = ProductHigh & UINT32_MAX;
anatofuz
parents:
diff changeset
87 uint32_t Mid32 = Mid32Partial + (ProductLow >> 32);
anatofuz
parents:
diff changeset
88
anatofuz
parents:
diff changeset
89 // Carry.
anatofuz
parents:
diff changeset
90 Upper32 += Mid32 < Mid32Partial;
anatofuz
parents:
diff changeset
91
anatofuz
parents:
diff changeset
92 uint64_t Rem = (uint64_t(Upper32) << 32) | Mid32;
anatofuz
parents:
diff changeset
93 uint64_t UpperQ = Rem / D;
anatofuz
parents:
diff changeset
94
anatofuz
parents:
diff changeset
95 // Check for overflow.
anatofuz
parents:
diff changeset
96 if (UpperQ > UINT32_MAX)
anatofuz
parents:
diff changeset
97 return UINT64_MAX;
anatofuz
parents:
diff changeset
98
anatofuz
parents:
diff changeset
99 Rem = ((Rem % D) << 32) | Lower32;
anatofuz
parents:
diff changeset
100 uint64_t LowerQ = Rem / D;
anatofuz
parents:
diff changeset
101 uint64_t Q = (UpperQ << 32) + LowerQ;
anatofuz
parents:
diff changeset
102
anatofuz
parents:
diff changeset
103 // Check for overflow.
anatofuz
parents:
diff changeset
104 return Q < LowerQ ? UINT64_MAX : Q;
anatofuz
parents:
diff changeset
105 }
anatofuz
parents:
diff changeset
106
anatofuz
parents:
diff changeset
107 uint64_t BranchProbability::scale(uint64_t Num) const {
anatofuz
parents:
diff changeset
108 return ::scale<D>(Num, N, D);
anatofuz
parents:
diff changeset
109 }
anatofuz
parents:
diff changeset
110
anatofuz
parents:
diff changeset
111 uint64_t BranchProbability::scaleByInverse(uint64_t Num) const {
anatofuz
parents:
diff changeset
112 return ::scale<0>(Num, D, N);
anatofuz
parents:
diff changeset
113 }