search for: isknownnonpositive

...length is always positive. Unfortunately, the LLVM IR tell us nothing about the unsignedness of length, and SCEV ends up making a useless conservative estimate. Is there some way around this? Secondly, I'm currently comparing A and B by creating an SCEV for (A - B) and then checking isZero, isKnownNonPositive etc. Is this a good idea? Thanks! [1] https://github.com/sanjoy/llvm/tree/lda -- Sanjoy Das http://playingwithpointers.com

Working on a dependence test, I wrote some code that looked like this: const SCEV *delta = ...; bool deltaMaybeZero = !SE->isKnownNonZero(delta); bool deltaMaybePositive = !SE->isKnownNonPositive(delta); bool deltaMaybeNegative = !SE->isKnownNonNegative(delta); I'm really happy with the power of the SCEVs, letting me answer these questions, but I'm unhappy with how the code reads, namely the double negatives. Perhaps we might introduce a handful of new methods, things like...