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

[Luke Kenneth Casson Leighton]

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*.

l.