From 0975d924938a3500380b22395b3262053f720ee2 Mon Sep 17 00:00:00 2001 From: Aryadev Chavali Date: Tue, 31 Oct 2023 20:40:55 +0000 Subject: Introduced new instructions for comparison Comparing signed and unsigned versions of numbers. Same for EQ as well. Notice the irregular pattern of BYTE, CHAR, INT, HWORD,LONG,WORD as OPCODE_IS_TYPE requires the subcodes to be surrounded by BYTE and WORD. --- vm/inst.c | 89 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++--- vm/inst.h | 33 ++++++++++++++++++++++- 2 files changed, 117 insertions(+), 5 deletions(-) diff --git a/vm/inst.c b/vm/inst.c index 1c245fa..5be2438 100644 --- a/vm/inst.c +++ b/vm/inst.c @@ -108,12 +108,93 @@ const char *opcode_as_cstr(opcode_t code) case OP_EQ_BYTE: return "EQ_BYTE"; break; + case OP_EQ_CHAR: + return "EQ_CHAR"; + break; + case OP_EQ_INT: + return "EQ_INT"; + break; case OP_EQ_HWORD: return "EQ_HWORD"; break; + case OP_EQ_LONG: + return "EQ_LONG"; + break; case OP_EQ_WORD: return "EQ_WORD"; break; + case OP_LT_BYTE: + return "LT_BYTE"; + break; + case OP_LT_CHAR: + return "LT_CHAR"; + break; + case OP_LT_HWORD: + return "LT_HWORD"; + break; + case OP_LT_INT: + return "LT_INT"; + break; + case OP_LT_LONG: + return "LT_LONG"; + break; + case OP_LT_WORD: + return "LT_WORD"; + break; + case OP_LTE_BYTE: + return "LTE_BYTE"; + break; + case OP_LTE_CHAR: + return "LTE_CHAR"; + break; + case OP_LTE_HWORD: + return "LTE_HWORD"; + break; + case OP_LTE_INT: + return "LTE_INT"; + break; + case OP_LTE_LONG: + return "LTE_LONG"; + break; + case OP_LTE_WORD: + return "LTE_WORD"; + break; + case OP_GT_BYTE: + return "GT_BYTE"; + break; + case OP_GT_CHAR: + return "GT_CHAR"; + break; + case OP_GT_HWORD: + return "GT_HWORD"; + break; + case OP_GT_INT: + return "GT_INT"; + break; + case OP_GT_LONG: + return "GT_LONG"; + break; + case OP_GT_WORD: + return "GT_WORD"; + break; + case OP_GTE_BYTE: + return "GTE_BYTE"; + break; + case OP_GTE_CHAR: + return "GTE_CHAR"; + break; + case OP_GTE_HWORD: + return "GTE_HWORD"; + break; + case OP_GTE_INT: + return "GTE_INT"; + break; + case OP_GTE_LONG: + return "GTE_LONG"; + break; + case OP_GTE_WORD: + return "GTE_WORD"; + break; case OP_PLUS_BYTE: return "PLUS_BYTE"; break; @@ -189,7 +270,7 @@ void data_print(data_t datum, data_type_t type, FILE *fp) void inst_print(inst_t instruction, FILE *fp) { - static_assert(NUMBER_OF_OPCODES == 46, "inst_bytecode_size: Out of date"); + static_assert(NUMBER_OF_OPCODES == 73, "inst_bytecode_size: Out of date"); fprintf(fp, "%s(", opcode_as_cstr(instruction.opcode)); if (OPCODE_IS_TYPE(instruction.opcode, OP_PUSH)) { @@ -219,7 +300,7 @@ void inst_print(inst_t instruction, FILE *fp) size_t inst_bytecode_size(inst_t inst) { - static_assert(NUMBER_OF_OPCODES == 46, "inst_bytecode_size: Out of date"); + static_assert(NUMBER_OF_OPCODES == 73, "inst_bytecode_size: Out of date"); size_t size = 1; // for opcode if (OPCODE_IS_TYPE(inst.opcode, OP_PUSH)) { @@ -243,7 +324,7 @@ size_t inst_bytecode_size(inst_t inst) void inst_write_bytecode(inst_t inst, darr_t *darr) { - static_assert(NUMBER_OF_OPCODES == 46, "inst_write_bytecode: Out of date"); + static_assert(NUMBER_OF_OPCODES == 73, "inst_write_bytecode: Out of date"); // Append opcode darr_append_byte(darr, inst.opcode); // Then append 0 or more operands @@ -317,7 +398,7 @@ data_t read_type_from_darr(darr_t *darr, data_type_t type) inst_t inst_read_bytecode(darr_t *darr) { - static_assert(NUMBER_OF_OPCODES == 46, "inst_read_bytecode: Out of date"); + static_assert(NUMBER_OF_OPCODES == 73, "inst_read_bytecode: Out of date"); if (darr->used >= darr->available) return (inst_t){0}; inst_t inst = {0}; diff --git a/vm/inst.h b/vm/inst.h index 935f722..929c068 100644 --- a/vm/inst.h +++ b/vm/inst.h @@ -62,17 +62,44 @@ typedef enum OP_XOR_WORD, OP_EQ_BYTE, + OP_EQ_CHAR, OP_EQ_HWORD, + OP_EQ_INT, + OP_EQ_LONG, OP_EQ_WORD, // Mathematical operations + OP_LT_BYTE, + OP_LT_CHAR, + OP_LT_HWORD, + OP_LT_INT, + OP_LT_LONG, + OP_LT_WORD, + OP_LTE_BYTE, + OP_LTE_CHAR, + OP_LTE_HWORD, + OP_LTE_INT, + OP_LTE_LONG, + OP_LTE_WORD, + OP_GT_BYTE, + OP_GT_CHAR, + OP_GT_HWORD, + OP_GT_INT, + OP_GT_LONG, + OP_GT_WORD, + OP_GTE_BYTE, + OP_GTE_CHAR, + OP_GTE_HWORD, + OP_GTE_INT, + OP_GTE_LONG, + OP_GTE_WORD, OP_PLUS_BYTE, OP_PLUS_HWORD, OP_PLUS_WORD, // Simple I/O - OP_PRINT_CHAR, OP_PRINT_BYTE, + OP_PRINT_CHAR, OP_PRINT_INT, OP_PRINT_HWORD, OP_PRINT_LONG, @@ -143,6 +170,10 @@ inst_t *insts_read_bytecode_file(FILE *, size_t *); #define INST_AND(TYPE) ((inst_t){.opcode = OP_AND_##TYPE}) #define INST_XOR(TYPE) ((inst_t){.opcode = OP_XOR_##TYPE}) #define INST_EQ(TYPE) ((inst_t){.opcode = OP_EQ_##TYPE}) +#define INST_LT(TYPE) ((inst_t){.opcode = OP_LT_##TYPE}) +#define INST_LTE(TYPE) ((inst_t){.opcode = OP_LTE_##TYPE}) +#define INST_GT(TYPE) ((inst_t){.opcode = OP_GT_##TYPE}) +#define INST_GTE(TYPE) ((inst_t){.opcode = OP_GTE_##TYPE}) #define INST_PLUS(TYPE) ((inst_t){.opcode = OP_PLUS_##TYPE}) #define INST_JUMP_ABS(OP) \ -- cgit v1.2.3-13-gbd6f