Superoptimization in LLVM

zbMATH Open1249.68025MaRDI QIDQ2898779FDOQ2898779

Authors: Dávid Juhász, Tamás Kozsik 

Publication date: 12 July 2012

Published in: Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica (Search for Journal in Brave)

Recommendations

• Rethinking supercompilation
• The concept of a supercompiler
• From Verification to Optimizations
• scientific article; zbMATH DE number 1956473
• Loop transformations, convexity, pruning and optimization

zbMATH Keywords

optimizationcompilerdataflow analysissuperoptimization

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Cited In (1)

• Experience with the Super Monaco optimizing compiler

This page was built for publication: Superoptimization in LLVM

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2898779)