return err in translator

This commit is contained in:
2025-07-14 22:22:26 +01:00
parent 0c8d018238
commit 8ea69cce67
18 changed files with 72 additions and 41 deletions

View File

@@ -11,15 +11,17 @@
#include <stddef.h>
#include <stdio.h>
#include <string.h>
size_t translate_parsed_declaration(Translated *translated,
DArray delcarations) {
DArray delcarations, ArErr *err) {
set_registers(translated, 1);
size_t first = 0;
for (size_t i = 0; i < delcarations.size; i++) {
DArray* old_return_jumps = translated->return_jumps;
translated->return_jumps = NULL;
ParsedSingleDeclaration *singleDeclaration = darray_get(&delcarations, i);
size_t temp = translate_parsed(translated, singleDeclaration->from);
size_t temp = translate_parsed(translated, singleDeclaration->from, err);
if (err->exists) return first;
if (i == 0)
first = temp;
size_t length = strlen(singleDeclaration->name);

View File

@@ -8,6 +8,7 @@
#define BYTECODE_DECLARATION_H
#include "../translator.h"
size_t translate_parsed_declaration(Translated *translated, DArray delcarations);
size_t translate_parsed_declaration(Translated *translated,
DArray delcarations, ArErr *err);
#endif

View File

@@ -8,7 +8,7 @@
#include "dowrap.h"
#include <stddef.h>
size_t translate_parsed_dowrap(Translated *translated, DArray *parsedDowrap) {
size_t translate_parsed_dowrap(Translated *translated, DArray *parsedDowrap, ArErr *err) {
set_registers(translated, 1);
size_t first = translated->bytecode.size;
@@ -19,10 +19,8 @@ size_t translate_parsed_dowrap(Translated *translated, DArray *parsedDowrap) {
darray_init(&return_jumps, sizeof(size_t));
DArray *old_return_jumps = translated->return_jumps;
translated->return_jumps = &return_jumps;
for (size_t i = 0; i < parsedDowrap->size; i++) {
ParsedValue *parsedValue = darray_get(parsedDowrap, i);
translate_parsed(translated, parsedValue);
}
*err = translate(translated, parsedDowrap);
if (err->exists) return first;
push_instruction_byte(translated, OP_LOAD_NULL);
push_instruction_byte(translated, 0);
if (!old_return_jumps) {

View File

@@ -9,6 +9,6 @@
#include "../translator.h"
size_t translate_parsed_dowrap(Translated *translated, DArray *parsedDowrap);
size_t translate_parsed_dowrap(Translated *translated, DArray *parsedDowrap, ArErr *err);
#endif // TRANSLATE_DO_WRAP_H

View File

@@ -12,13 +12,13 @@
#include <stdlib.h>
#include <string.h>
size_t translate_parsed_function(Translated *translated,
ParsedFunction *parsedFunction) {
ParsedFunction *parsedFunction, ArErr *err) {
DArray main_bytecode = translated->bytecode;
DArray _temp_bytecode;
darray_init(&_temp_bytecode, sizeof(uint8_t));
set_registers(translated, 1);
translated->bytecode = _temp_bytecode;
translate_parsed(translated, parsedFunction->body);
translate_parsed(translated, parsedFunction->body, err);
size_t function_bytecode_offset =
arena_push(&translated->constants, translated->bytecode.data,
translated->bytecode.size*translated->bytecode.element_size);

View File

@@ -10,6 +10,6 @@
#include "../translator.h"
size_t translate_parsed_function(Translated *translated,
ParsedFunction *parsedFunction);
ParsedFunction *parsedFunction, ArErr *err);
#endif

View File

@@ -5,12 +5,12 @@
*/
#include "../../parser/if/if.h"
#include "../translator.h"
#include "if.h"
#include <stddef.h>
#include <stdint.h>
#include <stdio.h>
size_t translate_parsed_if(Translated *translated, DArray *parsedIf) {
size_t translate_parsed_if(Translated *translated, DArray *parsedIf, ArErr * err) {
size_t *jump_after_body_positions =
checked_malloc(parsedIf->size * sizeof(size_t));
@@ -22,13 +22,13 @@ size_t translate_parsed_if(Translated *translated, DArray *parsedIf) {
ParsedConditional *condition = darray_get(parsedIf, i);
push_instruction_byte(translated, OP_NEW_SCOPE);
if (condition->condition) {
translate_parsed(translated, condition->condition);
translate_parsed(translated, condition->condition, err);
push_instruction_byte(translated, OP_BOOL);
push_instruction_byte(translated, 0);
push_instruction_byte(translated, OP_JUMP_IF_FALSE);
push_instruction_byte(translated, 0);
uint64_t last_jump_index = push_instruction_code(translated, 0);
translate_parsed(translated, condition->content);
translate_parsed(translated, condition->content, err);
push_instruction_byte(translated, OP_POP_SCOPE);
push_instruction_byte(translated, OP_JUMP);
jump_after_body_positions[i] = push_instruction_code(translated, 0);
@@ -36,7 +36,7 @@ size_t translate_parsed_if(Translated *translated, DArray *parsedIf) {
translated->bytecode.size);
push_instruction_byte(translated, OP_POP_SCOPE);
} else {
translate_parsed(translated, condition->content);
translate_parsed(translated, condition->content, err);
push_instruction_byte(translated, OP_POP_SCOPE);
push_instruction_byte(translated, OP_JUMP);
jump_after_body_positions[i] = push_instruction_code(translated, 0);

View File

@@ -8,6 +8,6 @@
#define TRANSLATE_iF_H
#include "../translator.h"
size_t translate_parsed_if(Translated *translated, DArray *parsedIf);
size_t translate_parsed_if(Translated *translated, DArray *parsedIf, ArErr * err);
#endif // TRANSLATE_iF_H

View File

@@ -7,9 +7,12 @@
#include "return.h"
size_t translate_parsed_return(Translated *translated,
ParsedReturn *parsedReturn) {
size_t first = translate_parsed(translated, parsedReturn->value);
ParsedReturn *parsedReturn, ArErr * err) {
if (!translated->return_jumps) {
*err = create_err(parsedReturn->line, parsedReturn->column, parsedReturn->length, translated->path, "Syntax Error", "nowhere to return to");
return 0;
}
size_t first = translate_parsed(translated, parsedReturn->value, err);
push_instruction_byte(translated, OP_JUMP);
size_t return_up = push_instruction_code(translated, 0);
darray_push(translated->return_jumps, &return_up);

View File

@@ -10,6 +10,7 @@
#include "../../parser/return/return.h"
size_t translate_parsed_return(Translated *translated, ParsedReturn *parsedReturn);
size_t translate_parsed_return(Translated *translated,
ParsedReturn *parsedReturn, ArErr * err);
#endif // TRANSLATE_RETURN_H

View File

@@ -85,8 +85,9 @@ size_t arena_push(ConstantArena *arena, const void *data, size_t length) {
return offset;
}
Translated init_translator() {
Translated init_translator(char* path) {
Translated translated;
translated.path = path;
translated.registerCount = 1;
translated.return_jumps=NULL;
darray_init(&translated.bytecode, sizeof(uint8_t));
@@ -124,14 +125,14 @@ void set_registers(Translated *translator, uint8_t count) {
translator->registerCount = count;
}
size_t translate_parsed(Translated *translated, ParsedValue *parsedValue) {
size_t translate_parsed(Translated *translated, ParsedValue *parsedValue, ArErr*err) {
switch (parsedValue->type) {
case AST_STRING:
return translate_parsed_string(translated,
*((ParsedString *)parsedValue->data));
case AST_DECLARATION:
return translate_parsed_declaration(translated,
*((DArray *)parsedValue->data));
*((DArray *)parsedValue->data), err);
case AST_NUMBER:
return translate_parsed_number(translated, (char *)parsedValue->data, 0);
case AST_NULL:
@@ -141,25 +142,30 @@ size_t translate_parsed(Translated *translated, ParsedValue *parsedValue) {
return output;
case AST_FUNCTION:
return translate_parsed_function(translated,
(ParsedFunction *)parsedValue->data);
(ParsedFunction *)parsedValue->data, err);
case AST_IDENTIFIER:
return translate_parsed_identifier(translated,
(ParsedIdentifier *)parsedValue->data);
case AST_IF:
return translate_parsed_if(translated, (DArray *)parsedValue->data);
return translate_parsed_if(translated, (DArray *)parsedValue->data, err);
case AST_DOWRAP:
return translate_parsed_dowrap(translated, (DArray *)parsedValue->data);
return translate_parsed_dowrap(translated, (DArray *)parsedValue->data, err);
case AST_RETURN:
return translate_parsed_return(translated, (ParsedReturn *)parsedValue->data);
return translate_parsed_return(translated, (ParsedReturn *)parsedValue->data, err);
}
return 0;
}
void translate(Translated *translated, DArray *ast) {
ArErr translate(Translated *translated, DArray *ast) {
ArErr err = no_err;
for (size_t i = 0; i < ast->size; i++) {
ParsedValue *parsedValue = darray_get(ast, i);
translate_parsed(translated, parsedValue);
translate_parsed(translated, parsedValue, &err);
if (err.exists) {
break;
}
}
return err;
}
void free_translator(Translated *translated) {

View File

@@ -30,6 +30,7 @@ typedef struct {
DArray bytecode;
DArray source_locations;
ConstantArena constants;
char* path;
} Translated;
typedef struct {
@@ -54,11 +55,11 @@ void set_instruction_code(Translated *translator, size_t index, uint64_t code);
void set_registers(Translated *translator, uint8_t count);
Translated init_translator();
Translated init_translator(char* path);
size_t translate_parsed(Translated *translated, ParsedValue *parsedValue);
size_t translate_parsed(Translated *translated, ParsedValue *parsedValue, ArErr*err);
void translate(Translated *translated, DArray *ast);
ArErr translate(Translated *translated, DArray *ast);
void free_translator(Translated *translated);