| // 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.ir.analysis.type.ClassTypeElement; |
| import com.android.tools.r8.ir.analysis.type.DynamicType; |
| import com.android.tools.r8.optimize.argumentpropagation.codescanner.ConcreteParameterState; |
| import com.android.tools.r8.shaking.AppInfoWithLiveness; |
| |
| /** |
| * Represents that a parameter should never be reprocessed even if we have non-trivial information |
| * about it (e.g., abstract value, dynamic type, nullability). |
| * |
| * <p>Example: This is used for unused parameters. |
| */ |
| public class AlwaysFalseParameterReprocessingCriteria extends ParameterReprocessingCriteria { |
| |
| public static final AlwaysFalseParameterReprocessingCriteria INSTANCE = |
| new AlwaysFalseParameterReprocessingCriteria(); |
| |
| private AlwaysFalseParameterReprocessingCriteria() {} |
| |
| public static AlwaysFalseParameterReprocessingCriteria get() { |
| return INSTANCE; |
| } |
| |
| @Override |
| public boolean isNeverReprocess() { |
| return true; |
| } |
| |
| @Override |
| public boolean shouldReprocess( |
| AppView<AppInfoWithLiveness> appView, |
| ConcreteParameterState parameterState, |
| DexType parameterType) { |
| return false; |
| } |
| |
| @Override |
| public boolean shouldReprocessDueToAbstractValue() { |
| return false; |
| } |
| |
| @Override |
| public boolean shouldReprocessDueToDynamicType() { |
| return false; |
| } |
| |
| @Override |
| public boolean shouldReprocessDueToNullability() { |
| return false; |
| } |
| |
| @Override |
| public DynamicType widenDynamicClassType( |
| AppView<AppInfoWithLiveness> appView, DynamicType dynamicType, ClassTypeElement staticType) { |
| return null; |
| } |
| } |