[LLVMdev] GSoC 2011: Superoptimization for LLVM IR

John Regehr regehr at cs.utah.edu
Thu Apr 7 08:26:48 PDT 2011

> It worries me that you talk about "extending the number of
> transformations."  The point of a superoptimizer is that it has no
> specific model of transformations.  Rather, it is simply looking for cheap
> code fragments that are equivalent to expensive ones.

I could stand to be more clear...

Could you describe explictly the role of transformations in your 
superoptimizer framework?  And also give examples of what kinds of 
transformations you are talking about?

Could you describe how it is established that two code fragments are 


More information about the llvm-dev mailing list