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.1 required=5.0 tests=DKIM_INVALID,DKIM_SIGNED,
	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 5727 invoked from network); 16 Aug 2023 14:39:41 -0000
Received: from second.openwall.net (193.110.157.125)
  by inbox.vuxu.org with ESMTPUTF8; 16 Aug 2023 14:39:41 -0000
Received: (qmail 13669 invoked by uid 550); 16 Aug 2023 14:39:38 -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 13634 invoked from network); 16 Aug 2023 14:39:37 -0000
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
  d=inria.fr; s=dc;
  h=date:message-id:from:to:subject;
  bh=2HOrPBxaUvNIxsupdichUbou7HMkkg/4xmY7fUtU4Yk=;
  b=aU2cwfanuE0mthe/kiN9nzmpLXL0NzJkce5qMTbQ475U6pJoYT6Zw5fb
   SQRgcSnIm2gN9IRDlrYIbMeZISM7/hn3/RORi8O12+A01jUQNSRV2OJsr
   KndoNrRXWxSuH6ZymXWR2STyjQFdtnWw5d3niVrZWXxPYtzIaxpGN9iBS
   E=;
Authentication-Results: mail3-relais-sop.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=Paul.Zimmermann@inria.fr; spf=None smtp.helo=postmaster@coriandre
Received-SPF: SoftFail (mail3-relais-sop.national.inria.fr:
  domain of Paul.Zimmermann@inria.fr is inclined to not
  designate 152.81.9.227 as permitted sender)
  identity=mailfrom; client-ip=152.81.9.227;
  receiver=mail3-relais-sop.national.inria.fr;
  envelope-from="Paul.Zimmermann@inria.fr";
  x-sender="Paul.Zimmermann@inria.fr"; x-conformance=spf_only;
  x-record-type="v=spf1"; x-record-text="v=spf1
  ip4:128.93.142.0/24 ip4:192.134.164.0/24 ip4:128.93.162.160
  ip4:89.107.174.7 mx ~all"
Received-SPF: None (mail3-relais-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@coriandre) identity=helo; client-ip=152.81.9.227;
  receiver=mail3-relais-sop.national.inria.fr;
  envelope-from="Paul.Zimmermann@inria.fr";
  x-sender="postmaster@coriandre"; x-conformance=spf_only
X-IronPort-AV: E=Sophos;i="6.01,177,1684792800"; 
   d="scan'208";a="63581334"
Date: Wed, 16 Aug 2023 16:39:25 +0200
Message-Id: <p9u0bkf73vc2.fsf@coriandre.loria.fr>
From: Paul Zimmermann <Paul.Zimmermann@inria.fr>
To: musl@lists.openwall.com
Subject: [musl] musl 1.2.4

       Hi,

while updating our comparison of mathematical functions with Musl 1.2.4,
I noticed the following two issues with acoshl and exp10l in double extended
precision:

zimmerma@coriandre:~/svn/tbd/20/src/binary80$ VERBOSE=-v ./doit.musl acosh 1000
Checking acosh with musl-1.2.4
Using seed 2804715
Using 6 threads
NEW acosh 0 -1 -0x6.e2368c0ed74e5698p+16l [-nan] [inf] inf inf
libm gives -0x4.b4d6a621e8e631f8p+0l
mpfr gives nanl

zimmerma@coriandre:~/svn/tbd/20/src/binary80$ VERBOSE=-v ./doit.musl exp10 1000
Checking exp10 with musl-1.2.4
Using seed 2807610
Using 6 threads
exp10 0 -1 0x2.68826a13ef3fde64p+16376l [-nan] [inf] inf inf
libm gives nanl
mpfr gives infl

These issues were already present in 1.2.2 at least, but only detected
recently by our program.

Best regards,
Paul