2023-06-20 19:07:48 -05:00
|
|
|
|
#![no_std]
|
|
|
|
|
|
|
|
|
|
macro_rules! constmod {
|
|
|
|
|
($vis:vis $mname:ident($repr:ty) {
|
|
|
|
|
$(#![doc = $mdoc:literal])?
|
|
|
|
|
$($cname:ident = $val:expr $(,$doc:literal)?;)*
|
|
|
|
|
}) => {
|
|
|
|
|
$(#[doc = $mdoc])?
|
|
|
|
|
$vis mod $mname {
|
|
|
|
|
$(
|
|
|
|
|
$(#[doc = $doc])?
|
|
|
|
|
pub const $cname: $repr = $val;
|
|
|
|
|
)*
|
|
|
|
|
}
|
|
|
|
|
};
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
constmod!(pub opcode(u8) {
|
|
|
|
|
//! Opcode constant module
|
|
|
|
|
|
2023-07-13 04:05:41 -05:00
|
|
|
|
UN = 0, "N; Raises a trap";
|
|
|
|
|
NOP = 1, "N; Do nothing";
|
|
|
|
|
|
|
|
|
|
ADD = 2, "BBB; #0 ← #1 + #2";
|
|
|
|
|
SUB = 3, "BBB; #0 ← #1 - #2";
|
|
|
|
|
MUL = 4, "BBB; #0 ← #1 × #2";
|
|
|
|
|
AND = 5, "BBB; #0 ← #1 & #2";
|
|
|
|
|
OR = 6, "BBB; #0 ← #1 | #2";
|
|
|
|
|
XOR = 7, "BBB; #0 ← #1 ^ #2";
|
|
|
|
|
SL = 8, "BBB; #0 ← #1 « #2";
|
|
|
|
|
SR = 9, "BBB; #0 ← #1 » #2";
|
|
|
|
|
SRS = 10, "BBB; #0 ← #1 » #2 (signed)";
|
|
|
|
|
CMP = 11, "BBB; #0 ← #1 <=> #2";
|
|
|
|
|
CMPU = 12, "BBB; #0 ← #1 <=> #2 (unsigned)";
|
|
|
|
|
DIR = 13, "BBBB; #0 ← #2 / #3, #1 ← #2 % #3";
|
|
|
|
|
NEG = 14, "BB; #0 ← -#1";
|
|
|
|
|
NOT = 15, "BB; #0 ← !#1";
|
|
|
|
|
|
|
|
|
|
ADDI = 16, "BBD; #0 ← #1 + imm #2";
|
|
|
|
|
MULI = 17, "BBD; #0 ← #1 × imm #2";
|
|
|
|
|
ANDI = 18, "BBD; #0 ← #1 & imm #2";
|
|
|
|
|
ORI = 19, "BBD; #0 ← #1 | imm #2";
|
|
|
|
|
XORI = 20, "BBD; #0 ← #1 ^ imm #2";
|
|
|
|
|
SLI = 21, "BBD; #0 ← #1 « imm #2";
|
|
|
|
|
SRI = 22, "BBD; #0 ← #1 » imm #2";
|
|
|
|
|
SRSI = 23, "BBD; #0 ← #1 » imm #2 (signed)";
|
|
|
|
|
CMPI = 24, "BBD; #0 ← #1 <=> imm #2";
|
|
|
|
|
CMPUI = 25, "BBD; #0 ← #1 <=> imm #2 (unsigned)";
|
|
|
|
|
|
|
|
|
|
CP = 26, "BB; Copy #0 ← #1";
|
|
|
|
|
SWA = 27, "BB; Swap #0 and #1";
|
|
|
|
|
LI = 28, "BD; #0 ← imm #1";
|
|
|
|
|
LD = 29, "BBDB; #0 ← [#1 + imm #3], imm #4 bytes, overflowing";
|
|
|
|
|
ST = 30, "BBDB; [#1 + imm #3] ← #0, imm #4 bytes, overflowing";
|
|
|
|
|
BMC = 31, "BBD; [#0] ← [#1], imm #2 bytes";
|
|
|
|
|
BRC = 32, "BBB; #0 ← #1, imm #2 registers";
|
|
|
|
|
|
|
|
|
|
JAL = 33, "BD; Copy PC to #0 and unconditional jump [#1 + imm #2]";
|
|
|
|
|
JEQ = 34, "BBD; if #0 = #1 → jump imm #2";
|
|
|
|
|
JNE = 35, "BBD; if #0 ≠ #1 → jump imm #2";
|
|
|
|
|
JLT = 36, "BBD; if #0 < #1 → jump imm #2";
|
|
|
|
|
JGT = 37, "BBD; if #0 > #1 → jump imm #2";
|
|
|
|
|
JLTU = 38, "BBD; if #0 < #1 → jump imm #2 (unsigned)";
|
|
|
|
|
JGTU = 39, "BBD; if #0 > #1 → jump imm #2 (unsigned)";
|
|
|
|
|
ECALL = 40, "N; Issue system call";
|
|
|
|
|
|
|
|
|
|
ADDF = 41, "BBB; #0 ← #1 +. #2";
|
|
|
|
|
SUBF = 42, "BBB; #0 ← #1 -. #2";
|
|
|
|
|
MULF = 43, "BBB; #0 ← #1 +. #2";
|
|
|
|
|
DIRF = 44, "BBBB; #0 ← #2 / #3, #1 ← #2 % #3";
|
|
|
|
|
FMAF = 45, "BBBB; #0 ← (#1 * #2) + #3";
|
|
|
|
|
NEGF = 46, "BB; #0 ← -#1";
|
|
|
|
|
ITF = 47, "BB; #0 ← #1 as float";
|
|
|
|
|
FTI = 48, "BB; #0 ← #1 as int";
|
|
|
|
|
|
|
|
|
|
ADDFI = 49, "BBD; #0 ← #1 +. imm #2";
|
|
|
|
|
MULFI = 50, "BBD; #0 ← #1 *. imm #2";
|
2023-06-20 19:07:48 -05:00
|
|
|
|
});
|
|
|
|
|
|
|
|
|
|
#[repr(packed)]
|
|
|
|
|
pub struct ParamBBBB(pub u8, pub u8, pub u8, pub u8);
|
|
|
|
|
|
|
|
|
|
#[repr(packed)]
|
|
|
|
|
pub struct ParamBBB(pub u8, pub u8, pub u8);
|
|
|
|
|
|
|
|
|
|
#[repr(packed)]
|
|
|
|
|
pub struct ParamBBDH(pub u8, pub u8, pub u64, pub u16);
|
|
|
|
|
|
|
|
|
|
#[repr(packed)]
|
|
|
|
|
pub struct ParamBBD(pub u8, pub u8, pub u64);
|
|
|
|
|
|
|
|
|
|
#[repr(packed)]
|
|
|
|
|
pub struct ParamBB(pub u8, pub u8);
|
|
|
|
|
|
|
|
|
|
#[repr(packed)]
|
|
|
|
|
pub struct ParamBD(pub u8, pub u64);
|
|
|
|
|
|
|
|
|
|
/// # Safety
|
|
|
|
|
/// Has to be valid to be decoded from bytecode.
|
|
|
|
|
pub unsafe trait OpParam {}
|
|
|
|
|
unsafe impl OpParam for ParamBBBB {}
|
|
|
|
|
unsafe impl OpParam for ParamBBB {}
|
|
|
|
|
unsafe impl OpParam for ParamBBDH {}
|
|
|
|
|
unsafe impl OpParam for ParamBBD {}
|
|
|
|
|
unsafe impl OpParam for ParamBB {}
|
|
|
|
|
unsafe impl OpParam for ParamBD {}
|
|
|
|
|
unsafe impl OpParam for u64 {}
|
|
|
|
|
unsafe impl OpParam for () {}
|