add documentation for current addressing modes to instructions.toml

Signed-off-by: Ava Affine <ava@sunnypup.io>

hyphae/instructions.toml

@@ -1,3 +1,6 @@
+# NOTE: keep libc out of this, thats what trap vector is for
+# NOTE: to programmers: only registers allow mutable acess
+
 [[addressing_modes]]
 name = "expr"
 mutable = true
@@ -33,20 +36,6 @@ symbol = "N"
 example = "const $expr, 100"
 description = "Numeric addressing mode provides read only integer constants to instructions"
 
-[[addressing_modes]]
-name = "char"
-mutable = false
-symbol = "'N'"
-example = "const $expr, 'c'"
-description = "Char addressing mode provides read only character constants to instructions"
-
-[[addressing_modes]]
-name = "boolean"
-mutable = false
-symbol = "{true|false}"
-example = "const $expr, true"
-description = "Boolean addressing mode provides read only booleans to instructions"
-
 [[instructions]]
 name = "trap"
 args = ["index"]

hyphae/src/util.rs

@@ -34,8 +34,6 @@ pub enum Address {
     Oper3 = 0xf5, // mutable access allowed
     Oper4 = 0xf6, // mutable access allowed
     Numer = 0xf8, // immutable access only
-    Bool   = 0xf9, // immutable access only
-    Char   = 0xfa, // immutable access only
 }
 
 #[derive(Debug, Clone, PartialEq)]
@@ -65,8 +63,6 @@ impl TryFrom<u8> for Address {
             _ if val == Address::Oper3 as u8 => Ok(Address::Oper3),
             _ if val == Address::Oper4 as u8 => Ok(Address::Oper4),
             _ if val == Address::Numer as u8 => Ok(Address::Numer),
-            _ if val == Address::Bool   as u8 => Ok(Address::Bool),
-            _ if val == Address::Char   as u8 => Ok(Address::Char),
             _ => Err("illegal addressing mode")
         }
     }
@@ -78,8 +74,6 @@ impl Address {
             Address::Stack => (usize::BITS / 8) as u8,
             Address::Instr => (usize::BITS / 8) as u8,
             Address::Numer => (usize::BITS / 8) as u8,
-            Address::Bool  => 1,
-            Address::Char  => 1,
             _ => 0,
         }
     }

hyphae/src/vm.rs

@@ -170,8 +170,6 @@ impl VM {
                     Address::Oper4 => &self.oper[3],
                     Address::Stack => &self.stack[$oper.1],
                     Address::Numer => e!("cannot access constant numeric data"),
-                    Address::Char  => e!("cannot access constant char data"),
-                    Address::Bool  => e!("cannot access constant bool data"),
                     Address::Instr => e!("bad access to instruction data"),
                 }
             };
@@ -407,14 +405,11 @@ impl VM {
             },
 
             i::CONST => access!(&instr.1[0], {
-                match instr.1[1].0 {
+                let Operand(Address::Numer, num) = instr.1[1] else {
-                    Address::Numer =>
+                    e!("illegal argument to CONST instruction");
-                        Datum::Number(Number::Fra(Fraction(instr.1[1].1 as isize, 1)))
+                };
-                            .into(),
+
-                    Address::Bool => Datum::Bool(instr.1[1].1 > 0).into(),
+                Datum::Number(Number::Fra(Fraction(num as isize, 1))).into()
-                    Address::Char => Datum::Char(instr.1[1].1 as u8).into(),
-                    _ => e!("illegal argument to CONST instruction"),
-                }
             }),
 
             i::MKVEC  => self.expr = Datum::Vector(vec![]).into(),
@@ -634,7 +629,7 @@ mod tests {
         fn chk_err(&self, state: &VM) -> bool {
             if let Datum::String(ref msg) = *state.errr {
                 let msg = unsafe { str::from_utf8_unchecked(msg) };
-                if self.errr.is_some() && msg == self.errr.unwrap() {
+                if msg == self.errr.unwrap() {
                     true
                 } else {
                     print!("expected error {:?}, got {:?}\n", self.errr, msg);
@@ -1122,35 +1117,6 @@ mod tests {
         assert!(case.test_passes(&vm));
     }
 
-    #[test]
-    fn isa_consts() {
-        let mut vm = VM::from(Program(vec![
-            Instruction(i::CONST,  vec![Operand(Address::Expr,  0),
-                                        Operand(Address::Numer, 1)]),
-            Instruction(i::PUSH,   vec![Operand(Address::Expr,  0)]),
-            Instruction(i::CONST,  vec![Operand(Address::Expr,  0),
-                                        Operand(Address::Char, 'a' as u8 as usize)]),
-            Instruction(i::PUSH,   vec![Operand(Address::Expr,  0)]),
-            Instruction(i::CONST,  vec![Operand(Address::Expr,  0),
-                                        Operand(Address::Bool,  1)]),
-            Instruction(i::PUSH,   vec![Operand(Address::Expr,  0)]),
-        ]));
-
-        let case = TestResult{
-            expr: None,
-            stack: vec![
-                (0, Datum::Bool(true).into()),
-                (1, Datum::Char('a' as u8).into()),
-                (2, Datum::Number(Number::Fra(Fraction(1, 1))).into()),
-            ],
-            syms: vec![],
-            errr: None,
-        };
-
-        vm.run_program();
-        assert!(case.test_passes(&vm));
-    }
-
     /*
     #[test]
     fn isa_index() {