1 files changed, 137 insertions, 0 deletions
diff --git a/asl/memory/memory.hpp b/asl/memory/memory.hpp
new file mode 100644
index 0000000..de8e07d
--- /dev/null
+++ b/asl/memory/memory.hpp
@@ -0,0 +1,137 @@
+#pragma once
+
+#include "asl/base/integers.hpp"
+#include "asl/base/meta.hpp"
+#include "asl/base/utility.hpp"
+#include "asl/memory/layout.hpp"
+
+constexpr void* operator new(size_t, void* ptr)
+{
+    return ptr;
+}
+
+namespace asl
+{
+
+constexpr isize_t memcmp(const void* a, const void* b, isize_t size)
+{
+    return __builtin_memcmp(a, b, static_cast<size_t>(size));
+}
+
+constexpr void memcpy(void* dst, const void* src, isize_t size)
+{
+    __builtin_memcpy(dst, src, static_cast<size_t>(size));
+}
+
+inline void memzero(void* dst, isize_t size)
+{
+    __builtin_memset(dst, 0, static_cast<size_t>(size));
+}
+
+constexpr isize_t strlen(const char* s)
+{
+    return static_cast<isize_t>(__builtin_strlen(s));
+}
+
+template<typename T, typename... Args>
+constexpr T* construct_at(void* ptr, Args&&... args)
+    requires constructible_from<T, Args&&...>
+{
+    return new (ptr) T{ ASL_FWD(args)... };
+}
+
+template<typename T>
+constexpr void destroy(T* data)
+{
+    if constexpr (!trivially_destructible<T>)
+    {
+        data->~T();
+    }
+}
+
+template<typename T>
+constexpr void destroy_n(T* data, isize_t n)
+{
+    if constexpr (!trivially_destructible<T>)
+    {
+        for (isize_t i = 0; i < n; ++i)
+        {
+            destroy(data + i);
+        }
+    }
+}
+
+template<copy_constructible T>
+constexpr void copy_uninit_n(T* to, const T* from, isize_t n)
+{
+    if constexpr (trivially_copy_constructible<T>)
+    {
+        memcpy(to, from, size_of<T> * n);
+    }
+    else
+    {
+        for (isize_t i = 0; i < n; ++i)
+        {
+            // NOLINTNEXTLINE(*-pointer-arithmetic)
+            construct_at<T>(to + i, from[i]);
+        }
+    }
+}
+
+template<copy_assignable T>
+constexpr void copy_assign_n(T* to, const T* from, isize_t n)
+{
+    if constexpr (trivially_copy_constructible<T>)
+    {
+        memcpy(to, from, size_of<T> * n);
+    }
+    else
+    {
+        for (isize_t i = 0; i < n; ++i)
+        {
+            // NOLINTNEXTLINE(*-pointer-arithmetic)
+            to[i] = from[i];
+        }
+    }
+}
+
+template<move_constructible T>
+constexpr void relocate_uninit_n(T* to, T* from, isize_t n)
+{
+    if constexpr (trivially_move_constructible<T>)
+    {
+        static_assert(trivially_destructible<T>);
+        memcpy(to, from, size_of<T> * n);
+    }
+    else
+    {
+        for (isize_t i = 0; i < n; ++i)
+        {
+            // NOLINTNEXTLINE(*-pointer-arithmetic)
+            construct_at<T>(to + i, ASL_MOVE(from[i]));
+        }
+        destroy_n(from, n);
+    }
+}
+
+template<move_assignable T>
+constexpr void relocate_assign_n(T* to, T* from, isize_t n)
+{
+    if constexpr (trivially_move_assignable<T>)
+    {
+        static_assert(trivially_destructible<T>);
+        memcpy(to, from, size_of<T> * n);
+    }
+    else
+    {
+        for (isize_t i = 0; i < n; ++i)
+        {
+            // NOLINTNEXTLINE(*-pointer-arithmetic)
+            to[i] = ASL_MOVE(from[i]);
+        }
+        destroy_n(from, n);
+    }
+}
+
+} // namespace asl
+