LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation Export

@inproceedings{citeulike:478776, abstract = {This paper describes LLVM (Low Level Virtual Machine),a compiler framework designed to support transparent, lifelongprogram analysis and transformation for arbitrary programs,by providing high-level information to compilertransformations at compile-time, link-time, run-time, and inidle time between runs.LLVM defines a common, low-levelcode representation in Static Single Assignment (SSA) form,with several novel features: a simple, language-independenttype-system that exposes the primitives commonly used toimplement high-level language features; an instruction fortyped address arithmetic; and a simple mechanism that canbe used to implement the exception handling features ofhigh-level languages (and setjmp/longjmp in C) uniformlyand efficiently.The LLVM compiler framework and coderepresentation together provide a combination of key capabilitiesthat are important for practical, lifelong analysis andtransformation of programs.To our knowledge, no existingcompilation approach provides all these capabilities.We describethe design of the LLVM representation and compilerframework, and evaluate the design in three ways: (a) thesize and effectiveness of the representation, including thetype information it provides; (b) compiler performance forseveral interprocedural problems; and (c) illustrative examplesof the benefits LLVM provides for several challengingcompiler problems.}, address = {Washington, DC, USA}, author = {Lattner, Chris and Adve, Vikram}, booktitle = {CGO '04: Proceedings of the international symposium on Code generation and optimization}, citeulike-article-id = {478776}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=977673}, isbn = {0-7695-2102-9}, keywords = {compilers}, location = {Palo Alto, California}, pages = {75+}, posted-at = {2009-06-28 13:59:18}, priority = {4}, publisher = {IEEE Computer Society}, title = {LLVM: A Compilation Framework for Lifelong Program Analysis \& Transformation}, url = {http://portal.acm.org/citation.cfm?id=977673}, year = {2004} }

TY - CONF ID - citeulike:478776 L3 - citeulike-article-id:478776 N2 - This paper describes LLVM (Low Level Virtual Machine),a compiler framework designed to support transparent, lifelongprogram analysis and transformation for arbitrary programs,by providing high-level information to compilertransformations at compile-time, link-time, run-time, and inidle time between runs.LLVM defines a common, low-levelcode representation in Static Single Assignment (SSA) form,with several novel features: a simple, language-independenttype-system that exposes the primitives commonly used toimplement high-level language features; an instruction fortyped address arithmetic; and a simple mechanism that canbe used to implement the exception handling features ofhigh-level languages (and setjmp/longjmp in C) uniformlyand efficiently.The LLVM compiler framework and coderepresentation together provide a combination of key capabilitiesthat are important for practical, lifelong analysis andtransformation of programs.To our knowledge, no existingcompilation approach provides all these capabilities.We describethe design of the LLVM representation and compilerframework, and evaluate the design in three ways: (a) thesize and effectiveness of the representation, including thetype information it provides; (b) compiler performance forseveral interprocedural problems; and (c) illustrative examplesof the benefits LLVM provides for several challengingcompiler problems. CY - Palo Alto, California SN - 0-7695-2102-9 AD - Washington, DC, USA TI - LLVM: A Compilation Framework for Lifelong Program Analysis \& Transformation PB - IEEE Computer Society T2 - CGO '04: Proceedings of the international symposium on Code generation and optimization SP - 75 KW - compilers AU - Lattner, Chris AU - Adve, Vikram PY - 2004/// UR - http://portal.acm.org/citation.cfm?id=977673 ER -