[Libre-soc-bugs] [Bug 425] DIV overflow not being calculated correctly
bugzilla-daemon at libre-soc.org
bugzilla-daemon at libre-soc.org
Fri Jul 10 10:55:02 BST 2020
https://bugs.libre-soc.org/show_bug.cgi?id=425
--- Comment #9 from Jacob Lifshay <programmerjake at gmail.com> ---
(In reply to Jacob Lifshay from comment #8)
> (In reply to Luke Kenneth Casson Leighton from comment #7)
>
> >
> > and we get this output:
> >
> > 32bit 0x1
> > signed 0x1
> > quotient_root 0xfc00000000000003
> > div_by_zero 0x0
> > dive_abs_ov32 0x0
> > quotient_neg 0x1
>
> that quotient_root is incorrect, assuming we're still using test case #6,
> check the divpipecore inputs. alternatively, nmigen just currently has a
> simulator bug which is also showing up as zero vcd values.
there should not be any spuriously set msb bits
--
You are receiving this mail because:
You are on the CC list for the bug.
More information about the libre-soc-bugs
mailing list