source: extracted/untrusted/build.mli @ 2742

Last change on this file since 2742 was 2742, checked in by sacerdot, 7 years ago

Untrusted register colouring fully branched.

File size: 459 bytes
Line 
1(* Pasted from Pottier's PP compiler *)
2
3(** This module builds an interference graph for an [ERTL] function.
4    This is done by running a liveness analysis and exploiting its
5    result. [build] returns both the result of the liveness analysis
6    and the interference graph. *)
7
8val build:
9 AST.ident List.list ->
10  Joint.joint_internal_function ->
11   Positive.pos Identifiers.identifier_map ->
12    Fixpoints.valuation ->
13     Untrusted_interference.graph
Note: See TracBrowser for help on using the repository browser.