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

[Luke Kenneth Casson Leighton]

https://git.libre-soc.org/?p=libreriscv.git;a=commitdiff;h=a9d9878d6818d95acbf24ab07080b4cd6d757e2e
retrospective thought.

0xffffffff is [1]*128
0x80000000 is ([1] || [0]*127)

these will look a lot less of a mess when presenting to OPF.

l.