lang: codegen: implement fstring generation

lang/codegen/codegen.h

@@ -49,6 +49,7 @@ enum code_generator_type {
 	CODE_GENERATOR_EXPR,
 	CODE_GENERATOR_VAR,
 	CODE_GENERATOR_MSG,
+	CODE_GENERATOR_FSTRING,
 };
 
 enum code_generator_scope_type {

lang/codegen/expr.c

@@ -117,6 +117,18 @@ static struct code_generator_result gen_string(
 	return CODEGEN_RESULT_OK(0);
 }
 
+static struct code_generator_result gen_fstring(
+	struct ivy_codegen *gen, struct code_generator_state *state,
+	struct ivy_ast_node *node, size_t depth)
+{
+	debug_printf("codegen: got fstring\n");
+	struct expr_codegen_state *expr = (struct expr_codegen_state *)state;
+
+	codegen_push_generator(gen, CODE_GENERATOR_FSTRING, 0, NULL);
+
+	return CODEGEN_RESULT_OK(CODEGEN_R_REPEAT_NODE);
+}
+
 static struct code_generator_result gen_op(
 	struct ivy_codegen *gen, struct code_generator_state *state,
 	struct ivy_ast_node *node, size_t depth)
@@ -404,6 +416,7 @@ struct code_generator expr_generator = {
 		NODE_CODEGEN(OP, gen_op),
 		NODE_CODEGEN(MSG, gen_msg),
 		NODE_CODEGEN(STRING, gen_string),
+		NODE_CODEGEN(FSTRING, gen_fstring),
 		NODE_CODEGEN(IDENT, gen_var_reference),
 	},
 };

lang/codegen/fstring.c

@@ -0,0 +1,96 @@
+#include "../debug.h"
+#include "codegen.h"
+
+#include <stdio.h>
+#include <stdlib.h>
+#include <string.h>
+
+struct fstring_codegen_state {
+	struct code_generator_state s_base;
+	struct mie_value *s_stringbuilder;
+};
+
+static struct code_generator_result gen_fstring(
+	struct ivy_codegen *gen, struct code_generator_state *state,
+	struct ivy_ast_node *node, size_t depth)
+{
+	struct fstring_codegen_state *fstring
+		= (struct fstring_codegen_state *)state;
+
+	struct mie_value *stringbuilder_ptr
+		= mie_builder_get_data_ptr(gen->c_builder, "StringBuilder");
+
+	struct mie_type *id = mie_ctx_get_type(gen->c_ctx, MIE_TYPE_ID);
+	struct mie_value *stringbuilder_class
+		= mie_builder_load(gen->c_builder, id, stringbuilder_ptr, NULL);
+	struct mie_value *sel = mie_ctx_get_selector(gen->c_ctx, "_M3newE");
+
+	fstring->s_stringbuilder = mie_builder_msg(
+		gen->c_builder, id, stringbuilder_class, sel, NULL, 0, 0, NULL);
+
+	return CODEGEN_RESULT_OK(0);
+}
+
+static struct code_generator_result gen_expr(
+	struct ivy_codegen *gen, struct code_generator_state *state,
+	struct ivy_ast_node *node, size_t depth)
+{
+	codegen_push_generator(gen, CODE_GENERATOR_EXPR, 0, NULL);
+	return CODEGEN_RESULT_OK(CODEGEN_R_REPEAT_NODE);
+}
+
+static enum ivy_status state_init(
+	struct ivy_codegen *gen, struct code_generator_state *state,
+	uintptr_t argv, void *argp)
+{
+	debug_printf("codegen: start of fstring\n");
+	return IVY_OK;
+}
+
+static enum ivy_status state_fini(
+	struct ivy_codegen *gen, struct code_generator_state *state,
+	struct mie_value **result)
+{
+	debug_printf("codegen: end of fstring\n");
+	struct fstring_codegen_state *fstring
+		= (struct fstring_codegen_state *)state;
+
+	struct mie_type *id = mie_ctx_get_type(gen->c_ctx, MIE_TYPE_ID);
+	struct mie_value *sel = mie_ctx_get_selector(gen->c_ctx, "_M8toStringE");
+
+	struct mie_value *str = mie_builder_msg(
+		gen->c_builder, id, fstring->s_stringbuilder, sel, NULL, 0, 0,
+		NULL);
+
+	*result = str;
+	return IVY_OK;
+}
+
+static struct code_generator_result value_received(
+	struct ivy_codegen *gen, struct code_generator_state *state,
+	struct mie_value *value)
+{
+	struct fstring_codegen_state *fstring
+		= (struct fstring_codegen_state *)state;
+
+	struct mie_type *void_type = mie_ctx_get_type(gen->c_ctx, MIE_TYPE_VOID);
+	struct mie_value *sel = mie_ctx_get_selector(gen->c_ctx, "_M06appendE");
+
+	mie_builder_msg(
+		gen->c_builder, void_type, fstring->s_stringbuilder, sel,
+		&value, 1, MIE_BUILDER_IGNORE_RESULT, NULL);
+
+	return CODEGEN_RESULT_OK(0);
+}
+
+struct code_generator fstring_generator = {
+	.g_type = CODE_GENERATOR_FSTRING,
+	.g_state_size = sizeof(struct fstring_codegen_state),
+	.g_state_init = state_init,
+	.g_state_fini = state_fini,
+	.g_value_received = value_received,
+	.g_expr_generator = gen_expr,
+	.g_node_generators = {
+		NODE_CODEGEN(FSTRING, gen_fstring),
+	},
+};

lang/codegen/generator.c

@@ -1,15 +1,19 @@
 #include "codegen.h"
 
+#include <assert.h>
+
 extern const struct code_generator unit_generator;
 extern const struct code_generator expr_generator;
 extern const struct code_generator var_generator;
 extern const struct code_generator msg_generator;
+extern const struct code_generator fstring_generator;
 
 static const struct code_generator *code_generators[] = {
 	[CODE_GENERATOR_UNIT] = &unit_generator,
 	[CODE_GENERATOR_EXPR] = &expr_generator,
 	[CODE_GENERATOR_VAR] = &var_generator,
 	[CODE_GENERATOR_MSG] = &msg_generator,
+	[CODE_GENERATOR_FSTRING] = &fstring_generator,
 };
 static const size_t nr_code_generators
 	= sizeof code_generators / sizeof code_generators[0];
@@ -25,10 +29,7 @@ static const size_t nr_root_code_generators
 
 const struct code_generator *get_code_generator(enum code_generator_type type)
 {
-	if (type >= nr_code_generators) {
+	assert(type >= 0 && type < nr_code_generators);
-		return NULL;
-	}
-
 	return code_generators[type];
 }