pysvp64dis: refactor instruction loading

power_fields: allow comparing references

power_insn: disable disassembly for prefixed instructions

power_insn: switch target_addr to real fields

power_insn: support GPR and FPR operands

power_insn: support target_addr operands

power_insn: hide operand classes

power_insn: introduce operand disassembly

pysvp64dis: disassemble word instruction operands

power_insn: support operands

make tests pass again

add formal_test_temp to .gitignore

format code

rename proof_decoder*.py -> test_decoder*.py so it gets run by pytest

ghostmansd found that extswsli is incorrectly declared
as extswsli RA,RS,SH as XS-Form, where a quick check shows that
there *is* no field "SH" in XS-Form. there *is* however a field "sh"
in XS-Form and the pseudocode *correctly* uses it.

that then led to a review of all the other uses of SH and sh,
which also led to spotting that ME and MB are *also* mis-used
(MD-Form and MDS-Form) and need lower-casing in the operand
declaration but are *also* correct in the pseudo-code
`

remove hard-coded list of operations in DecodeOE which
had been bugging the hell out of me for some time

missed rlwm* in conversion to RC_ONLY

update CSV files marking those instructions that are RC-only as such
there were actually some bugs here, entries that had not been added to
DecodeOE such as (all!) fp operations (which have no OE=1 variant)
and the new AV abs/min/max instructions

drat have to use RCOE.RC not RCOE.RC_OE for now otherwise
all CSV entries have to change

add missing case name RC_OE RC_ONLY in power_insn.py

rename RC to RCOE in power_insns.py

rename FLAGS to RCOE

begin rename of RC to FLAGS and add RC_OE/RC_ONLY

rename RC to FLAGS

begin doing RC_OE / RC_ONLY

svbranch.mdwn: replace target_addr with BD

pagereader: skip empty dynamic and static operands

move fsins/fcoss to fptrans.mdwn -- they are transcendental not SV instructions

don't install recommended packages in CI

this should save a bunch of time

remove support for unnamed arguments for @_custom_insns functions

unnamed arguments support was broken anyway, it would call with
`fields` last rather than first, due to how partial() works.

silence default LogKind for CI, to avoid pytest running out of memory due to storing stdout

(cherry picked from commit bec04597888ebf0ca61b852b63cf1efa41ed5f79)

remove dead code, sv.svstep and sv.fcoss are now handled by CUSTOM_INSNS

(cherry picked from commit cfd0215fc6f716317eb22d04d965028eb794965b)

switch ci tests to verbose

(cherry picked from commit 4053433d420915d9cb777f62fdc10d0b29178dda)

make sv.instr use CUSTOM_INSNS by default for assembling instr

(cherry picked from commit 9be3b61b6a3037fdcf087f692e9145678e571a35)

use a decorator for constructing CUSTOM_INSNS

(cherry picked from commit 63fd4ebc03ea0a7d51a1cf8d215affe45e0f0b33)

fix comment location

(cherry picked from commit 2ba62128ffb197e41a9a7b518a915ebe839d8a71)

format code

(cherry picked from commit 61faa7c3c443a260eaeb58b111ebd464a2031e06)

Revert "silence default LogKind for CI, to avoid pytest running out of memory due to storing stdout"

lkcl rebased my commit, mushing multiple changes into one commit in the process

This reverts commit aea0a4d637b04e54a9e942883e5e31dd338ca3f2.

test less cases of utf-8 validation, to avoid taking forever

silence default LogKind for CI, to avoid pytest running out of memory due to storing stdout

target_addr in b and bc pseudo-code has no corresponding
field in Section 1.6.  actually, target_addr=LI for b and target_addr=BI
for bc
therefore make the pseudo-code actually do exactly that

bcd.mdwn: fix cbcdtd operands

bcd.mdwn: fix cdtbcd operands

fixedlogical.mdwn: fix bpermd operands

pagereader: validate input

remove space from arguments in popcnt, should not have been there

Revert "format code"

This reverts commit 61faa7c3c443a260eaeb58b111ebd464a2031e06.

Revert "fix comment location"

This reverts commit 2ba62128ffb197e41a9a7b518a915ebe839d8a71.

Revert "use a decorator for constructing CUSTOM_INSNS"

This reverts commit 63fd4ebc03ea0a7d51a1cf8d215affe45e0f0b33.

Revert "make sv.instr use CUSTOM_INSNS by default for assembling instr"

This reverts commit 9be3b61b6a3037fdcf087f692e9145678e571a35.

Revert "switch ci tests to verbose"

This reverts commit 4053433d420915d9cb777f62fdc10d0b29178dda.

Revert "remove dead code, sv.svstep and sv.fcoss are now handled by CUSTOM_INSNS"

This reverts commit cfd0215fc6f716317eb22d04d965028eb794965b.

Revert "remove fuck-up by programmerjake not reading the specification for svstep"

This reverts commit 1a06aea1fe266a75af713ac9815306696a1ffa4e.

remove fuck-up by programmerjake not reading the specification for svstep
https://libre-soc.org/openpower/sv/svstep/

correct the bitmanip pseudocode to remove spaces from instruction declarations
ternlogi RT,RA,RB,TLI not ternlog RT,   RA,     RB,     TLI

pagereader.ISA: support iteration

pysvp64dis: stop interation upon empty suffix

power_insn: fix Fields methods

selectable_int: support slicing by iterable

remove dead code, sv.svstep and sv.fcoss are now handled by CUSTOM_INSNS

switch ci tests to verbose

make sv.instr use CUSTOM_INSNS by default for assembling instr

use a decorator for constructing CUSTOM_INSNS

fix comment location

format code

svp64dis: simplify database lookups

power_insn: fix representation

power_insn: remove obsolete comment

pysvp64dis: remove obsolete imports

power_insn: rename unit field to function

power_insn: convert PO field name to lower case

add a "ffmadds." test, not yet actually checking Rc=1

remove insertion of instruction as a comment

gaah what a frickin mess

fix test_issuer.py nosvp64 mul, "mullw." was getting
XER.SO override into handle_comparison when it should not

sv_binutils: hack

sv_binutils: remove unused imports

sv_binutils: generate instruction getters/setters

sv_binutils: perform massive refactoring

selectable_int: deprecate obsolete mappings

sv_binutils: deprecate obsolete fields

caller.py: switch to new fields

pysvp64asm: switch to new fields

power_fields: support traversal

power_insn: simplify fields

selectable_int: support FSI integer conversion

selectable_int: introduce more checks

selectable_int: fix FSI negate method

power_insn: switch to new fields

power_fields: introduce new-style fields classes

power_fields: move BitRange to selectable_int

selectable_int: support FSI.__len__ method

selectable_int: fix check on SI constructor

Specifying the number of bits *is* allowed, it should mean "override
the length". More unit tests need running to confirm.

selectable_int: refactor fields mappings

power_insn: decouple instruction classes

selectable_int: canonicalize indentation

pysvp64dis: provide BC mode sketch

selectable_int: allow further fields slicing

selectable_int: support fields boolean check

selectable_int: allow multi-level fields