AbleOS/holey-bytes
3
3
Fork 5
Code Issues 2 Pull requests Packages Projects Releases Wiki Activity

Implement copy + docs for instructions

Browse source
This commit is contained in:
Erin 2023-06-07 00:02:27 +02:00 committed by ondra05
parent 8d6e7af9d8
commit 8675965ef5
3 changed files with 40 additions and 27 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

57
hbvm/src/bytecode.rs
View file

@ -9,47 +9,56 @@ macro_rules! constmod {
}
constmod!(pub opcode(u8) {
NOP = 0, // N
ADD = 1, // RRR
SUB = 2, // RRR
MUL = 3, // RRR
DIV = 4, // RRR
REM = 5, // RRR
AND = 6, // RRR
OR = 7, // RRR
XOR = 8, // RRR
NOT = 9, // RR
NOP = 0, // N; Do nothing
ADD = 1, // RRR; #0 ← #1 + #2
SUB = 2, // RRR; #0 ← #1 - #2
MUL = 3, // RRR; #0 ← #1 × #2
DIV = 4, // RRR; #0 ← #1 ÷ #2
REM = 5, // RRR; #0 ← #1 % #2
AND = 6, // RRR; #0 ← #1 & #2
OR = 7, // RRR; #0 ← #1 | #2
XOR = 8, // RRR; #0 ← #1 ^ #2
NOT = 9, // RR; #0 ← !#1
// TODO: Add instruction for integer and float
// reg ← reg + imm instructions
ADDF = 10, // RRR
SUBF = 11, // RRR
MULF = 12, // RRR
DIVF = 13, // RRR
ADDF = 10, // RRR; #0 ← #1 +. #2
SUBF = 11, // RRR; #0 ← #1 +. #2
MULF = 12, // RRR; #0 ← #1 +. #2
DIVF = 13, // RRR; #0 ← #1 +. #2
LI = 14, // RI
LD = 15, // RI
ST = 16, // RI
CP = 14, // RR; Copy #0 ← #1
LI = 15, // RI; Load immediate, #0 ← imm #1
LB = 16, // RRI; Load byte (8 bits), #0 ← [#1 + imm #2]
LD = 17, // RRI; Load doublet (16 bits)
LQ = 18, // RRI; Load quadlet (32 bits)
LO = 19, // RRI; Load octlet (64 bits)
SB = 20, // RRI; Store byte, [#1 + imm #2] ← #0
SD = 21, // RRI; Store doublet
SQ = 22, // RRI; Store quadlet
SO = 23, // RRI; Store octlet
MAPPAGE = 17, // ?
UNMAPPAGE = 18, // ?
PAGEMAP = 24, // ?; Map a page
PAGEUNMAP = 25, // ?; Unmap a page
PAGEMP = 26, // ?; Page modify protection flags
JMP = 100, // I
JMPCOND = 101, // I
RET = 103, // N
ECALL = 255, // N
JMP = 100, // I; Unconditional jump
JMPCOND = 101, // ?; Conditional jump
RET = 103, // N; Return
ECALL = 255, // N; Issue system call
});
#[repr(packed)] pub struct ParamRRR(pub u8, pub u8, pub u8);
#[repr(packed)] pub struct ParamRRI(pub u8, pub u8, pub u64);
#[repr(packed)] pub struct ParamRR(pub u8, pub u8);
#[repr(packed)] pub struct ParamRI(pub u8, pub u64);
/// # Safety
/// TODO.
pub unsafe trait OpParam {}
unsafe impl OpParam for ParamRRR {}
unsafe impl OpParam for ParamRRI {}
unsafe impl OpParam for ParamRR {}
unsafe impl OpParam for ParamRI {}
unsafe impl OpParam for u64 {}

4
hbvm/src/validate.rs
View file

@ -48,7 +48,7 @@ pub fn validate(mut program: &[u8]) -> Result<(), Error> {
rest
}
// RR
[NOT, _, _, rest @ ..] => {
[NOT | CP, _, _, rest @ ..] => {
if let Some(n) = reg(&program[1..=2]) {
bail!(InvalidRegister, start, program, n + 1)
}
@ -61,7 +61,7 @@ pub fn validate(mut program: &[u8]) -> Result<(), Error> {
}
rest
}
[LD | ST, ..] => bail!(Unimplemented, start, program),
[LD..=SO, ..] => bail!(Unimplemented, start, program),
_ => bail!(InvalidInstruction, start, program),
}
}

6
hbvm/src/vm/mod.rs
View file

@ -75,11 +75,15 @@ impl<'a> Vm<'a> {
SUBF => binary_op!(self, float, ops::Sub::sub),
MULF => binary_op!(self, float, ops::Mul::mul),
DIVF => binary_op!(self, float, ops::Div::div),
CP => {
let param = param!(self, ParamRR);
*self.reg_mut(param.0) = *self.reg(param.1);
}
LI => {
let param = param!(self, ParamRI);
*self.reg_mut(param.0) = param.1.into();
}
// TODO: LD, ST
// TODO: Loads and stores
JMP => {
self.pc =
self.program.as_ptr().add(self.pc + 1).cast::<u64>().read() as usize;