test/447-checker-inliner3/src/Main.java

/*
 * Copyright (C) 2014 The Android Open Source Project
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *      http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

public class Main {

  /// CHECK-START: int Main.inlineIfThenElse() inliner (before)
  /// CHECK-DAG:     <<Invoke:i\d+>>  InvokeStaticOrDirect
  /// CHECK-DAG:                      Return [<<Invoke>>]

  /// CHECK-START: int Main.inlineIfThenElse() inliner (after)
  /// CHECK-NOT:                      InvokeStaticOrDirect

  public static int inlineIfThenElse() {
    return foo(true);
  }

  private static int foo(boolean value) {
    if (value) {
      return 1;
    } else {
      return 0;
    }
  }

  /// CHECK-START: int Main.inlineInLoop() inliner (before)
  /// CHECK-DAG:     InvokeStaticOrDirect

  /// CHECK-START: int Main.inlineInLoop() inliner (after)
  /// CHECK-NOT:     InvokeStaticOrDirect

  public static int inlineInLoop() {
    int result = 0;
    for (int i = 0; i < 32; ++i) {
      result += foo(i % 2 == 0);
    }
    return result;
  }

  /// CHECK-START: int Main.inlineInLoopHeader() inliner (before)
  /// CHECK-DAG:     InvokeStaticOrDirect

  /// CHECK-START: int Main.inlineInLoopHeader() inliner (after)
  /// CHECK-NOT:     InvokeStaticOrDirect

  public static int inlineInLoopHeader() {
    int result = 0;
    for (int i = 0; i < foo(i % 2 == 0); ++i) {
      result += 42;
    }
    return result;
  }

  public static void main(String[] args) {
    if (inlineIfThenElse() != 1) {
      throw new Error("Expected 1");
    }
    if (inlineInLoop() != 16) {
      throw new Error("Expected 16");
    }
    if (inlineInLoopHeader() != 42) {
      throw new Error("Expected 16");
    }
  }
}