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


实用 链接
发布 邮件
19.1.7: 2025年1月
19.1.6: 2024年12月
19.1.5: 2024年12月
19.1.4: 2024年11月
19.1.3: 2024年10月
19.1.2: 2024年10月
19.1.1: 2024年10月
19.1.0: 2024年9月
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月
所有公告

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

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

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

LLVM 发行版
行业用户

公司 描述
奥多比系统公司 Hydra 语言的优化器和 JIT 代码生成。
奥多比系统公司 用于 ActionScript 虚拟机 (AVM2) 的 Alchemy C/C++ 编译器。有关更多详细信息,请参阅 常见问题解答Scott Petersen 的 DevMtg 演讲
奥多比系统公司 用于 iPhone 软件开发的 ActionScript 3 提前 (AOT) 编译器。有关更多详细信息,请参阅 Aditya Bansod 的 博客条目此视频
Ageia Technologies 定制处理器的优化器和后端
苹果公司

苹果的所有操作系统,iOS、macOS、tvOS 和 watchOS,都是使用 LLVM 技术构建的。而 Xcode,苹果的集成开发环境,支持使用 Swift、C、C++ 和 Objective-C 进行开发,所有这些都使用 LLVM 技术构建。苹果的 OpenCL 和 OpenGL 实现、Metal Shading Language、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 x86 编译器的后端,可在 Cray XT5 及更高版本的机器上使用。
艺电 用于自定义语言实现的实验性后端
爱立信 用于定制电信 DSP VLIW 架构的编译器,具有 16 位字节和定点运算。
英特尔 OpenCL
华为 毕昇编译器,华为鲲鹏服务器的 C/C++/Fortran 编译器。
Hue AS 着色器程序的 JIT 编译
Kosada, Inc. Vuo 的编译器,一种面向多媒体艺术家的现代视觉编程语言。
Mobileye 堆栈机器架构的编译器
美国国家仪器 LabView 2010 的编译器
Nuanti Browser Labs

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

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

英伟达 OpenCL 运行时编译器 (Clang + LLVM)
Rapidmind 用于其 GPGPU、多核 CPU 和 OpenCL 运行时平台的编译器平台
REAL Software 用于 RBScript 和 REAL Studio 编译器的优化器和代码生成器。
西门子技术商业中心 用于嵌入式 VLIW 处理器的编译器
SonarSource C/C++/Objective-C 语言的前端。AST 匹配器和 Clang 静态分析器作为库。
索尼互动娱乐 用于 PlayStation®4 和 PlayStation®5 系统的 CPU 编译器。
太阳微系统实验室 Parfait:C 代码的 Bug 检查器
新思科技有限公司 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。
Sun OpenJDK 的 IcedTea 版本 在 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 快速全系统模拟器。
英特尔 SPMD 编译器 用于 CPU 向量单元的基于 C 的 SPMD 语言。
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 用于 C 语言的 AOP 语言(名为 Aspicere2)的 Aspect weaver
雷恩电子与电信研究所
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 的研究小组 Turnkey 指针分析

教育用户


LLVM 开发列表