PiNodeManager (Soot - a J*va Optimization Framework 4.6.0 API)

java.lang.Object
- soot.shimple.internal.PiNodeManager

```
public class PiNodeManager
extends 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	Description
`protected ShimpleBody`	`body`
`protected ReversibleGraph<Block>`	`cfg`
`protected ShimpleFactory`	`sf`
`protected boolean`	`trimmed`
`protected MultiMap<Local,Block>`	`varToBlocks`

Constructor Summary

Constructors
Constructor Description

PiNodeManager(ShimpleBody body, boolean trimmed, ShimpleFactory sf)
Transforms the provided body to pure SSA form.

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`eliminatePiNodes(boolean smart)`
`static 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 final ShimpleBody body
```

sf
```
protected final ShimpleFactory sf
```

trimmed
```
protected final boolean trimmed
```

cfg
```
protected ReversibleGraph<Block> cfg
```

varToBlocks

protected MultiMap<Local,Block> varToBlocks

Constructor Detail

PiNodeManager

public PiNodeManager(ShimpleBody body,
                     boolean trimmed,
                     ShimpleFactory sf)

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 List<ValueBox> getUseBoxesFromBlock(Block block)