From patchwork Tue Feb 6 16:48:02 2018 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Patchwork-Submitter: =?utf-8?q?Alex_Benn=C3=A9e?= X-Patchwork-Id: 127040 Delivered-To: patch@linaro.org Received: by 10.46.124.24 with SMTP id x24csp3094943ljc; Tue, 6 Feb 2018 08:58:24 -0800 (PST) X-Google-Smtp-Source: AH8x225KOVO2otcg4e6o4gzgmNF+LN58zyC4gX147p2T1SYUiRXQytjknC/WyV08q1U5xK/y1RFy X-Received: by 10.129.90.84 with SMTP id o81mr1894679ywb.115.1517936304817; Tue, 06 Feb 2018 08:58:24 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1517936304; cv=none; d=google.com; s=arc-20160816; b=lX/4WRyMaYM5ydf0yeV2vTwo2x/9RIrnc6IThZ4vis+MDgwFj55Hgqiwca213hB85h KDejYXZtMXsM2LCrAGL7f6RSbSI+JeQN555svM74K7gbISmpAyv/odOhRiVsYfRz/Li3 WJfDGEELVE4+2GuVDRlTJkGhVdd7vnPLgjh+LcY+sdDrE4YiO8UtsnrMQ0u40YMES6AU xMVtZRNne1x7rVdvcdVAHXsOyXruE4roSBsO3fgHLLVZxPmbJicFo4AZsUGjazdlCOiL 5jP8fbkwa+P6fBhC0t7+mQA+R0JpcH73MeAl6PzniPgQ102QyeycUSYqDhKj2rx3Xetu aEbQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=sender:errors-to:cc:list-subscribe:list-help:list-post:list-archive :list-unsubscribe:list-id:precedence:subject :content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:to:from:dkim-signature:arc-authentication-results; bh=CbmvNTfC2Q0sl6dTe4aB9f4qRWG8djUkf97QFijCsF0=; b=UPquoARQv6LSEw07RLt66Hua+rGYWvJ9NKjvhveJLvY5aalI/tXGFgv5r0oT1EJC4/ s6ZU0lIdyXQ4r2UfEZCLM4qc08LZ44B4ZTbjezteU7ee05Xr5efrjAESBu6bbCv7ar0t 9DW1vVaQXi7iHwq985UMP29HffJ17YvZYdecGq1EUcwf5JPTbYLKTCm6339qvQFt0MZC ma2mpnB7dE3qBGKKRXgIm6uzQAKnd2u46t8bYJlWvP3xLKTPh7S089z8/4X8/b5G2WEb ZETcM9nWm3KlHcmJBdzB685cVby8iK+CDp+0of/cHCAtwHXtT+FNTHPTrEzOjVjDTv/l xhpA== ARC-Authentication-Results: i=1; mx.google.com; dkim=fail header.i=@linaro.org header.s=google header.b=IuYob9bv; spf=pass (google.com: domain of qemu-devel-bounces+patch=linaro.org@nongnu.org designates 2001:4830:134:3::11 as permitted sender) smtp.mailfrom=qemu-devel-bounces+patch=linaro.org@nongnu.org; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=linaro.org Return-Path: Received: from lists.gnu.org (lists.gnu.org. [2001:4830:134:3::11]) by mx.google.com with ESMTPS id l184si459049ywg.22.2018.02.06.08.58.24 for (version=TLS1 cipher=AES128-SHA bits=128/128); Tue, 06 Feb 2018 08:58:24 -0800 (PST) Received-SPF: pass (google.com: domain of qemu-devel-bounces+patch=linaro.org@nongnu.org designates 2001:4830:134:3::11 as permitted sender) client-ip=2001:4830:134:3::11; Authentication-Results: mx.google.com; dkim=fail header.i=@linaro.org header.s=google header.b=IuYob9bv; spf=pass (google.com: domain of qemu-devel-bounces+patch=linaro.org@nongnu.org designates 2001:4830:134:3::11 as permitted sender) smtp.mailfrom=qemu-devel-bounces+patch=linaro.org@nongnu.org; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=linaro.org Received: from localhost ([::1]:37843 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ej6Zc-0001Kp-4y for patch@linaro.org; Tue, 06 Feb 2018 11:58:24 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:33592) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ej6Q4-0000bn-R9 for qemu-devel@nongnu.org; Tue, 06 Feb 2018 11:48:34 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ej6Q3-00053H-V4 for qemu-devel@nongnu.org; Tue, 06 Feb 2018 11:48:32 -0500 Received: from mail-wm0-x243.google.com ([2a00:1450:400c:c09::243]:53521) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1ej6Q3-00052T-P1 for qemu-devel@nongnu.org; Tue, 06 Feb 2018 11:48:31 -0500 Received: by mail-wm0-x243.google.com with SMTP id t74so5036016wme.3 for ; Tue, 06 Feb 2018 08:48:31 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=linaro.org; s=google; h=from:to:cc:subject:date:message-id:in-reply-to:references :mime-version:content-transfer-encoding; bh=CbmvNTfC2Q0sl6dTe4aB9f4qRWG8djUkf97QFijCsF0=; b=IuYob9bvUlH4b2zmmQGtyc8Nf5kMoVDgwIuH91l+gHMrvJp/pNZuVecI1hlcjctz33 EaHkk8AIH/kpqce5JZHecx2c+W21LAtxFXZgNHMgYX5PRf/3jlnOELwsx9P5FQ4hiGwX vzKd7nFV5ja3l1RwHE4wa20iNOAQHmqyVXiDA= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:date:message-id:in-reply-to :references:mime-version:content-transfer-encoding; bh=CbmvNTfC2Q0sl6dTe4aB9f4qRWG8djUkf97QFijCsF0=; b=HIuuy+v3D01iyfrReYjrxrFyVdAwDE9dWdIh13g8Wqf/JACB8DSat2JTCKEFoEOAvN 4CEjD69sXyQxznIW8FOcNJaeUhlD2De5mm/qo7setYWp23s6kpOn13j78PUDuNp9eIGA ZxPlz8i1ctjj5gXKxPnAnAOvff4blXXLcb6zaR2iRrunbVzJjeiI1dEvy91AMQ0ZDgau pK6BDbQ+HQ6rRU60EqZdWa0IP4faXZEMK25iSswymfYoq4aJvyG+Th0TFAHE46aQyGDF PH0+S5n3SotY6gvYCW+vtiPaVsdalehzoh6J9dZCrJVtVXQ59opLEnX277MG6W1Javj0 Nj9g== X-Gm-Message-State: APf1xPBlMt9PCQI/y1QkKYDVpxk7E78HR8/Kq9EKNV3X+1gGDAp8GcaA g8AOzfVSv0cAe6i6ycAaPmdQKQ== X-Received: by 10.28.120.19 with SMTP id t19mr2434534wmc.53.1517935710642; Tue, 06 Feb 2018 08:48:30 -0800 (PST) Received: from zen.linaro.local ([81.128.185.34]) by smtp.gmail.com with ESMTPSA id s206sm6619035wme.4.2018.02.06.08.48.19 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Tue, 06 Feb 2018 08:48:22 -0800 (PST) Received: from zen.linaroharston (localhost [127.0.0.1]) by zen.linaro.local (Postfix) with ESMTP id EC0843E06B0; Tue, 6 Feb 2018 16:48:15 +0000 (GMT) From: =?utf-8?q?Alex_Benn=C3=A9e?= To: richard.henderson@linaro.org, peter.maydell@linaro.org, laurent@vivier.eu, bharata@linux.vnet.ibm.com, andrew@andrewdutcher.com Date: Tue, 6 Feb 2018 16:48:02 +0000 Message-Id: <20180206164815.10084-10-alex.bennee@linaro.org> X-Mailer: git-send-email 2.15.1 In-Reply-To: <20180206164815.10084-1-alex.bennee@linaro.org> References: <20180206164815.10084-1-alex.bennee@linaro.org> MIME-Version: 1.0 X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2a00:1450:400c:c09::243 Subject: [Qemu-devel] [PATCH v4 09/22] fpu/softfloat: improve comments on ARM NaN propagation X-BeenThere: qemu-devel@nongnu.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: =?utf-8?q?Alex_Benn=C3=A9e?= , qemu-devel@nongnu.org, Aurelien Jarno Errors-To: qemu-devel-bounces+patch=linaro.org@nongnu.org Sender: "Qemu-devel" Mention the pseudo-code fragment from which this is based. Signed-off-by: Alex Bennée Reviewed-by: Richard Henderson --- fpu/softfloat-specialize.h | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) -- 2.15.1 diff --git a/fpu/softfloat-specialize.h b/fpu/softfloat-specialize.h index de2c5d5702..4be0fb21ba 100644 --- a/fpu/softfloat-specialize.h +++ b/fpu/softfloat-specialize.h @@ -445,9 +445,10 @@ static float32 commonNaNToFloat32(commonNaNT a, float_status *status) #if defined(TARGET_ARM) static int pickNaN(flag aIsQNaN, flag aIsSNaN, flag bIsQNaN, flag bIsSNaN, - flag aIsLargerSignificand) + flag aIsLargerSignificand) { - /* ARM mandated NaN propagation rules: take the first of: + /* ARM mandated NaN propagation rules (see FPProcessNaNs()), take + * the first of: * 1. A if it is signaling * 2. B if it is signaling * 3. A (quiet)