From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 28A22BB83 for ; Fri, 18 Aug 2006 17:43:21 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id k7IFhKTd021305 for ; Fri, 18 Aug 2006 17:43:20 +0200 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA20250 for ; Fri, 18 Aug 2006 17:43:20 +0200 (MET DST) Received: from mail8.sea5.speakeasy.net (mail8.sea5.speakeasy.net [69.17.117.10]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id k7IFhD6N021284 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=FAIL) for ; Fri, 18 Aug 2006 17:43:19 +0200 Received: (qmail 30865 invoked from network); 18 Aug 2006 15:43:09 -0000 Received: from c-24-22-140-213.hsd1.wa.comcast.net (HELO [192.168.1.107]) (shawnw@[24.22.140.213]) (envelope-sender ) by mail8.sea5.speakeasy.net (qmail-ldap-1.03) with SMTP for ; 18 Aug 2006 15:43:09 -0000 Message-ID: <44E5E010.5090503@speakeasy.org> Date: Fri, 18 Aug 2006 08:43:12 -0700 From: Shawn User-Agent: Thunderbird 1.5.0.5 (Macintosh/20060719) MIME-Version: 1.0 To: caml-list@inria.fr Subject: Re: [Caml-list] Pervasives.{min, max} not specialized to floats by ocamlopt References: <5EAC544C-8B6E-4004-B817-20190E868A3B@MIT.edu> <17637.56821.564137.320990@karryall.dnsalias.org> In-Reply-To: <17637.56821.564137.320990@karryall.dnsalias.org> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 44E5E018.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 44E5E011.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; shawnw:01 pervasives:01 ocamlopt:01 andrieu:01 ocamlopt:01 nans:01 pervasives:01 2006:98 wrote:01 caml-list:01 functions:01 speakeasy:01 tend:02 hmm:02 floats:02 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 Olivier Andrieu wrote: > Will M Farr [Thursday 17 August 2006] : > > > > I don't know how hard it would be to change this in ocamlopt, but > > it seems like it would be pretty simple. > > I don't know, float comparisons tend not to be 'pretty simple' usually > (because of NaNs). > So only do it with -ffast-math, which already special-cases Pervasives functions like sin and cos... It looks like only the x86 port supports that option right now, though. Hmm. It really should be present on all architectures, even if it doesn't actually do anything.