Add unit test replicating failing proof case

add sld test with RB=64 to see what happens

reduce CSR data width to 8 as an experiment

add UART reserved IRQ @ 0

add XICS memory regions, shrink litex CSR memmap size to do it

adding XICS wb slave devices to litex sim
also linking external interrupt line

bring out XICS ICS interrupt levels so that they can be wired to peripherals

adding option to include XICS external interrupts.
XICS ICP and ICS are included, the wishbone slave ports added to TestIssuer
then if ext_irq is raised in core, execution jumps to 0x500 through a TRAP

add means to run hello_world.bin under simulation
works with both microwatt and libresoc

update to match refactored power-instruction-analyzer API

matches the api of power-instruction-analyzer commit e828d2acecc25a82d5c29b765163a10993547566

Provide full name and email in copyright notice.

do more on dcache conversion

testing microwatt 3.bin (2.bin ok)

when mtocrf FXM is 0, the CR has to be set to CR7

fix bug in cmpli (and cmplw)

sign-extend lhax needs 16-64, separate from lwax which is 32-64

add bc ctr regression test when CTR=0 and CTR=1

update submodule

bug in carry32 handling in OP_CMP

add cmpl regression test (one binary, one assembly)

add cmpl microwatt 1.bin test, cmpl

series of extensive modifications to fix long-standing bug in CR handling
cr as a FieldSelectableInt is being removed

add XER to fastregs and "construct" it in mfspr/mtspr

redo OP_CMP based on microwatt.  L=1 had been ignored

reversal of FXM mask for one-hot selection in OP_MTCR decode

working on dcache.py

tidyup on mul proof

set mul post_stage o.ok only when needed, and fix xer_so pass-through
https://bugs.libre-soc.org/show_bug.cgi?id=482

Merge branch 'master' of git.libre-soc.org:soc

icache.py commit progress, about a third through the process

Qualify XER_OV output in proof

Fix test breakage in MUL proofs

Merge branch 'master' of git.libre-soc.org:soc

mmu.py, dcache.py, mem_types.py change types capitalization because I
was making typing errors, and this make more sense. Mmu -> MMU, Dcache
-> DCache, Icache -> ICache

mem_types add more types from common.vhdl specifially for icache,
Fetch1ToIcacheType() and IcacheToDecode1Type()

mem_types.py arrange in alphabetical order for ease of reference, align
formatting

BROKEN: xer_ov_o != dut.o.xer_ov.data ???!!!

mmu.py remove duplicate comment left over from mmu.vhdl

icache.py initial commit of first attempt at translation of icache.vhdl

Move new write_gtkw and its example to nmutil

But keep using it to generate the GTKWave document for this unit test.

minor code-shuffle, comments

slowly morphing towards using an XER bit-field selector in decoder

MUL pipeline formal proofs complete, I *think*.

break down XER into flags

add XER read via DMI interface to sim.py

add hack to get at XER through DMI interface

submodule update

WIP: prep for 64-bit insns

yep disable OE for MULH64/32 and EXTS and CNTZ

investigating CR mtocrf / mfocrf

add additional CR regression tests

allow pseudocode numbering to decrement in for-loops

add wat to write out raw binary assembled programs

CR FXM becomes a full mask.
https://bugs.libre-soc.org/show_bug.cgi?id=478

dcache.py add first attempt at translation of dcache_tb.vhdl as
dcache_sim()

dcache.py add skeleton sim and test adapted from mmu.py which was
adapted from regfile.py

Merge branch 'master' of git.libre-soc.org:soc

dcache.py implement the remaining vhdl generate statements in nmigen,
fix formatting, typos

https://bugs.libre-soc.org/show_bug.cgi?id=476
XER SO not being "listened" to correctly when OE=0 and Rc=1 creating CR0

xer so is not being passed through to CR0

really bad hack to fix simulator bug in carry handling
https://bugs.libre-soc.org/show_bug.cgi?id=476

augment addme test case to show bug #476
https://bugs.libre-soc.org/show_bug.cgi?id=476

add addze and addme uni tests

incompatibility with POWER9 on mulhw/u due to lack of spec clarity
both microwatt and IBM POWER9 violate spec
http://lists.libre-soc.org/pipermail/libre-soc-dev/2020-August/000302.html

overflow-enable does not occur on shift operations

oink, write_cr shiftrot record width was zero (??)

sorting out shift_rot to use new output stage data structures
shift_rot does not modify OV/32 so needs its own output stage
similar to logical, SO is never set but is "read"

need to read SO if Rc=1

reorg of SO handling related to CR0
because CR0 needs XER SO, logical pipe needs to read but not write SO
this means quite a substantial but relatively straightforward change
in the pipe_data for logical and ALU

Merge branch 'master' of git.libre-soc.org:soc

dcache.py replace subtypes/types/constant aliases with the names of the
orignal constants that these were aliases of, tidy up
names

use sub-test in logical test_pipe_caller

investigating div fsm and simulator bug

Merge branch 'master' of git.libre-soc.org:soc

dcache.py rearrange, transform classes into functions with input
parameters, fix typos, whitespace, syntax

fix broken remainder for div FSM

clean up formatting

although shift-rot does not alter XER.so it still needs it as input for CR0

add way to capture CR from DMI in litex sim

add CR read to DMI interface

shorten using temp vars

add CR DMI interface

add crxor unit test to qemu

dcache.py fix whitespace, fomatting, syntax

dcache.py fix formatting

dcache.py move Reservation RecordObject to top of file

dcache.py move RegStage1 RecordObject to top of file

dcache.py move MemAccessRequest RecordObject to top of file, small
formatting changes

dcache.py move Stage0 RecordObject to top of file

argh, reading regfile over DMI was overlapped and corrupting reg 0

add isel CR tests to run on qemu (confirmed working)

TestCachedMemoryPortInterface cleanup

make it easier to select FSM/Pipe DIV unit

fix *another* ld-update-related timing / FSM issue

tidyup / shuffle after review

remove default parameter

"WAY" does not exist - range(NUM_WAYS) was intended

use WAY_BITS in appropriate locations

reminder that the license (reflecting what is in setup.py) is the LGPLv3

Merge branch 'master' of git.libre-soc.org:soc