diff options
| author | Nuno Lopes <nunoplopes@sapo.pt> | 2012-06-28 16:10:13 +0000 |
|---|---|---|
| committer | Nuno Lopes <nunoplopes@sapo.pt> | 2012-06-28 16:10:13 +0000 |
| commit | 62d7afad8faf7a1fbbf3402f8e23ce4ece9ab108 (patch) | |
| tree | d302bbdc65dd8eef01f8d303ac87c9db93d82da1 /include/llvm/Support/ConstantRange.h | |
| parent | ceb5bc7df1a3f6b1d4a301adf30f4d0e21bbaa15 (diff) | |
add ConstantRange::difference (to perform set difference/relative complement)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159352 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include/llvm/Support/ConstantRange.h')
| -rw-r--r-- | include/llvm/Support/ConstantRange.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/include/llvm/Support/ConstantRange.h b/include/llvm/Support/ConstantRange.h index ced3a2cf2d..90dd69fa47 100644 --- a/include/llvm/Support/ConstantRange.h +++ b/include/llvm/Support/ConstantRange.h @@ -155,6 +155,10 @@ public: /// constant range. ConstantRange subtract(const APInt &CI) const; + /// \brief Subtract the specified range from this range (aka relative + /// complement of the sets). + ConstantRange difference(const ConstantRange &CR) const; + /// intersectWith - Return the range that results from the intersection of /// this range with another range. The resultant range is guaranteed to /// include all elements contained in both input ranges, and to have the |