Compare commits
5 Commits
master
...
017d0eb273
| Author | SHA1 | Date | |
|---|---|---|---|
| 017d0eb273 | |||
| f9352cf59f | |||
| 3afb59929a | |||
| 0c2abbae2f | |||
| 955e75addb |
@@ -102,7 +102,7 @@ Commands:
|
|||||||
|
|
||||||
CGround now includes an experimental Ground -> x86_64 Linux ASM compiler. You can try it by adding the `-c` flag when running Ground. This will print the generated ASM to the console.
|
CGround now includes an experimental Ground -> x86_64 Linux ASM compiler. You can try it by adding the `-c` flag when running Ground. This will print the generated ASM to the console.
|
||||||
|
|
||||||
At present only the `int` data type is supported.
|
At present only the `int`, `char`, and `bool` data types are supported.
|
||||||
|
|
||||||
Supported instructions so far:
|
Supported instructions so far:
|
||||||
|
|
||||||
|
|||||||
461
src/compiler.c
461
src/compiler.c
@@ -4,6 +4,7 @@
|
|||||||
#include "include/estr.h"
|
#include "include/estr.h"
|
||||||
#include <stdint.h>
|
#include <stdint.h>
|
||||||
#include <inttypes.h>
|
#include <inttypes.h>
|
||||||
|
#include <stdio.h>
|
||||||
|
|
||||||
VariableTable createVariableTable() {
|
VariableTable createVariableTable() {
|
||||||
VariableTable vt;
|
VariableTable vt;
|
||||||
@@ -13,7 +14,7 @@ VariableTable createVariableTable() {
|
|||||||
return vt;
|
return vt;
|
||||||
}
|
}
|
||||||
|
|
||||||
void addVtVariable(VariableTable* vt, const char* name) {
|
void addVtVariable(VariableTable* vt, const char* name, GroundValueType type) {
|
||||||
// check if it already exists
|
// check if it already exists
|
||||||
for (size_t i = 0; i < vt->count; i++) {
|
for (size_t i = 0; i < vt->count; i++) {
|
||||||
if (strcmp(vt->vars[i].name, name) == 0) {
|
if (strcmp(vt->vars[i].name, name) == 0) {
|
||||||
@@ -29,10 +30,20 @@ void addVtVariable(VariableTable* vt, const char* name) {
|
|||||||
|
|
||||||
// add the variable
|
// add the variable
|
||||||
strcpy(vt->vars[vt->count].name, name);
|
strcpy(vt->vars[vt->count].name, name);
|
||||||
|
vt->vars[vt->count].type = type;
|
||||||
vt->vars[vt->count].offset = vt->count * 8;
|
vt->vars[vt->count].offset = vt->count * 8;
|
||||||
vt->count++;
|
vt->count++;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
VariableInfo* getVariable(VariableTable* vt, const char* name) {
|
||||||
|
for (size_t i = 0; i < vt->count; i++) {
|
||||||
|
if (strcmp(vt->vars[i].name, name) == 0) {
|
||||||
|
return &vt->vars[i];
|
||||||
|
}
|
||||||
|
}
|
||||||
|
return NULL;
|
||||||
|
}
|
||||||
|
|
||||||
int getVariablePos(VariableTable* vt, const char* name) {
|
int getVariablePos(VariableTable* vt, const char* name) {
|
||||||
for (size_t i = 0; i < vt->count; i++) {
|
for (size_t i = 0; i < vt->count; i++) {
|
||||||
if (strcmp(vt->vars[i].name, name) == 0) {
|
if (strcmp(vt->vars[i].name, name) == 0) {
|
||||||
@@ -42,6 +53,318 @@ int getVariablePos(VariableTable* vt, const char* name) {
|
|||||||
return -1;
|
return -1;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
DoubleTable createDoubleTable() {
|
||||||
|
DoubleTable dt;
|
||||||
|
dt.count = 0;
|
||||||
|
dt.capacity = 16;
|
||||||
|
dt.constants = malloc(sizeof(DoubleConstant) * 16);
|
||||||
|
return dt;
|
||||||
|
}
|
||||||
|
|
||||||
|
char* addDoubleConstant(DoubleTable* dt, Estr* rodata, double value, int* counter) {
|
||||||
|
for (size_t i = 0; i < dt->count; i++) {
|
||||||
|
if (dt->constants[i].value == value) {
|
||||||
|
return dt->constants[i].label;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
if (dt->count >= dt->capacity) {
|
||||||
|
dt->capacity = dt->capacity == 0 ? 16 : dt->capacity * 2;
|
||||||
|
dt->constants = realloc(dt->constants, sizeof(DoubleConstant) * dt->capacity);
|
||||||
|
}
|
||||||
|
|
||||||
|
char label[64];
|
||||||
|
snprintf(label, sizeof(label), "float_const_%d", (*counter)++);
|
||||||
|
strcpy(dt->constants[dt->count].label, label);
|
||||||
|
dt->constants[dt->count].value = value;
|
||||||
|
dt->count++;
|
||||||
|
|
||||||
|
char line[128];
|
||||||
|
snprintf(line, 128, "%s: dq %.17g ; double constant\n", label, value);
|
||||||
|
APPEND_ESTR((*rodata), line);
|
||||||
|
|
||||||
|
return dt->constants[dt->count - 1].label;
|
||||||
|
}
|
||||||
|
|
||||||
|
GroundValueType getInstructionReturnType(GroundInstruction* gi, VariableTable* table) {
|
||||||
|
switch (gi->type) {
|
||||||
|
case JUMP:
|
||||||
|
case PRINT:
|
||||||
|
case PRINTLN:
|
||||||
|
case END:
|
||||||
|
case IF:
|
||||||
|
case RETURN:
|
||||||
|
case ENDFUN:
|
||||||
|
case PUSHARG:
|
||||||
|
case CALL: // FIXME do this when functions are added
|
||||||
|
case USE:
|
||||||
|
case EXTERN:
|
||||||
|
case CREATELABEL:
|
||||||
|
case PAUSE:
|
||||||
|
case DROP:
|
||||||
|
case ERRORCMD:
|
||||||
|
case ENDSTRUCT:
|
||||||
|
case INIT: // FIXME do this when objects are added
|
||||||
|
case GETFIELD: // FIXME do this when objects are added
|
||||||
|
case SETFIELD: // FIXME do this when objects are added
|
||||||
|
case DIVIDE: // FIXME do this when division is added
|
||||||
|
case SETLISTAT:
|
||||||
|
case GETLISTAT: // FIXME do this when lists are getting implemented
|
||||||
|
case LISTAPPEND: {
|
||||||
|
return NONE;
|
||||||
|
}
|
||||||
|
case TOSTRING:
|
||||||
|
case GETTYPE:
|
||||||
|
case INPUT: {
|
||||||
|
return STRING;
|
||||||
|
}
|
||||||
|
case STOI:
|
||||||
|
case GETLISTSIZE:
|
||||||
|
case GETSTRSIZE: {
|
||||||
|
return INT;
|
||||||
|
}
|
||||||
|
case STOD: {
|
||||||
|
return DOUBLE;
|
||||||
|
}
|
||||||
|
case EQUAL:
|
||||||
|
case INEQUAL:
|
||||||
|
case GREATER:
|
||||||
|
case LESSER:
|
||||||
|
case NOT:
|
||||||
|
case EXISTS: {
|
||||||
|
return BOOL;
|
||||||
|
}
|
||||||
|
case GETSTRCHARAT: {
|
||||||
|
return CHAR;
|
||||||
|
}
|
||||||
|
case SETLIST: {
|
||||||
|
return LIST;
|
||||||
|
}
|
||||||
|
case FUN: {
|
||||||
|
return FUNCTION;
|
||||||
|
}
|
||||||
|
case STRUCT: {
|
||||||
|
return STRUCTVAL;
|
||||||
|
}
|
||||||
|
case SET: {
|
||||||
|
if (gi->args.length == 2) {
|
||||||
|
if (gi->args.args[1].type == VALUE) {
|
||||||
|
return gi->args.args[1].value.value.type;
|
||||||
|
} else if (gi->args.args[1].type == VALREF) {
|
||||||
|
VariableInfo* var = getVariable(table, gi->args.args[1].value.refName);
|
||||||
|
if (var == NULL) {
|
||||||
|
return NONE;
|
||||||
|
}
|
||||||
|
return var->type;
|
||||||
|
} else {
|
||||||
|
return NONE;
|
||||||
|
}
|
||||||
|
} else {
|
||||||
|
return NONE;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
case ADD: {
|
||||||
|
if (gi->args.length == 3) {
|
||||||
|
GroundValueType leftType;
|
||||||
|
GroundValueType rightType;
|
||||||
|
if (gi->args.args[0].type == VALUE) {
|
||||||
|
leftType = gi->args.args[0].value.value.type;
|
||||||
|
} else if (gi->args.args[0].type == VALREF) {
|
||||||
|
VariableInfo* var = getVariable(table, gi->args.args[0].value.refName);
|
||||||
|
if (var == NULL) {
|
||||||
|
return NONE;
|
||||||
|
}
|
||||||
|
leftType = var->type;
|
||||||
|
} else {
|
||||||
|
return NONE;
|
||||||
|
}
|
||||||
|
if (gi->args.args[1].type == VALUE) {
|
||||||
|
rightType = gi->args.args[1].value.value.type;
|
||||||
|
} else if (gi->args.args[1].type == VALREF) {
|
||||||
|
VariableInfo* var = getVariable(table, gi->args.args[1].value.refName);
|
||||||
|
if (var == NULL) {
|
||||||
|
return NONE;
|
||||||
|
}
|
||||||
|
rightType = var->type;
|
||||||
|
} else {
|
||||||
|
return NONE;
|
||||||
|
}
|
||||||
|
|
||||||
|
if (leftType == STRING) {
|
||||||
|
if (rightType == STRING) {
|
||||||
|
return STRING;
|
||||||
|
} else {
|
||||||
|
return NONE;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
if (leftType == DOUBLE) {
|
||||||
|
if (rightType == DOUBLE || rightType == INT) {
|
||||||
|
return DOUBLE;
|
||||||
|
} else {
|
||||||
|
return NONE;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
if (rightType == DOUBLE) {
|
||||||
|
if (leftType == DOUBLE || leftType == INT) {
|
||||||
|
return DOUBLE;
|
||||||
|
} else {
|
||||||
|
return NONE;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
if (rightType == INT && leftType == INT) {
|
||||||
|
return INT;
|
||||||
|
}
|
||||||
|
return NONE;
|
||||||
|
} else {
|
||||||
|
return NONE;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
case SUBTRACT: {
|
||||||
|
if (gi->args.length == 3) {
|
||||||
|
GroundValueType leftType;
|
||||||
|
GroundValueType rightType;
|
||||||
|
if (gi->args.args[0].type == VALUE) {
|
||||||
|
leftType = gi->args.args[0].value.value.type;
|
||||||
|
} else if (gi->args.args[0].type == VALREF) {
|
||||||
|
VariableInfo* var = getVariable(table, gi->args.args[0].value.refName);
|
||||||
|
if (var == NULL) {
|
||||||
|
return NONE;
|
||||||
|
}
|
||||||
|
leftType = var->type;
|
||||||
|
} else {
|
||||||
|
return NONE;
|
||||||
|
}
|
||||||
|
if (gi->args.args[1].type == VALUE) {
|
||||||
|
rightType = gi->args.args[1].value.value.type;
|
||||||
|
} else if (gi->args.args[1].type == VALREF) {
|
||||||
|
VariableInfo* var = getVariable(table, gi->args.args[1].value.refName);
|
||||||
|
if (var == NULL) {
|
||||||
|
return NONE;
|
||||||
|
}
|
||||||
|
rightType = var->type;
|
||||||
|
} else {
|
||||||
|
return NONE;
|
||||||
|
}
|
||||||
|
|
||||||
|
if (leftType == DOUBLE) {
|
||||||
|
if (rightType == DOUBLE || rightType == INT) {
|
||||||
|
return DOUBLE;
|
||||||
|
} else {
|
||||||
|
return NONE;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
if (rightType == DOUBLE) {
|
||||||
|
if (leftType == DOUBLE || leftType == INT) {
|
||||||
|
return DOUBLE;
|
||||||
|
} else {
|
||||||
|
return NONE;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
if (rightType == INT && leftType == INT) {
|
||||||
|
return INT;
|
||||||
|
}
|
||||||
|
return NONE;
|
||||||
|
} else {
|
||||||
|
return NONE;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
case MULTIPLY: {
|
||||||
|
if (gi->args.length == 3) {
|
||||||
|
GroundValueType leftType;
|
||||||
|
GroundValueType rightType;
|
||||||
|
if (gi->args.args[0].type == VALUE) {
|
||||||
|
leftType = gi->args.args[0].value.value.type;
|
||||||
|
} else if (gi->args.args[0].type == VALREF) {
|
||||||
|
VariableInfo* var = getVariable(table, gi->args.args[0].value.refName);
|
||||||
|
if (var == NULL) {
|
||||||
|
return NONE;
|
||||||
|
}
|
||||||
|
leftType = var->type;
|
||||||
|
} else {
|
||||||
|
return NONE;
|
||||||
|
}
|
||||||
|
if (gi->args.args[1].type == VALUE) {
|
||||||
|
rightType = gi->args.args[1].value.value.type;
|
||||||
|
} else if (gi->args.args[1].type == VALREF) {
|
||||||
|
VariableInfo* var = getVariable(table, gi->args.args[1].value.refName);
|
||||||
|
if (var == NULL) {
|
||||||
|
return NONE;
|
||||||
|
}
|
||||||
|
rightType = var->type;
|
||||||
|
} else {
|
||||||
|
return NONE;
|
||||||
|
}
|
||||||
|
|
||||||
|
if (leftType == DOUBLE) {
|
||||||
|
if (rightType == DOUBLE || rightType == INT) {
|
||||||
|
return DOUBLE;
|
||||||
|
} else {
|
||||||
|
return NONE;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
if (rightType == DOUBLE) {
|
||||||
|
if (leftType == DOUBLE || leftType == INT) {
|
||||||
|
return DOUBLE;
|
||||||
|
} else {
|
||||||
|
return NONE;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
if (rightType == INT && leftType == INT) {
|
||||||
|
return INT;
|
||||||
|
}
|
||||||
|
return NONE;
|
||||||
|
} else {
|
||||||
|
return NONE;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
return INT;
|
||||||
|
}
|
||||||
|
|
||||||
|
char* processValueString(GroundArg arg, VariableTable* vt, GroundValueType* outType, DoubleTable* dt, Estr* rodata, int* doubleCounter) {
|
||||||
|
if (arg.type == VALREF) {
|
||||||
|
VariableInfo* var = getVariable(vt, arg.value.refName);
|
||||||
|
if (var && outType) *outType = var->type;
|
||||||
|
char* buf = malloc(260);
|
||||||
|
snprintf(buf, 260, "[%s]", arg.value.refName);
|
||||||
|
return buf;
|
||||||
|
}
|
||||||
|
if (arg.type == VALUE) {
|
||||||
|
if (outType) *outType = arg.value.value.type;
|
||||||
|
switch(arg.value.value.type) {
|
||||||
|
case INT: {
|
||||||
|
char* buf = malloc(64);
|
||||||
|
snprintf(buf, 64, "%" PRId64, arg.value.value.data.intVal);
|
||||||
|
return buf;
|
||||||
|
break;
|
||||||
|
}
|
||||||
|
case DOUBLE: {
|
||||||
|
char* label = addDoubleConstant(dt, rodata, arg.value.value.data.doubleVal, doubleCounter);
|
||||||
|
char* buf = malloc(128);
|
||||||
|
snprintf(buf, 128, "[rel %s]", label);
|
||||||
|
return buf;
|
||||||
|
break;
|
||||||
|
}
|
||||||
|
case BOOL:
|
||||||
|
return arg.value.value.data.boolVal ? "1" : "0";
|
||||||
|
break;
|
||||||
|
case CHAR: {
|
||||||
|
char* buf = malloc(8);
|
||||||
|
snprintf(buf, 8, "%d", (int)arg.value.value.data.charVal);
|
||||||
|
return buf;
|
||||||
|
break;
|
||||||
|
}
|
||||||
|
default: {
|
||||||
|
printf("For now, only int, bool, and char are supported data types in the compiler.");
|
||||||
|
exit(1);
|
||||||
|
break;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
return NULL;
|
||||||
|
}
|
||||||
|
|
||||||
|
/*
|
||||||
char* processValueString(GroundArg arg) {
|
char* processValueString(GroundArg arg) {
|
||||||
if (arg.type == VALREF) {
|
if (arg.type == VALREF) {
|
||||||
char* buf = malloc(sizeof(char) * 260);
|
char* buf = malloc(sizeof(char) * 260);
|
||||||
@@ -49,21 +372,43 @@ char* processValueString(GroundArg arg) {
|
|||||||
return buf;
|
return buf;
|
||||||
}
|
}
|
||||||
if (arg.type == VALUE) {
|
if (arg.type == VALUE) {
|
||||||
if (arg.value.value.type != INT) {
|
switch (arg.value.value.type) {
|
||||||
printf("Only int is supported right now\n");
|
case INT: {
|
||||||
exit(1);
|
char* buf = malloc(sizeof(char) * 64);
|
||||||
|
snprintf(buf, sizeof(char) * 260, "%" PRId64, arg.value.value.data.intVal);
|
||||||
|
return buf;
|
||||||
|
break;
|
||||||
|
}
|
||||||
|
case BOOL: {
|
||||||
|
return arg.value.value.data.boolVal ? "1" : "0";
|
||||||
|
break;
|
||||||
|
}
|
||||||
|
case CHAR: {
|
||||||
|
char* buf = malloc(8);
|
||||||
|
snprintf(buf, 8, "%d", (int) arg.value.value.data.charVal);
|
||||||
|
return buf;
|
||||||
|
break;
|
||||||
|
}
|
||||||
|
default: {
|
||||||
|
printf("For now, only int, bool, and char are supported data types in the compiler.");
|
||||||
|
exit(1);
|
||||||
|
break;
|
||||||
|
}
|
||||||
}
|
}
|
||||||
char* buf = malloc(sizeof(char) * 64);
|
|
||||||
snprintf(buf, sizeof(char) * 260, "%" PRId64, arg.value.value.data.intVal);
|
|
||||||
return buf;
|
|
||||||
}
|
}
|
||||||
return NULL;
|
return NULL;
|
||||||
}
|
}
|
||||||
|
*/
|
||||||
|
|
||||||
char* compileGroundProgram(GroundProgram* program) {
|
char* compileGroundProgram(GroundProgram* program) {
|
||||||
Estr start = CREATE_ESTR("global _start\nsection .text\n_start:\n");
|
Estr start = CREATE_ESTR("global _start\nsection .text\n_start:\n");
|
||||||
Estr data = CREATE_ESTR("section .bss\n");
|
Estr data = CREATE_ESTR("section .bss\n");
|
||||||
Estr helpers = CREATE_ESTR("");
|
Estr helpers = CREATE_ESTR("");
|
||||||
|
Estr rodata = CREATE_ESTR("section .rodata\n");
|
||||||
|
APPEND_ESTR(rodata, " newline_char: db 10\n");
|
||||||
|
APPEND_ESTR(rodata, " space_char: db 32\n");
|
||||||
|
DoubleTable doubleTable = createDoubleTable();
|
||||||
|
int doubleConstCounter = 0;
|
||||||
|
|
||||||
APPEND_ESTR(helpers, "\n; Helper: Print integer in rax\n");
|
APPEND_ESTR(helpers, "\n; Helper: Print integer in rax\n");
|
||||||
APPEND_ESTR(helpers, "print_int:\n");
|
APPEND_ESTR(helpers, "print_int:\n");
|
||||||
@@ -124,7 +469,7 @@ char* compileGroundProgram(GroundProgram* program) {
|
|||||||
GroundInstruction gi = program->instructions[i];
|
GroundInstruction gi = program->instructions[i];
|
||||||
for (size_t j = 0; j < gi.args.length; j++) {
|
for (size_t j = 0; j < gi.args.length; j++) {
|
||||||
if (gi.args.args[j].type == DIRREF) {
|
if (gi.args.args[j].type == DIRREF) {
|
||||||
addVtVariable(&varTable, gi.args.args[j].value.refName);
|
addVtVariable(&varTable, gi.args.args[j].value.refName, getInstructionReturnType(&gi, &varTable));
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@@ -166,7 +511,7 @@ char* compileGroundProgram(GroundProgram* program) {
|
|||||||
|
|
||||||
APPEND_ESTR(start, " ; set\n")
|
APPEND_ESTR(start, " ; set\n")
|
||||||
APPEND_ESTR(start, " mov rax, ");
|
APPEND_ESTR(start, " mov rax, ");
|
||||||
APPEND_ESTR(start, processValueString(gi.args.args[1]));
|
APPEND_ESTR(start, processValueString(gi.args.args[1], &varTable, NULL, &doubleTable, &rodata, &doubleConstCounter));
|
||||||
APPEND_ESTR(start, "\n");
|
APPEND_ESTR(start, "\n");
|
||||||
APPEND_ESTR(start, " mov [");
|
APPEND_ESTR(start, " mov [");
|
||||||
APPEND_ESTR(start, varName);
|
APPEND_ESTR(start, varName);
|
||||||
@@ -212,7 +557,7 @@ char* compileGroundProgram(GroundProgram* program) {
|
|||||||
|
|
||||||
APPEND_ESTR(start, " ; if\n");
|
APPEND_ESTR(start, " ; if\n");
|
||||||
APPEND_ESTR(start, " mov rax, ");
|
APPEND_ESTR(start, " mov rax, ");
|
||||||
APPEND_ESTR(start, processValueString(gi.args.args[0]));
|
APPEND_ESTR(start, processValueString(gi.args.args[0], &varTable, NULL, &doubleTable, &rodata, &doubleConstCounter));
|
||||||
APPEND_ESTR(start, "\n");
|
APPEND_ESTR(start, "\n");
|
||||||
APPEND_ESTR(start, " test rax, rax\n");
|
APPEND_ESTR(start, " test rax, rax\n");
|
||||||
APPEND_ESTR(start, " jnz ");
|
APPEND_ESTR(start, " jnz ");
|
||||||
@@ -239,7 +584,7 @@ char* compileGroundProgram(GroundProgram* program) {
|
|||||||
|
|
||||||
APPEND_ESTR(start, " ; not\n");
|
APPEND_ESTR(start, " ; not\n");
|
||||||
APPEND_ESTR(start, " mov rax, ");
|
APPEND_ESTR(start, " mov rax, ");
|
||||||
APPEND_ESTR(start, processValueString(gi.args.args[0]));
|
APPEND_ESTR(start, processValueString(gi.args.args[0], &varTable, NULL, &doubleTable, &rodata, &doubleConstCounter));
|
||||||
APPEND_ESTR(start, "\n");
|
APPEND_ESTR(start, "\n");
|
||||||
APPEND_ESTR(start, " xor rax, 1\n");
|
APPEND_ESTR(start, " xor rax, 1\n");
|
||||||
APPEND_ESTR(start, " mov [");
|
APPEND_ESTR(start, " mov [");
|
||||||
@@ -265,17 +610,55 @@ char* compileGroundProgram(GroundProgram* program) {
|
|||||||
runtimeError(ARG_TYPE_MISMATCH, "Expecting a DirectRef for arg 3", &gi, i);
|
runtimeError(ARG_TYPE_MISMATCH, "Expecting a DirectRef for arg 3", &gi, i);
|
||||||
}
|
}
|
||||||
|
|
||||||
char* varName= gi.args.args[2].value.refName;
|
GroundValueType leftType, rightType;
|
||||||
APPEND_ESTR(start, " ; add\n");
|
|
||||||
APPEND_ESTR(start, " mov rax, ");
|
char* left = processValueString(gi.args.args[0], &varTable, &leftType, &doubleTable, &rodata, &doubleConstCounter);
|
||||||
APPEND_ESTR(start, processValueString(gi.args.args[0]));
|
char* right = processValueString(gi.args.args[1], &varTable, &rightType, &doubleTable, &rodata, &doubleConstCounter);
|
||||||
APPEND_ESTR(start, "\n");
|
char* varName = gi.args.args[2].value.refName;
|
||||||
APPEND_ESTR(start, " add rax, ");
|
|
||||||
APPEND_ESTR(start, processValueString(gi.args.args[1]));
|
bool isDouble = (leftType == DOUBLE || rightType == DOUBLE);
|
||||||
APPEND_ESTR(start, "\n");
|
|
||||||
APPEND_ESTR(start, " mov [");
|
if (isDouble) {
|
||||||
APPEND_ESTR(start, varName);
|
APPEND_ESTR(start, " ; add (double)\n");
|
||||||
APPEND_ESTR(start, "], rax\n");
|
|
||||||
|
if (leftType == INT) {
|
||||||
|
APPEND_ESTR(start, " mov rax, ");
|
||||||
|
APPEND_ESTR(start, left);
|
||||||
|
APPEND_ESTR(start, "\n");
|
||||||
|
APPEND_ESTR(start, " cvtsi2sd xmm0, rax ; Convert int to double\n");
|
||||||
|
} else {
|
||||||
|
APPEND_ESTR(start, " movsd xmm0, ");
|
||||||
|
APPEND_ESTR(start, left);
|
||||||
|
APPEND_ESTR(start, "\n");
|
||||||
|
}
|
||||||
|
|
||||||
|
if (rightType == INT) {
|
||||||
|
APPEND_ESTR(start, " mov rax, ");
|
||||||
|
APPEND_ESTR(start, right);
|
||||||
|
APPEND_ESTR(start, "\n");
|
||||||
|
APPEND_ESTR(start, " cvtsi2sd xmm1, rax ; Convert int to double\n");
|
||||||
|
APPEND_ESTR(start, " addsd xmm0, xmm1\n");
|
||||||
|
} else {
|
||||||
|
APPEND_ESTR(start, " addsd xmm0, ");
|
||||||
|
APPEND_ESTR(start, right);
|
||||||
|
APPEND_ESTR(start, "\n");
|
||||||
|
}
|
||||||
|
|
||||||
|
APPEND_ESTR(start, " movsd [");
|
||||||
|
APPEND_ESTR(start, varName);
|
||||||
|
APPEND_ESTR(start, "], xmm0\n");
|
||||||
|
} else {
|
||||||
|
APPEND_ESTR(start, " ; add\n");
|
||||||
|
APPEND_ESTR(start, " mov rax, ");
|
||||||
|
APPEND_ESTR(start, processValueString(gi.args.args[0], &varTable, NULL, &doubleTable, &rodata, &doubleConstCounter));
|
||||||
|
APPEND_ESTR(start, "\n");
|
||||||
|
APPEND_ESTR(start, " add rax, ");
|
||||||
|
APPEND_ESTR(start, processValueString(gi.args.args[1], &varTable, NULL, &doubleTable, &rodata, &doubleConstCounter));
|
||||||
|
APPEND_ESTR(start, "\n");
|
||||||
|
APPEND_ESTR(start, " mov [");
|
||||||
|
APPEND_ESTR(start, varName);
|
||||||
|
APPEND_ESTR(start, "], rax\n");
|
||||||
|
}
|
||||||
break;
|
break;
|
||||||
}
|
}
|
||||||
case SUBTRACT: {
|
case SUBTRACT: {
|
||||||
@@ -298,10 +681,10 @@ char* compileGroundProgram(GroundProgram* program) {
|
|||||||
char* varName= gi.args.args[2].value.refName;
|
char* varName= gi.args.args[2].value.refName;
|
||||||
APPEND_ESTR(start, " ; subtract\n");
|
APPEND_ESTR(start, " ; subtract\n");
|
||||||
APPEND_ESTR(start, " mov rax, ");
|
APPEND_ESTR(start, " mov rax, ");
|
||||||
APPEND_ESTR(start, processValueString(gi.args.args[0]));
|
APPEND_ESTR(start, processValueString(gi.args.args[0], &varTable, NULL, &doubleTable, &rodata, &doubleConstCounter));
|
||||||
APPEND_ESTR(start, "\n");
|
APPEND_ESTR(start, "\n");
|
||||||
APPEND_ESTR(start, " sub rax, ");
|
APPEND_ESTR(start, " sub rax, ");
|
||||||
APPEND_ESTR(start, processValueString(gi.args.args[1]));
|
APPEND_ESTR(start, processValueString(gi.args.args[1], &varTable, NULL, &doubleTable, &rodata, &doubleConstCounter));
|
||||||
APPEND_ESTR(start, "\n");
|
APPEND_ESTR(start, "\n");
|
||||||
APPEND_ESTR(start, " mov [");
|
APPEND_ESTR(start, " mov [");
|
||||||
APPEND_ESTR(start, varName);
|
APPEND_ESTR(start, varName);
|
||||||
@@ -328,10 +711,10 @@ char* compileGroundProgram(GroundProgram* program) {
|
|||||||
char* varName= gi.args.args[2].value.refName;
|
char* varName= gi.args.args[2].value.refName;
|
||||||
APPEND_ESTR(start, " ; multiply\n");
|
APPEND_ESTR(start, " ; multiply\n");
|
||||||
APPEND_ESTR(start, " mov rax, ");
|
APPEND_ESTR(start, " mov rax, ");
|
||||||
APPEND_ESTR(start, processValueString(gi.args.args[0]));
|
APPEND_ESTR(start, processValueString(gi.args.args[0], &varTable, NULL, &doubleTable, &rodata, &doubleConstCounter));
|
||||||
APPEND_ESTR(start, "\n");
|
APPEND_ESTR(start, "\n");
|
||||||
APPEND_ESTR(start, " imul rax, ");
|
APPEND_ESTR(start, " imul rax, ");
|
||||||
APPEND_ESTR(start, processValueString(gi.args.args[1]));
|
APPEND_ESTR(start, processValueString(gi.args.args[1], &varTable, NULL, &doubleTable, &rodata, &doubleConstCounter));
|
||||||
APPEND_ESTR(start, "\n");
|
APPEND_ESTR(start, "\n");
|
||||||
APPEND_ESTR(start, " mov [");
|
APPEND_ESTR(start, " mov [");
|
||||||
APPEND_ESTR(start, varName);
|
APPEND_ESTR(start, varName);
|
||||||
@@ -358,10 +741,10 @@ char* compileGroundProgram(GroundProgram* program) {
|
|||||||
char* varName= gi.args.args[2].value.refName;
|
char* varName= gi.args.args[2].value.refName;
|
||||||
APPEND_ESTR(start, " ; equal\n");
|
APPEND_ESTR(start, " ; equal\n");
|
||||||
APPEND_ESTR(start, " mov rax, ");
|
APPEND_ESTR(start, " mov rax, ");
|
||||||
APPEND_ESTR(start, processValueString(gi.args.args[0]));
|
APPEND_ESTR(start, processValueString(gi.args.args[0], &varTable, NULL, &doubleTable, &rodata, &doubleConstCounter));
|
||||||
APPEND_ESTR(start, "\n");
|
APPEND_ESTR(start, "\n");
|
||||||
APPEND_ESTR(start, " cmp rax, ");
|
APPEND_ESTR(start, " cmp rax, ");
|
||||||
APPEND_ESTR(start, processValueString(gi.args.args[1]));
|
APPEND_ESTR(start, processValueString(gi.args.args[1], &varTable, NULL, &doubleTable, &rodata, &doubleConstCounter));
|
||||||
APPEND_ESTR(start, "\n");
|
APPEND_ESTR(start, "\n");
|
||||||
APPEND_ESTR(start, " sete al\n");
|
APPEND_ESTR(start, " sete al\n");
|
||||||
APPEND_ESTR(start, " movzx rax, al\n");
|
APPEND_ESTR(start, " movzx rax, al\n");
|
||||||
@@ -390,10 +773,10 @@ char* compileGroundProgram(GroundProgram* program) {
|
|||||||
char* varName= gi.args.args[2].value.refName;
|
char* varName= gi.args.args[2].value.refName;
|
||||||
APPEND_ESTR(start, " ; inequal\n");
|
APPEND_ESTR(start, " ; inequal\n");
|
||||||
APPEND_ESTR(start, " mov rax, ");
|
APPEND_ESTR(start, " mov rax, ");
|
||||||
APPEND_ESTR(start, processValueString(gi.args.args[0]));
|
APPEND_ESTR(start, processValueString(gi.args.args[0], &varTable, NULL, &doubleTable, &rodata, &doubleConstCounter));
|
||||||
APPEND_ESTR(start, "\n");
|
APPEND_ESTR(start, "\n");
|
||||||
APPEND_ESTR(start, " cmp rax, ");
|
APPEND_ESTR(start, " cmp rax, ");
|
||||||
APPEND_ESTR(start, processValueString(gi.args.args[1]));
|
APPEND_ESTR(start, processValueString(gi.args.args[1], &varTable, NULL, &doubleTable, &rodata, &doubleConstCounter));
|
||||||
APPEND_ESTR(start, "\n");
|
APPEND_ESTR(start, "\n");
|
||||||
APPEND_ESTR(start, " setne al\n");
|
APPEND_ESTR(start, " setne al\n");
|
||||||
APPEND_ESTR(start, " movzx rax, al\n");
|
APPEND_ESTR(start, " movzx rax, al\n");
|
||||||
@@ -422,10 +805,10 @@ char* compileGroundProgram(GroundProgram* program) {
|
|||||||
char* varName= gi.args.args[2].value.refName;
|
char* varName= gi.args.args[2].value.refName;
|
||||||
APPEND_ESTR(start, " ; greater\n");
|
APPEND_ESTR(start, " ; greater\n");
|
||||||
APPEND_ESTR(start, " mov rax, ");
|
APPEND_ESTR(start, " mov rax, ");
|
||||||
APPEND_ESTR(start, processValueString(gi.args.args[0]));
|
APPEND_ESTR(start, processValueString(gi.args.args[0], &varTable, NULL, &doubleTable, &rodata, &doubleConstCounter));
|
||||||
APPEND_ESTR(start, "\n");
|
APPEND_ESTR(start, "\n");
|
||||||
APPEND_ESTR(start, " cmp rax, ");
|
APPEND_ESTR(start, " cmp rax, ");
|
||||||
APPEND_ESTR(start, processValueString(gi.args.args[1]));
|
APPEND_ESTR(start, processValueString(gi.args.args[1], &varTable, NULL, &doubleTable, &rodata, &doubleConstCounter));
|
||||||
APPEND_ESTR(start, "\n");
|
APPEND_ESTR(start, "\n");
|
||||||
APPEND_ESTR(start, " setg al\n");
|
APPEND_ESTR(start, " setg al\n");
|
||||||
APPEND_ESTR(start, " movzx rax, al\n");
|
APPEND_ESTR(start, " movzx rax, al\n");
|
||||||
@@ -454,10 +837,10 @@ char* compileGroundProgram(GroundProgram* program) {
|
|||||||
char* varName= gi.args.args[2].value.refName;
|
char* varName= gi.args.args[2].value.refName;
|
||||||
APPEND_ESTR(start, " ; lesser\n");
|
APPEND_ESTR(start, " ; lesser\n");
|
||||||
APPEND_ESTR(start, " mov rax, ");
|
APPEND_ESTR(start, " mov rax, ");
|
||||||
APPEND_ESTR(start, processValueString(gi.args.args[0]));
|
APPEND_ESTR(start, processValueString(gi.args.args[0], &varTable, NULL, &doubleTable, &rodata, &doubleConstCounter));
|
||||||
APPEND_ESTR(start, "\n");
|
APPEND_ESTR(start, "\n");
|
||||||
APPEND_ESTR(start, " cmp rax, ");
|
APPEND_ESTR(start, " cmp rax, ");
|
||||||
APPEND_ESTR(start, processValueString(gi.args.args[1]));
|
APPEND_ESTR(start, processValueString(gi.args.args[1], &varTable, NULL, &doubleTable, &rodata, &doubleConstCounter));
|
||||||
APPEND_ESTR(start, "\n");
|
APPEND_ESTR(start, "\n");
|
||||||
APPEND_ESTR(start, " setl al\n");
|
APPEND_ESTR(start, " setl al\n");
|
||||||
APPEND_ESTR(start, " movzx rax, al\n");
|
APPEND_ESTR(start, " movzx rax, al\n");
|
||||||
@@ -487,7 +870,7 @@ char* compileGroundProgram(GroundProgram* program) {
|
|||||||
}
|
}
|
||||||
APPEND_ESTR(start, " ; print int\n");
|
APPEND_ESTR(start, " ; print int\n");
|
||||||
APPEND_ESTR(start, " mov rax, ");
|
APPEND_ESTR(start, " mov rax, ");
|
||||||
APPEND_ESTR(start, processValueString(gi.args.args[j]));
|
APPEND_ESTR(start, processValueString(gi.args.args[j], &varTable, NULL, &doubleTable, &rodata, &doubleConstCounter));
|
||||||
APPEND_ESTR(start, "\n");
|
APPEND_ESTR(start, "\n");
|
||||||
APPEND_ESTR(start, " call print_int\n");
|
APPEND_ESTR(start, " call print_int\n");
|
||||||
}
|
}
|
||||||
@@ -512,7 +895,7 @@ char* compileGroundProgram(GroundProgram* program) {
|
|||||||
APPEND_ESTR(start, " ; end\n");
|
APPEND_ESTR(start, " ; end\n");
|
||||||
APPEND_ESTR(start, " mov rax, 60\n");
|
APPEND_ESTR(start, " mov rax, 60\n");
|
||||||
APPEND_ESTR(start, " mov rdi, ");
|
APPEND_ESTR(start, " mov rdi, ");
|
||||||
APPEND_ESTR(start, processValueString(gi.args.args[0]));
|
APPEND_ESTR(start, processValueString(gi.args.args[0], &varTable, NULL, &doubleTable, &rodata, &doubleConstCounter));
|
||||||
APPEND_ESTR(start, "\n");
|
APPEND_ESTR(start, "\n");
|
||||||
APPEND_ESTR(start, " syscall\n");
|
APPEND_ESTR(start, " syscall\n");
|
||||||
break;
|
break;
|
||||||
@@ -532,10 +915,8 @@ char* compileGroundProgram(GroundProgram* program) {
|
|||||||
APPEND_ESTR(complete, start.str);
|
APPEND_ESTR(complete, start.str);
|
||||||
APPEND_ESTR(complete, " ; End of program\n mov rax, 60\n mov rdi, 0\n syscall\n");
|
APPEND_ESTR(complete, " ; End of program\n mov rax, 60\n mov rdi, 0\n syscall\n");
|
||||||
APPEND_ESTR(complete, helpers.str);
|
APPEND_ESTR(complete, helpers.str);
|
||||||
APPEND_ESTR(complete, "\nsection .rodata\n");
|
APPEND_ESTR(complete, data.str);
|
||||||
APPEND_ESTR(complete, "newline_char: db 10\n");
|
APPEND_ESTR(complete, rodata.str);
|
||||||
APPEND_ESTR(complete, "space_char: db 32\n");
|
|
||||||
APPEND_ESTR(complete, data.str)
|
|
||||||
|
|
||||||
return complete.str;
|
return complete.str;
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -7,6 +7,7 @@ char* compileGroundProgram(GroundProgram* program);
|
|||||||
typedef struct VariableInfo {
|
typedef struct VariableInfo {
|
||||||
char name[256];
|
char name[256];
|
||||||
int offset;
|
int offset;
|
||||||
|
GroundValueType type;
|
||||||
} VariableInfo;
|
} VariableInfo;
|
||||||
|
|
||||||
typedef struct VariableTable {
|
typedef struct VariableTable {
|
||||||
@@ -15,4 +16,13 @@ typedef struct VariableTable {
|
|||||||
size_t capacity;
|
size_t capacity;
|
||||||
} VariableTable;
|
} VariableTable;
|
||||||
|
|
||||||
|
typedef struct DoubleConstant {
|
||||||
|
double value;
|
||||||
|
char label[64];
|
||||||
|
} DoubleConstant;
|
||||||
|
|
||||||
|
typedef struct DoubleTable {
|
||||||
|
DoubleConstant* constants;
|
||||||
|
size_t count;
|
||||||
|
size_t capacity;
|
||||||
|
} DoubleTable;
|
||||||
|
|||||||
Reference in New Issue
Block a user