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 02239385AC36 for ; Thu, 2 Dec 2021 08:07:50 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 02239385AC36 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=inria.fr Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=inria.fr DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=date:message-id:from:to:cc:subject; bh=LMRed00RULXDf2jW49K5M8nsqbVTq9WPboh/Rz17C8w=; b=FKfxFqihY62QP/oNMpFwU8wyhK8yZq4xwdIbjgI2vfV80NkhfsXtsnla HdObJ1MycHFfrAPYzyMMa/GOks9fWbssAcP0RJyUkGw1oplQT5PJVTdYX ISels1G8VpgiqbF9VWvSWv06Ub3fAG3Cyls/taqYkFkwg+zEZ9P9ZNATF M=; IronPort-Data: =?us-ascii?q?A9a23=3AKgngM6s/TAyaV7vB/UMrXlCBXefnVGBcMUV32f8?= =?us-ascii?q?akzHdYEJGY0x3y2RNWTiAafjea2Xyed4lO43ip0oBvpOAz9diG1M/qXpgHilAw?= =?us-ascii?q?SbnLYTAfx2oZ0t+DeWaERk5t51GAjX4wXFdokb0/n9BCZC86ykjvU20buCkUre?= =?us-ascii?q?dYHgrHVYMpBoJ0nqPpcZo2+aEvvDpW2thifuqyyHuEAfNNwxcagr42IrfwP9bh?= =?us-ascii?q?8kejRtD1rAIiV+ni3eF/5UdJMp3yahctBIUSKEMdgKxb76rIL1UYgrkExkR5tO?= =?us-ascii?q?Nyt4Xc2UWRbvbIQXmZnh+AvX4xEgb4HVqlPtiXBYfQR4/ZzGhp9lszJN/tJm1R?= =?us-ascii?q?B0sN6vKsOUbSRhRVS9kVUFD0OCYfybl6JT7I0ruNiGEL+9VJH83O4YV/PoxJWx?= =?us-ascii?q?A+OICJRgAaAvGg/OxxvS1UIFEgMk8KMjhFJgYp2trwC7QF/tgRorMK5gmT/cwM?= =?us-ascii?q?CwYmsdLFOrTIc4ecztmKhraCyCj82w/UPoW9NpETFGiIlW0cG6omJc=3D?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3AqajCbK++dc5nkEbIM/9uk+CyI+orL9Y04lQ7?= =?us-ascii?q?vn2YSXRuHfBw+PrEoB1273LJYUgqMk3I8OroUJVoKkmzyXca2+UsAYs=3D?= X-IronPort-AV: E=Sophos;i="5.87,281,1631570400"; d="scan'208";a="7766210" 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; 02 Dec 2021 09:07:44 +0100 Date: Thu, 02 Dec 2021 09:07:43 +0100 Message-Id: From: Paul Zimmermann To: newlib@sourceware.org CC: Vincent.Lefevre@ens-lyon.fr Subject: [PATCH] frexpl: Support smaller long double. X-Spam-Status: No, score=-3.0 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, RCVD_IN_MSPIKE_H2, SPF_HELO_NONE, SPF_PASS, TXREP autolearn=ham autolearn_force=no version=3.4.4 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on server2.sourceware.org X-BeenThere: newlib@sourceware.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Newlib mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 02 Dec 2021 08:07:52 -0000 about https://sourceware.org/pipermail/newlib/2021/018738.html: > This patch add support for smaller long double, LDBL_MANT_DIG is 24 or 53. are you sure LDBL_MANT_DIG can be 24 in radix 2? As far as I know, the standard requires LDBL_DIG >= 10, and a floating-point number with LDBL_DIG decimal digits should be converted to a long double and back to LDBL_DIG digits without any modification, which requires LDBL_MANT_DIG >= 34. Also the standard says in 6.2.5: "the set of values of the type double is a subset of the set of values of the type long double." Paul Zimmermann