LLVM: A compilation framework for lifelong program analysis & transformation

International Symposium on Code Generation and Optimization, CGO

Volumn , Issue , 2004, Pages 75-86

  Lattner, Chris ^a   Adve, Vikram ^a  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EXCEPTION HANDLING; LOW LEVEL VIRTUAL MACHINES (LLVM); OFFLINE CODE GENERATION; STATIC SINGLE ASSIGNMENT (SSA);

COMPUTER PROGRAMMING; DATA PROCESSING; HIGH LEVEL LANGUAGES; JAVA PROGRAMMING LANGUAGE; MICROPROCESSOR CHIPS; OPTIMIZATION;

PROGRAM COMPILERS;

EID: 3042658703     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CGO.2004.1281665     Document Type: Conference Paper

References (44)

1. A.-R. Adl-Tabatabai, G. Langdale, S. Lucco, and R. Wahbe. Efficient and language-independent mobile programs. In Proc. ACM SIGPLAN 1996 Conference on Programming Language Design and Implementation, pages 127-136. ACM Press, 1996.
2. th Int'l Symp. on Microarchitecture, pages 205-216, Sari Diego, CA, Dec 2003.
3. W. Amme, N. Dalton, J. von Ronne, and M. Franz. SafeTSA: A type safe and referentially secure mobile-code representation based on static single assignment form. In PLDI, June 2001.
4. ANDF Consortium. The Architectural Neutral Distribution Format, http://www.andf.org/.
5. A. Ayers, S. de Jong, J. Peyton, and R. Schooler. Scalable cross-module optimization. ACM SIGPLAN Notices, 33(5):301-312, 1998.
6. V. Bala, E. Duesterwald, and S. Banerjia. Dynamo: A transparent dynamic optimization system. In PLDI, pages 1-12, June 2000.
7. M. Burke and L. Torczon. Interprocedural optimization: eliminating unnecessary recompilation. Trans. Prog. Lang. and Sys, 15(3):367-399, 1993.
8. M. G. Burke et al. The Jalapeno Dynamic Optimizing Compiler for Java. In Java Grande, pages 129-141, 1999.
9. D. Chase. Implementation of exception handling. The Journal of C Language Translation, 5(4):229-240, June 1994.
10. J. Chen, D. Wu, A. W. Appel, and H. Fang. A provably sound TAL for back-end optimization. In PLDI, San Diego, CA, Jun 2003.
11. A. Chernoff, et al. FX!32: A profile-directed binary translator. IEEE Micro, 18(2):56-64, 1998.
12. T. M. Chilimbi, B. Davidson, and J. R. Larus. Cache-conscious structure definition. In ACM Symp. on Prog. Lang. Design and Implemenation, Atlanta, GA, May 1999.
13. CodeSourcery, Compaq, et al. C++ ABI for Itanium. http://www. codesourcery.com/cxx-abi/abi.html, 2001.
14. R. Cohn, D. Goodwin, and P. Lowney. Optimizing Alpha executables on Windows NT with Spike. Digital Technical Journal, 9(4), 1997.
15. R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadeck. Efficiently computing static single assignment form and the control dependence graph. Trans. Prog. Lang. and Sys., pages 13(4):451-490, October 1991.
16. st IEEE/ACM Symp. Code Generation and Optimization, San Francisco, CA, Mar 2003.
17. R. DeLine and M. Fahndrich. Enforcing high-level protocols in low-level software. In PLDI, Snowbird, UT, June 2001.
18. L. P. Deutsch and A. M. Schiffman. Efficient implementation of the smalltalk-80 system. In 11th Symp. on Principles of Programming Languages, pages 297-301, Jan 1984.
19. D. Dhurjati, S. Kowshik, V. Adve, and C. Lattner. Memory safety without runtime checks or garbage collection. In Languages, Compilers, and Tools for Embedded Systems (LCTES), San Diego, Jun 2003.
20. K. Ebcioglu and E. R. Altman. DAISY: Dynamic compilation for 100% architectural compatibility. In ISCA, pages 26-37, 1997.
21. M. F. Fernández. Simple and effective link-time optimization of Modula-3 programs. ACM SIGPLAN Notices, 30(6):103-115, 1995.
22. M. Franz and T. Kistler. Slim binaries. Communications of the ACM, 40(12), 1997.
23. D. Grossman, G. Morrisett, T. Jim, M. Hicks, Y. Wang, and J. Cheney. Region-based memory management in cyclone. In PLDI, Berlin, Germany, June 2002.
24. D. L. Heine and M.S. Lam. A practical flow-sensitive and context-sensitive c and c++ memory leak detector. In PLDI, pages 168-181, 2003.
25. M. Hind. Which pointer analysis should i use? In Int'l Symp. on Software Testing and Analysis, 2000.
26. IBM Corp. XL FORTRAN: Eight Ways to Boost Performance. White Paper, 2000.
27. T. Kistler and M. Franz. Continuous program optimization: A case study. ACM Trans. on Prog. Lang. and Sys., 25(4):500-548, Jul 2003.
28. S. Kowshik, D. Dhurjati, and V. Adve. Ensuring code safety without runtime checks for real-time control systems. In Compilers, Architecture and Synthesis for Embedded Systems (CASES), Grenoble, Oct 2002.
29. C. Lattner and V. Adve. LLVM Language Reference Manual. http://llvm.cs.uiuc.edu/docs/LangRef.html.
30. C. Lattner and V. Adve. Automatic Pool Allocation for Disjoint Data Structures. In Proc. ACM SIGPLAN Workshop on Memory System Performance, Berlin, Germany, Jun 2002.
31. C. Lattner and V. Adve. Data Structure Analysis: A Fast and Scalable Context-Sensitive Heap Analysis. Tech. Report UIUCDCS-R-2003-2340, Computer Science Dept., Univ. of Illinois at Urbana-Champaign, Apr 2003.
32. T. Lindholm and F. Yellin. The Java Virtual Machine Specification. Addison-Wesley, Reading, MA, 1997.
33. E. Meijer and J. Gough. A technical overview of the Commmon Language Infrastructure, 2002. http://research.microsoft.com/e~meij er/ Papers/CLR.pdf.
34. Microsoft Corp. Managed extensions for c++ specification. NET Framework Compiler and Language Reference.
35. G. Morrisett, D. Walker, K. Crary, and N. Glew. From System F to typed assembly language. Trans. Prog. Lang. and Systems, 21(3):528-569, May 1999.
36. R. Muth. Alto: A Platform for Object Code Modification. Ph.d. Thesis, Department of Computer Science, University of Arizona, 1999.
37. T. Romer, G. Voelker, D. Lee, A. Wolman, W. Wong, H. Levy, B. Bershad, and B. Chen. Instrumentation and optimization of Win32/Intel executables using Etch. In Proc. USENIX Windows NT Workshop, August 1997.
38. Z. Shao, C. League, and S. Monnier. Implementing Typed Intermediate Languages. In Int'l Conf. on Functional Prog., pages 313-323, 1998.
39. A. Shukla. Lightweight, cross-procedure tracing for runtime optimization. Master's thesis, Comp. Sci. Dept., Univ. of Illinois at Urbana-Champ aign, Urbana, IL, Aug 2003.
40. J. E. Smith, T. Heil, S. Sastry, and T. Bezenek. Achieving high performance via co-designed virtual machines. In Int'l Workshop on Innovative Architecture (IWIA), 1999.
41. A. Srivastava and D. W. Wall. A practical system for intermodule code optimization at link-time. Journal of Programming Languages, 1(1):1-18, Dec. 1992.
42. T. Steel. Uncol: The myth and the fact. Annual Review in Automated Programming 2, 1961.
43. D. Ungar and R. B. Smith. Self: The power of simplicity. In OOPSLA, 1987.
44. D. Wall. Global register allocation at link-time. In Proc. SIGPLAN '86 Symposium on Compiler Construction, Palo Alto, CA, 1986.