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 nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 72C45BB9C for ; Sat, 10 Dec 2005 02:58:02 +0100 (CET) Received: from smtp-roam.Stanford.EDU (smtp-roam.Stanford.EDU [171.64.10.152]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id jBA1w0T7004942 for ; Sat, 10 Dec 2005 02:58:01 +0100 Received: from [10.0.1.3] ([67.188.36.195]) (authenticated bits=0) by smtp-roam.Stanford.EDU (8.12.11/8.12.11) with ESMTP id jBA1vvKo013752 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=NOT) for ; Fri, 9 Dec 2005 17:57:58 -0800 Mime-Version: 1.0 (Apple Message framework v746.2) Content-Transfer-Encoding: 7bit Message-Id: Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed To: caml-list@yquem.inria.fr From: Ted Kremenek Subject: documentation on ocamlopt backend Date: Fri, 9 Dec 2005 17:57:52 -0800 X-Mailer: Apple Mail (2.746.2) X-Miltered: at nez-perce with ID 439A3628.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; ocamlopt:01 ocamlopt:01 ocaml:01 subdirectory:01 asmcomp:01 piped:01 implemented:02 assembler:02 feasible:04 edu:07 target:91 i'm:08 i'm:08 generating:08 curious:09 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 I'm potentially interested in writing a new backend target for ocamlopt. I looked around in the Ocaml distribution subdirectory "asmcomp" (which is where the target-specific portion of the backend appears to be implemented), but there is not very much documentation there. In particular, I'm interested in generating assembly that will be piped through an assembler that is not "as." Is this (readily) feasible? Just curious. Thanks in advance. - Ted