From owner-freebsd-arm@freebsd.org Thu Oct 8 06:38:41 2015 Return-Path: Delivered-To: freebsd-arm@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id D03529D0DD5 for ; Thu, 8 Oct 2015 06:38:41 +0000 (UTC) (envelope-from kostikbel@gmail.com) Received: from kib.kiev.ua (kib.kiev.ua [IPv6:2001:470:d5e7:1::1]) (using TLSv1 with cipher DHE-RSA-CAMELLIA256-SHA (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 4B5A5D33 for ; Thu, 8 Oct 2015 06:38:41 +0000 (UTC) (envelope-from kostikbel@gmail.com) Received: from tom.home (kostik@localhost [127.0.0.1]) by kib.kiev.ua (8.15.2/8.15.2) with ESMTPS id t986cV1r058789 (version=TLSv1 cipher=DHE-RSA-CAMELLIA256-SHA bits=256 verify=NO); Thu, 8 Oct 2015 09:38:32 +0300 (EEST) (envelope-from kostikbel@gmail.com) DKIM-Filter: OpenDKIM Filter v2.10.3 kib.kiev.ua t986cV1r058789 Received: (from kostik@localhost) by tom.home (8.15.2/8.15.2/Submit) id t986cUVD058788; Thu, 8 Oct 2015 09:38:30 +0300 (EEST) (envelope-from kostikbel@gmail.com) X-Authentication-Warning: tom.home: kostik set sender to kostikbel@gmail.com using -f Date: Thu, 8 Oct 2015 09:38:30 +0300 From: Konstantin Belousov To: Peter Jeremy Cc: FreeBSD-arm@freebsd.org Subject: Re: svn commit: r288983 - in head/sys/arm: arm include Message-ID: <20151008063830.GN2257@kib.kiev.ua> References: <201510070912.t979Co21054138@repo.freebsd.org> <20151008053507.GD85040@server.rulingia.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20151008053507.GD85040@server.rulingia.com> User-Agent: Mutt/1.5.24 (2015-08-30) X-Spam-Status: No, score=-2.0 required=5.0 tests=ALL_TRUSTED,BAYES_00, DKIM_ADSP_CUSTOM_MED,FREEMAIL_FROM,NML_ADSP_CUSTOM_MED autolearn=no autolearn_force=no version=3.4.1 X-Spam-Checker-Version: SpamAssassin 3.4.1 (2015-04-28) on tom.home X-BeenThere: freebsd-arm@freebsd.org X-Mailman-Version: 2.1.20 Precedence: list List-Id: "Porting FreeBSD to ARM processors." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 08 Oct 2015 06:38:41 -0000 On Thu, Oct 08, 2015 at 04:35:07PM +1100, Peter Jeremy wrote: > [moved from src-* lists] > > On 2015-Oct-07 09:12:50 +0000, Konstantin Belousov wrote: > >Log: > > A follow-up to r288492. In fact, revert the mentioned commit for > > pre-VFPv3 processors, since they do require software support code to > > handle denormals. For VFPv3 and later, enable flush-to-zero if > > hardware does not claim full denormals arithmetic support by VMVFR1_FZ > > field in mvfr1 register. > > Is there any reason we can't re-enable denormals on ARM11 and use the > existing softfloat code to handle the underflow exceptions? Do you mean a technical reason, or the current state of efforts ? Sure, the referenced support code was developed by ARM exactly to fullfill the goal you stated, having the working denormals on FPU which does not handle them. The ARM Application Note 98 'The VFP support code' seems to contain detailed explanation how to integrate the code with libc. Somebody should do the work. First step actually is to make an effort to obtain the said support code and to read the license before looking at the single line of the code. The App Note 98 stated that the code is 'provided with the note', but I failed to make any useful consequences of the statement. > > This is the approach SPARC uses to handle non-normalised numbers.