hyung-hwan/moo
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

debugging bigint division

Browse Source
This commit is contained in:
hyunghwan.chung 2019-04-03 19:28:14 +00:00
parent 98e5deca4f
commit 3d4e0396ca
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
moo/kernel/test-001.moo
View File

@ -132,7 +132,7 @@ extend MyObject
q := divd div: divr. q := divd div: divr.
r := divd rem: divr. r := divd rem: divr.
ifnot (divd = (q * divr + r)) { divd dump. divr dump. q dump. r dump. ^false. }. ifnot (divd = (q * divr + r)) { i dump. divd dump. divr dump. q dump. r dump. ^false. }.
i := i + 1. i := i + 1.
}. }.

6
moo/lib/bigint.c
View File

@ -1630,7 +1630,7 @@ static moo_liw_t adjust_for_over_estimate (moo_liw_t y1, moo_liw_t y2, moo_liw_t
c = (moo_liw_t)(dw >> MOO_LIW_BITS); c = (moo_liw_t)(dw >> MOO_LIW_BITS);
y2q = (moo_liw_t)dw; y2q = (moo_liw_t)dw;
if (c > xi || (c = xi && y2q > xi2)) if (c > xi || (c == xi && y2q > xi2))
{ {
q--; // too large by 1 q--; // too large by 1
@ -1643,7 +1643,7 @@ static moo_liw_t adjust_for_over_estimate (moo_liw_t y1, moo_liw_t y2, moo_liw_t
dw = ((moo_lidw_t)q * y2); dw = ((moo_lidw_t)q * y2);
y2q = (moo_liw_t)dw; y2q = (moo_liw_t)dw;
c = (moo_liw_t)(dw >> MOO_LIW_BITS); c = (moo_liw_t)(dw >> MOO_LIW_BITS);
if (c > xi || (c = xi && y2q > xi2)) q--; // too large by 2 if (c > xi || (c == xi && y2q > xi2)) q--; // too large by 2
} }
} }
@ -1972,7 +1972,7 @@ static moo_oop_t divide_unsigned_integers (moo_t* moo, moo_oop_t x, moo_oop_t y,
MOO_ASSERT (moo, !is_less_unsigned(x, y)); MOO_ASSERT (moo, !is_less_unsigned(x, y));
moo_pushvolat (moo, &x); moo_pushvolat (moo, &x);
moo_pushvolat (moo, &y); moo_pushvolat (moo, &y);
//#define USE_DIVIDE_UNSIGNED_ARRAY2 /*#define USE_DIVIDE_UNSIGNED_ARRAY2*/
#if defined(USE_DIVIDE_UNSIGNED_ARRAY2) #if defined(USE_DIVIDE_UNSIGNED_ARRAY2)
qq = moo_instantiate(moo, moo->_large_positive_integer, MOO_NULL, MOO_OBJ_GET_SIZE(x) + 1); qq = moo_instantiate(moo, moo->_large_positive_integer, MOO_NULL, MOO_OBJ_GET_SIZE(x) + 1);
#else #else