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 3994 invoked from network); 29 Jun 2020 18:15:57 -0000 Received: from mother.openwall.net (195.42.179.200) by inbox.vuxu.org with ESMTPUTF8; 29 Jun 2020 18:15:57 -0000 Received: (qmail 22475 invoked by uid 550); 29 Jun 2020 18:15:53 -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 22457 invoked from network); 29 Jun 2020 18:15:52 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=gmx.net; s=badeba3b8450; t=1593454541; bh=gWafq1OgtWsyLG0oTshcuWLGsD9o/J/tJMM4kgoG/Xo=; h=X-UI-Sender-Class:Date:From:To:Subject:References:In-Reply-To; b=MO9vnwZ4sR5yysOri7tbqpS9PHaQrLcCmU1DZPFyysShqdolAlc03kZspstCM+F3N BwD3n4gseKN8DtrZhHg/hqSzcEoMkFno4H1kNrzWwKZj8UnprvqIKs5Pck9uZTHYLq ENB/TAbSJbNNIRHSGfBWEwAIrCIlNkE1wxrTiE3s= X-UI-Sender-Class: 01bb95c1-4bf8-414a-932a-4f6e2808ef9c Date: Mon, 29 Jun 2020 20:15:40 +0200 From: Markus Wichmann To: musl@lists.openwall.com Message-ID: <20200629181540.GC13001@voyager> References: <32b4-5ef9e500-33-6d961680@199533904> <20200629162642.GI2048759@port70.net> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20200629162642.GI2048759@port70.net> User-Agent: Mutt/1.9.4 (2018-02-28) X-Provags-ID: V03:K1:i8cfxWHescRpKfd/PsDuy9uAL0ZJ05DAcbKR86rhw5WCIKNVv89 R9E1Siagdg8rKZJzCR2Bbra8aMY+KTbVXUokGcDijVUKNKJcEzdpnYFLDXCJzLGIcVRw5J5 ZpQN9VV5ELqbNPfUexR7BoENe3wVpzMS0KvxDmgcEpLsqg56K6mZt7WZwIOr+9j/wz0EQJs jjU0Tb0PQ5+nBGare9kSQ== X-UI-Out-Filterresults: notjunk:1;V03:K0:0dhvOaGC+/E=:Dub4lB2BfN4byF67cxlyyq kYqAVHa7CLFgFOv6FInfSukrmRqnk6cpGH0v/ISuK4qPcJWT7wKUrp2e9HgcgWS7JkaGIkKln 2nIa08PmwuRlO1PiOnbUWAXL7DweSqq/Uhwn5myo2/co6PITT0IYnBNOFEwTuyK2mLhFLtQyf D5fNjnGr6ajxHf9GlirLBeTRddnhhZq7fTK+Zpvqd4C1Utwqx67goW9xhVIBCeg8YDDTqmltF s5GHHXBVlxkJU2nWLi2hfzZuIKQHQdd0S3VbTXB3msNgd1bpL2WZh0DRgVC7TE6GGXeJJgaR5 cA8oQdLIHh/n8d5vTg7Zk8hpLkX7JZ6U8zV1alMfG8C8mE3ajHJJemZouFmGtXEld0/Uyf6K3 6sJ2HPoxZFubhAt/t9CSs7vZi46S7hQMDPdhVGCjNl0cRIm+2hes0jAYr/Pb6McG1GvgoXv4x gpKo8TJ+Wx+gc4iBP05uAIQstRKdDL5opN2UXzUFmLuS+o4kFAMk9KJ8Ts1SuWJL4dooM50VA BG+DZFiMNyNCcMqUPEnic5FWO98qTWxVcCUDGmrwARutrvobhZAeUfAKA3EZWgw3wCqrcryRz sYJ9dSOBpeOq4zaMjZla5u5zHKhAOSGLMGG3yXg1EF9ObH4Kc6YmEtQ59VjZ42hp2Q4ZaVtIW 1tJz07CYwKXhRqAPjffFitVEfXRrU4MyaBIfsIQa3R2JcXKJDp2ktpWegKVPJrAG6dDuwHpNT MHjhqgvnybNQH3+T+prtBBLWxMgUeKk/i1pMt4weAS6zBfZDZItMRQBUAYSiyAq9/4h6UxDv+ th+fbwLtEhicKe+m/ZHMwk9NEmzLk92JZMoF3x2jmfnk/SIiS19Cpw4fHEB7dDqIPGuSHhHQn NgxKQcXIFvs8e4rXtks8tnXpX53PVh4E3ggHX9nL8aBFRcmcZnMqAsoT7v76GZW4IIfOhH7Uy kQUNGf7J9Ryenz+ky0hS/aNDComRNBY2UiCw5Zrp3nLmSccC2D01Ocb+AOPcgsdcDv+rjwvHH XnPTIMNszJU3h3QqLLN6g+iau0mbcQImjdWu+OFILzgEJNjPci/E9zPUF7dJF09P5056Gk7qZ dS5Ufbz4ZIZoZNGWZRvRNX8nw1lVgsGMjHA3npwcLGhFQQ+TA9gBr/yPSvr7cVfrc/LnfD+Ic TYMcJn8B0Ytcu56izZiJtnWuPHTP3sW+LLYbuXBqnpVjiF/n7vmLdC9rvBBrDL7BCpyw0= Content-Transfer-Encoding: quoted-printable Subject: Re: [musl] Posits support under Musl libc? On Mon, Jun 29, 2020 at 06:26:42PM +0200, Szabolcs Nagy wrote: > i would not hold my breath for posit support even if it was the > best possible floating-point format. > > it has to be properly standardized and added to hw architectures. > > then the related software standards need to be developed (abi, > programming language support, math library behaviour for special > cases, printf format specifiers, etc) > > then the tooling support has to be added (compilers, emulators, > softfloat libraries, etc) > > then we can come back and consider doing something about it in > musl. > > (and even then it will take time for it to be usable in user > code: requires widely deployed hw, protocol and file format > updates, new algorithm designs and review of existing algorithms > for compatibility) In addition, Posit support is going to run into the problem that IEEE 754 implementations are readily available /right now/ and are "good enough" for most applications. Hell, most applications don't even require floating-point at all. The good can sometimes be the enemy of the perfect, but here I am squarely on the side of pragmatism. Ciao, Markus