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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 04DBBBBAF for ; Sun, 5 Dec 2010 21:54:30 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoYBAHuK+0zRVdY0gWdsb2JhbACVG44MCBUBAQsJChoEHqNSjAIBBYx+AQSCFIM1igE X-IronPort-AV: E=Sophos;i="4.59,302,1288566000"; d="scan'208";a="69916682" Received: from mail-bw0-f52.google.com ([209.85.214.52]) by mail3-smtp-sop.national.inria.fr with ESMTP; 05 Dec 2010 21:54:30 +0100 Received: by bwz4 with SMTP id 4so9862809bwz.39 for ; Sun, 05 Dec 2010 12:54:29 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=gamma; h=domainkey-signature:received:received:content-type:mime-version :subject:from:in-reply-to:date:content-transfer-encoding:message-id :references:to:x-mailer; bh=bEMuoiRqDhYSCNn1YAySbX8BEW3fG4ZLJ8v8qjpfFXE=; b=pScXvpFWCI0Q7jsS2yW3xJS5DzbzrX1okaegHVjfqBL1g4n3BV4fvPePZbmDWuPm4l 3egcYESyj943uDAH330sQ7M5h7brK252yPGv3e93/Xg464CEpbL3AXyw2lYE6QmTVISp IqN48+pw+aa2dbU38vDEKzpZTk0i2WvQ8iUe0= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlemail.com; s=gamma; h=content-type:mime-version:subject:from:in-reply-to:date :content-transfer-encoding:message-id:references:to:x-mailer; b=io5ZseLLzdNYfnoDBoEP5+viDUmm9eHKAqxDh1HKdw9LmbLMqs0JhffQf1vXqu15gI lZtVGbLrU9lmRZrhNtmOjAuinouQPTcof9hvlpuE3ZU1lid3f+ATmtOkdaWMjszDCBOv WEYcejWNp4mXLvR9yPpFDTZXLAiju1ftenFKU= Received: by 10.204.100.139 with SMTP id y11mr4908853bkn.93.1291582468555; Sun, 05 Dec 2010 12:54:28 -0800 (PST) Received: from bespin.kosmos.all (ip-95-223-170-32.unitymediagroup.de [95.223.170.32]) by mx.google.com with ESMTPS id p22sm2098588bkp.9.2010.12.05.12.54.27 (version=SSLv3 cipher=RC4-MD5); Sun, 05 Dec 2010 12:54:27 -0800 (PST) Content-Type: text/plain; charset=iso-8859-1 Mime-Version: 1.0 (Apple Message framework v1081) Subject: Re: ocamlopt LLVM support (Was: [Caml-list] OCamlJIT2 vs. OCamlJIT) From: Benedikt Meurer In-Reply-To: <20101205185711.0a0e485a@deb0> Date: Sun, 5 Dec 2010 21:54:26 +0100 Content-Transfer-Encoding: quoted-printable Message-Id: <531273EC-18C6-46EA-8AAB-1D5F1A412A0C@googlemail.com> References: <3DCEA910-1382-47E5-876B-059178F8F82E@googlemail.com> <20101130124803.7952fca1@deb0> <0a8b01cb90da$da5e6240$8f1b26c0$@com> <5E2DA3F1-7998-4F62-B617-7B6451D1001D@googlemail.com> <0b3b01cb9161$a81c8e10$f855aa30$@com> <0b9301cb91a3$8f42fd60$adc8f820$@com> <0cae01cb9325$a8ddc3d0$fa994b70$@com> <20101205185711.0a0e485a@deb0> To: caml-list@yquem.inria.fr X-Mailer: Apple Mail (2.1081) X-Spam: no; 0.00; ocamlopt:01 ocaml:01 model:01 model:01 ocaml's:01 ocaml's:01 setjmp:01 edwin:98 wrote:01 wrote:01 exception:01 exception:01 caml-list:01 slower:02 supported:02 On Dec 5, 2010, at 17:57 , T=F6r=F6k Edwin wrote: > On Sun, 5 Dec 2010 17:37:32 +0100 > Benedikt Meurer wrote: >=20 >> Two main areas for now: The GC interface and the exception handling. >> LLVM's exception support is really limited; the GC support is better >> and more generic. I don't know how to implement the OCaml exception >> model within LLVM w/o adding a lot of special case stuff to LLVM >> itself (mentioned in my original post); if there would be a way to >> easily extend LLVM with special exception models, other projects >> could plug in their models. >=20 > There is a discussion on the LLVM mailing list about changing = exception > handling in LLVM: > http://lists.cs.uiuc.edu/pipermail/llvmdev/2010-December/036692.html >=20 > If the new model is not generic enough to support OCaml's model, then = I > think now would be a good time to describe on the LLVM ML what OCaml's > model would need and the proposal doesn't cover. It's not a different model, but a better implementation of what is = already available. =46rom what I've seen now, the best starting point = seems to be the setjmp/longjmp model, which is supported by LLVM. It's = certainly slower than the current scheme, but well, it would be a = starting point. > Best regards, > --Edwin Benedikt=