From 8dfdd53a04146d8ee50601e288a013c7ccb676a9 Mon Sep 17 00:00:00 2001
From: Pierre Wilke <pierre.wilke@centralesupelec.fr>
Date: Mon, 6 Apr 2020 10:03:49 +0200
Subject: [PATCH] fix regalloc graph dump
---
src/regalloc.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/regalloc.ml b/src/regalloc.ml
index 59b49f8..ec29f3e 100644
--- a/src/regalloc.ml
+++ b/src/regalloc.ml
@@ -272,12 +272,12 @@ let dump_interf_graph oc (fname, rig, allocation) =
Format.fprintf oc "subgraph cluster_%s{\n" fname;
Format.fprintf oc "label=\"%s\";\n" fname;
Hashtbl.keys rig |> Enum.iter (fun r ->
- Format.fprintf oc "r%d [style=filled,fillcolor=\"%s\"];\n" r (color_of_allocation r)
+ Format.fprintf oc "%s_r%d [label=\"r%d\",style=filled,fillcolor=\"%s\"];\n" fname r r (color_of_allocation r)
);
Hashtbl.iter
(fun i s ->
Set.iter (fun x ->
- Format.fprintf oc "r%d -> r%d;\n" i x
+ Format.fprintf oc "%s_r%d -> %s_r%d;\n" fname i fname x
) s;)
rig;
Format.fprintf oc "}\n"
--
GitLab