org.jikesrvm.compilers.opt.driver

Class CFGVisualization

java.lang.Object

org.jikesrvm.compilers.opt.driver.CFGVisualization

public class CFGVisualization
extends Object

Prints a CFG visualization to a file using the dot output format. Further processing can be done using tools such as Graphviz or graphical frontends such as ZGRviewer.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected static class	CFGVisualization.StringWrapper

Field Summary

Fields

Modifier and Type	Field and Description
private static byte	BLACK
private static String	CENTERED
private static byte	GRAY
private static byte	HIGHLIGHTED
private IR	ir
private static String	LEFT_JUSTIFIED
private byte[]	nodeToColour
private BufferedWriter	out
private static byte	UNVISITED

Constructor Summary

Constructors

Constructor and Description
CFGVisualization(IR ir, String tag)

Method Summary

Modifier and Type	Method and Description
private String	determineFileName(IR ir, String tag, RVMMethod method)
protected void	dfsCFG(BasicBlock bb, IR ir)
protected String	enumerateAndFormatInstructions(BasicBlock succBB)
protected String	formatCall(Instruction inst)
protected String	formatHighlighting(BasicBlock bb)
protected String	formatInstruction(Instruction inst) Formats instructions.
void	markBlockAsHighlighted(BasicBlock bb)
protected CFGVisualization.StringWrapper	setDirectionalEdges(BasicBlock succBB, BasicBlock bb) Generates control-flow edge descriptions for basic blocks.
void	visualizeCFG()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

CENTERED

private static final String CENTERED

See Also:

Constant Field Values

LEFT_JUSTIFIED

private static final String LEFT_JUSTIFIED

See Also:

Constant Field Values

UNVISITED

private static final byte UNVISITED

See Also:

Constant Field Values

HIGHLIGHTED

private static final byte HIGHLIGHTED

See Also:

Constant Field Values

GRAY

private static final byte GRAY

See Also:

Constant Field Values

BLACK

private static final byte BLACK

See Also:

Constant Field Values

out

private final BufferedWriter out

ir

private final IR ir

nodeToColour

private final byte[] nodeToColour

Constructor Detail

CFGVisualization

public CFGVisualization(IR ir,
                        String tag)
                 throws SecurityException,
                        IOException

Throws:

SecurityException

IOException

Method Detail

determineFileName

private String determineFileName(IR ir,
                                 String tag,
                                 RVMMethod method)

visualizeCFG

public void visualizeCFG()
                  throws IOException

Throws:

IOException

dfsCFG

protected void dfsCFG(BasicBlock bb,
                      IR ir)
               throws IOException

Throws:

IOException

setDirectionalEdges

protected CFGVisualization.StringWrapper setDirectionalEdges(BasicBlock succBB,
                                                             BasicBlock bb)

Generates control-flow edge descriptions for basic blocks.

Parameters:

succBB - successor basic block

bb - current basic block

Returns:

a pair of strings

enumerateAndFormatInstructions

protected String enumerateAndFormatInstructions(BasicBlock succBB)

formatInstruction

protected String formatInstruction(Instruction inst)

Formats instructions. Currently only calls are specially formatted, everything else is just printed.

Parameters:

inst - an instruction

Returns:

the String for the instruction

formatCall

protected String formatCall(Instruction inst)

markBlockAsHighlighted

public void markBlockAsHighlighted(BasicBlock bb)

formatHighlighting

protected String formatHighlighting(BasicBlock bb)