[libre-riscv-dev] div/mod algorithm written in python

Jacob Lifshay programmerjake at gmail.com
Thu Jul 25 16:50:13 BST 2019


On Thu, Jul 25, 2019, 08:44 Luke Kenneth Casson Leighton <lkcl at lkcl.net>
wrote:

> On Thu, Jul 25, 2019 at 4:34 PM Jacob Lifshay <programmerjake at gmail.com>
> wrote:
> >
> > running all fpdiv/test/test_fp*.py tests, 30k random cases
>
>  i usually do that in test_fpdiv_pipe.py by putting a for-loop around
> the 3 fns :)
>
>  really should sort this all out properly.
>
see test_core.py for some pattern-based test case generation (all bit
patterns w << s with w in [0, 2^n) and the whole thing in [0, 2^m); also
have all patterns with bits partitioned with all ones on one side and all
zeros on the other)

>
> >  and 1000
> > (assuming I modified the right argument) for test_fpdiv_pipe_16.py and
> > test_fpdiv_pipe_32.py
>
>  cool.
>
> > the bad import is in test_div64.py, which I am ignoring since it appears
> to
> > test the old serial divider.
>
>  yes, ignore that one.  i think test_div32.py at least works.
>
> _______________________________________________
> libre-riscv-dev mailing list
> libre-riscv-dev at lists.libre-riscv.org
> http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev
>


More information about the libre-riscv-dev mailing list