Received: by 2002:a05:6a10:a0d1:0:0:0:0 with SMTP id j17csp1628038pxa; Sun, 2 Aug 2020 14:49:12 -0700 (PDT) X-Google-Smtp-Source: ABdhPJxS8A7Gps9FYb3g/YDRfk7XpZd/8bLJY5ME01DVIuW/XV4iB26LkkDpphQ+GUXsVYNEmICc X-Received: by 2002:a05:6402:176e:: with SMTP id da14mr13346763edb.262.1596404952026; Sun, 02 Aug 2020 14:49:12 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1596404952; cv=none; d=google.com; s=arc-20160816; b=sJvong816WvZMmzuXOSSHFjwE7zlzw82KwwxRFHAjIgvMGYIJigiJpolRwVKuSkmz0 vLo8So4Vg3BoHTV22muV9a/GK/SPvKbWNNSRLwRuJlSyf3432H/HdqSOXBqIwvi1ROnC mCL1RYiDJTlFz+J2W+CedTO2NyllTnBDoAdka5i40Lmb8iaKBs36J7AIsshOu/FlL3YL ZsTk0fkzqx2kLC2QQEZVMHvhjbp+9lF/2M1JXpRJ7UhuKi2nVTD3outQOx2mRufx26I1 oTHfh2v7xjHklrsq2o/evToIOV9pce0jB8n4zDNGsxDbgV6vNvAxTsLP87CyuHkjXj58 8HYQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:mime-version:user-agent:references :message-id:in-reply-to:subject:cc:to:from:date:wdcironportexception :ironport-sdr:ironport-sdr:ironport-sdr:dkim-signature; bh=cvxEFyquU9ELdHla1Bc3ofNF416TK+pgq+JhH4h+b28=; b=uqt/+8UyndPV7bxRormiWOSENma1NNrJCOsSv+s20E3TZ6zEb7NSK1bCOFsVG76d5V PhAKkMPEjj6Xg23diXBkLrSX7W9R//TyCmrAof6Zb+XcYl/i2qRuWFjzRBom58ThGi7S gOBial8fMo5lmBkpNo06WmM9zs5tOXddat40eCMkpATv7TMxtzStvvp2VoQvVLqOJ7e0 2kf7kITPQSwRiYyCRHABuGw6uloDW2pl9Ib3sqLthi4WhdRJ7spf6cZse4BuGXICh0s4 6QNzqT1/IF71LgU47CA4KxaH3ynmoaMi7OFHEDxMyvFOC9ZlvSdvpF2fAQKNesM04Iiq w2Mg== ARC-Authentication-Results: i=1; mx.google.com; dkim=fail header.i=@wdc.com header.s=dkim.wdc.com header.b=Dhp3GcG3; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=wdc.com Return-Path: Received: from vger.kernel.org (vger.kernel.org. [23.128.96.18]) by mx.google.com with ESMTP id ov12si9115722ejb.671.2020.08.02.14.48.49; Sun, 02 Aug 2020 14:49:12 -0700 (PDT) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) client-ip=23.128.96.18; Authentication-Results: mx.google.com; dkim=fail header.i=@wdc.com header.s=dkim.wdc.com header.b=Dhp3GcG3; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=wdc.com Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1727932AbgHBVqk (ORCPT + 99 others); Sun, 2 Aug 2020 17:46:40 -0400 Received: from esa6.hgst.iphmx.com ([216.71.154.45]:14837 "EHLO esa6.hgst.iphmx.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1725925AbgHBVqj (ORCPT ); Sun, 2 Aug 2020 17:46:39 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=wdc.com; i=@wdc.com; q=dns/txt; s=dkim.wdc.com; t=1596404799; x=1627940799; h=date:from:to:cc:subject:in-reply-to:message-id: references:mime-version; bh=HhMDDX9Zyq0lnAOjaZ2ZkZv1uEybzvPPlvRAKPE2Mi4=; b=Dhp3GcG3AGn2YVR9hczUBPPeHRUbCw3nkvx3b7iI4SwTGqpgmb+xtaS7 eTum5I8rA1TEOLjgqQRpYe5UXlozN8VmshY4rmQgHkcjfCR88OuJtz41Q 35sbkTtZItI23hpepEDWF0Fq/9qBka1E9sb3flsYLo12cMZS4cQAoikBM rnt4OFvig8B31Ctt6yfKmAveFv5vJA5xZhsLdHsnzmeer0ucCpWfrkCyU xBB0LM748/laN0fZeKHkyAKENBETRSWfsPYG8MAlp2+LjYPM/B6bXUcWS fMJEeF//I0V7RRnYNaJAGfow6SzzgbJd7s/oV7ZDOCfrMilbOS8bzFxkv Q==; IronPort-SDR: mmGC6VYzUw0/Xm3SF7hz7+mqq/r+LRNGVbtlVKftD/xekcs0CTjvE6kzEf2bvCHP7QvbBxfDvK OWrcSRPgEwcBDunBc+bwRkn1djtmBPjI/HywPouj1zsfO3BwyAdD/V1DLug6NSWg99NQRtWYS6 HpWeIP64ItHu1acYKWpbZ4rqy3fPOzwncqkwRiFuOwrUVRoPGEHKcE8TC1kNTWnPh0may3ZOHh wWNWbZez0S7uefPsSFcK+B/sx9NfaaLocWAGb/1WpBH9Gn+rY86ykRiEb5fnwzVKMYocw1IR/7 mNA= X-IronPort-AV: E=Sophos;i="5.75,427,1589212800"; d="scan'208";a="145206025" Received: from uls-op-cesaip01.wdc.com (HELO uls-op-cesaep01.wdc.com) ([199.255.45.14]) by ob1.hgst.iphmx.com with ESMTP; 03 Aug 2020 05:46:39 +0800 IronPort-SDR: Of+NQSeWgfwtFfqruu8dUkJBUG+rmaqAx6V0PBh4ra70Xjik38WsDJ5/CDKQRCXPcbGuCCf7JU zXeVX120rt/A== Received: from uls-op-cesaip02.wdc.com ([10.248.3.37]) by uls-op-cesaep01.wdc.com with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 02 Aug 2020 14:34:41 -0700 IronPort-SDR: JTyJYmcsIT11nuHwWLExo6iBi+mF5vdh7h7vaYkePP/j5kQrDj9empvuoa8t8vFkBznxCIW4zU DS6T5zWH/Fvw== WDCIronportException: Internal Received: from unknown (HELO redsun52) ([10.149.66.28]) by uls-op-cesaip02.wdc.com with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 02 Aug 2020 14:46:37 -0700 Date: Sun, 2 Aug 2020 22:46:31 +0100 (BST) From: "Maciej W. Rozycki" To: Serge Semin cc: Jiaxun Yang , Serge Semin , linux-mips@vger.kernel.org, Thomas Bogendoerfer , Paul Burton , Huacai Chen , Zhou Yanjie , =?UTF-8?Q?=E5=91=A8=E7=90=B0=E6=9D=B0_=28Zhou_Yanjie=29?= , Liangliang Huang , linux-kernel@vger.kernel.org, "Maciej W. Rozycki" Subject: Re: [PATCH] MIPS: Provide Kconfig option for default IEEE754 conformance mode In-Reply-To: <20200731061702.fxdfyxpvd6qrhoql@mobilestation> Message-ID: References: <20200731041018.1381642-1-jiaxun.yang@flygoat.com> <20200731061702.fxdfyxpvd6qrhoql@mobilestation> User-Agent: Alpine 2.21 (LFD 202 2017-01-01) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Fri, 31 Jul 2020, Serge Semin wrote: > > Requested by downstream distros, a Kconfig option for default > > IEEE754 conformance mode allows them to set their mode to > > relaxed by default. > > That's what should have been here in the first place. Thanks! Well, originally plans were there to have NaN interlinking implemented and no such mess or desire for hacks like one here would result. Cf.: , , and then: , , , . You could well pick this work up and complete it if you like. Final conclusions for further work were made here: , , . In the relaxed mode math programs may produce wrong results unless you rebuild all your software for the correct NaN mode for the hardware used (in which case you don't need the relaxed setting in the first place). Maciej