From 5ee185a4896e43c67b6d299becfa616da78fb9f4 Mon Sep 17 00:00:00 2001
From: Bruce Hill <bruce@bruce-hill.com>
Date: Fri, 21 Mar 2025 21:48:53 -0400
Subject: Move stdlib into src/

---
 src/stdlib/datatypes.h | 120 +++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 120 insertions(+)
 create mode 100644 src/stdlib/datatypes.h

(limited to 'src/stdlib/datatypes.h')

diff --git a/src/stdlib/datatypes.h b/src/stdlib/datatypes.h
new file mode 100644
index 00000000..b81ff741
--- /dev/null
+++ b/src/stdlib/datatypes.h
@@ -0,0 +1,120 @@
+#pragma once
+
+// Common datastructures (arrays, tables, closures)
+
+#include <gmp.h>
+#include <pthread.h>
+#include <stdbool.h>
+#include <stdint.h>
+#include <time.h>
+
+#define ARRAY_LENGTH_BITS 42
+#define ARRAY_FREE_BITS 6
+#define ARRAY_REFCOUNT_BITS 3
+#define ARRAY_STRIDE_BITS 12
+
+#define MAX_FOR_N_BITS(N) ((1<<(N))-1)
+#define ARRAY_MAX_STRIDE MAX_FOR_N_BITS(ARRAY_STRIDE_BITS-1)
+#define ARRAY_MIN_STRIDE (~MAX_FOR_N_BITS(ARRAY_STRIDE_BITS-1))
+#define ARRAY_MAX_DATA_REFCOUNT MAX_FOR_N_BITS(ARRAY_REFCOUNT_BITS)
+#define ARRAY_MAX_FREE_ENTRIES MAX_FOR_N_BITS(ARRAY_FREE_BITS)
+
+#define Num_t double
+#define Num32_t float
+
+#define Int64_t int64_t
+#define Int32_t int32_t
+#define Int16_t int16_t
+#define Int8_t int8_t
+#define Byte_t uint8_t
+#define Bool_t bool
+
+typedef union {
+    int64_t small;
+    mpz_t *big;
+} Int_t;
+
+typedef struct {
+    void *data;
+    // All of the following fields add up to 64 bits, which means that array
+    // structs can be passed in two 64-bit registers. C will handle doing the
+    // bit arithmetic to extract the necessary values, which is cheaper than
+    // spilling onto the stack and needing to retrieve data from the stack.
+    int64_t length:ARRAY_LENGTH_BITS;
+    uint8_t free:ARRAY_FREE_BITS;
+    bool atomic:1;
+    uint8_t data_refcount:ARRAY_REFCOUNT_BITS;
+    int16_t stride:ARRAY_STRIDE_BITS;
+} Array_t;
+
+typedef struct {
+    uint32_t occupied:1, index:31;
+    uint32_t next_bucket;
+} bucket_t;
+
+#define TABLE_MAX_BUCKETS 0x7fffffff
+#define TABLE_MAX_DATA_REFCOUNT 3
+
+typedef struct {
+    uint32_t count:31, last_free:31;
+    uint8_t data_refcount:2;
+    bucket_t buckets[];
+} bucket_info_t;
+
+typedef struct table_s {
+    Array_t entries;
+    uint64_t hash;
+    bucket_info_t *bucket_info;
+    struct table_s *fallback;
+} Table_t;
+
+typedef struct {
+    void *fn, *userdata;
+} Closure_t;
+
+enum text_type { TEXT_ASCII, TEXT_GRAPHEMES, TEXT_CONCAT };
+
+typedef struct Text_s {
+    int64_t length:54; // Number of grapheme clusters
+    uint8_t tag:2;
+    uint8_t depth:8;
+    union {
+        struct {
+            const char *ascii;
+            // char ascii_buf[8];
+        };
+        struct {
+            const int32_t *graphemes;
+            // int32_t grapheme_buf[2];
+        };
+        struct {
+            const struct Text_s *left, *right;
+        };
+    };
+} Text_t;
+
+#define Pattern_t Text_t
+#define OptionalPattern_t Text_t
+
+typedef struct {
+    enum { PATH_NONE, PATH_RELATIVE, PATH_ABSOLUTE, PATH_HOME } $tag;
+} PathType_t;
+#define OptionalPathType_t PathType_t
+
+typedef struct {
+    PathType_t type;
+    Array_t components;
+} Path_t;
+#define OptionalPath_t Path_t
+
+typedef struct timeval Moment_t;
+#define OptionalMoment_t Moment_t
+
+typedef struct RNGState_t* RNG_t;
+
+typedef struct MutexedData_s {
+    pthread_mutex_t mutex;
+    void *data;
+} *MutexedData_t;
+
+// vim: ts=4 sw=0 et cino=L2,l1,(0,W4,m1,\:0
-- 
cgit v1.2.3