Reference

LLVM and API reference documentation.

API Reference

Doxygen generated documentation

(classes)

How To Use Attributes

Answers some questions about the new Attributes infrastructure.

LLVM Reference

Command Line Utilities

LLVM Command Guide

A reference manual for the LLVM command line utilities (“man” pages for LLVM tools).

LLVM bugpoint tool: design and usage

Automatic bug finder and test-case reducer description and usage information.

Using -opt-bisect-limit to debug optimization errors

A command line option for debugging optimization-induced failures.

Symbolizer Markup Format

A reference for the log symbolizer markup accepted by llvm-symbolizer.

The Microsoft PDB File Format

A detailed description of the Microsoft PDB (Program Database) file format.

Garbage Collection

Garbage Collection with LLVM

The interfaces source-language compilers should use for compiling GC’d programs.

Garbage Collection Safepoints in LLVM

This describes a set of experimental extensions for garbage collection support.

LibFuzzer

libFuzzer – a library for coverage-guided fuzz testing.

A library for writing in-process guided fuzzers.

Fuzzing LLVM libraries and tools

Information on writing and using Fuzzers to find bugs in LLVM.

LLVM IR

LLVM Language Reference Manual

Defines the LLVM intermediate representation and the assembly form of the different nodes.

Undefined Behavior (UB)

A guide on what UB/undef/poison are and when to use each one.

Design and Usage of the InAlloca Attribute

Description of the inalloca argument attribute.

LLVM Bitcode File Format

This describes the file format and encoding used for LLVM “bc” files.

Machine IR (MIR) Format Reference Manual

A reference manual for the MIR serialization format, which is used to test LLVM’s code generation passes.

Global Instruction Selection

This describes the prototype instruction selection replacement, GlobalISel.

Convergent Operation Semantics

Description of convergent operation semantics and related intrinsics.

Testing and Debugging

LLVM Testing Infrastructure Guide

A reference manual for using the LLVM testing infrastructure.

test-suite Guide

Describes how to compile and run the test-suite benchmarks.

GWP-ASan

A sampled heap memory error detection toolkit designed for production use.

XRay

XRay Instrumentation

High-level documentation of how to use XRay in LLVM.

Debugging with XRay

An example of how to debug an application with XRay.

Additional Topics

FaultMaps and implicit checks

LLVM support for folding control flow into faulting machine instructions.

LLVM Atomic Instructions and Concurrency Guide

Information about LLVM’s concurrency model.

Exception Handling in LLVM

This document describes the design and implementation of exception handling in LLVM.

LLVM Extensions

LLVM-specific extensions to tools and formats LLVM seeks compatibility with.

How to set up LLVM-style RTTI for your class hierarchy

How to make isa<>, dyn_cast<>, etc. available for clients of your class hierarchy.

LLVM Block Frequency Terminology

Provides information about terminology used in the BlockFrequencyInfo analysis pass.

LLVM Branch Weight Metadata

Provides information about Branch Prediction Information.

The Often Misunderstood GEP Instruction

Answers to some very frequent questions about LLVM’s most frequently misunderstood instruction.

Scudo Hardened Allocator

A library that implements a security-hardened malloc().

Memory Model Relaxation Annotations

Target-defined relaxation to LLVM’s concurrency model.

MemTagSanitizer

Security hardening for production code aiming to mitigate memory related vulnerabilities. Based on the Armv8.5-A Memory Tagging Extension.

Dependence Graphs

A description of the design of the various dependence graphs such as the DDG (Data Dependence Graph).

Speculative Load Hardening

A description of the Speculative Load Hardening mitigation for Spectre v1.

Segmented Stacks in LLVM

This document describes segmented stacks and how they are used in LLVM.

LLVM’s Optional Rich Disassembly Output

This document describes the optional rich disassembly output syntax.

Stack maps and patch points in LLVM

LLVM support for mapping instruction addresses to the location of values and allowing code to be patched.

Coroutines in LLVM

LLVM support for coroutines.

Pointer Authentication

A description of pointer authentication, its LLVM IR representation, and its support in the backend.

YAML I/O

A reference guide for using LLVM’s YAML I/O library.

Convergence And Uniformity

A description of uniformity analysis in the presence of irreducible control flow, and its implementation.