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

```
public class ShimpleBodyBuilder
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 int[]`	`assignmentCounters`
`protected ShimpleBody`	`body`
`protected Stack<Integer>[]`	`namingStacks`
`protected Map<String,Local>`	`newLocals`
`protected Map<Local,Local>`	`newLocalsToOldLocal`
`protected ShimpleOptions`	`options`
`protected List<Local>`	`origLocals`
`PhiNodeManager`	`phi`
`PiNodeManager`	`pi`
`protected ShimpleFactory`	`sf`

Constructor Summary

Constructors
Constructor Description

ShimpleBodyBuilder(ShimpleBody body)
Transforms the provided body to pure SSA form.

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`eliminatePhiNodes()`	Remove Phi nodes from current body, high probability this destroys SSA form.
`void`	`eliminatePiNodes()`
`protected Local`	`fetchNewLocal(Local local, Integer subscript)`	Clever convenience function to fetch or create new Local's given a Local and the desired subscript.
`protected int`	`indexOfLocal(Value local)`	Convenient function that maps new Locals to the originating Local, and finds the appropriate array index into the naming structures.
`static String`	`makeUniqueLocalName(String dupName, Set<String> localNames)`	Given a set of Strings, return a new name for dupName that is not currently in the set.
`void`	`makeUniqueLocalNames()`	Make sure the locals in the given body all have unique String names.
`void`	`postElimOpt()`
`void`	`preElimOpt()`
`void`	`renameLocals()`	Variable Renaming Algorithm from Cytron et al 91, P26-8, implemented in various bits and pieces by the next functions.
`void`	`renameLocalsSearch(Block block)`	Driven by renameLocals().
`static void`	`setSeparator(String sep)`
`void`	`transform()`
`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
```
  - options
```
protected final ShimpleOptions options
```
  - sf
```
protected final ShimpleFactory sf
```
  - origLocals
```
protected List<Local> origLocals
```
  - newLocals
```
protected Map<String,Local> newLocals
```
  - newLocalsToOldLocal
```
protected Map<Local,Local> newLocalsToOldLocal
```
  - assignmentCounters
```
protected int[] assignmentCounters
```
  - namingStacks
```
protected Stack<Integer>[] namingStacks
```
  - phi
```
public final PhiNodeManager phi
```
  - pi
```
public final PiNodeManager pi
```
- Constructor Detail
  - ShimpleBodyBuilder
```
public ShimpleBodyBuilder(ShimpleBody body)
```
    Transforms the provided body to pure SSA form.
- Method Detail
  - update
```
public void update()
```
  - transform
```
public void transform()
```
  - preElimOpt
```
public void preElimOpt()
```
  - postElimOpt
```
public void postElimOpt()
```
  - eliminatePhiNodes
```
public void eliminatePhiNodes()
```
    Remove Phi nodes from current body, high probability this destroys SSA form.
    Dead code elimination + register aggregation are performed as recommended by Cytron. The Aggregator looks like it could use some improvements.
    
    See Also:
    
    ShimpleOptions
  - eliminatePiNodes
```
public void eliminatePiNodes()
```
  - renameLocals
```
public void renameLocals()
```
    Variable Renaming Algorithm from Cytron et al 91, P26-8, implemented in various bits and pieces by the next functions. Must be called after trivial nodes have been added.
  - renameLocalsSearch
```
public void renameLocalsSearch(Block block)
```
    Driven by renameLocals().
  - fetchNewLocal
```
protected Local fetchNewLocal(Local local,
                              Integer subscript)
```
    Clever convenience function to fetch or create new Local's given a Local and the desired subscript.
  - indexOfLocal
```
protected int indexOfLocal(Value local)
```
    Convenient function that maps new Locals to the originating Local, and finds the appropriate array index into the naming structures.
  - makeUniqueLocalNames
```
public void makeUniqueLocalNames()
```
    Make sure the locals in the given body all have unique String names. Renaming is done if necessary.
  - makeUniqueLocalName
```
public static String makeUniqueLocalName(String dupName,
                                         Set<String> localNames)
```
    Given a set of Strings, return a new name for dupName that is not currently in the set.
  - setSeparator
```
public static void setSeparator(String sep)
```

Class ShimpleBodyBuilder

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Detail

body

options

sf

origLocals

newLocals

newLocalsToOldLocal

assignmentCounters

namingStacks

phi

pi

Constructor Detail

ShimpleBodyBuilder

Method Detail

update

transform

preElimOpt

postElimOpt

eliminatePhiNodes

eliminatePiNodes

renameLocals

renameLocalsSearch

fetchNewLocal

indexOfLocal

makeUniqueLocalNames

makeUniqueLocalName

setSeparator