[LLVMdev] Partial evaluation and LLVM

[Stéphane Letz]

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