kopia lustrzana https://github.com/micropython/micropython
0a59938574
For certain operands to mpn_div, the existing code path for `DIG_SIZE == MPZ_DBL_DIG_SIZE / 2` had a bug in it where borrow could still overflow in the `(x >= *n || *n - x <= borrow)` branch, ie `borrow + x - (mpz_dbl_dig_t)*n` overflows the borrow variable. In such cases the subsequent right-shift of borrow would not bring in the overflow bit, leading to an error in the result. An example division that had overflow when MPZ_DIG_SIZE = 16 is `(2 ** 48 - 1) ** 2 // (2 ** 48 - 1)`. This is fixed in this commit by simplifying the code and handling the low digits of borrow first, and then the upper bits (to shift down) separately. There is no longer a distinction between `DIG_SIZE < MPZ_DBL_DIG_SIZE / 2` and `DIG_SIZE == MPZ_DBL_DIG_SIZE / 2`. This commit also simplifies the second part of the calculation so that borrow does not need to be negated (instead the code just works knowing that borrow is negative and using + instead of - in calculations involving borrow). Fixes #6777. Signed-off-by: Damien George <damien@micropython.org> |
||
|---|---|---|
| .. | ||
| argcheck.c | ||
| asmarm.c | ||
| asmarm.h | ||
| asmbase.c | ||
| asmbase.h | ||
| asmthumb.c | ||
| asmthumb.h | ||
| asmx64.c | ||
| asmx64.h | ||
| asmx86.c | ||
| asmx86.h | ||
| asmxtensa.c | ||
| asmxtensa.h | ||
| bc.c | ||
| bc.h | ||
| bc0.h | ||
| binary.c | ||
| binary.h | ||
| builtin.h | ||
| builtinevex.c | ||
| builtinhelp.c | ||
| builtinimport.c | ||
| compile.c | ||
| compile.h | ||
| dynruntime.h | ||
| dynruntime.mk | ||
| emit.h | ||
| emitbc.c | ||
| emitcommon.c | ||
| emitglue.c | ||
| emitglue.h | ||
| emitinlinethumb.c | ||
| emitinlinextensa.c | ||
| emitnarm.c | ||
| emitnative.c | ||
| emitnthumb.c | ||
| emitnx64.c | ||
| emitnx86.c | ||
| emitnxtensa.c | ||
| emitnxtensawin.c | ||
| formatfloat.c | ||
| formatfloat.h | ||
| frozenmod.c | ||
| frozenmod.h | ||
| gc.c | ||
| gc.h | ||
| grammar.h | ||
| lexer.c | ||
| lexer.h | ||
| makecompresseddata.py | ||
| makemoduledefs.py | ||
| makeqstrdata.py | ||
| makeqstrdefs.py | ||
| makeversionhdr.py | ||
| malloc.c | ||
| map.c | ||
| misc.h | ||
| mkenv.mk | ||
| mkrules.mk | ||
| modarray.c | ||
| modbuiltins.c | ||
| modcmath.c | ||
| modcollections.c | ||
| modgc.c | ||
| modio.c | ||
| modmath.c | ||
| modmicropython.c | ||
| modstruct.c | ||
| modsys.c | ||
| modthread.c | ||
| moduerrno.c | ||
| mpconfig.h | ||
| mperrno.h | ||
| mphal.h | ||
| mpprint.c | ||
| mpprint.h | ||
| mpstate.c | ||
| mpstate.h | ||
| mpthread.h | ||
| mpz.c | ||
| mpz.h | ||
| nativeglue.c | ||
| nativeglue.h | ||
| nlr.c | ||
| nlr.h | ||
| nlrpowerpc.c | ||
| nlrsetjmp.c | ||
| nlrthumb.c | ||
| nlrx64.c | ||
| nlrx86.c | ||
| nlrxtensa.c | ||
| obj.c | ||
| obj.h | ||
| objarray.c | ||
| objarray.h | ||
| objattrtuple.c | ||
| objbool.c | ||
| objboundmeth.c | ||
| objcell.c | ||
| objclosure.c | ||
| objcomplex.c | ||
| objdeque.c | ||
| objdict.c | ||
| objenumerate.c | ||
| objexcept.c | ||
| objexcept.h | ||
| objfilter.c | ||
| objfloat.c | ||
| objfun.c | ||
| objfun.h | ||
| objgenerator.c | ||
| objgenerator.h | ||
| objgetitemiter.c | ||
| objint.c | ||
| objint.h | ||
| objint_longlong.c | ||
| objint_mpz.c | ||
| objlist.c | ||
| objlist.h | ||
| objmap.c | ||
| objmodule.c | ||
| objmodule.h | ||
| objnamedtuple.c | ||
| objnamedtuple.h | ||
| objnone.c | ||
| objobject.c | ||
| objpolyiter.c | ||
| objproperty.c | ||
| objrange.c | ||
| objreversed.c | ||
| objset.c | ||
| objsingleton.c | ||
| objslice.c | ||
| objstr.c | ||
| objstr.h | ||
| objstringio.c | ||
| objstringio.h | ||
| objstrunicode.c | ||
| objtuple.c | ||
| objtuple.h | ||
| objtype.c | ||
| objtype.h | ||
| objzip.c | ||
| opmethods.c | ||
| pairheap.c | ||
| pairheap.h | ||
| parse.c | ||
| parse.h | ||
| parsenum.c | ||
| parsenum.h | ||
| parsenumbase.c | ||
| parsenumbase.h | ||
| persistentcode.c | ||
| persistentcode.h | ||
| profile.c | ||
| profile.h | ||
| py.mk | ||
| pystack.c | ||
| pystack.h | ||
| qstr.c | ||
| qstr.h | ||
| qstrdefs.h | ||
| reader.c | ||
| reader.h | ||
| repl.c | ||
| repl.h | ||
| ringbuf.c | ||
| ringbuf.h | ||
| runtime.c | ||
| runtime.h | ||
| runtime0.h | ||
| runtime_utils.c | ||
| scheduler.c | ||
| scope.c | ||
| scope.h | ||
| sequence.c | ||
| showbc.c | ||
| smallint.c | ||
| smallint.h | ||
| stackctrl.c | ||
| stackctrl.h | ||
| stream.c | ||
| stream.h | ||
| unicode.c | ||
| unicode.h | ||
| vm.c | ||
| vmentrytable.h | ||
| vstr.c | ||
| warning.c | ||