Superoptimization in LLVM

MaRDI QIDQ2898779zbMATH OpenFDO

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)

zbMATH Keywords

compilerdataflow analysisoptimizationsuperoptimization

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Recommendations

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

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)