LLVM 编译器基础设施
网站地图
下载!
搜索本网站


有用链接
发行邮件
18.1.8: 2024年6月
18.1.7: 2024年6月
18.1.6: 2024年5月
18.1.5: 2024年5月
18.1.4: 2024年4月
18.1.3: 2024年4月
18.1.2: 2024年3月
18.1.1: 2024年3月
18.1.0: 2024年3月
17.0.6: 2023年11月
17.0.5: 2023年11月
17.0.4: 2023年10月
17.0.3: 2023年10月
17.0.2: 2023年10月
17.0.1: 2023年9月
所有公告

由以下人员维护
llvm-admin 团队
LLVM 用户

此页面列出了在研究、教育、行业或开源开发中使用过或正在使用 LLVM 的个人和组织。它仅包含以某种形式公开讨论过他们使用 LLVM 的情况的用户(在 llvm-dev 上提及过、发表过相关作品等)。我们相信还有许多其他用户未列在此处,并欢迎您简要说明您的使用情况,以便我们将其添加到列表中。

此页面仅包含简要条目。其中一些项目在“使用 LLVM 的项目”页面上有更详细的描述。

LLVM 发行版
行业用户

公司 描述
Adobe Systems Incorporated 用于Hydra 语言的优化器和 JIT 代码生成器。
Adobe Systems Incorporated 用于 ActionScript 虚拟机 (AVM2) 的 Alchemy C/C++ 编译器。有关更多详细信息,请参阅常见问题解答Scott Petersen 的 DevMtg 演讲
Adobe Systems Incorporated 用于 iPhone 软件开发的 ActionScript 3 预先编译 (AOT) 编译器。有关更多详细信息,请参阅 Aditya Bansod 的博客文章此视频
Ageia Technologies 自定义处理器的优化器和后端
Apple Inc.

Apple 的所有操作系统,包括 iOS、macOS、tvOS 和 watchOS,都是使用 LLVM 技术构建的。Apple 的集成开发环境 Xcode 支持使用 Swift、C、C++ 和 Objective-C 进行开发,所有这些语言都使用并构建于 LLVM 技术之上。Apple 的 OpenCL 和 OpenGL 实现、Metal 着色语言、Core Image 和 macOS 图形驱动程序也使用 LLVM 技术。

Arxan Technologies, Inc. EnsureIT - 用于 Android、Apple iOS 和 Linux 的全面的软件/代码保护。涵盖静态和动态分析威胁。
Ascenium 可重构处理器的编译器
AutoESL Design Technologies, Inc. 电子系统级 (ESL) 到芯片
Azul Systems, Inc. Azul Systems 的Zing Java 虚拟机附带Falcon,这是一个基于 LLVM 的优化高级 JIT 编译器。
C 到 Verilog 将 C 编译成 Verilog 硬件描述语言的编译器。自动化电路设计。
Codeplay Software 用于 CPU、GPU、DSP 和自定义处理器的 C/C++/OpenCL 编译器和调试器。
MTC Group Ltd. Morpher - 用于 C/C++/ObjC/ObjC++ 的编译器驱动的混淆解决方案。防止逆向工程、破解和篡改。
Cray Inc. Cray XT5 及更高版本机器上提供的 Cray x86 编译器的后端。
Electronic Arts 用于自定义语言实现的实验性后端
Ericsson 用于自定义电信 DSP VLIW 架构的编译器,具有 16 位字节和定点算术运算。
Intel OpenCL
华为 昇腾编译器,华为鲲鹏服务器的 C/C++/Fortran 编译器。
Hue AS 着色器程序的 JIT 编译
Kosada, Inc. 用于Vuo的编译器,这是一种用于多媒体艺术家的现代视觉编程语言。
Mobileye 栈式机器架构的编译器
National Instruments LabView 2010 的编译器
Nuanti Browser Labs

WebKit Meta 2.0 SDK 包含一个专门的 LLVM/clang 工具链,用于 Web 应用程序和游戏开发,具有透明的 C++ DOM 和 JavaScript 桥接。

C++/CLI NG 是一个基于 clang 的 .NET 编译器,它采用了并扩展了 Microsoft/ECMA-372 语言标准。

NVIDIA OpenCL 运行时编译器(Clang + LLVM)
Rapidmind 编译器平台,用于其 GPGPU、多核 CPU 和 OpenCL 运行时平台。
REAL Software 用于RBScript 和 REAL Studio 编译器的优化器和代码生成器。
Siemens Technology-to-Business Center 嵌入式 VLIW 处理器的编译器
SonarSource C/C++/Objective-C 语言的前端。AST 匹配器和 Clang 静态分析器作为库。
Sony Interactive Entertainment 用于PlayStation®4 和 PlayStation®5系统的 CPU 编译器。
Sun Microsystems Laboratories Parfait:C 代码的错误检查器
Synopsys Inc. DesignWare ARC MetaWare EV 开发工具包 (OpenCL) – EV6x 处理器
DesignWare ARC MetaWare 开发工具包 (C/C++) – ARC 处理器
XMOS Technology 其架构的后端移植,还在开发多核代码生成支持。
Octasic Inc 下一代 Opus Studio,用于异步 DSP 架构的 IDE 和编译器(开发中)。

开源项目

项目 描述
SMACK 软件验证器 将 LLVM IR 转换为 Boogie 的软件验证器
Objective Modula-2 项目 带有 ObjC 运行时支持的 Modula-2 编译器。目标是 Objective-C 和 LLVM。
IcedTea 版本的 Sun 的 OpenJDK 在 x86 和 Sparc 以外的架构上使用 LLVM 作为 JIT。
PyPy 项目 用 Python 编写的 Python 解释器。目标是 LLVM 和 C。
Faust 信号处理语言 信号处理语言,使用 LLVM JIT 进行运行时代码生成
iPhone 工具链 用于 iPhone Dev Wiki 工具链的 llvm-gcc 编译器。
IOQuake3 IOQuake3 光线追踪补丁,使用 LLVM 进行运行时着色器编译。
llvm-py:LLVM 的 Python 绑定 使用 LLVM 后端用 Python 构建编译器和 VM。
LDC 基于 LLVM 的D编译器。
Unladen Swallow 更快的 Python 实现。
Mono Mono 可以选择使用 LLVM 进行 JIT 编译。
Rubinius Ruby 环境。
MacRuby Mac OS X 的 Ruby 实现。
Pure 项重写代数/函数式编程语言。
Roadsend PHP PHP 实现。
LLVM-Lua 用于 Lua VM 的 JIT 和静态编译支持。
Emscripten LLVM 到 JavaScript 的编译器。
Julia 用于技术计算的高级、高性能动态编程语言。
SkyEye 快速全系统模拟器。
Intel SPMD 编译器 基于 C 的 SPMD 语言,用于 CPU 向量单元。
XLA XLA(加速线性代数)是一种用于线性代数的特定领域编译器,用于优化 TensorFlow 计算。
SeaHorn 基于算法逻辑的推理框架。
Crab-llvm 基于抽象解释的 LLVM 静态分析器。

学术研究用户

组织 人员 描述
阿博学院 Johan Lilius 的研究小组,ES 实验室 NECST 项目
杨百翰大学 David Penry 的研究小组 微体系结构模拟器分区和综合
自适应在线并行优化
卡内基梅隆大学 David Koes 原则性编译
洛桑联邦理工学院 George Candea 的研究小组
苏黎世联邦理工学院 Thomas Lenherr 用于别名分析的与语言无关的库
埃尔朗根-纽伦堡弗里德里希-亚历山大大学 Tobias Klaus、Fabian Scheler 和 Florian Franzmann RTSC 实时系统编译器
根特大学 Kenneth Hoste 软件检测
GH-SEL,INTEC,根特大学 Bram Adams 用于称为Aspicere2的 C 语言 AOP 语言的面向方面编织器
雷恩电子与电信研究所
ARTEMIS - 电信学院/电信南巴黎
Mickaël Raulet、Matthieu Wipliez、Jérôme Gorin
纽约大学 Anna Zaks 过程间优化的验证
莱斯大学 Keith Cooper 的研究小组
斯坦福大学 Dawson Engler 的研究小组 KLEE 符号虚拟机
坦佩雷理工大学 Jarmo Takala 的研究小组,计算机系统系 基于 TTA 的协同设计环境 (TCE) 项目
加州大学圣地亚哥分校 Michael McCracken LENS 框架
加州大学尔湾分校 Samar Abdi、Dan Gajski 嵌入式系统环境项目
加州大学洛杉矶分校 Jason Cong xPilot 行为综合系统
加州大学洛杉矶分校 Jens Palsberg
伊利诺伊大学厄巴纳-香槟分校 Vikram Adve 的研究小组 安全虚拟架构/SAFECode

伊利诺伊大学厄巴纳-香槟分校 Ravi Iyer 研究组 软件可靠性的运行时监控
伊利诺伊大学厄巴纳-香槟分校 Maria Garzaran 研究组 软件可靠性的自动复制
伊利诺伊大学厄巴纳-香槟分校 Sanjay Patel 研究组 微体系结构研究
堪萨斯大学 Wesley Peck 用于 Xilinx FPGA 的 MicroBlaze 后端
宾夕法尼亚大学 Santosh Nagarakatte,Jianzhou Zhao,Milo M K Martin 和 Steve Zdancewic SoftBound
德克萨斯大学奥斯汀分校 Calvin Lin 研究组 交钥匙指针分析

教育用户


LLVM 开发列表