LLVM 22.0.0git
BranchProbability.h
Go to the documentation of this file.
1//===- BranchProbability.h - Branch Probability Wrapper ---------*- C++ -*-===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// Definition of BranchProbability shared by IR and Machine Instructions.
10//
11//===----------------------------------------------------------------------===//
12
13#ifndef LLVM_SUPPORT_BRANCHPROBABILITY_H
14#define LLVM_SUPPORT_BRANCHPROBABILITY_H
15
16#include "llvm/ADT/ADL.h"
19#include <algorithm>
20#include <cassert>
21#include <iterator>
22#include <numeric>
23
24namespace llvm {
25
26class raw_ostream;
27
28// This class represents Branch Probability as a non-negative fraction that is
29// no greater than 1. It uses a fixed-point-like implementation, in which the
30// denominator is always a constant value (here we use 1<<31 for maximum
31// precision).
32class BranchProbability {
33 // Numerator
34 uint32_t N;
35
36 // Denominator, which is a constant value.
37 static constexpr uint32_t D = 1u << 31;
38 static constexpr uint32_t UnknownN = UINT32_MAX;
39
40 // Construct a BranchProbability with only numerator assuming the denominator
41 // is 1<<31. For internal use only.
42 explicit BranchProbability(uint32_t n) : N(n) {}
43
44public:
45 BranchProbability() : N(UnknownN) {}
46 LLVM_ABI BranchProbability(uint32_t Numerator, uint32_t Denominator);
47
48 bool isZero() const { return N == 0; }
49 bool isUnknown() const { return N == UnknownN; }
50
51 static BranchProbability getZero() { return BranchProbability(0); }
52 static BranchProbability getOne() { return BranchProbability(D); }
53 static BranchProbability getUnknown() { return BranchProbability(UnknownN); }
54 // Create a BranchProbability object with the given numerator and 1<<31
55 // as denominator.
56 static BranchProbability getRaw(uint32_t N) { return BranchProbability(N); }
57 // Create a BranchProbability object from 64-bit integers.
59 uint64_t Denominator);
60 // Create a BranchProbability from a double, which must be from 0 to 1.
62
63 // Normalize given probabilties so that the sum of them becomes approximate
64 // one.
65 template <class ProbabilityIter>
66 static void normalizeProbabilities(ProbabilityIter Begin,
67 ProbabilityIter End);
68
69 template <class ProbabilityContainer>
70 static void normalizeProbabilities(ProbabilityContainer &&R) {
72 }
73
74 uint32_t getNumerator() const { return N; }
75 static uint32_t getDenominator() { return D; }
76 double toDouble() const { return static_cast<double>(N) / D; }
77
78 // Return (1 - Probability).
79 BranchProbability getCompl() const { return BranchProbability(D - N); }
80
82
83#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
84 LLVM_DUMP_METHOD void dump() const;
85#endif
86
87 /// Scale a large integer.
88 ///
89 /// Scales \c Num. Guarantees full precision. Returns the floor of the
90 /// result.
91 ///
92 /// \return \c Num times \c this.
94
95 /// Scale a large integer by the inverse.
96 ///
97 /// Scales \c Num by the inverse of \c this. Guarantees full precision.
98 /// Returns the floor of the result.
99 ///
100 /// \return \c Num divided by \c this.
102
103 /// Compute pow(Probability, N).
104 BranchProbability pow(unsigned N) const;
105
106 BranchProbability &operator+=(BranchProbability RHS) {
107 assert(N != UnknownN && RHS.N != UnknownN &&
108 "Unknown probability cannot participate in arithmetics.");
109 // Saturate the result in case of overflow.
110 N = (uint64_t(N) + RHS.N > D) ? D : N + RHS.N;
111 return *this;
112 }
113
114 BranchProbability &operator-=(BranchProbability RHS) {
115 assert(N != UnknownN && RHS.N != UnknownN &&
116 "Unknown probability cannot participate in arithmetics.");
117 // Saturate the result in case of underflow.
118 N = N < RHS.N ? 0 : N - RHS.N;
119 return *this;
120 }
121
122 BranchProbability &operator*=(BranchProbability RHS) {
123 assert(N != UnknownN && RHS.N != UnknownN &&
124 "Unknown probability cannot participate in arithmetics.");
125 N = (static_cast<uint64_t>(N) * RHS.N + D / 2) / D;
126 return *this;
127 }
128
129 BranchProbability &operator*=(uint32_t RHS) {
130 assert(N != UnknownN &&
131 "Unknown probability cannot participate in arithmetics.");
132 N = (uint64_t(N) * RHS > D) ? D : N * RHS;
133 return *this;
134 }
135
136 BranchProbability &operator/=(BranchProbability RHS) {
137 assert(N != UnknownN && RHS.N != UnknownN &&
138 "Unknown probability cannot participate in arithmetics.");
139 N = (static_cast<uint64_t>(N) * D + RHS.N / 2) / RHS.N;
140 return *this;
141 }
142
143 BranchProbability &operator/=(uint32_t RHS) {
144 assert(N != UnknownN &&
145 "Unknown probability cannot participate in arithmetics.");
146 assert(RHS > 0 && "The divider cannot be zero.");
147 N /= RHS;
148 return *this;
149 }
150
151 BranchProbability operator+(BranchProbability RHS) const {
152 BranchProbability Prob(*this);
153 Prob += RHS;
154 return Prob;
155 }
156
157 BranchProbability operator-(BranchProbability RHS) const {
158 BranchProbability Prob(*this);
159 Prob -= RHS;
160 return Prob;
161 }
162
163 BranchProbability operator*(BranchProbability RHS) const {
164 BranchProbability Prob(*this);
165 Prob *= RHS;
166 return Prob;
167 }
168
169 BranchProbability operator*(uint32_t RHS) const {
170 BranchProbability Prob(*this);
171 Prob *= RHS;
172 return Prob;
173 }
174
175 BranchProbability operator/(BranchProbability RHS) const {
176 BranchProbability Prob(*this);
177 Prob /= RHS;
178 return Prob;
179 }
180
181 BranchProbability operator/(uint32_t RHS) const {
182 BranchProbability Prob(*this);
183 Prob /= RHS;
184 return Prob;
185 }
186
187 bool operator==(BranchProbability RHS) const { return N == RHS.N; }
188 bool operator!=(BranchProbability RHS) const { return !(*this == RHS); }
189
190 bool operator<(BranchProbability RHS) const {
191 assert(N != UnknownN && RHS.N != UnknownN &&
192 "Unknown probability cannot participate in comparisons.");
193 return N < RHS.N;
194 }
195
196 bool operator>(BranchProbability RHS) const {
197 assert(N != UnknownN && RHS.N != UnknownN &&
198 "Unknown probability cannot participate in comparisons.");
199 return RHS < *this;
200 }
201
202 bool operator<=(BranchProbability RHS) const {
203 assert(N != UnknownN && RHS.N != UnknownN &&
204 "Unknown probability cannot participate in comparisons.");
205 return !(RHS < *this);
206 }
207
208 bool operator>=(BranchProbability RHS) const {
209 assert(N != UnknownN && RHS.N != UnknownN &&
210 "Unknown probability cannot participate in comparisons.");
211 return !(*this < RHS);
212 }
213};
214
216 return Prob.print(OS);
217}
218
219template <class ProbabilityIter>
221 ProbabilityIter End) {
222 if (Begin == End)
223 return;
224
225 unsigned UnknownProbCount = 0;
226 uint64_t Sum = std::accumulate(Begin, End, uint64_t(0),
227 [&](uint64_t S, const BranchProbability &BP) {
228 if (!BP.isUnknown())
229 return S + BP.N;
230 UnknownProbCount++;
231 return S;
232 });
233
234 if (UnknownProbCount > 0) {
235 BranchProbability ProbForUnknown = BranchProbability::getZero();
236 // If the sum of all known probabilities is less than one, evenly distribute
237 // the complement of sum to unknown probabilities. Otherwise, set unknown
238 // probabilities to zeros and continue to normalize known probabilities.
240 ProbForUnknown = BranchProbability::getRaw(
241 (BranchProbability::getDenominator() - Sum) / UnknownProbCount);
242
243 std::replace_if(Begin, End,
244 [](const BranchProbability &BP) { return BP.isUnknown(); },
245 ProbForUnknown);
246
248 return;
249 }
250
251 if (Sum == 0) {
252 BranchProbability BP(1, std::distance(Begin, End));
253 std::fill(Begin, End, BP);
254 return;
255 }
256
257 for (auto I = Begin; I != End; ++I)
258 I->N = (I->N * uint64_t(D) + Sum / 2) / Sum;
259}
260
261}
262
263#endif
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
#define LLVM_ABI
Definition Compiler.h:213
#define LLVM_DUMP_METHOD
Mark debug helper function definitions like dump() that should not be stripped from debug builds.
Definition Compiler.h:638
#define I(x, y, z)
Definition MD5.cpp:57
Value * RHS
LLVM_DUMP_METHOD void dump() const
static LLVM_ABI BranchProbability getBranchProbability(uint64_t Numerator, uint64_t Denominator)
BranchProbability operator-(BranchProbability RHS) const
BranchProbability & operator-=(BranchProbability RHS)
static uint32_t getDenominator()
bool operator<(BranchProbability RHS) const
bool operator!=(BranchProbability RHS) const
static BranchProbability getRaw(uint32_t N)
bool operator==(BranchProbability RHS) const
BranchProbability operator/(uint32_t RHS) const
BranchProbability & operator/=(BranchProbability RHS)
BranchProbability pow(unsigned N) const
Compute pow(Probability, N).
bool operator<=(BranchProbability RHS) const
static BranchProbability getOne()
LLVM_ABI raw_ostream & print(raw_ostream &OS) const
BranchProbability & operator*=(BranchProbability RHS)
LLVM_ABI uint64_t scaleByInverse(uint64_t Num) const
Scale a large integer by the inverse.
BranchProbability operator*(BranchProbability RHS) const
static BranchProbability getUnknown()
BranchProbability operator/(BranchProbability RHS) const
uint32_t getNumerator() const
LLVM_ABI uint64_t scale(uint64_t Num) const
Scale a large integer.
static void normalizeProbabilities(ProbabilityContainer &&R)
BranchProbability operator+(BranchProbability RHS) const
bool operator>=(BranchProbability RHS) const
BranchProbability operator*(uint32_t RHS) const
BranchProbability & operator*=(uint32_t RHS)
BranchProbability getCompl() const
BranchProbability & operator+=(BranchProbability RHS)
BranchProbability & operator/=(uint32_t RHS)
static BranchProbability getZero()
bool operator>(BranchProbability RHS) const
static void normalizeProbabilities(ProbabilityIter Begin, ProbabilityIter End)
This class implements an extremely fast bulk output stream that can only output to a stream.
Definition raw_ostream.h:53
This is an optimization pass for GlobalISel generic memory operations.
constexpr auto adl_begin(RangeT &&range) -> decltype(adl_detail::begin_impl(std::forward< RangeT >(range)))
Returns the begin iterator to range using std::begin and function found through Argument-Dependent Lo...
Definition ADL.h:78
constexpr auto adl_end(RangeT &&range) -> decltype(adl_detail::end_impl(std::forward< RangeT >(range)))
Returns the end iterator to range using std::end and functions found through Argument-Dependent Looku...
Definition ADL.h:86
raw_ostream & operator<<(raw_ostream &OS, const APFixedPoint &FX)
#define N