[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