src/main/java/com/android/tools/r8/optimize/argumentpropagation/reprocessingcriteria/AlwaysTrueParameterReprocessingCriteria.java

// Copyright (c) 2021, 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.optimize.argumentpropagation.reprocessingcriteria;

import com.android.tools.r8.graph.AppView;
import com.android.tools.r8.graph.DexType;
import com.android.tools.r8.graph.ProgramMethod;
import com.android.tools.r8.ir.optimize.info.ConcreteCallSiteOptimizationInfo;
import com.android.tools.r8.shaking.AppInfoWithLiveness;

/**
 * Represents that a parameter should always be reprocessed if we have non-trivial information about
 * it (e.g., abstract value, dynamic type, nullability).
 */
public class AlwaysTrueParameterReprocessingCriteria extends ParameterReprocessingCriteria {

  public static final AlwaysTrueParameterReprocessingCriteria INSTANCE =
      new AlwaysTrueParameterReprocessingCriteria();

  private AlwaysTrueParameterReprocessingCriteria() {}

  public static AlwaysTrueParameterReprocessingCriteria get() {
    return INSTANCE;
  }

  @Override
  public boolean isAlwaysReprocess() {
    return true;
  }

  @Override
  public boolean shouldReprocess(
      AppView<AppInfoWithLiveness> appView,
      ProgramMethod method,
      ConcreteCallSiteOptimizationInfo methodState,
      int parameterIndex,
      DexType parameterType) {
    return true;
  }

  @Override
  public boolean shouldReprocessDueToAbstractValue() {
    return true;
  }

  @Override
  public boolean shouldReprocessDueToDynamicType() {
    return true;
  }

  @Override
  public boolean shouldReprocessDueToNullability() {
    return true;
  }
}