Methods in joeq.Compiler.Quad with parameters of type Operand |
static Quad |
Operator.ALength.create(int id,
Operator.ALength operator,
Operand.RegisterOperand res,
Operand val)
|
static Quad |
Operator.ALoad.create(int id,
Operator.ALoad operator,
Operand.RegisterOperand dst,
Operand base,
Operand ind,
Operand guard)
|
static Quad |
Operator.AStore.create(int id,
Operator.AStore operator,
Operand val,
Operand base,
Operand ind,
Operand guard)
|
static Quad |
Operator.Binary.create(int id,
Operator.Binary operator,
Operand.RegisterOperand dst,
Operand src1,
Operand src2)
|
static Quad |
Operator.BoundsCheck.create(int id,
Operator.BoundsCheck operator,
Operand ref,
Operand idx,
Operand guard)
|
static Quad |
Operator.CheckCast.create(int id,
Operator.CheckCast operator,
Operand.RegisterOperand res,
Operand val,
Operand.TypeOperand type)
|
static Quad |
Operator.Getfield.create(int id,
Operator.Getfield operator,
Operand.RegisterOperand dst,
Operand base,
Operand.FieldOperand field,
Operand guard)
|
static Quad |
Operator.InstanceOf.create(int id,
Operator.InstanceOf operator,
Operand.RegisterOperand res,
Operand val,
Operand.TypeOperand type)
|
static Quad |
Operator.IntIfCmp.create(int id,
Operator.IntIfCmp operator,
Operand op0,
Operand op1,
Operand.ConditionOperand cond,
Operand.TargetOperand target)
|
static Quad |
Operator.LookupSwitch.create(int id,
Operator.LookupSwitch operator,
Operand val,
Operand.TargetOperand def,
int length)
|
static Quad |
Operator.MemLoad.create(int id,
Operator.MemLoad operator,
Operand.RegisterOperand dst,
Operand addr)
|
static Quad |
Operator.MemStore.create(int id,
Operator.MemStore operator,
Operand addr,
Operand val)
|
static Quad |
Operator.Monitor.create(int id,
Operator.Monitor operator,
Operand val)
|
static Quad |
Operator.Move.create(int id,
Operator.Move operator,
Operand.RegisterOperand dst,
Operand src)
|
static Quad |
Operator.NewArray.create(int id,
Operator.NewArray operator,
Operand.RegisterOperand res,
Operand size,
Operand.TypeOperand type)
|
static Quad |
Operator.NullCheck.create(int id,
Operator.NullCheck operator,
Operand dst,
Operand src)
|
static Quad |
Operator.Putfield.create(int id,
Operator.Putfield operator,
Operand base,
Operand.FieldOperand field,
Operand src,
Operand guard)
|
static Quad |
Operator.Putstatic.create(int id,
Operator.Putstatic operator,
Operand src,
Operand.FieldOperand field)
|
static Quad |
Operator.Return.create(int id,
Operator.Return operator,
Operand val)
|
static Quad |
Operator.Special.create(int id,
Operator.Special.ALLOCA operator,
Operand.RegisterOperand res,
Operand val)
|
static Quad |
Operator.Special.create(int id,
Operator.Special.ATOMICADD_I operator,
Operand loc,
Operand val)
|
static Quad |
Operator.Special.create(int id,
Operator.Special.ATOMICAND_I operator,
Operand loc,
Operand val)
|
static Quad |
Operator.Special.create(int id,
Operator.Special.ATOMICCAS4 operator,
Operand.RegisterOperand res,
Operand loc,
Operand val1,
Operand val2)
|
static Quad |
Operator.Special.create(int id,
Operator.Special.ATOMICCAS8 operator,
Operand.RegisterOperand res,
Operand loc,
Operand val1,
Operand val2)
|
static Quad |
Operator.Special.create(int id,
Operator.Special.ATOMICSUB_I operator,
Operand loc,
Operand val)
|
static Quad |
Operator.Special.create(int id,
Operator.Special.INVOKE_L operator,
Operand.RegisterOperand res,
Operand val)
|
static Quad |
Operator.Special.create(int id,
Operator.Special.INVOKE_P operator,
Operand.RegisterOperand res,
Operand val)
|
static Quad |
Operator.Special.create(int id,
Operator.Special.LONG_JUMP operator,
Operand ip,
Operand fp,
Operand sp,
Operand eax)
|
static Quad |
Operator.Special.create(int id,
Operator.Special.PUSH_FP32 operator,
Operand val)
|
static Quad |
Operator.Special.create(int id,
Operator.Special.PUSH_FP64 operator,
Operand val)
|
static Quad |
Operator.Special.create(int id,
Operator.Special.PUSHARG_I operator,
Operand val)
|
static Quad |
Operator.Special.create(int id,
Operator.Special.PUSHARG_P operator,
Operand val)
|
static Quad |
Operator.Special.create(int id,
Operator.Special.SET_THREAD_BLOCK operator,
Operand val)
|
static Quad |
Operator.StoreCheck.create(int id,
Operator.StoreCheck operator,
Operand ref,
Operand elem,
Operand guard)
|
static Quad |
Operator.TableSwitch.create(int id,
Operator.TableSwitch operator,
Operand val,
Operand.IConstOperand low,
Operand.TargetOperand def,
int length)
|
static Quad |
Operator.Unary.create(int id,
Operator.Unary operator,
Operand.RegisterOperand dst,
Operand src1)
|
static Quad |
Operator.ZeroCheck.create(int id,
Operator.ZeroCheck operator,
Operand dst,
Operand src)
|
static boolean |
Operand.Util.isConstant(Operand op)
|
boolean |
BytecodeToQuad.isLocal(Operand op,
int index,
jq_Type type)
|
static boolean |
Operand.Util.isNullConstant(Operand op)
|
boolean |
Operand.isSimilar(Operand that)
|
boolean |
Operand.RegisterOperand.isSimilar(Operand that)
|
boolean |
Operand.AConstOperand.isSimilar(Operand that)
|
boolean |
Operand.PConstOperand.isSimilar(Operand o)
|
boolean |
Operand.IConstOperand.isSimilar(Operand that)
|
boolean |
Operand.FConstOperand.isSimilar(Operand that)
|
boolean |
Operand.LConstOperand.isSimilar(Operand that)
|
boolean |
Operand.DConstOperand.isSimilar(Operand that)
|
boolean |
Operand.UnnecessaryGuardOperand.isSimilar(Operand that)
|
boolean |
Operand.ConditionOperand.isSimilar(Operand that)
|
boolean |
Operand.FieldOperand.isSimilar(Operand that)
|
boolean |
Operand.TypeOperand.isSimilar(Operand that)
|
boolean |
Operand.TargetOperand.isSimilar(Operand that)
|
boolean |
Operand.MethodOperand.isSimilar(Operand that)
|
boolean |
Operand.IntValueTableOperand.isSimilar(Operand that)
|
boolean |
Operand.BasicBlockTableOperand.isSimilar(Operand that)
|
boolean |
Operand.ParamListOperand.isSimilar(Operand that)
|
static void |
Operator.MemLoad.setAddress(Quad q,
Operand o)
|
static void |
Operator.MemStore.setAddress(Quad q,
Operand o)
|
static void |
Operator.ALoad.setBase(Quad q,
Operand o)
|
static void |
Operator.AStore.setBase(Quad q,
Operand o)
|
static void |
Operator.Getfield.setBase(Quad q,
Operand o)
|
static void |
Operator.Putfield.setBase(Quad q,
Operand o)
|
static void |
Operator.NullCheck.setDest(Quad q,
Operand o)
|
static void |
Operator.ZeroCheck.setDest(Quad q,
Operand o)
|
static void |
Operator.StoreCheck.setElement(Quad q,
Operand o)
|
static void |
Operator.ALoad.setGuard(Quad q,
Operand o)
|
static void |
Operator.AStore.setGuard(Quad q,
Operand o)
|
static void |
Operator.Getfield.setGuard(Quad q,
Operand o)
|
static void |
Operator.Putfield.setGuard(Quad q,
Operand o)
|
static void |
Operator.BoundsCheck.setGuard(Quad q,
Operand o)
|
static void |
Operator.StoreCheck.setGuard(Quad q,
Operand o)
|
static void |
Operator.ALoad.setIndex(Quad q,
Operand o)
|
static void |
Operator.AStore.setIndex(Quad q,
Operand o)
|
static void |
Operator.BoundsCheck.setIndex(Quad q,
Operand o)
|
void |
Quad.setOp1(Operand op)
|
static void |
Operator.Special.setOp1(Quad q,
Operand o)
|
void |
Quad.setOp2(Operand op)
|
static void |
Operator.Special.setOp2(Quad q,
Operand o)
|
void |
Quad.setOp3(Operand op)
|
static void |
Operator.Special.setOp3(Quad q,
Operand o)
|
void |
Quad.setOp4(Operand op)
|
static void |
Operator.Special.setOp4(Quad q,
Operand o)
|
static void |
Operator.BoundsCheck.setRef(Quad q,
Operand o)
|
static void |
Operator.StoreCheck.setRef(Quad q,
Operand o)
|
static void |
Operator.NewArray.setSize(Quad q,
Operand o)
|
static void |
Operator.Move.setSrc(Quad q,
Operand o)
|
static void |
Operator.Unary.setSrc(Quad q,
Operand o)
|
static void |
Operator.TableSwitch.setSrc(Quad q,
Operand o)
|
static void |
Operator.LookupSwitch.setSrc(Quad q,
Operand o)
|
static void |
Operator.Return.setSrc(Quad q,
Operand o)
|
static void |
Operator.Putstatic.setSrc(Quad q,
Operand o)
|
static void |
Operator.Putfield.setSrc(Quad q,
Operand o)
|
static void |
Operator.NullCheck.setSrc(Quad q,
Operand o)
|
static void |
Operator.ZeroCheck.setSrc(Quad q,
Operand o)
|
static void |
Operator.CheckCast.setSrc(Quad q,
Operand o)
|
static void |
Operator.InstanceOf.setSrc(Quad q,
Operand o)
|
static void |
Operator.ALength.setSrc(Quad q,
Operand o)
|
static void |
Operator.Monitor.setSrc(Quad q,
Operand o)
|
static void |
Operator.Binary.setSrc1(Quad q,
Operand o)
|
static void |
Operator.IntIfCmp.setSrc1(Quad q,
Operand o)
|
static void |
Operator.Binary.setSrc2(Quad q,
Operand o)
|
static void |
Operator.IntIfCmp.setSrc2(Quad q,
Operand o)
|
static void |
Operator.AStore.setValue(Quad q,
Operand o)
|
static void |
Operator.MemStore.setValue(Quad q,
Operand o)
|