search for: futamura

Sorry for the noise, but this is the message I meant to send to the list rather than replying to David directly. Unfortunately, I just sent his message to me before. From: mclagett at hotmail.com To: greened at obbligato.org Subject: RE: [LLVMdev] LLVM IR is a compiler IR Date: Thu, 6 Oct 2011 19:44:11 +0000 Thanks for your prompt reply. My answers are below at the end of your message.

...aults, libraries crashing. I have experienced various errors and tried various fixes with no success. How do I correctly link to libstdc++ using the lli tool? I have ideas for two hobby projects I am really interested in. They both require that LLVM can be compiled to bitcode. 1) Play around with Futamura projections, applying aggressive optimizations to the LLVM library itself. The idea is to create a partial evaluation tool that provides some "outer" optimizations combined with the LLVM optimizations. For example you are able to tell that a read-file should be actually executed as an &qu...

Hi Folks -- Let me go ahead and pose a question similar to the one Joachim poses below. I too am trying to evaluate whether LLVM will be of use to me in building a compiler and garbage collection mechanism for a byte code vm that I have built. Although there are multiple types of code that can be created with this system, all of them eventually translate to execution of one or more of these

...of course I'm a bit lost ! I'll try to explain what I want to do in the simplest possible way : I have a C program. In this program, there is a function f( a,b ). I have a value A for a. I want to specialise f() so I get a function fA( b ) which is the same as f( a=A, b ). It looks like a futamura projection (think about the classical adder problem). So, in my program, at runtime, I'd like to get a llvm Function* on the function I want to specialize, so I can write code that hacks on the arguments and bitcode of f and JITs a new version of it. I have found examples about how to generat...