WIP.

Author: travisdoor

lib/bl/api/builtin/a.bl

@@ -1,31 +1,3 @@
-// =================================================================================================
-// bl
-//
-// File:   _builtin.bl
-// Author: Martin Dorazil
-// Date:   2/11/19
-//
-// Copyright 2018 Martin Dorazil
-//
-// Permission is hereby granted, free of charge, to any person obtaining a copy
-// of this software and associated documentation files (the "Software"), to deal
-// in the Software without restriction, including without limitation the rights
-// to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
-// copies of the Software, and to permit persons to whom the Software is
-// furnished to do so, subject to the following conditions:
-//
-// The above copyright notice and this permission notice shall be included in
-// all copies or substantial portions of the Software.
-//
-// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
-// IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
-// FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
-// AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
-// LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
-// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
-// SOFTWARE.
-// =================================================================================================
-
 #load "std/memory.bl"
 #load "std/debug.bl"
 #load "std/utils.bl"

lib/bl/api/std/type_utils/type_utils.bl

@@ -78,6 +78,23 @@ enum_variant_value :: fn (T: type #comptime, index: s64) T #inline {
 	return auto info.variants[index].value;
 }
 
+enum_next_variant :: fn (current: ?T) T #inline {
+	info :: cast(*TypeInfoEnum) typeinfo(current);
+	return auto info.variants[0].value;
+
+	// static_assert(info.kind == TypeKind.ENUM);
+	// loop i := 0; i < info.variants.len; i += 1 {
+	// 	if info.variants[i].value == cast(s64) current {
+	// 		if i+1 < info.variants.len {
+	// 			return auto info.variants[i+1].value;
+	// 		}
+	// 		return auto info.variants[0].value;
+	// 	}
+	// }
+
+	// panic("Current variant '%' does not exist in the enum.", current);
+	// return auto 0;
+}
 //
 // Struct utility functions.
 //

src/common.h

@@ -38,6 +38,7 @@ _Pragma("GCC diagnostic push") \
 _Pragma("GCC diagnostic ignored \"-Wcast-qual\"") \
 _Pragma("GCC diagnostic ignored \"-Wpedantic\"") \
 _Pragma("GCC diagnostic ignored \"-Wsign-conversion\"")
+_Pragma("GCC diagnostic ignored \"-Wmaybe-uninitialized\"")
 // clang-format on
 
 #define _SHUT_UP_END  _Pragma("GCC diagnostic pop")

src/llvm_api.cpp

@@ -1,31 +1,3 @@
-// =================================================================================================
-// bl
-//
-// File:   llvm_api.h
-// Author: Martin Dorazil
-// Date:   9/21/19
-//
-// Copyright 2019 Martin Dorazil
-//
-// Permission is hereby granted, free of charge, to any person obtaining a copy
-// of this software and associated documentation files (the "Software"), to deal
-// in the Software without restriction, including without limitation the rights
-// to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
-// copies of the Software, and to permit persons to whom the Software is
-// furnished to do so, subject to the following conditions:
-//
-// The above copyright notice and this permission notice shall be included in
-// all copies or substantial portions of the Software.
-//
-// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
-// IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
-// FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
-// AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
-// LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
-// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
-// SOFTWARE.
-// =================================================================================================
-
 #include "llvm_api.h"
 
 #undef array

src/mir_printer.c

@@ -873,7 +873,11 @@ void print_instr_decl_direct_ref(struct context *ctx, struct mir_instr_decl_dire
 
 void print_instr_const(struct context *ctx, struct mir_instr_const *cnst) {
 	print_instr_head(ctx, &cnst->base, "const");
-	print_const_value(ctx, &cnst->base.value);
+	if (cnst->base.id == 28208) {
+		fprintf(ctx->stream, "!!! try to read: %p", cnst->base.value.data);
+	} else {
+		print_const_value(ctx, &cnst->base.value);
+	}
 }
 
 void print_instr_call(struct context *ctx, struct mir_instr_call *call) {

src/vm.c

@@ -2251,10 +2251,18 @@ void eval_instr_decl_var(struct virtual_machine UNUSED(*vm), struct mir_instr_de
 	bassert(var->value.data && "Invalid variable initializer!");
 }
 
+void mir_writer_run(struct assembly *assembly);
+
 void eval_instr_cast(struct virtual_machine UNUSED(*vm), struct mir_instr_cast *cast) {
 	struct mir_type *dest_type = cast->base.value.type;
 	struct mir_type *src_type  = cast->expr->value.type;
 	vm_stack_ptr_t   src       = cast->expr->value.data;
+
+	if (cast->base.id == 24998) {
+		mir_writer_run(vm->assembly);
+		abort();
+	}
+
 	vm_do_cast(cast->base.value.data, src, dest_type, src_type, cast->op);
 }
 

tests/test.bl

@@ -20,9 +20,17 @@ x :: foo() catch {}
 
  */
 
+#import "std/type_utils"
 #import "std/print"
 
+Foo :: enum {
+	A;
+	B;
+	C;
+}
+
 main :: fn () s32 {
-	print("Hello!\n");
-	return 10;
+	v :: Foo.B;
+	x :: enum_next_variant(v);
+	return 0;
 }