soot.shimple.internal

Class PiNodeManager

java.lang.Object

soot.shimple.internal.PiNodeManager

public class PiNodeManager
extends java.lang.Object

This class does the real high-level work. It takes a Jimple body or Jimple/Shimple hybrid body and produces pure Shimple.

The work is done in two main steps:

1. Trivial Phi nodes are added.
2. A renaming algorithm is executed.

This class can also translate out of Shimple by producing an equivalent Jimple body with all Phi nodes removed.

Note that this is an internal class, understanding it should not be necessary from a user point-of-view and relying on it directly is not recommended.

Author:

Navindra Umanee

See Also:

ShimpleBody, Efficiently Computing Static Single Assignment Form and the Control Dependence Graph

Field Summary

Fields

Modifier and Type	Field and Description
protected ShimpleBody	body
protected ReversibleGraph<Block>	cfg
protected DominanceFrontier<Block>	df
protected DominatorTree<Block>	dt
protected ShimpleFactory	sf
protected boolean	trimmed
protected MultiMap<Local,Block>	varToBlocks

Constructor Summary

Constructors

Constructor and Description
PiNodeManager(ShimpleBody body, boolean trimmed) Transforms the provided body to pure SSA form.

Method Summary

Methods

Modifier and Type	Method and Description
void	eliminatePiNodes(boolean smart)
static java.util.List<ValueBox>	getUseBoxesFromBlock(Block block)
void	insertPiNodes(Local local, Block frontierBlock)
boolean	insertTrivialPiNodes()
void	piHandleIfStmt(Local local, IfStmt u)
void	piHandleSwitchStmt(Local local, Unit u)
void	update()

Methods inherited from class java.lang.Object

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

Field Detail

body

protected ShimpleBody body

sf

protected ShimpleFactory sf

dt

protected DominatorTree<Block> dt

df

protected DominanceFrontier<Block> df

cfg

protected ReversibleGraph<Block> cfg

trimmed

protected boolean trimmed

varToBlocks

protected MultiMap<Local,Block> varToBlocks

Constructor Detail

PiNodeManager

public PiNodeManager(ShimpleBody body,
             boolean trimmed)

Transforms the provided body to pure SSA form.

Method Detail

update

public void update()

insertTrivialPiNodes

public boolean insertTrivialPiNodes()

insertPiNodes

public void insertPiNodes(Local local,
                 Block frontierBlock)

piHandleIfStmt

public void piHandleIfStmt(Local local,
                  IfStmt u)

piHandleSwitchStmt

public void piHandleSwitchStmt(Local local,
                      Unit u)

eliminatePiNodes

public void eliminatePiNodes(boolean smart)

getUseBoxesFromBlock

public static java.util.List<ValueBox> getUseBoxesFromBlock(Block block)