[llvm] [SCEV] Don't add predicates already implied by UnionPredicate. (PR #93397)

[Nikita Popov via llvm-commits]

nikic wrote:

> Note that there exists logic elsewhere to avoid adding predicates if
> they are already implied, but this logic misses cases when only some
> predicates of a union predicate are implied by the current set of
> predicates.

Where is that logic?

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