From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org
X-Spam-Level: 
X-Spam-Status: No, score=-3.3 required=5.0 tests=MAILING_LIST_MULTI,
	RCVD_IN_DNSWL_MED,RCVD_IN_MSPIKE_H3,RCVD_IN_MSPIKE_WL autolearn=ham
	autolearn_force=no version=3.4.4
Received: (qmail 10552 invoked from network); 6 Feb 2021 06:30:07 -0000
Received: from mother.openwall.net (195.42.179.200)
  by inbox.vuxu.org with ESMTPUTF8; 6 Feb 2021 06:30:07 -0000
Received: (qmail 28090 invoked by uid 550); 6 Feb 2021 06:30:04 -0000
Mailing-List: contact musl-help@lists.openwall.com; run by ezmlm
Precedence: bulk
List-Post: <mailto:musl@lists.openwall.com>
List-Help: <mailto:musl-help@lists.openwall.com>
List-Unsubscribe: <mailto:musl-unsubscribe@lists.openwall.com>
List-Subscribe: <mailto:musl-subscribe@lists.openwall.com>
List-ID: <musl.lists.openwall.com>
Reply-To: musl@lists.openwall.com
Received: (qmail 28066 invoked from network); 6 Feb 2021 06:30:04 -0000
X-IronPort-AV: E=Sophos;i="5.81,157,1610406000"; 
   d="scan'208";a="372259439"
Date: Sat, 06 Feb 2021 07:29:52 +0100
Message-Id: <mwa6shvhcv.fsf@tomate.loria.fr>
From: Paul Zimmermann <Paul.Zimmermann@inria.fr>
To: Szabolcs Nagy <nsz@port70.net>
Cc: musl@lists.openwall.com
In-Reply-To: <20210205200934.GC2447252@port70.net> (message from Szabolcs Nagy
	on Fri, 5 Feb 2021 21:09:34 +0100)
References: <mweehvose2.fsf@tomate.loria.fr> <20210205200934.GC2447252@port70.net>
Subject: Re: [musl] issue with sinhf

       Dear Szabolcs,

> this seems to be a bug, attaching a fix
> 
> 
> [2:text/x-diff Show Save:0001-math-fix-acoshf-for-negative-inputs.patch (2kB)]

I confirm this solves the acoshf issue:

GNU libc:
$ gcc -fno-builtin test_acosh_musl.c -lm
$ ./a.out
x=-0x1.1e6ae8p+5 y=-nan

musl-1.2.2 + above patch:
$ gcc -fno-builtin test_acosh_musl.c $FILES
$ ./a.out
x=-0x1.1e6ae8p+5 y=-nan

Thank you!
Paul