From owner-sc22wg14+sc22wg14-domo2=www.open-std.org@open-std.org Fri Mar 14 12:54:51 2025 Return-Path: X-Original-To: sc22wg14-domo2 Delivered-To: sc22wg14-domo2@www.open-std.org Received: by www.open-std.org (Postfix, from userid 521) id 0E08635667D; Fri, 14 Mar 2025 12:54:51 +0100 (CET) Delivered-To: sc22wg14@open-std.org Received: from omta36.uswest2.a.cloudfilter.net (omta36.uswest2.a.cloudfilter.net [35.89.44.35]) by www.open-std.org (Postfix) with ESMTP id 6AA6D356641 for ; Fri, 14 Mar 2025 12:54:49 +0100 (CET) Received: from eig-obgw-6010a.ext.cloudfilter.net ([10.0.30.248]) by cmsmtp with ESMTPS id t1zPtAzbJMETlt3cltE59e; Fri, 14 Mar 2025 11:54:47 +0000 Received: from shared96.accountservergroup.com ([162.215.249.31]) by cmsmtp with ESMTPS id t3cktqb8bZozct3ckthIWn; Fri, 14 Mar 2025 11:54:47 +0000 X-Authority-Analysis: v=2.4 cv=GvNE+F1C c=1 sm=1 tr=0 ts=67d41907 a=NrHcqpKnC+CHa0WgNMcsAQ==:117 a=NrHcqpKnC+CHa0WgNMcsAQ==:17 a=OmBT9HXh54kA:10 a=IkcTkHD0fZMA:10 a=Vs1iUdzkB0EA:10 a=x7bEGLp0ZPQA:10 a=l5cw7cMf71MA:10 a=wnXgA4KcAAAA:8 a=7dpnra-Hl82xzf-UnNoA:9 a=QEXdDO2ut3YA:10 a=61Zva4obVgf-WXtrRudo:22 a=Tmm2RPO06mRXWJb6Czrb:22 a=TM_a5DQY2WQeCJ3x1cKF:22 a=VmiDpIqc2gitv6z38Hxh:22 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=tybor.com; s=default; h=Subject:Content-Transfer-Encoding:Content-Type:MIME-Version: References:In-Reply-To:Reply-To:Date:To:From:Message-ID:Sender:Cc:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:List-Id:List-Help:List-Unsubscribe:List-Subscribe: List-Post:List-Owner:List-Archive; bh=WOsc3gCPWBaXsL0b7gHXZ/T6Jw9AzbxMIOmmZhj9QHU=; b=oUmqvGqs9UR9VGh7LTelnl7Msf up6dwr43deUd8JxT11AHSLpDOpIL+RAiOcX49DdAST+9/SYK6s31UhinY+D6AOHDRm5w0PBLjIJzn tXtW9CqS2xEwLpHLVUeThvONU4SCT0xKoI+NrJVSQ7bxPzVHwFkJ/jXRB8hDsfpPm8sMdGveoh4oy jqvhPx7deMaNwwr6w3fLtMKX5yN9CMkdumQ7cGcjLnYXwm5ku8pdAcwCZD98CrpEhUYh6WCz5WaTK 7RlUxNntLZWYx//3T8drtdhUGGrnXhuUGp/vLoaPTUqSk9x4MGYsnM65bAlkhrMNAPyJ/yrdsxrH0 pKrgDKhQ==; Received: from [170.203.197.224] (port=22016 helo=ECS16501512) by shared96.accountservergroup.com with esmtpsa (TLS1) tls TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA (Exim 4.95) (envelope-from ) id 1tt3ck-000Wws-5C; Fri, 14 Mar 2025 06:54:46 -0500 Message-ID: <100.38790d000219d467.002@tybor.com> From: "Fred J. Tydeman" To: "Joseph Myers" , "sc22wg14@open-std.org" Date: Fri, 14 Mar 2025 08:54:42 -0400 (CLT) Reply-To: "Fred J. Tydeman" In-Reply-To: <20250313180331.C3D6F3568AA@www.open-std.org> References: <20250313180331.C3D6F3568AA@www.open-std.org> User-Agent: PMMail/3.11 (os/2; U; Warp 4.5; en-US; i386; ver 3.11.30.1767) X-Mailer: PMMail 3.11.30.1767 for OS/2 Warp 4.5 MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Subject: Re: [SC22WG14.29700] powr(negative, qNaN) X-AntiAbuse: This header was added to track abuse, please include it with any abuse report X-AntiAbuse: Primary Hostname - shared96.accountservergroup.com X-AntiAbuse: Original Domain - open-std.org X-AntiAbuse: Originator/Caller UID/GID - [47 12] / [47 12] X-AntiAbuse: Sender Address Domain - tybor.com X-BWhitelist: no X-Source-IP: 170.203.197.224 X-Source-L: No X-Exim-ID: 1tt3ck-000Wws-5C X-Source: X-Source-Args: X-Source-Dir: X-Source-Sender: (ECS16501512) [170.203.197.224]:22016 X-Source-Auth: tydeman@tybor.com X-Email-Count: 3 X-Org: HG=asoshared_site5_new;ORG=aso; X-Source-Cap: dHlkZW1hbjt0eWRlbWFuO3NoYXJlZDk2LmFjY291bnRzZXJ2ZXJncm91cC5jb20= X-Local-Domain: yes X-CMAE-Envelope: MS4xfHbUWLc2Gvpdz24U+VH9OM7V2UOPMpWmulSIBp3X8KpDoEmD4LbiQddlwUq2cYxjdqCpJaUpupX7zcbuyzIpoqA4xGe6klDEYyMIIhVTnjv+07JMtnJX LhVjQY9GJklFaPszZW0Ng61rLFxdT6wgtp2lfwZ/O9BxEcYkjCiZEc9NqWesg031s0s17I9Ov1GsItqiK0X//7rcMy7d69U8wow= Sender: owner-sc22wg14@open-std.org Precedence: bulk On Thu, 13 Mar 2025 18:03:24 +0000 (UTC) Joseph Myers wrote: > >Do I understand correctly that powr(x, qNaN) should raise "invalid" for = >negative x, since such x are outside the domain of the function as defin= ed >in IEEE 754=3F > >The relevant statements in Annex F are > >"Functions with a NaN argument return a NaN result and raise no >floating-point exception, except where explicitly stated otherwise." > >and > >"powr(x, y) returns a NaN and raises the "invalid" floating-point >exception for x < 0." > >where the latter doesn't explicitly say "even if y is a NaN", unlike som= e >other cases such as rootn(qNaN, 0), where it's explicit that rootn(x, 0)= >raises "invalid" for all x including NaN. > >IEEE 754 says > >"powr(x, y) signals the invalid operation exception for x < 0" > >and > >"powr(x, qNaN) is qNaN for x =7F 0" > >as well as > >"Outside its domain an operation shall return a quiet NaN and signal the= >invalid operation exception.". > >If my understanding of the intent is correct then I'll file this as an >issue that it should be more explicit that "invalid" is raised in this >case of a NaN argument. I agree with your understanding. --- Fred J. Tydeman Tydeman Consulting tydeman@tybor.com Testing, numerics, programming +1 (702) 608-6093 Vice-chair of INCITS/C (ANSI "C") Sample C17+FPCE tests: http://www.tybor.com Savers sleep well, investors eat well, spenders work forever.