xref: /llvm-project/libc/test/src/stdlib/bsearch_test.cpp (revision 33bdb53d864e3e244d8fd5649062f17b7d4c958d)
132a50078SSiva Chandra Reddy //===-- Unittests for bsearch ---------------------------------------------===//
232a50078SSiva Chandra Reddy //
332a50078SSiva Chandra Reddy // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
432a50078SSiva Chandra Reddy // See https://llvm.org/LICENSE.txt for license information.
532a50078SSiva Chandra Reddy // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
632a50078SSiva Chandra Reddy //
732a50078SSiva Chandra Reddy //===----------------------------------------------------------------------===//
832a50078SSiva Chandra Reddy 
932a50078SSiva Chandra Reddy #include "src/stdlib/bsearch.h"
1032a50078SSiva Chandra Reddy 
11af1315c2SSiva Chandra Reddy #include "test/UnitTest/Test.h"
1232a50078SSiva Chandra Reddy 
13*33bdb53dSJob Henandez Lara #include "hdr/types/size_t.h"
1432a50078SSiva Chandra Reddy 
1532a50078SSiva Chandra Reddy static int int_compare(const void *l, const void *r) {
1632a50078SSiva Chandra Reddy   int li = *reinterpret_cast<const int *>(l);
1732a50078SSiva Chandra Reddy   int ri = *reinterpret_cast<const int *>(r);
1832a50078SSiva Chandra Reddy   if (li == ri)
1932a50078SSiva Chandra Reddy     return 0;
2032a50078SSiva Chandra Reddy   else if (li > ri)
2132a50078SSiva Chandra Reddy     return 1;
2232a50078SSiva Chandra Reddy   else
2332a50078SSiva Chandra Reddy     return -1;
2432a50078SSiva Chandra Reddy }
2532a50078SSiva Chandra Reddy 
2632a50078SSiva Chandra Reddy TEST(LlvmLibcBsearchTest, ErrorInputs) {
2732a50078SSiva Chandra Reddy   int val = 123;
28b6bc9d72SGuillaume Chatelet   EXPECT_TRUE(LIBC_NAMESPACE::bsearch(nullptr, &val, 1, sizeof(int),
2932a50078SSiva Chandra Reddy                                       int_compare) == nullptr);
30b6bc9d72SGuillaume Chatelet   EXPECT_TRUE(LIBC_NAMESPACE::bsearch(&val, nullptr, 1, sizeof(int),
3132a50078SSiva Chandra Reddy                                       int_compare) == nullptr);
32b6bc9d72SGuillaume Chatelet   EXPECT_TRUE(LIBC_NAMESPACE::bsearch(&val, &val, 0, sizeof(int),
33b6bc9d72SGuillaume Chatelet                                       int_compare) == nullptr);
34b6bc9d72SGuillaume Chatelet   EXPECT_TRUE(LIBC_NAMESPACE::bsearch(&val, &val, 1, 0, int_compare) ==
3532a50078SSiva Chandra Reddy               nullptr);
3632a50078SSiva Chandra Reddy }
3732a50078SSiva Chandra Reddy 
3832a50078SSiva Chandra Reddy TEST(LlvmLibcBsearchTest, IntegerArray) {
3925226f3eSMichael Jones   constexpr int ARRAY[25] = {10,   23,   33,    35,   55,   70,   71,
4032a50078SSiva Chandra Reddy                              100,  110,  123,   133,  135,  155,  170,
4132a50078SSiva Chandra Reddy                              171,  1100, 1110,  1123, 1133, 1135, 1155,
4232a50078SSiva Chandra Reddy                              1170, 1171, 11100, 12310};
4325226f3eSMichael Jones   constexpr size_t ARRAY_SIZE = sizeof(ARRAY) / sizeof(int);
4432a50078SSiva Chandra Reddy 
4525226f3eSMichael Jones   for (size_t s = 1; s <= ARRAY_SIZE; ++s) {
4632a50078SSiva Chandra Reddy     for (size_t i = 0; i < s; ++i) {
4725226f3eSMichael Jones       int key = ARRAY[i];
4832a50078SSiva Chandra Reddy       void *elem =
49b6bc9d72SGuillaume Chatelet           LIBC_NAMESPACE::bsearch(&key, ARRAY, s, sizeof(int), int_compare);
5032a50078SSiva Chandra Reddy       ASSERT_EQ(*reinterpret_cast<int *>(elem), key);
5132a50078SSiva Chandra Reddy     }
5232a50078SSiva Chandra Reddy   }
5332a50078SSiva Chandra Reddy 
5432a50078SSiva Chandra Reddy   // Non existent keys
5525226f3eSMichael Jones   for (size_t s = 1; s <= ARRAY_SIZE; ++s) {
5632a50078SSiva Chandra Reddy     int key = 5;
57b6bc9d72SGuillaume Chatelet     ASSERT_TRUE(LIBC_NAMESPACE::bsearch(&key, &ARRAY, s, sizeof(int),
5832a50078SSiva Chandra Reddy                                         int_compare) == nullptr);
5932a50078SSiva Chandra Reddy 
6032a50078SSiva Chandra Reddy     key = 125;
61b6bc9d72SGuillaume Chatelet     ASSERT_TRUE(LIBC_NAMESPACE::bsearch(&key, &ARRAY, s, sizeof(int),
6232a50078SSiva Chandra Reddy                                         int_compare) == nullptr);
6332a50078SSiva Chandra Reddy 
6432a50078SSiva Chandra Reddy     key = 136;
65b6bc9d72SGuillaume Chatelet     ASSERT_TRUE(LIBC_NAMESPACE::bsearch(&key, &ARRAY, s, sizeof(int),
6632a50078SSiva Chandra Reddy                                         int_compare) == nullptr);
6732a50078SSiva Chandra Reddy     key = 12345;
68b6bc9d72SGuillaume Chatelet     ASSERT_TRUE(LIBC_NAMESPACE::bsearch(&key, &ARRAY, s, sizeof(int),
6932a50078SSiva Chandra Reddy                                         int_compare) == nullptr);
7032a50078SSiva Chandra Reddy   }
7132a50078SSiva Chandra Reddy }
7232a50078SSiva Chandra Reddy 
7332a50078SSiva Chandra Reddy TEST(LlvmLibcBsearchTest, SameKeyAndArray) {
7425226f3eSMichael Jones   constexpr int ARRAY[5] = {1, 2, 3, 4, 5};
7525226f3eSMichael Jones   constexpr size_t ARRAY_SIZE = sizeof(ARRAY) / sizeof(int);
76b6bc9d72SGuillaume Chatelet   void *elem = LIBC_NAMESPACE::bsearch(ARRAY, ARRAY, ARRAY_SIZE, sizeof(int),
77b6bc9d72SGuillaume Chatelet                                        int_compare);
7825226f3eSMichael Jones   EXPECT_EQ(*reinterpret_cast<int *>(elem), ARRAY[0]);
7932a50078SSiva Chandra Reddy }
80