From nobody Sun Apr 12 04:37:37 2026 Delivered-To: importer@patchew.org Authentication-Results: mx.zohomail.com; dkim=pass; spf=pass (zohomail.com: domain of gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=qemu-devel-bounces+importer=patchew.org@nongnu.org; dmarc=pass(p=none dis=none) header.from=linaro.org ARC-Seal: i=1; a=rsa-sha256; t=1771911962; cv=none; d=zohomail.com; s=zohoarc; b=mZ+rYylEMROkhORuWlLTAHiOW7TQFDWKdp9lHugZ0zBW4/I02W9ketf/1q28wdv6AtDKgampm7mPzjxG+bXZ1Rbpp7s1WHoP/CgTmvFbuggWoKmWPUqjsTjN4+r0ZpWOpIOSN0KgVa3fthP2sBA5+ekWw/nXZw1Dv6Z0HK2XtEc= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.com; s=zohoarc; t=1771911962; h=Content-Transfer-Encoding:Cc:Cc:Date:Date:From:From:In-Reply-To:List-Subscribe:List-Post:List-Id:List-Archive:List-Help:List-Unsubscribe:MIME-Version:Message-ID:References:Sender:Subject:Subject:To:To:Message-Id:Reply-To; bh=tx95IX5iqClxkaMl43usMjzb61BBE9oTV3e21KmOpRI=; b=iseBdwn1bFpBvAPQdU0XNVriqS0lBPWHUNcnJBiD4dN2UWG1R8S9GpjEb+eGwNVPVL2BMOmFrPa3uDPFySs/tXkR+Nm5MnAJzg9iJe+9iq2KfJk95md/OQjvjA7BteWIcppuWkP4ihPGi2WAjy/ViizzvXwRqEzLtYPV10r6tcA= ARC-Authentication-Results: i=1; mx.zohomail.com; dkim=pass; spf=pass (zohomail.com: domain of gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=qemu-devel-bounces+importer=patchew.org@nongnu.org; dmarc=pass header.from= (p=none dis=none) Return-Path: Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mx.zohomail.com with SMTPS id 1771911962058523.6264269191711; Mon, 23 Feb 2026 21:46:02 -0800 (PST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1vulF2-0004XV-RT; Tue, 24 Feb 2026 00:45:52 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1vulEH-00040s-Pv for qemu-devel@nongnu.org; Tue, 24 Feb 2026 00:45:08 -0500 Received: from mail-dy1-x132c.google.com ([2607:f8b0:4864:20::132c]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1vulEF-0002It-5h for qemu-devel@nongnu.org; Tue, 24 Feb 2026 00:45:05 -0500 Received: by mail-dy1-x132c.google.com with SMTP id 5a478bee46e88-2ba94dbf739so5586961eec.1 for ; Mon, 23 Feb 2026 21:44:55 -0800 (PST) Received: from stoup.. ([172.56.177.223]) by smtp.gmail.com with ESMTPSA id 5a478bee46e88-2bd7daa37c7sm5958093eec.12.2026.02.23.21.44.50 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 23 Feb 2026 21:44:54 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=linaro.org; s=google; t=1771911895; x=1772516695; darn=nongnu.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=tx95IX5iqClxkaMl43usMjzb61BBE9oTV3e21KmOpRI=; b=mXYm+VaEFopYU27aIPZnM0J8OQG/SW9JnVPD5r8U9V3sCifjnTtvS0tSE94TLczRFr Vxu4+/iga+AMVn+J+QyCy7bUOajxP1T2ofqnPBUcsOPHP0+duNojaDfTm3ee01e3KlUM 62tbvtBTzxFyT5WRYQOj6N8GZn1o8pC4y22/l0hRw59f9yfVCb/1uoL08dzYbzPySjyp QFyx1s+PN9906zhaI9nwe5bfraOrG96fW70tQxLih+cAKB5L8R3C+VfGWLQbTLB7y6sg X8HCk2l4xgMJrnTnb1ZVBEdwpzv+H2F8U38+6jx0g3yAPa1Tgbm0e8CoaaCw1Kc721jD 7deQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1771911895; x=1772516695; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-gg:x-gm-message-state:from :to:cc:subject:date:message-id:reply-to; bh=tx95IX5iqClxkaMl43usMjzb61BBE9oTV3e21KmOpRI=; b=RqIX1G3s2O3j+nXjUsa+bt19sVyP2qJL9ubdj0GUt2W0jr+hzpxOasJxwbCouQsF6L oe0SvcUUCpfd9Y3ptt+j5XBlkLvdNsipZ1dStf5HPR1Si5v9i5XrB4FwGe5MX2rGpIWi u4oKEVS8t133SfB1rnLL6Awiod6JOT2dLnJrBqczSRm8PYq8xvY/I0e+aUaVHEU3CJ0k 5FacTxJNWdABawyXcevDAhl/1MA4O6atdzuxdMpKSTdFkyxu2lFPdDYS1rXMblXa6KqM OppYJ3csBaNKKmFf58AJV+XFeD/HUvqaMvd7Vtim4DoW+Mcef7wKweaK5XrapGZBAI8t 6wDQ== X-Gm-Message-State: AOJu0YzC3nRwQLa9TTpn2vfopma3itmCi5NATeXXVCx3wWSHO+c4yMqq +jHxmudOrSsXXARcUaBtHnczBIkB8/PtDS+qWu9v2CQG1oEegHTBgjj5y9jhCP4atWzQOaVJJei 34rX6IUs= X-Gm-Gg: ATEYQzyVQfCrZVzTfysQqjjwG3cEkiF1edEOAPQ5s23pNuEiFxc2/970K2EODY+lbEy bKC2dJEeWZpFp6wyf2RjcsY3MHkZIvx9mwBsCQ+FINEjj82U37IxBlcEcwTYTmMk4swx9zGS0B3 Rl0Bx4WeGBlnCuLBu6lSeBysSsLCYU7uDYEF0jpO3Cc/DzSpfMfDjJQz+dOb8eyzuV/yb0SHMTT BmdBq7/TAJD37UfPRNq+X7ArVcu2Bvw43mQjFCpHHtWuTuhgP05JmvKaAJdq6QpFIQjOTmG6aaX qnYhIRSqx/Sr9AuAif4Zx4bVTEZwY4pxt2ZQcK/X2fFgn62KWbAxUTQMjXThi9zg8ngg4TKm0mZ dQXTvMqyrfBrFgq5mMUHkU3u1Y7+62My8+j6X3eSQBMbJoXZgWge11o0kk/KtteRK5YmwBBOiQb DPGpG0MRyOsaFN1FYLVJH8Ng4VA94FgdgOkCBGJ9bpMkJvEEbJS7DM X-Received: by 2002:a05:693c:310c:b0:2ba:a60a:15ef with SMTP id 5a478bee46e88-2bd7b9d3a70mr4127549eec.1.1771911894452; Mon, 23 Feb 2026 21:44:54 -0800 (PST) From: Richard Henderson To: qemu-devel@nongnu.org Cc: Max Chou , Chao Liu Subject: [PULL 6/9] fpu: Add saturate parameter to parts_uncanon Date: Tue, 24 Feb 2026 16:44:14 +1100 Message-ID: <20260224054417.32430-7-richard.henderson@linaro.org> X-Mailer: git-send-email 2.43.0 In-Reply-To: <20260224054417.32430-1-richard.henderson@linaro.org> References: <20260224054417.32430-1-richard.henderson@linaro.org> MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable Received-SPF: pass (zohomail.com: domain of gnu.org designates 209.51.188.17 as permitted sender) client-ip=209.51.188.17; envelope-from=qemu-devel-bounces+importer=patchew.org@nongnu.org; helo=lists.gnu.org; Received-SPF: pass client-ip=2607:f8b0:4864:20::132c; envelope-from=richard.henderson@linaro.org; helo=mail-dy1-x132c.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: qemu-devel@nongnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: qemu development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: qemu-devel-bounces+importer=patchew.org@nongnu.org Sender: qemu-devel-bounces+importer=patchew.org@nongnu.org X-ZohoMail-DKIM: pass (identity @linaro.org) X-ZM-MESSAGEID: 1771911964000158500 Content-Type: text/plain; charset="utf-8" From: Max Chou The OCP FP8 conversion operations have a parameter to control saturate vs overflow. Add a parameter, currently always false. Reviewed-by: Chao Liu Signed-off-by: Max Chou [rth: Split out of a larger patch] Signed-off-by: Richard Henderson --- fpu/softfloat.c | 46 +++++++++++++++++++-------------------- fpu/softfloat-parts.c.inc | 15 ++++++++----- 2 files changed, 32 insertions(+), 29 deletions(-) diff --git a/fpu/softfloat.c b/fpu/softfloat.c index 9d06a1bb59..b3c4104854 100644 --- a/fpu/softfloat.c +++ b/fpu/softfloat.c @@ -771,20 +771,20 @@ static void parts128_canonicalize(FloatParts128 *p, f= loat_status *status, PARTS_GENERIC_64_128(canonicalize, A)(A, S, F) =20 static void parts64_uncanon_normal(FloatParts64 *p, float_status *status, - const FloatFmt *fmt); + const FloatFmt *fmt, bool saturate); static void parts128_uncanon_normal(FloatParts128 *p, float_status *status, - const FloatFmt *fmt); + const FloatFmt *fmt, bool saturate); =20 -#define parts_uncanon_normal(A, S, F) \ - PARTS_GENERIC_64_128(uncanon_normal, A)(A, S, F) +#define parts_uncanon_normal(A, S, F, X) \ + PARTS_GENERIC_64_128(uncanon_normal, A)(A, S, F, X) =20 static void parts64_uncanon(FloatParts64 *p, float_status *status, - const FloatFmt *fmt); + const FloatFmt *fmt, bool saturate); static void parts128_uncanon(FloatParts128 *p, float_status *status, - const FloatFmt *fmt); + const FloatFmt *fmt, bool saturate); =20 -#define parts_uncanon(A, S, F) \ - PARTS_GENERIC_64_128(uncanon, A)(A, S, F) +#define parts_uncanon(A, S, F, X) \ + PARTS_GENERIC_64_128(uncanon, A)(A, S, F, X) =20 static void parts64_add_normal(FloatParts64 *a, FloatParts64 *b); static void parts128_add_normal(FloatParts128 *a, FloatParts128 *b); @@ -1699,7 +1699,7 @@ static float16 float16a_round_pack_canonical(FloatPar= ts64 *p, float_status *s, const FloatFmt *params) { - parts_uncanon(p, s, params); + parts_uncanon(p, s, params, false); return float16_pack_raw(p); } =20 @@ -1712,7 +1712,7 @@ static float16 float16_round_pack_canonical(FloatPart= s64 *p, static bfloat16 bfloat16_round_pack_canonical(FloatParts64 *p, float_status *s) { - parts_uncanon(p, s, &bfloat16_params); + parts_uncanon(p, s, &bfloat16_params, false); return bfloat16_pack_raw(p); } =20 @@ -1726,7 +1726,7 @@ static void float32_unpack_canonical(FloatParts64 *p,= float32 f, static float32 float32_round_pack_canonical(FloatParts64 *p, float_status *s) { - parts_uncanon(p, s, &float32_params); + parts_uncanon(p, s, &float32_params, false); return float32_pack_raw(p); } =20 @@ -1740,7 +1740,7 @@ static void float64_unpack_canonical(FloatParts64 *p,= float64 f, static float64 float64_round_pack_canonical(FloatParts64 *p, float_status *s) { - parts_uncanon(p, s, &float64_params); + parts_uncanon(p, s, &float64_params, false); return float64_pack_raw(p); } =20 @@ -1789,7 +1789,7 @@ static float64 float64r32_pack_raw(FloatParts64 *p) static float64 float64r32_round_pack_canonical(FloatParts64 *p, float_status *s) { - parts_uncanon(p, s, &float32_params); + parts_uncanon(p, s, &float32_params, false); return float64r32_pack_raw(p); } =20 @@ -1803,7 +1803,7 @@ static void float128_unpack_canonical(FloatParts128 *= p, float128 f, static float128 float128_round_pack_canonical(FloatParts128 *p, float_status *s) { - parts_uncanon(p, s, &float128_params); + parts_uncanon(p, s, &float128_params, false); return float128_pack_raw(p); } =20 @@ -1851,7 +1851,7 @@ static floatx80 floatx80_round_pack_canonical(FloatPa= rts128 *p, case float_class_normal: case float_class_denormal: if (s->floatx80_rounding_precision =3D=3D floatx80_precision_x) { - parts_uncanon_normal(p, s, fmt); + parts_uncanon_normal(p, s, fmt, false); frac =3D p->frac_hi; exp =3D p->exp; } else { @@ -1860,7 +1860,7 @@ static floatx80 floatx80_round_pack_canonical(FloatPa= rts128 *p, p64.sign =3D p->sign; p64.exp =3D p->exp; frac_truncjam(&p64, p); - parts_uncanon_normal(&p64, s, fmt); + parts_uncanon_normal(&p64, s, fmt, false); frac =3D p64.frac; exp =3D p64.exp; } @@ -2258,7 +2258,7 @@ float16_muladd_scalbn(float16 a, float16 b, float16 c, pr =3D parts_muladd_scalbn(&pa, &pb, &pc, scale, flags, status); =20 /* Round before applying negate result. */ - parts_uncanon(pr, status, &float16_params); + parts_uncanon(pr, status, &float16_params, false); if ((flags & float_muladd_negate_result) && !is_nan(pr->cls)) { pr->sign ^=3D 1; } @@ -2283,7 +2283,7 @@ float32_muladd_scalbn(float32 a, float32 b, float32 c, pr =3D parts_muladd_scalbn(&pa, &pb, &pc, scale, flags, status); =20 /* Round before applying negate result. */ - parts_uncanon(pr, status, &float32_params); + parts_uncanon(pr, status, &float32_params, false); if ((flags & float_muladd_negate_result) && !is_nan(pr->cls)) { pr->sign ^=3D 1; } @@ -2302,7 +2302,7 @@ float64_muladd_scalbn(float64 a, float64 b, float64 c, pr =3D parts_muladd_scalbn(&pa, &pb, &pc, scale, flags, status); =20 /* Round before applying negate result. */ - parts_uncanon(pr, status, &float64_params); + parts_uncanon(pr, status, &float64_params, false); if ((flags & float_muladd_negate_result) && !is_nan(pr->cls)) { pr->sign ^=3D 1; } @@ -2461,7 +2461,7 @@ float64 float64r32_muladd(float64 a, float64 b, float= 64 c, pr =3D parts_muladd_scalbn(&pa, &pb, &pc, 0, flags, status); =20 /* Round before applying negate result. */ - parts_uncanon(pr, status, &float32_params); + parts_uncanon(pr, status, &float32_params, false); if ((flags & float_muladd_negate_result) && !is_nan(pr->cls)) { pr->sign ^=3D 1; } @@ -2479,7 +2479,7 @@ bfloat16 QEMU_FLATTEN bfloat16_muladd(bfloat16 a, bfl= oat16 b, bfloat16 c, pr =3D parts_muladd_scalbn(&pa, &pb, &pc, 0, flags, status); =20 /* Round before applying negate result. */ - parts_uncanon(pr, status, &bfloat16_params); + parts_uncanon(pr, status, &bfloat16_params, false); if ((flags & float_muladd_negate_result) && !is_nan(pr->cls)) { pr->sign ^=3D 1; } @@ -2497,7 +2497,7 @@ float128 QEMU_FLATTEN float128_muladd(float128 a, flo= at128 b, float128 c, pr =3D parts_muladd_scalbn(&pa, &pb, &pc, 0, flags, status); =20 /* Round before applying negate result. */ - parts_uncanon(pr, status, &float128_params); + parts_uncanon(pr, status, &float128_params, false); if ((flags & float_muladd_negate_result) && !is_nan(pr->cls)) { pr->sign ^=3D 1; } @@ -5435,7 +5435,7 @@ static void parts_s390_divide_to_integer(FloatParts64= *a, FloatParts64 *b, /* Round remainder to the target format */ *r =3D *r_precise; status->float_exception_flags =3D 0; - parts_uncanon(r, status, fmt); + parts_uncanon(r, status, fmt, false); r_flags =3D status->float_exception_flags; r->frac &=3D (1ULL << fmt->frac_size) - 1; parts_canonicalize(r, status, fmt); diff --git a/fpu/softfloat-parts.c.inc b/fpu/softfloat-parts.c.inc index 4909ff7418..09be686645 100644 --- a/fpu/softfloat-parts.c.inc +++ b/fpu/softfloat-parts.c.inc @@ -258,9 +258,12 @@ static void partsN(canonicalize)(FloatPartsN *p, float= _status *status, * are FRAC_SHIFT bits that may require rounding at the bottom of the * fraction; these bits will be removed. The exponent will be biased * by EXP_BIAS and must be bounded by [EXP_MAX-1, 0]. + * + * The saturate parameter controls saturation behavior for formats that + * support it -- when true, overflow produces max normal instead of infini= ty. */ static void partsN(uncanon_normal)(FloatPartsN *p, float_status *s, - const FloatFmt *fmt) + const FloatFmt *fmt, bool saturate) { const int exp_max =3D fmt->exp_max; const int frac_shift =3D fmt->frac_shift; @@ -269,7 +272,7 @@ static void partsN(uncanon_normal)(FloatPartsN *p, floa= t_status *s, const uint64_t frac_lsbm1 =3D round_mask ^ (round_mask >> 1); const uint64_t roundeven_mask =3D round_mask | frac_lsb; uint64_t inc; - bool overflow_norm =3D false; + bool overflow_norm =3D saturate; int exp, flags =3D 0; =20 switch (s->float_rounding_mode) { @@ -294,11 +297,11 @@ static void partsN(uncanon_normal)(FloatPartsN *p, fl= oat_status *s, break; case float_round_up: inc =3D p->sign ? 0 : round_mask; - overflow_norm =3D p->sign; + overflow_norm |=3D p->sign; break; case float_round_down: inc =3D p->sign ? round_mask : 0; - overflow_norm =3D !p->sign; + overflow_norm |=3D !p->sign; break; case float_round_to_odd: overflow_norm =3D true; @@ -445,10 +448,10 @@ static void partsN(uncanon_normal)(FloatPartsN *p, fl= oat_status *s, } =20 static void partsN(uncanon)(FloatPartsN *p, float_status *s, - const FloatFmt *fmt) + const FloatFmt *fmt, bool saturate) { if (likely(is_anynorm(p->cls))) { - parts_uncanon_normal(p, s, fmt); + parts_uncanon_normal(p, s, fmt, saturate); } else { switch (p->cls) { case float_class_zero: --=20 2.43.0