org.jikesrvm.compilers.opt.controlflow

Class Diamond

java.lang.Object

org.jikesrvm.compilers.opt.controlflow.Diamond

final class Diamond
extends Object

This class represents a diamond (if-then-else) structure in the control-flow graph.

Field Summary

Fields

Modifier and Type	Field and Description
private BasicBlock	bottom The bottom of the diamond
private BasicBlock	notTaken The "not-taken" branch of the diamond (might be null)
private BasicBlock	taken The "taken" branch of the diamond (might be null)
private BasicBlock	top The top of the diamond

Constructor Summary

Constructors

Constructor and Description
Diamond(BasicBlock top, BasicBlock taken, BasicBlock notTaken, BasicBlock bottom)

Method Summary

Modifier and Type	Method and Description
(package private) static Diamond	buildDiamond(BasicBlock bb) See if bb is the root of a diamond.
private static Diamond	fourElementDiamond(BasicBlock top, BasicBlock left, BasicBlock right, BasicBlock bottom)
(package private) BasicBlock	getBottom()
(package private) BasicBlock	getNotTaken()
(package private) BasicBlock	getTaken()
(package private) BasicBlock	getTop()
private static Diamond	threeElementDiamond(BasicBlock top, BasicBlock side, BasicBlock bottom)
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

top

private final BasicBlock top

The top of the diamond

bottom

private final BasicBlock bottom

The bottom of the diamond

taken

private final BasicBlock taken

The "taken" branch of the diamond (might be null)

notTaken

private final BasicBlock notTaken

The "not-taken" branch of the diamond (might be null)

Constructor Detail

Diamond

Diamond(BasicBlock top,
        BasicBlock taken,
        BasicBlock notTaken,
        BasicBlock bottom)

Method Detail

getTop

BasicBlock getTop()

Returns:

the top of the diamond

getBottom

BasicBlock getBottom()

Returns:

the bottom of the diamond

getTaken

BasicBlock getTaken()

Returns:

the "taken" branch of the diamond (might be null)

getNotTaken

BasicBlock getNotTaken()

Returns:

the "not-taken" branch of the diamond (might be null)

buildDiamond

static Diamond buildDiamond(BasicBlock bb)

See if bb is the root of a diamond. If so, return an Diamond representing the structure.

Parameters:

bb - possible root of a diamond

Returns:

a structure representing the diamond, null if not applicable.

fourElementDiamond

private static Diamond fourElementDiamond(BasicBlock top,
                                          BasicBlock left,
                                          BasicBlock right,
                                          BasicBlock bottom)

threeElementDiamond

private static Diamond threeElementDiamond(BasicBlock top,
                                           BasicBlock side,
                                           BasicBlock bottom)

toString

public String toString()

Overrides:

toString in class Object