From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from us-smtp-delivery-124.mimecast.com (us-smtp-delivery-124.mimecast.com [170.10.129.124]) by sourceware.org (Postfix) with ESMTPS id 32D2D384645B for ; Wed, 3 Apr 2024 15:03:48 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 32D2D384645B Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=redhat.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=redhat.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org 32D2D384645B Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=170.10.129.124 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1712156640; cv=none; b=Bkujen7Cu816EXhgs2vzMw35FrbcVdooZhk03J+n9/6A7D4+F5RlhY8fqb6MZpPhPCNzS+HwG3dC5cGSuXBlgYBFLc3ndKjG66lm7B3TN6eGHvkGTqxafN3F86i7y0rxGmpGc9fkVRvFBb+/7cq8o5GZ60yFdopgTkpl7Mh+Je8= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1712156640; c=relaxed/simple; bh=D4/gs82IjvSK9bDvRmx6PMS1gnrhn7vQMzbnOE4lpG0=; h=DKIM-Signature:Date:From:To:Subject:Message-ID:MIME-Version; b=M6bZzEyIKyguIL2c0M05aIHSrsN+7qIHeu2jccIVVj8K7+twmczuiJ7gZz9pcOv+3g2ZJtNyC8D9i2y7+eJdd602dzOUYqvlN22mTjQvR0yLmEg6LPdRF4+zSkMCrygdj0b/kRz2C3G3OH/otwqE30aT6Y9NnOwIy9sF27OsQa0= ARC-Authentication-Results: i=1; server2.sourceware.org DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=mimecast20190719; t=1712156627; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=Bif2k0Tf+dsb+UCHNU3Vsg4TOaigkh2YapNjrwqG1WM=; b=NpjRW8JRBvN7U+VcLzTC5xpZVY+9/sP3G4WbSlmuQbRxKNbVFW1WcZu4Wjttnxmf6xAd8u o0Ba5Mc5x25m228ECuGSKiEr7eD/uOi45tzmFpau/5pCaQdHwtk1hVBHkUilx2dK3KHVxI af9Q3V8OUtd0BsBZdPoeBmpXoQmCdZo= Received: from mail-wm1-f71.google.com (mail-wm1-f71.google.com [209.85.128.71]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id us-mta-481-at1p_C90OOW7Rn2XLrZbVA-1; Wed, 03 Apr 2024 11:03:46 -0400 X-MC-Unique: at1p_C90OOW7Rn2XLrZbVA-1 Received: by mail-wm1-f71.google.com with SMTP id 5b1f17b1804b1-41624c1137fso3271445e9.0 for ; Wed, 03 Apr 2024 08:03:45 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1712156624; x=1712761424; h=mime-version:references:message-id:in-reply-to:subject:cc:to:from :date:x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=Bif2k0Tf+dsb+UCHNU3Vsg4TOaigkh2YapNjrwqG1WM=; b=T+Yy/zwPlwfe1eEgl6fsAQRtqsYr/RF0e9GqNXus3lBwV14jG85fxr55RtQVStFx0D JLhRr+kMzynLVEYdC42VZzucdH3KJw7ihku/NwccCYl0svGeGnUEQasaZXO5jEjDCaWy T5Vgy05BjgSLRfqK1cuwLWZcwh4Y8TOlOZXXKOx68eCXKBeSCjsdKPqjpvGvPzFjSsWq 8UgvEhFGcAB3YsSn8hNG+oFzpIBNtrlbONgrg8yeKxr6aJsvSpg6Fxn4w9h+cbhap5sd SGCAlaYeqZAA3Y+iw/0xqFeOQDZfU13XSfjquhq7yrYbq2oEckdjeTvq3SgupE4IkMY0 T6zQ== X-Gm-Message-State: AOJu0YxgFysLnVwJulK+Mi0lNLoGT1zMXev3FfknpZCJYHnLI8jTAdH7 MNS5cXIVdp5VmHJs3KNBQCNvlg7x33ea3kISQbtG8rfFyv2dKefE7S3+ZFmBL6c8+sznIbUnFOq dawGv1pWhwnbPYv+F4I7qJJnCnusFZF6s8rs/GOc56rvhdDbjhkxFphU78DKDOvLyZw== X-Received: by 2002:a05:600c:55d2:b0:415:6d56:e91b with SMTP id jq18-20020a05600c55d200b004156d56e91bmr5398035wmb.8.1712156624480; Wed, 03 Apr 2024 08:03:44 -0700 (PDT) X-Google-Smtp-Source: AGHT+IHZgTvcnoUNLJwfyIMV76awiJtE4WBQwVWvm9DnxCrc6n4xI345yySoFLELbYw3cP71a9Q5BQ== X-Received: by 2002:a05:600c:55d2:b0:415:6d56:e91b with SMTP id jq18-20020a05600c55d200b004156d56e91bmr5398024wmb.8.1712156624096; Wed, 03 Apr 2024 08:03:44 -0700 (PDT) Received: from digraph.polyomino.org.uk (digraph.polyomino.org.uk. [2001:8b0:bf73:93f7::51bb:e332]) by smtp.gmail.com with ESMTPSA id c3-20020adfef43000000b003439d2a5f99sm1417647wrp.55.2024.04.03.08.03.43 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 03 Apr 2024 08:03:43 -0700 (PDT) Received: from jsm28 (helo=localhost) by digraph.polyomino.org.uk with local-esmtp (Exim 4.95) (envelope-from ) id 1rs28u-002HSR-0b; Wed, 03 Apr 2024 15:03:12 +0000 Date: Wed, 3 Apr 2024 15:03:11 +0000 (UTC) From: Joseph Myers To: Adhemerval Zanella cc: libc-alpha@sourceware.org, "H . J . Lu" Subject: Re: [PATCH v2 00/10] Improve rounding to interger function for C23 In-Reply-To: <20240403121150.1018799-1-adhemerval.zanella@linaro.org> Message-ID: References: <20240403121150.1018799-1-adhemerval.zanella@linaro.org> MIME-Version: 1.0 X-Mimecast-Spam-Score: 0 X-Mimecast-Originator: redhat.com Content-Type: text/plain; charset=US-ASCII X-Spam-Status: No, score=-3.0 required=5.0 tests=BAYES_00,DKIMWL_WL_HIGH,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,KAM_NUMSUBJECT,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H4,RCVD_IN_MSPIKE_WL,SPF_HELO_NONE,SPF_NONE,TXREP autolearn=no autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: On Wed, 3 Apr 2024, Adhemerval Zanella wrote: > As indicated by GCC documentation [1], ISO C23 does not allow that C > bindings ceil, floor, round, and trunc (in all floating point formats) > to raise inexact exceptions (different than ISO C99/C11 where this is > allowed). > > A recent MIPS patch to used some arch-specific instructions raised this > issue [1] and it was not caught because there was no proper testing. By > adding the missing tests, some implementations do indeed raise inexact > exceptions. There is testing that, in the terminology used by IEEE 754, the operations do not raise the exception flag (the result of default exception handling when the exception is signaled). This is done through NO_INEXACT_EXCEPTION in libm-test-*.inc. What is not tested is specifically quality of implementation when exception traps are enabled (a GNU extension outside the scope of the C standard). I think that as a user-visible fix, there should be a bug filed in Bugzilla for this issue (that can then be marked FIXED so it goes in the automatically generated list of bugs fixed in the next release). -- Joseph S. Myers josmyers@redhat.com