Site Map:
Download!
Search this Site
Useful Links
Release Emails
Maintained by the
llvm-admin team
|
LLVM Users
This page lists the people and organizations that have used or are currently
using LLVM in research, education, industry, or open source development. It
only includes users who have publicly discussed their use of LLVM in one form
or another (mentioned it on llvm-dev, published work on it, etc.).
We believe there are many other users not listed here and would welcome a brief
note telling us about your use so that we can add you to the list.
This page has only brief entries. Some of these projects are
described in more detail on the
"Projects Using LLVM" page.
LLVM Distributions
Industry Users
Company |
Description |
Adobe Systems Incorporated |
Optimizer and JIT codegen for the Hydra Language. |
Adobe Systems Incorporated |
Alchemy C/C++ Compiler for the ActionScript
Virtual Machine (AVM2). See the FAQ
and Scott Petersen's DevMtg talk for more details. |
Adobe Systems Incorporated |
ActionScript 3 Ahead-of-Time (AOT) Compiler for iPhone software
development. See Aditya Bansod's
blog entry
and
this video for more details.
|
Ageia Technologies |
Optimizer and back end for custom processor |
Apple Inc. |
All of Apple’s operating systems, iOS, macOS, tvOS and watchOS, are built with LLVM technologies. And Xcode, Apple’s integrated development environment, supports development in Swift, C, C++, and Objective-C, all of which use and are built with LLVM technologies. Apple’s implementations of OpenCL and OpenGL, the Metal Shading Language, Core Image, and macOS graphics drivers also use LLVM technologies.
|
Arxan Technologies, Inc. |
EnsureIT - Comprehensive software/code protection for Android, Apple iOS, and
Linux. Covers against both static and dynamic analysis threats.
|
Ascenium |
Compiler for reconfigurable processor |
AutoESL Design Technologies, Inc. |
Electronic System Level (ESL) to Silicon |
Azul Systems, Inc. |
Azul Systems' Zing Java Virtual Machine ships with Falcon, an LLVM based optimizing high-tier JIT compiler. |
C-to-Verilog |
Compiler from C into the Verilog hardware description language.
Automates circuit design. |
Codeplay Software |
C/C++/OpenCL compilers and debuggers for CPUs, GPUs, DSPs and custom processors. |
MTC Group Ltd. |
Morpher - compiler-driven obfuscation
solution for C/C++/ObjC/ObjC++. Protection against reverse engineering,
cracking and tampering. |
Cray Inc. |
Backend for the Cray x86 compiler, available on the Cray XT5 and
later machines. |
Electronic Arts |
Experimental backend for custom language implementation |
Ericsson |
Compiler for a custom telecom DSP VLIW architecture, featuring
16-bit bytes and fixed-point arithmetic. |
Intel |
OpenCL |
Huawei |
BiSheng Compiler, a C/C++/Fortran compiler for Huawei's Kunpeng servers. |
Hue AS |
JIT compilation of shader programs |
Kosada, Inc. |
The compiler for Vuo, a modern visual programming language for multimedia artists. |
Mobileye |
Compiler for stack machine architecture |
National Instruments |
Compiler for LabView 2010 |
Nuanti Browser Labs |
WebKit Meta 2.0 SDK includes a specialized LLVM/clang toolchain
for web application and game development featuring transparent C++ DOM and JavaScript bridging.
C++/CLI NG is a
clang-based .NET compiler that embraces and extends the Microsoft / ECMA-372 language standard. |
NVIDIA |
OpenCL runtime compiler (Clang + LLVM) |
Rapidmind |
Compiler platform for their GPGPU, multicore CPU, and OpenCL runtime platforms. |
REAL Software |
Optimizer and code generator for RBScript and REAL Studio compiler. |
Siemens Technology-to-Business Center |
Compiler for embedded VLIW processor |
Sony Interactive Entertainment |
CPU compiler for the
PlayStation®4 and PlayStation®5 systems.
|
Sun Microsystems Laboratories |
Parfait: Bug checker of C code
|
Synopsys Inc. |
DesignWare ARC MetaWare EV Development Toolkit (OpenCL) – EV6x processors
DesignWare ARC MetaWare Development Toolkit (C/C++) – ARC processors
|
XMOS Technology |
Backend port for their
architecture, also working on multicore codegen support.
|
Octasic Inc |
Opus Studio next generation,
IDE and compiler for asynchronous DSP Architecture (in development).
|
Open Source Projects
Academic Research Users
Organization |
People |
Description |
Åbo Akademi University |
Johan Lilius's Research Group, ES Lab |
NECST project
|
Brigham Young University |
David Penry's Research Group |
Microarchitectural Simulator Partitioning and Synthesis
Adaptive Online Parallel Optimization |
Carnegie Mellon University |
David Koes |
Principled Compilation |
Ecole Polytechnique Fédérale de Lausanne |
George Candea's Research Group |
|
ETH Zurich |
Thomas Lenherr |
Language-independent library for alias analysis |
Friedrich-Alexander Universität,
Erlangen-Nüremberg |
Tobias Klaus, Fabian Scheler, and Florian Franzmann |
RTSC Real-Time Systems
Compiler |
Ghent University |
Kenneth Hoste |
Instrumentation of software |
GH-SEL, INTEC, Ghent University |
Bram Adams |
Aspect weaver for an AOP-language for C called
Aspicere2 |
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 |
Validation of interprocedural optimizations |
Rice University |
Keith Cooper's Research Group |
|
Stanford University |
Dawson Engler's Research Group |
KLEE Symbolic Virtual Machine |
Tampere University of Technology |
Jarmo Takala's research group, Department of Computer Systems |
The TTA Based Codesign Environment (TCE) project |
University of California, San Diego
|
Michael McCracken |
LENS Framework
|
University of California, Irvine
|
Samar Abdi, Dan Gajski |
Embedded System Environment project |
University of California, Los Angeles
|
Jason Cong |
xPilot behavioral synthesis system |
University of California, Los Angeles
|
Jens Palsberg |
|
University of Illinois at Urbana-Champaign
|
Vikram Adve's Research Group
|
Secure Virtual Architecture/SAFECode
|
University of Illinois at Urbana-Champaign
|
Ravi Iyer's Research Group |
Runtime monitoring for software reliability |
University of Illinois at Urbana-Champaign
|
Maria Garzaran's Research Group |
Automatic replication for software reliability |
University of Illinois at Urbana-Champaign
|
Sanjay Patel's Research Group |
Microarchitecture research |
The University of Kansas
|
Wesley Peck |
MicroBlaze backend for use on Xilinx FPGAs |
The University of Pennsylvania
|
Santosh Nagarakatte, Jianzhou Zhao, Milo M K Martin, and
Steve Zdancewic |
SoftBound |
University of Texas at Austin
|
Calvin Lin's Research Group |
Turnkey Pointer Analysis |
Educational Users
LLVM Development List
|