From: Andrey Riabushenko <cdome@bk.ru>
To: caml-list@yquem.inria.fr
Subject: Google summer of Code proposal
Date: Sat, 21 Mar 2009 14:39:45 +0200 [thread overview]
Message-ID: <200903211439.47107.cdome@bk.ru> (raw)
Hi OCaml hackers,
It is not mistake, in spite of ocaml does not take part in GSoC 2009, but
ocaml community still can benefit from it.
I would like to develop LLVM frontend to Ocaml language. LLVM does
participate in GSoC. LLVM do not mind to developed a ocaml frontend as LLVM
GSoC project. I want to discuss details with you before I will make an
official proposal to LLVM.
1.What is the best way to make ocaml frontend on your opinion?
I think the best would to way to develop ocaml llvm front end as a part of
ocaml distribution. I don't not want to develop yet another a separate
project, which is half-done llvm frontend that nobody uses. There are plenty
of those for other languages lying around. I propose to forget about JIT
capabilities of LLVM and concentrate on AOT compilation for now.
Ocamlopt currently generates native assembler for the following platforms:
i386, AMD64, ia64, arm, hppa, alpha, m68k, mips, powerpc, sparc assembler.
I propose to add LLVM assembler generation as another platform to ocamlopt. It
requires the least modification of ocaml source and easy to maintain. LLVM
will give ocaml an aggressive whole program optimizer and will make possible
to run ocaml on new platforms that are supported by LLVM, but not yet by
Ocaml.
Question to the Ocaml creators and maintainers.
2. Will you merge LLVM platform to the ocaml trunk assuming that it works as
it should?
Andrey Riabushenko
PhD student,
Faculty of applied mathematics
National technical university of Ukraine "KPI"
http://kpi.ua/en/
next reply other threads:[~2009-03-21 12:39 UTC|newest]
Thread overview: 19+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-03-21 12:39 Andrey Riabushenko [this message]
2009-03-21 13:01 ` [Caml-list] " Seo Sanghyeon
2009-03-21 13:47 ` Andrey Riabushenko
2009-03-21 14:51 ` Jon Harrop
2009-03-21 20:49 ` Joel Reymont
2009-03-21 21:35 ` Jon Harrop
2009-03-21 13:38 ` Jon Harrop
2009-03-21 20:43 ` Joel Reymont
2009-03-21 21:28 ` Michael Ekstrand
2009-03-23 17:23 ` [Caml-list] " Kuba Ober
2009-03-21 22:21 ` [Caml-list] " Jon Harrop
2009-03-22 0:12 ` Fermin Reig
2009-03-23 14:19 ` Xavier Leroy
2009-03-23 19:38 ` Jon Harrop
2009-03-24 15:39 ` Xavier Leroy
2009-03-30 15:42 ` Nicolas Cannasse
2009-03-30 15:56 ` Joel Reymont
2009-03-30 21:21 ` Jon Harrop
2009-03-31 0:36 ` Jon Harrop
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=200903211439.47107.cdome@bk.ru \
--to=cdome@bk.ru \
--cc=caml-list@yquem.inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).