summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorFangrui Song <maskray@google.com>2019-06-30 09:17:59 +0000
committerFangrui Song <maskray@google.com>2019-06-30 09:17:59 +0000
commit2d2cb77e45d4c9ca34d05f80430e0f9404252980 (patch)
tree8bc6fe45c7e019c198c1f454b5e73fec58eb703b
parent725a8a5dc43ff23640ca539b9b4c3f46bf549179 (diff)
downloadbcm5719-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.cpp8
-rw-r--r--llvm/include/llvm/ADT/STLExtras.h39
-rw-r--r--llvm/include/llvm/CodeGen/SlotIndexes.h5
-rw-r--r--llvm/unittests/ADT/STLExtrasTest.cpp12
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; }));
OpenPOWER on IntegriCloud