[llvm-commits] [llvm] r75414 - /llvm/trunk/include/llvm/Support/ConstantRange.h

[Duncan Sands]

Hi Nick,

> +  /// Solves for range X in 'for all x in X, there exists a y in Y such that
> +  /// icmp op x, y is true'. Every value that might make the comparison true
> +  /// is included in the resulting range.

thanks for doing this.  It's still not that clear IMHO.  Is X the
result of the call, and is Y the same as Other?  Presumably "op" is
Pred :)  Also, what does "Every value that might make the comparison
true is included in the resulting range" mean?  Presumably you mean:
X is maximal with this property.  Is that right?

Ciao,

Duncan.