summaryrefslogtreecommitdiffstats
path: root/asmcomp/interf.mli
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>1995-06-15 08:17:29 +0000
committerXavier Leroy <xavier.leroy@inria.fr>1995-06-15 08:17:29 +0000
commit3ceaa85c72b2094bb090a1819b65a2792cf2d3c1 (patch)
tree1867a2dbad04858016b4a6da98546dab8f0938a7 /asmcomp/interf.mli
parent21db169a88b861f854f96f5d2ff3117366738aa1 (diff)
Premiere version.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@34 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'asmcomp/interf.mli')
-rw-r--r--asmcomp/interf.mli4
1 files changed, 4 insertions, 0 deletions
diff --git a/asmcomp/interf.mli b/asmcomp/interf.mli
new file mode 100644
index 000000000..abed42079
--- /dev/null
+++ b/asmcomp/interf.mli
@@ -0,0 +1,4 @@
+(* Construction of the interference graph.
+ Annotate pseudoregs with interference lists and preference lists. *)
+
+val build_graph: Mach.fundecl -> unit