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


實用連結
發布電子郵件
維護者
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 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 和更新的機器上使用。
美商藝電 自訂語言實現的實驗性後端
愛立信 適用於自訂電信 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 工具鏈,用於網路應用程式和遊戲開發,具有透明的 C++ DOM 和 JavaScript 橋接功能。

C++/CLI NG 是一個基於 clang 的 .NET 編譯器,它包含並擴展了 Microsoft / ECMA-372 語言標準。

NVIDIA 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 程式碼錯誤檢查器
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 專案 Modula-2 編譯器,支援 ObjC 執行環境。目標平台為 Objective-C 和 LLVM。
Sun OpenJDK 的 IcedTea 版本 在 x86 和 Sparc 以外的架構上使用 LLVM 作為 JIT。
PyPy 專案 以 Python 編寫的 Python 直譯器。目標平台為 LLVM 和 C。
Faust 訊號處理語言 訊號處理語言,使用 LLVM JIT 進行執行時期程式碼生成
iPhone 工具鏈 適用於 iPhone 開發 Wiki 工具鏈的 llvm-gcc 編譯器。
IOQuake3 IOQuake3 光線追蹤修補程式,使用 LLVM 進行執行時期著色器編譯
llvm-py:LLVM 的 Python 繫結 使用 LLVM 後端以 Python 建置編譯器和虛擬機器。
LDC 基於 LLVM 的 D 語言編譯器。
Unladen Swallow 速度更快的 Python 實作。
Mono Mono 可以選擇使用 LLVM 進行 JIT 編譯。
Rubinius Ruby 環境。
MacRuby 適用於 Mac OS X 的 Ruby 實作。
Pure 基於項重寫的代數/函數式程式語言。
Roadsend PHP PHP 實作。
LLVM-Lua Lua 虛擬機器的 JIT 和靜態編譯支援。
Emscripten 一個 LLVM 到 JavaScript 的編譯器。
Julia 適用於技術計算的高階、高效能動態程式語言。
SkyEye 快速的完整系統模擬器。
Intel 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 的面向切面程式設計編織器 Aspicere2
雷恩電子與電信研究所
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 開發者郵件清單