Assert everything before SPECIAL_START is not special

bytecodealliance · Nov 22, 2024 · dda65df · dda65df
1 parent 1c379a0
commit dda65df
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/pulley/src/regs.rs b/pulley/src/regs.rs
@@ -102,6 +102,9 @@ impl XReg {
 
 #[test]
 fn assert_special_start_is_right() {
+    for i in 0..XReg::SPECIAL_START {
+        assert!(!XReg::new(i).unwrap().is_special());
+    }
     for i in XReg::SPECIAL_START.. {
         match XReg::new(i) {
             Some(r) => assert!(r.is_special()),