From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sourceware.org (Postfix) with ESMTPS id 4BF8F385B834 for ; Mon, 30 Mar 2020 14:10:07 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org 4BF8F385B834 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=inria.fr Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=Paul.Zimmermann@inria.fr X-IronPort-AV: E=Sophos;i="5.72,324,1580770800"; d="scan'208";a="442983614" Received: from tomate.loria.fr (HELO tomate) ([152.81.10.51]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 30 Mar 2020 16:10:05 +0200 Date: Mon, 30 Mar 2020 16:10:05 +0200 Message-Id: From: paul zimmermann To: libc-alpha@sourceware.org Subject: math: Add inputs that yield larger errors for float type X-Spam-Status: No, score=-1.8 required=5.0 tests=BAYES_00, KAM_DMARC_STATUS, SPF_HELO_NONE, SPF_PASS, 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: libc-alpha@sourceware.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Libc-alpha mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 30 Mar 2020 14:10:15 -0000 Dear all, now that my copyright assignment is ok, you'll find on [1] a first contribution that adds some inputs that yield larger errors for the float (binary32) type on x86_64. These cases were generated by exhaustive search using MPFR, thus the corresponding bounds are now definitive (on x86_64 only of course). For those functions where no case was added, this means the previous bounds were the largest ones. This exhaustive search only concerns functions with one argument. It does not cover functions like pow(x,y) or hypot(x,y) where exhaustive search would be too expensive. I would be grateful if someone could review that contribution. Paul Zimmermann [1] https://homepages.loria.fr/PZimmermann/glibc-contrib/0001-math-Add-inputs-that-yield-larger-errors-for-float-t.patch (md5sum bacf7746dd7b9cf8f8d3db12d45b932e)