[PATCH v2 0/5] target/riscv: fix five XLEN, writeback and WARL edge cases

wangyang posted 5 patches 3 weeks, 1 day ago
Patches applied successfully (tree, apply log)
git fetch https://github.com/patchew-project/qemu tags/patchew/cover.20260904092608.git.wangyang25.otcaix.iscas.ac.cn
Maintainers: Palmer Dabbelt <palmer@dabbelt.com>, Alistair Francis <alistair.francis@wdc.com>, Weiwei Li <liwei1518@gmail.com>, Daniel Henrique Barboza <daniel.barboza@oss.qualcomm.com>, Liu Zhiwei <zhiwei_liu@linux.alibaba.com>, Chao Liu <chao.liu@processmission.com>, "Philippe Mathieu-Daudé" <philmd@oss.qualcomm.com>, Jiaxun Yang <jiaxun.yang@flygoat.com>
[PATCH v2 0/5] target/riscv: fix five XLEN, writeback and WARL edge cases
Posted by wangyang 3 weeks, 1 day ago
This series fixes five independently reproducible RISC-V issues in QEMU TCG translation and CSR handling. Each patch is independent and references the corresponding QEMU GitLab Work Item.

The series covers:

 - gating RV64-only Xmips instructions on RV32;
 - gating RV64-only XVentanaCondOps instructions on RV32;
 - allowing legal ZALASR loads with rd=x0;
 - restoring writeback for fsgnjn.h and fsgnjx.h under Zfinx/Zhinx;
 - normalizing the implemented Zcmt jvt.mode on writes.

The five reports are QEMU Work Items #4404 through #4408. The runtime witness matrices were executed on clean patched QEMU builds based on the reproduction snapshots; 29 witness and control combinations passed. Current master c513597761d6fc06690b5b7cf10dfb7ab05815d0 was checked separately for source applicability, and all five patches pass checkpatch.pl with zero errors and zero warnings.

The reports were prepared with the assistance of an automated fuzzing and emulation-differential tool and were manually triaged.

wangyang (5):
  target/riscv: gate RV64-only Xmips instructions on XLEN
  target/riscv: gate RV64-only XVentanaCondOps instructions on XLEN
  target/riscv: allow ZALASR loads with rd=x0
  target/riscv: write back fsgnjn.h and fsgnjx.h results
  target/riscv: normalize Zcmt jvt.mode on writes

Changes since v1:
 - Preserve the complete trailing context line in the patch mail and send the series as raw 8-bit SMTP data.