From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id A75223858C62; Fri, 4 Aug 2023 15:45:08 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org A75223858C62 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1691163908; bh=doAxblFxMQzCQjFXsfXseHs50VnEhZNOZduuHzpDpPQ=; h=From:To:Subject:Date:In-Reply-To:References:From; b=U2xCfmpYe/Az/+T26aBjWp2/UfdsFxRQchwwPTxv4PszcnJKxnq9MtgHaQP5e4I+4 a10uklDJw5qly/ztgCXFR/US/vPaP86Tyk+HjWnk8Th13TMvTBIuZS7ayBi/tx+M0u vG9Sw6BdD5pYLnTJkWNRwWyHrYRjVrBQ2PmFyhRk= From: "tkoenig at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug fortran/110888] Missing optimization for trivial MATMUL cases, requires -fno-signed-zeros Date: Fri, 04 Aug 2023 15:45:08 +0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: fortran X-Bugzilla-Version: 14.0 X-Bugzilla-Keywords: missed-optimization X-Bugzilla-Severity: normal X-Bugzilla-Who: tkoenig at gcc dot gnu.org X-Bugzilla-Status: UNCONFIRMED X-Bugzilla-Resolution: X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: component Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 List-Id: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D110888 Thomas Koenig changed: What |Removed |Added ---------------------------------------------------------------------------- Component|middle-end |fortran --- Comment #4 from Thomas Koenig --- Hm, on second thoughts, signed zeros are an issue, resetting to Fortran. Generally, we are in an intrinsic, so we can do whatever we please (we certainly do in the library case, and this is expected behavior). Having -ffast-math applied locally to the BLOCK that the matmul is executed in would be a possibility.=