Updated insight to support volatile pointers

Author: IsaacShelton

src/backend/INSIGHT/include/AST/TYPE/ast_type_make.h

@@ -85,7 +85,7 @@ ast_elem_t *ast_elem_empty_make(unsigned int id, source_t source);
 
 // ---------------- ast_elem_pointer_make ----------------
 // Makes a pointer element (e.g. '*')
-#define ast_elem_pointer_make(SOURCE) ast_elem_empty_make(AST_ELEM_POINTER, SOURCE)
+ast_elem_t *ast_elem_pointer_make(source_t source, bool is_volatile);
 
 // ---------------- ast_elem_generic_int_make ----------------
 // Makes a generic int type element (no syntactic equivalent - represents the type of an unsuffixed integer)

src/backend/INSIGHT/include/AST/ast_type.h

@@ -64,7 +64,11 @@ typedef struct {
 
 // ---------------- ast_elem_pointer_t ----------------
 // Type element for a pointer
-typedef ast_elem_t ast_elem_pointer_t;
+typedef struct {
+    unsigned int id;
+    source_t source;
+    bool is_volatile;
+} ast_elem_pointer_t;
 
 // ---------------- ast_elem_array_t ----------------
 // Type element for an array

src/backend/INSIGHT/include/DRVR/compiler.h

@@ -138,6 +138,7 @@ typedef struct compiler {
 #define CROSS_COMPILE_WINDOWS 0x01
 #define CROSS_COMPILE_MACOS   0x02
 #define CROSS_COMPILE_WASM32  0x03
+#define CROSS_COMPILE_LINUX   0x04
 
 // ---------------- compiler_run ----------------
 // Runs a compiler with the given arguments.

src/backend/INSIGHT/include/TOKEN/token_data.h

@@ -4,7 +4,7 @@
 #ifndef _ISAAC_TOKEN_DATA_H
 #define _ISAAC_TOKEN_DATA_H
 
-#define TOKEN_ITERATION_VERSION 0x63FCD5C0
+#define TOKEN_ITERATION_VERSION 0x67EAAACA
 
 #define TOKEN_NONE                  0x00000000
 #define TOKEN_WORD                  0x00000001
@@ -153,10 +153,11 @@
 #define TOKEN_VA_START              0x00000090
 #define TOKEN_VERBATIM              0x00000091
 #define TOKEN_VIRTUAL               0x00000092
-#define TOKEN_WHILE                 0x00000093
+#define TOKEN_VOLATILE              0x00000093
+#define TOKEN_WHILE                 0x00000094
 #define TOKEN_BIT_AND               0x00000021
 
-#define MAX_LEX_TOKEN 0x00000093
+#define MAX_LEX_TOKEN 0x00000094
 #define BEGINNING_OF_KEYWORD_TOKENS 0x0000004B
 
 #define TOKEN_EXTRA_DATA_FORMAT_ID_ONLY    0x00000061

src/backend/INSIGHT/src/AST/TYPE/ast_type_clone.c

@@ -12,6 +12,7 @@
 
 static ast_elem_t *ast_elem_empty_clone(const ast_elem_t*);
 static ast_elem_t *ast_elem_base_clone(const ast_elem_base_t*);
+static ast_elem_t *ast_elem_pointer_clone(const ast_elem_pointer_t*);
 static ast_elem_t *ast_elem_fixed_array_clone(const ast_elem_fixed_array_t*);
 static ast_elem_t *ast_elem_var_fixed_array_clone(const ast_elem_var_fixed_array_t*);
 static ast_elem_t *ast_elem_polycount_clone(const ast_elem_polycount_t*);
@@ -37,7 +38,7 @@ ast_elem_t *ast_elem_clone(const ast_elem_t *original){
     case AST_ELEM_BASE:
         return ast_elem_base_clone((ast_elem_base_t*) original);
     case AST_ELEM_POINTER:
-        return ast_elem_empty_clone(original);
+        return ast_elem_pointer_clone((ast_elem_pointer_t*) original);
     case AST_ELEM_ARRAY:
         return ast_elem_empty_clone(original);
     case AST_ELEM_FIXED_ARRAY:
@@ -81,6 +82,18 @@ static ast_elem_t *ast_elem_empty_clone(const ast_elem_t *original){
     );
 }
 
+static ast_elem_t *ast_elem_pointer_clone(const ast_elem_pointer_t *original){
+    ast_elem_pointer_t *clone = malloc(sizeof *original);
+
+    *clone = (ast_elem_pointer_t){
+        .id = AST_ELEM_POINTER,
+        .source = original->source,
+        .is_volatile = original->is_volatile,
+    };
+
+    return (ast_elem_t*) clone;
+}
+
 static ast_elem_t *ast_elem_base_clone(const ast_elem_base_t *original){
     ast_elem_base_t *clone = malloc(sizeof *original);
 

src/backend/INSIGHT/src/AST/TYPE/ast_type_helpers.c

@@ -16,7 +16,7 @@ void ast_type_prepend_ptr(ast_type_t *type){
 
     ast_elem_t **new_elements = malloc(sizeof(ast_elem_t*) * (type->elements_length + 1));
     memcpy(&new_elements[1], type->elements, sizeof(ast_elem_t*) * type->elements_length);
-    new_elements[0] = ast_elem_pointer_make(NULL_SOURCE);
+    new_elements[0] = ast_elem_pointer_make(NULL_SOURCE, false);
 
     free(type->elements);
     type->elements = new_elements;

src/backend/INSIGHT/src/AST/TYPE/ast_type_make.c

@@ -19,6 +19,14 @@ ast_elem_t *ast_elem_empty_make(unsigned int id, source_t source){
     });
 }
 
+ast_elem_t *ast_elem_pointer_make(source_t source, bool is_volatile){
+    return (ast_elem_t*) malloc_init(ast_elem_pointer_t, {
+        .id = AST_ELEM_POINTER,
+        .source = source,
+        .is_volatile = is_volatile,
+    });
+}
+
 ast_elem_t *ast_elem_base_make(strong_cstr_t base, source_t source){
     return (ast_elem_t*) malloc_init(ast_elem_base_t, {
         .id = AST_ELEM_BASE,
@@ -172,15 +180,15 @@ ast_type_t ast_type_make_base(strong_cstr_t base){
 
 ast_type_t ast_type_make_base_ptr(strong_cstr_t base){
     return from_2elems(
-        ast_elem_pointer_make(NULL_SOURCE),
+        ast_elem_pointer_make(NULL_SOURCE, false),
         ast_elem_base_make(base, NULL_SOURCE)
     );
 }
 
 ast_type_t ast_type_make_base_ptr_ptr( strong_cstr_t base){
     return from_3elems(
-        ast_elem_pointer_make(NULL_SOURCE),
-        ast_elem_pointer_make(NULL_SOURCE),
+        ast_elem_pointer_make(NULL_SOURCE, false),
+        ast_elem_pointer_make(NULL_SOURCE, false),
         ast_elem_base_make(base, NULL_SOURCE)
     );
 }

src/backend/INSIGHT/src/AST/TYPE/ast_type_str.c

@@ -14,8 +14,12 @@ static void ast_elem_base_str(string_builder_t *builder, ast_elem_base_t *elem){
     string_builder_append(builder, elem->base);
 }
 
-static void ast_elem_pointer_str(string_builder_t *builder){
+static void ast_elem_pointer_str(string_builder_t *builder, ast_elem_pointer_t *elem){
     string_builder_append_char(builder, '*');
+
+    if (elem->is_volatile) {
+        string_builder_append(builder, "volatile ");
+    }
 }
 
 static void ast_elem_fixed_array_str(string_builder_t *builder, ast_elem_fixed_array_t *elem){
@@ -152,7 +156,7 @@ static void ast_elem_str(string_builder_t *builder, ast_elem_t *elem){
         ast_elem_base_str(builder, (ast_elem_base_t*) elem);
         break;
     case AST_ELEM_POINTER:
-        ast_elem_pointer_str(builder);
+        ast_elem_pointer_str(builder, (ast_elem_pointer_t*) elem);
         break;
     case AST_ELEM_FIXED_ARRAY:
         ast_elem_fixed_array_str(builder, (ast_elem_fixed_array_t*) elem);

src/backend/INSIGHT/src/DRVR/compiler.c

@@ -524,6 +524,11 @@ errorcode_t parse_arguments(compiler_t *compiler, object_t *object, int argc, ch
                 printf("[-] Cross compiling for MacOS x86_64\n");
                 compiler->cross_compile_for = CROSS_COMPILE_MACOS;
                 #endif
+            } else if(streq(arg, "--linux")){
+                #ifndef __linux__
+                printf("[-] Cross compiling for Linux x86_64\n");
+                compiler->cross_compile_for = CROSS_COMPILE_LINUX;
+                #endif
             } else if(streq(arg, "--wasm32")){
                 printf("[-] Cross compiling for WebAssembly\n");
                 printf("    (Adept is intended for true 64-bit architectures, some things may break!)\n");
@@ -765,6 +770,7 @@ void show_help(bool show_advanced_options){
         printf("\nCross Compilation:\n");
         printf("    --windows         Output Windows Executable (Requires Extension)\n");
         printf("    --macos           Output MacOS Mach-O Object File\n");
+        printf("    --linux           Output Linux ELF Object File\n");
 
         printf("\nLinker Options:\n");
         printf("    --libm                            Forces linking against libc math library\n");

src/backend/INSIGHT/src/PARSE/parse_func.c

@@ -458,7 +458,7 @@ errorcode_t parse_func_arguments(parse_ctx_t *ctx, ast_func_t *func){
                 generics[i] = ast_type_make_polymorph(strclone(ctx->composite_association->generics[i]), false);
             }
 
-            ast_elem_t *pointer = ast_elem_pointer_make(NULL_SOURCE);
+            ast_elem_t *pointer = ast_elem_pointer_make(NULL_SOURCE, false);
             ast_elem_t *generic_base = ast_elem_generic_base_make(strclone(ctx->composite_association->name), NULL_SOURCE, generics, generics_length);
 
             ast_elem_t **elements = malloc(sizeof(ast_elem_t*) * 2);