[LLVMdev] Partial evaluation and LLVM

Stéphane Letz letz at grame.fr
Tue Jun 12 00:39:19 PDT 2007


Hi,

Would LLVM be adapted to express and do some kind of function  
"partial evaluation", like having a function of 2 arguments, and when  
a value of one of the 2 parameter is known, the function could be  
specialized to produce as result a more efficient new function that  
would take one 1 parameter. I was told that the "ReplaceAllUsesWith"  
operation could be possibly used for that purpose. Is there any  
example of this technique I could look at?

Thanks in advance.

Stéphane Letz



More information about the llvm-dev mailing list