ocaml-base-compiler
Legend:
Library
Module
Module type
Parameter
Class
Class type

Coalescing of per-instruction information into possibly-discontiguous regions of code delimited by labels. This is used for collating register availability and lexical block scoping information into a concise form.