Souper: A Synthesizing Superoptimizer

Raimondas Sasnauskas
Raimondas Sasnauskas
Jubi Taneja
Jubi Taneja

arXiv: Programming Languages, Volume abs/1711.04422, 2017.

Cited by: 13|Bibtex|Views13|Links
EI

Abstract:

If we can automatically derive compiler optimizations, we might be able to sidestep some of the substantial engineering challenges involved in creating and maintaining a high-quality compiler. We developed Souper, a synthesizing superoptimizer, to see how far these ideas might be pushed in the context of LLVM. Along the way, we discovered...More

Code:

Data:

Your rating :
0

 

Tags
Comments