2006 23:55
| To: [EMAIL PROTECTED]
| Cc: GHC Users; Simon Marlow
| Subject: Re: LLVM back end
|
| On 20-Dec-06, at 10:10 AM, Michael T. Richter wrote:
|
| Well, I'm almost entirely ignorant of LLVM and of Haskell --
| especially the internals of both. That makes me ideally suited
On Thu, Dec 21, 2006 at 12:54:50AM +0100, Wolfgang Thaller wrote:
ad c)
While they are supported in theory, I couldn't get LLVM to generate
any tailcalls. Maybe I've done something wrong, maybe they're not
really implemented yet.
it seems that ghc could benefit from a tail-call
in the stack)
Simon
| -Original Message-
| From: [EMAIL PROTECTED] [mailto:glasgow-
| [EMAIL PROTECTED] On Behalf Of Wolfgang Thaller
| Sent: 20 December 2006 23:55
| To: [EMAIL PROTECTED]
| Cc: GHC Users; Simon Marlow
| Subject: Re: LLVM back end
|
| On 20-Dec-06, at 10:10 AM, Michael T
Simon Wolfgang:
OK, let me address these as far as I know them from my miniscule
research so far:
Global Register Variables -- I'm not sure I understand the point here.
LLVM is a... well, a virtual machine. It's not a real target. The LLVM
code is then either simulated in a VM (as per, say,
On 21-Dec-06, at 1:26 PM, Michael T. Richter wrote:
Global Register Variables -- I'm not sure I understand the point
here. LLVM is a... well, a virtual machine. It's not a real
target. The LLVM code is then either simulated in a VM (as per,
say, Java) or it is further compiled to a
On Tue, 2006-19-12 at 13:13 +, Simon Marlow wrote:
Is this me opening up a Pandora's Box of ignorance here? Or is LLVM
potentially interesting? (And were someone motivated into perhaps
trying to make an LLVM back-end, where would one start to poke around
in, say, the GHC codebase
On 20-Dec-06, at 10:10 AM, Michael T. Richter wrote:
Well, I'm almost entirely ignorant of LLVM and of Haskell --
especially the internals of both. That makes me ideally suited for
this project since I'm not aware that it's impossible.
I'm afraid LLVM currently lacks some features that
Michael T. Richter wrote:
I've been eyeing LLVM[1 http://llvm.org] as interesting technology --
brief executive summary: a virtual machine suited as the back end of
compiler output with optimised native code then coming from it as either
JIT-based execution of the LLVM bytecode or as a further
I have also been looking into LLVM and I wondered if this had been
looked at before.
Michael T. Richter wrote:
I've been eyeing LLVM[1 http://llvm.org] as interesting technology --
snip
step -- and couldn't help but immediately think of the possibility of
one of the Haskell compiler projects