From 92793dc93b069b26139bb2d89aadbaf0b40dc8f6 Mon Sep 17 00:00:00 2001
From: Erin <erin@erindesu.cz>
Date: Tue, 25 Jul 2023 23:03:06 +0200
Subject: [PATCH] Quick valider fix

---
 hbvm/src/validate.rs | 19 ++++++++++---------
 1 file changed, 10 insertions(+), 9 deletions(-)

diff --git a/hbvm/src/validate.rs b/hbvm/src/validate.rs
index 24c042c..3bc7d81 100644
--- a/hbvm/src/validate.rs
+++ b/hbvm/src/validate.rs
@@ -47,7 +47,6 @@ pub fn validate(mut program: &[u8]) -> Result<(), Error> {
     let start = program;
     loop {
         use hbbytecode::opcode::*;
-
         // Match on instruction types and perform necessary checks
         program = match program {
             // End of program
@@ -76,14 +75,16 @@ pub fn validate(mut program: &[u8]) -> Result<(), Error> {
             }
 
             // Valid instructions
-            [UN | NOP | ECALL, rest @ ..]
-            | [DIR | DIRF, _, _, _, _, rest @ ..]
-            | [ADD..=CMPU | BRC | ADDF..=MULF, _, _, _, rest @ ..]
-            | [NEG..=NOT | CP..=SWA | NEGF..=FTI, _, _, rest @ ..]
-            | [LI, _, _, _, _, _, _, _, _, _, rest @ ..]
-            | [ADDI..=XORI | CMPI..=CMPUI | BMC | JAL..=JGTU | ADDFI..=MULFI, _, _, _, _, _, _, _, _, _, _, rest @ ..]
-            | [SLI..=SRSI, _, _, _, _, rest @ ..]
-            | [LD..=ST, _, _, _, _, _, _, _, _, _, _, _, _, rest @ ..] => rest,
+            [DIR | DIRF | FMAF, _, _, _, _, rest @ ..] // BBBB
+            | [ADD | SUB | MUL | AND | OR | XOR | SL | SR | SRS | CMP | CMPU | BRC | ADDF | SUBF | MULF, _, _, _, rest @ ..]
+            | [LD | ST, _, _, _, _, _, _, _, _, _, _, _, rest @ ..] // BBDH
+            | [
+                ADDI | MULI | ANDI | ORI | XORI | CMPI | CMPUI | BMC | JAL | JEQ | JNE | JLT | JGT | JLTU | JGTU | ADDFI | MULFI, _, _, _, _, _, _, _, _, _, _, rest @ ..] // BBD
+            | [SLI | SRI | SRSI, _, _, _, _, _, _, rest @ ..] // BBW
+            | [NEG | NOT | CP | SWA | NEGF | ITF | FTI, _, _, rest @ ..] // BB
+            | [LI, _, _, _, _, _, _, _, _, _, rest @ ..] // BD
+            | [UN | NOP | ECALL, rest @ ..] // N
+            => rest,
 
             // The rest
             _ => {