gov.nasa.jpf.symbc.veritesting.ast.transformations.ssaToAst

Class SSAUtil

java.lang.Object

gov.nasa.jpf.symbc.veritesting.ast.transformations.ssaToAst.SSAUtil

public class SSAUtil
extends java.lang.Object

Some utility methods used during construction of the StaticRegion.

Constructor Summary

Constructors

Constructor and Description
SSAUtil()

Method Summary

Modifier and Type	Method and Description
static java.util.PriorityQueue<com.ibm.wala.ssa.ISSABasicBlock>	constructSortedBlockPQ()
static za.ac.sun.cs.green.expr.Expression	convertCondition(com.ibm.wala.ssa.IR ir, com.ibm.wala.ssa.SSAConditionalBranchInstruction cond)
static za.ac.sun.cs.green.expr.Operation.Operator	convertOperator(com.ibm.wala.shrikeBT.IConditionalBranchInstruction.Operator operator)
static za.ac.sun.cs.green.expr.Expression	convertWalaVar(com.ibm.wala.ssa.IR ir, int ssaVar)
static <E> void	enqueue(java.util.PriorityQueue<E> queue, E elem)
static com.ibm.wala.ssa.SSAConditionalBranchInstruction	getLastBranchInstruction(com.ibm.wala.ssa.ISSABasicBlock current)
static java.util.Collection<com.ibm.wala.ssa.ISSABasicBlock>	getNonReturnSuccessors(com.ibm.wala.ssa.SSACFG cfg, com.ibm.wala.ssa.ISSABasicBlock current)
static boolean	isConditionalBranch(com.ibm.wala.ssa.ISSABasicBlock current)
static boolean	isLoopStart(java.util.HashSet<x10.wala.util.NatLoop> loops, com.ibm.wala.ssa.ISSABasicBlock b)
static void	printBlock(com.ibm.wala.ssa.ISSABasicBlock block)
static void	printBlocksUpTo(com.ibm.wala.ssa.SSACFG cfg, int blockNum)
static boolean	statefulBlock(com.ibm.wala.ssa.ISSABasicBlock block)
static za.ac.sun.cs.green.expr.Operation.Operator	translateBinaryOp(com.ibm.wala.shrikeBT.IBinaryOpInstruction.Operator op) Translate a binary operation to the appropriate Green operator.
static za.ac.sun.cs.green.expr.Operation.Operator	translateBinaryOp(com.ibm.wala.shrikeBT.IShiftInstruction.Operator op) Translate a binary shift operation to the appropriate Green operator.
static za.ac.sun.cs.green.expr.Operation.Operator	translateUnaryOp(com.ibm.wala.shrikeBT.IUnaryOpInstruction.Operator op) Translates a unary operation in Wala to its corresponding Green operator.

Methods inherited from class java.lang.Object

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

Constructor Detail

SSAUtil

public SSAUtil()

Method Detail

getNonReturnSuccessors

public static java.util.Collection<com.ibm.wala.ssa.ISSABasicBlock> getNonReturnSuccessors(com.ibm.wala.ssa.SSACFG cfg,
                                                                                           com.ibm.wala.ssa.ISSABasicBlock current)

constructSortedBlockPQ

public static java.util.PriorityQueue<com.ibm.wala.ssa.ISSABasicBlock> constructSortedBlockPQ()

enqueue

public static <E> void enqueue(java.util.PriorityQueue<E> queue,
                               E elem)

isConditionalBranch

public static boolean isConditionalBranch(com.ibm.wala.ssa.ISSABasicBlock current)

getLastBranchInstruction

public static com.ibm.wala.ssa.SSAConditionalBranchInstruction getLastBranchInstruction(com.ibm.wala.ssa.ISSABasicBlock current)

printBlock

public static void printBlock(com.ibm.wala.ssa.ISSABasicBlock block)

printBlocksUpTo

public static void printBlocksUpTo(com.ibm.wala.ssa.SSACFG cfg,
                                   int blockNum)

statefulBlock

public static boolean statefulBlock(com.ibm.wala.ssa.ISSABasicBlock block)

convertOperator

public static za.ac.sun.cs.green.expr.Operation.Operator convertOperator(com.ibm.wala.shrikeBT.IConditionalBranchInstruction.Operator operator)

convertWalaVar

public static za.ac.sun.cs.green.expr.Expression convertWalaVar(com.ibm.wala.ssa.IR ir,
                                                                int ssaVar)

convertCondition

public static za.ac.sun.cs.green.expr.Expression convertCondition(com.ibm.wala.ssa.IR ir,
                                                                  com.ibm.wala.ssa.SSAConditionalBranchInstruction cond)

translateBinaryOp

public static za.ac.sun.cs.green.expr.Operation.Operator translateBinaryOp(com.ibm.wala.shrikeBT.IBinaryOpInstruction.Operator op)

Translate a binary operation to the appropriate Green operator.

Parameters:

op - Wala operation

Returns:

Equivalent Green operator

translateBinaryOp

public static za.ac.sun.cs.green.expr.Operation.Operator translateBinaryOp(com.ibm.wala.shrikeBT.IShiftInstruction.Operator op)

Translate a binary shift operation to the appropriate Green operator.

Parameters:

op - Wala operation

Returns:

Equivalent Green operator

translateUnaryOp

public static za.ac.sun.cs.green.expr.Operation.Operator translateUnaryOp(com.ibm.wala.shrikeBT.IUnaryOpInstruction.Operator op)

Translates a unary operation in Wala to its corresponding Green operator.

isLoopStart

public static boolean isLoopStart(java.util.HashSet<x10.wala.util.NatLoop> loops,
                                  com.ibm.wala.ssa.ISSABasicBlock b)