From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id UAA27054; Wed, 9 Jun 2004 20:15:25 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 UAA26964; Wed, 9 Jun 2004 20:15:17 +0200 (MET DST) Received: from mail0.lsil.com (mail0.lsil.com [147.145.40.20]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i59IFBSH010090; Wed, 9 Jun 2004 20:15:16 +0200 Received: from milmhbs0.lsil.com (mhbs.lsil.com [147.145.1.30]) by mail0.lsil.com (8.12.8/8.12.8) with ESMTP id i59IF2cq003006; Wed, 9 Jun 2004 11:15:02 -0700 (PDT) Received: from watcher ([147.145.140.73]) by milmhbs0.lsil.com (8.12.11/8.12.11) with ESMTP id i59IFApZ005771; Wed, 9 Jun 2004 11:15:10 -0700 Received: from dortmann by watcher with local (Exim 4.32) id 1BY7bR-0001XB-Me; Wed, 09 Jun 2004 13:15:09 -0500 To: xavier.leroy@inria.fr Cc: Christophe TROESTLER , caml-list@inria.fr Subject: Re: [Caml-list] 32 bit floats, SSE instructions References: <200406081815.20679.jdh30@cam.ac.uk> <20040609182602.D17538@pauillac.inria.fr> <20040609.195851.23038890.Christophe.Troestler@umh.ac.be> From: Daniel Ortmann Date: 09 Jun 2004 13:15:09 -0500 In-Reply-To: <20040609.195851.23038890.Christophe.Troestler@umh.ac.be> Message-ID: User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.3 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Scanned-By: MIMEDefang 2.39 X-Miltered: at concorde with ID 40C753AF.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 floats:01 dortmann:99 lsil:99 troestler:01 troestler:01 floats:01 quoting:01 posts:01 lsil:99 gdds:99 2414:99 jabber:01 jabber:01 dortmann:99 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Yes, please. I also would like to read your reply. Christophe TROESTLER writes: > On Wed, 9 Jun 2004, Xavier Leroy wrote: > > > > I was about to post a long and detailed reply explaining the > > difference between computational types and storage types, why I > > think 32-bit floats might be useful as the latter but not at the > > former, quoting cycle counts from various processor manuals, mention > > what could conceivably be done in OCaml at minimal implementation > > costs, discuss SSE2 a bit, and generally answer the OP's initial > > questions. [...] Then I decided not to post. > Please consider to do it for those, like me, who always learn a lot > from this kind of posts. -- Daniel Ortmann, LSI Logic, 3425 40th Av NW, Suite 200, Rochester MN 55901 work: Daniel.Ortmann@lsil.com / 507.535.3861 / 63861 int / 8012.3861 gdds home: ortmann@venturecs.net / 507.288.7732, 2414 30Av NW #D, Rochester MN 55901 gpg/pgp public key: http://wwwkeys.us.pgp.net jabber: daniel_ortmann@jabber.org / dortmann@jabber.co.lsil.com ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners