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