Class ControlFlowGraphLoopReducer

java.lang.Object

org.jd.core.v1.service.converter.classfiletojavasyntax.util.ControlFlowGraphLoopReducer

public class ControlFlowGraphLoopReducer
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	ControlFlowGraphLoopReducer.LoopComparator

Field Summary

Fields

Modifier and Type	Field	Description
protected static final ControlFlowGraphLoopReducer.LoopComparator	LOOP_COMPARATOR

Constructor Summary

Constructors

Constructor	Description
ControlFlowGraphLoopReducer()

Method Summary

Modifier and Type	Method	Description
static BitSet[]	buildDominatorIndexes(ControlFlowGraph cfg)
private static int	checkMaxOffset(BasicBlock basicBlock)
private static int	checkSynchronizedBlockOffset(BasicBlock basicBlock)
private static int	checkThrowBlockOffset(BasicBlock basicBlock)
static List<Loop>	identifyNaturalLoops(ControlFlowGraph cfg, BitSet[] arrayOfDominatorIndexes)
protected static boolean	inSearchZone(BasicBlock basicBlock, BitSet searchZoneIndexes)
protected static Loop	makeLoop(List<BasicBlock> list, BasicBlock start, BitSet searchZoneIndexes, BitSet memberIndexes)
protected static BasicBlock	newJumpBasicBlock(BasicBlock bb, BasicBlock target)
protected static boolean	predecessorsInSearchZone(BasicBlock basicBlock, BitSet searchZoneIndexes)
protected static BasicBlock	recheckEndBlock(Set<BasicBlock> members, BasicBlock end)
protected static void	recursiveBackwardSearchLoopMemberIndexes(BitSet visited, BasicBlock current, BasicBlock start)
protected static boolean	recursiveForwardSearchLastLoopMemberIndexes(HashSet<BasicBlock> members, BitSet searchZoneIndexes, HashSet<BasicBlock> set, BasicBlock current, BasicBlock end)
protected static void	recursiveForwardSearchLoopMemberIndexes(BitSet visited, BitSet searchZoneIndexes, BasicBlock current, int maxOffset)
protected static void	recursiveForwardSearchLoopMemberIndexes(BitSet visited, BitSet searchZoneIndexes, BasicBlock current, BasicBlock target)
static void	reduce(ControlFlowGraph cfg)
protected static BasicBlock	reduceLoop(Loop loop)
private static BasicBlock	searchEndBasicBlock(BitSet memberIndexes, int maxOffset, Set<BasicBlock> members)
protected static BitSet	searchLoopMemberIndexes(int length, BitSet memberIndexes, BasicBlock current, BasicBlock start)

Methods inherited from class Object

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

Field Details

LOOP_COMPARATOR

protected static final ControlFlowGraphLoopReducer.LoopComparator LOOP_COMPARATOR

Constructor Details

ControlFlowGraphLoopReducer

public ControlFlowGraphLoopReducer()

Method Details

buildDominatorIndexes

public static BitSet[] buildDominatorIndexes(ControlFlowGraph cfg)

identifyNaturalLoops

public static List<Loop> identifyNaturalLoops(ControlFlowGraph cfg,
 BitSet[] arrayOfDominatorIndexes)

searchLoopMemberIndexes

protected static BitSet searchLoopMemberIndexes(int length,
 BitSet memberIndexes,
 BasicBlock current,
 BasicBlock start)

recursiveBackwardSearchLoopMemberIndexes

protected static void recursiveBackwardSearchLoopMemberIndexes(BitSet visited,
 BasicBlock current,
 BasicBlock start)

makeLoop

protected static Loop makeLoop(List<BasicBlock> list,
 BasicBlock start,
 BitSet searchZoneIndexes,
 BitSet memberIndexes)

searchEndBasicBlock

private static BasicBlock searchEndBasicBlock(BitSet memberIndexes,
 int maxOffset,
 Set<BasicBlock> members)

checkMaxOffset

private static int checkMaxOffset(BasicBlock basicBlock)

checkSynchronizedBlockOffset

private static int checkSynchronizedBlockOffset(BasicBlock basicBlock)

checkThrowBlockOffset

private static int checkThrowBlockOffset(BasicBlock basicBlock)

recursiveForwardSearchLoopMemberIndexes

protected static void recursiveForwardSearchLoopMemberIndexes(BitSet visited,
 BitSet searchZoneIndexes,
 BasicBlock current,
 BasicBlock target)

recursiveForwardSearchLoopMemberIndexes

protected static void recursiveForwardSearchLoopMemberIndexes(BitSet visited,
 BitSet searchZoneIndexes,
 BasicBlock current,
 int maxOffset)

recursiveForwardSearchLastLoopMemberIndexes

protected static boolean recursiveForwardSearchLastLoopMemberIndexes(HashSet<BasicBlock> members,
 BitSet searchZoneIndexes,
 HashSet<BasicBlock> set,
 BasicBlock current,
 BasicBlock end)

predecessorsInSearchZone

protected static boolean predecessorsInSearchZone(BasicBlock basicBlock,
 BitSet searchZoneIndexes)

inSearchZone

protected static boolean inSearchZone(BasicBlock basicBlock,
 BitSet searchZoneIndexes)

recheckEndBlock

protected static BasicBlock recheckEndBlock(Set<BasicBlock> members,
 BasicBlock end)

reduceLoop

protected static BasicBlock reduceLoop(Loop loop)

newJumpBasicBlock

protected static BasicBlock newJumpBasicBlock(BasicBlock bb,
 BasicBlock target)

reduce

public static void reduce(ControlFlowGraph cfg)