Package jadx.core.dex.visitors.regions.maker

Class LoopRegionMaker

java.lang.Object

jadx.core.dex.visitors.regions.maker.LoopRegionMaker

final class LoopRegionMaker
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
private final IfRegionMaker	ifMaker
private final MethodNode	mth
private final RegionMaker	regionMaker

Constructor Summary

Constructors

Constructor	Description
LoopRegionMaker(MethodNode mth, RegionMaker regionMaker, IfRegionMaker ifMaker)

Method Summary

Modifier and Type	Method	Description
private void	addBreakLabel(BlockNode blockOnLoop, BlockNode exit, InsnNode breakInsn)
private boolean	canInsertBreak(BlockNode exit)
private static boolean	canInsertContinue(BlockNode pred, List<BlockNode> predecessors, BlockNode loopEnd, Set<BlockNode> loopExitNodes)
private boolean	checkLoopExits(LoopInfo loop, BlockNode mainExitBlock)
private boolean	inExceptionHandlerBlocks(BlockNode loopEnd)
private static void	insertContinue(LoopInfo loop)
private boolean	insertLoopBreak(RegionStack stack, LoopInfo loop, BlockNode loopExit, BlockNode blockOnLoop, Edge exitEdge)
private static boolean	isDominatedOnBlocks(BlockNode dom, List<BlockNode> blocks)
private static boolean	isExitAtLoopEnd(BlockNode exit, LoopInfo loop)
private boolean	isNestedIfCross(BlockNode crossing, Queue<Edge> edgesToCheck)
private boolean	isOuterOutblock(BlockNode crossing, LoopInfo loop)
private BlockNode	makeEndlessLoop(IRegion curRegion, RegionStack stack, LoopInfo loop, BlockNode loopStart)
private LoopRegion	makeLoopRegion(IRegion curRegion, LoopInfo loop, List<BlockNode> exitBlocks)	Select loop exit and construct LoopRegion
private boolean	noWorkBeforeEnd(BlockNode firstInstructionBlock, BlockNode outBlock)
private boolean	oneBlockOfWorkBeforeEnd(BlockNode firstInstructionBlock, BlockNode outBlock)
(package private) BlockNode	process(IRegion curRegion, LoopInfo loop, RegionStack stack)
private Boolean	validOutBlock(BlockNode outBlock, LoopInfo loop)
private boolean	viaValidUncleanSuccessor(BlockNode exitBlock, BlockNode crossing, LoopInfo loop)

Methods inherited from class java.lang.Object

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

Field Details

mth

private final MethodNode mth

regionMaker

private final RegionMaker regionMaker

ifMaker

private final IfRegionMaker ifMaker

Constructor Details

LoopRegionMaker

LoopRegionMaker(MethodNode mth,
 RegionMaker regionMaker,
 IfRegionMaker ifMaker)

Method Details

process

BlockNode process(IRegion curRegion,
 LoopInfo loop,
 RegionStack stack)

makeLoopRegion

private LoopRegion makeLoopRegion(IRegion curRegion,
 LoopInfo loop,
 List<BlockNode> exitBlocks)

Select loop exit and construct LoopRegion

isExitAtLoopEnd

private static boolean isExitAtLoopEnd(BlockNode exit,
 LoopInfo loop)

checkLoopExits

private boolean checkLoopExits(LoopInfo loop,
 BlockNode mainExitBlock)

validOutBlock

private Boolean validOutBlock(BlockNode outBlock,
 LoopInfo loop)

viaValidUncleanSuccessor

private boolean viaValidUncleanSuccessor(BlockNode exitBlock,
 BlockNode crossing,
 LoopInfo loop)

noWorkBeforeEnd

private boolean noWorkBeforeEnd(BlockNode firstInstructionBlock,
 BlockNode outBlock)

oneBlockOfWorkBeforeEnd

private boolean oneBlockOfWorkBeforeEnd(BlockNode firstInstructionBlock,
 BlockNode outBlock)

isNestedIfCross

private boolean isNestedIfCross(BlockNode crossing,
 Queue<Edge> edgesToCheck)

isOuterOutblock

private boolean isOuterOutblock(BlockNode crossing,
 LoopInfo loop)

makeEndlessLoop

private BlockNode makeEndlessLoop(IRegion curRegion,
 RegionStack stack,
 LoopInfo loop,
 BlockNode loopStart)

inExceptionHandlerBlocks

private boolean inExceptionHandlerBlocks(BlockNode loopEnd)

canInsertBreak

private boolean canInsertBreak(BlockNode exit)

insertLoopBreak

private boolean insertLoopBreak(RegionStack stack,
 LoopInfo loop,
 BlockNode loopExit,
 BlockNode blockOnLoop,
 Edge exitEdge)

addBreakLabel

private void addBreakLabel(BlockNode blockOnLoop,
 BlockNode exit,
 InsnNode breakInsn)

insertContinue

private static void insertContinue(LoopInfo loop)

canInsertContinue

private static boolean canInsertContinue(BlockNode pred,
 List<BlockNode> predecessors,
 BlockNode loopEnd,
 Set<BlockNode> loopExitNodes)

isDominatedOnBlocks

private static boolean isDominatedOnBlocks(BlockNode dom,
 List<BlockNode> blocks)