Assert that division result is correct

2007-01-31 23:58:52 +00:00 · 2007-01-31 23:58:52 +00:00 · 406b20a64d
parent c789e8640b
commit 406b20a64d
1 changed files with 3 additions and 0 deletions
--- a/src/arch/i386/core/udivmod64.c
+++ b/src/arch/i386/core/udivmod64.c
@ -303,6 +303,9 @@ UDItype __udivmoddi4 ( UDItype x, UDItype d, UDItype *r ) {

 	udivmod64 ( ( struct uint64 * ) _x, ( struct uint64 * ) _d,
 		    ( struct uint64 * ) _q, ( struct uint64 * ) _r );
+
+	assert ( ( x == ( ( d * q ) + (*r) ) ) );
+
 	return q;
 }