From 907ddc7cc2d4083de84428f7fa3b57285f2c2c58 Mon Sep 17 00:00:00 2001 From: Florian Krohm Date: Sat, 15 Nov 2025 11:35:07 +0000 Subject: [PATCH] s390x decode_bfp_rounding_mode: complete list of rounding modes. --- VEX/priv/guest_s390_helpers.c | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/VEX/priv/guest_s390_helpers.c b/VEX/priv/guest_s390_helpers.c index d5e683ab2..431967e07 100644 --- a/VEX/priv/guest_s390_helpers.c +++ b/VEX/priv/guest_s390_helpers.c @@ -784,6 +784,10 @@ decode_bfp_rounding_mode(UInt irrm) case Irrm_ZERO: return S390_BFP_ROUND_ZERO; case Irrm_NEAREST_TIE_AWAY_0: return S390_BFP_ROUND_NEAREST_AWAY; case Irrm_PREPARE_SHORTER: return S390_BFP_ROUND_PREPARE_SHORT; + case Irrm_AWAY_FROM_ZERO: + case Irrm_NEAREST_TIE_TOWARD_0: + /* These cannot occur as they are DFP specific */ + break; } vpanic("decode_bfp_rounding_mode"); } -- 2.47.3