diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1995-06-15 08:17:29 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1995-06-15 08:17:29 +0000 |
| commit | 3ceaa85c72b2094bb090a1819b65a2792cf2d3c1 (patch) | |
| tree | 1867a2dbad04858016b4a6da98546dab8f0938a7 /asmcomp/coloring.mli | |
| parent | 21db169a88b861f854f96f5d2ff3117366738aa1 (diff) | |
| download | ocaml-3ceaa85c72b2094bb090a1819b65a2792cf2d3c1.tar.gz | |
Premiere version.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@34 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'asmcomp/coloring.mli')
| -rw-r--r-- | asmcomp/coloring.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/asmcomp/coloring.mli b/asmcomp/coloring.mli new file mode 100644 index 0000000000..7b45787cc9 --- /dev/null +++ b/asmcomp/coloring.mli @@ -0,0 +1,3 @@ +(* Register allocation by coloring of the interference graph *) + +val allocate_registers: unit -> unit |