LLVMコンパイラインフラストラクチャ
サイトマップ
ダウンロード!
サイト内検索


便利なリンク
リリースメール
保守担当:
llvm-adminチーム
LLVMユーザー

このページには、研究、教育、産業、またはオープンソース開発においてLLVMを使用している、または使用していた個人や組織をリストアップしています。リストに含まれるのは、何らかの形でLLVMの使用について公に言及している(llvm-devで言及、論文発表など)ユーザーのみです。ここにリストされていない多くのユーザーがいると信じており、ご使用について簡単にご連絡いただければ、リストに追加させていただきます。

このページのエントリは簡潔です。これらのプロジェクトの一部は、「LLVMを使用しているプロジェクト」ページでより詳細に説明されています。

LLVMディストリビューション
産業ユーザー

企業 説明
アドビシステムズ株式会社 Hydra言語のオプティマイザとJITコード生成。
アドビシステムズ株式会社 ActionScript仮想マシン(AVM2)用のAlchemy C/C++コンパイラ。詳細については、FAQScott Petersen氏のDevMtg講演を参照してください。
アドビシステムズ株式会社 iPhoneソフトウェア開発向けのActionScript 3 Ahead-of-Time(AOT)コンパイラ。詳細については、Aditya Bansod氏のブログエントリこのビデオを参照してください。
エイジア・テクノロジーズ カスタムプロセッサ用のオプティマイザとバックエンド
アップル株式会社

AppleのすべてのオペレーティングシステムであるiOS、macOS、tvOS、watchOSは、LLVMテクノロジーを使用して構築されています。また、Appleの統合開発環境であるXcodeは、Swift、C、C++、Objective-Cの開発をサポートしており、これらはすべてLLVMテクノロジーを使用し、LLVMテクノロジーを使用して構築されています。Appleの実装であるOpenCLおよびOpenGL、Metalシェーディング言語、Core Image、macOSグラフィックドライバーも、LLVMテクノロジーを使用しています。

アルクサン・テクノロジーズ株式会社 EnsureIT - Android、Apple iOS、Linux向けの包括的なソフトウェア/コード保護。静的および動的分析の脅威に対処します。
アセニウム 再構成可能プロセッサ用のコンパイラ
オートESLデザインテクノロジーズ株式会社 Electronic System Level(ESL)からシリコンへ
アズールシステムズ株式会社 Azul SystemsのZing Java Virtual Machineには、LLVMベースの最適化されたハイティアJITコンパイラであるFalconが搭載されています。
C-to-Verilog C言語からVerilogハードウェア記述言語へのコンパイラ。回路設計を自動化します。
コードプレイソフトウェア CPU、GPU、DSP、カスタムプロセッサ向けのC/C++/OpenCLコンパイラとデバッガ。
MTCグループリミテッド Morpher - C/C++/ObjC/ObjC++向けのコンパイラ駆動型難読化ソリューション。リバースエンジニアリング、クラック、改ざんからの保護。
クレイ株式会社 Cray XT5以降のマシンで利用可能な、Cray x86コンパイラのバックエンド。
エレクトロニック・アーツ カスタム言語実装の実験的なバックエンド
エリクソン 16ビットバイトと固定小数点演算を備えた、カスタム通信DSP VLIWアーキテクチャ用のコンパイラ。
インテル OpenCL
ファーウェイ ファーウェイの昆鵬サーバー向けのC/C++/FortranコンパイラであるBiShengコンパイラ
Hue AS シェーダプログラムのJITコンパイル
コサダ株式会社 マルチメディアアーティスト向けの最新の視覚プログラミング言語であるVuoのコンパイラ。
モービルアイ スタックマシンアーキテクチャ用のコンパイラ
ナショナルインスツルメンツ LabView 2010用のコンパイラ
ヌアンティブラウザラボ

WebKit Meta 2.0 SDKには、透過的なC++ DOMとJavaScriptブリッジングを備えた、Webアプリケーションおよびゲーム開発用の特殊なLLVM/clangツールチェーンが含まれています。

C++/CLI NGは、Microsoft/ECMA-372言語標準を受け入れ、拡張するclangベースの.NETコンパイラです。

NVIDIA OpenCLランタイムコンパイラ(Clang + LLVM)
ラピッドマインド GPGPU、マルチコアCPU、OpenCLランタイムプラットフォーム向けのコンパイラプラットフォーム
リアルソフトウェア RBScriptとREAL Studioコンパイラのオプティマイザとコードジェネレータ。
シーメンステクノロジー・トゥ・ビジネスセンター 組み込みVLIWプロセッサ用のコンパイラ
ソナースソース C/C++/Objective-C言語のフロントエンド。ASTマッチャーとClang静的アナライザをライブラリとして使用。
ソニー・インタラクティブエンタテインメント PlayStation®4およびPlayStation®5システム用のCPUコンパイラ。
サン・マイクロシステムズ研究所 Parfait:Cコードのバグチェッカー
シノプシス株式会社 DesignWare ARC MetaWare EV開発ツールキット(OpenCL) – EV6xプロセッサ
DesignWare ARC MetaWare開発ツールキット(C/C++) – ARCプロセッサ
XMOSテクノロジー アーキテクチャ向けのバックエンドポート、マルチコアコード生成サポートも開発中。
オクタシック社 Opus Studio次世代、非同期DSPアーキテクチャ用のIDEとコンパイラ(開発中)。

オープンソースプロジェクト

プロジェクト 説明
SMACKソフトウェア検証ツール LLVM IRをBoogieに変換するソフトウェア検証ツール
Objective Modula-2プロジェクト ObjCランタイムサポート付きModula-2コンパイラ。Objective-CとLLVMをターゲット。
SunのOpenJDKのIcedTeaバージョン x86とSparc以外のアーキテクチャでJITとしてLLVMを使用。
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コンパイラ。
アンレーデッド・スワロー 高速なPython実装。
Mono Monoには、JITコンパイルにLLVMを使用するオプションがあります。
ルビニアス 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(Accelerated Linear Algebra)は、線形代数のドメイン固有コンパイラであり、TensorFlow計算を最適化します。
SeaHorn アルゴリズム論理に基づく推論フレームワーク。
Crab-llvm LLVMのための抽象解釈に基づいた静的アナライザ。

学術研究ユーザー

組織 人物 説明
アーボアカデミー大学 Johan Liliusの研究グループ、ES Lab 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のアスペクトウィーバー
レンヌ電子通信研究所
ARTEMIS - Institut Telecom/Telecom SudParis
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 ザイリンクスFPGA向けMicroBlazeバックエンド
ペンシルバニア大学 Santosh Nagarakatte, Jianzhou Zhao, Milo M K Martin, and Steve Zdancewic SoftBound
テキサス大学オースティン校 Calvin Lin 研究グループ ターンキーポインタ解析

教育ユーザー


LLVM開発者リスト