2022-09-03 |
Dmitry Selyutin | power_insn: update disassembly target_addr |
commit | commitdiff | tree |
2022-09-03 |
Dmitry Selyutin | pysvp64dis: support verbose mode |
commit | commitdiff | tree |
2022-09-03 |
Dmitry Selyutin | power_insn: support verbose disassembly mode |
commit | commitdiff | tree |
2022-09-03 |
Dmitry Selyutin | power_insn: implement mode decoding |
commit | commitdiff | tree |
2022-09-03 |
Dmitry Selyutin | power_insn: support Rc detection |
commit | commitdiff | tree |
2022-09-03 |
Dmitry Selyutin | power_insn: drop pack/unpack bit |
commit | commitdiff | tree |
2022-09-03 |
Dmitry Selyutin | power_insn: rename normal field to simple |
commit | commitdiff | tree |
2022-09-03 |
Dmitry Selyutin | power_insn: decouple IMM/IDX LD/ST modes |
commit | commitdiff | tree |
2022-09-03 |
Dmitry Selyutin | power_insn: support operands check |
commit | commitdiff | tree |
2022-09-03 |
Dmitry Selyutin | power_insn: canonicalize Rc field name |
commit | commitdiff | tree |
2022-09-03 |
Dmitry Selyutin | power_insn: support mode selector |
commit | commitdiff | tree |
2022-09-03 |
Dmitry Selyutin | power_insn: support normal mode |
commit | commitdiff | tree |
2022-09-03 |
Dmitry Selyutin | power_insn: support LD/ST indexed mode |
commit | commitdiff | tree |
2022-09-03 |
Dmitry Selyutin | power_insn: simplify fields |
commit | commitdiff | tree |
2022-09-03 |
Dmitry Selyutin | power_insn: decrease LDSTMode class nesting |
commit | commitdiff | tree |
2022-09-03 |
Dmitry Selyutin | power_insn: support LD/ST immediate mode |
commit | commitdiff | tree |
2022-09-03 |
Dmitry Selyutin | power_insn: make RM class public |
commit | commitdiff | tree |
2022-09-03 |
Dmitry Selyutin | power_insn: remap RM immediately |
commit | commitdiff | tree |
2022-09-03 |
Dmitry Selyutin | power_fields: allow slicing mappings |
commit | commitdiff | tree |
2022-09-03 |
Dmitry Selyutin | power_fields: allow slicing fields |
commit | commitdiff | tree |
2022-09-03 |
Dmitry Selyutin | power_fields: create arrays from Array class |
commit | commitdiff | tree |
2022-09-03 |
Dmitry Selyutin | sv_binutils: shorten and simplify the output |
commit | commitdiff | tree |
2022-09-03 |
Luke Kenneth... | create list of opcodes by dict entry |
commit | commitdiff | tree |
2022-09-03 |
Luke Kenneth... | correct table header |
commit | commitdiff | tree |
2022-09-03 |
Luke Kenneth... | use opcode directly |
commit | commitdiff | tree |
2022-09-03 |
Luke Kenneth... | divpoint 2 to match v3.1 |
commit | commitdiff | tree |
2022-09-03 |
Luke Kenneth... | create correct divpoint to make match against v3.0... |
commit | commitdiff | tree |
2022-09-03 |
Luke Kenneth... | complete markdown table |
commit | commitdiff | tree |
2022-09-03 |
Luke Kenneth... | correct table-matching |
commit | commitdiff | tree |
2022-09-03 |
Luke Kenneth... | enumeration almost there |
commit | commitdiff | tree |
2022-09-03 |
Luke Kenneth... | MSB0-order, xomask 31-start |
commit | commitdiff | tree |
2022-09-03 |
Luke Kenneth... | add power_table.py start of creating markdown Appendix... |
commit | commitdiff | tree |
2022-09-03 |
Luke Kenneth... | add svshape2 offset test demonstrating RA being offset... |
commit | commitdiff | tree |
2022-09-03 |
Luke Kenneth... | Revert "add inv option to svshape2 (only 1 bit)" |
commit | commitdiff | tree |
2022-09-03 |
Luke Kenneth... | add inv option to svshape2 (only 1 bit) |
commit | commitdiff | tree |
2022-09-03 |
Luke Kenneth... | update sv_analysis to create separate SVMode.LDST_IDX... |
commit | commitdiff | tree |
2022-09-03 |
Jacob Lifshay | fix test_caller_svshape2.py |
commit | commitdiff | tree |
2022-09-03 |
Jacob Lifshay | format code |
commit | commitdiff | tree |
2022-09-02 |
Luke Kenneth... | add test_caller_svshape2.py and make corrections to... |
commit | commitdiff | tree |
2022-09-02 |
Luke Kenneth... | add first svshape2 pseudocode, based on svindex |
commit | commitdiff | tree |
2022-09-02 |
Luke Kenneth... | add svshape2 to ISACaller |
commit | commitdiff | tree |
2022-09-02 |
Luke Kenneth... | add svshape2 to sv/trans/svp64.py |
commit | commitdiff | tree |
2022-09-02 |
Luke Kenneth... | add svshape2 to list of instructions in power_enums.py |
commit | commitdiff | tree |
2022-09-02 |
Luke Kenneth... | whoops bit 25 is sk not vf in svshape2. matches with... |
commit | commitdiff | tree |
2022-09-02 |
Luke Kenneth... | disallow reserved SVrm values in svshape, svp64.py |
commit | commitdiff | tree |
2022-09-02 |
Luke Kenneth... | add svshape2 (stub pseudocode) fields, Form, and CSV... |
commit | commitdiff | tree |
2022-09-02 |
Luke Kenneth... | add explicit 13 patterns for svshape which make a hole... |
commit | commitdiff | tree |
2022-09-02 |
Luke Kenneth... | shuffle down numbering after SVM to make room for SVM2 |
commit | commitdiff | tree |
2022-09-02 |
Luke Kenneth... | add fix of out_sel in power_decoder.py formal proof |
commit | commitdiff | tree |
2022-09-02 |
Luke Kenneth... | fix RCOE.RC_ONLY in formal test_decoder2.py |
commit | commitdiff | tree |
2022-09-02 |
Dmitry Selyutin | power_insn: drop custom Record representation |
commit | commitdiff | tree |
2022-09-02 |
Dmitry Selyutin | power_insn: support opcode merging |
commit | commitdiff | tree |
2022-09-02 |
Dmitry Selyutin | power_insn: support AA matching |
commit | commitdiff | tree |
2022-09-02 |
Dmitry Selyutin | power_insn: support LK matching |
commit | commitdiff | tree |
2022-09-02 |
Dmitry Selyutin | power_insn: refactor name matching algorithm |
commit | commitdiff | tree |
2022-09-02 |
Dmitry Selyutin | power_insn: refactor databases composition |
commit | commitdiff | tree |
2022-09-02 |
Dmitry Selyutin | power_insn: refactor operands |
commit | commitdiff | tree |
2022-09-02 |
Dmitry Selyutin | power_insn: introduce binutils-like representation |
commit | commitdiff | tree |
2022-09-02 |
Dmitry Selyutin | pysvp64dis: refactor instruction loading |
commit | commitdiff | tree |
2022-09-02 |
Dmitry Selyutin | power_fields: allow comparing references |
commit | commitdiff | tree |
2022-09-02 |
Dmitry Selyutin | power_insn: disable disassembly for prefixed instructions |
commit | commitdiff | tree |
2022-09-02 |
Dmitry Selyutin | power_insn: switch target_addr to real fields |
commit | commitdiff | tree |
2022-09-02 |
Dmitry Selyutin | power_insn: support GPR and FPR operands |
commit | commitdiff | tree |
2022-09-02 |
Dmitry Selyutin | power_insn: support target_addr operands |
commit | commitdiff | tree |
2022-09-02 |
Dmitry Selyutin | power_insn: hide operand classes |
commit | commitdiff | tree |
2022-09-02 |
Dmitry Selyutin | power_insn: introduce operand disassembly |
commit | commitdiff | tree |
2022-09-02 |
Dmitry Selyutin | pysvp64dis: disassemble word instruction operands |
commit | commitdiff | tree |
2022-09-02 |
Dmitry Selyutin | power_insn: support operands |
commit | commitdiff | tree |
2022-09-02 |
Jacob Lifshay | make tests pass again |
commit | commitdiff | tree |
2022-09-02 |
Jacob Lifshay | add formal_test_temp to .gitignore |
commit | commitdiff | tree |
2022-09-02 |
Jacob Lifshay | format code |
commit | commitdiff | tree |
2022-09-02 |
Jacob Lifshay | rename proof_decoder*.py -> test_decoder*.py so it... |
commit | commitdiff | tree |
2022-09-01 |
Luke Kenneth... | ghostmansd found that extswsli is incorrectly declared |
commit | commitdiff | tree |
2022-09-01 |
Luke Kenneth... | remove hard-coded list of operations in DecodeOE which rc_only |
commit | commitdiff | tree |
2022-09-01 |
Luke Kenneth... | missed rlwm* in conversion to RC_ONLY |
commit | commitdiff | tree |
2022-09-01 |
Luke Kenneth... | update CSV files marking those instructions that are... |
commit | commitdiff | tree |
2022-09-01 |
Luke Kenneth... | drat have to use RCOE.RC not RCOE.RC_OE for now otherwise |
commit | commitdiff | tree |
2022-09-01 |
Luke Kenneth... | add missing case name RC_OE RC_ONLY in power_insn.py |
commit | commitdiff | tree |
2022-09-01 |
Luke Kenneth... | rename RC to RCOE in power_insns.py |
commit | commitdiff | tree |
2022-09-01 |
Luke Kenneth... | rename FLAGS to RCOE |
commit | commitdiff | tree |
2022-09-01 |
Luke Kenneth... | begin rename of RC to FLAGS and add RC_OE/RC_ONLY |
commit | commitdiff | tree |
2022-09-01 |
Luke Kenneth... | rename RC to FLAGS |
commit | commitdiff | tree |
2022-09-01 |
Luke Kenneth... | begin doing RC_OE / RC_ONLY |
commit | commitdiff | tree |
2022-09-01 |
Dmitry Selyutin | svbranch.mdwn: replace target_addr with BD |
commit | commitdiff | tree |
2022-09-01 |
Dmitry Selyutin | pagereader: skip empty dynamic and static operands |
commit | commitdiff | tree |
2022-09-01 |
Jacob Lifshay | move fsins/fcoss to fptrans.mdwn -- they are transcende... |
commit | commitdiff | tree |
2022-09-01 |
Jacob Lifshay | don't install recommended packages in CI sv_maxu_works |
commit | commitdiff | tree |
2022-09-01 |
Jacob Lifshay | remove support for unnamed arguments for @_custom_insns... |
commit | commitdiff | tree |
2022-09-01 |
Jacob Lifshay | silence default LogKind for CI, to avoid pytest running... |
commit | commitdiff | tree |
2022-09-01 |
Jacob Lifshay | remove dead code, sv.svstep and sv.fcoss are now handle... |
commit | commitdiff | tree |
2022-09-01 |
Jacob Lifshay | switch ci tests to verbose |
commit | commitdiff | tree |
2022-09-01 |
Jacob Lifshay | make sv.instr use CUSTOM_INSNS by default for assemblin... |
commit | commitdiff | tree |
2022-09-01 |
Jacob Lifshay | use a decorator for constructing CUSTOM_INSNS |
commit | commitdiff | tree |
2022-09-01 |
Jacob Lifshay | fix comment location |
commit | commitdiff | tree |
2022-09-01 |
Jacob Lifshay | format code |
commit | commitdiff | tree |
2022-09-01 |
Jacob Lifshay | Revert "silence default LogKind for CI, to avoid pytest... |
commit | commitdiff | tree |
2022-08-31 |
Jacob Lifshay | test less cases of utf-8 validation, to avoid taking... |
commit | commitdiff | tree |
2022-08-31 |
Jacob Lifshay | silence default LogKind for CI, to avoid pytest running... |
commit | commitdiff | tree |
2022-08-31 |
Luke Kenneth... | target_addr in b and bc pseudo-code has no corresponding |
commit | commitdiff | tree |
2022-08-30 |
Dmitry Selyutin | bcd.mdwn: fix cbcdtd operands |
commit | commitdiff | tree |
next |