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.4 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,FREEMAIL_FROM,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 20782 invoked from network); 26 Dec 2021 21:20:32 -0000 Received: from mother.openwall.net (195.42.179.200) by inbox.vuxu.org with ESMTPUTF8; 26 Dec 2021 21:20:32 -0000 Received: (qmail 28350 invoked by uid 550); 26 Dec 2021 21:20:30 -0000 Mailing-List: contact musl-help@lists.openwall.com; run by ezmlm Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-ID: Reply-To: musl@lists.openwall.com Received: (qmail 28318 invoked from network); 26 Dec 2021 21:20:30 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=gmx.net; s=badeba3b8450; t=1640553618; bh=RarxrKRSRkn3xPFFK2+iJcvm2Q/SfLYOe8zCiaNN+dQ=; h=X-UI-Sender-Class:Date:From:To:Subject:References:In-Reply-To; b=DNOQARKuJ9Ig40WQrjFALId/7funDOwEeIFLi/gkk3sXF3nHjCptb1z2KkHUB3N5O gCAXojvSDdn4ft+I3TQUob350fUBIZLLapcBUCR7pPQvHvQlizu+22xz944EH/1tKD gtXuF8csWRuzXWRlROUA50ZP8N8c6bXf074n8Mk0= X-UI-Sender-Class: 01bb95c1-4bf8-414a-932a-4f6e2808ef9c Date: Sun, 26 Dec 2021 22:20:17 +0100 From: Markus Wichmann To: musl@lists.openwall.com Message-ID: <20211226212017.GB1949@voyager> References: <20211226204238.GA1949@voyager> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20211226204238.GA1949@voyager> User-Agent: Mutt/1.9.4 (2018-02-28) X-Provags-ID: V03:K1:Y8p2rgJaGu+EkHh58Tz7QN71IWAukXEC6JgNFfzmCsn5J84Nhn5 hAoC12nf3ENW+XbhepN3aHZod1yiVy6H0VXKcDyx848bOdQrDe4HQVQA3o8qo48VtVo0a8n iugxjpx5SZoECzZaVETJCsBje2LI7M1PDx5iHFgG2NVLd4mwUJGeK5ZBsivbbHnscHYSwPy fSI5nEq+mg8vyH4AEdyJg== X-UI-Out-Filterresults: notjunk:1;V03:K0:IRECExvN+ME=:R71TVdZQQjz0bw3U64gqdQ HaATDcaiLOGiym6ipo5JHCN3GGfyVWf9aLPm3OZFQ7Ta7F6u/B4GZDIfdpoK4eJEVMHy/a540 rVrNV+ItQRo4Omd++62upo7ZlFGIY0gtwn6GTqg8pMeE32bLk5scesR5nPw/BtLPWuPUgSP8e LBiDL3aq8MOqniGdLoEb4qvcFLStDcEgdZPCrbUpJlLCMP5hlZ4tHd6RM3JEgJclLxwBQ9etz EavJ3c455zLKlfcD+uy6KNFLJX5hGFHmUG1INQVLr426rpkD2a5M9EwqXWQVhMiyJBnA02vsH ZBAhsNchR70QX5hASGw5ngWShnitEnN6FWS4ToNpE1DwFNLutWpb3y1ML/cnxlWL1kiyLWBDN X8XGhY4FUD58YWuXuG/QlUV5Md9AZL7m2jAvnQX/vQoKlY1y8BRi+RBoAEZ8wTOk4k4q+kj26 jZ6cAG/Fs0xLaS7z3tfKMmHAlxnUByGV5h2eucUi5aLwPGBVVUpeGSrqjBNhrQEjPh4za8rbL 4RChDkL9ebDJRsSfR8KOFFm+e3AsAlpo0m8x0eddzra4IGdT/FhoZjIB5G9tPd8ZXAo25qEwk xunoZQdoZqOssa3uZHrs800LsjKGB7gi1/nzJ6PD/xEoFzXPhJ7NRi35EfsNJcDNG3+klDutF MvXxRWbF2Lu4wX17ak209heiceoLCItapEOXvV/Yi1J1U6klic7b711zkqY8HKmpMGFujPRAE ULIjp9Dz1J6WGkoPNrwhm09jKRgt0X9xA6lTNF3fgRZ5I3MS+FLBVXFX1wGs3C/j/X1plcTO9 FjS4wKD9lo4ylSljxNyLQJY7tI6gUbDU6ggoDgCK7ft07xtu6Sp2wEvCo2MQ/KvHc6XWaR791 oeW4YyQluyoQiZZqp3qp7wjQd5cdKbIQ7pxQeIrkRCrq4RKU6N+8Zp6TEAc23zgEC8GdmwBEN eOFPHArnrPP87LcWGy+fvEPj9UzOdnPUCfmnVmB3xk6QjXLXolBsuXKJzDXXvhjOUzEc/g/P7 tOZWduUMAbx+44uqBkDvPbHuiLO6Q3uxhm+dVgnQPGwg6gSxjtgJv4/IGitAFV8Psv+xcP+tL RHmr1MMNcSrXbI= Subject: Re: [musl] ASM-to-C conversion for i386 On Sun, Dec 26, 2021 at 09:42:38PM +0100, Markus Wichmann wrote: > Many of the maths functions are testing if their argument is subnormal, > and return an underflow exception if so and the argument is not zero. > For the single-precision case, the idiom used was to square the input, > which I have recreated with FORCE_EVAL(). For the double-precision case, > however, it was to store the variable as single precision. Dang it, I forgot to ask the point this was leading towards: Is there already an idiom in use in the maths code elsewhere to force an underflow exception for subnormal nonzero inputs? Ciao, Markus