going over the text!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@75414
91177308-0d34-0410-b5e6-
96231b3b80d8
/// makeICmpRegion - Produce the smallest range that contains all values that
/// might satisfy the comparison specified by Pred when compared to any value
/// contained within Other.
/// makeICmpRegion - Produce the smallest range that contains all values that
/// might satisfy the comparison specified by Pred when compared to any value
/// contained within Other.
+ ///
+ /// 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.
static ConstantRange makeICmpRegion(unsigned Pred,
const ConstantRange &Other);
static ConstantRange makeICmpRegion(unsigned Pred,
const ConstantRange &Other);