[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