[llvm] [SCEV] Strip stub known-false WrapPred check (PR #225086)

Florian Hahn via llvm-commits llvm-commits at lists.llvm.org
Tue Sep 22 08:55:01 PDT 2026


https://github.com/fhahn commented:

> Users of SCEV that use these predicates for runtime-checks already use much more sophisticated analysis techniques to reduce the emitted checks. 

I am not sure this is true; there is no SCEV check w/o the patch, so presumably the logic here managed to prove the predicate is not needed?

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


More information about the llvm-commits mailing list