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 RAA17167; Wed, 9 Jun 2004 17:55:50 +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 RAA18204 for ; Wed, 9 Jun 2004 17:55:49 +0200 (MET DST) Received: from aomori.annexia.org (annexia.force9.co.uk [212.56.101.183]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i59FteSH023260 for ; Wed, 9 Jun 2004 17:55:45 +0200 Received: from rich by aomori.annexia.org with local (Exim 3.36 #1 (Debian)) id 1BY5QM-0005QR-00 for ; Wed, 09 Jun 2004 16:55:34 +0100 Date: Wed, 9 Jun 2004 16:55:34 +0100 To: caml Subject: Re: [Caml-list] 32 bit floats, SSE instructions Message-ID: <20040609155534.GA20707@redhat.com> References: <20040607.185308.48335962.Christophe.Troestler@umh.ac.be> <20040607210053.GA10442@redhat.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20040607210053.GA10442@redhat.com> User-Agent: Mutt/1.5.5.1+cvs20040105i From: Richard Jones X-Miltered: at concorde with ID 40C732FC.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 2004:99 ocamlopt:01 cmx:01 inlined:01 ocamlopt:01 cmx:01 high-level:01 inlined:01 type-safe:01 ltd:98 ocaml:01 ocaml:01 caml:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Mon, Jun 07, 2004 at 10:00:53PM +0100, Richard Jones wrote: > Is there not any work on allowing inline asm in OCaml? > > Since ocamlopt can inline code from modules, would it be possible to > create a 'fake' .cmx/.o file which would actually contain direct > assembler code to be inlined? OK, I just tried this and it doesn't work. It seems (without looking at the ocamlopt source anyway ...) that the .cmx file carries a high-level representation of the code which is actually assembled in the .o file. When I replaced just the .o file with a similar one carrying my assembler, OCaml inlined the original code which therefore must have come from the .cmx. I'm guessing that people would object to extending OCaml to allow inline asm because it would break bytecode compilation? Rich. -- Richard Jones. http://www.annexia.org/ http://www.j-london.com/ Merjis Ltd. http://www.merjis.com/ - improving website return on investment MOD_CAML lets you run type-safe Objective CAML programs inside the Apache webserver. http://www.merjis.com/developers/mod_caml/ ------------------- 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