src/main/java/com/android/tools/r8/ir/optimize/Assumer.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.optimize;

import com.android.tools.r8.Keep;
import com.android.tools.r8.ir.code.Assume;
import com.android.tools.r8.ir.code.BasicBlock;
import com.android.tools.r8.ir.code.IRCode;
import com.google.common.base.Predicates;
import java.util.ListIterator;
import java.util.function.Predicate;

/**
 * One that assumes. Inherited tracker/optimization insert necessary variants of {@link Assume}.
 */
// TODO(b/143590191): should not need an explicit keep annotation to prevent the default interface
//  method from being shrunk.
@Keep
public interface Assumer {
  default void insertAssumeInstructions(IRCode code) {
    insertAssumeInstructionsInBlocks(code, code.listIterator(), Predicates.alwaysTrue());
  }

  void insertAssumeInstructionsInBlocks(
      IRCode code, ListIterator<BasicBlock> blockIterator, Predicate<BasicBlock> blockTester);
}