Infrastructure for future runtime library integration

Author: t81dev

README.md

@@ -139,8 +139,9 @@ Optional arguments:
   `__builtin_ternary_tb2t`, `__builtin_ternary_tt2b`, `__builtin_ternary_t2f`, and `__builtin_ternary_f2t`.
 - `-fplugin-arg-ternary_plugin-types` enables builtin ternary integer types `t32_t`, `t64_t`,
   `t128_t` with packed 2-bit trit storage.
-- `-fplugin-arg-ternary_plugin-prefix=<name>` sets the function name prefix used by `-lower`
-  (default: `__ternary_select`).
+- `-fplugin-arg-ternary_plugin-prefix=<name>` sets the base helper prefix used by lowering
+  (default: `__ternary`). For example, select helpers become `<prefix>_select_i32` and arithmetic
+  helpers become `<prefix>_add`, `<prefix>_sub`, etc.
 
 Example with trace/dumps enabled:
 

include/ternary.h

@@ -43,6 +43,16 @@ extern int __builtin_ternary_tt2b(t32_t v);
 extern float __builtin_ternary_t2f(t32_t v);
 extern t32_t __builtin_ternary_f2t(float v);
 
+// Ternary-specific comparison builtins (return ternary results)
+extern t32_t __builtin_ternary_cmplt(t32_t a, t32_t b);
+extern t32_t __builtin_ternary_cmpeq(t32_t a, t32_t b);
+extern t32_t __builtin_ternary_cmpgt(t32_t a, t32_t b);
+extern t32_t __builtin_ternary_cmpneq(t32_t a, t32_t b);
+extern t64_t __builtin_ternary_cmplt_t64(t64_t a, t64_t b);
+extern t64_t __builtin_ternary_cmpeq_t64(t64_t a, t64_t b);
+extern t64_t __builtin_ternary_cmpgt_t64(t64_t a, t64_t b);
+extern t64_t __builtin_ternary_cmpneq_t64(t64_t a, t64_t b);
+
 // Vector builtins
 extern v2t32_t __builtin_ternary_add_v2t32(v2t32_t a, v2t32_t b);
 extern v4t64_t __builtin_ternary_mul_v4t64(v4t64_t a, v4t64_t b);

include/ternary_runtime.h

@@ -82,6 +82,12 @@ t32_t __ternary_f2t64_t32(double v);
 int __ternary_cmp_t32(t32_t a, t32_t b);
 t32_t __ternary_bt_str_t32(const char *s);
 
+/* Ternary-specific comparison operations (return ternary results) */
+t32_t __ternary_cmplt_t32(t32_t a, t32_t b);
+t32_t __ternary_cmpeq_t32(t32_t a, t32_t b);
+t32_t __ternary_cmpgt_t32(t32_t a, t32_t b);
+t32_t __ternary_cmpneq_t32(t32_t a, t32_t b);
+
 t64_t __ternary_add_t64(t64_t a, t64_t b);
 t64_t __ternary_mul_t64(t64_t a, t64_t b);
 t64_t __ternary_not_t64(t64_t a);
@@ -105,6 +111,12 @@ t64_t __ternary_f2t64_t64(double v);
 int __ternary_cmp_t64(t64_t a, t64_t b);
 t64_t __ternary_bt_str_t64(const char *s);
 
+/* Ternary-specific comparison operations for t64 (return ternary results) */
+t64_t __ternary_cmplt_t64(t64_t a, t64_t b);
+t64_t __ternary_cmpeq_t64(t64_t a, t64_t b);
+t64_t __ternary_cmpgt_t64(t64_t a, t64_t b);
+t64_t __ternary_cmpneq_t64(t64_t a, t64_t b);
+
 #ifdef __cplusplus
 }
 #endif

runtime/ternary_runtime.c

@@ -113,9 +113,11 @@ static int ternary_trit_max(int a, int b)
 
 static int ternary_trit_xor(int a, int b)
 {
-    int mn = ternary_trit_min(a, b);
-    int mx = ternary_trit_max(a, b);
-    return a + b - 2 * mn - 2 * mx;
+    int sum = a + b;
+    int mod = ((sum % 3) + 3) % 3;
+    if (mod == 0) return 0;
+    if (mod == 1) return 1;
+    return -1;
 }
 
 static int ternary_get_trit(uint64_t packed, unsigned idx)
@@ -660,6 +662,27 @@ int __ternary_ge(int a, int b)
     { \
         int cmp = __ternary_cmp_t##SUFFIX(a, b); \
         return cmp == 1 || cmp == 0 ? 1 : 0; \
+    } \
+    /* Ternary-specific comparison operations returning ternary results */ \
+    TYPE __ternary_cmplt_t##SUFFIX(TYPE a, TYPE b) \
+    { \
+        int cmp = __ternary_cmp_t##SUFFIX(a, b); \
+        return (TYPE)ENCODE(cmp == -1 ? -1 : 0, TRITS); \
+    } \
+    TYPE __ternary_cmpeq_t##SUFFIX(TYPE a, TYPE b) \
+    { \
+        int cmp = __ternary_cmp_t##SUFFIX(a, b); \
+        return (TYPE)ENCODE(cmp == 0 ? 1 : 0, TRITS); \
+    } \
+    TYPE __ternary_cmpgt_t##SUFFIX(TYPE a, TYPE b) \
+    { \
+        int cmp = __ternary_cmp_t##SUFFIX(a, b); \
+        return (TYPE)ENCODE(cmp == 1 ? 1 : 0, TRITS); \
+    } \
+    TYPE __ternary_cmpneq_t##SUFFIX(TYPE a, TYPE b) \
+    { \
+        int cmp = __ternary_cmp_t##SUFFIX(a, b); \
+        return (TYPE)ENCODE(cmp != 0 ? 1 : 0, TRITS); \
     }
 
 DEFINE_TERNARY_TYPE_OPS(32, t32_t, 32, uint64_t, ternary_decode, ternary_encode,

runtime_skeleton/src/ternary_runtime_skeleton.c

@@ -195,9 +195,11 @@ static int ternary_trit_max(int a, int b)
 
 static int ternary_trit_xor(int a, int b)
 {
-    int mn = ternary_trit_min(a, b);
-    int mx = ternary_trit_max(a, b);
-    return a + b - 2 * mn - 2 * mx;
+    int sum = a + b;
+    int mod = ((sum % 3) + 3) % 3;
+    if (mod == 0) return 0;
+    if (mod == 1) return 1;
+    return -1;
 }
 
 static uint64_t ternary_tritwise_op_u64(uint64_t a, uint64_t b, unsigned trit_count, int op)