diff options
author | Fangrui Song <maskray@google.com> | 2019-06-30 09:17:59 +0000 |
---|---|---|
committer | Fangrui Song <maskray@google.com> | 2019-06-30 09:17:59 +0000 |
commit | 2d2cb77e45d4c9ca34d05f80430e0f9404252980 (patch) | |
tree | 8bc6fe45c7e019c198c1f454b5e73fec58eb703b | |
parent | 725a8a5dc43ff23640ca539b9b4c3f46bf549179 (diff) | |
download | bcm5719-llvm-2d2cb77e45d4c9ca34d05f80430e0f9404252980.tar.gz bcm5719-llvm-2d2cb77e45d4c9ca34d05f80430e0f9404252980.zip |
[ADT] Implement llvm::bsearch() with std::partition_point()
Summary:
Delete the begin-end form because the standard std::partition_point
can be easily used as a replacement.
The ranges-style llvm::bsearch will be renamed to llvm::partition_point
in the next clean-up patch.
The name "bsearch" doesn't meet people's expectation because in C:
> If two or more members compare equal, which member is returned is unspecified.
Reviewed By: sammccall
Differential Revision: https://reviews.llvm.org/D63718
llvm-svn: 364719
-rw-r--r-- | clang-tools-extra/clangd/index/dex/PostingList.cpp | 8 | ||||
-rw-r--r-- | llvm/include/llvm/ADT/STLExtras.h | 39 | ||||
-rw-r--r-- | llvm/include/llvm/CodeGen/SlotIndexes.h | 5 | ||||
-rw-r--r-- | llvm/unittests/ADT/STLExtrasTest.cpp | 12 |
4 files changed, 11 insertions, 53 deletions
diff --git a/clang-tools-extra/clangd/index/dex/PostingList.cpp b/clang-tools-extra/clangd/index/dex/PostingList.cpp index 67ed070a66a..99a50d557e3 100644 --- a/clang-tools-extra/clangd/index/dex/PostingList.cpp +++ b/clang-tools-extra/clangd/index/dex/PostingList.cpp @@ -50,8 +50,8 @@ public: return; advanceToChunk(ID); // Try to find ID within current chunk. - CurrentID = llvm::bsearch(CurrentID, DecompressedChunk.end(), - [&](const DocID D) { return D >= ID; }); + CurrentID = std::partition_point(CurrentID, DecompressedChunk.end(), + [&](const DocID D) { return D < ID; }); normalizeCursor(); } @@ -103,8 +103,8 @@ private: if ((CurrentChunk != Chunks.end() - 1) && ((CurrentChunk + 1)->Head <= ID)) { CurrentChunk = - llvm::bsearch(CurrentChunk + 1, Chunks.end(), - [&](const Chunk &C) { return C.Head >= ID; }); + std::partition_point(CurrentChunk + 1, Chunks.end(), + [&](const Chunk &C) { return C.Head < ID; }); --CurrentChunk; DecompressedChunk = CurrentChunk->decompress(); CurrentID = DecompressedChunk.begin(); diff --git a/llvm/include/llvm/ADT/STLExtras.h b/llvm/include/llvm/ADT/STLExtras.h index de82f2bce7f..4ce2e9fb72a 100644 --- a/llvm/include/llvm/ADT/STLExtras.h +++ b/llvm/include/llvm/ADT/STLExtras.h @@ -1322,44 +1322,13 @@ void stable_sort(R &&Range, Compare C) { std::stable_sort(adl_begin(Range), adl_end(Range), C); } -/// Binary search for the first index where a predicate is true. -/// Returns the first I in [Lo, Hi) where C(I) is true, or Hi if it never is. -/// Requires that C is always false below some limit, and always true above it. -/// -/// Example: -/// size_t DawnModernEra = bsearch(1776, 2050, [](size_t Year){ -/// return Presidents.for(Year).twitterHandle() != None; -/// }); -/// -/// Note the return value differs from std::binary_search! -template <typename Predicate> -size_t bsearch(size_t Lo, size_t Hi, Predicate P) { - while (Lo != Hi) { - assert(Hi > Lo); - size_t Mid = Lo + (Hi - Lo) / 2; - if (P(Mid)) - Hi = Mid; - else - Lo = Mid + 1; - } - return Hi; -} - -/// Binary search for the first iterator where a predicate is true. -/// Returns the first I in [Lo, Hi) where C(*I) is true, or Hi if it never is. -/// Requires that C is always false below some limit, and always true above it. -template <typename It, typename Predicate, - typename Val = decltype(*std::declval<It>())> -It bsearch(It Lo, It Hi, Predicate P) { - return std::lower_bound(Lo, Hi, 0u, - [&](const Val &V, unsigned) { return !P(V); }); -} - /// Binary search for the first iterator in a range where a predicate is true. /// Requires that C is always false below some limit, and always true above it. -template <typename R, typename Predicate> +template <typename R, typename Predicate, + typename Val = decltype(*adl_begin(std::declval<R>()))> auto bsearch(R &&Range, Predicate P) -> decltype(adl_begin(Range)) { - return bsearch(adl_begin(Range), adl_end(Range), P); + return std::partition_point(adl_begin(Range), adl_end(Range), + [&](const Val &V) { return !P(V); }); } /// Wrapper function around std::equal to detect if all elements diff --git a/llvm/include/llvm/CodeGen/SlotIndexes.h b/llvm/include/llvm/CodeGen/SlotIndexes.h index 2c86930405b..10ab4cca831 100644 --- a/llvm/include/llvm/CodeGen/SlotIndexes.h +++ b/llvm/include/llvm/CodeGen/SlotIndexes.h @@ -492,8 +492,9 @@ class raw_ostream; /// Move iterator to the next IdxMBBPair where the SlotIndex is greater or /// equal to \p To. MBBIndexIterator advanceMBBIndex(MBBIndexIterator I, SlotIndex To) const { - return llvm::bsearch(I, idx2MBBMap.end(), - [=](const IdxMBBPair &IM) { return To <= IM.first; }); + return std::partition_point( + I, idx2MBBMap.end(), + [=](const IdxMBBPair &IM) { return IM.first < To; }); } /// Get an iterator pointing to the IdxMBBPair with the biggest SlotIndex diff --git a/llvm/unittests/ADT/STLExtrasTest.cpp b/llvm/unittests/ADT/STLExtrasTest.cpp index 456ad282447..ebb8c9f6f5d 100644 --- a/llvm/unittests/ADT/STLExtrasTest.cpp +++ b/llvm/unittests/ADT/STLExtrasTest.cpp @@ -470,19 +470,7 @@ TEST(STLExtrasTest, to_address) { } TEST(STLExtrasTest, bsearch) { - // Integer version. - EXPECT_EQ(7u, bsearch(5, 10, [](unsigned X) { return X >= 7; })); - EXPECT_EQ(5u, bsearch(5, 10, [](unsigned X) { return X >= 1; })); - EXPECT_EQ(10u, bsearch(5, 10, [](unsigned X) { return X >= 50; })); - - // Iterator version. std::vector<int> V = {1, 3, 5, 7, 9}; - EXPECT_EQ(V.begin() + 3, - bsearch(V.begin(), V.end(), [](unsigned X) { return X >= 7; })); - EXPECT_EQ(V.begin(), - bsearch(V.begin(), V.end(), [](unsigned X) { return X >= 1; })); - EXPECT_EQ(V.end(), - bsearch(V.begin(), V.end(), [](unsigned X) { return X >= 50; })); // Range version. EXPECT_EQ(V.begin() + 3, bsearch(V, [](unsigned X) { return X >= 7; })); |