From 59809a3830d4b0fa9aedd552b464114f8afd8782 Mon Sep 17 00:00:00 2001
From: numzero <numzer0@yandex.ru>
Date: Sun, 2 Nov 2025 03:23:13 +0300
Subject: [PATCH] support division

---
 src/ops.rs | 31 +++++++++++++++++++++++++++++++
 1 file changed, 31 insertions(+)

diff --git a/src/ops.rs b/src/ops.rs
index 5c2e0dd..83474d2 100644
--- a/src/ops.rs
+++ b/src/ops.rs
@@ -51,6 +51,22 @@ impl std::ops::Mul for F8 {
 	}
 }
 
+impl std::ops::Div for F8 {
+	type Output = Self;
+
+	fn div(self, rhs: Self) -> Self::Output {
+		if rhs.0 == 0 {
+			return Self(0xff);
+		}
+		if self.0 == 0 {
+			return Self(0);
+		}
+		let (m1, e1) = self.split_unbias();
+		let (m2, e2) = rhs.split_unbias();
+		Self::merge_unbias(((m1 as u32) << 24) / m2 as u32, e1 as i32 - e2 as i32 - 24)
+	}
+}
+
 #[cfg(test)]
 mod tests {
 	use super::*;
@@ -88,4 +104,19 @@ mod tests {
 		assert_eq!(F8::from(12) * F8::from(1), F8::from(12));
 		assert_eq!(F8::from(12) * F8::from(2), F8::from(24));
 	}
+
+	#[test]
+	fn test_div() {
+		assert_eq!(F8::from(3) / F8::from(0), F8::from(0xff));
+		assert_eq!(F8::from(0) / F8::from(7), F8::from(0));
+		assert_eq!(F8::from(3) / F8::from(5), F8::merge_unbias(0b100110, -6));
+		assert_eq!(F8::from(5) / F8::from(3), F8::merge_unbias(0b110101, -5));
+		assert_eq!(F8::from(6) / F8::from(3), F8::from(2));
+		assert_eq!(F8::from(7) / F8::from(3), F8::merge_unbias(0b100101, -4));
+		assert_eq!(F8::from(12) / F8::from(1), F8::from(12));
+		assert_eq!(F8::from(12) / F8::from(2), F8::from(6));
+		assert_eq!(F8::from(12) / F8::from(3), F8::from(4));
+		assert_eq!(F8::from(12) / F8::from(4), F8::from(3));
+		assert_eq!(F8::from(12) / F8::from(5), F8::merge_unbias(0b100110, -4));
+	}
 }