From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-yw1-x1132.google.com (mail-yw1-x1132.google.com [IPv6:2607:f8b0:4864:20::1132]) by sourceware.org (Postfix) with ESMTPS id 50CD73858D32 for ; Mon, 27 Feb 2023 21:12:42 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 50CD73858D32 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=gmail.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=gmail.com Received: by mail-yw1-x1132.google.com with SMTP id 00721157ae682-536b7ffdd34so213373757b3.6 for ; Mon, 27 Feb 2023 13:12:42 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=fhgtoZVKSv4pDAHtgAz1M4jLkaD4w8LLbDfR0lOsKcg=; b=k2jnhdpEJaOt2kVvULlOPSb+7sqepPAh9Ty96jMoVkO2h/P90GPDhYOWNPDrbjVCdN lYcFJzAPWa36iFLcbE6C8xJCfYLc//DGSH7XdDcIdtNFdpA2pZHg6eOeyLE/71a8rzfL WZ+QoQPa2rvKicJuOZdpLwuUfVuA2QVvr8H0C+DxVmD2vSL+MCPJ6amt4/ES9M8L3huR e1qggZIjC78X99qePZgG/zLL0B8uQvt/PhX2/c+msI8yaqLENfSThrxOaYt1fpP21+MP GjoUdqvc6j3LpGNpedkyoU4G2JoKiG3K757PhO54Ln6gtoIEOprEWvA+P3gA8bWWsJfI 1/Rg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=fhgtoZVKSv4pDAHtgAz1M4jLkaD4w8LLbDfR0lOsKcg=; b=NZb0o2RN8t3oUYGYOO9mLZIUKd6YXwst75kJIIw5GsC8ORxwB+YCQ1vvbRaegzqbRT CskL44RIxliwbI1TNqCkzLmycVptLT4u9qq8JYHo9gER7V+Nxjrv2ZaLWH9FT5QyqATN xCqmg8Nv5XagAcXwHhD0aTHY8EjaHkFOdbplbwplAuQh5rdpzyiZOaa5XPwDomKnIY0k pMJSKVyAePyD1kyJOJRPJg8y2TP0lvGU43VCjV7OFLjiu4jzZAhx5O2/Geq4iW97hdrh fq/+hxr61yrYZ6Z4pL+74P1hhS8RMTn+TQvzhiJ9+t4YOZYrpu0s82DlR3QTAqjf4qU8 qu4A== X-Gm-Message-State: AO0yUKXdHRS2KedaMANa5BHgAvhm6NdpmoyqTTRD5P4iWGzysg34Di6i 3wh5I52vOFOWOKWsdtT0GmszHG34UgjQYatHFrWQUj7UipWvhQ== X-Google-Smtp-Source: AK7set+LhN1HSXsmBHpCrHrl3pmE6GeK5+HjPWqWxF0LRmqloDG1WBLF3Yq4DNboD3zxjI19t6ZGOCP5tpPpRioMkM8= X-Received: by 2002:a25:e210:0:b0:a36:3875:56be with SMTP id h16-20020a25e210000000b00a36387556bemr66119ybe.10.1677532361387; Mon, 27 Feb 2023 13:12:41 -0800 (PST) MIME-Version: 1.0 From: Uros Bizjak Date: Mon, 27 Feb 2023 22:12:30 +0100 Message-ID: Subject: [PATCH] i386: Do not constrain fmod and remainder patterns with flag_finite_math_only [PR108922] To: "gcc-patches@gcc.gnu.org" Content-Type: multipart/mixed; boundary="0000000000008026fb05f5b4f0ad" X-Spam-Status: No, score=-7.5 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM,GIT_PATCH_0,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,TXREP autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: --0000000000008026fb05f5b4f0ad Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable According to Intel ISA manual, fprem and fprem1 return NaN when invalid arithmetic exception is generated. This is documented in Table 8-10 of the ISA manual and makes these two instructions fully IEEE compatible. The reverted patch was based on the data from table 3-30 and 3-31 of the Intel ISA manual, where results in case of st(0) being infinity or st(1) being 0 are not specified. 2023-02-27 Uro=C5=A1 Bizjak gcc/ChangeLog: PR target/108922 Revert: * config/i386/i386.md (fmodxf3): Enable for flag_finite_math_only only. (fmod3): Ditto. (fpremxf4_i387): Ditto. (reminderxf3): Ditto. (reminder3): Ditto. (fprem1xf4_i387): Ditto. Bootstrapped and regression tested on x86_64-linux-gnu {,-m32}. Pushed to master. Uros. --0000000000008026fb05f5b4f0ad Content-Type: text/plain; charset="US-ASCII"; name="p.diff.txt" Content-Disposition: attachment; filename="p.diff.txt" Content-Transfer-Encoding: base64 Content-ID: X-Attachment-Id: f_lenbfyw50 ZGlmZiAtLWdpdCBhL2djYy9jb25maWcvaTM4Ni9pMzg2Lm1kIGIvZ2NjL2NvbmZpZy9pMzg2L2kz ODYubWQKaW5kZXggOGViYjEyYmUyYzkuLmVkNjg5YjA0NGMzIDEwMDY0NAotLS0gYS9nY2MvY29u ZmlnL2kzODYvaTM4Ni5tZAorKysgYi9nY2MvY29uZmlnL2kzODYvaTM4Ni5tZApAQCAtMTk1Mjcs OCArMTk1MjcsNyBAQAogICAgKHNldCAocmVnOkNDRlAgRlBTUl9SRUcpCiAJKHVuc3BlYzpDQ0ZQ IFsobWF0Y2hfZHVwIDIpIChtYXRjaF9kdXAgMyldCiAJCSAgICAgVU5TUEVDX0MyX0ZMQUcpKV0K LSAgIlRBUkdFVF9VU0VfRkFOQ1lfTUFUSF8zODcKLSAgICYmIGZsYWdfZmluaXRlX21hdGhfb25s eSIKKyAgIlRBUkdFVF9VU0VfRkFOQ1lfTUFUSF8zODciCiAgICJmcHJlbSIKICAgWyhzZXRfYXR0 ciAidHlwZSIgImZwc3BjIikKICAgIChzZXRfYXR0ciAiem52ZXIxX2RlY29kZSIgInZlY3RvciIp CkBAIC0xOTUzOCw4ICsxOTUzNyw3IEBACiAgIFsodXNlIChtYXRjaF9vcGVyYW5kOlhGIDAgInJl Z2lzdGVyX29wZXJhbmQiKSkKICAgICh1c2UgKG1hdGNoX29wZXJhbmQ6WEYgMSAiZ2VuZXJhbF9v cGVyYW5kIikpCiAgICAodXNlIChtYXRjaF9vcGVyYW5kOlhGIDIgImdlbmVyYWxfb3BlcmFuZCIp KV0KLSAgIlRBUkdFVF9VU0VfRkFOQ1lfTUFUSF8zODcKLSAgICYmIGZsYWdfZmluaXRlX21hdGhf b25seSIKKyAgIlRBUkdFVF9VU0VfRkFOQ1lfTUFUSF8zODciCiB7CiAgIHJ0eF9jb2RlX2xhYmVs ICpsYWJlbCA9IGdlbl9sYWJlbF9ydHggKCk7CiAKQEAgLTE5NTYyLDggKzE5NTYwLDcgQEAKICAg Wyh1c2UgKG1hdGNoX29wZXJhbmQ6TU9ERUYgMCAicmVnaXN0ZXJfb3BlcmFuZCIpKQogICAgKHVz ZSAobWF0Y2hfb3BlcmFuZDpNT0RFRiAxICJnZW5lcmFsX29wZXJhbmQiKSkKICAgICh1c2UgKG1h dGNoX29wZXJhbmQ6TU9ERUYgMiAiZ2VuZXJhbF9vcGVyYW5kIikpXQotICAiVEFSR0VUX1VTRV9G QU5DWV9NQVRIXzM4NwotICAgJiYgZmxhZ19maW5pdGVfbWF0aF9vbmx5IgorICAiVEFSR0VUX1VT RV9GQU5DWV9NQVRIXzM4NyIKIHsKICAgcnR4ICgqZ2VuX3RydW5jeGYpIChydHgsIHJ0eCk7CiAK QEAgLTE5NjAyLDggKzE5NTk5LDcgQEAKICAgIChzZXQgKHJlZzpDQ0ZQIEZQU1JfUkVHKQogCSh1 bnNwZWM6Q0NGUCBbKG1hdGNoX2R1cCAyKSAobWF0Y2hfZHVwIDMpXQogCQkgICAgIFVOU1BFQ19D Ml9GTEFHKSldCi0gICJUQVJHRVRfVVNFX0ZBTkNZX01BVEhfMzg3Ci0gICAmJiBmbGFnX2Zpbml0 ZV9tYXRoX29ubHkiCisgICJUQVJHRVRfVVNFX0ZBTkNZX01BVEhfMzg3IgogICAiZnByZW0xIgog ICBbKHNldF9hdHRyICJ0eXBlIiAiZnBzcGMiKQogICAgKHNldF9hdHRyICJ6bnZlcjFfZGVjb2Rl IiAidmVjdG9yIikKQEAgLTE5NjEzLDggKzE5NjA5LDcgQEAKICAgWyh1c2UgKG1hdGNoX29wZXJh bmQ6WEYgMCAicmVnaXN0ZXJfb3BlcmFuZCIpKQogICAgKHVzZSAobWF0Y2hfb3BlcmFuZDpYRiAx ICJnZW5lcmFsX29wZXJhbmQiKSkKICAgICh1c2UgKG1hdGNoX29wZXJhbmQ6WEYgMiAiZ2VuZXJh bF9vcGVyYW5kIikpXQotICAiVEFSR0VUX1VTRV9GQU5DWV9NQVRIXzM4NwotICAgJiYgZmxhZ19m aW5pdGVfbWF0aF9vbmx5IgorICAiVEFSR0VUX1VTRV9GQU5DWV9NQVRIXzM4NyIKIHsKICAgcnR4 X2NvZGVfbGFiZWwgKmxhYmVsID0gZ2VuX2xhYmVsX3J0eCAoKTsKIApAQCAtMTk2MzcsOCArMTk2 MzIsNyBAQAogICBbKHVzZSAobWF0Y2hfb3BlcmFuZDpNT0RFRiAwICJyZWdpc3Rlcl9vcGVyYW5k IikpCiAgICAodXNlIChtYXRjaF9vcGVyYW5kOk1PREVGIDEgImdlbmVyYWxfb3BlcmFuZCIpKQog ICAgKHVzZSAobWF0Y2hfb3BlcmFuZDpNT0RFRiAyICJnZW5lcmFsX29wZXJhbmQiKSldCi0gICJU QVJHRVRfVVNFX0ZBTkNZX01BVEhfMzg3Ci0gICAmJiBmbGFnX2Zpbml0ZV9tYXRoX29ubHkiCisg ICJUQVJHRVRfVVNFX0ZBTkNZX01BVEhfMzg3IgogewogICBydHggKCpnZW5fdHJ1bmN4ZikgKHJ0 eCwgcnR4KTsKIAo= --0000000000008026fb05f5b4f0ad--