Module Compute_ranges

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.

module Make : functor (S : Compute_ranges_intf.S_functor) -> Compute_ranges_intf.S with module Index := S.Index with module Key := S.Key with module Subrange_state := S.Subrange_state with module Subrange_info := S.Subrange_info with module Range_info := S.Range_info