add msr_copy function and use it in OP_TRAP, OP_RFID and OP_SC

set SRR0 in OP_SC

add OP_RFID SRR0/SRR1 in PowerDecode2

Use a_i and b_i convenience variables instead of a and b registers in
fu/trap/main_stage

testing CRs after writing: not in the right bit-order

remove unneeded code

use common TestCase class in logical

add branch test case to core

no global variables in test suites

sigh.  because POWER. CR index inversion

sigh.  weirdness involving bit-inversion, inconsistency on mfcr and isel

no global variables in test suites

add ShiftRot test case (works only because CRs are not tested)

add both logical and ALU test core

no global variables in test suites

no global variables in test suites

no global variables in test suites

whoops, docstring indentation

add docstrings for read/write port connection

move core code into separate functions, for clarity

reduce amount of code in SelectableInt

oops forgot to switch write-enable off

comment clarify on core

initialise XER from simulation

messing with valid/busy signals in core test

add extra argument (not used) to regfile.py

hmmm sync-delay wport write and wen

whitespace

test actual reg values being produced in core test

use common TestCase in branch

use common TestCase in shift_rot

use common TestCase in alu

move TestCase to common location

move reg setup to earlier in test

comment out wrflag as it should already be in the fu.wr.rel logic

test against Logical (hard-coded change)

add first cut at test core

sync onto fu.go_wr_i otherwise a loop occurs

add rdmask and issue/busy setting

remove unneeded imports

use copy of FHDLTestCase

connect up write-ports from Regfiles to FUs

docstring for AllFunctionUnits

missing a fastregs write-port

update docstring on simple/core.py

move regfile/spec organiser to separate function

mention convenience variables

rename trap to use convenience variables

Undo damage done by deleting VHDL microwatt comments,
merge resolution deletion of convenience variables in
fu/trap/main_stage

collate fu-enable signals

connect up Function Unit operand subsets

forgot to add in rdflag enable

whoops, regfiles are uppercase

whoops needed a bit of a reorg of the data structure for regfile connections

hmmm got naming wrong in regfile-fu connectivity

whoops names of regfiles are lower-case

munge/redirect the regfile port based on the naming
"full" ports are the first indexed.
also only enable the read-port enable if the picker is enabled

connect read-enable and src_i to regfile ports

link up PriorityPickers on read channels

put rdspecs into a different dictionary

start putting a non-production core together,
sorting the read ports first, to get a look at them

add a simple core, not intended for production use

correct comments on regspec decode map

only select xer_xo if OE enabled

decide to elaborate Refiles *into* another class, rather than make them their
own module.  this will reduce a level of hierarchy and make access easier

turn RegFiles into module, add all regfiles to it

add a simple class containing all FunctionUnits

more work on proof_datamerger.py

Merge branch 'master' of ssh://git.libre-riscv.org:922/soc

add class containing all regfiles

whitespace

use common get_cu_inputs for CR unit tests

convert shift_rot tests to use common get_cu_inputs function

Merge branch 'master' of ssh://git.libre-riscv.org:922/soc

whitespace fix for proof_datamerger.py

reorganise ALU tests, move get_cu_inputs function to common location

worked out how to dynamically enable carry-in to ALU: test input_carry against CryIn.CA.value

correct overflow-enable flags for rdmask specs in ALU

attempt to make carry-in and overflow-enable optional on ALU

remove rdflags in pipe_data.py (redundant)

move over to using power_regspec_map.py from PowerDecode2 rather than distributed maps in pipe_data.py

move obtaining simulator data into common function for logical pipe tests

mention TODO on SPR regfile

Check completion of the sub-processes

This detects the case where busy_o goes low before the rel / go
cycle finishes.

Fixed missing nia.ok.eq(1) in OP_RFID

Fixed merge conflict by using remote changes

tidyup branch.  comments

convenience variables

FormX not FormXL

add bit more TODO

update submodule for ISA tables

convenience rename for spr pipe_data.py, consistent naming for PowerDecode2

Simplify immediate check

add more TODOs

Preliminary check of the alu protocol

Still need to check that the operand to the alu is held stable.
For now, it's more like a placeholder of what will become the full check.

Pass along the operand, in the cycle in which go is active

Fixed OP_RFID and OP_SC in fu/trap/main_stage

add some more constants and ref to POWER9 pdf

add an if for OP_MTMSR and some comments

Attempted to fix OP_RFID in TRAP pipeline