LLVM

Vellvm - Verifying the LLVM.

Vellvm: Verifying the LLVM - Steve Zdancewic (2018) - Great intro to LLVM.

Code Generation with llvm-hs by Stephen Diehl (2018)

Souper - Superoptimizer for LLVM IR. (HN)

Mull - Mutation testing system built on top of LLVM.

LLVM Tutorial: Table of Contents

Compiler basics (3): LLVM (2019)

CodeGen - Experimental wrapper over LLVM for generating and compiling code at run-time.

LLVM backend for the Accelerate Array Language

kaleidoscope-rs - LLVM tutorial implementation in Rust with llvm-sys.

Compiler basics (3): LLVM (2019)

Let's Write an LLVM Specializer for Python (2019) (HN)

2019 LLVM Developers’ Meeting: E. Christopher & J. Doerfert “Introduction to LLVM”

LLVM Tutor - Collection of self-contained reference LLVM passes. It's a tutorial that targets novice and aspiring LLVM developers.

LLVM Discourse

LLVM Discord

LLVM for Grad Students (2015) (step-by-step tutorial for building an LLVM sample pass)

Quala - Type Qualifiers for LLVM/Clang.

haybale - Symbolic execution of LLVM IR, written in Rust.

2019 EuroLLVM Developers’ Meeting: V. Bridgers & F. Piovezan “LLVM IR Tutorial - Phis, GEPs ...”

Beyond debug information: Improving program reconstruction in LLDB using C++ modules (2019)

LLVM source code

Generating Verified LLVM from Isabelle/HOL

Snel: SQL Native Execution for LLVM (2020) (HN)

Clang - C language family frontend for LLVM. (Docs)

Alive2 - Automatic verification of LLVM optimizations. (Paper)

Micro C, Part 3: Generating LLVM (2020)

jitmap - Small library providing an execution engine for logical binary expressions on bitmaps.

LLVM Explore - Notes created while studying LLVM compiler infrastructure in preparation for compiler engineer job and onsite interview.

Joseph Groff & Chris Lattner “Swift's High-Level IR: A Case Study..." (2015)

Chris Lattner: Compilers, LLVM, Swift, TPU, and ML Accelerators (2019)

Cilk - Toy Compiler Infrastructure influenced by LLVM written in Rust.

Make LLVM fast again (2020) (Reddit) (HN)

Mapping High Level Constructs to LLVM IR (Code)

KLEE LLVM Execution Engine - Symbolic virtual machine built on top of LLVM. (HN)

Anselm - Tool that allows you to describe and detect patterns of bad behavior in function calls.

pitchfork - Verifying constant-time code with symbolic execution.

PhASAR - LLVM-based Static Analysis Framework. (Web)

cclyzer - Tool for analyzing LLVM bitcode using Datalog.

Vellvm - Coq formalization of the semantics of (a subset of) the LLVM compiler IR.

Writing an LLVM Optimization (2020)

KLEE - Symbolic virtual machine built on top of the LLVM compiler infrastructure.

ALLVM Research Project - All software components — except a small set needed for bootstrapping — are represented in a virtual instruction set instead of native machine code.

Run LLVM Assembly in the Browser (HN)

Compiling a Higher-Order Smart Contract Language to LLVM (Tweet)

The Dynamic Runtime Inlining (DRTI) - With this project it is possible to take the output from an LLVM compiler such as clang and allow selected parts of the code to recompile themselves at runtime. (HN)

Understanding static single assignment forms (2020)

LLVM tutorial in Rust language

A tutorial on how to write a compiler using LLVM (2020)

cargo-llvm-lines - Count lines of LLVM IR per generic function.

QBE vs. LLVM (HN)

Infrastructure for ML - Driven Optimizations in LLVM

LLVM Project Blog

A Complete Guide to LLVM for Programming Language Creators (2020) (HN)

The Architecture of Open Source Applications: LLVM (Reddit)

Enzyme - High-Performance Automatic Differentiator of LLVM. (Docs)

DebugIR - Debugging LLVM-IR Files.

Dumbo: LLVM-based Dumb Obfuscator (2019)

LLVM Meets Code Property Graphs (2021)

LLVM Project Blog

revng - Static binary translator. Given a input ELF binary for one of the supported architectures, it will analyze it and emit an equivalent LLVM IR.

PolyTracker - LLVM-based instrumentation tool for universal taint analysis.

A look at LLVM - comparing clamp implementations (2021) (HN)

Speedbuilding LLVM/Clang in 5 minutes (2021)

Building LLVM in 90 seconds using Amazon Lambda (2021) (Lobsters)

eBPF assembly with LLVM (2020)

Alive2: Bounded Translation Validation for LLVM (2021)

llvm-deobfuscator - Performs the inverse operation of the control flow flattening pass performed by LLVM-Obfuscator. (Article)

LLVM MinGW - LLVM/Clang/LLD based mingw-w64 toolchain.

Design issues in LLVM IR (2021)

Can memcpy be implemented in LLVM IR? (2021)

Clang and LLVM Tutorial - AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analysis, LLVM Backend.

LLVM Internals: The Bitcode Format (2021)

A Journey to Understand LLVM-IR (2021)

Can we directly execute LLVM-IR?

Learning Almost Nothing About LLVM (2021) (HN)

Whole Program LLVM in Go - Drop-in replacement for wllvm, that builds the bitcode in parallel, and is faster.

The select story (2021) - Story about the removal of a compiler optimization that had been in LLVM for a long time.

LLVM 13.0.0 (2021) (HN)

llvm-pretty - LLVM pretty printer inspired by the Haskell LLVM binding.

Generating relocatable code for ARM processors (2021) (HN)

llvmlite - Lightweight LLVM Python Binding for Writing JIT Compilers. (Docs)

gem5-SALAM (System Architecture for LLVM-based Accelerator Modeling) - Novel system architecture designed to enable LLVM-based modeling and simulation of custom hardware accelerators.

mlir-hs - Haskell bindings for MLIR.

Make LLVM fast again (2020)

Building a Distribution of LLVM

How to learn compilers: LLVM Edition (2021) (HN)

llvm-reduce (2021)

2021 LLVM Developers' Meeting

manyclangs - Project enabling you to run any commit of clang within a few seconds, without having to build it.

LLVM relicensing update and call for help (2021) (HN) (Lobsters)

Remill - Library for lifting of x86, amd64, and aarch64 machine code to LLVM bitcode.

mollusc - Pure-Rust libraries for parsing, interpreting, and analyzing LLVM.

“LLVM-Libc” C Standard Library (HN)

llvm-deno - LLVM bindings for Deno.