LLVM 編譯器基礎架構
網站地圖
下載!
搜尋 本站


實用 連結
發布 電子郵件
由以下團隊維護
llvm-admin 團隊
LLVM 使用者

此頁面列出了在研究、教育、產業或開放原始碼開發中使用或目前正在使用 LLVM 的人員和組織。僅包含公開討論過他們以某種形式使用 LLVM 的使用者(在 llvm-dev 上提及、發表相關著作等)。我們相信還有許多其他未在此列出的使用者,歡迎您簡短告知我們您的使用情況,以便我們可以將您新增到列表中。

此頁面僅包含簡短條目。其中一些專案在「使用 LLVM 的專案」頁面上有更詳細的描述。

LLVM 發行版本
產業使用者

公司 描述
Adobe Systems Incorporated 用於 Hydra 語言的最佳化器和 JIT 程式碼產生器。
Adobe Systems Incorporated Alchemy C/C++ 編譯器,適用於 ActionScript 虛擬機器 (AVM2)。請參閱常見問題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 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-to-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 和更新的機器。
Electronic Arts 自訂語言實作的實驗性後端
Ericsson 自訂電信 DSP VLIW 架構的編譯器,具有 16 位元組和定點算術。
Intel OpenCL
Huawei BiSheng Compiler,適用於 Huawei Kunpeng 伺服器的 C/C++/Fortran 編譯器。
Hue AS shader 程式的 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。
Sun OpenJDK 的 IcedTea 版本 在 x86 和 Sparc 以外的架構上使用 LLVM 作為 JIT。
PyPy 專案 用 Python 撰寫的 Python 直譯器。目標為 LLVM 和 C。
Faust 訊號處理語言 訊號處理語言,使用 LLVM JIT 進行執行時期程式碼產生
iPhone 工具鏈 適用於 iPhone Dev Wiki 工具鏈的 llvm-gcc 編譯器。
IOQuake3 IOQuake3 光線追蹤修補程式,使用 LLVM 進行執行時期 shader 編譯。
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 Compiler 適用於 CPU 向量單元的基於 C 的 SPMD 語言。
XLA XLA (加速線性代數) 是一個用於線性代數的領域特定編譯器,可最佳化 TensorFlow 運算。
SeaHorn 基於演算法邏輯的推理框架。
Crab-llvm 基於 LLVM 的抽象詮釋靜態分析器。

學術研究使用者

組織 人員 描述
Åbo Akademi University Johan Lilius 的研究小組,ES Lab NECST 專案
Brigham Young University David Penry 的研究小組 微架構模擬器分割和合成
自適應線上平行最佳化
Carnegie Mellon University David Koes 原理編譯
Ecole Polytechnique Fédérale de Lausanne George Candea 的研究小組
ETH Zurich Thomas Lenherr 獨立於語言的別名分析函式庫
Friedrich-Alexander Universität, Erlangen-Nüremberg Tobias Klaus、Fabian Scheler 和 Florian Franzmann RTSC 即時系統編譯器
Ghent University Kenneth Hoste 軟體儀器化
GH-SEL, INTEC, Ghent University Bram Adams 用於名為 Aspicere2 的 C 語言 AOP 語言的面向編織器
Institut d'Electronique et Télécommunications de Rennes
ARTEMIS - Institut Telecom/Telecom SudParis
Mickaël Raulet、Matthieu Wipliez、Jérôme Gorin
New York University Anna Zaks 程序間最佳化驗證
Rice University Keith Cooper 的研究小組
Stanford University Dawson Engler 的研究小組 KLEE 符號虛擬機器
Tampere University of Technology Jarmo Takala 的研究小組,電腦系統部門 基於 TTA 的 Codesign Environment (TCE) 專案
University of California, San Diego Michael McCracken LENS 框架
University of California, Irvine Samar Abdi、Dan Gajski 嵌入式系統環境專案
University of California, Los Angeles Jason Cong xPilot 行為合成系統
University of California, Los Angeles Jens Palsberg
University of Illinois at Urbana-Champaign Vikram Adve 的研究小組 安全虛擬架構/SAFECode
University of Illinois at Urbana-Champaign Ravi Iyer 的研究小組 軟體可靠性的執行時期監控
University of Illinois at Urbana-Champaign Maria Garzaran 的研究小組 軟體可靠性的自動複製
University of Illinois at Urbana-Champaign Sanjay Patel 的研究小組 微架構研究
The University of Kansas Wesley Peck 用於 Xilinx FPGA 的 MicroBlaze 後端
The University of Pennsylvania Santosh Nagarakatte、Jianzhou Zhao、Milo M K Martin 和 Steve Zdancewic SoftBound
University of Texas at Austin Calvin Lin 的研究小組 Turnkey 指標分析

教育使用者


LLVM 開發列表