From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from hamza.pair.com (hamza.pair.com [209.68.5.143]) by sourceware.org (Postfix) with ESMTPS id 9707E3858D35 for ; Sun, 29 Jan 2023 09:55:38 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 9707E3858D35 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=pfeifer.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=pfeifer.com Received: from hamza.pair.com (localhost [127.0.0.1]) by hamza.pair.com (Postfix) with ESMTP id 2389933E4C; Sun, 29 Jan 2023 04:55:38 -0500 (EST) Received: from naga.localdomain (188-23-1-149.adsl.highway.telekom.at [188.23.1.149]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by hamza.pair.com (Postfix) with ESMTPSA id 8D2FC33E4B; Sun, 29 Jan 2023 04:55:37 -0500 (EST) Date: Sun, 29 Jan 2023 10:55:35 +0100 (CET) From: Gerald Pfeifer To: liuhongt cc: gcc-patches@gcc.gnu.org Subject: Re: [PATCH] Change AVX512FP16 to AVX512-FP16 in the document. In-Reply-To: <20230129012041.930809-1-hongtao.liu@intel.com> Message-ID: <2ddb31f1-7ea1-570e-7d1f-f7e63f2e9611@pfeifer.com> References: <6481635f-dd61-8c06-4841-4e1bf9aa5133@pfeifer.com> <20230129012041.930809-1-hongtao.liu@intel.com> MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII X-Scanned-By: mailmunge 3.10 on 209.68.5.143 X-Spam-Status: No, score=-1.8 required=5.0 tests=BAYES_00,KAM_DMARC_STATUS,RCVD_IN_BARRACUDACENTRAL,SPF_HELO_NONE,SPF_PASS,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 Sun, 29 Jan 2023, liuhongt wrote: > The official name is AVX512-FP16. > > Ready to push to trunk. > > gcc/ChangeLog: > > * config/i386/i386.opt: Change AVX512FP16 to AVX512-FP16. > * doc/invoke.texi: Ditto. Ok, thank you. (And okay to backport to older branches as/if you want.) Gerald