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

[Nikita Popov via llvm-commits]

================
@@ -149,3 +149,105 @@ for.cond:                                         ; preds = %for.body, %entry
 for.end:                                          ; preds = %for.cond
   ret void
 }
+
+ at h = global i64 0
+
+; TODO: Currently we generate SCEV check code for the same predicate twice.
----------------
nikic wrote:

Drop TODO.

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