[llvm-commits] [llvm] r75357 - in /llvm/trunk: include/llvm/Support/ConstantRange.h lib/Support/ConstantRange.cpp lib/Transforms/Scalar/PredicateSimplifier.cpp

[Duncan Sands]

Hi Nick,

> Your proposed function may also be useful (and certainly has more 
> obvious behaviour to explain!) but the two can't be implemented in terms 
> of each other.
> 
> The existing one solves for range X in 'for all x in X, there exists a y 
> in Y such that icmp op x, y is true'.

you really really should provide this definition in the comment!  Now
that I understand what makeICmpRegion does, I of course agree that it
can't be constructed from the other method I suggested.

Ciao,

Duncan.