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 
1132a50078SSiva Chandra Reddy #include "utils/UnitTest/Test.h"
1232a50078SSiva Chandra Reddy 
1332a50078SSiva Chandra Reddy #include <stdlib.h>
1432a50078SSiva Chandra Reddy 
int_compare(const void * l,const void * r)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 
TEST(LlvmLibcBsearchTest,ErrorInputs)2632a50078SSiva Chandra Reddy TEST(LlvmLibcBsearchTest, ErrorInputs) {
2732a50078SSiva Chandra Reddy   int val = 123;
2832a50078SSiva Chandra Reddy   EXPECT_TRUE(__llvm_libc::bsearch(nullptr, &val, 1, sizeof(int),
2932a50078SSiva Chandra Reddy                                    int_compare) == nullptr);
3032a50078SSiva Chandra Reddy   EXPECT_TRUE(__llvm_libc::bsearch(&val, nullptr, 1, sizeof(int),
3132a50078SSiva Chandra Reddy                                    int_compare) == nullptr);
3232a50078SSiva Chandra Reddy   EXPECT_TRUE(__llvm_libc::bsearch(&val, &val, 0, sizeof(int), int_compare) ==
3332a50078SSiva Chandra Reddy               nullptr);
3432a50078SSiva Chandra Reddy   EXPECT_TRUE(__llvm_libc::bsearch(&val, &val, 1, 0, int_compare) == nullptr);
3532a50078SSiva Chandra Reddy }
3632a50078SSiva Chandra Reddy 
TEST(LlvmLibcBsearchTest,IntegerArray)3732a50078SSiva Chandra Reddy TEST(LlvmLibcBsearchTest, IntegerArray) {
38*25226f3eSMichael Jones   constexpr int ARRAY[25] = {10,   23,   33,    35,   55,   70,   71,
3932a50078SSiva Chandra Reddy                              100,  110,  123,   133,  135,  155,  170,
4032a50078SSiva Chandra Reddy                              171,  1100, 1110,  1123, 1133, 1135, 1155,
4132a50078SSiva Chandra Reddy                              1170, 1171, 11100, 12310};
42*25226f3eSMichael Jones   constexpr size_t ARRAY_SIZE = sizeof(ARRAY) / sizeof(int);
4332a50078SSiva Chandra Reddy 
44*25226f3eSMichael Jones   for (size_t s = 1; s <= ARRAY_SIZE; ++s) {
4532a50078SSiva Chandra Reddy     for (size_t i = 0; i < s; ++i) {
46*25226f3eSMichael Jones       int key = ARRAY[i];
4732a50078SSiva Chandra Reddy       void *elem =
48*25226f3eSMichael Jones           __llvm_libc::bsearch(&key, ARRAY, s, sizeof(int), int_compare);
4932a50078SSiva Chandra Reddy       ASSERT_EQ(*reinterpret_cast<int *>(elem), key);
5032a50078SSiva Chandra Reddy     }
5132a50078SSiva Chandra Reddy   }
5232a50078SSiva Chandra Reddy 
5332a50078SSiva Chandra Reddy   // Non existent keys
54*25226f3eSMichael Jones   for (size_t s = 1; s <= ARRAY_SIZE; ++s) {
5532a50078SSiva Chandra Reddy     int key = 5;
56*25226f3eSMichael Jones     ASSERT_TRUE(__llvm_libc::bsearch(&key, &ARRAY, s, sizeof(int),
5732a50078SSiva Chandra Reddy                                      int_compare) == nullptr);
5832a50078SSiva Chandra Reddy 
5932a50078SSiva Chandra Reddy     key = 125;
60*25226f3eSMichael Jones     ASSERT_TRUE(__llvm_libc::bsearch(&key, &ARRAY, s, sizeof(int),
6132a50078SSiva Chandra Reddy                                      int_compare) == nullptr);
6232a50078SSiva Chandra Reddy 
6332a50078SSiva Chandra Reddy     key = 136;
64*25226f3eSMichael Jones     ASSERT_TRUE(__llvm_libc::bsearch(&key, &ARRAY, s, sizeof(int),
6532a50078SSiva Chandra Reddy                                      int_compare) == nullptr);
6632a50078SSiva Chandra Reddy     key = 12345;
67*25226f3eSMichael Jones     ASSERT_TRUE(__llvm_libc::bsearch(&key, &ARRAY, s, sizeof(int),
6832a50078SSiva Chandra Reddy                                      int_compare) == nullptr);
6932a50078SSiva Chandra Reddy   }
7032a50078SSiva Chandra Reddy }
7132a50078SSiva Chandra Reddy 
TEST(LlvmLibcBsearchTest,SameKeyAndArray)7232a50078SSiva Chandra Reddy TEST(LlvmLibcBsearchTest, SameKeyAndArray) {
73*25226f3eSMichael Jones   constexpr int ARRAY[5] = {1, 2, 3, 4, 5};
74*25226f3eSMichael Jones   constexpr size_t ARRAY_SIZE = sizeof(ARRAY) / sizeof(int);
7532a50078SSiva Chandra Reddy   void *elem =
76*25226f3eSMichael Jones       __llvm_libc::bsearch(ARRAY, ARRAY, ARRAY_SIZE, sizeof(int), int_compare);
77*25226f3eSMichael Jones   EXPECT_EQ(*reinterpret_cast<int *>(elem), ARRAY[0]);
7832a50078SSiva Chandra Reddy }
79