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);
}
}
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);
}
}
}