test/test_list.cpp

Sat, 16 Apr 2022 18:02:10 +0200

author
Mike Becker <universe@uap-core.de>
date
Sat, 16 Apr 2022 18:02:10 +0200
changeset 517
b3baaf9b7e3c
parent 509
test/test_list.c@0d3c6075f82c
child 518
74d0372f5c6f
permissions
-rw-r--r--

migrate list tests to gtest

universe@390 1 /*
universe@390 2 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS HEADER.
universe@390 3 *
universe@390 4 * Copyright 2021 Mike Becker, Olaf Wintermann All rights reserved.
universe@390 5 *
universe@390 6 * Redistribution and use in source and binary forms, with or without
universe@390 7 * modification, are permitted provided that the following conditions are met:
universe@390 8 *
universe@390 9 * 1. Redistributions of source code must retain the above copyright
universe@390 10 * notice, this list of conditions and the following disclaimer.
universe@390 11 *
universe@390 12 * 2. Redistributions in binary form must reproduce the above copyright
universe@390 13 * notice, this list of conditions and the following disclaimer in the
universe@390 14 * documentation and/or other materials provided with the distribution.
universe@390 15 *
universe@390 16 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
universe@390 17 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
universe@390 18 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
universe@390 19 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE
universe@390 20 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
universe@390 21 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
universe@390 22 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
universe@390 23 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
universe@390 24 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
universe@390 25 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
universe@390 26 * POSSIBILITY OF SUCH DAMAGE.
universe@390 27 */
universe@390 28
universe@398 29 #include "cx/linked_list.h"
universe@509 30 #include "cx/utils.h"
universe@422 31 #include "util_allocator.h"
universe@398 32
universe@517 33 #include <gtest/gtest.h>
universe@517 34 #include <array>
universe@517 35 #include <vector>
universe@517 36 #include <unordered_set>
universe@517 37 #include <algorithm>
universe@517 38
universe@507 39 static int cmp_int_impl(
universe@486 40 int const *l,
universe@486 41 int const *r
universe@486 42 ) {
universe@412 43 int left = *l, right = *r;
universe@412 44 return left == right ? 0 : (left < right ? -1 : 1);
universe@412 45 }
universe@412 46
universe@492 47 #define cmp_int ((CxListComparator) cmp_int_impl)
universe@492 48
universe@486 49 struct node {
universe@517 50 node *next = nullptr;
universe@517 51 node *prev = nullptr;
universe@517 52 int data = 0;
universe@486 53 };
universe@486 54
universe@486 55 const ptrdiff_t loc_prev = offsetof(struct node, prev);
universe@486 56 const ptrdiff_t loc_next = offsetof(struct node, next);
universe@486 57 const ptrdiff_t loc_data = offsetof(struct node, data);
universe@486 58
universe@517 59 struct node_test_data {
universe@517 60 node *begin;
universe@517 61
universe@517 62 explicit node_test_data(node *begin) : begin(begin) {}
universe@517 63 node_test_data(node_test_data&) = delete;
universe@517 64 node_test_data(node_test_data&&) = default;
universe@517 65
universe@517 66 ~node_test_data() {
universe@517 67 auto n = begin;
universe@517 68 while (n != nullptr) {
universe@517 69 auto next = n->next;
universe@517 70 delete n;
universe@517 71 n = next;
universe@517 72 }
universe@486 73 }
universe@517 74 };
universe@517 75
universe@517 76 static node_test_data create_nodes_test_data(size_t len) {
universe@517 77 if (len == 0) return node_test_data{nullptr};
universe@517 78 auto begin = new node;
universe@517 79 auto prev = begin;
universe@517 80 for (size_t i = 1; i < len; i++) {
universe@517 81 auto n = new node;
universe@517 82 cx_linked_list_link(prev, n, loc_prev, loc_next);
universe@517 83 prev = n;
universe@517 84 }
universe@517 85 return node_test_data{begin};
universe@486 86 }
universe@486 87
universe@517 88 template<typename InputIter>
universe@517 89 static node_test_data create_nodes_test_data(InputIter begin, InputIter end) {
universe@517 90 if (begin == end) return node_test_data{nullptr};
universe@517 91 node *first = new node;
universe@517 92 first->data = *begin;
universe@517 93 node *prev = first;
universe@517 94 begin++;
universe@517 95 for (; begin != end; begin++) {
universe@517 96 auto n = new node;
universe@517 97 n->data = *begin;
universe@517 98 cx_linked_list_link(prev, n, loc_prev, loc_next);
universe@517 99 prev = n;
universe@486 100 }
universe@517 101 return node_test_data{first};
universe@486 102 }
universe@486 103
universe@517 104 static node_test_data create_nodes_test_data(std::initializer_list<int> data) {
universe@517 105 return create_nodes_test_data(data.begin(), data.end());
universe@509 106 }
universe@509 107
universe@517 108 template<size_t N>
universe@517 109 struct int_test_data {
universe@517 110 std::array<int, N> data;
universe@482 111
universe@517 112 int_test_data() {
universe@517 113 cx_for_n (i, N) data[i] = ::rand(); // NOLINT(cert-msc50-cpp)
universe@517 114 }
universe@517 115 };
universe@517 116
universe@517 117 TEST(LinkedList_LowLevel, link_unlink) {
universe@517 118 node a, b, c;
universe@482 119
universe@482 120 cx_linked_list_link(&a, &b, loc_prev, loc_next);
universe@517 121 EXPECT_EQ(a.prev, nullptr);
universe@517 122 EXPECT_EQ(a.next, &b);
universe@517 123 EXPECT_EQ(b.prev, &a);
universe@517 124 EXPECT_EQ(b.next, nullptr);
universe@482 125
universe@482 126 cx_linked_list_unlink(&a, &b, loc_prev, loc_next);
universe@517 127 EXPECT_EQ(a.prev, nullptr);
universe@517 128 EXPECT_EQ(a.next, nullptr);
universe@517 129 EXPECT_EQ(b.prev, nullptr);
universe@517 130 EXPECT_EQ(b.next, nullptr);
universe@482 131
universe@482 132 cx_linked_list_link(&b, &c, loc_prev, loc_next);
universe@482 133 cx_linked_list_link(&a, &b, loc_prev, loc_next);
universe@482 134 cx_linked_list_unlink(&b, &c, loc_prev, loc_next);
universe@517 135 EXPECT_EQ(a.prev, nullptr);
universe@517 136 EXPECT_EQ(a.next, &b);
universe@517 137 EXPECT_EQ(b.prev, &a);
universe@517 138 EXPECT_EQ(b.next, nullptr);
universe@517 139 EXPECT_EQ(c.prev, nullptr);
universe@517 140 EXPECT_EQ(c.next, nullptr);
universe@482 141 }
universe@482 142
universe@517 143 TEST(LinkedList_LowLevel, cx_linked_list_at) {
universe@517 144 node a, b, c, d;
universe@486 145 cx_linked_list_link(&a, &b, loc_prev, loc_next);
universe@486 146 cx_linked_list_link(&b, &c, loc_prev, loc_next);
universe@486 147 cx_linked_list_link(&c, &d, loc_prev, loc_next);
universe@438 148
universe@517 149 EXPECT_EQ(cx_linked_list_at(&a, 0, loc_next, 0), &a);
universe@517 150 EXPECT_EQ(cx_linked_list_at(&a, 0, loc_next, 1), &b);
universe@517 151 EXPECT_EQ(cx_linked_list_at(&a, 0, loc_next, 2), &c);
universe@517 152 EXPECT_EQ(cx_linked_list_at(&a, 0, loc_next, 3), &d);
universe@517 153 EXPECT_EQ(cx_linked_list_at(&a, 0, loc_next, 4), nullptr);
universe@438 154
universe@517 155 EXPECT_EQ(cx_linked_list_at(&b, 1, loc_prev, 0), &a);
universe@517 156 EXPECT_EQ(cx_linked_list_at(&b, 1, loc_next, 1), &b);
universe@517 157 EXPECT_EQ(cx_linked_list_at(&b, 1, loc_next, 2), &c);
universe@517 158 EXPECT_EQ(cx_linked_list_at(&b, 1, loc_next, 3), &d);
universe@517 159 EXPECT_EQ(cx_linked_list_at(&b, 1, loc_next, 4), nullptr);
universe@438 160
universe@517 161 EXPECT_EQ(cx_linked_list_at(&d, 3, loc_prev, 0), &a);
universe@517 162 EXPECT_EQ(cx_linked_list_at(&d, 3, loc_prev, 1), &b);
universe@438 163 }
universe@438 164
universe@517 165 TEST(LinkedList_LowLevel, cx_linked_list_find) {
universe@517 166 auto testdata = create_nodes_test_data({2, 4, 6, 8});
universe@517 167 auto list = testdata.begin;
universe@487 168 int s;
universe@487 169
universe@487 170 s = 2;
universe@517 171 EXPECT_EQ(cx_linked_list_find(list, loc_next, loc_data, false, cmp_int, &s), 0);
universe@487 172 s = 4;
universe@517 173 EXPECT_EQ(cx_linked_list_find(list, loc_next, loc_data, false, cmp_int, &s), 1);
universe@487 174 s = 6;
universe@517 175 EXPECT_EQ(cx_linked_list_find(list, loc_next, loc_data, false, cmp_int, &s), 2);
universe@487 176 s = 8;
universe@517 177 EXPECT_EQ(cx_linked_list_find(list, loc_next, loc_data, false, cmp_int, &s), 3);
universe@487 178 s = 10;
universe@517 179 EXPECT_EQ(cx_linked_list_find(list, loc_next, loc_data, false, cmp_int, &s), 4);
universe@487 180 s = -2;
universe@517 181 EXPECT_EQ(cx_linked_list_find(list, loc_next, loc_data, false, cmp_int, &s), 4);
universe@487 182 }
universe@487 183
universe@517 184 TEST(LinkedList_LowLevel, cx_linked_list_compare) {
universe@517 185 auto ta = create_nodes_test_data({2, 4, 6, 8});
universe@517 186 auto tb = create_nodes_test_data({2, 4, 6});
universe@517 187 auto tc = create_nodes_test_data({2, 4, 6, 9});
universe@517 188 auto la = ta.begin, lb = tb.begin, lc = tc.begin;
universe@486 189
universe@517 190 EXPECT_GT(cx_linked_list_compare(la, lb, loc_next, loc_data, false, cmp_int), 0);
universe@517 191 EXPECT_LT(cx_linked_list_compare(lb, la, loc_next, loc_data, false, cmp_int), 0);
universe@517 192 EXPECT_GT(cx_linked_list_compare(lc, la, loc_next, loc_data, false, cmp_int), 0);
universe@517 193 EXPECT_LT(cx_linked_list_compare(la, lc, loc_next, loc_data, false, cmp_int), 0);
universe@517 194 EXPECT_EQ(cx_linked_list_compare(la, la, loc_next, loc_data, false, cmp_int), 0);
universe@486 195 }
universe@486 196
universe@517 197 TEST(LinkedList_LowLevel, cx_linked_list_add) {
universe@517 198 // test with begin, end / prev, next
universe@517 199 {
universe@517 200 node nodes[4];
universe@517 201 void *begin = nullptr, *end = nullptr;
universe@449 202
universe@517 203 cx_linked_list_add(&begin, &end, loc_prev, loc_next, &nodes[0]);
universe@517 204 EXPECT_EQ(begin, &nodes[0]);
universe@517 205 EXPECT_EQ(end, &nodes[0]);
universe@517 206 EXPECT_EQ(nodes[0].prev, nullptr);
universe@517 207 EXPECT_EQ(nodes[0].next, nullptr);
universe@449 208
universe@517 209 cx_linked_list_add(&begin, &end, loc_prev, loc_next, &nodes[1]);
universe@517 210 EXPECT_EQ(begin, &nodes[0]);
universe@517 211 EXPECT_EQ(end, &nodes[1]);
universe@517 212 EXPECT_EQ(nodes[0].next, &nodes[1]);
universe@517 213 EXPECT_EQ(nodes[1].prev, &nodes[0]);
universe@517 214 }
universe@449 215
olaf@442 216 // test with begin only / prev, next
universe@517 217 {
universe@517 218 node nodes[4];
universe@517 219 void *begin = nullptr;
universe@449 220
universe@517 221 cx_linked_list_add(&begin, nullptr, loc_prev, loc_next, &nodes[0]);
universe@517 222 EXPECT_EQ(begin, &nodes[0]);
universe@517 223 cx_linked_list_add(&begin, nullptr, loc_prev, loc_next, &nodes[1]);
universe@517 224 EXPECT_EQ(begin, &nodes[0]);
universe@517 225 EXPECT_EQ(nodes[0].next, &nodes[1]);
universe@517 226 EXPECT_EQ(nodes[1].prev, &nodes[0]);
universe@449 227
universe@517 228 cx_linked_list_add(&begin, nullptr, loc_prev, loc_next, &nodes[2]);
universe@517 229 EXPECT_EQ(nodes[1].next, &nodes[2]);
universe@517 230 EXPECT_EQ(nodes[2].prev, &nodes[1]);
universe@517 231 }
universe@449 232
universe@475 233 // test with end only / prev, next
universe@517 234 {
universe@517 235 node nodes[4];
universe@517 236 void *end = nullptr;
universe@475 237
universe@517 238 cx_linked_list_add(nullptr, &end, loc_prev, loc_next, &nodes[0]);
universe@517 239 EXPECT_EQ(end, &nodes[0]);
universe@517 240 cx_linked_list_add(nullptr, &end, loc_prev, loc_next, &nodes[1]);
universe@517 241 EXPECT_EQ(end, &nodes[1]);
universe@517 242 EXPECT_EQ(nodes[0].next, &nodes[1]);
universe@517 243 EXPECT_EQ(nodes[1].prev, &nodes[0]);
universe@475 244
universe@517 245 cx_linked_list_add(nullptr, &end, loc_prev, loc_next, &nodes[2]);
universe@517 246 EXPECT_EQ(end, &nodes[2]);
universe@517 247 EXPECT_EQ(nodes[1].next, &nodes[2]);
universe@517 248 EXPECT_EQ(nodes[2].prev, &nodes[1]);
universe@517 249 }
universe@475 250
olaf@442 251 // test with begin, end / next
universe@517 252 {
universe@517 253 node nodes[4];
universe@517 254 void *begin = nullptr, *end = nullptr;
universe@449 255
universe@517 256 cx_linked_list_add(&begin, &end, -1, loc_next, &nodes[0]);
universe@517 257 EXPECT_EQ(begin, &nodes[0]);
universe@517 258 EXPECT_EQ(end, &nodes[0]);
universe@517 259 cx_linked_list_add(&begin, &end, -1, loc_next, &nodes[1]);
universe@517 260 EXPECT_EQ(end, &nodes[1]);
universe@517 261 EXPECT_EQ(nodes[0].next, &nodes[1]);
universe@517 262 EXPECT_EQ(nodes[1].prev, nullptr);
universe@517 263 }
olaf@442 264 }
olaf@442 265
universe@517 266 TEST(LinkedList_LowLevel, cx_linked_list_prepend) {
universe@517 267 // test with begin, end / prev, next
universe@517 268 {
universe@517 269 node nodes[4];
universe@517 270 void *begin = nullptr, *end = nullptr;
universe@475 271
universe@517 272 cx_linked_list_prepend(&begin, &end, loc_prev, loc_next, &nodes[0]);
universe@517 273 EXPECT_EQ(begin, &nodes[0]);
universe@517 274 EXPECT_EQ(end, &nodes[0]);
universe@517 275 EXPECT_EQ(nodes[0].prev, nullptr);
universe@517 276 EXPECT_EQ(nodes[0].next, nullptr);
universe@475 277
universe@517 278 cx_linked_list_prepend(&begin, &end, loc_prev, loc_next, &nodes[1]);
universe@517 279 EXPECT_EQ(begin, &nodes[1]);
universe@517 280 EXPECT_EQ(end, &nodes[0]);
universe@517 281 EXPECT_EQ(nodes[1].next, &nodes[0]);
universe@517 282 EXPECT_EQ(nodes[0].prev, &nodes[1]);
universe@517 283 }
universe@475 284
universe@475 285 // test with begin only / prev, next
universe@517 286 {
universe@517 287 node nodes[4];
universe@517 288 void *begin = nullptr;
universe@475 289
universe@517 290 cx_linked_list_prepend(&begin, nullptr, loc_prev, loc_next, &nodes[0]);
universe@517 291 EXPECT_EQ(begin, &nodes[0]);
universe@517 292 cx_linked_list_prepend(&begin, nullptr, loc_prev, loc_next, &nodes[1]);
universe@517 293 EXPECT_EQ(begin, &nodes[1]);
universe@517 294 EXPECT_EQ(nodes[1].next, &nodes[0]);
universe@517 295 EXPECT_EQ(nodes[0].prev, &nodes[1]);
universe@475 296
universe@517 297 cx_linked_list_prepend(&begin, nullptr, loc_prev, loc_next, &nodes[2]);
universe@517 298 EXPECT_EQ(begin, &nodes[2]);
universe@517 299 EXPECT_EQ(nodes[2].next, &nodes[1]);
universe@517 300 EXPECT_EQ(nodes[1].prev, &nodes[2]);
universe@517 301 }
universe@475 302
universe@475 303 // test with end only / prev, next
universe@517 304 {
universe@517 305 node nodes[4];
universe@517 306 void *end = nullptr;
universe@475 307
universe@517 308 cx_linked_list_prepend(nullptr, &end, loc_prev, loc_next, &nodes[0]);
universe@517 309 EXPECT_EQ(end, &nodes[0]);
universe@517 310 cx_linked_list_prepend(nullptr, &end, loc_prev, loc_next, &nodes[1]);
universe@517 311 EXPECT_EQ(end, &nodes[0]);
universe@517 312 EXPECT_EQ(nodes[1].next, &nodes[0]);
universe@517 313 EXPECT_EQ(nodes[0].prev, &nodes[1]);
universe@475 314
universe@517 315 cx_linked_list_prepend(nullptr, &end, loc_prev, loc_next, &nodes[2]);
universe@517 316 EXPECT_EQ(end, &nodes[0]);
universe@517 317 EXPECT_EQ(nodes[2].next, &nodes[1]);
universe@517 318 EXPECT_EQ(nodes[1].prev, &nodes[2]);
universe@517 319 }
universe@475 320
universe@475 321 // test with begin, end / next
universe@517 322 {
universe@517 323 node nodes[4];
universe@517 324 void *begin = nullptr, *end = nullptr;
universe@475 325
universe@517 326 cx_linked_list_prepend(&begin, &end, -1, loc_next, &nodes[0]);
universe@517 327 EXPECT_EQ(begin, &nodes[0]);
universe@517 328 EXPECT_EQ(end, &nodes[0]);
universe@517 329 cx_linked_list_prepend(&begin, &end, -1, loc_next, &nodes[1]);
universe@517 330 cx_linked_list_prepend(&begin, &end, -1, loc_next, &nodes[2]);
universe@517 331 EXPECT_EQ(begin, &nodes[2]);
universe@517 332 EXPECT_EQ(end, &nodes[0]);
universe@517 333 EXPECT_EQ(nodes[1].next, &nodes[0]);
universe@517 334 EXPECT_EQ(nodes[2].next, &nodes[1]);
universe@517 335 EXPECT_EQ(nodes[1].prev, nullptr);
universe@517 336 EXPECT_EQ(nodes[0].prev, nullptr);
universe@517 337 }
universe@475 338 }
universe@475 339
universe@517 340 TEST(LinkedList_LowLevel, cx_linked_list_insert) {
universe@517 341 // insert mid list
universe@517 342 {
universe@517 343 node nodes[4];
universe@517 344 void *begin = &nodes[0], *end = &nodes[2];
universe@482 345
universe@517 346 cx_linked_list_link(&nodes[0], &nodes[1], loc_prev, loc_next);
universe@517 347 cx_linked_list_link(&nodes[1], &nodes[2], loc_prev, loc_next);
universe@482 348
universe@517 349 cx_linked_list_insert(&begin, &end, loc_prev, loc_next, &nodes[1], &nodes[3]);
universe@517 350 EXPECT_EQ(begin, &nodes[0]);
universe@517 351 EXPECT_EQ(end, &nodes[2]);
universe@517 352 EXPECT_EQ(nodes[1].next, &nodes[3]);
universe@517 353 EXPECT_EQ(nodes[2].prev, &nodes[3]);
universe@517 354 EXPECT_EQ(nodes[3].prev, &nodes[1]);
universe@517 355 EXPECT_EQ(nodes[3].next, &nodes[2]);
universe@517 356 }
universe@482 357
universe@482 358 // insert end
universe@517 359 {
universe@517 360 node nodes[4];
universe@517 361 void *begin = &nodes[0], *end = &nodes[2];
universe@482 362
universe@517 363 cx_linked_list_link(&nodes[0], &nodes[1], loc_prev, loc_next);
universe@517 364 cx_linked_list_link(&nodes[1], &nodes[2], loc_prev, loc_next);
universe@482 365
universe@517 366 cx_linked_list_insert(&begin, &end, loc_prev, loc_next, &nodes[2], &nodes[3]);
universe@517 367 EXPECT_EQ(begin, &nodes[0]);
universe@517 368 EXPECT_EQ(end, &nodes[3]);
universe@517 369 EXPECT_EQ(nodes[2].next, &nodes[3]);
universe@517 370 EXPECT_EQ(nodes[3].prev, &nodes[2]);
universe@517 371 EXPECT_EQ(nodes[3].next, nullptr);
universe@517 372 }
universe@482 373
universe@482 374 // insert begin
universe@517 375 {
universe@517 376 node nodes[4];
universe@517 377 void *begin = &nodes[0], *end = &nodes[2];
universe@482 378
universe@517 379 cx_linked_list_link(&nodes[0], &nodes[1], loc_prev, loc_next);
universe@517 380 cx_linked_list_link(&nodes[1], &nodes[2], loc_prev, loc_next);
universe@482 381
universe@517 382 cx_linked_list_insert(&begin, &end, loc_prev, loc_next, nullptr, &nodes[3]);
universe@517 383 EXPECT_EQ(begin, &nodes[3]);
universe@517 384 EXPECT_EQ(end, &nodes[2]);
universe@517 385 EXPECT_EQ(nodes[0].prev, &nodes[3]);
universe@517 386 EXPECT_EQ(nodes[3].prev, nullptr);
universe@517 387 EXPECT_EQ(nodes[3].next, &nodes[0]);
universe@517 388 }
universe@482 389 }
universe@482 390
universe@517 391 TEST(LinkedList_LowLevel, cx_linked_list_insert_chain) {
universe@517 392 // insert mid list
universe@517 393 {
universe@517 394 node nodes[5];
universe@517 395 void *begin = &nodes[0], *end = &nodes[2];
universe@482 396
universe@517 397 cx_linked_list_link(&nodes[0], &nodes[1], loc_prev, loc_next);
universe@517 398 cx_linked_list_link(&nodes[1], &nodes[2], loc_prev, loc_next);
universe@517 399 cx_linked_list_link(&nodes[3], &nodes[4], loc_prev, loc_next);
universe@482 400
universe@517 401 cx_linked_list_insert_chain(&begin, &end, loc_prev, loc_next, &nodes[1], &nodes[3], nullptr);
universe@517 402 EXPECT_EQ(begin, &nodes[0]);
universe@517 403 EXPECT_EQ(end, &nodes[2]);
universe@517 404 EXPECT_EQ(nodes[1].next, &nodes[3]);
universe@517 405 EXPECT_EQ(nodes[2].prev, &nodes[4]);
universe@517 406 EXPECT_EQ(nodes[3].prev, &nodes[1]);
universe@517 407 EXPECT_EQ(nodes[4].next, &nodes[2]);
universe@517 408 }
universe@482 409
universe@482 410 // insert end
universe@517 411 {
universe@517 412 node nodes[5];
universe@517 413 void *begin = &nodes[0], *end = &nodes[2];
universe@482 414
universe@517 415 cx_linked_list_link(&nodes[0], &nodes[1], loc_prev, loc_next);
universe@517 416 cx_linked_list_link(&nodes[1], &nodes[2], loc_prev, loc_next);
universe@517 417 cx_linked_list_link(&nodes[3], &nodes[4], loc_prev, loc_next);
universe@482 418
universe@517 419 cx_linked_list_insert_chain(&begin, &end, loc_prev, loc_next, &nodes[2], &nodes[3], nullptr);
universe@517 420 EXPECT_EQ(begin, &nodes[0]);
universe@517 421 EXPECT_EQ(end, &nodes[4]);
universe@517 422 EXPECT_EQ(nodes[2].next, &nodes[3]);
universe@517 423 EXPECT_EQ(nodes[3].prev, &nodes[2]);
universe@517 424 EXPECT_EQ(nodes[4].next, nullptr);
universe@517 425 }
universe@482 426
universe@482 427 // insert begin
universe@517 428 {
universe@517 429 node nodes[5];
universe@517 430 void *begin = &nodes[0], *end = &nodes[2];
universe@482 431
universe@517 432 cx_linked_list_link(&nodes[0], &nodes[1], loc_prev, loc_next);
universe@517 433 cx_linked_list_link(&nodes[1], &nodes[2], loc_prev, loc_next);
universe@517 434 cx_linked_list_link(&nodes[3], &nodes[4], loc_prev, loc_next);
universe@482 435
universe@517 436 cx_linked_list_insert_chain(&begin, &end, loc_prev, loc_next, nullptr, &nodes[3], nullptr);
universe@517 437 EXPECT_EQ(begin, &nodes[3]);
universe@517 438 EXPECT_EQ(end, &nodes[2]);
universe@517 439 EXPECT_EQ(nodes[0].prev, &nodes[4]);
universe@517 440 EXPECT_EQ(nodes[3].prev, nullptr);
universe@517 441 EXPECT_EQ(nodes[4].next, &nodes[0]);
universe@517 442 }
universe@482 443 }
universe@482 444
universe@517 445 TEST(LinkedList_LowLevel, cx_linked_list_first) {
universe@517 446 auto testdata = create_nodes_test_data(3);
universe@517 447 auto begin = testdata.begin;
universe@517 448 EXPECT_EQ(cx_linked_list_first(begin, loc_prev), begin);
universe@517 449 EXPECT_EQ(cx_linked_list_first(begin->next, loc_prev), begin);
universe@517 450 EXPECT_EQ(cx_linked_list_first(begin->next->next, loc_prev), begin);
universe@475 451 }
universe@475 452
universe@517 453 TEST(LinkedList_LowLevel, cx_linked_list_last) {
universe@517 454 auto testdata = create_nodes_test_data(3);
universe@517 455 auto begin = testdata.begin;
universe@517 456 auto end = begin->next->next;
universe@517 457 EXPECT_EQ(cx_linked_list_last(begin, loc_next), end);
universe@517 458 EXPECT_EQ(cx_linked_list_last(begin->next, loc_next), end);
universe@517 459 EXPECT_EQ(cx_linked_list_last(begin->next->next, loc_next), end);
universe@456 460 }
universe@456 461
universe@517 462 TEST(LinkedList_LowLevel, cx_linked_list_prev) {
universe@517 463 auto testdata = create_nodes_test_data(3);
universe@517 464 auto begin = testdata.begin;
universe@517 465 EXPECT_EQ(cx_linked_list_prev(begin, loc_next, begin), nullptr);
universe@517 466 EXPECT_EQ(cx_linked_list_prev(begin, loc_next, begin->next), begin);
universe@517 467 EXPECT_EQ(cx_linked_list_prev(begin, loc_next, begin->next->next), begin->next);
universe@473 468 }
universe@473 469
universe@517 470 TEST(LinkedList_LowLevel, cx_linked_list_remove) {
universe@517 471 auto testdata = create_nodes_test_data({2, 4, 6});
universe@517 472 auto begin = reinterpret_cast<void *>(testdata.begin);
universe@517 473 auto first = testdata.begin;
universe@517 474 auto second = first->next;
universe@517 475 auto third = second->next;
universe@517 476 auto end = reinterpret_cast<void *>(third);
universe@473 477
universe@486 478 cx_linked_list_remove(&begin, &end, loc_prev, loc_next, second);
universe@517 479 EXPECT_EQ(begin, first);
universe@517 480 EXPECT_EQ(end, third);
universe@517 481 EXPECT_EQ(first->prev, nullptr);
universe@517 482 EXPECT_EQ(first->next, third);
universe@517 483 EXPECT_EQ(third->prev, first);
universe@517 484 EXPECT_EQ(third->next, nullptr);
universe@473 485
universe@486 486 cx_linked_list_remove(&begin, &end, loc_prev, loc_next, third);
universe@517 487 EXPECT_EQ(begin, first);
universe@517 488 EXPECT_EQ(end, first);
universe@517 489 EXPECT_EQ(first->prev, nullptr);
universe@517 490 EXPECT_EQ(first->next, nullptr);
universe@473 491
universe@486 492 cx_linked_list_remove(&begin, &end, loc_prev, loc_next, first);
universe@517 493 EXPECT_EQ(begin, nullptr);
universe@517 494 EXPECT_EQ(end, nullptr);
universe@473 495 }
universe@473 496
universe@517 497 TEST(LinkedList_LowLevel, cx_linked_list_size) {
universe@517 498 EXPECT_EQ(cx_linked_list_size(nullptr, loc_next), 0);
universe@468 499
universe@517 500 {
universe@517 501 auto testdata = create_nodes_test_data(5);
universe@517 502 EXPECT_EQ(cx_linked_list_size(testdata.begin, loc_next), 5);
universe@517 503 }
universe@468 504
universe@517 505 {
universe@517 506 auto testdata = create_nodes_test_data(13);
universe@517 507 EXPECT_EQ(cx_linked_list_size(testdata.begin, loc_next), 13);
universe@517 508 }
universe@468 509 }
universe@468 510
universe@517 511 TEST(LinkedList_LowLevel, cx_linked_list_sort) {
universe@517 512 int_test_data<1000> testdata;
universe@517 513 std::array<int, 1000> sorted{};
universe@517 514 std::partial_sort_copy(testdata.data.begin(), testdata.data.end(), sorted.begin(), sorted.end());
universe@468 515
universe@517 516 auto scrambled = create_nodes_test_data(testdata.data.begin(), testdata.data.end());
universe@517 517 void *begin = scrambled.begin;
universe@486 518 void *end = cx_linked_list_last(begin, loc_next);
universe@468 519
universe@486 520 cx_linked_list_sort(&begin, &end, loc_prev, loc_next, loc_data,
universe@492 521 false, cmp_int);
universe@468 522
universe@517 523 node *check = reinterpret_cast<node *>(begin);
universe@517 524 node *check_last = nullptr;
universe@517 525 cx_for_n (i, sorted.size()) {
universe@517 526 EXPECT_EQ(check->data, sorted[i]);
universe@517 527 EXPECT_EQ(check->prev, check_last);
universe@517 528 if (i < sorted.size() - 1) {
universe@517 529 ASSERT_NE(check->next, nullptr);
universe@468 530 }
universe@468 531 check_last = check;
universe@468 532 check = check->next;
universe@468 533 }
universe@517 534 EXPECT_EQ(check, nullptr);
universe@517 535 EXPECT_EQ(end, check_last);
universe@468 536 }
universe@468 537
universe@517 538 TEST(LinkedList_LowLevel, cx_linked_list_reverse) {
universe@517 539 auto testdata = create_nodes_test_data({2, 4, 6, 8});
universe@517 540 auto expected = create_nodes_test_data({8, 6, 4, 2});
universe@473 541
universe@517 542 auto begin = reinterpret_cast<void *>(testdata.begin);
universe@517 543 auto end = cx_linked_list_last(begin, loc_next);
universe@517 544 auto orig_begin = begin, orig_end = end;
universe@473 545
universe@486 546 cx_linked_list_reverse(&begin, &end, loc_prev, loc_next);
universe@517 547 EXPECT_EQ(end, orig_begin);
universe@517 548 EXPECT_EQ(begin, orig_end);
universe@517 549 EXPECT_EQ(cx_linked_list_compare(begin, expected.begin, loc_next, loc_data, 0, cmp_int), 0);
universe@473 550 }
universe@456 551
universe@517 552 class HighLevelTest : public ::testing::Test {
universe@517 553 mutable std::unordered_set<CxList *> lists;
universe@517 554 protected:
universe@517 555 void SetUp() override {
universe@517 556 cxTestingAllocatorReset();
universe@517 557 }
universe@455 558
universe@517 559 void TearDown() override {
universe@517 560 for (auto &&l: lists) cxListDestroy(l);
universe@517 561 EXPECT_TRUE(cxTestingAllocatorVerify());
universe@517 562 }
universe@517 563
universe@517 564 static constexpr size_t testdata_len = 250;
universe@517 565 int_test_data<testdata_len> testdata;
universe@517 566
universe@517 567 auto autofree(CxList *list) const -> CxList * {
universe@517 568 lists.insert(list);
universe@517 569 return list;
universe@517 570 }
universe@517 571
universe@517 572 auto linkedListFromTestData() const -> CxList * {
universe@517 573 return autofree(
universe@517 574 cxLinkedListFromArray(
universe@517 575 cxTestingAllocator,
universe@517 576 cmp_int,
universe@517 577 sizeof(int),
universe@517 578 testdata_len,
universe@517 579 testdata.data.data()
universe@517 580 )
universe@517 581 );
universe@517 582 }
universe@517 583
universe@517 584 auto pointerLinkedListFromTestData() const -> CxList * {
universe@517 585 auto list = autofree(cxPointerLinkedListCreate(cxTestingAllocator, cmp_int));
universe@517 586 cx_for_n(i, testdata_len) cxListAdd(list, &testdata.data[i]);
universe@517 587 return list;
universe@517 588 }
universe@517 589
universe@517 590 static void verifyCreate(CxList *list) {
universe@517 591 EXPECT_EQ(list->size, 0);
universe@517 592 EXPECT_EQ(list->capacity, (size_t) -1);
universe@517 593 EXPECT_EQ(list->allocator, cxTestingAllocator);
universe@517 594 EXPECT_EQ(list->cmpfunc, cmp_int);
universe@517 595 }
universe@517 596
universe@517 597 void verifyAdd(CxList *list, bool write_through) {
universe@517 598 auto len = testdata_len;
universe@517 599 cx_for_n (i, len) EXPECT_EQ(cxListAdd(list, &testdata.data[i]), 0);
universe@517 600 EXPECT_EQ(list->size, len);
universe@517 601 EXPECT_GE(list->capacity, list->size);
universe@517 602 cx_for_n (i, len) EXPECT_EQ(*(int *) cxListAt(list, i), testdata.data[i]);
universe@517 603 cx_for_n (i, len) ++testdata.data[i];
universe@517 604 if (write_through) {
universe@517 605 cx_for_n (i, len) EXPECT_EQ(*(int *) cxListAt(list, i), testdata.data[i]);
universe@517 606 } else {
universe@517 607 cx_for_n (i, len) EXPECT_EQ(*(int *) cxListAt(list, i), testdata.data[i] - 1);
universe@517 608 }
universe@517 609 }
universe@517 610
universe@517 611 static void verifyInsert(CxList *list) {
universe@517 612 int a = 5, b = 47, c = 13, d = 42;
universe@517 613
universe@517 614 EXPECT_NE(cxListInsert(list, 1, &a), 0);
universe@517 615 EXPECT_EQ(list->size, 0);
universe@517 616 EXPECT_EQ(cxListInsert(list, 0, &a), 0);
universe@517 617 EXPECT_EQ(list->size, 1);
universe@517 618 EXPECT_EQ(cxListInsert(list, 0, &b), 0);
universe@517 619 EXPECT_EQ(list->size, 2);
universe@517 620 EXPECT_EQ(cxListInsert(list, 1, &c), 0);
universe@517 621 EXPECT_EQ(list->size, 3);
universe@517 622 EXPECT_EQ(cxListInsert(list, 3, &d), 0);
universe@517 623
universe@517 624 EXPECT_EQ(list->size, 4);
universe@517 625 EXPECT_GE(list->capacity, list->size);
universe@517 626
universe@517 627 EXPECT_EQ(*(int *) cxListAt(list, 0), 47);
universe@517 628 EXPECT_EQ(*(int *) cxListAt(list, 1), 13);
universe@517 629 EXPECT_EQ(*(int *) cxListAt(list, 2), 5);
universe@517 630 EXPECT_EQ(*(int *) cxListAt(list, 3), 42);
universe@517 631 }
universe@517 632
universe@517 633 void verifyRemove(CxList *list) const {
universe@517 634 EXPECT_EQ(cxListRemove(list, 2), 0);
universe@517 635 EXPECT_EQ(cxListRemove(list, 4), 0);
universe@517 636 EXPECT_EQ(list->size, testdata_len - 2);
universe@517 637 EXPECT_GE(list->capacity, list->size);
universe@517 638 EXPECT_EQ(*(int *) cxListAt(list, 0), testdata.data[0]);
universe@517 639 EXPECT_EQ(*(int *) cxListAt(list, 1), testdata.data[1]);
universe@517 640 EXPECT_EQ(*(int *) cxListAt(list, 2), testdata.data[3]);
universe@517 641 EXPECT_EQ(*(int *) cxListAt(list, 3), testdata.data[4]);
universe@517 642 EXPECT_EQ(*(int *) cxListAt(list, 4), testdata.data[6]);
universe@517 643
universe@517 644 EXPECT_EQ(cxListRemove(list, 0), 0);
universe@517 645 EXPECT_EQ(list->size, testdata_len - 3);
universe@517 646 EXPECT_GE(list->capacity, list->size);
universe@517 647 EXPECT_EQ(*(int *) cxListAt(list, 0), testdata.data[1]);
universe@517 648 EXPECT_EQ(*(int *) cxListAt(list, 1), testdata.data[3]);
universe@517 649
universe@517 650 EXPECT_NE(cxListRemove(list, testdata_len), 0);
universe@517 651 }
universe@517 652
universe@517 653 void verifyAt(CxList *list) const {
universe@517 654 auto len = testdata_len;
universe@517 655 EXPECT_EQ(list->size, len);
universe@517 656 cx_for_n (i, list->size) EXPECT_EQ(*(int *) cxListAt(list, i), testdata.data[i]);
universe@517 657 EXPECT_EQ(cxListAt(list, list->size), nullptr);
universe@517 658 }
universe@517 659
universe@517 660 void verifyFind(CxList *list) const {
universe@517 661 cx_for_n (attempt, 25) {
universe@517 662 size_t exp = rand() % testdata_len; // NOLINT(cert-msc50-cpp)
universe@517 663 int val = testdata.data[exp];
universe@517 664 // randomly picked number could occur earlier in list - find first position
universe@517 665 cx_for_n (i, exp) {
universe@517 666 if (testdata.data[i] == val) {
universe@517 667 exp = i;
universe@517 668 break;
universe@517 669 }
universe@517 670 }
universe@517 671 EXPECT_EQ(cxListFind(list, &val), exp);
universe@517 672 }
universe@517 673 }
universe@517 674
universe@517 675 void verifySort(CxList *list) const {
universe@517 676 std::array<int, testdata_len> expected{};
universe@517 677 std::partial_sort_copy(testdata.data.begin(), testdata.data.end(), expected.begin(), expected.end());
universe@517 678 cxListSort(list);
universe@517 679 cx_for_n (i, testdata_len) ASSERT_EQ(*(int *) cxListAt(list, i), expected[i]);
universe@517 680 }
universe@517 681
universe@517 682 void verifyIterator(CxList *list) const {
universe@517 683 int i = 0;
universe@517 684 CxIterator iter = cxListBegin(list);
universe@517 685 cx_foreach(int*, x, iter) {
universe@517 686 ASSERT_EQ(iter.index, (size_t) (i + 1) / 2);
universe@517 687 ASSERT_EQ(*x, testdata.data[i]);
universe@517 688 if (i % 2 == 1) iter.remove = true;
universe@517 689 i++;
universe@517 690 }
universe@517 691 auto len = testdata_len;
universe@517 692 EXPECT_EQ(i, len);
universe@517 693 ASSERT_EQ(list->size, len / 2);
universe@517 694 cx_for_n(j, len / 2) ASSERT_EQ(*(int *) cxListAt(list, j), testdata.data[j * 2]);
universe@517 695 }
universe@517 696
universe@517 697 static void verifyInsertViaIterator(CxList *list) {
universe@517 698 int newdata[] = {10, 20, 30, 40, 50};
universe@517 699
universe@517 700 CxIterator iter = cxListIterator(list, 2);
universe@517 701 EXPECT_TRUE(cxIteratorValid(&iter));
universe@517 702 EXPECT_EQ(iter.index, 2);
universe@517 703 EXPECT_EQ(*(int *) cxIteratorCurrent(&iter), 2);
universe@517 704 cxListInsertAfter(&iter, &newdata[0]);
universe@517 705 EXPECT_TRUE(cxIteratorValid(&iter));
universe@517 706 EXPECT_EQ(iter.index, 2);
universe@517 707 EXPECT_EQ(*(int *) cxIteratorCurrent(&iter), 2);
universe@517 708 cxListInsertBefore(&iter, &newdata[1]);
universe@517 709 EXPECT_TRUE(cxIteratorValid(&iter));
universe@517 710 EXPECT_EQ(iter.index, 3);
universe@517 711 EXPECT_EQ(*(int *) cxIteratorCurrent(&iter), 2);
universe@517 712
universe@517 713 iter = cxListBegin(list);
universe@517 714 cxListInsertBefore(&iter, &newdata[2]);
universe@517 715 EXPECT_TRUE(cxIteratorValid(&iter));
universe@517 716 EXPECT_EQ(iter.index, 1);
universe@517 717 EXPECT_EQ(*(int *) cxIteratorCurrent(&iter), 0);
universe@517 718 iter = cxListIterator(list, list->size);
universe@517 719 cxListInsertBefore(&iter, &newdata[3]);
universe@517 720 EXPECT_FALSE(cxIteratorValid(&iter));
universe@517 721 EXPECT_EQ(iter.index, 9);
universe@517 722 iter = cxListIterator(list, list->size);
universe@517 723 cxListInsertAfter(&iter, &newdata[4]);
universe@517 724 EXPECT_FALSE(cxIteratorValid(&iter));
universe@517 725 EXPECT_EQ(iter.index, 10);
universe@517 726
universe@517 727 int expdata[] = {30, 0, 1, 20, 2, 10, 3, 4, 40, 50};
universe@517 728 cx_for_n (j, 10) EXPECT_EQ(*(int *) cxListAt(list, j), expdata[j]);
universe@517 729 }
universe@517 730 };
universe@517 731
universe@517 732 class LinkedList : public HighLevelTest {
universe@517 733 };
universe@517 734
universe@517 735 class PointerLinkedList : public HighLevelTest {
universe@517 736 };
universe@517 737
universe@517 738 TEST_F(LinkedList, cxLinkedListCreate) {
universe@517 739 CxList *list = autofree(cxLinkedListCreate(cxTestingAllocator, cmp_int, sizeof(int)));
universe@517 740 EXPECT_EQ(list->itemsize, sizeof(int));
universe@517 741 verifyCreate(list);
universe@506 742 }
universe@506 743
universe@517 744 TEST_F(PointerLinkedList, cxPointerLinkedListCreate) {
universe@517 745 CxList *list = autofree(cxPointerLinkedListCreate(cxTestingAllocator, cmp_int));
universe@517 746 EXPECT_EQ(list->itemsize, sizeof(void *));
universe@517 747 verifyCreate(list);
universe@455 748 }
universe@455 749
universe@517 750 TEST_F(LinkedList, cxLinkedListFromArray) {
universe@517 751 CxList *expected = autofree(cxLinkedListCreate(cxTestingAllocator, cmp_int, sizeof(int)));
universe@517 752 cx_for_n (i, testdata_len) cxListAdd(expected, &testdata.data[i]);
universe@517 753 CxList *list = autofree(cxLinkedListFromArray(cxTestingAllocator, cmp_int, sizeof(int),
universe@517 754 testdata_len, testdata.data.data()));
universe@517 755 EXPECT_EQ(cxListCompare(list, expected), 0);
universe@498 756 }
universe@498 757
universe@517 758 TEST_F(LinkedList, cxListAdd) {
universe@517 759 CxList *list = autofree(cxLinkedListCreate(cxTestingAllocator, cmp_int, sizeof(int)));
universe@517 760 verifyAdd(list, false);
universe@488 761 }
universe@488 762
universe@517 763 TEST_F(PointerLinkedList, cxListAdd) {
universe@517 764 CxList *list = autofree(cxPointerLinkedListCreate(cxTestingAllocator, cmp_int));
universe@517 765 verifyAdd(list, true);
universe@507 766 }
universe@507 767
universe@517 768 TEST_F(LinkedList, cxListInsert) {
universe@517 769 verifyInsert(autofree(cxLinkedListCreate(cxTestingAllocator, cmp_int, sizeof(int))));
universe@459 770 }
universe@459 771
universe@517 772 TEST_F(PointerLinkedList, cxListInsert) {
universe@517 773 verifyInsert(autofree(cxPointerLinkedListCreate(cxTestingAllocator, cmp_int)));
universe@498 774 }
universe@498 775
universe@517 776 TEST_F(LinkedList, cxListRemove) {
universe@517 777 verifyRemove(linkedListFromTestData());
universe@498 778 }
universe@498 779
universe@517 780 TEST_F(PointerLinkedList, cxListRemove) {
universe@517 781 verifyRemove(pointerLinkedListFromTestData());
universe@509 782 }
universe@459 783
universe@517 784 TEST_F(LinkedList, cxListAt) {
universe@517 785 verifyAt(linkedListFromTestData());
universe@509 786 }
universe@509 787
universe@517 788 TEST_F(PointerLinkedList, cxListAt) {
universe@517 789 verifyAt(pointerLinkedListFromTestData());
universe@459 790 }
universe@459 791
universe@517 792 TEST_F(LinkedList, cxListFind) {
universe@517 793 verifyFind(linkedListFromTestData());
universe@509 794 }
universe@509 795
universe@517 796 TEST_F(PointerLinkedList, cxListFind) {
universe@517 797 verifyFind(pointerLinkedListFromTestData());
universe@509 798 }
universe@498 799
universe@517 800 TEST_F(LinkedList, cxListSort) {
universe@517 801 verifySort(linkedListFromTestData());
universe@498 802 }
universe@498 803
universe@517 804 TEST_F(PointerLinkedList, cxListSort) {
universe@517 805 verifySort(pointerLinkedListFromTestData());
universe@479 806 }
universe@479 807
universe@517 808 TEST_F(LinkedList, Iterator) {
universe@517 809 verifyIterator(linkedListFromTestData());
universe@509 810 }
universe@498 811
universe@517 812 TEST_F(PointerLinkedList, Iterator) {
universe@517 813 verifyIterator(pointerLinkedListFromTestData());
universe@498 814 }
universe@498 815
universe@517 816 TEST_F(LinkedList, InsertViaIterator) {
universe@517 817 int fivenums[] = {0, 1, 2, 3, 4, 5};
universe@517 818 CxList *list = autofree(cxLinkedListFromArray(cxTestingAllocator, cmp_int, sizeof(int), 5, fivenums));
universe@517 819 verifyInsertViaIterator(list);
universe@459 820 }
universe@459 821
universe@517 822 TEST_F(PointerLinkedList, InsertViaIterator) {
universe@517 823 int fivenums[] = {0, 1, 2, 3, 4, 5};
universe@517 824 CxList *list = autofree(cxPointerLinkedListCreate(cxTestingAllocator, cmp_int));
universe@517 825 cx_for_n (i, 5) cxListAdd(list, &fivenums[i]);
universe@517 826 verifyInsertViaIterator(list);
universe@509 827 }

mercurial