diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/arch/i386/core/udivmod64.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/arch/i386/core/udivmod64.c b/src/arch/i386/core/udivmod64.c index bb58102cd..b4f14b110 100644 --- 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; } |