test_vector.c 9.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421
  1. #include "common.h"
  2. #include <assert.h>
  3. #include "util/vector.h"
  4. static void test_vector_insert_remove(void) {
  5. struct SC_VECTOR(int) vec = SC_VECTOR_INITIALIZER;
  6. bool ok;
  7. ok = sc_vector_push(&vec, 42);
  8. assert(ok);
  9. assert(vec.data[0] == 42);
  10. assert(vec.size == 1);
  11. ok = sc_vector_push(&vec, 37);
  12. assert(ok);
  13. assert(vec.size == 2);
  14. assert(vec.data[0] == 42);
  15. assert(vec.data[1] == 37);
  16. ok = sc_vector_insert(&vec, 1, 100);
  17. assert(ok);
  18. assert(vec.size == 3);
  19. assert(vec.data[0] == 42);
  20. assert(vec.data[1] == 100);
  21. assert(vec.data[2] == 37);
  22. ok = sc_vector_push(&vec, 77);
  23. assert(ok);
  24. assert(vec.size == 4);
  25. assert(vec.data[0] == 42);
  26. assert(vec.data[1] == 100);
  27. assert(vec.data[2] == 37);
  28. assert(vec.data[3] == 77);
  29. sc_vector_remove(&vec, 1);
  30. assert(vec.size == 3);
  31. assert(vec.data[0] == 42);
  32. assert(vec.data[1] == 37);
  33. assert(vec.data[2] == 77);
  34. sc_vector_clear(&vec);
  35. assert(vec.size == 0);
  36. sc_vector_destroy(&vec);
  37. }
  38. static void test_vector_push_array(void) {
  39. struct SC_VECTOR(int) vec = SC_VECTOR_INITIALIZER;
  40. bool ok;
  41. ok = sc_vector_push(&vec, 3); assert(ok);
  42. ok = sc_vector_push(&vec, 14); assert(ok);
  43. ok = sc_vector_push(&vec, 15); assert(ok);
  44. ok = sc_vector_push(&vec, 92); assert(ok);
  45. ok = sc_vector_push(&vec, 65); assert(ok);
  46. assert(vec.size == 5);
  47. int items[] = { 1, 2, 3, 4, 5, 6, 7, 8 };
  48. ok = sc_vector_push_all(&vec, items, 8);
  49. assert(ok);
  50. assert(vec.size == 13);
  51. assert(vec.data[0] == 3);
  52. assert(vec.data[1] == 14);
  53. assert(vec.data[2] == 15);
  54. assert(vec.data[3] == 92);
  55. assert(vec.data[4] == 65);
  56. assert(vec.data[5] == 1);
  57. assert(vec.data[6] == 2);
  58. assert(vec.data[7] == 3);
  59. assert(vec.data[8] == 4);
  60. assert(vec.data[9] == 5);
  61. assert(vec.data[10] == 6);
  62. assert(vec.data[11] == 7);
  63. assert(vec.data[12] == 8);
  64. sc_vector_destroy(&vec);
  65. }
  66. static void test_vector_insert_array(void) {
  67. struct SC_VECTOR(int) vec = SC_VECTOR_INITIALIZER;
  68. bool ok;
  69. ok = sc_vector_push(&vec, 3); assert(ok);
  70. ok = sc_vector_push(&vec, 14); assert(ok);
  71. ok = sc_vector_push(&vec, 15); assert(ok);
  72. ok = sc_vector_push(&vec, 92); assert(ok);
  73. ok = sc_vector_push(&vec, 65); assert(ok);
  74. assert(vec.size == 5);
  75. int items[] = { 1, 2, 3, 4, 5, 6, 7, 8 };
  76. ok = sc_vector_insert_all(&vec, 3, items, 8);
  77. assert(ok);
  78. assert(vec.size == 13);
  79. assert(vec.data[0] == 3);
  80. assert(vec.data[1] == 14);
  81. assert(vec.data[2] == 15);
  82. assert(vec.data[3] == 1);
  83. assert(vec.data[4] == 2);
  84. assert(vec.data[5] == 3);
  85. assert(vec.data[6] == 4);
  86. assert(vec.data[7] == 5);
  87. assert(vec.data[8] == 6);
  88. assert(vec.data[9] == 7);
  89. assert(vec.data[10] == 8);
  90. assert(vec.data[11] == 92);
  91. assert(vec.data[12] == 65);
  92. sc_vector_destroy(&vec);
  93. }
  94. static void test_vector_remove_slice(void) {
  95. struct SC_VECTOR(int) vec = SC_VECTOR_INITIALIZER;
  96. bool ok;
  97. for (int i = 0; i < 100; ++i)
  98. {
  99. ok = sc_vector_push(&vec, i);
  100. assert(ok);
  101. }
  102. assert(vec.size == 100);
  103. sc_vector_remove_slice(&vec, 32, 60);
  104. assert(vec.size == 40);
  105. assert(vec.data[31] == 31);
  106. assert(vec.data[32] == 92);
  107. sc_vector_destroy(&vec);
  108. }
  109. static void test_vector_swap_remove(void) {
  110. struct SC_VECTOR(int) vec = SC_VECTOR_INITIALIZER;
  111. bool ok;
  112. ok = sc_vector_push(&vec, 3); assert(ok);
  113. ok = sc_vector_push(&vec, 14); assert(ok);
  114. ok = sc_vector_push(&vec, 15); assert(ok);
  115. ok = sc_vector_push(&vec, 92); assert(ok);
  116. ok = sc_vector_push(&vec, 65); assert(ok);
  117. assert(vec.size == 5);
  118. sc_vector_swap_remove(&vec, 1);
  119. assert(vec.size == 4);
  120. assert(vec.data[0] == 3);
  121. assert(vec.data[1] == 65);
  122. assert(vec.data[2] == 15);
  123. assert(vec.data[3] == 92);
  124. sc_vector_destroy(&vec);
  125. }
  126. static void test_vector_index_of(void) {
  127. struct SC_VECTOR(int) vec;
  128. sc_vector_init(&vec);
  129. bool ok;
  130. for (int i = 0; i < 10; ++i)
  131. {
  132. ok = sc_vector_push(&vec, i);
  133. assert(ok);
  134. }
  135. ssize_t idx;
  136. idx = sc_vector_index_of(&vec, 0);
  137. assert(idx == 0);
  138. idx = sc_vector_index_of(&vec, 1);
  139. assert(idx == 1);
  140. idx = sc_vector_index_of(&vec, 4);
  141. assert(idx == 4);
  142. idx = sc_vector_index_of(&vec, 9);
  143. assert(idx == 9);
  144. idx = sc_vector_index_of(&vec, 12);
  145. assert(idx == -1);
  146. sc_vector_destroy(&vec);
  147. }
  148. static void test_vector_grow(void) {
  149. struct SC_VECTOR(int) vec = SC_VECTOR_INITIALIZER;
  150. bool ok;
  151. for (int i = 0; i < 50; ++i)
  152. {
  153. ok = sc_vector_push(&vec, i); /* append */
  154. assert(ok);
  155. }
  156. assert(vec.cap >= 50);
  157. assert(vec.size == 50);
  158. for (int i = 0; i < 25; ++i)
  159. {
  160. ok = sc_vector_insert(&vec, 20, i); /* insert in the middle */
  161. assert(ok);
  162. }
  163. assert(vec.cap >= 75);
  164. assert(vec.size == 75);
  165. for (int i = 0; i < 25; ++i)
  166. {
  167. ok = sc_vector_insert(&vec, 0, i); /* prepend */
  168. assert(ok);
  169. }
  170. assert(vec.cap >= 100);
  171. assert(vec.size == 100);
  172. for (int i = 0; i < 50; ++i)
  173. sc_vector_remove(&vec, 20); /* remove from the middle */
  174. assert(vec.cap >= 50);
  175. assert(vec.size == 50);
  176. for (int i = 0; i < 25; ++i)
  177. sc_vector_remove(&vec, 0); /* remove from the head */
  178. assert(vec.cap >= 25);
  179. assert(vec.size == 25);
  180. for (int i = 24; i >=0; --i)
  181. sc_vector_remove(&vec, i); /* remove from the tail */
  182. assert(vec.size == 0);
  183. sc_vector_destroy(&vec);
  184. }
  185. static void test_vector_exp_growth(void) {
  186. struct SC_VECTOR(int) vec = SC_VECTOR_INITIALIZER;
  187. size_t oldcap = vec.cap;
  188. int realloc_count = 0;
  189. bool ok;
  190. for (int i = 0; i < 10000; ++i)
  191. {
  192. ok = sc_vector_push(&vec, i);
  193. assert(ok);
  194. if (vec.cap != oldcap)
  195. {
  196. realloc_count++;
  197. oldcap = vec.cap;
  198. }
  199. }
  200. /* Test speciically for an expected growth factor of 1.5. In practice, the
  201. * result is even lower (19) due to the first alloc of size 10 */
  202. assert(realloc_count <= 23); /* ln(10000) / ln(1.5) ~= 23 */
  203. realloc_count = 0;
  204. for (int i = 9999; i >= 0; --i)
  205. {
  206. sc_vector_remove(&vec, i);
  207. if (vec.cap != oldcap)
  208. {
  209. realloc_count++;
  210. oldcap = vec.cap;
  211. }
  212. }
  213. assert(realloc_count <= 23); /* same expectations for removals */
  214. assert(realloc_count > 0); /* sc_vector_remove() must autoshrink */
  215. sc_vector_destroy(&vec);
  216. }
  217. static void test_vector_reserve(void) {
  218. struct SC_VECTOR(int) vec = SC_VECTOR_INITIALIZER;
  219. bool ok;
  220. ok = sc_vector_reserve(&vec, 800);
  221. assert(ok);
  222. assert(vec.cap >= 800);
  223. assert(vec.size == 0);
  224. size_t initial_cap = vec.cap;
  225. for (int i = 0; i < 800; ++i)
  226. {
  227. ok = sc_vector_push(&vec, i);
  228. assert(ok);
  229. assert(vec.cap == initial_cap); /* no realloc */
  230. }
  231. sc_vector_destroy(&vec);
  232. }
  233. static void test_vector_shrink_to_fit(void) {
  234. struct SC_VECTOR(int) vec = SC_VECTOR_INITIALIZER;
  235. bool ok;
  236. ok = sc_vector_reserve(&vec, 800);
  237. assert(ok);
  238. for (int i = 0; i < 250; ++i)
  239. {
  240. ok = sc_vector_push(&vec, i);
  241. assert(ok);
  242. }
  243. assert(vec.cap >= 800);
  244. assert(vec.size == 250);
  245. sc_vector_shrink_to_fit(&vec);
  246. assert(vec.cap == 250);
  247. assert(vec.size == 250);
  248. sc_vector_destroy(&vec);
  249. }
  250. static void test_vector_move(void) {
  251. struct SC_VECTOR(int) vec = SC_VECTOR_INITIALIZER;
  252. for (int i = 0; i < 7; ++i)
  253. {
  254. bool ok = sc_vector_push(&vec, i);
  255. assert(ok);
  256. }
  257. /* move item at 1 so that its new position is 4 */
  258. sc_vector_move(&vec, 1, 4);
  259. assert(vec.size == 7);
  260. assert(vec.data[0] == 0);
  261. assert(vec.data[1] == 2);
  262. assert(vec.data[2] == 3);
  263. assert(vec.data[3] == 4);
  264. assert(vec.data[4] == 1);
  265. assert(vec.data[5] == 5);
  266. assert(vec.data[6] == 6);
  267. sc_vector_destroy(&vec);
  268. }
  269. static void test_vector_move_slice_forward(void) {
  270. struct SC_VECTOR(int) vec = SC_VECTOR_INITIALIZER;
  271. for (int i = 0; i < 10; ++i)
  272. {
  273. bool ok = sc_vector_push(&vec, i);
  274. assert(ok);
  275. }
  276. /* move slice {2, 3, 4, 5} so that its new position is 5 */
  277. sc_vector_move_slice(&vec, 2, 4, 5);
  278. assert(vec.size == 10);
  279. assert(vec.data[0] == 0);
  280. assert(vec.data[1] == 1);
  281. assert(vec.data[2] == 6);
  282. assert(vec.data[3] == 7);
  283. assert(vec.data[4] == 8);
  284. assert(vec.data[5] == 2);
  285. assert(vec.data[6] == 3);
  286. assert(vec.data[7] == 4);
  287. assert(vec.data[8] == 5);
  288. assert(vec.data[9] == 9);
  289. sc_vector_destroy(&vec);
  290. }
  291. static void test_vector_move_slice_backward(void) {
  292. struct SC_VECTOR(int) vec = SC_VECTOR_INITIALIZER;
  293. for (int i = 0; i < 10; ++i)
  294. {
  295. bool ok = sc_vector_push(&vec, i);
  296. assert(ok);
  297. }
  298. /* move slice {5, 6, 7} so that its new position is 2 */
  299. sc_vector_move_slice(&vec, 5, 3, 2);
  300. assert(vec.size == 10);
  301. assert(vec.data[0] == 0);
  302. assert(vec.data[1] == 1);
  303. assert(vec.data[2] == 5);
  304. assert(vec.data[3] == 6);
  305. assert(vec.data[4] == 7);
  306. assert(vec.data[5] == 2);
  307. assert(vec.data[6] == 3);
  308. assert(vec.data[7] == 4);
  309. assert(vec.data[8] == 8);
  310. assert(vec.data[9] == 9);
  311. sc_vector_destroy(&vec);
  312. }
  313. int main(int argc, char *argv[]) {
  314. (void) argc;
  315. (void) argv;
  316. test_vector_insert_remove();
  317. test_vector_push_array();
  318. test_vector_insert_array();
  319. test_vector_remove_slice();
  320. test_vector_swap_remove();
  321. test_vector_move();
  322. test_vector_move_slice_forward();
  323. test_vector_move_slice_backward();
  324. test_vector_index_of();
  325. test_vector_grow();
  326. test_vector_exp_growth();
  327. test_vector_reserve();
  328. test_vector_shrink_to_fit();
  329. return 0;
  330. }