[Libre-soc-bugs] [Bug 448] MUL pipeline unit tests

bugzilla-daemon at libre-soc.org bugzilla-daemon at libre-soc.org
Wed Aug 5 22:56:46 BST 2020


https://bugs.libre-soc.org/show_bug.cgi?id=448

--- Comment #33 from Cole Poirier <colepoirier at gmail.com> ---
(In reply to Luke Kenneth Casson Leighton from comment #31)
> (In reply to Cole Poirier from comment #23)
> 
> > I'm sorry I don't understand what you're directing me to do here, can you
> > elaborate?
> 
> x = 0x7fffffff # plus some small randomness
> 
> ra = random value
> 
> rb = x // ra # integer divide
> 
> put ra and rb into regs 1 and 2
> 
> very simple.
> 
> what this is testing is: *when* you multiply 2 numbers that *might*
> overflow, does it overflow, yes or no.
> 
> if you tried with just a random ra and a random rb you would never hit
> 0x7ffffff not with millions of tests.
> 
> so calculate it.

Done :)

-- 
You are receiving this mail because:
You are on the CC list for the bug.


More information about the libre-soc-bugs mailing list