This patchset fixes a few issues with the s390x emulation and improves it a bit by a emulating a few more instructions.
With this patchset and the ones posted a few days ago, I have been able to build the GNU libc in both a 64-bit guest with 64-bit userland and a 64-bit guest with a 31-bit userland and pass the testsuite in both cases. Aurelien Jarno (10): target-s390x: fix PSW value on dynamical exception from helpers target-s390x: fix MMU index computation target-s390x: define default NaN values target-s390x: silence NaNs for LOAD LENGTHENED and LOAD ROUNDED target-s390x: detect tininess before rounding for FP operations target-s390x: improve facilities list target-s390x: enable fully implemented facilities target-s390x: implement STFLE instruction target-s390x: move a few instructions to the correct facility target-s390x: implement LAY and LAEY instructions fpu/softfloat-specialize.h | 8 +++-- target-s390x/cpu.c | 8 +++++ target-s390x/cpu.h | 81 +++++++++++++++++++++++++++++++++++++++++++--- target-s390x/fpu_helper.c | 12 +++---- target-s390x/helper.h | 1 + target-s390x/insn-data.def | 13 +++++--- target-s390x/misc_helper.c | 21 +++++++++++- target-s390x/translate.c | 46 ++++++++++++++++++++++++-- 8 files changed, 170 insertions(+), 20 deletions(-) -- 2.1.4