if (contentsAreInvariant(symtab, du, 1)) { system.recordImplicitPointsToSet(F); final InstanceKey[] functionKeys = getInvariantContents(symtab, du, opNode, 1); for (InstanceKey functionKey : functionKeys) { system.findOrCreateIndexForInstanceKey(functionKey);
if (contentsAreInvariant(symtab, du, 1)) { system.recordImplicitPointsToSet(F); final InstanceKey[] functionKeys = getInvariantContents(symtab, du, opNode, 1); for (InstanceKey functionKey : functionKeys) { system.findOrCreateIndexForInstanceKey(functionKey);
final InstanceKey[] objs = getInvariantContents(st, du, definingNode, vn); for (InstanceKey obj : objs) { system.findOrCreateIndexForInstanceKey(obj);
InstanceKey[] x = getInvariantContents(symtab, du, opNode, objVn); for (InstanceKey element : x) { system.findOrCreateIndexForInstanceKey(element); InstanceKey[] x = getInvariantContents(symtab, du, opNode, fieldsVn); for (InstanceKey element : x) { system.findOrCreateIndexForInstanceKey(element); final InstanceKey[] objKeys = getInvariantContents(symtab, du, opNode, objVn); InstanceKey[] fieldsKeys = getInvariantContents(symtab, du, opNode, fieldsVn); if (contentsAreInvariant(symtab, du, fieldsVn)) { system.recordImplicitPointsToSet(fieldKey); final InstanceKey[] fieldsKeys = getInvariantContents(symtab, du, opNode, fieldsVn);
final InstanceKey[] objKeys = getInvariantContents(objVn);
final InstanceKey[] objKeys = getInvariantContents(objVn);
InstanceKey[] x = getInvariantContents(symtab, du, opNode, objVn); for (InstanceKey element : x) { system.findOrCreateIndexForInstanceKey(element); InstanceKey[] x = getInvariantContents(symtab, du, opNode, fieldsVn); for (InstanceKey element : x) { system.findOrCreateIndexForInstanceKey(element); final InstanceKey[] objKeys = getInvariantContents(symtab, du, opNode, objVn); InstanceKey[] fieldsKeys = getInvariantContents(symtab, du, opNode, fieldsVn); if (contentsAreInvariant(symtab, du, fieldsVn)) { system.recordImplicitPointsToSet(fieldKey); final InstanceKey[] fieldsKeys = getInvariantContents(symtab, du, opNode, fieldsVn);
InstanceKey objects[] = getInvariantContents(rval); for (InstanceKey object : objects) { PointerKey catalog = getPointerKeyForObjectCatalog(object);
InstanceKey objects[] = getInvariantContents(rval); for (InstanceKey object : objects) { PointerKey catalog = getPointerKeyForObjectCatalog(object);
final InstanceKey[] objs = getInvariantContents(st, du, definingNode, vn); for (InstanceKey obj : objs) { system.findOrCreateIndexForInstanceKey(obj);
protected void newFieldOperationFieldConstant(CGNode opNode, final boolean isLoadOperation, final ReflectedFieldAction action, final int objVn, final InstanceKey[] fieldsKeys) { IRView ir = getBuilder().getCFAContextInterpreter().getIRView(opNode); SymbolTable symtab = ir.getSymbolTable(); DefUse du = getBuilder().getCFAContextInterpreter().getDU(opNode); PointerKey objKey = getBuilder().getPointerKeyForLocal(opNode, objVn); if (contentsAreInvariant(symtab, du, objVn)) { system.recordImplicitPointsToSet(objKey); InstanceKey[] objectKeys = getInvariantContents(symtab, du, opNode, objVn); newFieldOperationObjectAndFieldConstant(isLoadOperation, action, objectKeys, fieldsKeys); } else { newFieldOperationOnlyFieldConstant(isLoadOperation, action, objKey, fieldsKeys); } }
protected void newFieldOperationFieldConstant(CGNode opNode, final boolean isLoadOperation, final ReflectedFieldAction action, final int objVn, final InstanceKey[] fieldsKeys) { IRView ir = getBuilder().getCFAContextInterpreter().getIRView(opNode); SymbolTable symtab = ir.getSymbolTable(); DefUse du = getBuilder().getCFAContextInterpreter().getDU(opNode); PointerKey objKey = getBuilder().getPointerKeyForLocal(opNode, objVn); if (contentsAreInvariant(symtab, du, objVn)) { system.recordImplicitPointsToSet(objKey); InstanceKey[] objectKeys = getInvariantContents(symtab, du, opNode, objVn); newFieldOperationObjectAndFieldConstant(isLoadOperation, action, objectKeys, fieldsKeys); } else { newFieldOperationOnlyFieldConstant(isLoadOperation, action, objKey, fieldsKeys); } }
public void newFieldWrite(CGNode opNode, int objVn, int fieldsVn, int rhsVn) { IRView ir = getBuilder().getCFAContextInterpreter().getIRView(opNode); SymbolTable symtab = ir.getSymbolTable(); DefUse du = getBuilder().getCFAContextInterpreter().getDU(opNode); PointerKey rhsKey = getBuilder().getPointerKeyForLocal(opNode, rhsVn); if (contentsAreInvariant(symtab, du, rhsVn)) { system.recordImplicitPointsToSet(rhsKey); newFieldWrite(opNode, objVn, fieldsVn, getInvariantContents(symtab, du, opNode, rhsVn)); } else { newFieldWrite(opNode, objVn, fieldsVn, rhsKey); } }
public void newFieldWrite(CGNode opNode, int objVn, int fieldsVn, int rhsVn) { IRView ir = getBuilder().getCFAContextInterpreter().getIRView(opNode); SymbolTable symtab = ir.getSymbolTable(); DefUse du = getBuilder().getCFAContextInterpreter().getDU(opNode); PointerKey rhsKey = getBuilder().getPointerKeyForLocal(opNode, rhsVn); if (contentsAreInvariant(symtab, du, rhsVn)) { system.recordImplicitPointsToSet(rhsKey); newFieldWrite(opNode, objVn, fieldsVn, getInvariantContents(symtab, du, opNode, rhsVn)); } else { newFieldWrite(opNode, objVn, fieldsVn, rhsKey); } }