[PATCH] D88015: [SCEV] Support unsigned predicates in isKnownPredicateViaNoOverflow
Roman Lebedev via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Mon Sep 21 04:32:42 PDT 2020
lebedev.ri added a comment.
What about swapped cases, like `(X + C)<nuw> u<= X`?
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D88015/new/
https://reviews.llvm.org/D88015
More information about the llvm-commits
mailing list