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

Class SwitchRegionMaker

java.lang.Object

jadx.core.dex.visitors.regions.maker.SwitchRegionMaker

public final class SwitchRegionMaker
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
private static final org.slf4j.Logger	LOG
private final MethodNode	mth
private final RegionMaker	regionMaker

Constructor Summary

Constructors

Constructor	Description
SwitchRegionMaker(MethodNode mth, RegionMaker regionMaker)

Method Summary

Modifier and Type	Method	Description
private void	addCases(SwitchRegion sw, @Nullable BlockNode out, RegionStack stack, Map<BlockNode,List<Object>> blocksMap)
private BlockNode	allSameReturns(RegionStack stack)
static InsnContainer	buildBreakContainer(SwitchRegion switchRegion)
private @Nullable BlockNode	calcSwitchOut(BlockNode block, SwitchInsn insn, RegionStack stack)
static boolean	canAppendBreak(IRegion region)
private boolean	canRemove(IContainer container, BlockNode outBlock)
private @Nullable BlockNode	getOneIntersectionBlock(BlockNode out, BitSet caseBlocks, BitSet fallThroughSet)
static void	insertBreaks(MethodNode mth, SwitchRegion sw)	Insert 'break' for all cases in switch region Executed in PostProcessRegions after try/catch wrap to handle all blocks
private static void	insertBreaksForCase(MethodNode mth, SwitchRegion switchRegion, IContainer caseContainer)	Add break to every exit edge from 'case' region.
private boolean	insertContinueInSwitch(BlockNode switchBlock, BlockNode switchOut, BlockNode loopEnd)
private boolean	isBadCasesOrder(Map<BlockNode,List<Object>> blocksMap, Map<BlockNode,BlockNode> fallThroughCases)
(package private) BlockNode	process(IRegion currentRegion, BlockNode block, SwitchInsn insn, RegionStack stack)
private void	removeEmptyCases(SwitchInsn insn, SwitchRegion sw, BlockNode defCase, BlockNode outBlock)	Remove empty case blocks: 1.
private Map<BlockNode,List<Object>>	reOrderSwitchCases(Map<BlockNode,List<Object>> blocksMap, Map<BlockNode,BlockNode> fallThroughCases)

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

LOG

private static final org.slf4j.Logger LOG

Constructor Details

SwitchRegionMaker

SwitchRegionMaker(MethodNode mth,
 RegionMaker regionMaker)

Method Details

process

BlockNode process(IRegion currentRegion,
 BlockNode block,
 SwitchInsn insn,
 RegionStack stack)

insertBreaks

public static void insertBreaks(MethodNode mth,
 SwitchRegion sw)

Insert 'break' for all cases in switch region Executed in PostProcessRegions after try/catch wrap to handle all blocks

addCases

private void addCases(SwitchRegion sw,
 @Nullable
 @Nullable BlockNode out,
 RegionStack stack,
 Map<BlockNode,List<Object>> blocksMap)

getOneIntersectionBlock

@Nullable
private @Nullable BlockNode getOneIntersectionBlock(BlockNode out,
 BitSet caseBlocks,
 BitSet fallThroughSet)

calcSwitchOut

@Nullable
private @Nullable BlockNode calcSwitchOut(BlockNode block,
 SwitchInsn insn,
 RegionStack stack)

allSameReturns

private BlockNode allSameReturns(RegionStack stack)

removeEmptyCases

private void removeEmptyCases(SwitchInsn insn,
 SwitchRegion sw,
 BlockNode defCase,
 BlockNode outBlock)

Remove empty case blocks: 1. single 'default' case 2. filler cases if switch is 'packed' and 'default' case is empty

canRemove

private boolean canRemove(IContainer container,
 BlockNode outBlock)

isBadCasesOrder

private boolean isBadCasesOrder(Map<BlockNode,List<Object>> blocksMap,
 Map<BlockNode,BlockNode> fallThroughCases)

reOrderSwitchCases

private Map<BlockNode,List<Object>> reOrderSwitchCases(Map<BlockNode,List<Object>> blocksMap,
 Map<BlockNode,BlockNode> fallThroughCases)

insertContinueInSwitch

private boolean insertContinueInSwitch(BlockNode switchBlock,
 BlockNode switchOut,
 BlockNode loopEnd)

insertBreaksForCase

private static void insertBreaksForCase(MethodNode mth,
 SwitchRegion switchRegion,
 IContainer caseContainer)

Add break to every exit edge from 'case' region. 'Break' optimizations (code duplication, unreachable, etc.) will be done at SwitchBreakVisitor

canAppendBreak

public static boolean canAppendBreak(IRegion region)

buildBreakContainer

public static InsnContainer buildBreakContainer(SwitchRegion switchRegion)