34 lines
1.3 KiB
Diff
34 lines
1.3 KiB
Diff
From da3b331c63a6aec0ec3206b1d9ca0df9bced3338 Mon Sep 17 00:00:00 2001
|
|
From: Andreas Arnez <arnez@linux.ibm.com>
|
|
Date: Mon, 3 Jan 2022 18:15:05 +0100
|
|
Subject: [PATCH] s390: Fix VFLRX and WFLRX instructions
|
|
|
|
Due to a typo in s390_irgen_VFLR, the VFLR instruction behaves incorrectly
|
|
when its m3 field contains 4, meaning extended format. In that case VFLR
|
|
is also written as VFLRX (or WFLRX) and supposed to round down from the
|
|
extended 128-bit format to the long 64-bit format. However, the typo
|
|
checks for m3 == 2 instead, so the value of 4 is unhandled, causing
|
|
Valgrind to throw a specification exception.
|
|
|
|
This fixes the typo.
|
|
---
|
|
VEX/priv/guest_s390_toIR.c | 2 +-
|
|
1 file changed, 1 insertion(+), 1 deletion(-)
|
|
|
|
diff --git a/VEX/priv/guest_s390_toIR.c b/VEX/priv/guest_s390_toIR.c
|
|
index fffc563d4..3ef104fcd 100644
|
|
--- a/VEX/priv/guest_s390_toIR.c
|
|
+++ b/VEX/priv/guest_s390_toIR.c
|
|
@@ -19008,7 +19008,7 @@ s390_irgen_VFLL(UChar v1, UChar v2, UChar m3, UChar m4, UChar m5)
|
|
static const HChar *
|
|
s390_irgen_VFLR(UChar v1, UChar v2, UChar m3, UChar m4, UChar m5)
|
|
{
|
|
- s390_insn_assert("vflr", m3 == 3 || (s390_host_has_vxe && m3 == 2));
|
|
+ s390_insn_assert("vflr", m3 == 3 || (s390_host_has_vxe && m3 == 4));
|
|
|
|
if (m3 == 3)
|
|
s390_vector_fp_convert(Iop_F64toF32, Ity_F64, Ity_F32, True,
|
|
--
|
|
2.31.1
|
|
|