/** * precondition:contentsAreInvariant(valueNumber) * * @return the complete set of instances that the local with vn=valueNumber may point to. */ public InstanceKey[] getInvariantContents(SymbolTable symbolTable, DefUse du, CGNode node, int valueNumber, HeapModel hm) { return getInvariantContents(symbolTable, du, node, valueNumber, hm, false); }
/** * precondition:contentsAreInvariant(valueNumber) * * @return the complete set of instances that the local with vn=valueNumber may point to. */ public InstanceKey[] getInvariantContents(SymbolTable symbolTable, DefUse du, CGNode node, int valueNumber, HeapModel hm) { return getInvariantContents(symbolTable, du, node, valueNumber, hm, false); }
protected InstanceKey[] getInvariantContents(SymbolTable symbolTable, DefUse du, CGNode node, int valueNumber) { return getBuilder().getInvariantContents(symbolTable, du, node, valueNumber, getBuilder()); }
protected InstanceKey[] getInvariantContents(SymbolTable symbolTable, DefUse du, CGNode node, int valueNumber) { return getBuilder().getInvariantContents(symbolTable, du, node, valueNumber, getBuilder()); }
if (((SSAPropagationCallGraphBuilder) builder).contentsAreInvariant(ir.getSymbolTable(), du, lpk.getValueNumber())) { InstanceKey[] ik = ((SSAPropagationCallGraphBuilder) builder).getInvariantContents(ir.getSymbolTable(), du, node, lpk .getValueNumber(), H, true); return toOrdinalSet(ik);
if (((SSAPropagationCallGraphBuilder) builder).contentsAreInvariant(ir.getSymbolTable(), du, lpk.getValueNumber())) { InstanceKey[] ik = ((SSAPropagationCallGraphBuilder) builder).getInvariantContents(ir.getSymbolTable(), du, node, lpk .getValueNumber(), H, true); return toOrdinalSet(ik);
if (contentsAreInvariant(v.symbolTable, v.du, phi.getUse(n))) { system.recordImplicitPointsToSet(use); InstanceKey[] ik = getInvariantContents(v.symbolTable, v.du, node, phi.getUse(n), this); for (InstanceKey element : ik) { system.newConstraint(def, element);
InstanceKey[] ik = getInvariantContents(ir.getSymbolTable(), du, node, s.getException(), this); for (InstanceKey element : ik) { system.findOrCreateIndexForInstanceKey(element);
if (contentsAreInvariant(v.symbolTable, v.du, phi.getUse(n))) { system.recordImplicitPointsToSet(use); InstanceKey[] ik = getInvariantContents(v.symbolTable, v.du, node, phi.getUse(n), this); for (InstanceKey element : ik) { system.newConstraint(def, element);
InstanceKey[] ik = getInvariantContents(ir.getSymbolTable(), du, node, s.getException(), this); for (InstanceKey element : ik) { system.findOrCreateIndexForInstanceKey(element);