[Libre-soc-bugs] [Bug 972] addme/subfme carry/overflow likely incorrect

bugzilla-daemon at libre-soc.org bugzilla-daemon at libre-soc.org
Tue Mar 28 08:35:28 BST 2023


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

Jacob Lifshay <programmerjake at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|CONFIRMED                   |IN_PROGRESS

--- Comment #4 from Jacob Lifshay <programmerjake at gmail.com> ---
I verified that the test case is in fact correct by checking against POWER9,
our simulator is wrong:

https://git.libre-soc.org/?p=openpower-isa.git;a=commitdiff;h=7f0445f0511984dc2d9c33039919729276d14229

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


More information about the libre-soc-bugs mailing list