LLVM-based Compiler

.github/labels.yaml

@@ -8,6 +8,8 @@
   - compiler/frontend/**/*
 'P: Compiler: Fuzzer':
   - compiler/fuzzer/**/*
+'P: Compiler: Inkwell Backend':
+  - compiler/backend_inkwell/**/*
 'P: Compiler: Language Server':
   - compiler/language_server/**/*
 'P: Compiler: VM':

.gitignore

@@ -44,3 +44,9 @@ coverage/
 .buildlog/
 .history
 .svn/
+
+# LLVM Artefacts
+*.o
+*.a
+*.ll
+*.s

Cargo.toml

@@ -1,6 +1,7 @@
 [workspace]
 
 members = [
+    "compiler/backend_inkwell",
     "compiler/cli",
     "compiler/frontend",
     "compiler/fuzzer",

compiler/backend_inkwell/Cargo.toml

@@ -0,0 +1,10 @@
+[package]
+name = "candy_backend_inkwell"
+version = "0.1.0"
+edition = "2021"
+
+[dependencies]
+candy_frontend = { version = "0.1.0", path = "../frontend" }
+inkwell = { version = "0.2.0", features = ["llvm15-0"] }
+itertools = "0.11.0"
+llvm-sys = { version = "150", features = ["prefer-dynamic"] }

compiler/backend_inkwell/README.md

@@ -0,0 +1,9 @@
+# Candy Inkwell Compiler
+
+This crate provides an LLVM-based backend for the Candy compiler using the inkwell crate.
+It is highly experimental and still doesn't support many of Candy's features.
+
+## Requirements
+
+You currently need to have LLVM 15 installed on your system.
+You also need to have the `llc` and `clang` commands available.

compiler/backend_inkwell/candy_runtime/Makefile

@@ -0,0 +1,10 @@
+CC=clang
+
+candy_runtime.a: candy_runtime.o candy_builtin.o
+	ar rcs $@ $^
+
+%.o: %.c %.h
+
+.PHONY: clean
+clean:
+	rm -f *.o *.a

compiler/backend_inkwell/candy_runtime/candy_builtin.c

@@ -0,0 +1,152 @@
+#include <stdio.h>
+#include <stdint.h>
+#include <string.h>
+#include "candy_runtime.h"
+
+const candy_value_t *candy_builtin_equals(candy_value_t *left, candy_value_t *right)
+{
+    if (left
+            ->type != right->type)
+    {
+        return &__internal_false;
+    }
+    switch (left->type)
+    {
+    case CANDY_TYPE_INT:
+        return to_candy_bool(left->value.integer == right->value.integer);
+        break;
+    case CANDY_TYPE_TAG:
+        return to_candy_bool(strcmp(left->value.text, right->value.text) == 0);
+    default:
+        return &__internal_false;
+    }
+}
+
+const candy_value_t *candy_builtin_if_else(candy_value_t *condition, candy_value_t *then, candy_value_t *otherwise)
+{
+    candy_value_t *body = candy_tag_to_bool(condition) ? then : otherwise;
+    candy_function function = (body->value).function.function;
+    candy_value_t *environment = (body->value).function.environment;
+    return function(environment);
+}
+
+candy_value_t *candy_builtin_int_add(candy_value_t *left, candy_value_t *right)
+{
+    return make_candy_int(left->value.integer + right->value.integer);
+}
+
+candy_value_t *candy_builtin_int_subtract(candy_value_t *left, candy_value_t *right)
+{
+    return make_candy_int(left->value.integer - right->value.integer);
+}
+
+candy_value_t *candy_builtin_int_bit_length(candy_value_t *value)
+{
+    long long int_value = value->value.integer;
+    int shifts = 0;
+    while (int_value)
+    {
+        int_value = int_value >> shifts;
+        shifts++;
+    }
+    return make_candy_int(shifts);
+}
+
+candy_value_t *candy_builtin_int_bitwise_and(candy_value_t *left, candy_value_t *right)
+{
+    return make_candy_int(left->value.integer & right->value.integer);
+}
+
+candy_value_t *candy_builtin_int_bitwise_or(candy_value_t *left, candy_value_t *right)
+{
+    return make_candy_int(left->value.integer | right->value.integer);
+}
+
+candy_value_t *candy_builtin_int_bitwise_xor(candy_value_t *left, candy_value_t *right)
+{
+    return make_candy_int(left->value.integer ^ right->value.integer);
+}
+
+const candy_value_t *candy_builtin_int_compare_to(candy_value_t *left, candy_value_t *right)
+{
+    int64_t left_value = left->value.integer;
+    int64_t right_value = right->value.integer;
+    if (left_value < right_value)
+    {
+        return &__internal_less;
+    }
+    else if (left_value == right_value)
+    {
+        return &__internal_equal;
+    }
+    else
+    {
+        return &__internal_greater;
+    }
+}
+
+candy_value_t *candy_builtin_list_length(const candy_value_t *list)
+{
+    size_t index = 0;
+    while (list->value.list[index] != NULL)
+    {
+        index++;
+    }
+    return make_candy_int(index);
+}
+
+const candy_value_t *candy_builtin_print(candy_value_t *value)
+{
+    print_candy_value(value);
+    printf("\n");
+    return &__internal_nothing;
+}
+
+candy_value_t *candy_builtin_struct_get(candy_value_t *structure, candy_value_t *key)
+{
+    size_t index = 0;
+    while (!candy_tag_to_bool(candy_builtin_equals(structure->value.structure.keys[index], key)))
+    {
+        index++;
+    }
+    return structure->value.structure.values[index];
+}
+
+candy_value_t *candy_builtin_struct_get_keys(candy_value_t *structure)
+{
+    return make_candy_list(structure->value.structure.keys);
+}
+
+const candy_value_t *candy_builtin_struct_has_key(candy_value_t *structure, candy_value_t *key)
+{
+    size_t index = 0;
+    while (structure->value.structure.keys[index] != NULL)
+    {
+        if (candy_tag_to_bool(candy_builtin_equals(structure->value.structure.keys[index], key)))
+        {
+            return &__internal_true;
+        }
+    }
+    return &__internal_false;
+}
+
+const candy_value_t *candy_builtin_type_of(candy_value_t *value)
+{
+    switch (value->type)
+    {
+    case CANDY_TYPE_INT:
+        return &__internal_int;
+    case CANDY_TYPE_TEXT:
+        return &__internal_text;
+    case CANDY_TYPE_TAG:
+        return &__internal_tag;
+    case CANDY_TYPE_LIST:
+        return &__internal_list;
+    case CANDY_TYPE_STRUCT:
+        return &__internal_struct;
+    case CANDY_TYPE_FUNCTION:
+        return &__internal_function;
+    default:
+        candy_panic(&__internal_unknown);
+    }
+}

compiler/backend_inkwell/candy_runtime/candy_builtin.h

@@ -0,0 +1,17 @@
+#include "candy_runtime.h"
+
+const candy_value_t *candy_builtin_equals(candy_value_t *left, candy_value_t *right);
+const candy_value_t *candy_builtin_if_else(candy_value_t *condition, candy_value_t *then, candy_value_t *otherwise);
+candy_value_t *candy_builtin_int_add(candy_value_t *left, candy_value_t *right);
+candy_value_t *candy_builtin_int_subtract(candy_value_t *left, candy_value_t *right);
+candy_value_t *candy_builtin_int_bit_length(candy_value_t *value);
+candy_value_t *candy_builtin_int_bitwise_and(candy_value_t *left, candy_value_t *right);
+candy_value_t *candy_builtin_int_bitwise_or(candy_value_t *left, candy_value_t *right);
+candy_value_t *candy_builtin_int_bitwise_xor(candy_value_t *left, candy_value_t *right);
+const candy_value_t *candy_builtin_int_compare_to(candy_value_t *left, candy_value_t *right);
+candy_value_t *candy_builtin_list_length(const candy_value_t *list);
+const candy_value_t *candy_builtin_print(candy_value_t *value);
+candy_value_t *candy_builtin_struct_get(candy_value_t *structure, candy_value_t *key);
+candy_value_t *candy_builtin_struct_get_keys(candy_value_t *structure);
+const candy_value_t *candy_builtin_struct_has_key(candy_value_t *structure, candy_value_t *key);
+const candy_value_t *candy_builtin_type_of(candy_value_t *value);