petrbalvin/gasm-sdk
0
0 Fork 0
Code Issues Pull Requests Actions Packages Projects Releases 37 Wiki Activity

test(disasm): pin decode parity with the toolchain and the round-trip invariant

Browse Source 
Assisted-by: GLM 5.3 Flash
This commit is contained in:
petrbalvin committed 2026-10-07 01:00:45 +02:00
1 parent b394551af8
commit ea8b02b190
7 files changed
+2238
Download Patch File Download Diff File Expand all files Collapse all files

No files matched your search

disasm/testdata/parity_riscv64.txt
Vendored
+290
View File
@@ -0,0 +1,290 @@
1383f27f ADDI $2047, X5, X6
13e31200 ORI $1, X5, X6
13d31200 SRLI $1, X5, X6
1383f27f ADDI $2047, X5, X6
b3b36200 SLTU X6, X5, X7
b3e36200 OR X6, X5, X7
13c31200 XORI $1, X5, X6
17f5ff7f AUIPC $524287, X10
33135300 SLL X5, X6, X6
93d21200 SRLI $1, X5, X5
93820280 ADDI $-2048, X5, X5
67830200 JALR X6, (X5)
63d46200 BGE X5, X6, 2(PC)
03930200 MOVH (X5), X6
03c30200 MOVBU (X5), X6
23005300 MOVB X5, (X6)
0f003083 FENCE.TSO
bb135300 SLLW X5, X6, X7
1b531300 SRLIW $1, X6, X6
bbd35340 SRAW X5, X7, X7
03b30200 MOV (X5), X6
73708100 CSRRCI $2, VSTART, X0
f3229000 CSRRS X0, VXSAT, X5
f37211c0 CSRRCI $2, TIME, X5
f36211c0 CSRRSI $2, TIME, X5
73208500 CSRRS X10, VSTART, X0
f32200c0 RDCYCLE X5
b373530e CZERONEZ X5, X6, X7
bb035302 MULW X5, X6, X7
bb535302 DIVUW X5, X6, X7
af33531a SCD X5, (X6), X7
af335366 AMOANDD X5, (X6), X7
af3353a6 AMOMAXD X5, (X6), X7
af3353c6 AMOMINUD X5, (X6), X7
53011008 FSUBS F1, F0, F2
d31200c0 FCVTWS F0, X5
d31220c0 FCVTLS F0, X5
538002d0 FCVTSW X5, F0
d33210c0 FCVTWUS F0, X5
d33230c0 FCVTLUS F0, X5
53211020 FSGNJXS F1, F0, F2
47822018 FMSUBS F1, F2, F3, F4
d31200e0 FCLASSS F0, X5
5301100a FSUBD F1, F0, F2
d31200c2 FCVTWD F0, X5
d31220c2 FCVTLD F0, X5
538002d2 FCVTDW X5, F0
d33210c2 FCVTWUD F0, X5
d33230c2 FCVTLUD F0, X5
53011022 FSGNJD F1, F0, F2
4782201a FMSUBD F1, F2, F3, F4
d31200e2 FCLASSD F0, X5
2ab0 MOVD F10, 32(X2)
0cb1 MOVD F11, 32(X10)
8152 ADDI $-32, X0, X5
8112 ADDI $-32, X5, X5
0171 ADDI $-512, X2, X2
7d95 SRAI $63, X10, X10
2694 ADD X9, X8, X8
059c SUBW X9, X8, X8
3326b620 SH1ADD X11, X12, X12
bbc7e720 SH2ADDUW X14, X15, X15
9b98f80b SLLIUW $63, X17, X17
1b9c2b60 CPOPW X23, X24
13d37228 ORCB X5, X6
b323530a CLMULR X5, X6, X7
135efe4b BEXTI $63, X28, X28
9394f42b BSETI $63, X9, X9
57760509 VSETVLI X10, E32, M1, TU, MA, X12
5776650d VSETVLI X10, E32, MF4, TA, MA, X12
57f60fcd VSETIVLI $31, E32, M1, TA, MA, X12
87610502 VLE32V (X10), V3
a7510502 VSE16V V3, (X10)
8701b502 VLMV (X10), V3
8761b50a VLSE32V (X10), X11, V3
a751b50a VSSE16V V3, X11, (X10)
87012506 VLUXEI8V (X10), V2, V3
87712506 VLUXEI64V (X10), V2, V3
8761250e VLOXEI32V (X10), V2, V3
a7512506 VSUXEI16V V3, V2, (X10)
a701250e VSOXEI8V V3, V2, (X10)
a771250e VSOXEI64V V3, V2, (X10)
07040501 VLE8FFV (X10), V0, V8
07640522 VLSEG2E32V (X10), V8
07040542 VLSEG3E8V (X10), V8
07640540 VLSEG3E32V (X10), V0, V8
07040560 VLSEG4E8V (X10), V0, V8
07640582 VLSEG5E32V (X10), V8
070405a2 VLSEG6E8V (X10), V8
076405a0 VLSEG6E32V (X10), V0, V8
070405c0 VLSEG7E8V (X10), V0, V8
076405e2 VLSEG8E32V (X10), V8
270c0522 VSSEG2E8V V24, (X10)
276c0520 VSSEG2E32V V24, V0, (X10)
270c0540 VSSEG3E8V V24, V0, (X10)
276c0562 VSSEG4E32V V24, (X10)
270c0582 VSSEG5E8V V24, (X10)
276c0580 VSSEG5E32V V24, V0, (X10)
270c05a0 VSSEG6E8V V24, V0, (X10)
276c05c2 VSSEG7E32V V24, (X10)
270c05e2 VSSEG8E8V V24, (X10)
276c05e0 VSSEG8E32V V24, V0, (X10)
07040521 VLSEG2E8FFV (X10), V0, V8
07640543 VLSEG3E32FFV (X10), V8
07040563 VLSEG4E8FFV (X10), V8
07640561 VLSEG4E32FFV (X10), V0, V8
07040581 VLSEG5E8FFV (X10), V0, V8
076405a3 VLSEG6E32FFV (X10), V8
070405c3 VLSEG7E8FFV (X10), V8
076405c1 VLSEG7E32FFV (X10), V0, V8
070405e1 VLSEG8E8FFV (X10), V0, V8
0764b52a VLSSEG2E32V (X10), X11, V8
0704b54a VLSSEG3E8V (X10), X11, V8
0764b548 VLSSEG3E32V (X10), X11, V0, V8
0704b568 VLSSEG4E8V (X10), X11, V0, V8
0764b58a VLSSEG5E32V (X10), X11, V8
0704b5aa VLSSEG6E8V (X10), X11, V8
0764b5a8 VLSSEG6E32V (X10), X11, V0, V8
0704b5c8 VLSSEG7E8V (X10), X11, V0, V8
0764b5ea VLSSEG8E32V (X10), X11, V8
270cb52a VSSSEG2E8V V24, X11, (X10)
276cb528 VSSSEG2E32V V24, X11, V0, (X10)
270cb548 VSSSEG3E8V V24, X11, V0, (X10)
276cb56a VSSSEG4E32V V24, X11, (X10)
270cb58a VSSSEG5E8V V24, X11, (X10)
276cb588 VSSSEG5E32V V24, X11, V0, (X10)
270cb5a8 VSSSEG6E8V V24, X11, V0, (X10)
276cb5ca VSSSEG7E32V V24, X11, (X10)
270cb5ea VSSSEG8E8V V24, X11, (X10)
276cb5e8 VSSSEG8E32V V24, X11, V0, (X10)
07044524 VLUXSEG2EI8V (X10), V4, V0, V8
07644546 VLUXSEG3EI32V (X10), V4, V8
07044566 VLUXSEG4EI8V (X10), V4, V8
07644564 VLUXSEG4EI32V (X10), V4, V0, V8
07044584 VLUXSEG5EI8V (X10), V4, V0, V8
076445a6 VLUXSEG6EI32V (X10), V4, V8
070445ae VLOXSEG6EI8V (X10), V4, V8
076445ac VLOXSEG6EI32V (X10), V4, V0, V8
070445c4 VLUXSEG7EI8V (X10), V4, V0, V8
076445e6 VLUXSEG8EI32V (X10), V4, V8
270c4526 VSUXSEG2EI8V V24, V4, (X10)
276c4524 VSUXSEG2EI32V V24, V4, V0, (X10)
270c4544 VSUXSEG3EI8V V24, V4, V0, (X10)
276c4566 VSUXSEG4EI32V V24, V4, (X10)
270c4586 VSUXSEG5EI8V V24, V4, (X10)
276c4584 VSUXSEG5EI32V V24, V4, V0, (X10)
270c45a4 VSUXSEG6EI8V V24, V4, V0, (X10)
276c45c6 VSUXSEG7EI32V V24, V4, (X10)
270c45e6 VSUXSEG8EI8V V24, V4, (X10)
276c45e4 VSUXSEG8EI32V V24, V4, V0, (X10)
0704452c VLOXSEG2EI8V (X10), V4, V0, V8
0764454e VLOXSEG3EI32V (X10), V4, V8
0704456e VLOXSEG4EI8V (X10), V4, V8
0764456c VLOXSEG4EI32V (X10), V4, V0, V8
0704458c VLOXSEG5EI8V (X10), V4, V0, V8
076445ce VLOXSEG7EI32V (X10), V4, V8
070445ee VLOXSEG8EI8V (X10), V4, V8
076445ec VLOXSEG8EI32V (X10), V4, V0, V8
270c452c VSOXSEG2EI8V V24, V4, V0, (X10)
276c454e VSOXSEG3EI32V V24, V4, (X10)
270c456e VSOXSEG4EI8V V24, V4, (X10)
276c456c VSOXSEG4EI32V V24, V4, V0, (X10)
270c458c VSOXSEG5EI8V V24, V4, V0, (X10)
276c45ae VSOXSEG6EI32V V24, V4, (X10)
270c45ce VSOXSEG7EI8V V24, V4, (X10)
276c45cc VSOXSEG7EI32V V24, V4, V0, (X10)
270c45ec VSOXSEG8EI8V V24, V4, V0, (X10)
87518502 VL1RE16V (X10), V3
07618522 VL2RE32V (X10), V2
07728562 VL4RE64V (X10), V4
a7818502 VS1RV V3, (X11)
d7412502 VADDVX X10, V2, V3
d781200a VSUBVV V1, V2, V3
d7b1270c VRSUBVI $15, V2, V0, V3
d76125c2 VWADDUVX X10, V2, V3
d7a120c6 VWADDVV V1, V2, V3
d76125ce VWSUBVX X10, V2, V3
d7a120da VWSUBUWV V1, V2, V3
d76125d6 VWADDWX X10, V2, V3
d76120c6 VWCVTXXV V2, V3
d7a1234a VSEXTVF2 V2, V3
d721214a VZEXTVF8 V2, V3
d7b12740 VADCVIM $15, V2, V0, V3
57b02744 VMADCVIM $15, V2, V0, V0
57b02746 VMADCVI $15, V2, V0
57c0254c VMSBCVXM X11, V2, V0, V0
d7812024 VANDVV V1, V2, V0, V3
d7812028 VORVV V1, V2, V0, V3
d781202c VXORVV V1, V2, V0, V3
d7b12f2c VNOTV V2, V0, V3
d7b12794 VSLLVI $15, V2, V0, V3
d7b127a0 VSRLVI $15, V2, V0, V3
d7b127a4 VSRAVI $15, V2, V0, V3
d7b12fb0 VNSRLWI $31, V2, V0, V3
d7b12fb4 VNSRAWI $31, V2, V0, V3
d7412560 VMSEQVX X10, V2, V0, V3
d7412564 VMSNEVX X10, V2, V0, V3
d7412568 VMSLTUVX X10, V2, V0, V3
d7812070 VMSLEUVV V1, V2, V0, V3
d7812074 VMSLEVV V1, V2, V0, V3
d7412578 VMSGTUVX X10, V2, V0, V3
d7b1277c VMSGTVI $15, V2, V0, V3
d7011174 VMSLEVV V2, V1, V0, V3
d7312770 VMSLEUVI $14, V2, V0, V3
d7812010 VMINUVV V1, V2, V0, V3
d7412514 VMINVX X10, V2, V0, V3
d781201c VMAXVV V1, V2, V0, V3
d7612594 VMULVX X10, V2, V0, V3
d7a12090 VMULHUVV V1, V2, V0, V3
d7612598 VMULHSUVX X10, V2, V0, V3
d7a12084 VDIVVV V1, V2, V0, V3
d7612588 VREMUVX X10, V2, V0, V3
d7a120ec VWMULVV V1, V2, V0, V3
d76125e0 VWMULUVX X10, V2, V0, V3
d7a120b4 VMACCVV V2, V1, V0, V3
d76125bc VNMSACVX V2, X10, V0, V3
d7a120ac VNMSUBVV V2, V1, V0, V3
d76125f0 VWMACCUVX V2, X10, V0, V3
d7a120fc VWMACCSUVV V2, V1, V0, V3
d741255c VMERGEVXM X10, V2, V0, V3
d7812080 VSADDUVV V1, V2, V0, V3
d7812084 VSADDVV V1, V2, V0, V3
d7812088 VSSUBUVV V1, V2, V0, V3
d741258c VSSUBVX X10, V2, V0, V3
d7a12024 VAADDVV V1, V2, V0, V3
d7612528 VASUBUVX X10, V2, V0, V3
d781209c VSMULVV V1, V2, V0, V3
d74125a8 VSSRLVX X10, V2, V0, V3
d74125ac VSSRAVX X10, V2, V0, V3
d74125b8 VNCLIPUWX X10, V2, V0, V3
d74125bc VNCLIPWX X10, V2, V0, V3
d7512500 VFADDVF F10, V2, V0, V3
d751259c VFRSUBVF F10, V2, V0, V3
d79120c8 VFWSUBVV V1, V2, V0, V3
d75125d0 VFWADDWF F10, V2, V0, V3
d7912090 VFMULVV V1, V2, V0, V3
d7512580 VFDIVVF F10, V2, V0, V3
d75125e0 VFWMULVF F10, V2, V0, V3
d79120b4 VFNMACCVV V2, V1, V0, V3
d75125b8 VFMSACVF V2, F10, V0, V3
d79120a0 VFMADDVV V2, V1, V0, V3
d75125a4 VFNMADDVF V2, F10, V0, V3
d79120ac VFNMSUBVV V2, V1, V0, V3
d75125f0 VFWMACCVF V2, F10, V0, V3
d79120f8 VFWMSACVV V2, V1, V0, V3
d75125fc VFWNMSACVF V2, F10, V0, V3
d791224c VFREC7V V2, V0, V3
d7912018 VFMAXVV V1, V2, V0, V3
d7512520 VFSGNJVF F10, V2, V0, V3
d7912028 VFSGNJXVV V1, V2, V0, V3
d7112128 VFABSV V2, V0, V3
d7912070 VMFNEVV V1, V2, V0, V3
d751256c VMFLTVF F10, V2, V0, V3
d7512574 VMFGTVF F10, V2, V0, V3
d7111164 VMFLEVV V2, V1, V0, V3
d7112048 VFCVTXUFV V2, V0, V3
d7912348 VFCVTRTZXFV V2, V0, V3
d7112448 VFWCVTXUFV V2, V0, V3
d7912748 VFWCVTRTZXFV V2, V0, V3
d7112648 VFWCVTFFV V2, V0, V3
d7112b48 VFNCVTRTZXUFW V2, V0, V3
d7912948 VFNCVTFXW V2, V0, V3
d7a12000 VREDSUMVS V1, V2, V0, V3
d7a12010 VREDMINUVS V1, V2, V0, V3
d7a12008 VREDORVS V1, V2, V0, V3
d78120c4 VWREDSUMVS V1, V2, V0, V3
d791201c VFREDMAXVS V1, V2, V0, V3
d79120c4 VFWREDUSUMVS V1, V2, V0, V3
d7a1207a VMNORMM V1, V2, V3
d7212176 VMNOTM V2, V3
d7a12050 VMSBFM V2, V0, V3
d7212850 VIOTAM V2, V0, V3
57510542 VFMVSF F10, V2
d741253c VSLIDEDOWNVX X10, V2, V0, V3
d7512538 VFSLIDE1UPVF F10, V2, V0, V3
d7812030 VRGATHERVV V1, V2, V0, V3
d7312830 VRGATHERVI $16, V2, V0, V3
73000000 ECALL
93020080 ADDI $-2048, X0, X5
03830200 MOVB (X5), X6
23305300 MOV X5, (X6)
23205300 MOVW X5, (X6)
d3000020 MOVF F0, F1
27b20200 MOVD F0, 4(X5)
93c2f2ff NOT X5, X5
6fe06f9f JMP -1922(PC)
63840200 BEQZ X5, 2(PC)
63745300 BGEU X6, X5, 2(PC)
d3200020 FABSS F0, F1
d3a200a2 FEQD F0, F1, X5