#include "arena.h"
#include <stdbool.h>
#include <stddef.h>
#include <stdint.h>
#include <stdlib.h>
#include <string.h>



ArenaResult arena_init(size_t capacity) {
    if (capacity < 1) {
        return (ArenaResult) {.is_valid = false, .err = ARENA_INVALID_SIZE};
    }

    void *buffer = malloc(capacity);
    if (buffer == NULL) {
        return (ArenaResult) {.is_valid = false, .err = ARENA_BAD_ALLOC};
    }

    Arena new_arena = {
        .buffer = buffer,
        .capacity = capacity,
        .offset = 0,
    };

    return (ArenaResult) {.is_valid = true, .arena = new_arena};
}

void arena_destroy(Arena *arena) {
    free(arena->buffer);
    arena->buffer = NULL;
    arena->offset = 0;
    arena->capacity = 0;
}

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};
    }

    SizeResult padding = arena_get_align_padding(arena, alignment);
    if (!padding.is_valid) {
        return (ArenaPointer) {.is_valid = false, .err = padding.err};
    }

    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 < 1) {
        return ARENA_INVALID_SIZE;
    }

    if (alignment < 1) {
        return ARENA_INVALID_ALIGN;
    }
    
    SizeResult padding = arena_get_align_padding(arena, alignment);
    if (!padding.is_valid) {
        return padding.err;
    }
    while (true) {
        if (arena->offset > SIZE_MAX - padding.val - size) {
            return ARENA_CAPACITY_OVERFLOW;
        }

        size_t required = arena->offset + padding.val + size;

        if (required <= arena->capacity) {
            return ARENA_OK;
        }

        size_t new_capacity;
        if (mul_size_t_safe(arena->capacity, 2, &new_capacity)) {
            return ARENA_CAPACITY_OVERFLOW;
        }

        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;
}



SizeResult arena_get_align_padding(Arena *arena, size_t alignment) {
    if (arena == NULL) {
        return (SizeResult) {.is_valid = false, .err = ARENA_NULL_ARG};
    }

    if (alignment < 1) {
        return (SizeResult) {.is_valid = false, .err = ARENA_INVALID_ALIGN};
    }

    uintptr_t current_address = (uintptr_t) (arena->buffer + arena->offset);
    uintptr_t aligned = ((current_address + (alignment - 1)) & ~(alignment - 1));

    return (SizeResult) {.is_valid = true, .err = aligned - current_address};
}

void *arena_unwrap_pointer(ArenaPointer p) {
    if (!p.is_valid) {
        return NULL;
    }
    return p.arena->buffer + p.offset;
}

bool mul_size_t_safe(size_t a, size_t b, size_t *out) {
    if (out == NULL) {
        return true;
    }

    if (a != 0 && b > SIZE_MAX / a) {
        return true;
    }

    *out = a * b;
    return false;
}