src/main/java/com/android/tools/r8/ir/conversion/FieldOptimizationFeedback.java

// Copyright (c) 2019, the R8 project authors. Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.

package com.android.tools.r8.ir.conversion;

import com.android.tools.r8.graph.AppView;
import com.android.tools.r8.graph.DexEncodedField;
import com.android.tools.r8.graph.ProgramField;
import com.android.tools.r8.ir.analysis.type.ClassTypeElement;
import com.android.tools.r8.ir.analysis.type.DynamicType;
import com.android.tools.r8.ir.analysis.type.TypeElement;
import com.android.tools.r8.ir.analysis.value.AbstractValue;
import com.android.tools.r8.shaking.AppInfoWithLiveness;

public interface FieldOptimizationFeedback {

  void markFieldCannotBeKept(DexEncodedField field);

  void markFieldAsDead(DexEncodedField field);

  void markFieldAsPropagated(DexEncodedField field);

  default void markFieldHasDynamicType(ProgramField field, DynamicType dynamicType) {
    TypeElement dynamicUpperBoundType = dynamicType.getDynamicUpperBoundType();
    markFieldHasDynamicUpperBoundType(field.getDefinition(), dynamicUpperBoundType);
    if (dynamicType.hasDynamicLowerBoundType()) {
      ClassTypeElement dynamicLowerBoundType = dynamicType.getDynamicLowerBoundType();
      markFieldHasDynamicLowerBoundType(field.getDefinition(), dynamicLowerBoundType);
    }
  }

  void markFieldHasDynamicLowerBoundType(DexEncodedField field, ClassTypeElement type);

  void markFieldHasDynamicUpperBoundType(DexEncodedField field, TypeElement type);

  void markFieldBitsRead(DexEncodedField field, int bitsRead);

  void recordFieldHasAbstractValue(
      DexEncodedField field, AppView<AppInfoWithLiveness> appView, AbstractValue abstractValue);
}