2022-09-02 |
Luke Kenneth Casso... | fix RCOE.RC_ONLY in formal test_decoder2.py |
tree | commitdiff |
2022-09-02 |
Dmitry Selyutin | power_insn: drop custom Record representation |
tree | commitdiff |
2022-09-02 |
Dmitry Selyutin | power_insn: support opcode merging |
tree | commitdiff |
2022-09-02 |
Dmitry Selyutin | power_insn: support AA matching |
tree | commitdiff |
2022-09-02 |
Dmitry Selyutin | power_insn: support LK matching |
tree | commitdiff |
2022-09-02 |
Dmitry Selyutin | power_insn: refactor name matching algorithm |
tree | commitdiff |
2022-09-02 |
Dmitry Selyutin | power_insn: refactor databases composition |
tree | commitdiff |
2022-09-02 |
Dmitry Selyutin | power_insn: refactor operands |
tree | commitdiff |
2022-09-02 |
Dmitry Selyutin | power_insn: introduce binutils-like representation |
tree | commitdiff |
2022-09-02 |
Dmitry Selyutin | power_fields: allow comparing references |
tree | commitdiff |
2022-09-02 |
Dmitry Selyutin | power_insn: disable disassembly for prefixed instructions |
tree | commitdiff |
2022-09-02 |
Dmitry Selyutin | power_insn: switch target_addr to real fields |
tree | commitdiff |
2022-09-02 |
Dmitry Selyutin | power_insn: support GPR and FPR operands |
tree | commitdiff |
2022-09-02 |
Dmitry Selyutin | power_insn: support target_addr operands |
tree | commitdiff |
2022-09-02 |
Dmitry Selyutin | power_insn: hide operand classes |
tree | commitdiff |
2022-09-02 |
Dmitry Selyutin | power_insn: introduce operand disassembly |
tree | commitdiff |
2022-09-02 |
Dmitry Selyutin | pysvp64dis: disassemble word instruction operands |
tree | commitdiff |
2022-09-02 |
Dmitry Selyutin | power_insn: support operands |
tree | commitdiff |
2022-09-02 |
Jacob Lifshay | make tests pass again |
tree | commitdiff |
2022-09-02 |
Jacob Lifshay | format code |
tree | commitdiff |
2022-09-02 |
Jacob Lifshay | rename proof_decoder*.py -> test_decoder*.py so it... |
tree | commitdiff |
2022-09-01 |
Luke Kenneth Casso... | remove hard-coded list of operations in DecodeOE which rc_only |
tree | commitdiff |
2022-09-01 |
Luke Kenneth Casso... | drat have to use RCOE.RC not RCOE.RC_OE for now otherwise |
tree | commitdiff |
2022-09-01 |
Luke Kenneth Casso... | add missing case name RC_OE RC_ONLY in power_insn.py |
tree | commitdiff |
2022-09-01 |
Luke Kenneth Casso... | rename RC to RCOE in power_insns.py |
tree | commitdiff |
2022-09-01 |
Luke Kenneth Casso... | rename FLAGS to RCOE |
tree | commitdiff |
2022-09-01 |
Luke Kenneth Casso... | begin rename of RC to FLAGS and add RC_OE/RC_ONLY |
tree | commitdiff |
2022-09-01 |
Luke Kenneth Casso... | rename RC to FLAGS |
tree | commitdiff |
2022-09-01 |
Luke Kenneth Casso... | begin doing RC_OE / RC_ONLY |
tree | commitdiff |
2022-09-01 |
Dmitry Selyutin | pagereader: skip empty dynamic and static operands |
tree | commitdiff |
2022-09-01 |
Jacob Lifshay | move fsins/fcoss to fptrans.mdwn -- they are transcende... |
tree | commitdiff |
2022-08-30 |
Dmitry Selyutin | pagereader: validate input |
tree | commitdiff |
2022-08-30 |
Dmitry Selyutin | pagereader.ISA: support iteration |
tree | commitdiff |
2022-08-30 |
Dmitry Selyutin | power_insn: fix Fields methods |
tree | commitdiff |
2022-08-30 |
Dmitry Selyutin | selectable_int: support slicing by iterable |
tree | commitdiff |
2022-08-30 |
Dmitry Selyutin | svp64dis: simplify database lookups |
tree | commitdiff |
2022-08-30 |
Dmitry Selyutin | power_insn: fix representation |
tree | commitdiff |
2022-08-30 |
Dmitry Selyutin | power_insn: remove obsolete comment |
tree | commitdiff |
2022-08-30 |
Dmitry Selyutin | power_insn: rename unit field to function |
tree | commitdiff |
2022-08-30 |
Dmitry Selyutin | power_insn: convert PO field name to lower case |
tree | commitdiff |
2022-08-29 |
Luke Kenneth Casso... | add a "ffmadds." test, not yet actually checking Rc=1 |
tree | commitdiff |
2022-08-29 |
Luke Kenneth Casso... | fix test_issuer.py nosvp64 mul, "mullw." was getting |
tree | commitdiff |
2022-08-29 |
Dmitry Selyutin | selectable_int: deprecate obsolete mappings |
tree | commitdiff |
2022-08-29 |
Dmitry Selyutin | caller.py: switch to new fields |
tree | commitdiff |
2022-08-29 |
Dmitry Selyutin | power_fields: support traversal |
tree | commitdiff |
2022-08-29 |
Dmitry Selyutin | power_insn: simplify fields |
tree | commitdiff |
2022-08-29 |
Dmitry Selyutin | selectable_int: support FSI integer conversion |
tree | commitdiff |
2022-08-29 |
Dmitry Selyutin | selectable_int: introduce more checks |
tree | commitdiff |
2022-08-29 |
Dmitry Selyutin | selectable_int: fix FSI negate method |
tree | commitdiff |
2022-08-29 |
Dmitry Selyutin | power_insn: switch to new fields |
tree | commitdiff |
2022-08-29 |
Dmitry Selyutin | power_fields: introduce new-style fields classes |
tree | commitdiff |
2022-08-29 |
Dmitry Selyutin | power_fields: move BitRange to selectable_int |
tree | commitdiff |
2022-08-29 |
Dmitry Selyutin | selectable_int: support FSI.__len__ method |
tree | commitdiff |
2022-08-29 |
Luke Kenneth Casso... | selectable_int: fix check on SI constructor |
tree | commitdiff |
2022-08-29 |
Dmitry Selyutin | selectable_int: refactor fields mappings |
tree | commitdiff |
2022-08-29 |
Dmitry Selyutin | power_insn: decouple instruction classes |
tree | commitdiff |
2022-08-29 |
Dmitry Selyutin | selectable_int: canonicalize indentation |
tree | commitdiff |
2022-08-29 |
Dmitry Selyutin | selectable_int: allow further fields slicing |
tree | commitdiff |
2022-08-29 |
Dmitry Selyutin | selectable_int: support fields boolean check |
tree | commitdiff |
2022-08-29 |
Dmitry Selyutin | selectable_int: allow multi-level fields |
tree | commitdiff |
2022-08-29 |
Dmitry Selyutin | selectable_int: support int casts |
tree | commitdiff |
2022-08-29 |
Dmitry Selyutin | power_insn: rename Instruction to Record |
tree | commitdiff |
2022-08-29 |
Dmitry Selyutin | power_insn: fix opcode-based lookups |
tree | commitdiff |
2022-08-29 |
Dmitry Selyutin | selectable_int: fix multi-dimensional mappings |
tree | commitdiff |
2022-08-29 |
Luke Kenneth Casso... | add some debug logs to SelectableInt to help track... |
tree | commitdiff |
2022-08-29 |
Luke Kenneth Casso... | whitespace - keep to under 80 chars |
tree | commitdiff |
2022-08-29 |
Dmitry Selyutin | selectable_int: refactor mappings |
tree | commitdiff |
2022-08-29 |
Dmitry Selyutin | selectable_int: allow fields-based instantiation |
tree | commitdiff |
2022-08-29 |
Dmitry Selyutin | selectable_int: inherit mapping bits |
tree | commitdiff |
2022-08-29 |
Dmitry Selyutin | selectable_int: strengthen type checks |
tree | commitdiff |
2022-08-29 |
Dmitry Selyutin | selectable_int: support fields comparisons |
tree | commitdiff |
2022-08-29 |
Luke Kenneth Casso... | add setvl and other sv* management instructions to... |
tree | commitdiff |
2022-08-29 |
Luke Kenneth Casso... | add logging into ISACaller.handle_overflow to see what... |
tree | commitdiff |
2022-08-29 |
Luke Kenneth Casso... | switch off XER.so reading on "setvl.", it makes no... |
tree | commitdiff |
2022-08-29 |
Jacob Lifshay | fix issue with cpython 3.7 |
tree | commitdiff |
2022-08-29 |
Jacob Lifshay | svp64_utf_8_validation.py works! |
tree | commitdiff |
2022-08-29 |
Jacob Lifshay | log memory in a more fancy format, like hexdump -C |
tree | commitdiff |
2022-08-26 |
Luke Kenneth Casso... | initialise overflow to zero in setvl, unconditionally. |
tree | commitdiff |
2022-08-26 |
Luke Kenneth Casso... | sigh, update setvl tests, to spec, and ISACaller |
tree | commitdiff |
2022-08-26 |
Luke Kenneth Casso... | add setvl unit tests for overflow condition. |
tree | commitdiff |
2022-08-26 |
Luke Kenneth Casso... | okaaaay, long story. using GPR(_RT) <- something will... |
tree | commitdiff |
2022-08-26 |
Luke Kenneth Casso... | Revert "fix setvl. not setting CR0 properly" |
tree | commitdiff |
2022-08-26 |
Jacob Lifshay | add some logging |
tree | commitdiff |
2022-08-26 |
Jacob Lifshay | fix setvl. not setting CR0 properly |
tree | commitdiff |
2022-08-25 |
Jacob Lifshay | mark all known-broken tests so CI passes |
tree | commitdiff |
2022-08-25 |
Jacob Lifshay | allow crtl tests to run in parallel |
tree | commitdiff |
2022-08-25 |
Jacob Lifshay | add XFAIL because the file improperly accesses pdecode2... |
tree | commitdiff |
2022-08-25 |
Jacob Lifshay | add missing on_SmtExpr methods |
tree | commitdiff |
2022-08-25 |
Jacob Lifshay | convert all test_caller*.py to work with pytest/unittes... |
tree | commitdiff |
2022-08-25 |
Jacob Lifshay | fix deprecated imports |
tree | commitdiff |
2022-08-25 |
Jacob Lifshay | change test cases to use TestRunnerBase in order to... |
tree | commitdiff |
2022-08-24 |
Jacob Lifshay | working on svp64 utf-8 validation -- still broken |
tree | commitdiff |
2022-08-24 |
Jacob Lifshay | misc cleanup |
tree | commitdiff |
2022-08-24 |
Jacob Lifshay | finished writing svp64 utf-8 validation algorithm ... |
tree | commitdiff |
2022-08-18 |
Luke Kenneth Casso... | use bitpattern in minor_30.csv to give a single match for |
tree | commitdiff |
2022-08-17 |
Dmitry Selyutin | power_insn: support function property |
tree | commitdiff |
2022-08-17 |
Dmitry Selyutin | power_insn: fix sv_extra algorithm |
tree | commitdiff |
2022-08-17 |
Dmitry Selyutin | power_enums: fix conversion from selector to reg |
tree | commitdiff |
2022-08-17 |
Luke Kenneth Casso... | again part of the removal of LD/ST-with-shift, take out |
tree | commitdiff |
2022-08-15 |
Luke Kenneth Casso... | codeshuffle |
tree | commitdiff |
next |