jon.recoil.org

Module Llvm_ir

module Type : sig ... end

Types in LLVM IR. These include both first-class types (like int or ptr) and non-first-class types (like labels or metadata)

module Ident : sig ... end

Identifiers in LLVM IR. Represents both global and local identifiers.

module Value : sig ... end

Values in LLVM IR. These are the main operands to instructions. They consist of a type and something that inhabits that type (confusingly called value here...). The latter can be an immediate, an identifier, among other things.

module Fn_attr : sig ... end
module Calling_conventions : sig ... end
module Instruction : sig ... end
module Function : sig ... end
module Fundecl : sig ... end
module Data : sig ... end
module Format : sig ... end

Useful miscellaneous printing functions for LLVM IR fragments