Compare commits
14 Commits
063e85d24a
...
unstable
| Author | SHA1 | Date | |
|---|---|---|---|
| 017d0eb273 | |||
| e8c49508a0 | |||
| 68182d916e | |||
| 3f684dad3f | |||
| 03aab86413 | |||
| f9352cf59f | |||
| 3afb59929a | |||
| 0c2abbae2f | |||
| 955e75addb | |||
| c382ecd867 | |||
| 228d2ac762 | |||
| b289448f56 | |||
| a3ca979133 | |||
| 3e9ce0dfc0 |
@@ -82,7 +82,7 @@ build
|
|||||||
- [x] Return values (type checked)
|
- [x] Return values (type checked)
|
||||||
- [x] Arguments for functions
|
- [x] Arguments for functions
|
||||||
- [x] Jumping within functions
|
- [x] Jumping within functions
|
||||||
- [ ] Custom data structures
|
- [x] Custom data structures
|
||||||
- [ ] Working with external libraries
|
- [ ] Working with external libraries
|
||||||
|
|
||||||
## Debugger
|
## Debugger
|
||||||
@@ -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:
|
||||||
|
|
||||||
@@ -114,6 +114,7 @@ Supported instructions so far:
|
|||||||
* inequal
|
* inequal
|
||||||
* greater
|
* greater
|
||||||
* lesser
|
* lesser
|
||||||
|
* not
|
||||||
* jump
|
* jump
|
||||||
* if
|
* if
|
||||||
* @ (label creation)
|
* @ (label creation)
|
||||||
|
|||||||
@@ -14,7 +14,7 @@
|
|||||||
#include <uthash.h>
|
#include <uthash.h>
|
||||||
|
|
||||||
typedef enum GroundInstType {
|
typedef enum GroundInstType {
|
||||||
IF, JUMP, END, INPUT, PRINT, PRINTLN, SET, GETTYPE, EXISTS, SETLIST, SETLISTAT, GETLISTAT, GETLISTSIZE, LISTAPPEND, GETSTRSIZE, GETSTRCHARAT, ADD, SUBTRACT, MULTIPLY, DIVIDE, EQUAL, INEQUAL, NOT, GREATER, LESSER, STOI, STOD, TOSTRING, FUN, RETURN, ENDFUN, PUSHARG, CALL, STRUCT, ENDSTRUCT, INIT, USE, EXTERN, CREATELABEL, PAUSE, DROP, ERRORCMD
|
IF, JUMP, END, INPUT, PRINT, PRINTLN, SET, GETTYPE, EXISTS, SETLIST, SETLISTAT, GETLISTAT, GETLISTSIZE, LISTAPPEND, GETSTRSIZE, GETSTRCHARAT, ADD, SUBTRACT, MULTIPLY, DIVIDE, EQUAL, INEQUAL, NOT, GREATER, LESSER, STOI, STOD, TOSTRING, FUN, RETURN, ENDFUN, PUSHARG, CALL, STRUCT, ENDSTRUCT, INIT, GETFIELD, SETFIELD, USE, EXTERN, CREATELABEL, PAUSE, DROP, ERRORCMD
|
||||||
} GroundInstType;
|
} GroundInstType;
|
||||||
|
|
||||||
typedef enum GroundValueType {
|
typedef enum GroundValueType {
|
||||||
@@ -31,6 +31,7 @@ typedef enum ListAccessStatus {
|
|||||||
|
|
||||||
struct GroundValue;
|
struct GroundValue;
|
||||||
struct GroundFunction;
|
struct GroundFunction;
|
||||||
|
struct GroundStruct;
|
||||||
|
|
||||||
struct List;
|
struct List;
|
||||||
|
|
||||||
@@ -58,7 +59,8 @@ typedef struct GroundError {
|
|||||||
*/
|
*/
|
||||||
typedef struct GroundValue {
|
typedef struct GroundValue {
|
||||||
GroundValueType type;
|
GroundValueType type;
|
||||||
union {
|
struct GroundStruct* customType;
|
||||||
|
struct {
|
||||||
int64_t intVal;
|
int64_t intVal;
|
||||||
double doubleVal;
|
double doubleVal;
|
||||||
char* stringVal;
|
char* stringVal;
|
||||||
@@ -170,6 +172,7 @@ GroundProgram groundCreateProgram();
|
|||||||
void groundAddInstructionToProgram(GroundProgram* program, GroundInstruction instruction);
|
void groundAddInstructionToProgram(GroundProgram* program, GroundInstruction instruction);
|
||||||
GroundValue groundRunProgram(GroundProgram* program);
|
GroundValue groundRunProgram(GroundProgram* program);
|
||||||
void groundPrintProgram(GroundProgram* program);
|
void groundPrintProgram(GroundProgram* program);
|
||||||
|
char* groundCompileProgram(GroundProgram* program);
|
||||||
|
|
||||||
GroundInstruction groundCreateInstruction(GroundInstType type);
|
GroundInstruction groundCreateInstruction(GroundInstType type);
|
||||||
void groundAddValueToInstruction(GroundInstruction* inst, GroundValue value);
|
void groundAddValueToInstruction(GroundInstruction* inst, GroundValue value);
|
||||||
|
|||||||
464
src/compiler.c
464
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);
|
char* buf = malloc(sizeof(char) * 64);
|
||||||
snprintf(buf, sizeof(char) * 260, "%" PRId64, arg.value.value.data.intVal);
|
snprintf(buf, sizeof(char) * 260, "%" PRId64, arg.value.value.data.intVal);
|
||||||
return buf;
|
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;
|
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 ");
|
||||||
@@ -221,6 +566,33 @@ char* compileGroundProgram(GroundProgram* program) {
|
|||||||
|
|
||||||
break;
|
break;
|
||||||
}
|
}
|
||||||
|
case NOT: {
|
||||||
|
if (gi.args.length < 2) {
|
||||||
|
runtimeError(TOO_FEW_ARGS, "Expecting 2 args", &gi, i);
|
||||||
|
}
|
||||||
|
if (gi.args.length > 2) {
|
||||||
|
runtimeError(TOO_MANY_ARGS, "Expecting 2 args", &gi, i);
|
||||||
|
}
|
||||||
|
if (gi.args.args[0].type != VALUE && gi.args.args[0].type != VALREF) {
|
||||||
|
runtimeError(ARG_TYPE_MISMATCH, "Expecting an Int (for now) for arg 1", &gi, i);
|
||||||
|
}
|
||||||
|
if (gi.args.args[1].type != DIRREF) {
|
||||||
|
runtimeError(ARG_TYPE_MISMATCH, "Expecting a DirectRef", &gi, i);
|
||||||
|
}
|
||||||
|
|
||||||
|
char* varName = gi.args.args[1].value.refName;
|
||||||
|
|
||||||
|
APPEND_ESTR(start, " ; not\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, " xor rax, 1\n");
|
||||||
|
APPEND_ESTR(start, " mov [");
|
||||||
|
APPEND_ESTR(start, varName);
|
||||||
|
APPEND_ESTR(start, "], rax\n");
|
||||||
|
|
||||||
|
break;
|
||||||
|
}
|
||||||
case ADD: {
|
case ADD: {
|
||||||
if (gi.args.length < 3) {
|
if (gi.args.length < 3) {
|
||||||
runtimeError(TOO_FEW_ARGS, "Expecting 2 args for add instruction", &gi, i);
|
runtimeError(TOO_FEW_ARGS, "Expecting 2 args for add instruction", &gi, i);
|
||||||
@@ -238,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);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
GroundValueType leftType, rightType;
|
||||||
|
|
||||||
|
char* left = processValueString(gi.args.args[0], &varTable, &leftType, &doubleTable, &rodata, &doubleConstCounter);
|
||||||
|
char* right = processValueString(gi.args.args[1], &varTable, &rightType, &doubleTable, &rodata, &doubleConstCounter);
|
||||||
char* varName = gi.args.args[2].value.refName;
|
char* varName = gi.args.args[2].value.refName;
|
||||||
|
|
||||||
|
bool isDouble = (leftType == DOUBLE || rightType == DOUBLE);
|
||||||
|
|
||||||
|
if (isDouble) {
|
||||||
|
APPEND_ESTR(start, " ; add (double)\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, " ; add\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, " add rax, ");
|
APPEND_ESTR(start, " add 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);
|
||||||
APPEND_ESTR(start, "], rax\n");
|
APPEND_ESTR(start, "], rax\n");
|
||||||
|
}
|
||||||
break;
|
break;
|
||||||
}
|
}
|
||||||
case SUBTRACT: {
|
case SUBTRACT: {
|
||||||
@@ -271,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);
|
||||||
@@ -301,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);
|
||||||
@@ -331,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");
|
||||||
@@ -363,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");
|
||||||
@@ -395,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");
|
||||||
@@ -427,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");
|
||||||
@@ -460,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");
|
||||||
}
|
}
|
||||||
@@ -485,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;
|
||||||
@@ -505,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;
|
||||||
|
|||||||
@@ -1,5 +1,6 @@
|
|||||||
#include "parser.h"
|
#include "parser.h"
|
||||||
#include "interpreter.h"
|
#include "interpreter.h"
|
||||||
|
#include "compiler.h"
|
||||||
#include "types.h"
|
#include "types.h"
|
||||||
|
|
||||||
#include <stdlib.h>
|
#include <stdlib.h>
|
||||||
@@ -123,3 +124,7 @@ void groundAddValueToScope(GroundScope* gs, const char* name, GroundValue value)
|
|||||||
void groundAddFieldToStruct(GroundStruct* gstruct, char* name, GroundValue field) {
|
void groundAddFieldToStruct(GroundStruct* gstruct, char* name, GroundValue field) {
|
||||||
addFieldToStruct(gstruct, name, field);
|
addFieldToStruct(gstruct, name, field);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
char* groundCompileProgram(GroundProgram* program) {
|
||||||
|
return compileGroundProgram(program);
|
||||||
|
}
|
||||||
|
|||||||
@@ -2028,6 +2028,77 @@ GroundValue interpretGroundInstruction(GroundInstruction inst, GroundScope* scop
|
|||||||
break;
|
break;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/*
|
||||||
|
* OBJECTS
|
||||||
|
* Allows manipulation of Ground objects.
|
||||||
|
*/
|
||||||
|
// getfield $obj &field &result
|
||||||
|
case GETFIELD: {
|
||||||
|
if (in->args.length < 3) {
|
||||||
|
runtimeError(TOO_FEW_ARGS, "Expecting 3 args", in, currentInstruction);
|
||||||
|
}
|
||||||
|
if (in->args.length > 3) {
|
||||||
|
runtimeError(TOO_MANY_ARGS, "Expecting 3 args", in, currentInstruction);
|
||||||
|
}
|
||||||
|
if (in->args.args[0].type != VALUE) {
|
||||||
|
runtimeError(ARG_TYPE_MISMATCH, "Expecting an Object for arg 1", in, currentInstruction);
|
||||||
|
}
|
||||||
|
if (in->args.args[0].value.value.type != CUSTOM) {
|
||||||
|
runtimeError(ARG_TYPE_MISMATCH, "Expecting an Object for arg 1", in, currentInstruction);
|
||||||
|
}
|
||||||
|
if (in->args.args[1].type != DIRREF) {
|
||||||
|
runtimeError(ARG_TYPE_MISMATCH, "Expecting a DirectRef for arg 2", in, currentInstruction);
|
||||||
|
}
|
||||||
|
if (in->args.args[2].type != DIRREF) {
|
||||||
|
runtimeError(ARG_TYPE_MISMATCH, "Expecting a DirectRef for arg 3", in, currentInstruction);
|
||||||
|
}
|
||||||
|
|
||||||
|
GroundObjectField* field = findField(*in->args.args[0].value.value.data.customVal, in->args.args[1].value.refName);
|
||||||
|
if (field == NULL) {
|
||||||
|
runtimeError(UNKNOWN_VARIABLE, "Struct does not contain that field", in, currentInstruction);
|
||||||
|
}
|
||||||
|
addVariable(scope->variables, in->args.args[2].value.refName, field->value);
|
||||||
|
|
||||||
|
break;
|
||||||
|
}
|
||||||
|
// setfield &obj &field $value
|
||||||
|
case SETFIELD: {
|
||||||
|
if (in->args.length < 3) {
|
||||||
|
runtimeError(TOO_FEW_ARGS, "Expecting 3 args", in, currentInstruction);
|
||||||
|
}
|
||||||
|
if (in->args.length > 3) {
|
||||||
|
runtimeError(TOO_MANY_ARGS, "Expecting 3 args", in, currentInstruction);
|
||||||
|
}
|
||||||
|
if (in->args.args[0].type != DIRREF) {
|
||||||
|
runtimeError(ARG_TYPE_MISMATCH, "Expecting a DirectRef to an Object for arg 1", in, currentInstruction);
|
||||||
|
}
|
||||||
|
if (in->args.args[1].type != DIRREF) {
|
||||||
|
runtimeError(ARG_TYPE_MISMATCH, "Expecting a DirectRef for arg 2", in, currentInstruction);
|
||||||
|
}
|
||||||
|
if (in->args.args[2].type != VALUE) {
|
||||||
|
runtimeError(ARG_TYPE_MISMATCH, "Expecting a Value for arg 3", in, currentInstruction);
|
||||||
|
}
|
||||||
|
|
||||||
|
GroundVariable* var = findVariable(*scope->variables, in->args.args[0].value.refName);
|
||||||
|
if (var == NULL) {
|
||||||
|
runtimeError(UNKNOWN_VARIABLE, "Could not find that object", in, currentInstruction);
|
||||||
|
}
|
||||||
|
if (var->value.type != CUSTOM) {
|
||||||
|
runtimeError(ARG_TYPE_MISMATCH, "Expecting a DirectRef to an Object for arg 1", in, currentInstruction);
|
||||||
|
}
|
||||||
|
|
||||||
|
GroundObjectField* field = findField(*var->value.data.customVal, in->args.args[1].value.refName);
|
||||||
|
if (field == NULL) {
|
||||||
|
runtimeError(UNKNOWN_VARIABLE, "Struct does not contain that field", in, currentInstruction);
|
||||||
|
}
|
||||||
|
if (field->value.type != in->args.args[2].value.value.type) {
|
||||||
|
runtimeError(ARG_TYPE_MISMATCH, "Field type and provided type do not match", in, currentInstruction);
|
||||||
|
}
|
||||||
|
|
||||||
|
field->value = copyGroundValue(&in->args.args[2].value.value);
|
||||||
|
break;
|
||||||
|
}
|
||||||
|
|
||||||
case DROP: {
|
case DROP: {
|
||||||
if (in->args.length < 1) {
|
if (in->args.length < 1) {
|
||||||
runtimeError(TOO_FEW_ARGS, "Expecting 1 arg", in, currentInstruction);
|
runtimeError(TOO_FEW_ARGS, "Expecting 1 arg", in, currentInstruction);
|
||||||
|
|||||||
@@ -168,6 +168,8 @@ static GroundInstType getInstructionType(const char* inst) {
|
|||||||
if (strcmp(inst, "struct") == 0) return STRUCT;
|
if (strcmp(inst, "struct") == 0) return STRUCT;
|
||||||
if (strcmp(inst, "endstruct") == 0) return ENDSTRUCT;
|
if (strcmp(inst, "endstruct") == 0) return ENDSTRUCT;
|
||||||
if (strcmp(inst, "init") == 0) return INIT;
|
if (strcmp(inst, "init") == 0) return INIT;
|
||||||
|
if (strcmp(inst, "getfield") == 0) return GETFIELD;
|
||||||
|
if (strcmp(inst, "setfield") == 0) return SETFIELD;
|
||||||
if (strcmp(inst, "use") == 0) return USE;
|
if (strcmp(inst, "use") == 0) return USE;
|
||||||
if (strcmp(inst, "extern") == 0) return EXTERN;
|
if (strcmp(inst, "extern") == 0) return EXTERN;
|
||||||
if (strcmp(inst, "drop") == 0) return DROP;
|
if (strcmp(inst, "drop") == 0) return DROP;
|
||||||
|
|||||||
@@ -9,7 +9,7 @@
|
|||||||
#include "include/uthash.h"
|
#include "include/uthash.h"
|
||||||
|
|
||||||
typedef enum GroundInstType {
|
typedef enum GroundInstType {
|
||||||
IF, JUMP, END, INPUT, PRINT, PRINTLN, SET, GETTYPE, EXISTS, SETLIST, SETLISTAT, GETLISTAT, GETLISTSIZE, LISTAPPEND, GETSTRSIZE, GETSTRCHARAT, ADD, SUBTRACT, MULTIPLY, DIVIDE, EQUAL, INEQUAL, NOT, GREATER, LESSER, STOI, STOD, TOSTRING, FUN, RETURN, ENDFUN, PUSHARG, CALL, STRUCT, ENDSTRUCT, INIT, USE, EXTERN, CREATELABEL, PAUSE, DROP, ERRORCMD
|
IF, JUMP, END, INPUT, PRINT, PRINTLN, SET, GETTYPE, EXISTS, SETLIST, SETLISTAT, GETLISTAT, GETLISTSIZE, LISTAPPEND, GETSTRSIZE, GETSTRCHARAT, ADD, SUBTRACT, MULTIPLY, DIVIDE, EQUAL, INEQUAL, NOT, GREATER, LESSER, STOI, STOD, TOSTRING, FUN, RETURN, ENDFUN, PUSHARG, CALL, STRUCT, ENDSTRUCT, INIT, GETFIELD, SETFIELD, USE, EXTERN, CREATELABEL, PAUSE, DROP, ERRORCMD
|
||||||
} GroundInstType;
|
} GroundInstType;
|
||||||
|
|
||||||
typedef enum GroundValueType {
|
typedef enum GroundValueType {
|
||||||
@@ -63,7 +63,7 @@ typedef struct GroundError {
|
|||||||
typedef struct GroundValue {
|
typedef struct GroundValue {
|
||||||
GroundValueType type;
|
GroundValueType type;
|
||||||
struct GroundStruct* customType;
|
struct GroundStruct* customType;
|
||||||
union {
|
struct {
|
||||||
int64_t intVal;
|
int64_t intVal;
|
||||||
double doubleVal;
|
double doubleVal;
|
||||||
char* stringVal;
|
char* stringVal;
|
||||||
|
|||||||
17
tests/struct.grnd
Normal file
17
tests/struct.grnd
Normal file
@@ -0,0 +1,17 @@
|
|||||||
|
struct -point
|
||||||
|
|
||||||
|
init &x -int
|
||||||
|
init &y -int
|
||||||
|
|
||||||
|
endstruct
|
||||||
|
|
||||||
|
init &mypoint -point
|
||||||
|
|
||||||
|
setfield &mypoint &x 53
|
||||||
|
setfield &mypoint &y 32
|
||||||
|
|
||||||
|
getfield $mypoint &x &value
|
||||||
|
println $value
|
||||||
|
|
||||||
|
getfield $mypoint &y &value
|
||||||
|
println $value
|
||||||
Reference in New Issue
Block a user