@Override
public void visitInvokeInst(Quad q) {
ParamListOperand argList = Invoke.getParamList(q);
RegisterOperand vo = Invoke.getDest(q);
int args = argList.length();
// was args > 1
if (vo != null && args > 0) {
Register v = vo.getRegister();
jq_Method meth = Invoke.getMethod(q).getMethod();
jq_Class cl = meth.getDeclaringClass();
if (v.getType().isReferenceType()) {
// String mname = meth.getName().toString();
// System.out.println("INewColl inspecting call to " + mname);
if (isCollectionType(cl) && !meth.isStatic()) {
jq_Type destType = meth.getReturnType();
// System.out.println("INewColl saw call to " + meth + " returning " + destType);
if (isCollectionType(destType)) {
Register thisObj = Invoke.getParam(q, 0).getRegister();
int iID = domI.indexOf(q);
int vID = domV.indexOf(v);
int thisID = domV.indexOf(thisObj);
super.add(iID, vID, thisID);
}
}
}
}
}
public void fill() {
DomM domM = (DomM) doms[0];
DomV domV = (DomV) doms[1];
DomH domH = (DomH) doms[2];
int numA = domH.getLastA() + 1;
for (int hIdx = 1; hIdx < numA; hIdx++) {
Quad q = (Quad) domH.get(hIdx);
jq_Method m = q.getMethod();
int mIdx = domM.indexOf(m);
assert (mIdx >= 0);
Operator op = q.getOperator();
RegisterOperand vo;
if (op instanceof New) vo = New.getDest(q);
else if (op instanceof NewArray) vo = NewArray.getDest(q);
else if (op instanceof Invoke) vo = Invoke.getDest(q);
else if (op instanceof MultiNewArray) vo = NewArray.getDest(q);
else {
Messages.fatal("Unknown quad in domain H: " + q);
vo = null;
}
Register v = vo.getRegister();
int vIdx = domV.indexOf(v);
if (vIdx >= 0) add(mIdx, vIdx, hIdx);
}
}
@Override
public void visitInvokeInst(Quad q) {
int optPos = ConfDefines.confOptionWritePos(q);
if (optPos >= 0) {
int i_id = domI.indexOf(q);
// int o_id = domUV.indexOf(vo.getRegister());
ParamListOperand plo = Invoke.getParamList(q);
if (plo.length() > optPos) {
RegisterOperand arg = Invoke.getParam(q, optPos);
int parm_id = domV.indexOf(arg.getRegister());
if (i_id > -1 && parm_id > -1) add(i_id, 0, parm_id);
} else {
System.err.println(
"trouble on "
+ method.getName()
+ q.getLineNumber()
+ " expected at least "
+ optPos
+ " params");
}
}
}
public void fill() {
DomL domL = (DomL) doms[0];
int numL = domL.size();
for (int lIdx = 0; lIdx < numL; lIdx++) {
Inst i = domL.get(lIdx);
if (i instanceof Quad) {
Quad q = (Quad) i;
Operand op = Monitor.getSrc(q);
if (op instanceof RegisterOperand) {
RegisterOperand ro = (RegisterOperand) op;
Register v = ro.getRegister();
add(q, v);
}
}
}
}
public void visitHeapInst(Quad q) {
Operator op = q.getOperator();
if (op instanceof AStore) {
if (((AStore) op).getType().isReferenceType()) {
Operand rx = AStore.getValue(q);
if (rx instanceof RegisterOperand) {
RegisterOperand ro = (RegisterOperand) rx;
Register r = ro.getRegister();
RegisterOperand bo = (RegisterOperand) AStore.getBase(q);
Register b = bo.getRegister();
int mIdx = domM.indexOf(ctnrMethod);
assert (mIdx >= 0);
int rIdx = domV.indexOf(r);
assert (rIdx >= 0);
int bIdx = domV.indexOf(b);
assert (bIdx >= 0);
int fIdx = 0;
add(mIdx, bIdx, fIdx, rIdx);
}
}
return;
}
if (op instanceof Putfield) {
jq_Field f = Putfield.getField(q).getField();
if (f.getType().isReferenceType()) {
Operand rx = Putfield.getSrc(q);
if (rx instanceof RegisterOperand) {
Operand bx = Putfield.getBase(q);
if (bx instanceof RegisterOperand) {
RegisterOperand bo = (RegisterOperand) bx;
RegisterOperand ro = (RegisterOperand) rx;
Register b = bo.getRegister();
Register r = ro.getRegister();
int mIdx = domM.indexOf(ctnrMethod);
assert (mIdx >= 0);
int bIdx = domV.indexOf(b);
assert (bIdx >= 0);
int rIdx = domV.indexOf(r);
assert (rIdx >= 0);
int fIdx = domF.indexOf(f);
assert (fIdx >= 0);
add(mIdx, bIdx, fIdx, rIdx);
}
}
}
}
}
public void visitHeapInst(Quad q) {
Operator op = q.getOperator();
if (op instanceof ALoad) {
if (!((ALoad) op).getType().isReferenceType()) {
RegisterOperand lo = ALoad.getDest(q);
Register l = lo.getRegister();
RegisterOperand bo = (RegisterOperand) ALoad.getBase(q);
Register b = bo.getRegister();
int mIdx = domM.indexOf(ctnrMethod);
assert (mIdx != -1);
int lIdx = domU.indexOf(l);
assert (lIdx != -1);
int bIdx = domV.indexOf(b);
assert (bIdx != -1);
int fIdx = 0;
add(mIdx, lIdx, bIdx, fIdx);
}
return;
}
if (op instanceof Getfield) {
FieldOperand fo = Getfield.getField(q);
fo.resolve();
jq_Field f = fo.getField();
if (!f.getType().isReferenceType()) {
Operand bx = Getfield.getBase(q);
if (bx instanceof RegisterOperand) {
RegisterOperand bo = (RegisterOperand) bx;
Register b = bo.getRegister();
RegisterOperand lo = Getfield.getDest(q);
Register l = lo.getRegister();
int mIdx = domM.indexOf(ctnrMethod);
assert (mIdx != -1);
int bIdx = domV.indexOf(b);
assert (bIdx != -1);
int lIdx = domU.indexOf(l);
assert (lIdx != -1);
int fIdx = domF.indexOf(f);
if (fIdx == -1) {
System.out.println("WARNING: MgetInstFldInst: method: " + ctnrMethod + " quad: " + q);
} else add(mIdx, lIdx, bIdx, fIdx);
} else assert (bx instanceof AConstOperand);
}
}
}
