#ifndef UNDAR_VM_H #define UNDAR_VM_H #include "libc.h" /** * Instruction Types * * A : [8:opcode][8:dest][8:src1][8:src2] * B : [8:opcode][8:dest][16:immediate] * C : [8:opcode][24:immediate] */ #define DECODE_OP(instruction) ((((u32)(instruction)) >> 24) & 0xFF) #define ENCODE_A(opcode, dest, src1, src2) ((((u32)(opcode) & 0xFF) << 24) | \ (((u32)(dest) & 0xFF) << 16) | \ (((u32)(src1) & 0xFF) << 8) | \ (((u32)(src2) & 0xFF))) #define DECODE_A(instruction) \ u8 dest = (((u32)(instruction)) >> 16) & 0xFF; \ u8 src1 = (((u32)(instruction)) >> 8) & 0xFF; \ u8 src2 = ((u32)(instruction)) & 0xFF; #define ENCODE_B(opcode, dest, imm) ((((u32)(opcode) & 0xFF) << 24) | \ (((u32)(dest) & 0xFF) << 16) | \ (((u32)(imm)) & 0xFFFF)) #define DECODE_B(instruction) \ u8 dest = (((u32)(instruction)) >> 16) & 0xFF; \ u16 imm = ((u32)(instruction)) & 0xFFFF; #define ENCODE_C(opcode, imm) ((((u32)(opcode) & 0xFF) << 24) | \ (((u32)(imm)) & 0xFFFFFF)) #define DECODE_C(instruction) \ u32 imm = ((u32)(instruction)) & 0xFFFFFF; typedef enum { OP_HALT, /* halt : A : all zeros : halt execution */ OP_CALL, /* call : A : dest args fn_ptr : creates a new frame */ OP_RETURN, /* return : A : dest args : returns from a frame to the parent frame */ OP_SYSCALL, /* syscall : A : id args mem_ptr : does a system call based on id with args */ OP_LOAD_IMM, /* load_immediate : B : locals[dest] = const as u16 */ OP_LOAD_UPPER_IMM, /* load_upper_immediate : B : locals[dest] = const as u32 << 16 | u16 */ OP_LOAD_IND_8, /* load_indirect_8 : A : locals[dest] = memory[locals[src1]] as u8 */ OP_LOAD_IND_16, /* load_indirect_16 : A : locals[dest] = memory[locals[src1]] as u16 */ OP_LOAD_IND_32, /* load_indirect_32 : A : locals[dest] = memory[locals[src1]] as u32 */ OP_LOAD_ABS_8, /* load_absolute_8 : A : locals[dest] = memory[src1] as u8 */ OP_LOAD_ABS_16, /* load_absolute_16 : A : locals[dest] = memory[src1] as u16 */ OP_LOAD_ABS_32, /* load_absolute_32 : A : locals[dest] = memory[src1] as u32 */ OP_LOAD_OFF_8, /* load_offset_8 : A : locals[dest] = memory[locals[src1] + offset] as u8 */ OP_LOAD_OFF_16, /* load_offset_16 : A : locals[dest] = memory[locals[src1] + offset] as u16 */ OP_LOAD_OFF_32, /* load_offset_32 : A : locals[dest] = memory[locals[src1] + offset] as u32 */ OP_STORE_ABS_8, /* store_absolute_8 : A : memory[dest] = src1 && 0xFF */ OP_STORE_ABS_16, /* store_absolute_16 : A : memory[dest] = src1 && 0xFFFF */ OP_STORE_ABS_32, /* store_absolute_32 : A : memory[dest] = src1 */ OP_STORE_IND_8, /* store_indirect_8 : A : memory[dest] = locals[src1] && 0xFF */ OP_STORE_IND_16, /* store_indirect_16 : A : memory[dest] = locals[src1] && 0xFFFF*/ OP_STORE_IND_32, /* store_indirect_32 : A : memory[dest] = locals[src1] */ OP_STORE_OFF_8, /* store_offset_8 : A : memory[locals[dest] + offset] = locals[src1] && 0xFF */ OP_STORE_OFF_16, /* store_offset_16 : A : memory[locals[dest] + offset] = locals[src1] && 0xFFFF */ OP_STORE_OFF_32, /* store_offset_32 : A : memory[locals[dest] + offset] = locals[src1] */ OP_MEM_ALLOC, /* alloc : A : memory[dest] = [locals[src1] as size + 4] */ OP_MEM_CPY, /* memcpy : A : memory[src1 .. src1 + count] = memory[dest .. dest + count] */ OP_MEM_SET_8, /* memset_8 : A : memory[dest .. dest + count] = local[src1] as u8 */ OP_MEM_SET_16, /* memset_16 : A : memory[dest .. dest + count] = local[src1] as u16 */ OP_MEM_SET_32, /* memset_32 : A : memory[dest .. dest + count] = local[src1] as u32 */ OP_REG_MOV, /* register_move : A : locals[dest] = locals[src1] */ OP_ADD_INT, /* add_int : A : locals[dest] = locals[src1] + locals[src2] */ OP_SUB_INT, /* sub_int : A : locals[dest] = locals[src1] - locals[src2] */ OP_MUL_INT, /* mul_int : A : locals[dest] = locals[src1] * locals[src2] */ OP_DIV_INT, /* div_int : A : locals[dest] = locals[src1] / locals[src2] */ OP_ADD_NAT, /* add_nat : A : locals[dest] = locals[src1] + locals[src2] */ OP_SUB_NAT, /* sub_nat : A : locals[dest] = locals[src1] - locals[src2] */ OP_MUL_NAT, /* mul_nat : A : locals[dest] = locals[src1] * locals[src2] */ OP_DIV_NAT, /* div_nat : A : locals[dest] = locals[src1] / locals[src2] */ OP_ADD_REAL, /* add_real : A : locals[dest] = locals[src1] + locals[src2] */ OP_SUB_REAL, /* sub_real : A : locals[dest] = locals[src1] - locals[src2] */ OP_MUL_REAL, /* mul_real : A : locals[dest] = locals[src1] * locals[src2] */ OP_DIV_REAL, /* div_real : A : locals[dest] = locals[src1] / locals[src2] */ OP_INT_TO_REAL, /* int_to_real : A : locals[dest] = locals[src1] as real */ OP_INT_TO_NAT, /* int_to_nat : A : locals[dest] = locals[src1] as nat */ OP_NAT_TO_REAL, /* nat_to_real : A : locals[dest] = locals[src1] as real */ OP_NAT_TO_INT, /* nat_to_int : A : locals[dest] = locals[src1] as int */ OP_REAL_TO_INT, /* real_to_int : A : locals[dest] = locals[src1] as int */ OP_REAL_TO_NAT, /* real_to_nat : A : locals[dest] = locals[src1] as nat */ OP_BIT_SHIFT_LEFT, /* bit_shift_left : A : locals[dest] = locals[src1] << locals[src2] */ OP_BIT_SHIFT_RIGHT,/* bit_shift_right : A : locals[dest] = locals[src1] >> locals[src2] */ OP_BIT_SHIFT_R_EXT,/* bit_shift_r_ext : A : locals[dest] as i32 = locals[src1] >> locals[src2] */ OP_BIT_AND, /* bit_and : A : locals[dest] = locals[src1] & locals[src2] */ OP_BIT_OR, /* bit_or : A : locals[dest] = locals[src1] | locals[src2] */ OP_BIT_XOR, /* bit_xor : A : locals[dest] = locals[src1] ^ locals[src2] */ OP_JMP_IMM, /* jump_immediate : C : jump to imm unconditionally */ OP_JMP_ABS, /* jump_absolute : A : jump to locals[dest] unconditionally */ OP_JMP_OFF, /* jump_offset : A : jump to locals[dest] + locals[src1] unconditionally */ OP_JMP_FLAG, /* jump_if_flag : A : jump to locals[dest] if flag > 0 */ OP_JEQ_INT, /* jump_eq_int : A : jump to locals[dest] if locals[src1] as int == locals[src2] as int */ OP_JNE_INT, /* jump_neq_int : A : jump to locals[dest] if locals[src1] as int != locals[src2] as int */ OP_JGT_INT, /* jump_gt_int : A : jump to locals[dest] if locals[src1] as int > locals[src2] as int */ OP_JLT_INT, /* jump_lt_int : A : jump to locals[dest] if locals[src1] as int < locals[src2] as int */ OP_JLE_INT, /* jump_le_int : A : jump to locals[dest] if locals[src1] as int <= locals[src2] as int */ OP_JGE_INT, /* jump_ge_int : A : jump to locals[dest] if locals[src1] as int >= locals[src2] as int */ OP_JEQ_NAT, /* jump_eq_nat : A : jump to locals[dest] if locals[src1] as nat == locals[src2] as nat */ OP_JNE_NAT, /* jump_neq_nat : A : jump to locals[dest] if locals[src1] as nat != locals[src2] as nat */ OP_JGT_NAT, /* jump_gt_nat : A : jump to locals[dest] if locals[src1] as nat > locals[src2] as nat */ OP_JLT_NAT, /* jump_lt_nat : A : jump to locals[dest] if locals[src1] as nat < locals[src2] as nat */ OP_JLE_NAT, /* jump_le_nat : A : jump to locals[dest] if locals[src1] as nat <= locals[src2] as nat */ OP_JGE_NAT, /* jump_ge_nat : A : jump to locals[dest] if locals[src1] as nat >= locals[src2] as nat */ OP_JEQ_REAL, /* jump_eq_real : A : jump to locals[dest] if locals[src1] as real == locals[src2] as real */ OP_JNE_REAL, /* jump_neq_real : A : jump to locals[dest] if locals[src1] as real != locals[src2] as real */ OP_JGE_REAL, /* jump_ge_real : A : jump to locals[dest] if locals[src1] as real >= locals[src2] as real */ OP_JGT_REAL, /* jump_gt_real : A : jump to locals[dest] if locals[src1] as real > locals[src2] as real */ OP_JLT_REAL, /* jump_lt_real : A : jump to locals[dest] if locals[src1] as real < locals[src2] as real */ OP_JLE_REAL, /* jump_le_real : A : jump to locals[dest] if locals[src1] as real <= locals[src2] as real */ OP_MAX_OPCODE /* not an opcode count of instructions */ } Opcode; extern u32 pc; /* program counter */ extern u32 cp; /* code pointer */ extern u32 mp; /* memory pointer */ extern u32 fp; /* frame pointer */ extern u32 flag; /* flag */ extern u8 interrupt; /* device interrupt */ extern u32 *code; /* code */ extern u8 *mem; /* memory */ #define READ_U8(addr) (mem[addr]) #define READ_U16(addr) \ (((u16)mem[(addr) + 1] << 8) | ((u16)mem[(addr)])) #define READ_U32(addr) \ (((u32)mem[(addr) + 3] << 24) | \ ((u32)mem[(addr) + 2] << 16) | \ ((u32)mem[(addr) + 1] << 8) | ((u32)mem[(addr)])) #define WRITE_U8(addr, value) \ do { \ if ((addr) < sizeof(mem)) { \ mem[(addr)] = (value) & 0xFF; \ } \ } while (0) #define WRITE_U16(addr, value) \ do { \ if ((addr) + 1 < sizeof(mem)) { \ mem[(addr)] = (value) & 0xFF; \ mem[(addr) + 1] = ((value) >> 8) & 0xFF; \ } \ } while (0) #define WRITE_U32(addr, value) \ do { \ if ((addr) + 3 < sizeof(mem)) { \ mem[(addr)] = (value) & 0xFF; \ mem[(addr) + 1] = ((value) >> 8) & 0xFF; \ mem[(addr) + 2] = ((value) >> 16) & 0xFF; \ mem[(addr) + 3] = ((value) >> 24) & 0xFF; \ } \ } while (0) #define MATH_OP(type, op) \ do { \ DECODE_A(instruction) \ u32 rd = fp + dest; \ u32 r1 = fp + src1; \ u32 r2 = fp + src2; \ mem[rd] = (type)mem[r1] op(type) mem[r2]; \ return true; \ } while (0) #define COMPARE_AND_JUMP(type, op) \ do { \ DECODE_A(instruction) \ i32 cond; \ u32 mask, target; \ type value; \ type value2; \ u32 rd = fp + dest; \ u32 r1 = fp + src1; \ u32 r2 = fp + src2; \ target = mem[rd]; \ value = (type)mem[r1]; \ value2 = (type)mem[r2]; \ cond = !!(value op value2); \ mask = -(u32)cond; \ pc = (target & mask) | (pc & ~mask); \ return true; \ } while (0) extern bool init_vm(); extern u32 syscall(u32 id, u32 args, u32 mem_ptr); bool step_vm(); #endif