v1: https://lists.gnu.org/archive/html/qemu-devel/2023-07/msg00454.html
v1 -> v2: Add ULL for a large constant (David).
Add a comment explaining the usage of ALGFI in the LARL test.
Hi,
Randomized testing found a number of issues in the s390x emulation.
This series fixes 6 of them (patches 2-7) and adds tests (patches
8-12); patch 1 is a cosmetic improvement needed for the EPSW test.
There are more issues, but I thought it would be better to send this
batch now.
Best regards,
Ilya
Ilya Leoshkevich (12):
linux-user: elfload: Add more initial s390x PSW bits
target/s390x: Fix EPSW CC reporting
target/s390x: Fix MDEB and MDEBR
target/s390x: Fix MVCRL with a large value in R0
target/s390x: Fix LRA overwriting the top 32 bits on DAT error
target/s390x: Fix LRA when DAT is off
target/s390x: Fix relative long instructions with large offsets
tests/tcg/s390x: Test EPSW
tests/tcg/s390x: Test LARL with a large offset
tests/tcg/s390x: Test LRA
tests/tcg/s390x: Test MDEB and MDEBR
tests/tcg/s390x: Test MVCRL with a large value in R0
linux-user/elfload.c | 4 ++-
target/s390x/helper.h | 2 +-
target/s390x/mmu_helper.c | 2 +-
target/s390x/tcg/fpu_helper.c | 3 +-
target/s390x/tcg/insn-data.h.inc | 4 +--
target/s390x/tcg/mem_helper.c | 5 +--
target/s390x/tcg/translate.c | 8 +++--
tests/tcg/s390x/Makefile.softmmu-target | 1 +
tests/tcg/s390x/Makefile.target | 3 ++
tests/tcg/s390x/epsw.c | 23 +++++++++++++
tests/tcg/s390x/larl.c | 21 +++++++++++
tests/tcg/s390x/lra.S | 19 ++++++++++
tests/tcg/s390x/mdeb.c | 30 ++++++++++++++++
tests/tcg/s390x/mie3-mvcrl.c | 46 +++++++++++++++++++------
14 files changed, 151 insertions(+), 20 deletions(-)
create mode 100644 tests/tcg/s390x/epsw.c
create mode 100644 tests/tcg/s390x/larl.c
create mode 100644 tests/tcg/s390x/lra.S
create mode 100644 tests/tcg/s390x/mdeb.c
--
2.41.0