java.lang.Object

EDU.purdue.cs.bloat.tree.Node

EDU.purdue.cs.bloat.tree.Tree

All Implemented Interfaces:: InstructionVisitor, Opcode

public class Tree extends Node implements InstructionVisitor, Opcode

Tree represents the expression tree of a basic Block. It consists of an operand (expression) stack comprised of expressions and a list of statements contained in the block.

See Also:

Field Summary

Fields

Modifier and Type

Field

Description

static boolean

AUPDATE_FIX_HACK

static boolean

AUPDATE_FIX_HACK_CHANGED

static boolean

DEBUG

static boolean

FLATTEN

static boolean

USE_PERSISTENT

static boolean

USE_STACK

Fields inherited from class Node
parent

Fields inherited from interface Opcode
opc_aaload, opc_aastore, opc_aconst_null, opc_aload, opc_aload_0, opc_aload_1, opc_aload_2, opc_aload_3, opc_anewarray, opc_areturn, opc_arraylength, opc_astore, opc_astore_0, opc_astore_1, opc_astore_2, opc_astore_3, opc_aswizzle, opc_aswrange, opc_athrow, opc_aupdate, opc_baload, opc_bastore, opc_bipush, opc_breakpoint, opc_caload, opc_castore, opc_checkcast, opc_d2f, opc_d2i, opc_d2l, opc_dadd, opc_daload, opc_dastore, opc_dcmpg, opc_dcmpl, opc_dconst_0, opc_dconst_1, opc_ddiv, opc_dload, opc_dload_0, opc_dload_1, opc_dload_2, opc_dload_3, opc_dmul, opc_dneg, opc_drem, opc_dreturn, opc_dstore, opc_dstore_0, opc_dstore_1, opc_dstore_2, opc_dstore_3, opc_dsub, opc_dup, opc_dup_x1, opc_dup_x2, opc_dup2, opc_dup2_x1, opc_dup2_x2, opc_f2d, opc_f2i, opc_f2l, opc_fadd, opc_faload, opc_fastore, opc_fcmpg, opc_fcmpl, opc_fconst_0, opc_fconst_1, opc_fconst_2, opc_fdiv, opc_fload, opc_fload_0, opc_fload_1, opc_fload_2, opc_fload_3, opc_fmul, opc_fneg, opc_frem, opc_freturn, opc_fstore, opc_fstore_0, opc_fstore_1, opc_fstore_2, opc_fstore_3, opc_fsub, opc_getfield, opc_getstatic, opc_goto, opc_goto_w, opc_i2b, opc_i2c, opc_i2d, opc_i2f, opc_i2l, opc_i2s, opc_iadd, opc_iaload, opc_iand, opc_iastore, opc_iconst_0, opc_iconst_1, opc_iconst_2, opc_iconst_3, opc_iconst_4, opc_iconst_5, opc_iconst_m1, opc_idiv, opc_if_acmpeq, opc_if_acmpne, opc_if_icmpeq, opc_if_icmpge, opc_if_icmpgt, opc_if_icmple, opc_if_icmplt, opc_if_icmpne, opc_ifeq, opc_ifge, opc_ifgt, opc_ifle, opc_iflt, opc_ifne, opc_ifnonnull, opc_ifnull, opc_iinc, opc_iload, opc_iload_0, opc_iload_1, opc_iload_2, opc_iload_3, opc_imul, opc_ineg, opc_instanceof, opc_invokeinterface, opc_invokespecial, opc_invokestatic, opc_invokevirtual, opc_ior, opc_irem, opc_ireturn, opc_ishl, opc_ishr, opc_istore, opc_istore_0, opc_istore_1, opc_istore_2, opc_istore_3, opc_isub, opc_iushr, opc_ixor, opc_jsr, opc_jsr_w, opc_l2d, opc_l2f, opc_l2i, opc_ladd, opc_laload, opc_land, opc_lastore, opc_lcmp, opc_lconst_0, opc_lconst_1, opc_ldc, opc_ldc_w, opc_ldc2_w, opc_ldiv, opc_lload, opc_lload_0, opc_lload_1, opc_lload_2, opc_lload_3, opc_lmul, opc_lneg, opc_lookupswitch, opc_lor, opc_lrem, opc_lreturn, opc_lshl, opc_lshr, opc_lstore, opc_lstore_0, opc_lstore_1, opc_lstore_2, opc_lstore_3, opc_lsub, opc_lushr, opc_lxor, opc_monitorenter, opc_monitorexit, opc_multianewarray, opc_new, opc_newarray, opc_nop, opc_pop, opc_pop2, opc_putfield, opc_putfield_nowb, opc_putstatic, opc_putstatic_nowb, opc_rc, opc_ret, opc_return, opc_saload, opc_sastore, opc_sipush, opc_supdate, opc_swap, opc_tableswitch, opc_wide, opc_xxxunusedxxx, opcNames, opcSize, opcx_aaload, opcx_aastore, opcx_aload, opcx_areturn, opcx_arraylength, opcx_astore, opcx_aswizzle, opcx_aswrange, opcx_athrow, opcx_aupdate, opcx_baload, opcx_bastore, opcx_caload, opcx_castore, opcx_checkcast, opcx_d2f, opcx_d2i, opcx_d2l, opcx_dadd, opcx_daload, opcx_dastore, opcx_dcmpg, opcx_dcmpl, opcx_ddiv, opcx_dload, opcx_dmul, opcx_dneg, opcx_drem, opcx_dreturn, opcx_dstore, opcx_dsub, opcx_dup, opcx_dup_x1, opcx_dup_x2, opcx_dup2, opcx_dup2_x1, opcx_dup2_x2, opcx_f2d, opcx_f2i, opcx_f2l, opcx_fadd, opcx_faload, opcx_fastore, opcx_fcmpg, opcx_fcmpl, opcx_fdiv, opcx_fload, opcx_fmul, opcx_fneg, opcx_frem, opcx_freturn, opcx_fstore, opcx_fsub, opcx_getfield, opcx_getstatic, opcx_goto, opcx_i2b, opcx_i2c, opcx_i2d, opcx_i2f, opcx_i2l, opcx_i2s, opcx_iadd, opcx_iaload, opcx_iand, opcx_iastore, opcx_idiv, opcx_if_acmpeq, opcx_if_acmpne, opcx_if_icmpeq, opcx_if_icmpge, opcx_if_icmpgt, opcx_if_icmple, opcx_if_icmplt, opcx_if_icmpne, opcx_ifeq, opcx_ifge, opcx_ifgt, opcx_ifle, opcx_iflt, opcx_ifne, opcx_ifnonnull, opcx_ifnull, opcx_iinc, opcx_iload, opcx_imul, opcx_ineg, opcx_instanceof, opcx_invokeinterface, opcx_invokespecial, opcx_invokestatic, opcx_invokevirtual, opcx_ior, opcx_irem, opcx_ireturn, opcx_ishl, opcx_ishr, opcx_istore, opcx_isub, opcx_iushr, opcx_ixor, opcx_jsr, opcx_l2d, opcx_l2f, opcx_l2i, opcx_ladd, opcx_laload, opcx_land, opcx_lastore, opcx_lcmp, opcx_ldc, opcx_ldiv, opcx_lload, opcx_lmul, opcx_lneg, opcx_lor, opcx_lrem, opcx_lreturn, opcx_lshl, opcx_lshr, opcx_lstore, opcx_lsub, opcx_lushr, opcx_lxor, opcx_monitorenter, opcx_monitorexit, opcx_multianewarray, opcx_new, opcx_newarray, opcx_nop, opcx_pop, opcx_pop2, opcx_putfield, opcx_putfield_nowb, opcx_putstatic, opcx_putstatic_nowb, opcx_rc, opcx_ret, opcx_return, opcx_saload, opcx_sastore, opcx_supdate, opcx_swap, opcx_switch, opcXMap, VARIABLE
Constructor Summary

Constructors

Constructor

Description

Tree(Block block, OperandStack predStack)

Constructor.
Method Summary

Modifier and Type

Method

Description

void

addInstruction(Instruction inst)

Adds an instruction that does not change the control flow (a normal instruction).

void

addInstruction(Instruction inst, Block next)

Adds an instruction that jumps to another basic block.

void

addInstruction(Instruction inst, Subroutine sub)

Add an instruction such as ret or astore that may involve a subroutine.

void

addLabel(Label label)

Add a label to the statement list.

void

addStmt(Stmt stmt)

Save the contents of the stack and add stmt to the statement list.

void

addStmtAfter(Stmt stmt, Stmt after)

Inserts a statement into the statement list after another given statement.

void

addStmtBefore(Stmt stmt, Stmt before)

Inserts a statement into the statement list before a specified statement.

void

addStmtBeforeJump(Stmt stmt)

Adds a statement to the statement list before the last jump statement.

Block

block()

Returns the basic block in which this Node resides.

void

cleanupOnly()

Cleans up this node.

void

initLocals(Collection locals)

Add a Collection of local variables to the block.

Stmt

lastStmt()

Returns the last non-Label statement in the statement list.

LocalExpr

newLocal(int index, Type type)

Returns a new LocalExpr that is not allocated on the stack.

LocalExpr

newLocal(Type type)

Returns a local variable (LocalExpr) located in this method.

StackExpr

newStack(Type type)

Returns a new StackExpr for the top of the operand stack.

LocalExpr

newStackLocal(int index, Type type)

Returns a new LocalExpr that represents an element of the stack.

Node

parent()

void

prependStmt(Stmt stmt)

Add an statement to the statement list before the first non-Label statement.

void

removeLastStmt()

Removes the last non-Label statement from the statement list.

void

removeStmt(Stmt stmt)

Removes a statement from the statement list.

OperandStack

stack()

Returns the operand stack.

List

stmts()

String

toString()

Returns a String representation of this Tree.

void

visit(TreeVisitor visitor)

void

visit_aaload(Instruction inst)

void

visit_aastore(Instruction inst)

void

visit_aload(Instruction inst)

void

visit_areturn(Instruction inst)

void

visit_arraylength(Instruction inst)

Pushes an ArrayLengthExpr onto the operand stack.

void

visit_astore(Instruction inst)

Visit an astore instruction.

void

visit_aswizzle(Instruction inst)

Add a SCStmt to the statement list

void

visit_aswrange(Instruction inst)

Add a SRStmt to the statement list.

void

visit_athrow(Instruction inst)

Adds a ThrowStmt to the statement list.

void

visit_aupdate(Instruction inst)

void

visit_baload(Instruction inst)

void

visit_bastore(Instruction inst)

void

visit_caload(Instruction inst)

void

visit_castore(Instruction inst)

void

visit_checkcast(Instruction inst)

Pushes a CastExpr onto the operand stack.

void

visit_d2f(Instruction inst)

void

visit_d2i(Instruction inst)

void

visit_d2l(Instruction inst)

void

visit_dadd(Instruction inst)

void

visit_daload(Instruction inst)

void

visit_dastore(Instruction inst)

void

visit_dcmpg(Instruction inst)

void

visit_dcmpl(Instruction inst)

void

visit_ddiv(Instruction inst)

void

visit_dload(Instruction inst)

void

visit_dmul(Instruction inst)

void

visit_dneg(Instruction inst)

void

visit_drem(Instruction inst)

void

visit_dreturn(Instruction inst)

void

visit_dstore(Instruction inst)

void

visit_dsub(Instruction inst)

void

visit_dup(Instruction inst)

When processing the dup instructions one of two situations can occur.

void

visit_dup_x1(Instruction inst)

void

visit_dup_x2(Instruction inst)

void

visit_dup2(Instruction inst)

void

visit_dup2_x1(Instruction inst)

void

visit_dup2_x2(Instruction inst)

void

visit_f2d(Instruction inst)

void

visit_f2i(Instruction inst)

void

visit_f2l(Instruction inst)

void

visit_fadd(Instruction inst)

void

visit_faload(Instruction inst)

void

visit_fastore(Instruction inst)

void

visit_fcmpg(Instruction inst)

void

visit_fcmpl(Instruction inst)

void

visit_fdiv(Instruction inst)

void

visit_fload(Instruction inst)

void

visit_fmul(Instruction inst)

void

visit_fneg(Instruction inst)

void

visit_frem(Instruction inst)

void

visit_freturn(Instruction inst)

void

visit_fstore(Instruction inst)

void

visit_fsub(Instruction inst)

void

visit_getfield(Instruction inst)

Pushes a FieldExpr onto the operand stack.

void

visit_getstatic(Instruction inst)

Pushes a StaticFieldExpr onto the operand stack.

void

visit_goto(Instruction inst)

Adds a GotoStmt to the statement list.

void

visit_i2b(Instruction inst)

void

visit_i2c(Instruction inst)

void

visit_i2d(Instruction inst)

void

visit_i2f(Instruction inst)

void

visit_i2l(Instruction inst)

All cast visitors push a CastExpr onto the operand stack.

void

visit_i2s(Instruction inst)

void

visit_iadd(Instruction inst)

All visit_xadd, visit_xsub, visit_xmul, visit_xdiv, etc.

void

visit_iaload(Instruction inst)

All visit_xaload push an ArrayRefExpr onto the operand stack.

void

visit_iand(Instruction inst)

All visit_x op push an ArithExpr onto the stack.

void

visit_iastore(Instruction inst)

void

visit_idiv(Instruction inst)

void

visit_if_acmpeq(Instruction inst)

void

visit_if_acmpne(Instruction inst)

void

visit_if_icmpeq(Instruction inst)

All visit_if_xcmpy add a IfCmpStmt to the statement list.

void

visit_if_icmpge(Instruction inst)

void

visit_if_icmpgt(Instruction inst)

void

visit_if_icmple(Instruction inst)

void

visit_if_icmplt(Instruction inst)

void

visit_if_icmpne(Instruction inst)

void

visit_ifeq(Instruction inst)

All visit_xeg add an IfZeroStmt to the statement list.

void

visit_ifge(Instruction inst)

void

visit_ifgt(Instruction inst)

void

visit_ifle(Instruction inst)

void

visit_iflt(Instruction inst)

void

visit_ifne(Instruction inst)

void

visit_ifnonnull(Instruction inst)

void

visit_ifnull(Instruction inst)

Both visit_xnull add an IfZeroStmt to the statement list.

void

visit_iinc(Instruction inst)

Visiting an iinc involves creating a ConstantExpr, LocalExpr, ArithExpr StoreExpr, and a ExprStmt.

void

visit_iload(Instruction inst)

All visit_xload push a LocalExpr onto the operand stack.

void

visit_imul(Instruction inst)

void

visit_ineg(Instruction inst)

All visit_xneg push a NegExpr onto the stack.

void

visit_instanceof(Instruction inst)

Pushes an InstanceOfExpr onto the operand stack.

void

visit_invokeinterface(Instruction inst)

void

visit_invokespecial(Instruction inst)

void

visit_invokestatic(Instruction inst)

void

visit_invokevirtual(Instruction inst)

All visit_invokex deal with a CallMethodExpr or a CallStaticExpr.

void

visit_ior(Instruction inst)

void

visit_irem(Instruction inst)

void

visit_ireturn(Instruction inst)

All visit_xreturn add a ReturnExprStmt to the statement list.

void

visit_ishl(Instruction inst)

All visit_xshd push a ShiftExpr onto the operand stack.

void

visit_ishr(Instruction inst)

void

visit_istore(Instruction inst)

All visit_xstore add a LocalExpr statement to the statement list.

void

visit_isub(Instruction inst)

void

visit_iushr(Instruction inst)

void

visit_ixor(Instruction inst)

void

visit_jsr(Instruction inst)

Adds a JsrStmt to the statement list.

void

visit_l2d(Instruction inst)

void

visit_l2f(Instruction inst)

void

visit_l2i(Instruction inst)

void

visit_ladd(Instruction inst)

void

visit_laload(Instruction inst)

void

visit_land(Instruction inst)

void

visit_lastore(Instruction inst)

void

visit_lcmp(Instruction inst)

All visit_xcmp push an ArithExpr onto the stack.

void

visit_ldc(Instruction inst)

Pushes a ConstantExpr onto the operand stack.

void

visit_ldiv(Instruction inst)

void

visit_lload(Instruction inst)

void

visit_lmul(Instruction inst)

void

visit_lneg(Instruction inst)

void

visit_lor(Instruction inst)

void

visit_lrem(Instruction inst)

void

visit_lreturn(Instruction inst)

void

visit_lshl(Instruction inst)

void

visit_lshr(Instruction inst)

void

visit_lstore(Instruction inst)

void

visit_lsub(Instruction inst)

void

visit_lushr(Instruction inst)

void

visit_lxor(Instruction inst)

void

visit_monitorenter(Instruction inst)

Both monitor visitors add a MonitorStmt to the statement list.

void

visit_monitorexit(Instruction inst)

void

visit_multianewarray(Instruction inst)

Push a NewMultiArrayExpr onto the operand stack.

void

visit_new(Instruction inst)

Pushes a NewExpr onto the operand stack.

void

visit_newarray(Instruction inst)

Pushes a NewArrayExpr onto the operand stack.

void

visit_nop(Instruction inst)

Adds no statements to the statement list.

void

visit_pop(Instruction inst)

Pop the expression off the top of the stack and add it as an ExprStmt to the statement list.

void

visit_pop2(Instruction inst)

void

visit_putfield(Instruction inst)

void

visit_putfield_nowb(Instruction inst)

void

visit_putstatic(Instruction inst)

void

visit_putstatic_nowb(Instruction inst)

void

visit_rc(Instruction inst)

Replaces the expression on the top of the stack with an RCExpr.

void

visit_ret(Instruction inst)

Adds a RetStmt to the statement list.

void

visit_return(Instruction inst)

Adds a ReturnStmt to the statement list.

void

visit_saload(Instruction inst)

void

visit_sastore(Instruction inst)

void

visit_supdate(Instruction inst)

Replace the expression at the stack depth specified in the instruction with a UCExpr.

void

visit_swap(Instruction inst)

void

visit_switch(Instruction inst)

Add a SwitchStmt to the statement list.

void

visitForceChildren(TreeVisitor visitor)

Visit all the statements in the statement list.

Methods inherited from class Node
cleanup, copyInto, hasParent, key, replaceWith, replaceWith, setKey, setParent, setValueNumber, valueNumber, visitChildren, visitOnly

Methods inherited from class Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details
- DEBUG
  
  public static boolean DEBUG
- FLATTEN
  
  public static boolean FLATTEN
- USE_STACK
  
  public static boolean USE_STACK
- AUPDATE_FIX_HACK
  
  public static boolean AUPDATE_FIX_HACK
- AUPDATE_FIX_HACK_CHANGED
  
  public static boolean AUPDATE_FIX_HACK_CHANGED
- USE_PERSISTENT
  
  public static boolean USE_PERSISTENT
Constructor Details
- Tree
  
  public Tree(Block block, OperandStack predStack)
  
  Constructor.
  
  Parameters:
  
  block - The basic Block of code represented in this Tree.
  
  predStack - The contents of the operand stack from the previous basic Block.
Method Details
- cleanupOnly
  
  public void cleanupOnly()
  
  Cleans up this node. Does nothing in this case.
  
  Specified by:
  
  cleanupOnly in class Node
- initLocals
  public void initLocals(Collection locals)
  
  Add a Collection of local variables to the block. Add an InitStmt to the statement list.
  
  See Also:
  
  LocalExpr
  
  InitStmt
- removeStmt
  
  public void removeStmt(Stmt stmt)
  
  Removes a statement from the statement list.
  
  Parameters:
  
  stmt - The statement to remove
- removeLastStmt
  
  public void removeLastStmt()
  
  Removes the last non-Label statement from the statement list.
- stmts
  
  public List stmts()
  
  Returns:
  
  The statement list
- lastStmt
  
  public Stmt lastStmt()
  
  Returns the last non-Label statement in the statement list.
- stack
  
  public OperandStack stack()
  
  Returns the operand stack.
- addStmtAfter
  
  public void addStmtAfter(Stmt stmt, Stmt after)
  
  Inserts a statement into the statement list after another given statement.
  
  Parameters:
  
  stmt - The statement to add.
  
  after - The statement after which to add stmt.
- addStmtBefore
  
  public void addStmtBefore(Stmt stmt, Stmt before)
  
  Inserts a statement into the statement list before a specified statement.
  
  Parameters:
  
  stmt - The statement to insert
  
  before - The statement before which to add stmt.
- prependStmt
  
  public void prependStmt(Stmt stmt)
  
  Add an statement to the statement list before the first non-Label statement.
  
  Parameters:
  
  stmt - The statement to add.
- addStmt
  
  public void addStmt(Stmt stmt)
  
  Save the contents of the stack and add stmt to the statement list.
  
  Parameters:
  
  stmt - A statement to add to the statement list.
- addStmtBeforeJump
  public void addStmtBeforeJump(Stmt stmt)
  
  Adds a statement to the statement list before the last jump statement. It is assumed that the last statement in the statement list is a jump statement.
  
  See Also:
  
  JumpStmt
- addInstruction
  public void addInstruction(Instruction inst, Block next)
  
  Adds an instruction that jumps to another basic block.
  
  Parameters:
  
  inst - The instruction to add.
  
  next - The basic block after the jump. Remember that a jump ends a basic block.
  
  See Also:
  
  Instruction.isJsr()
  
  Instruction.isConditionalJump()
- addInstruction
  
  public void addInstruction(Instruction inst)
  
  Adds an instruction that does not change the control flow (a normal instruction).
  
  Parameters:
  
  inst - Instruction to add.
- addInstruction
  public void addInstruction(Instruction inst, Subroutine sub)
  
  Add an instruction such as ret or astore that may involve a subroutine.
  
  Parameters:
  
  inst - Instruction to add.
  
  sub - Subroutine in which inst resides. The ret instruction always resides in a Subroutine. An astore may store the return address of a subroutine in a local variable.
  
  See Also:
  
  Instruction.isRet()
- addLabel
  
  public void addLabel(Label label)
  
  Add a label to the statement list. A label is inserted before a dup statement, but after any other statement.
  
  Parameters:
  
  label - Label to add.
- newStack
  
  public StackExpr newStack(Type type)
  
  Returns a new StackExpr for the top of the operand stack.
- newStackLocal
  
  public LocalExpr newStackLocal(int index, Type type)
  
  Returns a new LocalExpr that represents an element of the stack. They are created when the USE_STACK flag is not set.
  
  Parameters:
  
  index - Stack index of variable.
  
  type - The type of the LocalExpr
- newLocal
  
  public LocalExpr newLocal(int index, Type type)
  
  Returns a new LocalExpr that is not allocated on the stack.
  
  Parameters:
  
  index - Stack index of variable.
  
  type - The type of the LocalExpr
- newLocal
  
  public LocalExpr newLocal(Type type)
  
  Returns a local variable (LocalExpr) located in this method.
  
  Parameters:
  
  type - The type of the new LocalExpr.
- toString
  
  public String toString()
  
  Returns a String representation of this Tree.
  
  Overrides:
  
  toString in class Node
  
  Returns:
  
  A textual representation of this Node.
- visit_nop
  
  public void visit_nop(Instruction inst)
  
  Adds no statements to the statement list.
  
  Specified by:
  
  visit_nop in interface InstructionVisitor
- visit_ldc
  public void visit_ldc(Instruction inst)
  
  Pushes a ConstantExpr onto the operand stack.
  
  Specified by:
  
  visit_ldc in interface InstructionVisitor
  
  See Also:
  
  ConstantExpr
- visit_iload
  public void visit_iload(Instruction inst)
  
  All visit_xload push a LocalExpr onto the operand stack.
  
  Specified by:
  
  visit_iload in interface InstructionVisitor
  
  See Also:
  
  LocalExpr
- visit_lload
  
  public void visit_lload(Instruction inst)
  
  Specified by:
  
  visit_lload in interface InstructionVisitor
- visit_fload
  
  public void visit_fload(Instruction inst)
  
  Specified by:
  
  visit_fload in interface InstructionVisitor
- visit_dload
  
  public void visit_dload(Instruction inst)
  
  Specified by:
  
  visit_dload in interface InstructionVisitor
- visit_aload
  
  public void visit_aload(Instruction inst)
  
  Specified by:
  
  visit_aload in interface InstructionVisitor
- visit_iaload
  
  public void visit_iaload(Instruction inst)
  
  All visit_xaload push an ArrayRefExpr onto the operand stack.
  
  Specified by:
  
  visit_iaload in interface InstructionVisitor
- visit_laload
  
  public void visit_laload(Instruction inst)
  
  Specified by:
  
  visit_laload in interface InstructionVisitor
- visit_faload
  
  public void visit_faload(Instruction inst)
  
  Specified by:
  
  visit_faload in interface InstructionVisitor
- visit_daload
  
  public void visit_daload(Instruction inst)
  
  Specified by:
  
  visit_daload in interface InstructionVisitor
- visit_aaload
  
  public void visit_aaload(Instruction inst)
  
  Specified by:
  
  visit_aaload in interface InstructionVisitor
- visit_baload
  
  public void visit_baload(Instruction inst)
  
  Specified by:
  
  visit_baload in interface InstructionVisitor
- visit_caload
  
  public void visit_caload(Instruction inst)
  
  Specified by:
  
  visit_caload in interface InstructionVisitor
- visit_saload
  
  public void visit_saload(Instruction inst)
  
  Specified by:
  
  visit_saload in interface InstructionVisitor
- visit_istore
  
  public void visit_istore(Instruction inst)
  
  All visit_xstore add a LocalExpr statement to the statement list.
  
  Specified by:
  
  visit_istore in interface InstructionVisitor
- visit_lstore
  
  public void visit_lstore(Instruction inst)
  
  Specified by:
  
  visit_lstore in interface InstructionVisitor
- visit_fstore
  
  public void visit_fstore(Instruction inst)
  
  Specified by:
  
  visit_fstore in interface InstructionVisitor
- visit_dstore
  
  public void visit_dstore(Instruction inst)
  
  Specified by:
  
  visit_dstore in interface InstructionVisitor
- visit_astore
  public void visit_astore(Instruction inst)
  
  Visit an astore instruction. If the type of the operand to the instruction is an address add an AddressStoreStmt to the tree, else add a StoreStmt to the tree consisting of a LocalExpr and the top Expr on the operand stack.
  
  Specified by:
  
  visit_astore in interface InstructionVisitor
  
  See Also:
  
  AddressStoreStmt
  
  LocalExpr
  
  StoreExpr
- visit_iastore
  
  public void visit_iastore(Instruction inst)
  
  Specified by:
  
  visit_iastore in interface InstructionVisitor
- visit_lastore
  
  public void visit_lastore(Instruction inst)
  
  Specified by:
  
  visit_lastore in interface InstructionVisitor
- visit_fastore
  
  public void visit_fastore(Instruction inst)
  
  Specified by:
  
  visit_fastore in interface InstructionVisitor
- visit_dastore
  
  public void visit_dastore(Instruction inst)
  
  Specified by:
  
  visit_dastore in interface InstructionVisitor
- visit_aastore
  
  public void visit_aastore(Instruction inst)
  
  Specified by:
  
  visit_aastore in interface InstructionVisitor
- visit_bastore
  
  public void visit_bastore(Instruction inst)
  
  Specified by:
  
  visit_bastore in interface InstructionVisitor
- visit_castore
  
  public void visit_castore(Instruction inst)
  
  Specified by:
  
  visit_castore in interface InstructionVisitor
- visit_sastore
  
  public void visit_sastore(Instruction inst)
  
  Specified by:
  
  visit_sastore in interface InstructionVisitor
- visit_pop
  public void visit_pop(Instruction inst)
  
  Pop the expression off the top of the stack and add it as an ExprStmt to the statement list.
  
  Specified by:
  
  visit_pop in interface InstructionVisitor
  
  See Also:
  
  ExprStmt
- visit_pop2
  
  public void visit_pop2(Instruction inst)
  
  Specified by:
  
  visit_pop2 in interface InstructionVisitor
- visit_dup
  public void visit_dup(Instruction inst)
  
  When processing the dup instructions one of two situations can occur. If the USE_STACK flag is set, then a StackManipStmt is created to represent the transformation that the dup instruction performs on the stack. If the USE_STACK flag is not set, then the transformation is simulated by creating new local variables containing the appropriate element of the stack.
  
  Specified by:
  
  visit_dup in interface InstructionVisitor
  
  See Also:
  
  LocalExpr
  
  StackExpr
  
  StackManipStmt
- visit_dup_x1
  
  public void visit_dup_x1(Instruction inst)
  
  Specified by:
  
  visit_dup_x1 in interface InstructionVisitor
- visit_dup_x2
  
  public void visit_dup_x2(Instruction inst)
  
  Specified by:
  
  visit_dup_x2 in interface InstructionVisitor
- visit_dup2
  
  public void visit_dup2(Instruction inst)
  
  Specified by:
  
  visit_dup2 in interface InstructionVisitor
- visit_dup2_x1
  
  public void visit_dup2_x1(Instruction inst)
  
  Specified by:
  
  visit_dup2_x1 in interface InstructionVisitor
- visit_dup2_x2
  
  public void visit_dup2_x2(Instruction inst)
  
  Specified by:
  
  visit_dup2_x2 in interface InstructionVisitor
- visit_swap
  
  public void visit_swap(Instruction inst)
  
  Specified by:
  
  visit_swap in interface InstructionVisitor
- visit_iadd
  public void visit_iadd(Instruction inst)
  
  All visit_xadd, visit_xsub, visit_xmul, visit_xdiv, etc. push an ArithExpr onto the operand stack.
  
  Specified by:
  
  visit_iadd in interface InstructionVisitor
  
  See Also:
  
  ArithExpr
- visit_ladd
  
  public void visit_ladd(Instruction inst)
  
  Specified by:
  
  visit_ladd in interface InstructionVisitor
- visit_fadd
  
  public void visit_fadd(Instruction inst)
  
  Specified by:
  
  visit_fadd in interface InstructionVisitor
- visit_dadd
  
  public void visit_dadd(Instruction inst)
  
  Specified by:
  
  visit_dadd in interface InstructionVisitor
- visit_isub
  
  public void visit_isub(Instruction inst)
  
  Specified by:
  
  visit_isub in interface InstructionVisitor
- visit_lsub
  
  public void visit_lsub(Instruction inst)
  
  Specified by:
  
  visit_lsub in interface InstructionVisitor
- visit_fsub
  
  public void visit_fsub(Instruction inst)
  
  Specified by:
  
  visit_fsub in interface InstructionVisitor
- visit_dsub
  
  public void visit_dsub(Instruction inst)
  
  Specified by:
  
  visit_dsub in interface InstructionVisitor
- visit_imul
  
  public void visit_imul(Instruction inst)
  
  Specified by:
  
  visit_imul in interface InstructionVisitor
- visit_lmul
  
  public void visit_lmul(Instruction inst)
  
  Specified by:
  
  visit_lmul in interface InstructionVisitor
- visit_fmul
  
  public void visit_fmul(Instruction inst)
  
  Specified by:
  
  visit_fmul in interface InstructionVisitor
- visit_dmul
  
  public void visit_dmul(Instruction inst)
  
  Specified by:
  
  visit_dmul in interface InstructionVisitor
- visit_idiv
  
  public void visit_idiv(Instruction inst)
  
  Specified by:
  
  visit_idiv in interface InstructionVisitor
- visit_ldiv
  
  public void visit_ldiv(Instruction inst)
  
  Specified by:
  
  visit_ldiv in interface InstructionVisitor
- visit_fdiv
  
  public void visit_fdiv(Instruction inst)
  
  Specified by:
  
  visit_fdiv in interface InstructionVisitor
- visit_ddiv
  
  public void visit_ddiv(Instruction inst)
  
  Specified by:
  
  visit_ddiv in interface InstructionVisitor
- visit_irem
  
  public void visit_irem(Instruction inst)
  
  Specified by:
  
  visit_irem in interface InstructionVisitor
- visit_lrem
  
  public void visit_lrem(Instruction inst)
  
  Specified by:
  
  visit_lrem in interface InstructionVisitor
- visit_frem
  
  public void visit_frem(Instruction inst)
  
  Specified by:
  
  visit_frem in interface InstructionVisitor
- visit_drem
  
  public void visit_drem(Instruction inst)
  
  Specified by:
  
  visit_drem in interface InstructionVisitor
- visit_ineg
  public void visit_ineg(Instruction inst)
  
  All visit_xneg push a NegExpr onto the stack.
  
  Specified by:
  
  visit_ineg in interface InstructionVisitor
  
  See Also:
  
  NegExpr
- visit_lneg
  
  public void visit_lneg(Instruction inst)
  
  Specified by:
  
  visit_lneg in interface InstructionVisitor
- visit_fneg
  
  public void visit_fneg(Instruction inst)
  
  Specified by:
  
  visit_fneg in interface InstructionVisitor
- visit_dneg
  
  public void visit_dneg(Instruction inst)
  
  Specified by:
  
  visit_dneg in interface InstructionVisitor
- visit_ishl
  public void visit_ishl(Instruction inst)
  
  All visit_xshd push a ShiftExpr onto the operand stack.
  
  Specified by:
  
  visit_ishl in interface InstructionVisitor
  
  See Also:
  
  ShiftExpr
- visit_lshl
  
  public void visit_lshl(Instruction inst)
  
  Specified by:
  
  visit_lshl in interface InstructionVisitor
- visit_ishr
  
  public void visit_ishr(Instruction inst)
  
  Specified by:
  
  visit_ishr in interface InstructionVisitor
- visit_lshr
  
  public void visit_lshr(Instruction inst)
  
  Specified by:
  
  visit_lshr in interface InstructionVisitor
- visit_iushr
  
  public void visit_iushr(Instruction inst)
  
  Specified by:
  
  visit_iushr in interface InstructionVisitor
- visit_lushr
  
  public void visit_lushr(Instruction inst)
  
  Specified by:
  
  visit_lushr in interface InstructionVisitor
- visit_iand
  public void visit_iand(Instruction inst)
  
  All visit_x op push an ArithExpr onto the stack.
  
  Specified by:
  
  visit_iand in interface InstructionVisitor
  
  See Also:
  
  ArithExpr
- visit_land
  
  public void visit_land(Instruction inst)
  
  Specified by:
  
  visit_land in interface InstructionVisitor
- visit_ior
  
  public void visit_ior(Instruction inst)
  
  Specified by:
  
  visit_ior in interface InstructionVisitor
- visit_lor
  
  public void visit_lor(Instruction inst)
  
  Specified by:
  
  visit_lor in interface InstructionVisitor
- visit_ixor
  
  public void visit_ixor(Instruction inst)
  
  Specified by:
  
  visit_ixor in interface InstructionVisitor
- visit_lxor
  
  public void visit_lxor(Instruction inst)
  
  Specified by:
  
  visit_lxor in interface InstructionVisitor
- visit_iinc
  
  public void visit_iinc(Instruction inst)
  
  Visiting an iinc involves creating a ConstantExpr, LocalExpr, ArithExpr StoreExpr, and a ExprStmt.
  
  Specified by:
  
  visit_iinc in interface InstructionVisitor
- visit_i2l
  
  public void visit_i2l(Instruction inst)
  
  All cast visitors push a CastExpr onto the operand stack.
  
  Specified by:
  
  visit_i2l in interface InstructionVisitor
- visit_i2f
  
  public void visit_i2f(Instruction inst)
  
  Specified by:
  
  visit_i2f in interface InstructionVisitor
- visit_i2d
  
  public void visit_i2d(Instruction inst)
  
  Specified by:
  
  visit_i2d in interface InstructionVisitor
- visit_l2i
  
  public void visit_l2i(Instruction inst)
  
  Specified by:
  
  visit_l2i in interface InstructionVisitor
- visit_l2f
  
  public void visit_l2f(Instruction inst)
  
  Specified by:
  
  visit_l2f in interface InstructionVisitor
- visit_l2d
  
  public void visit_l2d(Instruction inst)
  
  Specified by:
  
  visit_l2d in interface InstructionVisitor
- visit_f2i
  
  public void visit_f2i(Instruction inst)
  
  Specified by:
  
  visit_f2i in interface InstructionVisitor
- visit_f2l
  
  public void visit_f2l(Instruction inst)
  
  Specified by:
  
  visit_f2l in interface InstructionVisitor
- visit_f2d
  
  public void visit_f2d(Instruction inst)
  
  Specified by:
  
  visit_f2d in interface InstructionVisitor
- visit_d2i
  
  public void visit_d2i(Instruction inst)
  
  Specified by:
  
  visit_d2i in interface InstructionVisitor
- visit_d2l
  
  public void visit_d2l(Instruction inst)
  
  Specified by:
  
  visit_d2l in interface InstructionVisitor
- visit_d2f
  
  public void visit_d2f(Instruction inst)
  
  Specified by:
  
  visit_d2f in interface InstructionVisitor
- visit_i2b
  
  public void visit_i2b(Instruction inst)
  
  Specified by:
  
  visit_i2b in interface InstructionVisitor
- visit_i2c
  
  public void visit_i2c(Instruction inst)
  
  Specified by:
  
  visit_i2c in interface InstructionVisitor
- visit_i2s
  
  public void visit_i2s(Instruction inst)
  
  Specified by:
  
  visit_i2s in interface InstructionVisitor
- visit_lcmp
  public void visit_lcmp(Instruction inst)
  
  All visit_xcmp push an ArithExpr onto the stack.
  
  Specified by:
  
  visit_lcmp in interface InstructionVisitor
  
  See Also:
  
  ArithExpr
- visit_fcmpl
  
  public void visit_fcmpl(Instruction inst)
  
  Specified by:
  
  visit_fcmpl in interface InstructionVisitor
- visit_fcmpg
  
  public void visit_fcmpg(Instruction inst)
  
  Specified by:
  
  visit_fcmpg in interface InstructionVisitor
- visit_dcmpl
  
  public void visit_dcmpl(Instruction inst)
  
  Specified by:
  
  visit_dcmpl in interface InstructionVisitor
- visit_dcmpg
  
  public void visit_dcmpg(Instruction inst)
  
  Specified by:
  
  visit_dcmpg in interface InstructionVisitor
- visit_ifeq
  public void visit_ifeq(Instruction inst)
  
  All visit_xeg add an IfZeroStmt to the statement list.
  
  Specified by:
  
  visit_ifeq in interface InstructionVisitor
  
  See Also:
  
  IfZeroStmt
- visit_ifne
  
  public void visit_ifne(Instruction inst)
  
  Specified by:
  
  visit_ifne in interface InstructionVisitor
- visit_iflt
  
  public void visit_iflt(Instruction inst)
  
  Specified by:
  
  visit_iflt in interface InstructionVisitor
- visit_ifge
  
  public void visit_ifge(Instruction inst)
  
  Specified by:
  
  visit_ifge in interface InstructionVisitor
- visit_ifgt
  
  public void visit_ifgt(Instruction inst)
  
  Specified by:
  
  visit_ifgt in interface InstructionVisitor
- visit_ifle
  
  public void visit_ifle(Instruction inst)
  
  Specified by:
  
  visit_ifle in interface InstructionVisitor
- visit_if_icmpeq
  
  public void visit_if_icmpeq(Instruction inst)
  
  All visit_if_xcmpy add a IfCmpStmt to the statement list.
  
  Specified by:
  
  visit_if_icmpeq in interface InstructionVisitor
- visit_if_icmpne
  
  public void visit_if_icmpne(Instruction inst)
  
  Specified by:
  
  visit_if_icmpne in interface InstructionVisitor
- visit_if_icmplt
  
  public void visit_if_icmplt(Instruction inst)
  
  Specified by:
  
  visit_if_icmplt in interface InstructionVisitor
- visit_if_icmpge
  
  public void visit_if_icmpge(Instruction inst)
  
  Specified by:
  
  visit_if_icmpge in interface InstructionVisitor
- visit_if_icmpgt
  
  public void visit_if_icmpgt(Instruction inst)
  
  Specified by:
  
  visit_if_icmpgt in interface InstructionVisitor
- visit_if_icmple
  
  public void visit_if_icmple(Instruction inst)
  
  Specified by:
  
  visit_if_icmple in interface InstructionVisitor
- visit_if_acmpeq
  
  public void visit_if_acmpeq(Instruction inst)
  
  Specified by:
  
  visit_if_acmpeq in interface InstructionVisitor
- visit_if_acmpne
  
  public void visit_if_acmpne(Instruction inst)
  
  Specified by:
  
  visit_if_acmpne in interface InstructionVisitor
- visit_goto
  public void visit_goto(Instruction inst)
  
  Adds a GotoStmt to the statement list.
  
  Specified by:
  
  visit_goto in interface InstructionVisitor
  
  See Also:
  
  GotoStmt
- visit_jsr
  public void visit_jsr(Instruction inst)
  
  Adds a JsrStmt to the statement list.
  
  Specified by:
  
  visit_jsr in interface InstructionVisitor
  
  See Also:
  
  JsrStmt
- visit_ret
  public void visit_ret(Instruction inst)
  
  Adds a RetStmt to the statement list.
  
  Specified by:
  
  visit_ret in interface InstructionVisitor
  
  See Also:
  
  RetStmt
- visit_switch
  public void visit_switch(Instruction inst)
  
  Add a SwitchStmt to the statement list.
  
  Specified by:
  
  visit_switch in interface InstructionVisitor
  
  See Also:
  
  SwitchStmt
- visit_ireturn
  public void visit_ireturn(Instruction inst)
  
  All visit_xreturn add a ReturnExprStmt to the statement list.
  
  Specified by:
  
  visit_ireturn in interface InstructionVisitor
  
  See Also:
  
  ReturnExprStmt
- visit_lreturn
  
  public void visit_lreturn(Instruction inst)
  
  Specified by:
  
  visit_lreturn in interface InstructionVisitor
- visit_freturn
  
  public void visit_freturn(Instruction inst)
  
  Specified by:
  
  visit_freturn in interface InstructionVisitor
- visit_dreturn
  
  public void visit_dreturn(Instruction inst)
  
  Specified by:
  
  visit_dreturn in interface InstructionVisitor
- visit_areturn
  
  public void visit_areturn(Instruction inst)
  
  Specified by:
  
  visit_areturn in interface InstructionVisitor
- visit_return
  
  public void visit_return(Instruction inst)
  
  Adds a ReturnStmt to the statement list.
  
  Specified by:
  
  visit_return in interface InstructionVisitor
- visit_getstatic
  
  public void visit_getstatic(Instruction inst)
  
  Pushes a StaticFieldExpr onto the operand stack.
  
  Specified by:
  
  visit_getstatic in interface InstructionVisitor
- visit_putstatic
  
  public void visit_putstatic(Instruction inst)
  
  Specified by:
  
  visit_putstatic in interface InstructionVisitor
- visit_putstatic_nowb
  
  public void visit_putstatic_nowb(Instruction inst)
  
  Specified by:
  
  visit_putstatic_nowb in interface InstructionVisitor
- visit_getfield
  
  public void visit_getfield(Instruction inst)
  
  Pushes a FieldExpr onto the operand stack.
  
  Specified by:
  
  visit_getfield in interface InstructionVisitor
- visit_putfield
  
  public void visit_putfield(Instruction inst)
  
  Specified by:
  
  visit_putfield in interface InstructionVisitor
- visit_putfield_nowb
  
  public void visit_putfield_nowb(Instruction inst)
  
  Specified by:
  
  visit_putfield_nowb in interface InstructionVisitor
- visit_invokevirtual
  public void visit_invokevirtual(Instruction inst)
  
  All visit_invokex deal with a CallMethodExpr or a CallStaticExpr.
  
  Specified by:
  
  visit_invokevirtual in interface InstructionVisitor
  
  See Also:
  
  CallMethodExpr
  
  CallStaticExpr
- visit_invokespecial
  
  public void visit_invokespecial(Instruction inst)
  
  Specified by:
  
  visit_invokespecial in interface InstructionVisitor
- visit_invokestatic
  
  public void visit_invokestatic(Instruction inst)
  
  Specified by:
  
  visit_invokestatic in interface InstructionVisitor
- visit_invokeinterface
  
  public void visit_invokeinterface(Instruction inst)
  
  Specified by:
  
  visit_invokeinterface in interface InstructionVisitor
- visit_new
  public void visit_new(Instruction inst)
  
  Pushes a NewExpr onto the operand stack.
  
  Specified by:
  
  visit_new in interface InstructionVisitor
  
  See Also:
  
  NewExpr
- visit_newarray
  
  public void visit_newarray(Instruction inst)
  
  Pushes a NewArrayExpr onto the operand stack.
  
  Specified by:
  
  visit_newarray in interface InstructionVisitor
- visit_arraylength
  public void visit_arraylength(Instruction inst)
  
  Pushes an ArrayLengthExpr onto the operand stack.
  
  Specified by:
  
  visit_arraylength in interface InstructionVisitor
  
  See Also:
  
  ArrayLengthExpr
- visit_athrow
  public void visit_athrow(Instruction inst)
  
  Adds a ThrowStmt to the statement list.
  
  Specified by:
  
  visit_athrow in interface InstructionVisitor
  
  See Also:
  
  ThrowStmt
- visit_checkcast
  public void visit_checkcast(Instruction inst)
  
  Pushes a CastExpr onto the operand stack.
  
  Specified by:
  
  visit_checkcast in interface InstructionVisitor
  
  See Also:
  
  CastExpr
- visit_instanceof
  public void visit_instanceof(Instruction inst)
  
  Pushes an InstanceOfExpr onto the operand stack.
  
  Specified by:
  
  visit_instanceof in interface InstructionVisitor
  
  See Also:
  
  InstanceOfExpr
- visit_monitorenter
  public void visit_monitorenter(Instruction inst)
  
  Both monitor visitors add a MonitorStmt to the statement list.
  
  Specified by:
  
  visit_monitorenter in interface InstructionVisitor
  
  See Also:
  
  MonitorStmt
- visit_monitorexit
  
  public void visit_monitorexit(Instruction inst)
  
  Specified by:
  
  visit_monitorexit in interface InstructionVisitor
- visit_multianewarray
  public void visit_multianewarray(Instruction inst)
  
  Push a NewMultiArrayExpr onto the operand stack.
  
  Specified by:
  
  visit_multianewarray in interface InstructionVisitor
  
  See Also:
  
  NewMultiArrayExpr
- visit_ifnull
  
  public void visit_ifnull(Instruction inst)
  
  Both visit_xnull add an IfZeroStmt to the statement list. ssee IfZeroStmt
  
  Specified by:
  
  visit_ifnull in interface InstructionVisitor
- visit_ifnonnull
  
  public void visit_ifnonnull(Instruction inst)
  
  Specified by:
  
  visit_ifnonnull in interface InstructionVisitor
- visit_rc
  public void visit_rc(Instruction inst)
  
  Replaces the expression on the top of the stack with an RCExpr.
  
  Specified by:
  
  visit_rc in interface InstructionVisitor
  
  See Also:
  
  RCExpr
- visit_aupdate
  
  public void visit_aupdate(Instruction inst)
  
  Specified by:
  
  visit_aupdate in interface InstructionVisitor
- visit_supdate
  public void visit_supdate(Instruction inst)
  
  Replace the expression at the stack depth specified in the instruction with a UCExpr.
  
  Specified by:
  
  visit_supdate in interface InstructionVisitor
  
  See Also:
  
  UCExpr
- visit_aswizzle
  public void visit_aswizzle(Instruction inst)
  
  Add a SCStmt to the statement list
  
  Specified by:
  
  visit_aswizzle in interface InstructionVisitor
  
  See Also:
  
  SCStmt
- visit_aswrange
  public void visit_aswrange(Instruction inst)
  
  Add a SRStmt to the statement list.
  
  Specified by:
  
  visit_aswrange in interface InstructionVisitor
  
  See Also:
  
  SRStmt
- visitForceChildren
  
  public void visitForceChildren(TreeVisitor visitor)
  
  Visit all the statements in the statement list.
  
  Specified by:
  
  visitForceChildren in class Node
- visit
  
  public void visit(TreeVisitor visitor)
  
  Specified by:
  
  visit in class Node
- parent
  
  public Node parent()
  
  Overrides:
  
  parent in class Node
- block
  
  public Block block()
  
  Description copied from class: Node
  
  Returns the basic block in which this Node resides.
  
  Overrides:
  
  block in class Node

Class Tree

Field Summary

Fields inherited from class Node

Fields inherited from interface Opcode

Constructor Summary

Method Summary

Methods inherited from class Node

Methods inherited from class Object

Field Details

DEBUG

FLATTEN

USE_STACK

AUPDATE_FIX_HACK

AUPDATE_FIX_HACK_CHANGED

USE_PERSISTENT

Constructor Details

Tree

Method Details

cleanupOnly

initLocals

removeStmt

removeLastStmt

stmts

lastStmt

stack

addStmtAfter

addStmtBefore

prependStmt

addStmt

addStmtBeforeJump

addInstruction

addInstruction

addInstruction

addLabel

newStack

newStackLocal

newLocal

newLocal

toString

visit_nop

visit_ldc

visit_iload

visit_lload

visit_fload

visit_dload

visit_aload

visit_iaload

visit_laload

visit_faload

visit_daload

visit_aaload

visit_baload

visit_caload

visit_saload

visit_istore

visit_lstore

visit_fstore

visit_dstore

visit_astore

visit_iastore

visit_lastore

visit_fastore

visit_dastore

visit_aastore

visit_bastore

visit_castore

visit_sastore

visit_pop

visit_pop2

visit_dup

visit_dup_x1

visit_dup_x2

visit_dup2

visit_dup2_x1

visit_dup2_x2

visit_swap

visit_iadd

visit_ladd

visit_fadd

visit_dadd