diff options
| author | Simonas Kazlauskas <git@kazlauskas.me> | 2015-12-19 00:45:39 +0200 |
|---|---|---|
| committer | Simonas Kazlauskas <git@kazlauskas.me> | 2015-12-19 01:25:10 +0200 |
| commit | 03903cbc20fe5a12efe6eb98dbd5ab54b457ddf0 (patch) | |
| tree | c411fe07363d997fd4ba472a41702e8a317321bc | |
| parent | de62f9d885623318206620ddd2856a288ccd3ee4 (diff) | |
| download | rust-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.rs | 18 |
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) } |
