[llvm] [PredicateInfo][SCCP] Handle switch comprehensively (PR #165258)

[Kunqiu Chen via llvm-commits]

Camsyn wrote:

Another feature: should we model the OR-chain of PredicateInfo, which brings extra complexity to `PredicateInfo`?

E.g., 
```cpp
int a = ...;
if ( a < 0 || a >= 10) {
  // If we support OR-chained Predicate Info, we can derive that a ∈ [10, 0) in this branch.
}
```



https://github.com/llvm/llvm-project/pull/165258