[Libre-soc-dev] All div pipe tests pass

Luke Kenneth Casson Leighton lkcl at lkcl.net
Wed Oct 7 22:56:28 BST 2020

On 10/7/20, Jacob Lifshay <programmerjake at gmail.com> wrote:

>> do you have / know of examples / cases / instructions where
>> undefined==0 is not true?
> modsw has some: the top 32-bits of the result are undefined and power9
> sign-extends the lower 32-bits
> there are a whole pile in the mul* instructions.

ah. then we definitely need to list them and go over all of them

we cannot have incompatibility with IBM POWER9 no matter what the spec says.

if the spec says "yeah do what you like in this case" that is absolute
flat-out *wrong*.


More information about the Libre-soc-dev mailing list