[Libre-soc-bugs] [Bug 340] formal proof of POWER9 SHIFTROT pipeline needed

[bugzilla-daemon at libre-soc.org]

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

--- Comment #34 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
ran the unit test, samuel: it passed.

['RB', 'RS']
reading reg 8
reading reg 1
[SelectableInt(value=0x0, bits=64), SelectableInt(value=0x8000000000000000,
bits=64)]
getitem slice(58, 64, None) 64 0x0
getitem 57 64 0x0
__eq__ SelectableInt(value=0x0, bits=1) 0
    eq 0 0 True
globals after SelectableInt(value=0x0, bits=64) SelectableInt(value=0x4,
bits=64)
args[0] SelectableInt(value=0x0, bits=64) SelectableInt(value=0x4, bits=64)
(SelectableInt(value=0x8000000000000000, bits=64),)
after func SelectableInt(value=0x0, bits=64) SelectableInt(value=0x4, bits=64)
carry already done? 0b0
internal overflow None 0 0
writing reg 3 SelectableInt(value=0x8000000000000000, bits=64)
end of call SelectableInt(value=0x0, bits=64) SelectableInt(value=0x4, bits=64)
check extra output 'sld 3, 1, 8' 0 0
hw outputs {'o': 9223372036854775808}
sim outputs {'o': 9223372036854775808}
expected int sim 8000000000000000, actual: 8000000000000000
.
----------------------------------------------------------------------
Ran 1 test in 0.901s

OK

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