if (!type.asArray().getElementType().isPrimitiveType()) type = OPT_ClassLoaderProxy.JavaLangObjectArrayType; registerUse(s, type); if (uphi) registerDef(s, b, type);
if (type.isArrayType()) { if (!type.asArray().getElementType().isPrimitiveType()) type = OPT_ClassLoaderProxy.JavaLangObjectArrayType; registerUse(s, type); if (uphi) registerDef(s, b, type); }
  private void aloadHelper (OPT_Instruction s, OPT_BasicBlock b) {    // TODO: use some class hierarchy analysis    VM_Type type = ALoad.getArray(s).getType();    if (!type.asArray().getElementType().isPrimitiveType())      type = OPT_ClassLoaderProxy.JavaLangObjectArrayType;    registerUse(s, type);    if (uphi)      registerDef(s, b, type);  }