From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <tk@tkoenig.net>
Received: from mo4-p00-ob.smtp.rzone.de (mo4-p00-ob.smtp.rzone.de
 [81.169.146.160])
 by sourceware.org (Postfix) with ESMTPS id C29F13858D38;
 Sun,  5 Jul 2020 10:38:12 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org C29F13858D38
Authentication-Results: sourceware.org;
 dmarc=none (p=none dis=none) header.from=tkoenig.net
Authentication-Results: sourceware.org; spf=none smtp.mailfrom=tk@tkoenig.net
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; t=1593945490;
 s=strato-dkim-0002; d=tkoenig.net;
 h=To:In-Reply-To:Cc:References:Message-Id:Date:Subject:From:
 X-RZG-CLASS-ID:X-RZG-AUTH:From:Subject:Sender;
 bh=kuJN84f7QrZy4OSVkdQcfulASE2w+6FwadN7pROIHz0=;
 b=iErLDqeRxZTizHTHRX3kdYvXBBaBmpTnLQ7CWuxT6cAUzB45DLleLfkj6sKVFZTise
 0VdFy2I4g6ca4xxQrqLHju8I0LebEa1L6+fOkKSzYzIVV7zfXTQMH5uj5G1GpPZnFdTj
 Uz2hv+nVj4ZmscPRrboAahI8PuquDClLah3XNymNrcc/ai+jf+eAbD+g2uWdUaZ6eGjn
 UOjuPBICZYORqK9A1oSUUSfIA8det+OxHmUBOLRwSUMacgrhweCodZP5/rxYctclZxYV
 KJSAyZ9aqXmSdsFS1+g3k2hgZ3SIlf4kFBQcK+XGfq35NaqXidLlZi401j47By9wRa8N
 t7yg==
X-RZG-AUTH: ":OGckYUunfvGNVUL0FlRnC4eRM+bOwx0+frxOSgq7RRLr3Dkyu29F/orxROtc"
X-RZG-CLASS-ID: mo00
Received: from [172.18.192.81] by smtp.strato.de (RZmta 46.10.5 SBL|AUTH)
 with ESMTPSA id z03a76w65Ac9jTo
 (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256 bits))
 (Client did not present a certificate);
 Sun, 5 Jul 2020 12:38:09 +0200 (CEST)
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
From: =?utf-8?Q?Thomas_K=C3=B6nig?= <tk@tkoenig.net>
Mime-Version: 1.0 (1.0)
Subject: Re: Local optimization options
Date: Sun, 5 Jul 2020 12:37:58 +0200
Message-Id: <3FC4FEE9-17E1-4762-9513-921A92CC1278@tkoenig.net>
References: <B06EC3BE-A591-4164-A8AC-F16C523DEE7E@gmail.com>
Cc: gcc mailing list <gcc@gcc.gnu.org>, gfortran <fortran@gcc.gnu.org>
In-Reply-To: <B06EC3BE-A591-4164-A8AC-F16C523DEE7E@gmail.com>
To: Richard Biener <richard.guenther@gmail.com>
X-Mailer: iPhone Mail (17F80)
X-Spam-Status: No, score=-4.3 required=5.0 tests=BAYES_00, DKIM_SIGNED,
 DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, RCVD_IN_DNSWL_NONE,
 RCVD_IN_MSPIKE_H2, SPF_HELO_PASS, SPF_NONE,
 TXREP autolearn=ham autolearn_force=no version=3.4.2
X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on
 server2.sourceware.org
X-BeenThere: gcc@gcc.gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gcc mailing list <gcc.gcc.gnu.org>
List-Unsubscribe: <http://gcc.gnu.org/mailman/options/gcc>,
 <mailto:gcc-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <https://gcc.gnu.org/pipermail/gcc/>
List-Post: <mailto:gcc@gcc.gnu.org>
List-Help: <mailto:gcc-request@gcc.gnu.org?subject=help>
List-Subscribe: <http://gcc.gnu.org/mailman/listinfo/gcc>,
 <mailto:gcc-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Sun, 05 Jul 2020 10:38:14 -0000


> Am 04.07.2020 um 19:11 schrieb Richard Biener <richard.guenther@gmail.com>=
:
>=20
> =EF=BB=BFOn July 4, 2020 11:30:05 AM GMT+02:00, "Thomas K=C3=B6nig" <tk@tk=
oenig.net> wrote:
>>=20
>> What could be a preferred way to achieve that? Could optimization
>> options like -ffast-math be applied to blocks instead of functions?
>> Could we set flags on the TREE codes to allow certain optinizations?
>> Other things?
>=20
> The middle end can handle those things on function granularity only.=20
>=20
> Richard.=20

OK, so that will not work (or not without a disproportionate
amount of effort).  Would it be possible to set something like a
TREE_FAST_MATH flag on TREEs? An operation could then be
optimized according to these rules iff both operands
had that flag, and would also have it then.

Regards, Thomas=