Compare commits
29 Commits
b75d1f831c
...
main
| Author | SHA1 | Date | |
|---|---|---|---|
| b2bbb85fcc | |||
| fb832eab06 | |||
| 6c91e1f681 | |||
| f981ba92a8 | |||
| 7c7c68381c | |||
| 7af0ca7556 | |||
| 945aa9a27f | |||
| 8ebaf06d11 | |||
| 3d3b8596cc | |||
| 14eef43f8c | |||
| 54522fece5 | |||
| 15b5cc382f | |||
| d069a108ce | |||
| 6cea0ddf25 | |||
| 19a6faf40f | |||
| 121261e24b | |||
| cf848f2e37 | |||
| a207018511 | |||
| 0c2e819c2b | |||
| 39dfded924 | |||
| 0401069a63 | |||
| d6b613df10 | |||
| a8423ca80f | |||
| 00942d3bd6 | |||
| cde457593e | |||
| 47c0a04166 | |||
| d95d7f2b51 | |||
| 9e9875de6b | |||
| e8270791a4 |
2
.gitignore
vendored
2
.gitignore
vendored
@@ -52,3 +52,5 @@ rules.ninja
|
|||||||
*.swo
|
*.swo
|
||||||
*~
|
*~
|
||||||
|
|
||||||
|
# Git
|
||||||
|
COMMIT_MESSAGE
|
||||||
|
|||||||
@@ -1,33 +1,34 @@
|
|||||||
cmake_minimum_required(VERSION 3.20)
|
cmake_minimum_required(VERSION 3.20)
|
||||||
project(calculator VERSION 1.0 LANGUAGES C)
|
project(arena VERSION 1.0 LANGUAGES C)
|
||||||
|
|
||||||
set(CMAKE_C_STANDARD 11)
|
set(CMAKE_C_STANDARD 11)
|
||||||
set(CMAKE_C_STANDARD_REQUIRED ON)
|
set(CMAKE_C_STANDARD_REQUIRED ON)
|
||||||
|
|
||||||
# Export compile_commands.json (para clangd)
|
# Opciones
|
||||||
set(CMAKE_EXPORT_COMPILE_COMMANDS ON)
|
option(ARENA_BUILD_TESTS "Build arena tests" OFF)
|
||||||
|
option(ARENA_ENABLE_SANITIZERS "Enable sanitizers for tests" ON)
|
||||||
|
|
||||||
add_compile_options(
|
# Librería
|
||||||
|
add_library(arena
|
||||||
|
src/arena.c
|
||||||
|
)
|
||||||
|
|
||||||
|
target_include_directories(arena
|
||||||
|
PUBLIC
|
||||||
|
$<BUILD_INTERFACE:${CMAKE_CURRENT_SOURCE_DIR}/include>
|
||||||
|
$<INSTALL_INTERFACE:include>
|
||||||
|
)
|
||||||
|
|
||||||
|
target_compile_options(arena PRIVATE
|
||||||
-Wall
|
-Wall
|
||||||
-Wextra
|
-Wextra
|
||||||
-Wpedantic
|
-Wpedantic
|
||||||
)
|
)
|
||||||
|
|
||||||
|
|
||||||
include_directories(include)
|
|
||||||
|
|
||||||
add_library(arena_lib
|
|
||||||
src/arena.c
|
|
||||||
)
|
|
||||||
|
|
||||||
add_executable(arena_main src/main.c)
|
|
||||||
|
|
||||||
target_link_libraries(arena_main arena_lib)
|
|
||||||
|
|
||||||
# ------------------------
|
# ------------------------
|
||||||
# Testing
|
# Testing
|
||||||
# ------------------------
|
# ------------------------
|
||||||
|
if(ARENA_BUILD_TESTS)
|
||||||
enable_testing()
|
enable_testing()
|
||||||
add_subdirectory(test)
|
add_subdirectory(test)
|
||||||
|
endif()
|
||||||
@@ -1,4 +1,63 @@
|
|||||||
#ifndef ARENA_H
|
#ifndef ARENA_H
|
||||||
#define ARENA_H
|
#define ARENA_H
|
||||||
|
|
||||||
|
#include <stdint.h>
|
||||||
|
#include <stdlib.h>
|
||||||
|
#include <inttypes.h>
|
||||||
|
#include <stdbool.h>
|
||||||
|
|
||||||
|
typedef struct Arena Arena;
|
||||||
|
|
||||||
|
typedef enum {
|
||||||
|
ARENA_OK = 0,
|
||||||
|
ARENA_BAD_ALLOC,
|
||||||
|
ARENA_OUT_OF_SPACE,
|
||||||
|
ARENA_NULL_ARG,
|
||||||
|
ARENA_INVALID_SIZE,
|
||||||
|
ARENA_INVALID_ALIGN,
|
||||||
|
ARENA_CAPACITY_OVERFLOW,
|
||||||
|
} ArenaErr;
|
||||||
|
|
||||||
|
typedef struct {
|
||||||
|
bool is_valid;
|
||||||
|
union {
|
||||||
|
ArenaErr err;
|
||||||
|
struct {
|
||||||
|
Arena *arena;
|
||||||
|
size_t offset;
|
||||||
|
};
|
||||||
|
};
|
||||||
|
} ArenaPointer;
|
||||||
|
|
||||||
|
typedef struct {
|
||||||
|
bool is_valid;
|
||||||
|
union {
|
||||||
|
ArenaErr err;
|
||||||
|
Arena *arena;
|
||||||
|
};
|
||||||
|
} ArenaResult;
|
||||||
|
|
||||||
|
typedef struct {
|
||||||
|
bool is_valid;
|
||||||
|
union {
|
||||||
|
ArenaErr err;
|
||||||
|
size_t val;
|
||||||
|
};
|
||||||
|
} ArenaSizeResult;
|
||||||
|
|
||||||
|
ArenaErr arena_init(Arena **arena, size_t capacity);
|
||||||
|
ArenaErr arena_destroy(Arena **arena);
|
||||||
|
|
||||||
|
ArenaPointer arena_alloc(Arena *arena, size_t size, size_t alignment);
|
||||||
|
ArenaPointer arena_push(Arena *arena, void *data, size_t size, size_t alignment);
|
||||||
|
ArenaErr arena_realloc(Arena *arena, size_t new_capacity);
|
||||||
|
void *arena_unwrap_pointer(ArenaPointer p);
|
||||||
|
|
||||||
|
ArenaSizeResult arena_get_align_padding(Arena *arena, size_t alignment);
|
||||||
|
// can take big sizes but of sourse there is a limit,
|
||||||
|
// its protected against SIZE_MAX but anything that
|
||||||
|
// is big may break it, still, is an edge case that
|
||||||
|
// I shouldn't cover.
|
||||||
|
ArenaErr arena_ensure_capacity(Arena *arena, size_t size, size_t alignment);
|
||||||
|
|
||||||
#endif // !ARENA_H
|
#endif // !ARENA_H
|
||||||
|
|||||||
231
src/arena.c
231
src/arena.c
@@ -1 +1,232 @@
|
|||||||
#include "arena.h"
|
#include "arena.h"
|
||||||
|
#include <stdbool.h>
|
||||||
|
#include <stddef.h>
|
||||||
|
#include <stdint.h>
|
||||||
|
#include <stdlib.h>
|
||||||
|
#include <string.h>
|
||||||
|
|
||||||
|
struct Arena {
|
||||||
|
uint8_t *buffer;
|
||||||
|
size_t capacity;
|
||||||
|
size_t offset;
|
||||||
|
};
|
||||||
|
|
||||||
|
|
||||||
|
ArenaErr arena_init(Arena **arena, size_t capacity) {
|
||||||
|
if (arena == NULL) {
|
||||||
|
return ARENA_NULL_ARG;
|
||||||
|
}
|
||||||
|
|
||||||
|
if (capacity < 1) {
|
||||||
|
return ARENA_INVALID_SIZE;
|
||||||
|
}
|
||||||
|
|
||||||
|
Arena *new_arena = malloc(sizeof(Arena));
|
||||||
|
if (new_arena == NULL) {
|
||||||
|
return ARENA_BAD_ALLOC;
|
||||||
|
}
|
||||||
|
|
||||||
|
void *buffer = malloc(capacity);
|
||||||
|
if (buffer == NULL) {
|
||||||
|
return ARENA_BAD_ALLOC;
|
||||||
|
}
|
||||||
|
|
||||||
|
*new_arena = (Arena) {
|
||||||
|
.buffer = buffer,
|
||||||
|
.capacity = capacity,
|
||||||
|
.offset = 0,
|
||||||
|
};
|
||||||
|
|
||||||
|
*arena = new_arena;
|
||||||
|
|
||||||
|
return ARENA_OK;
|
||||||
|
}
|
||||||
|
|
||||||
|
ArenaErr arena_destroy(Arena **arena) {
|
||||||
|
if (arena == NULL || *arena == NULL) {
|
||||||
|
return ARENA_NULL_ARG;
|
||||||
|
}
|
||||||
|
|
||||||
|
free((*arena)->buffer);
|
||||||
|
(*arena)->buffer = NULL;
|
||||||
|
(*arena)->offset = 0;
|
||||||
|
(*arena)->capacity = 0;
|
||||||
|
free(*arena);
|
||||||
|
*arena = NULL;
|
||||||
|
|
||||||
|
return ARENA_OK;
|
||||||
|
}
|
||||||
|
|
||||||
|
ArenaPointer arena_alloc(Arena *arena, size_t size, size_t alignment) {
|
||||||
|
if (arena == NULL) {
|
||||||
|
return (ArenaPointer) {.is_valid = false, .err = ARENA_NULL_ARG};
|
||||||
|
}
|
||||||
|
|
||||||
|
if (size < 1) {
|
||||||
|
return (ArenaPointer) {.is_valid = false, .err = ARENA_INVALID_SIZE};
|
||||||
|
}
|
||||||
|
|
||||||
|
if (alignment < 1) {
|
||||||
|
return (ArenaPointer) {.is_valid = false, .err = ARENA_INVALID_ALIGN};
|
||||||
|
}
|
||||||
|
|
||||||
|
ArenaSizeResult padding = arena_get_align_padding(arena, alignment);
|
||||||
|
if (!padding.is_valid) {
|
||||||
|
return (ArenaPointer) {.is_valid = false, .err = padding.err};
|
||||||
|
}
|
||||||
|
|
||||||
|
ArenaErr cap_err = arena_ensure_capacity(arena, size, alignment);
|
||||||
|
if(cap_err != ARENA_OK) {
|
||||||
|
return (ArenaPointer) {.is_valid = false, .err = ARENA_OUT_OF_SPACE};
|
||||||
|
}
|
||||||
|
|
||||||
|
if (arena->offset + padding.val + size > arena->capacity) {
|
||||||
|
return (ArenaPointer) {.is_valid = false, .err = ARENA_OUT_OF_SPACE};
|
||||||
|
}
|
||||||
|
|
||||||
|
if (arena->offset > SIZE_MAX - padding.val - size) {
|
||||||
|
return (ArenaPointer) {.is_valid = false, .err = ARENA_CAPACITY_OVERFLOW};
|
||||||
|
}
|
||||||
|
|
||||||
|
size_t aligned_offset = arena->offset + padding.val;
|
||||||
|
|
||||||
|
arena->offset = aligned_offset + size;
|
||||||
|
return (ArenaPointer) {.is_valid = true, .offset = aligned_offset, .arena = arena};
|
||||||
|
}
|
||||||
|
|
||||||
|
ArenaErr arena_ensure_capacity(Arena *arena, size_t size, size_t alignment) {
|
||||||
|
if (arena == NULL) {
|
||||||
|
return ARENA_NULL_ARG;
|
||||||
|
}
|
||||||
|
|
||||||
|
if (size == 0 || size == SIZE_MAX) {
|
||||||
|
return ARENA_INVALID_SIZE;
|
||||||
|
}
|
||||||
|
|
||||||
|
if (alignment == 0 || (alignment & (alignment - 1)) != 0) {
|
||||||
|
return ARENA_INVALID_ALIGN;
|
||||||
|
}
|
||||||
|
|
||||||
|
ArenaSizeResult padding_res = arena_get_align_padding(arena, alignment);
|
||||||
|
if (!padding_res.is_valid) {
|
||||||
|
return padding_res.err;
|
||||||
|
}
|
||||||
|
|
||||||
|
size_t padding = padding_res.val;
|
||||||
|
|
||||||
|
while (true) {
|
||||||
|
size_t required;
|
||||||
|
|
||||||
|
if (arena->offset > SIZE_MAX - padding) {
|
||||||
|
return ARENA_CAPACITY_OVERFLOW;
|
||||||
|
}
|
||||||
|
required = arena->offset + padding;
|
||||||
|
|
||||||
|
if (required > SIZE_MAX - size) {
|
||||||
|
return ARENA_CAPACITY_OVERFLOW;
|
||||||
|
}
|
||||||
|
required += size;
|
||||||
|
|
||||||
|
if (required <= arena->capacity) {
|
||||||
|
return ARENA_OK;
|
||||||
|
}
|
||||||
|
|
||||||
|
size_t new_capacity;
|
||||||
|
|
||||||
|
if (arena->capacity > SIZE_MAX / 2) {
|
||||||
|
return ARENA_CAPACITY_OVERFLOW;
|
||||||
|
}
|
||||||
|
|
||||||
|
new_capacity = arena->capacity * 2;
|
||||||
|
|
||||||
|
if (new_capacity < required) {
|
||||||
|
new_capacity = required;
|
||||||
|
}
|
||||||
|
|
||||||
|
ArenaErr err = arena_realloc(arena, new_capacity);
|
||||||
|
if (err != ARENA_OK) {
|
||||||
|
return err;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
ArenaPointer arena_push(Arena *arena, void *data, size_t size, size_t alignment) {
|
||||||
|
if (arena == NULL || data == NULL) {
|
||||||
|
return (ArenaPointer) {.is_valid = false, .err = ARENA_NULL_ARG};
|
||||||
|
}
|
||||||
|
|
||||||
|
if (size < 1) {
|
||||||
|
return (ArenaPointer) {.is_valid = false, .err = ARENA_INVALID_SIZE};
|
||||||
|
}
|
||||||
|
|
||||||
|
if (size < 1) {
|
||||||
|
return (ArenaPointer) {.is_valid = false, .err = ARENA_INVALID_ALIGN};
|
||||||
|
}
|
||||||
|
|
||||||
|
ArenaErr err = arena_ensure_capacity(arena, size, alignment);
|
||||||
|
if (err != ARENA_OK) {
|
||||||
|
return (ArenaPointer) {.is_valid = false, .err = err};
|
||||||
|
}
|
||||||
|
|
||||||
|
ArenaPointer pointer = arena_alloc(arena, size, alignment);
|
||||||
|
if (!pointer.is_valid) {
|
||||||
|
return pointer;
|
||||||
|
}
|
||||||
|
|
||||||
|
memcpy(
|
||||||
|
arena_unwrap_pointer(pointer),
|
||||||
|
data,
|
||||||
|
size);
|
||||||
|
|
||||||
|
return pointer;
|
||||||
|
}
|
||||||
|
|
||||||
|
ArenaErr arena_realloc(Arena *arena, size_t new_capacity) {
|
||||||
|
if (arena == NULL) {
|
||||||
|
return ARENA_NULL_ARG;
|
||||||
|
}
|
||||||
|
|
||||||
|
if (new_capacity < 1) {
|
||||||
|
return ARENA_INVALID_SIZE;
|
||||||
|
}
|
||||||
|
|
||||||
|
uint8_t *tmp = realloc(arena->buffer, new_capacity);
|
||||||
|
if (tmp == NULL) {
|
||||||
|
return ARENA_BAD_ALLOC;
|
||||||
|
}
|
||||||
|
|
||||||
|
arena->buffer = tmp;
|
||||||
|
arena->capacity = new_capacity;
|
||||||
|
return ARENA_OK;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
ArenaSizeResult arena_get_align_padding(Arena *arena, size_t alignment) {
|
||||||
|
if (arena == NULL) {
|
||||||
|
return (ArenaSizeResult){ .is_valid = false, .err = ARENA_NULL_ARG };
|
||||||
|
}
|
||||||
|
|
||||||
|
if (alignment == 0 || (alignment & (alignment - 1)) != 0) {
|
||||||
|
return (ArenaSizeResult){ .is_valid = false, .err = ARENA_INVALID_ALIGN };
|
||||||
|
}
|
||||||
|
|
||||||
|
uintptr_t current_address = (uintptr_t)(arena->buffer + arena->offset);
|
||||||
|
|
||||||
|
size_t mask = alignment - 1;
|
||||||
|
size_t padding = (size_t)(-current_address) & mask;
|
||||||
|
|
||||||
|
return (ArenaSizeResult){
|
||||||
|
.is_valid = true,
|
||||||
|
.val = padding
|
||||||
|
};
|
||||||
|
}
|
||||||
|
|
||||||
|
void *arena_unwrap_pointer(ArenaPointer p) {
|
||||||
|
if (!p.is_valid) {
|
||||||
|
return NULL;
|
||||||
|
}
|
||||||
|
return p.arena->buffer + p.offset;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
|||||||
@@ -3,8 +3,21 @@ find_package(cmocka REQUIRED)
|
|||||||
add_executable(test_arena test_arena.c)
|
add_executable(test_arena test_arena.c)
|
||||||
|
|
||||||
target_link_libraries(test_arena
|
target_link_libraries(test_arena
|
||||||
arena_lib
|
arena
|
||||||
cmocka::cmocka
|
cmocka::cmocka
|
||||||
)
|
)
|
||||||
|
|
||||||
|
# Sanitizers (solo si están activados y el compilador lo soporta)
|
||||||
|
if(ARENA_ENABLE_SANITIZERS)
|
||||||
|
if(CMAKE_C_COMPILER_ID MATCHES "GNU|Clang")
|
||||||
|
target_compile_options(test_arena PRIVATE
|
||||||
|
-fsanitize=address
|
||||||
|
-fno-omit-frame-pointer
|
||||||
|
)
|
||||||
|
target_link_options(test_arena PRIVATE
|
||||||
|
-fsanitize=address
|
||||||
|
)
|
||||||
|
endif()
|
||||||
|
endif()
|
||||||
|
|
||||||
add_test(NAME arena_tests COMMAND test_arena)
|
add_test(NAME arena_tests COMMAND test_arena)
|
||||||
|
|||||||
@@ -1,6 +1,214 @@
|
|||||||
#include "arena.h"
|
#include <stdalign.h>
|
||||||
#include <stdlib.h>
|
#include <stdlib.h>
|
||||||
|
#include <stdarg.h>
|
||||||
|
#include <stdbool.h>
|
||||||
|
#include <stddef.h>
|
||||||
|
#include <stdint.h>
|
||||||
|
#include <setjmp.h>
|
||||||
|
#include <cmocka.h>
|
||||||
|
#include <string.h>
|
||||||
|
#include <limits.h>
|
||||||
|
|
||||||
|
#include "arena.h"
|
||||||
|
|
||||||
|
static void test_push_3_ints(void **state) {
|
||||||
|
(void) state;
|
||||||
|
|
||||||
|
Arena *arena;
|
||||||
|
assert_uint_equal(arena_init(&arena, sizeof(int) * 3), ARENA_OK);
|
||||||
|
|
||||||
|
int int_to_push = 20;
|
||||||
|
ArenaPointer result = arena_push(arena, &int_to_push, sizeof(int), alignof(int));
|
||||||
|
assert_true(result.is_valid);
|
||||||
|
assert_int_equal(20, *(int*)arena_unwrap_pointer(result));
|
||||||
|
assert_int_equal(20, *(int*)arena_unwrap_pointer(result));
|
||||||
|
|
||||||
|
int_to_push = 30;
|
||||||
|
result = arena_push(arena, &int_to_push, sizeof(int), alignof(int));
|
||||||
|
assert_true(result.is_valid);
|
||||||
|
assert_int_equal(30, *(int*)arena_unwrap_pointer(result));
|
||||||
|
|
||||||
|
int_to_push = 40;
|
||||||
|
result = arena_push(arena, &int_to_push, sizeof(int), alignof(int));
|
||||||
|
assert_true(result.is_valid);
|
||||||
|
assert_int_equal(40, *(int*)arena_unwrap_pointer(result));
|
||||||
|
|
||||||
|
arena_destroy(&arena);
|
||||||
|
}
|
||||||
|
|
||||||
|
static void test_push_3_ints_2_doubles(void **state) {
|
||||||
|
(void) state;
|
||||||
|
|
||||||
|
Arena *arena;
|
||||||
|
assert_uint_equal(
|
||||||
|
arena_init(&arena, (sizeof(int) * 3) + (sizeof(double) * 2)),
|
||||||
|
ARENA_OK
|
||||||
|
);
|
||||||
|
|
||||||
|
int int_to_push = 20;
|
||||||
|
ArenaPointer result = arena_push(arena, &int_to_push, sizeof(int), alignof(int));
|
||||||
|
assert_true(result.is_valid);
|
||||||
|
assert_int_equal(20, *(int*)arena_unwrap_pointer(result));
|
||||||
|
|
||||||
|
double double_to_push = 4.57;
|
||||||
|
result = arena_push(arena, &double_to_push, sizeof(double), alignof(double));
|
||||||
|
assert_true(result.is_valid);
|
||||||
|
assert_double_equal(4.57, *(double*)arena_unwrap_pointer(result), 1e-6);
|
||||||
|
|
||||||
|
int_to_push = 30;
|
||||||
|
result = arena_push(arena, &int_to_push, sizeof(int), alignof(int));
|
||||||
|
assert_true(result.is_valid);
|
||||||
|
assert_int_equal(30, *(int*)arena_unwrap_pointer(result));
|
||||||
|
|
||||||
|
int_to_push = 40;
|
||||||
|
result = arena_push(arena, &int_to_push, sizeof(int), alignof(int));
|
||||||
|
assert_true(result.is_valid);
|
||||||
|
assert_int_equal(40, *(int*)arena_unwrap_pointer(result));
|
||||||
|
|
||||||
|
double_to_push = 267.33;
|
||||||
|
result = arena_push(arena, &double_to_push, sizeof(double), alignof(double));
|
||||||
|
assert_true(result.is_valid);
|
||||||
|
assert_double_equal(267.33, *(double*)arena_unwrap_pointer(result), 1e-6);
|
||||||
|
|
||||||
|
arena_destroy(&arena);
|
||||||
|
}
|
||||||
|
|
||||||
|
static void test_init_arena_0_cap(void **state) {
|
||||||
|
(void) state;
|
||||||
|
|
||||||
|
Arena *arena;
|
||||||
|
assert_int_equal(arena_init(&arena, 0), ARENA_INVALID_SIZE);
|
||||||
|
}
|
||||||
|
|
||||||
|
static void test_arena_alloc_size_0(void **state) {
|
||||||
|
(void) state;
|
||||||
|
|
||||||
|
Arena *arena;
|
||||||
|
assert_uint_equal(arena_init(&arena, 64), ARENA_OK);
|
||||||
|
|
||||||
|
ArenaPointer pointer = arena_alloc(arena, 0, alignof(int));
|
||||||
|
assert_false(pointer.is_valid);
|
||||||
|
assert_int_equal(pointer.err, ARENA_INVALID_SIZE);
|
||||||
|
|
||||||
|
arena_destroy(&arena);
|
||||||
|
}
|
||||||
|
|
||||||
|
static void test_arena_alloc_size_max(void **state) {
|
||||||
|
(void) state;
|
||||||
|
|
||||||
|
Arena *arena;
|
||||||
|
assert_uint_equal(arena_init(&arena, 64), ARENA_OK);
|
||||||
|
|
||||||
|
ArenaPointer pointer = arena_alloc(arena, SIZE_MAX, alignof(int));
|
||||||
|
assert_false(pointer.is_valid);
|
||||||
|
assert_int_equal(pointer.err, ARENA_OUT_OF_SPACE);
|
||||||
|
|
||||||
|
arena_destroy(&arena);
|
||||||
|
}
|
||||||
|
|
||||||
|
static void test_arena_alloc_align_0(void **state) {
|
||||||
|
(void) state;
|
||||||
|
|
||||||
|
Arena *arena;
|
||||||
|
assert_uint_equal(arena_init(&arena, 64), ARENA_OK);
|
||||||
|
|
||||||
|
ArenaPointer pointer = arena_alloc(arena, sizeof(int), 0);
|
||||||
|
assert_false(pointer.is_valid);
|
||||||
|
assert_int_equal(pointer.err, ARENA_INVALID_ALIGN);
|
||||||
|
|
||||||
|
arena_destroy(&arena);
|
||||||
|
}
|
||||||
|
|
||||||
|
static void test_arena_alloc_align_max(void **state) {
|
||||||
|
(void) state;
|
||||||
|
|
||||||
|
Arena *arena;
|
||||||
|
assert_uint_equal(arena_init(&arena, 64), ARENA_OK);
|
||||||
|
|
||||||
|
ArenaPointer pointer = arena_alloc(arena, sizeof(int), SIZE_MAX);
|
||||||
|
assert_false(pointer.is_valid);
|
||||||
|
assert_int_equal(pointer.err, ARENA_INVALID_ALIGN);
|
||||||
|
|
||||||
|
arena_destroy(&arena);
|
||||||
|
}
|
||||||
|
|
||||||
|
static void test_arena_align_size_0(void **state) {
|
||||||
|
(void) state;
|
||||||
|
|
||||||
|
Arena *arena;
|
||||||
|
assert_uint_equal(arena_init(&arena, 64), ARENA_OK);
|
||||||
|
|
||||||
|
ArenaPointer pointer = arena_alloc(arena, sizeof(int), 0);
|
||||||
|
assert_false(pointer.is_valid);
|
||||||
|
assert_int_equal(pointer.err, ARENA_INVALID_ALIGN);
|
||||||
|
|
||||||
|
arena_destroy(&arena);
|
||||||
|
}
|
||||||
|
|
||||||
|
static void test_arena_ensure_capacity_size_0(void **state) {
|
||||||
|
(void) state;
|
||||||
|
|
||||||
|
Arena *arena;
|
||||||
|
assert_uint_equal(arena_init(&arena, 64), ARENA_OK);
|
||||||
|
|
||||||
|
ArenaErr err = arena_ensure_capacity(arena, 0, alignof(int));
|
||||||
|
assert_int_equal(err, ARENA_INVALID_SIZE);
|
||||||
|
|
||||||
|
arena_destroy(&arena);
|
||||||
|
}
|
||||||
|
|
||||||
|
static void test_arena_ensure_capacity_size_max(void **state) {
|
||||||
|
(void) state;
|
||||||
|
|
||||||
|
Arena *arena;
|
||||||
|
assert_uint_equal(arena_init(&arena, 64), ARENA_OK);
|
||||||
|
|
||||||
|
ArenaErr err = arena_ensure_capacity(arena, SIZE_MAX, alignof(int));
|
||||||
|
assert_int_equal(err, ARENA_INVALID_SIZE);
|
||||||
|
|
||||||
|
arena_destroy(&arena);
|
||||||
|
}
|
||||||
|
|
||||||
|
static void test_arena_ensure_capacity_align_0(void **state) {
|
||||||
|
(void) state;
|
||||||
|
|
||||||
|
Arena *arena;
|
||||||
|
assert_uint_equal(arena_init(&arena, 64), ARENA_OK);
|
||||||
|
|
||||||
|
ArenaErr err = arena_ensure_capacity(arena, sizeof(int), 0);
|
||||||
|
assert_int_equal(err, ARENA_INVALID_ALIGN);
|
||||||
|
|
||||||
|
arena_destroy(&arena);
|
||||||
|
}
|
||||||
|
|
||||||
|
static void test_arena_ensure_capacity_align_max(void **state) {
|
||||||
|
(void) state;
|
||||||
|
|
||||||
|
Arena *arena;
|
||||||
|
assert_uint_equal(arena_init(&arena, 64), ARENA_OK);
|
||||||
|
|
||||||
|
ArenaErr err = arena_ensure_capacity(arena, sizeof(int), SIZE_MAX);
|
||||||
|
assert_int_equal(err, ARENA_INVALID_ALIGN);
|
||||||
|
|
||||||
|
arena_destroy(&arena);
|
||||||
|
}
|
||||||
|
|
||||||
int main(void) {
|
int main(void) {
|
||||||
return EXIT_SUCCESS;
|
const struct CMUnitTest tests[] = {
|
||||||
|
cmocka_unit_test(test_push_3_ints),
|
||||||
|
cmocka_unit_test(test_push_3_ints_2_doubles),
|
||||||
|
cmocka_unit_test(test_init_arena_0_cap),
|
||||||
|
cmocka_unit_test(test_arena_alloc_size_0),
|
||||||
|
cmocka_unit_test(test_arena_alloc_size_max),
|
||||||
|
cmocka_unit_test(test_arena_alloc_align_0),
|
||||||
|
cmocka_unit_test(test_arena_alloc_align_max),
|
||||||
|
cmocka_unit_test(test_arena_align_size_0),
|
||||||
|
cmocka_unit_test(test_arena_ensure_capacity_align_0),
|
||||||
|
cmocka_unit_test(test_arena_ensure_capacity_align_max),
|
||||||
|
cmocka_unit_test(test_arena_ensure_capacity_size_0),
|
||||||
|
cmocka_unit_test(test_arena_ensure_capacity_size_max),
|
||||||
|
};
|
||||||
|
|
||||||
|
|
||||||
|
return cmocka_run_group_tests(tests, NULL, NULL);
|
||||||
}
|
}
|
||||||
|
|||||||
Reference in New Issue
Block a user