From patchwork Sun Jan 30 18:39:09 2022 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Xi Ruoyao X-Patchwork-Id: 50578 Return-Path: X-Original-To: patchwork@sourceware.org Delivered-To: patchwork@sourceware.org Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 2F50A385800D for ; Sun, 30 Jan 2022 18:39:47 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 2F50A385800D DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1643567987; bh=rzh9xRcUnAtn3raIUtiWyihekitgrOYAUnjs6p0Gt/U=; h=Subject:To:Date:List-Id:List-Unsubscribe:List-Archive:List-Post: List-Help:List-Subscribe:From:Reply-To:From; b=Mr5eD9+ZhsXvvmRPp/ufxshyv030PulLkIdZxNCG7+wl2+YZ4YJs0RLQyTxV4hM2t Bxn0KbFm8BYjtgRcIGVw1t8Jhn0hZ4LK+FSaMnLgYd60m/Kb9/Eldgc2ZiePVXn695 gQDp7PDkKZ298NvmoFgQ1pUGIz6yv984Oyz981Nw= X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from mengyan1223.wang (mengyan1223.wang [89.208.246.23]) by sourceware.org (Postfix) with ESMTPS id C1F863858D28 for ; Sun, 30 Jan 2022 18:39:18 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org C1F863858D28 Received: from [IPv6:240e:358:115e:4e00:dc73:854d:832e:3] (unknown [IPv6:240e:358:115e:4e00:dc73:854d:832e:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-256) server-signature ECDSA (P-384) server-digest SHA384) (Client did not present a certificate) (Authenticated sender: xry111@mengyan1223.wang) by mengyan1223.wang (Postfix) with ESMTPSA id 411FB65B17 for ; Sun, 30 Jan 2022 13:39:15 -0500 (EST) Message-ID: <8b49a9906a0d1019bd877bf526f71ab5321550fe.camel@mengyan1223.wang> Subject: [PATCH] fold-const: do not fold 'inf/inf' with -ftrapping-math [PR95115] To: gcc-patches@gcc.gnu.org Date: Mon, 31 Jan 2022 02:39:09 +0800 User-Agent: Evolution 3.42.3 MIME-Version: 1.0 X-Spam-Status: No, score=-3039.2 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, GIT_PATCH_0, JMQ_SPF_NEUTRAL, SPF_HELO_PASS, SPF_PASS, TXREP, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on server2.sourceware.org X-BeenThere: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-Patchwork-Original-From: Xi Ruoyao via Gcc-patches From: Xi Ruoyao Reply-To: Xi Ruoyao Errors-To: gcc-patches-bounces+patchwork=sourceware.org@gcc.gnu.org Sender: "Gcc-patches" 'inf/inf' should raise an invalid operation exception at runtime. So it should not be folded during compilation unless -fno-trapping-math is used. gcc/ PR middle-end/95115 * fold-const.cc (const_binop): Do not fold "inf/inf". gcc/testsuite * gcc.dg/pr95115.c: New test. --- gcc/fold-const.cc | 8 ++++++++ gcc/testsuite/gcc.dg/pr95115.c | 25 +++++++++++++++++++++++++ 2 files changed, 33 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/pr95115.c diff --git a/gcc/fold-const.cc b/gcc/fold-const.cc index fd9c6352d4f..0e99d5a2e3d 100644 --- a/gcc/fold-const.cc +++ b/gcc/fold-const.cc @@ -1283,6 +1283,14 @@ const_binop (enum tree_code code, tree arg1, tree arg2) && (flag_trapping_math || ! MODE_HAS_INFINITIES (mode))) return NULL_TREE; + /* Don't perform "inf/inf", because it would raise an invalid + operation exception (IEEE 754 section 7.2 clause d). */ + if (code == RDIV_EXPR + && flag_trapping_math + && REAL_VALUE_ISINF (d1) + && REAL_VALUE_ISINF (d2)) + return NULL_TREE; + /* If either operand is a NaN, just return it. Otherwise, set up for floating-point trap; we return an overflow. */ if (REAL_VALUE_ISNAN (d1)) diff --git a/gcc/testsuite/gcc.dg/pr95115.c b/gcc/testsuite/gcc.dg/pr95115.c new file mode 100644 index 00000000000..46a95dfb698 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr95115.c @@ -0,0 +1,25 @@ +/* { dg-do run } */ +/* { dg-options "-O2 -ftrapping-math" } */ +/* { dg-add-options ieee } */ +/* { dg-require-effective-target fenv_exceptions } */ + +#include +#include + +double +x (void) +{ + double d = __builtin_inf (); + return d / d; +} + +int +main (void) +{ + double r = x (); + if (!__builtin_isnan (r)) + abort (); + if (!fetestexcept (FE_INVALID)) + abort (); + exit (0); +}