search for: deltamaybepositive

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 o...