use ctx.op compare (and muxid) in shiftrot proof
also use correct input record type and spec

split out ilang tests

add more files to .gitignore

format code

add preliminary investigative test of XICS ICS

tidyup/comments in trap proof

add 2nd part of XICS interrupt interface

fix trap proof, and trap main_stage, and pseudocode for rfid
all a bit of a mess, really :)

shorten expected_ to exp_, gets line-length down

MTMSR(D) properties.

As of this commit, the properties for MTMSRD fails because (IBM) bit 30
is not set correctly.  I've double checked my properties against that
specified in the V3.0B specs on page 978.  I've also double-checked the
code in ../main_stage.py.  As of this commit, I *cannot* find the
location of the discrepency.

start on conversion of xics.vhdl to nmigen
see https://bugs.libre-soc.org/show_bug.cgi?id=407

add nop test cases

add test_nop general test case

activate some of new accumulator-based tests in test_issuer

do not need lod_l.q | lsto_l.q can just use lsd_l.q

argh add yet another latch to detect when LD/ST has completed

sigh, issue with detection/waiting for LD/ST CompUnit

convert LDST test to accumulator style

convert Branch test to accumulator style

convert SPR test to accumulator style

convert TRAP test to accumulator style

remove FHDLTestCase

convert CR test to accumulator style

convert mul test to accumulator style

convert shift_rot test to new base accumulator style

convert logical test case to new base class accumulator style

move run_test_program to base class and rename to "add_case"

convert ALU to new accumulator style

again, move large heavily-indented code-block in div test_pipe_caller

run subtest, indentation getting too large, move to function

get div compunit test running (use new way to accumulate tests)

use new test accumulator class in div tests

add common test base class for "accumulating" tests to run

update submodule

remove old div overflow test, keep microwatt version

hilarious.  only just caught a bug where overflow was being taken from Rc

comb += missing

add CR0 regression, expected 0b10 actual 0b11

add regression test 8, DivPipeCore producing spurious result

add pia back in

re-add pia_result_to_output function (minus "typing" which should go in .pyi)

add div compunit test

wait until pipeline indicates that its output is valid in compunit test
DIV and other long pipelines only set wrmask when a result is available
the previous test, "is wrmask zero if so exit" was therefore reading
invalid data.

it was a matter of coincidence that all other compunit tests were only
one stage long that the wrmask *happened* to be valid

move reset of rdmaskn to after "busy"

comment LDST FunctionUnit

going on a bit of a "naming" spree, this for Jean-Paul to be able to
identify operand records on pipelines

add spec page numbers to logical ops

add page-number comments to ALU main_stage

update comment-headers (TODO include page numbers to v3.0B spec)

make trap proof section more readable

Properties for MFMSR

Reorganize code layout

Make proof code match corresponding code in main_stage.  I am constantly
getting confused about what to work on next.  Purely a cosmetic change,
but has impact on cognitive load for me.

WIP: SC properties more closely match doc'd behavior

Update libreriscv/HDL_workflow with instructions how to build and
install power_instruction_analyzer (pia)

WIP: addressing code review, restoring proofs, etc.

got fed up with bit-slice ordering crap.  cut it out

add better comments on field_slice

returned field_slice to original, and added comments
see https://bugs.libre-soc.org/show_bug.cgi?id=325#c134

annoying, yet more typos

annoying, typo

better debug assert log message

too much debug info going past, so add the test registers to the
failed log message

missed import

calling the test dictionary from the constructor is effectively
what unittest does.  this results in multiple copies of the test
being called (once by the dictionary-loop, once by unittest infrastructure)

getting the name of the actual test is a good thing.  used inspect.stack()
to find the name of the calling test

whoops spelling

add the div pipe kind plus prog.assembly to the assert debug output

call test_write_ilang only once - ends up being called 9 times otherwise

fix how long div tests run, de-comment FSM and DivPipeCore

argh!  work-in-progress breaking / fixing how to do div unit tests

whoops must add DivTestCasesLong to get it to produce test_data

remove bad hack calling trunc_divs/trunc_mods
see https://bugs.libre-soc.org/show_bug.cgi?id=436

re-enable commented-out div unit tests

split out "all" div into separate unit test (takes a really long time)

reduce variable size, continuation not needed

comment about timeline does not exist

ah ha!  not using "with" was not calling the "close" function

read into a BytesIO to avoid "too many open files"
 see https://bugs.libre-soc.org/show_bug.cgi?id=438

whitespace / comments

restore modification to caller.py from reversion of div (use of pia
not properly documented)

Revert "working on div's test_pipe_caller"

This reverts commit 8bf37997d31250126a664aeb3bd67ac0cd72a70c.

the build / install dependencies have not been properly documented,
making it impossible for anyone to install this at the moment.

that in turn makes it impossible for anyone to run:

* the div test_pipe_caller unit test
* the test_issuer.py test
* the test_core.py test
* the compunit test_div_compunit.py test

the modifications to caller.py whilst correct are reverted as a
side-effect due to violation of the development guidelines on
"single purpose commit"

bug found in pseudocode reader when assembly code has zero args

submodule update
see https://bugs.libre-soc.org/show_bug.cgi?id=439

code review comments for trap and proof

made it clear what is meant by the slice numbering being inverted
see https://bugs.libre-soc.org/show_bug.cgi?id=325#c126

Refactorin of common code

Address code review comments

- Remove hypervisor-related checks and main logic.
- Use field() to work with subfields of arbitrary signals.
- Use FormXXX classes to access opcode subfields.

working on div's test_pipe_caller

add power-instruction-analyzer as a dependency

format

syntax error

support 32-bit mem width setting

try SDRAM SDR

allow imem to be 64/32 bit wide

begin core in running state

try different MEMTEST_xxx sizes with 64 bit bus width

Update libreriscv HDL_workflow/coriolis2

add all div* and mod* instructions to test_pipe_caller

working on fsm

Merge remote-tracking branch 'origin/master'

format code