欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
LLVM
来自开放百科 - 灰狐
（版本间的差异）
| 第1行： | 第1行： | ||
Low Level Virtual Machine (LLVM) Compiler Infrastructure | Low Level Virtual Machine (LLVM) Compiler Infrastructure | ||
| + | |||
| + | The LLVM compiler system for C and C++ includes the following: | ||
| + | * Front-ends for C, C++, Objective-C, Fortran, etc based on the GCC 4.2 parsers. They support the ANSI-standard C and C++ languages to the same degree that GCC supports them. Additionally, many GCC extensions are supported. | ||
| + | * A stable implementation of the LLVM instruction set, which serves as both the online and offline code representation, together with assembly (ASCII) and bytecode (binary) readers and writers, and a verifier. | ||
| + | * A powerful pass-management system that automatically sequences passes (including analysis, transformation, and code-generation passes) based on their dependences, and pipelines them for efficiency. | ||
| + | * A wide range of global scalar optimizations. | ||
| + | * A link-time interprocedural optimization framework with a rich set of analyses and transformations, including sophisticated whole-program pointer analysis, call graph construction, and support for profile-guided optimizations. | ||
| + | * An easily retargettable code generator, which currently supports X86, X86-64, PowerPC, PowerPC-64, ARM, Thumb, SPARC, Alpha, and IA-64. | ||
| + | * A Just-In-Time (JIT) code generation system, which currently supports X86, X86-64, PowerPC and PowerPC-64. | ||
| + | * Support for generating DWARF debugging information. | ||
| + | * A C back-end useful for testing and for generating native code on targets other than the ones listed above. | ||
| + | * A profiling system similar to gprof. | ||
| + | * A test framework with a number of benchmark codes and applications. | ||
| + | * APIs and debugging tools to simplify rapid development of LLVM components. | ||
==Links== | ==Links== | ||
*http://llvm.org/ | *http://llvm.org/ | ||
2009年7月15日 (三) 03:03的版本
Low Level Virtual Machine (LLVM) Compiler Infrastructure
The LLVM compiler system for C and C++ includes the following:
- Front-ends for C, C++, Objective-C, Fortran, etc based on the GCC 4.2 parsers. They support the ANSI-standard C and C++ languages to the same degree that GCC supports them. Additionally, many GCC extensions are supported.
- A stable implementation of the LLVM instruction set, which serves as both the online and offline code representation, together with assembly (ASCII) and bytecode (binary) readers and writers, and a verifier.
- A powerful pass-management system that automatically sequences passes (including analysis, transformation, and code-generation passes) based on their dependences, and pipelines them for efficiency.
- A wide range of global scalar optimizations.
- A link-time interprocedural optimization framework with a rich set of analyses and transformations, including sophisticated whole-program pointer analysis, call graph construction, and support for profile-guided optimizations.
- An easily retargettable code generator, which currently supports X86, X86-64, PowerPC, PowerPC-64, ARM, Thumb, SPARC, Alpha, and IA-64.
- A Just-In-Time (JIT) code generation system, which currently supports X86, X86-64, PowerPC and PowerPC-64.
- Support for generating DWARF debugging information.
- A C back-end useful for testing and for generating native code on targets other than the ones listed above.
- A profiling system similar to gprof.
- A test framework with a number of benchmark codes and applications.
- APIs and debugging tools to simplify rapid development of LLVM components.
Links
分享您的观点
