Diego Novillo aa46024ea3 Fix information loss in branch probability computation. ... Summary: This addresses PR 22718. When branch weights are too large, they were being clamped to the range [1, MaxWeightForBB]. But this clamping is only applied to edges that go outside the range, so it distorts the relative branch probabilities. This patch changes the weight calculation to scale every branch so the relative probabilities are preserved. The scaling is done differently now. First, all the branch weights are added up, and if the sum exceeds 32 bits, it computes an integer scale to bring all the weights within the range. The patch fixes an existing test that had slightly wrong branch probabilities due to the previous clamping. It now gets branch weights scaled accordingly. Reviewers: dexonsmith Subscribers: llvm-commits Differential Revision: http://reviews.llvm.org/D9442 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@236750 91177308-0d34-0410-b5e6-96231b3b80d8		2015-05-07 17:22:06 +00:00
..
AssumptionCache	[PM] Actually add the new pass manager support for the assumption cache.	2015-01-22 21:53:09 +00:00
BasicAA	[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction	2015-04-16 23:24:18 +00:00
BlockFrequencyInfo	[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction	2015-04-16 23:24:18 +00:00
BranchProbabilityInfo	Fix information loss in branch probability computation.	2015-05-07 17:22:06 +00:00
CallGraph	[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction	2015-04-16 23:24:18 +00:00
CFLAliasAnalysis	[opaque pointer type] Add textual IR support for explicit type parameter to gep operator	2015-03-13 18:20:45 +00:00
CostModel	[X86][SSE] Avoid scalarization of v2i64 vector shifts (REAPPLIED)	2015-03-18 22:18:51 +00:00
Delinearization	Fix a type mismatch assert in SCEV division	2015-04-22 15:06:40 +00:00
DependenceAnalysis	[opaque pointer type] Add textual IR support for explicit type parameter to gep operator	2015-03-13 18:20:45 +00:00
DivergenceAnalysis/NVPTX	Divergence analysis for GPU programs	2015-04-10 05:03:50 +00:00
Dominators	[opaque pointer type] Add textual IR support for explicit type parameter to getelementptr instruction	2015-02-27 19:29:02 +00:00
GlobalsModRef	[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction	2015-04-16 23:24:18 +00:00
LazyCallGraph	[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction	2015-04-16 23:24:18 +00:00
Lint	Make llvm.eh.begincatch use an outparam	2015-03-03 17:41:09 +00:00
LoopAccessAnalysis	[getUnderlyingOjbects] Analyze loop PHIs further to remove false positives	2015-04-23 20:09:20 +00:00
LoopInfo	[PM] Port LoopInfo to the new pass manager, adding both a LoopAnalysis	2015-01-20 10:58:50 +00:00
MemoryDependenceAnalysis	[opaque pointer type] Add textual IR support for explicit type parameter to load instruction	2015-02-27 21:17:42 +00:00
PostDominators	FileCheck-ize tests.	2013-08-22 00:51:19 +00:00
RegionInfo	[tests] Cleanup initialization of test suffixes.	2013-08-16 00:37:11 +00:00
ScalarEvolution	[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction	2015-04-16 23:24:18 +00:00
ScopedNoAliasAA	[opaque pointer type] Add textual IR support for explicit type parameter to load instruction	2015-02-27 21:17:42 +00:00
TypeBasedAliasAnalysis	[opaque pointer type] Add textual IR support for explicit type parameter to gep operator	2015-03-13 18:20:45 +00:00
ValueTracking	[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction	2015-04-16 23:24:18 +00:00