From 7ab2eb4a803405e84e96ec00a0010a05b81bb2d7 Mon Sep 17 00:00:00 2001 From: Nick Lewycky Date: Sun, 12 Jul 2009 05:44:08 +0000 Subject: [PATCH] Make this clearer for the mathematically inclined. Thanks to Duncan Sands for going over the text! git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@75414 91177308-0d34-0410-b5e6-96231b3b80d8 --- include/llvm/Support/ConstantRange.h | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/include/llvm/Support/ConstantRange.h b/include/llvm/Support/ConstantRange.h index 64019ca3a7b..cbf3f87a354 100644 --- a/include/llvm/Support/ConstantRange.h +++ b/include/llvm/Support/ConstantRange.h @@ -61,6 +61,10 @@ public: /// 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); -- 2.34.1