DASCA
/
WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

add a comment 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2385 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
sjfink 2008-01-15 14:05:56 +00:00
parent 90f0c7075a
commit b541916b65
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
com.ibm.wala.core/src/com/ibm/wala/ssa/SSAInstruction.java
View File

@ -31,21 +31,23 @@ public abstract class SSAInstruction implements IInstruction {
}
/**
* This method is meant to be used during SSA conversion for an IR
* This method is meant to be used during SSA conversion for an IR
* that is not in SSA form. It creates a new SSAInstruction of the
* same type as the receiver, with a combination of the receiver's
* uses and defs and those from the method parameters.
*
* In particular, if the 'defs' parameter is null, then the new
* In particular, if the 'defs' parameter is null, then the new
* instruction has the same defs as the receiver. If 'defs' is not
* null, it must be an array with a size equal to the number of
* defs that the receiver instruction has. In this case, the new
* instruction has defs taken from the array. The uses of the new
* instruction work in the same way with the 'uses' parameter.
*
* Note that this only applies to CAst-based IR translation, since
* Note that this only applies to CAst-based IR translation, since
* Java bytecode-based IR generation uses a different SSA
* construction mechanism.
*
* TODO: this is kind of arcane? Move this out into CAst?
*/
public abstract SSAInstruction copyForSSA(int[] defs, int[] uses);