LLVM

Links

• 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.

• 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.

• 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)