llvm/Analysis at f59da46fd7f0cc1e4e132ef60747cc4548564739 - llvm

RPCSX/llvm

mirror of https://github.com/RPCSX/llvm.git synced 2025-02-26 16:05:54 +00:00

History

James Molloy f59da46fd7 [ValueTracking] Understand more select patterns in ComputeKnownBits

Some patterns of select+compare allow us to know exactly the value of the uppermost bits in the select result. For example:

  %b = icmp ugt i32 %a, 5
  %c = select i1 %b, i32 2, i32 %a

Here we know that %c is bounded by 5, and therefore KnownZero = ~APInt(5).getActiveBits() = ~7.

There are several such patterns, and this patch attempts to understand a reasonable subset of them - namely when the base values are the same (as above), and when they are related by a simple (add nsw), for example (add nsw %a, 4) and %a.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@257769 91177308-0d34-0410-b5e6-96231b3b80d8

2016-01-14 15:23:19 +00:00

AssumptionCache

…

BasicAA

[BasicAA] Remove special casing of memset_pattern16 in favor of generic attribute inference

2016-01-06 04:53:16 +00:00

BlockFrequencyInfo

Use getEdgeProbability() instead of getEdgeWeight() in BFI and remove getEdgeWeight() interfaces from MBPI.

2015-12-18 21:53:24 +00:00

BranchProbabilityInfo

[BPI] Replace weights by probabilities in BPI.

2015-12-22 18:56:14 +00:00