about summary refs log tree commit diff
diff options
context:
space:
mode:
authorSimonas Kazlauskas <git@kazlauskas.me>2015-12-19 00:45:39 +0200
committerSimonas Kazlauskas <git@kazlauskas.me>2015-12-19 01:25:10 +0200
commit03903cbc20fe5a12efe6eb98dbd5ab54b457ddf0 (patch)
treec411fe07363d997fd4ba472a41702e8a317321bc
parentde62f9d885623318206620ddd2856a288ccd3ee4 (diff)
downloadrust-03903cbc20fe5a12efe6eb98dbd5ab54b457ddf0.tar.gz
rust-03903cbc20fe5a12efe6eb98dbd5ab54b457ddf0.zip
Prettify MIR graphviz output
One will look at graphviz often when working with MIR, so may as well make the tables a bit more
pretty :)
-rw-r--r--src/librustc_mir/graphviz/mod.rs18
1 files changed, 9 insertions, 9 deletions
diff --git a/src/librustc_mir/graphviz/mod.rs b/src/librustc_mir/graphviz/mod.rs
index f8cec83dc31..d5da606d76e 100644
--- a/src/librustc_mir/graphviz/mod.rs
+++ b/src/librustc_mir/graphviz/mod.rs
@@ -34,24 +34,24 @@ impl<'a,'tcx> dot::Labeller<'a, BasicBlock, EdgeIndex> for Mir<'tcx> {
 
     fn node_label(&'a self, &n: &BasicBlock) -> dot::LabelText<'a> {
         let mut buffer = String::new();
-        buffer.push_str("<TABLE ALIGN=\"LEFT\">");
+        buffer.push_str("<table border=\"0\" cellborder=\"1\" cellspacing=\"0\">");
 
-        buffer.push_str("<TR><TD>");
-        buffer.push_str(&format!("{:?}", n));
-        buffer.push_str("</TD></TR>");
+        buffer.push_str("<tr><td><b>");
+        buffer.push_str(&escape(format!("{:?}", n)));
+        buffer.push_str("</b></td></tr>");
 
         let data = self.basic_block_data(n);
         for statement in &data.statements {
-            buffer.push_str("<TR><TD>");
+            buffer.push_str("<tr><td align=\"left\">");
             buffer.push_str(&escape(format!("{:?}", statement)));
-            buffer.push_str("</TD></TR>");
+            buffer.push_str("</td></tr>");
         }
 
-        buffer.push_str("<TR><TD>");
+        buffer.push_str("<tr><td align=\"left\" bgcolor=\"cornsilk\">");
         buffer.push_str(&escape(format!("{:?}", &data.terminator)));
-        buffer.push_str("</TD></TR>");
+        buffer.push_str("</td></tr>");
 
-        buffer.push_str("</TABLE>");
+        buffer.push_str("</table>");
 
         dot::LabelText::html(buffer)
     }