com.ibm.wala.ssa

Interface SSAInstructionFactory

All Known Implementing Classes:

JavaLanguage.JavaInstructionFactory

public interface SSAInstructionFactory

An instruction factory for SSA.

Method Summary

Methods

Modifier and Type	Method and Description
SSAAddressOfInstruction	AddressOfInstruction(int iindex, int lval, int local, FieldReference field, TypeReference pointeeType)
SSAAddressOfInstruction	AddressOfInstruction(int iindex, int lval, int local, int indexVal, TypeReference pointeeType)
SSAAddressOfInstruction	AddressOfInstruction(int iindex, int lval, int local, TypeReference pointeeType)
SSAArrayLengthInstruction	ArrayLengthInstruction(int iindex, int result, int arrayref)
SSAArrayLoadInstruction	ArrayLoadInstruction(int iindex, int result, int arrayref, int index, TypeReference declaredType)
SSAArrayStoreInstruction	ArrayStoreInstruction(int iindex, int arrayref, int index, int value, TypeReference declaredType)
SSAAbstractBinaryInstruction	BinaryOpInstruction(int iindex, com.ibm.wala.shrikeBT.IBinaryOpInstruction.IOperator operator, boolean overflow, boolean unsigned, int result, int val1, int val2, boolean mayBeInteger)
SSACheckCastInstruction	CheckCastInstruction(int iindex, int result, int val, int[] typeValues, boolean isPEI)
SSACheckCastInstruction	CheckCastInstruction(int iindex, int result, int val, int typeValue, boolean isPEI)
SSACheckCastInstruction	CheckCastInstruction(int iindex, int result, int val, TypeReference[] types, boolean isPEI)
SSACheckCastInstruction	CheckCastInstruction(int iindex, int result, int val, TypeReference type, boolean isPEI)
SSAComparisonInstruction	ComparisonInstruction(int iindex, com.ibm.wala.shrikeBT.IComparisonInstruction.Operator operator, int result, int val1, int val2)
SSAConditionalBranchInstruction	ConditionalBranchInstruction(int iindex, com.ibm.wala.shrikeBT.IConditionalBranchInstruction.IOperator operator, TypeReference type, int val1, int val2, int target)
SSAConversionInstruction	ConversionInstruction(int iindex, int result, int val, TypeReference fromType, TypeReference toType, boolean overflow)
SSAGetCaughtExceptionInstruction	GetCaughtExceptionInstruction(int iindex, int bbNumber, int exceptionValueNumber)
SSAGetInstruction	GetInstruction(int iindex, int result, FieldReference field)
SSAGetInstruction	GetInstruction(int iindex, int result, int ref, FieldReference field)
SSAGotoInstruction	GotoInstruction(int iindex, int target)
SSAInstanceofInstruction	InstanceofInstruction(int iindex, int result, int ref, TypeReference checkedType)
SSAInvokeInstruction	InvokeInstruction(int iindex, int[] params, int exception, CallSiteReference site, com.ibm.wala.shrikeCT.BootstrapMethodsReader.BootstrapMethod bootstrap)
SSAInvokeInstruction	InvokeInstruction(int iindex, int result, int[] params, int exception, CallSiteReference site, com.ibm.wala.shrikeCT.BootstrapMethodsReader.BootstrapMethod bootstrap)
SSALoadIndirectInstruction	LoadIndirectInstruction(int iindex, int lval, TypeReference t, int addressVal)
SSALoadMetadataInstruction	LoadMetadataInstruction(int iindex, int lval, TypeReference entityType, Object token)
SSAMonitorInstruction	MonitorInstruction(int iindex, int ref, boolean isEnter)
SSANewInstruction	NewInstruction(int iindex, int result, NewSiteReference site)
SSANewInstruction	NewInstruction(int iindex, int result, NewSiteReference site, int[] params)
SSAPhiInstruction	PhiInstruction(int iindex, int result, int[] params)
SSAPiInstruction	PiInstruction(int iindex, int result, int val, int piBlock, int successorBlock, SSAInstruction cause)
SSAPutInstruction	PutInstruction(int iindex, int value, FieldReference field)
SSAPutInstruction	PutInstruction(int iindex, int ref, int value, FieldReference field)
SSAReturnInstruction	ReturnInstruction(int iindex)
SSAReturnInstruction	ReturnInstruction(int iindex, int result, boolean isPrimitive)
SSAStoreIndirectInstruction	StoreIndirectInstruction(int iindex, int addressVal, int rval, TypeReference pointeeType)
SSASwitchInstruction	SwitchInstruction(int iindex, int val, int defaultLabel, int[] casesAndLabels)
SSAThrowInstruction	ThrowInstruction(int iindex, int exception)
SSAUnaryOpInstruction	UnaryOpInstruction(int iindex, com.ibm.wala.shrikeBT.IUnaryOpInstruction.IOperator operator, int result, int val)

Method Detail

AddressOfInstruction

SSAAddressOfInstruction AddressOfInstruction(int iindex,
                                           int lval,
                                           int local,
                                           TypeReference pointeeType)

AddressOfInstruction

SSAAddressOfInstruction AddressOfInstruction(int iindex,
                                           int lval,
                                           int local,
                                           int indexVal,
                                           TypeReference pointeeType)

AddressOfInstruction

SSAAddressOfInstruction AddressOfInstruction(int iindex,
                                           int lval,
                                           int local,
                                           FieldReference field,
                                           TypeReference pointeeType)

ArrayLengthInstruction

SSAArrayLengthInstruction ArrayLengthInstruction(int iindex,
                                               int result,
                                               int arrayref)

ArrayLoadInstruction

SSAArrayLoadInstruction ArrayLoadInstruction(int iindex,
                                           int result,
                                           int arrayref,
                                           int index,
                                           TypeReference declaredType)

ArrayStoreInstruction

SSAArrayStoreInstruction ArrayStoreInstruction(int iindex,
                                             int arrayref,
                                             int index,
                                             int value,
                                             TypeReference declaredType)

BinaryOpInstruction

SSAAbstractBinaryInstruction BinaryOpInstruction(int iindex,
                                               com.ibm.wala.shrikeBT.IBinaryOpInstruction.IOperator operator,
                                               boolean overflow,
                                               boolean unsigned,
                                               int result,
                                               int val1,
                                               int val2,
                                               boolean mayBeInteger)

CheckCastInstruction

SSACheckCastInstruction CheckCastInstruction(int iindex,
                                           int result,
                                           int val,
                                           int[] typeValues,
                                           boolean isPEI)

CheckCastInstruction

SSACheckCastInstruction CheckCastInstruction(int iindex,
                                           int result,
                                           int val,
                                           int typeValue,
                                           boolean isPEI)

CheckCastInstruction

SSACheckCastInstruction CheckCastInstruction(int iindex,
                                           int result,
                                           int val,
                                           TypeReference[] types,
                                           boolean isPEI)

CheckCastInstruction

SSACheckCastInstruction CheckCastInstruction(int iindex,
                                           int result,
                                           int val,
                                           TypeReference type,
                                           boolean isPEI)

ComparisonInstruction

SSAComparisonInstruction ComparisonInstruction(int iindex,
                                             com.ibm.wala.shrikeBT.IComparisonInstruction.Operator operator,
                                             int result,
                                             int val1,
                                             int val2)

ConditionalBranchInstruction

SSAConditionalBranchInstruction ConditionalBranchInstruction(int iindex,
                                                           com.ibm.wala.shrikeBT.IConditionalBranchInstruction.IOperator operator,
                                                           TypeReference type,
                                                           int val1,
                                                           int val2,
                                                           int target)

ConversionInstruction

SSAConversionInstruction ConversionInstruction(int iindex,
                                             int result,
                                             int val,
                                             TypeReference fromType,
                                             TypeReference toType,
                                             boolean overflow)

GetCaughtExceptionInstruction

SSAGetCaughtExceptionInstruction GetCaughtExceptionInstruction(int iindex,
                                                             int bbNumber,
                                                             int exceptionValueNumber)

GetInstruction

SSAGetInstruction GetInstruction(int iindex,
                               int result,
                               FieldReference field)

GetInstruction

SSAGetInstruction GetInstruction(int iindex,
                               int result,
                               int ref,
                               FieldReference field)

GotoInstruction

SSAGotoInstruction GotoInstruction(int iindex,
                                 int target)

InstanceofInstruction

SSAInstanceofInstruction InstanceofInstruction(int iindex,
                                             int result,
                                             int ref,
                                             TypeReference checkedType)

InvokeInstruction

SSAInvokeInstruction InvokeInstruction(int iindex,
                                     int result,
                                     int[] params,
                                     int exception,
                                     CallSiteReference site,
                                     com.ibm.wala.shrikeCT.BootstrapMethodsReader.BootstrapMethod bootstrap)

InvokeInstruction

SSAInvokeInstruction InvokeInstruction(int iindex,
                                     int[] params,
                                     int exception,
                                     CallSiteReference site,
                                     com.ibm.wala.shrikeCT.BootstrapMethodsReader.BootstrapMethod bootstrap)

LoadIndirectInstruction

SSALoadIndirectInstruction LoadIndirectInstruction(int iindex,
                                                 int lval,
                                                 TypeReference t,
                                                 int addressVal)

LoadMetadataInstruction

SSALoadMetadataInstruction LoadMetadataInstruction(int iindex,
                                                 int lval,
                                                 TypeReference entityType,
                                                 Object token)

MonitorInstruction

SSAMonitorInstruction MonitorInstruction(int iindex,
                                       int ref,
                                       boolean isEnter)

NewInstruction

SSANewInstruction NewInstruction(int iindex,
                               int result,
                               NewSiteReference site)

NewInstruction

SSANewInstruction NewInstruction(int iindex,
                               int result,
                               NewSiteReference site,
                               int[] params)

PhiInstruction

SSAPhiInstruction PhiInstruction(int iindex,
                               int result,
                               int[] params)

PiInstruction

SSAPiInstruction PiInstruction(int iindex,
                             int result,
                             int val,
                             int piBlock,
                             int successorBlock,
                             SSAInstruction cause)

PutInstruction

SSAPutInstruction PutInstruction(int iindex,
                               int ref,
                               int value,
                               FieldReference field)

PutInstruction

SSAPutInstruction PutInstruction(int iindex,
                               int value,
                               FieldReference field)

ReturnInstruction

SSAReturnInstruction ReturnInstruction(int iindex)

ReturnInstruction

SSAReturnInstruction ReturnInstruction(int iindex,
                                     int result,
                                     boolean isPrimitive)

StoreIndirectInstruction

SSAStoreIndirectInstruction StoreIndirectInstruction(int iindex,
                                                   int addressVal,
                                                   int rval,
                                                   TypeReference pointeeType)

SwitchInstruction

SSASwitchInstruction SwitchInstruction(int iindex,
                                     int val,
                                     int defaultLabel,
                                     int[] casesAndLabels)

ThrowInstruction

SSAThrowInstruction ThrowInstruction(int iindex,
                                   int exception)

UnaryOpInstruction

SSAUnaryOpInstruction UnaryOpInstruction(int iindex,
                                       com.ibm.wala.shrikeBT.IUnaryOpInstruction.IOperator operator,
                                       int result,
                                       int val)