[PATCH] D110517: [SCEV] Prove implication of predicates to their sign-flipped counterparts
Max Kazantsev via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Thu Oct 14 20:57:36 PDT 2021
mkazantsev added inline comments.
================
Comment at: llvm/lib/Analysis/ScalarEvolution.cpp:10795
+ assert((ICmpInst::isLT(CanonicalPred) || ICmpInst::isLE(CanonicalPred)) &&
+ "Must be!");
+ assert((ICmpInst::isLT(CanonicalFoundPred) ||
----------------
nikic wrote:
> Is this malicious compliance? ^^
It's full-scaled paranoia! :)
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D110517/new/
https://reviews.llvm.org/D110517
More information about the llvm-commits
mailing list