The LLVM Compiler Infrastructure
Site Map:
Download!
Search this Site


Useful Links
Release Emails
19.1.3: Oct 2024
19.1.2: Oct 2024
19.1.1: Oct 2024
19.1.0: Sep 2024
18.1.8: Jun 2024
18.1.7: Jun 2024
18.1.6: May 2024
18.1.5: May 2024
18.1.4: Apr 2024
18.1.3: Apr 2024
18.1.2: Mar 2024
18.1.1: Mar 2024
18.1.0: Mar 2024
17.0.6: Nov 2023
17.0.5: Nov 2023
17.0.4: Oct 2023
17.0.3: Oct 2023
17.0.2: Oct 2023
17.0.1: Sep 2023
All Announcements

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
SonarSource Frontend for the C/C++/Objective-C languages. AST matchers and the Clang Static Analyzer as libraries.
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

Project Description
SMACK Software Verifier Software verifier that converts LLVM IR to Boogie
Objective Modula-2 Project Modula-2 compiler w/ObjC runtime support. Targets Objective-C and LLVM.
IcedTea Version of Sun's OpenJDK Uses LLVM as JIT on architectures other than x86 and Sparc.
PyPy Project Python interpreter written in Python. Targets LLVM and C.
Faust Signal Processing Language Signal processing language, uses the LLVM JIT for runtime codegen.
iPhone tool chain llvm-gcc Compiler for iPhone Dev Wiki toolchain.
IOQuake3 IOQuake3 Raytracing Patch, uses LLVM for runtime shader compilation.
llvm-py: Python Bindings for LLVM Build compilers and VMs in Python, using the LLVM Backend.
LDC LLVM-based D Compiler.
Unladen Swallow A faster implementation of Python.
Mono Mono has an option to use LLVM for JIT compilation.
Rubinius Ruby Environment.
MacRuby Ruby Implementation for Mac OS X.
Pure Term rewriting algebraic/functional programming language.
Roadsend PHP PHP implementation.
LLVM-Lua JIT and static compilation support for the Lua VM.
Emscripten An LLVM to JavaScript compiler.
Julia High-level, high-performance dynamic programming language for technical computing.
SkyEye Fast full system simulator.
Intel SPMD Compiler C-based SPMD language for CPU vector units.
XLA XLA (Accelerated Linear Algebra) is a domain-specific compiler for linear algebra that optimizes TensorFlow computations.
SeaHorn An Algorithmic Logic-Based Reasoning Framework.
Crab-llvm A static analyzer based on abstract interpretation for LLVM.

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