From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: ludo@gnu.org (Ludovic =?iso-8859-1?Q?Court=E8s?=) Newsgroups: gmane.lisp.guile.devel Subject: Re: A Working (but Minimal) JIT Date: Tue, 02 Nov 2010 23:51:38 +0100 Message-ID: <87bp671gqt.fsf@gnu.org> References: <8739rrwddf.fsf@gnu.org> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Trace: dough.gmane.org 1288739135 17788 80.91.229.12 (2 Nov 2010 23:05:35 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Tue, 2 Nov 2010 23:05:35 +0000 (UTC) To: guile-devel@gnu.org Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Wed Nov 03 00:05:28 2010 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1PDPux-0005SF-PN for guile-devel@m.gmane.org; Wed, 03 Nov 2010 00:05:27 +0100 Original-Received: from localhost ([127.0.0.1]:39688 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1PDPi1-00066T-WD for guile-devel@m.gmane.org; Tue, 02 Nov 2010 18:52:06 -0400 Original-Received: from [140.186.70.92] (port=37024 helo=eggs.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1PDPhr-00063k-UT for guile-devel@gnu.org; Tue, 02 Nov 2010 18:51:56 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1PDPhp-000781-BO for guile-devel@gnu.org; Tue, 02 Nov 2010 18:51:55 -0400 Original-Received: from lo.gmane.org ([80.91.229.12]:49602) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1PDPho-00077k-TP for guile-devel@gnu.org; Tue, 02 Nov 2010 18:51:53 -0400 Original-Received: from list by lo.gmane.org with local (Exim 4.69) (envelope-from ) id 1PDPhk-00065y-Ty for guile-devel@gnu.org; Tue, 02 Nov 2010 23:51:48 +0100 Original-Received: from yoda.fdn.fr ([80.67.169.18]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Tue, 02 Nov 2010 23:51:48 +0100 Original-Received: from ludo by yoda.fdn.fr with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Tue, 02 Nov 2010 23:51:48 +0100 X-Injected-Via-Gmane: http://gmane.org/ Original-Lines: 45 Original-X-Complaints-To: usenet@dough.gmane.org X-Gmane-NNTP-Posting-Host: yoda.fdn.fr X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 12 Brumaire an 219 de la =?iso-8859-1?Q?R=E9volution?= X-PGP-Key-ID: 0xEA52ECF4 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 83C4 F8E5 10A3 3B4C 5BEA D15D 77DD 95E2 EA52 ECF4 X-OS: x86_64-unknown-linux-gnu User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.2 (gnu/linux) Cancel-Lock: sha1:qq1PztHlhPdx5pwS8oyk/pNvEmw= X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 3) X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.devel:11103 Archived-At: Hi Noah! Noah Lavine writes: > There is also something that I was trying to figure out but couldn't - > how does code from the REPL make its way into the VM? It’s compiled with ‘compile’ from (system base compile), from ‘scheme’ to ‘objcode’ language, then run (unless the ‘interp’ REPL option is set, in which case code is eval’d). See ‘repl-compile’ & co. > I could certainly rewrite the important instructions with libjit, > however, this would result in duplicated code, which is not ideal. I > was wondering if you would be interested in coming up with a way to > write them once so that they could be expanded to either > directly-runnable C code or libjit calls. Of course I’d be interested in such a beast! :-) > (Libjit basically implements a subset of C, so I don't think this > would be too difficult.) Oh, do you have pointers to the relevant part of the libjit manual? > I was also wondering (and here's where the build process would get > weird) if this language could be translated with Guile. Of course, that’s the Holly Grail. :-) Perhaps CGEN could even come into play somehow. ;-) But it’s tricky. You’d have to devise a language that’s both sufficiently expressive to implement all the instructions and sufficiently simple to make compilation to C or libjit doable. [...] > The trouble would be that then Guile would be used to build Guile. That can hopefully be worked around by checking in a copy of the generated C code, for instance. Thanks, Ludo’.