[PATCH] D39286: [SCEV][NFC] Introduce isSignedDivisorOf function in SCEV

Sanjoy Das via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Thu Oct 26 14:02:19 PDT 2017


sanjoy added a comment.

Hi Max,

Do you mind giving an overview of how you're going to use this?



================
Comment at: include/llvm/Analysis/ScalarEvolution.h:685
 
+  // Returns true of S provably divides by Divisor without remainder. The answer
+  // is conservative: if we fail to prove the divisibility, the answer is false.
----------------
s/provably divides/provably signed divides/


https://reviews.llvm.org/D39286





More information about the llvm-commits mailing list